[논문 리뷰] Closed ideals in $\mathcal{L}(X)$ and $\mathcal{L}(X^*)$ when $X$ contains certain copies of $\ell_p$ and $c_0$

Ben Wallis|arXiv (Cornell University)|2015. 07. 12.

Advanced Banach Space Theory참고 문헌 2인용 수 3

한 줄 요약

이 논문은 바나흐 공간 $X$가 $ p \in (1,2) $에 대해 $ \ell_p $의 보완 가능한 복사본을 포함하고, $ \ell_q $ 또는 $ c_0 $의 복사본을 포함하는 경우, 연산자 대수 $ \mathcal{L}(X) $와 $ \mathcal{L}(X^*) $ 각각이 연속체 크기의 닫힌 아이디얼을 포함함을 증명한다. 추가로 $ q $에 대한 특정 조건이 만족될 경우 이러한 아이디얼들은 선형으로 순서지어지지 않으며, 이는 이러한 연산자 대수에서 풍부하고 비자명한 아이디얼 구조를 보여준다.

ABSTRACT

Suppose $X$ is a real or complexified Banach space containing a complemented copy of $\ell_p$, $p\in(1,2)$, and a copy (not necessarily complemented) of either $\ell_q$, $q\in(p,\infty)$, or $c_0$. Then $\mathcal{L}(X)$ and $\mathcal{L}(X^*)$ each admit continuum many closed ideals. If in addition $q\geq p'$, $\frac{1}{p}+\frac{1}{p'}=1$, then the closed ideals of $\mathcal{L}(X)$ and $\mathcal{L}(X^*)$ each fail to be linearly ordered. We obtain additional results in the special cases of $\mathcal{L}(\ell_1\oplus\ell_q)$ and $\mathcal{L}(\ell_p\oplus c_0)$, $1

연구 동기 및 목표

• $ X $가 특정 고전적 수열 공간을 포함할 경우 $ \mathcal{L}(X) $와 $ \mathcal{L}(X^*) $의 닫힌 아이디얼의 구조를 규명하는 것.
• $ \mathcal{L}(\ell_p \oplus \ell_q) $에서 알려진 닫힌 아이디얼 격자에 대한 결과를 더 넓은 범주로 일반화하는 것.
• 일부 조건 하에서 $ \mathcal{L}(X) $와 $ \mathcal{L}(X^*) $의 닫힌 아이디얼 격자가 선형으로 순서지어지지 않음을 보여주는 것.
• 유한히 엄격히 비특이적 및 초엄격히 코특이한 연산자 아이디얼이 이러한 아이디얼을 생성하는 데 수행하는 역할를 분석하는 것.
• 닫힌 아이디얼이 연속체 수만큼 존재함을 증명하기 위해 연산자 아이디얼과 인수분해 기법을 통합한 프레임워크를 제공하는 것.

제안 방법

• 닫힌 아이디얼을 구성하기 위한 핵심 도구로 유한히 엄격히 비특이적(FSS) 및 초엄격히 코특이한(SSSC) 연산자 아이디얼의 사용.
• 기본 수열의 등가성과 연산자 노름을 제어하기 위해 소규모 변화의 원리의 적용.
• 분리 가능한 삽입성을 활용하여 $ \ell_\infty^{k_n} $과 $ \ell_2^n $의 $ c_0 $-합을 통한 유계 선형 연산자의 구성.
• $ J_n $, $ Q_n $, $ U $의 정의를 통해 전역 연산자 $ \widetilde{J}RU $를 구성하고, 이가 $ \theta I_{2,p,0} $를 통해 인수분해됨을 증명함으로써 도식적 인수분해를 확보하는 것.
• 일부 연산자의 $ \ell_2 $-인수분해 가능성을 활용하여 아이디얼 포함관계와 비가교성 관계를 확립하는 것.
• [SZ14] 및 [SSTT07]의 증명을 일반화된 바나흐 공간에 적용하여 $ \ell_p $, $ \ell_q $ 또는 $ c_0 $를 포함하는 경우에 적용하는 것.

실험 결과

연구 질문

• RQ1 어떤 조건에서 바나흐 공간 $ X $에 대해 $ \mathcal{L}(X) $가 연속체 크기의 닫힌 아이디얼을 포함하는가?
• RQ2 언제 $ \mathcal{L}(X) $와 $ \mathcal{L}(X^*) $의 닫힌 아이디얼이 선형으로 순서지어지지 않는가?
• RQ3 $ \ell_p $의 보완 가능한 복사본과 비보완 가능한 $ \ell_q $ 또는 $ c_0 $ 부분공간의 존재가 $ \mathcal{L}(X) $의 아이디얼 구조에 어떤 영향을 미치는가?
• RQ4 FSS 및 SSSC 연산자 아이디얼은 $ \mathcal{L}(X) $에서 새로운 닫힌 아이디얼을 생성하는 데 어떤 역할을 하는가?
• RQ5 $ \mathcal{L}(\ell_p \oplus c_0) $와 $ \mathcal{L}(\ell_1 \oplus \ell_q) $에 사용된 인수분해 기법이 다른 바나흐 공간으로 일반화될 수 있는가?

주요 결과

• $ X $가 $ p \in (1,2) $에 대해 $ \ell_p $의 보완 가능한 복사본을 포함하고, $ \ell_q $ 또는 $ c_0 $의 복사본을 포함하는 경우, $ \mathcal{L}(X) $와 $ \mathcal{L}(X_{\mathbb{C}}) $는 모두 FSS 아이디얼에 포함되는 연속체 크기의 닫힌 아이디얼 체인을 포함한다.
• 쌍대 공간 $ \mathcal{L}(X^*) $와 $ \mathcal{L}(X_{\mathbb{C}}^*) $는 각각 SSSC 아이디얼 내에 연속체 크기의 닫힌 아이디얼 체인을 포함한다.
• $ 1 < p < 2 < p' \leq q < \infty $일 경우, $ \mathcal{L}(X) $와 $ \mathcal{L}(X^*) $의 닫힌 아이디얼은 서로 가교성이 없는 두 아이디얼을 포함하므로 선형으로 순서지어지지 않는다.
• $ \mathcal{L}(\ell_p \oplus c_0) $와 $ \mathcal{L}(\ell_1 \oplus \ell_q) $에서 $ 1 < p < 2 < q < \infty $일 경우, 연산자 대수는 연속체 수의 닫힌 아이디얼을 포함한다.
• $ \mathcal{L}(\ell_p, c_0) $에서 $ \mathcal{FSS} \cap [\mathcal{G}_{\ell_2}] $와 $ [\mathcal{G}_T] $는 가교성이 없으며, $ \mathcal{FSS} $는 $ \mathcal{FSS} + [\mathcal{G}_T] $에 진부분집합으로 포함되어 있어 비자명한 아이디얼 구조임을 보여준다.
• $ \widetilde{J}RU $를 통한 $ \theta I_{2,p,0} $를 통한 연산자 인수분해가 확인됨으로써, $ \mathcal{L}(X) $에 새로운 닫힌 아이디얼이 존재함을 증명하며, 이는 $ \mathcal{L}(\ell_p \oplus \ell_q) $에서의 결과를 더 넓은 공간 범주로 확장한다.