[論文レビュー] Arazy-type decomposition theorem for bounded linear operators and commutators on the trace class

Jinghao Huang, Fedor Sukochev+1 more|arXiv (Cornell University)|Feb 10, 2026

Advanced Banach Space Theory被引用数 0

ひとこと要約

論文は Arazy の分解を分離可能な準バナッハ演算子理想上の有界作用素へ拡張し、それを用いて交換子、厳密に特異な作用素、および B(C_E) における最大理想を研究し、トレースクラス 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