[論文レビュー] A Beurling theorem for noncommutative L^p

David P. Blecher, Louis E. Labuschagne|ArXiv.org|Oct 17, 2005

Advanced Operator Algebra Research参考文献 24被引用数 32

ひとこと要約

この論文は、$A$ が最大部分対角代数であるとき、非可換 $L^p$ 空間におけるベアリングの古典的不変部分空間定理を拡張する。$L^p(M)$ の $A$-不変部分空間を特徴づけ、それらが $L^p(\mathcal{D})$-加群構造を通じて循環的加群に分解されることを示し、非可換 $H^p$ 理論における内包的・外的因子分解を提供する。これは、古典的 $H^p$ 理論を非可換設定に一般化するものである。

ABSTRACT

We extend Beurling's invariant subspace theorem, by characterizing subspaces $K$ of the noncommutative $L^p$ spaces which are invariant with respect to Arveson's maximal subdiagonal algebras, sometimes known as noncommutative $H^\infty$. It is significant that a certain subspace, and a certain quotient, of $K$ are $L^p({\mathcal D})$-modules in the recent sense of Junge and Sherman, and therefore have a nice decomposition into cyclic submodules. We also give general inner-outer factorization formulae for elements in the noncommutative $L^p$. These facts generalize the classical ones, and should be useful in the future development of noncommutative $H^p$ theory. In addition, these results characterize maximal subdiagonal algebras.

研究の動機と目的

• 有限フォン・ノイマン代数に付随する非可換 $L^p$ 空間へのベアリングの不変部分空間定理の一般化を図ること。
• 最大部分対角代数 $A$ に対して、$L^p(M)$ の $A$-不変部分空間を $L^p(\mathcal{D})$-加群構造を用いて特徴づけること。
• 非可換 $L^p(M)$ の元に対する内包的・外的因子分解の公式を確立し、古典的ベアリング–ネヴァンリンナ因子分解を拡張すること。
• 最大部分対角代数が、その不変部分空間の分解性および加群構造によって特徴づけられることを示すこと。

提案手法

• 有限フォン・ノイマン代数と忠実な正規トレース状態 $\tau$ に付随する非可換 $L^p$ 空間 $L^p(M, \tau)$ の枠組みを用いる。
• ジュンジとシェルマンによって定義された $L^p(\mathcal{D})$-加群および $L^p$-列和の概念を適用し、不変部分空間を分析する。
• $A$-不変部分空間 $K$ に対して、右の散在部分空間 $W = K \ominus [KA_0]_p$ を定義し、タイプ1およびタイプ2の部分空間を区別する。
• $A$-不変性および弱*閉包の概念を用いて、$KA \subset K$ を満たす部分空間 $K$ を研究し、特に散在部分空間によって生成されるものに注目する。
• 等長的 $\mathcal{D}$-加群同型および $\tau((d^*vd)^{p/2}) = \|ud\|_p^p$ を含むトレース恒等式を用いて、作用素のユニタリ性と循環的構造を証明する。
• 特に $p = \infty$ の場合に弱*位相における収束を用い、双対性を介して $L^2(M)$ から $L^p(M)$ および $L^\infty(M)$ に結果を転送する。

実験結果

リサーチクエスチョン

• RQ1 ベアリングの不変部分空間定理は、非可換 $L^p$ 空間へどのように一般化可能か？
• RQ2 特に $L^p(\mathcal{D})$-加群との関係において、非可換 $L^p(M)$ の $A$-不変部分空間の構造はいかなるものか？
• RQ3 非可換 $L^p(M)$ の元に対して、古典的ベアリング–ネヴァンリンナ因子分解に類似した内包的・外的因子分解を確立できるか？
• RQ4 最大部分対角代数の性質は、$L^p(M)$ における不変部分空間の分解にどのように関係するか？
• RQ5 モジュール論的性質および因子分解性に基づいて、トレース的部分代数 $A$ が最大部分対角であるための条件は何か？

主な発見

• 任意のタイプ1の $A$-不変部分空間 $K \subset L^p(M)$ に対して、$K = \oplus_{i}^{\text{col}} u_i [A]_p$ が成り立ち、ここで $u_i$ は $M \cap K$ に属する部分等長作用素で、互いに直交する像を持ち、$u_i^*u_i \in \mathcal{D}$ を満たす。
• もし $K$ がタイプ1であり、その散在部分空間 $W$ が循環的かつ分離的ベクトルを持つならば、$K = uH^p$ となるユニタリ $u \in M$ が存在し、$f = uh$ と表せる。ここで $h$ は $H^p$ 内の外的関数である。
• 部分空間 $K$ がタイプ2であるための必要十分条件は、その散在商 $K / [KA_0]_p$ が自明であること、すなわち $K = [KA_0]_p$ であることである。
• もし $f \in L^p(M)$ に対して $[fA]_p$ がタイプ1であるならば、$f = \sum_i u_i h_i$ とノルム収束で表され、ここで $u_i$ は $u_i^*u_i \in \mathcal{D}$ を満たす部分等長作用素で、$i \neq j$ に対して $u_j^*u_i = 0$ であり、$h_i \in [A]_p$ かつ $u_i^*u_i h_i = h_i$ を満たす。
• これらの結果により、最大部分対角代数は、その不変部分空間が $L^p(\mathcal{D})$-加群に分解され、内包的・外的因子分解が存在することによって特徴づけられると示された。
• 本論文は、$A$ が最大部分対角であるための必要十分条件が、$L^2$-密度および一意な正規状態拡張性質を満たすことであることを確認した。これは、以前の特徴づけを拡張するものである。