[논문 리뷰] The algebra of bounded linear operators on $\ell_p\oplus\ell_q$ has infinitely many closed ideals

Thomas Schlumprecht, András Zsák|arXiv (Cornell University)|2014. 09. 11.

Rings, Modules, and Algebras참고 문헌 1인용 수 5

한 줄 요약

이 논문은 $1 < p < q < \infty$ 일 때, 유계 선형 연산자 대수 $\mathcal{L}(\ell_p \oplus \ell_q)$가 무한히 많은 닫힌 아이디얼을 가짐을 증명하며, $I_{p,q}$를 통해 인수분해되는 연산자들의 아이디얼과 유한히 엄격히 싱귤러한 연산자들의 아이디얼 사이에 연속체 크기의 체인을 형성함을 보여준다. 이 결과는 피에츠의 문제, 즉 이 설정에서 연산자 아이디얼의 구조에 관한 오랜 동안 미해결이었던 문제를 해결한다.

ABSTRACT

We prove that in the reflexive range $1

연구 동기 및 목표

• 1 < p < q < \infty 일 때, $\mathcal{L}(\ell_p, \ell_q)$가 무한히 많은 닫힌 아이디얼을 가지는가에 대한 A. 피에츠의 미해결 문제(\emph{Operator Ideals}의 문제 5.3.3)를 해결하기 위해.
• $\mathcal{J}^{I_{p,q}}$와 $\mathcal{F}\mathcal{S}$, 즉 유한히 엄격히 싱귤러한 연산자들의 아이디얼 사이에 엄밀히 놓인, 기껏해야 연속체 크기의 닫힌 아이디얼 체인을 구성하기 위해.
• $1 < p < 2 < q < \infty$ 범위로 이 구성의 확장을 통해, $\mathcal{J}^{I_{p,q}}$와 $\mathcal{J}^{I_{2,q}}$ 사이에 연속체 크기의 아이디얼 체인을 보여주기 위해.
• $\mathcal{L}(\ell_p, \ell_q)$의 닫힌 아이디얼의 격자 구조가 반사 범위에서도 매우 비자명하고 풍부한 구조를 지닌다는 것을 보여주기 위해.
• 닫힌 아이디얼이 연속기수로 많은 분리 가능 반사 바나흐 공간의 연산자 대수에 대해 새로운 예를 제공하기 위해.

제안 방법

• 무한 부분집합 $M \subset \mathbb{N}$에 의해 매개화된, 유한 차원의 $X_p$-형 공간들의 $\ell_p$-직합을 통해 $Y_M = Y_{p, \boldsymbol{w}_M}$라는 바나흐 공간의 가중치를 구성하기 위해.
• 로젠탈의 $X_p$ 공간들과 그 유한 차원 변형을 사용하여 하한 기본 함수가 통제된 중간 공간을 정의하기 위해.
• 형식적 포함 사상 $I_{Y_M, q}: Y_M \to \ell_q$를 정의하고, $\ell_2$ 및 $\ell_q$를 통한 인수분해 성질을 분석하기 위해.
• 포함 관계에 있어서 중첩된 집합 $M \subset N$에 대해, 이러한 포함 사상에 의해 생성된 아이디얼 $\mathcal{J}^{I_{Y_M, q}}$가 엄밀히 증가하는 체인을 형성함을 증명하기 위해.
• 핵심 기술적 보조정리(정리 6)를 적용하여, $AI_{Y_M, q}B$의 연산자 노름을 $B$의 $\ell_\infty$-노름과 $Y_M$의 하한 기본 함수를 사용해 유계화하기 위해.
• $\mathcal{J}^{I_{Y_M, q}} \subset \mathcal{J}^{I_{2,q}}$ 및 $\mathcal{J}^{I_{Y_M, q}} \supset \mathcal{J}^{I_{p,q}}$를 확립하여, 아이디얼들이 원하는 간격 내에 정확히 놓여 있음을 보장하기 위해.

실험 결과

연구 질문

• RQ1 $1 < p < q < \infty$ 일 때, $\mathcal{L}(\ell_p, \ell_q)$가 무한히 많은 닫힌 아이디얼을 가지는가?
• RQ2 $\mathcal{J}^{I_{p,q}}$와 $\mathcal{F}\mathcal{S}$ 사이에 분리 가능 기수의 체인을 갖는 닫힌 아이디얼을 구성할 수 있는가?
• RQ3 $1 < p < 2 < q < \infty$ 일 때, $\mathcal{J}^{I_{p,q}}$와 $\mathcal{J}^{I_{2,q}}$ 사이에 연속체 크기의 닫힌 아이디얼 체인이 존재하는가?
• RQ4 $\mathcal{L}(\ell_p, \ell_q)$의 닫힌 아이디얼들은 단일 연산자에 의해 생성되는가, 아니면 하나의 연산자에 의해 생성되지 않는 아이디얼이 존재하는가?
• RQ5 $1 < p < q < \infty$ 일 때, $\mathcal{L}(\ell_p, \ell_q)$의 닫힌 아이디얼 집합의 정확한 기수는 얼마인가?

주요 결과

• $1 < p < q < \infty$ 일 때, 대수 $\mathcal{L}(\ell_p \oplus \ell_q)$는 피에츠의 문제 5.3.3를 해결하며 무한히 많은 닫힌 아이디얼을 가짐을 보였다.
• $\mathcal{J}^{I_{p,q}}$와 $\mathcal{F}\mathcal{S}$ 사이에 엄밀히 놓인, 기껏해야 연속체 크기의 닫힌 아이디얼 체인이 $\mathcal{L}(\ell_p, \ell_q)$에 존재함을 보였다.
• $1 < p < 2 < q < \infty$ 일 때, $\mathcal{J}^{I_{p,q}}$와 $\mathcal{J}^{I_{2,q}}$ 사이에 연속체 크기의 닫힌 아이디얼 체인이 존재함을 보였다. 여기서 $\mathcal{J}^{I_{2,q}}$는 $\ell_2$를 통과하는 연산자들에 의해 생성되는 아이디얼이다.
• $Y_M$에서 유도된 형식적 포함 사상 $I_{Y_M, q}$에 의해 생성된 아이디얼 $\mathcal{J}^{I_{Y_M, q}}$는 중첩된 색인 집합 $M \subset N$에 대해 포함 관계에서 엄밀히 증가하는 체인을 형성한다.
• 각 아이디얼 $\mathcal{J}^{I_{Y_M, q}}$는 $\mathcal{J}^{I_{2,q}}$에 엄밀히 포함되고 $\mathcal{J}^{I_{p,q}}$를 엄밀히 포함하므로, 아이디얼들이 격자 내에서 올바르게 배치되어 있음을 확인하였다.
• 이 구성은 $\mathcal{L}(X)$가 기껏해야 연속기수로 많은 닫힌 아이디얼을 가지는 분리 가능 반사 바나흐 공간 $X$에 대한 새로운 예를 제공하며, 피에츠의 이전 작업을 확장한다.