[논문 리뷰] Arazy-type decomposition theorem for bounded linear operators and commutators on the trace class

Jinghao Huang, Fedor Sukochev외 1명|arXiv (Cornell University)|2026. 02. 10.

Advanced Banach Space Theory인용 수 0

한 줄 요약

본 논문은 Arazy’s decomposition을 separable quasi-Banach operator ideals에서의 유계 연산자에 확장하고 이를 통해 commutators, strictly singular operators, 그리고 B(C_E)에서 가장 큰 이상들에 대해 연구하며, trace class C_1에 대한 전체 특징화를 제시한다.

ABSTRACT

The classical Arazy's decomposition theorem provides a powerful tool in the study of sequences in (and isomorphisms on) a separable operator ideal $\mathcal C_E$ of the algebra $\mathcal B(H)$ of all bounded linear operators on the separable infinite-dimensional Hilbert space $H$. In this paper, we extend and strengthen Arazy's decomposition theorem to the setting of general bounded linear operators on a separable (quasi-Banach) operator ideal $\mathcal C_E$ of $\mathcal B(H)$. Several applications are given to the study of $\mathcal C_E$-strictly singular operators, largest proper ideals in the algebra $\mathcal B(\mathcal C_E)$ of all bounded linear operators on $\mathcal C_E$ and complementably homogeneous Banach spaces among others. Our versions of decomposition theorems supply tools for a noncommutative generalization of deep commutator theorems for operators on $\ell_p$ and $L_p$, $1\le p <\infty $, due to Brown and Pearcy, Apostol, and Dosev, Johnson and Schechtman. We are able to characterize commutators on the Schatten-von Neumann class $\mathcal C_p$, $1\le p<\infty $. For the crucial case, $p=1$, we establish that any operator $T\in\mathcal B(\mathcal C_1)$ is a commutator if and only if $T$ is not of the form $λI+K$ for some $λ eq 0$ and $\mathcal C_1$-strictly singular operator $K$.

연구 동기 및 목표

• Extend Arazy’s decomposition theorem to bounded linear operators on separable quasi-Banach operator ideals C_E.
• Apply the decomposition to study C_E-strictly singular operators and the largest proper ideals in B(C_E).
• Explore complementably homogeneous Banach spaces within the operator ideal framework.
• Provide a noncommutative generalization of deep commutator theorems for classical sequence and function spaces.

제안 방법

• Develop an Arazy-type decomposition for operators acting on C_E, with a focus on lower triangular parts and perturbations.
• Demonstrate a representation of restricted operators via extensions to a larger operator on C_F(L,K).
• Analyze when triangular/diagonal projections are bounded or unbounded and manage proofs without relying on them in general quasi-Banach settings.
• Characterize isomorphisms between T_E and C_E and study embedding properties of lower triangular parts.
• Establish local representations of operators on C_E up to small perturbations under mild structural assumptions on E.

실험 결과

연구 질문

• RQ1 Can Arazy’s decomposition be extended to bounded operators on general separable quasi-Banach operator ideals C_E?
• RQ2 What are the implications of such decompositions for C_E-strictly singular operators and the maximal ideals in B(C_E)?
• RQ3 How does the decomposition facilitate a characterization of commutators on Schatten–von Neumann classes C_p, especially at p = 1?
• RQ4 When does an operator on C_E reduce to a commutator based on C_E-strictly singularity or its triangular counterpart?
• RQ5 What are the embedding/complementation properties of T_E versus C_E and of triangular parts in this quasi-Banach setting?

주요 결과

• The paper shows Arazy-type decompositions for operators on C_E and derives applications to C_E-strictly singular operators and largest proper ideals in B(C_E).
• It establishes that C_E-strictly singular operators coincide with T_E-strictly singular operators under certain structural conditions on E (no c_0 or l_2 copies).
• For C_p with 0 < p ≤ 1, every C_p-strictly singular operator is characterized via the decomposition framework, and similar results hold for T_p.
• In the p = 1 case, T in B(C_1) is a commutator if and only if T − λI is not C_1-strictly singular for all λ ≠ 0.
• The largest nontrivial ideal in B(C_1) is the algebra of all C_1-strictly singular operators, and a commutator characterization is provided accordingly.
• The work shows complementably homogeneous properties for C_E and highlights local representations up to small perturbations in the quasi-Banach setting