[論文レビュー] Direct integrals of strongly irreducible operators

Chunlan Jiang, Rui Shi|arXiv (Cornell University)|Nov 27, 2012

Holomorphic and Operator Theory参考文献 11被引用数 6

ひとこと要約

この論文は、複素分離ヒルベルト空間上の有界線形作用素の交換子に有界な最大アーベルな冪等元の集合が存在するならば、その作用素が強く不可約作用素の直積分に類似していることを確立している。主な貢献は、このような直積分に類似する作用素の集合が、作用素ノルム位相において有界線形作用素全体の空間で稠密であることを示したことにある。

ABSTRACT

Strongly irreducible operators can be considered as building blocks for bounded linear operators on complex separable Hilbert spaces. Many bounded linear operators can be written as direct sums of at most countably many strongly irreducible operators. In this paper, we show that a bounded linear operator A is similar to a direct integral of strongly irreducible operators if its commutant contains a bounded maximal abelian set of idempotents. We find that bounded linear operators which are similar to direct integrals of strongly irreducible operators form a dense subset of L(H) in the operator norm.

研究の動機と目的

• 有限次元作用素の不可約成分への分解を無限次元ヒルベルト空間へ一般化すること。
• 無限次元における直和の限界を克服するため、測度空間に関する直積分を導入すること。
• 有界線形作用素が強く不可約作用素の直積分に類似するための十分条件を同定すること。
• 強く不可約作用素の直積分に類似する作用素のクラスが、すべての有界線形作用素の空間において稠密であることを示すこと。

提案手法

• 可測なヒルベルト空間族と作用素値関数に基づく、ヒルベルト空間および作用素の直積分の理論を用いる。
• 最大分解を不可約成分の観点から特徴付けるために、定理AFG（Azoff-Fong-Gilfeather）を適用する。
• 作用素の交換子内に有界な最大アーベルな冪等元の集合を構成し、主な構造的条件とする。
• スペクトル理論と$L^2$空間上の乗法作用素を用いて、条件を満たす作用素の明示的例を構築する。
• Cowen-Douglas理論およびスペクトル作用素理論の結果を応用して、稠密性および類似性に関する結果を導出する。
• 行列値$L^∞$関数を用いて、直積分ヒルベルト空間上の作用素をモデル化し、その交換子を分析する。

実験結果

リサーチクエスチョン

• RQ1 分離ヒルベルト空間上の有界線形作用素が、強く不可約作用素の直積分に類似するための条件は何か？
• RQ2 強く不可約作用素の直積分として分解可能な作用素のクラスが、作用素ノルム位相において稠密であることを示せるか？
• RQ3 交換子内に有界な最大アーベルな冪等元の集合の存在が、このような分解を可能にする役割は何か？
• RQ4 乗法作用素のスペクトル的性質およびその摂動が、直積分構造とどのように関係するか？
• RQ5 Cowen-Douglas作用素やジョルダンブロックといった古典的例は、無限次元における直積分分解へどの程度拡張可能か？

主な発見

• 有界線形作用素$A$が、その交換子に有界な最大アーベルな冪等元の集合を含むならば、$A$は強く不可約作用素の直積分に類似する。
• 強く不可約作用素の直積分に類似する作用素の集合は、作用素ノルム位相において$\mathscr{L}(\mathscr{H})$の稠密部分集合をなす。
• 乗法作用素$M_{\phi}$を伴う作用素$T = \begin{pmatrix} N_{\mu} & M_{\phi} \\ 0 & N_{\mu} \end{pmatrix}$は、適切な条件下で強く不可約作用素の直積分に類似する。
• 乗法作用素$M_{\phi}$が射影であるとき、作用素$T$はスペクトル射影を用いて強く不可約作用素の直積分に分解可能である。
• Cowen-Douglas作用素は、既知の有限次元結果を拡張して、強く不可約作用素の直積分に類似することが示された。
• $M_n(L^\infty(\mu))$に属するすべての作用素がこのような直積分に類似するわけではないため、条件は非自明で必要不可欠であることが示された。