[論文レビュー] $E_0$-semigroups: around and beyond Arveson's work

Masaki Izumi|arXiv (Cornell University)|Sep 26, 2012

Advanced Operator Algebra Research参考文献 42被引用数 4

ひとこと要約

この論文は、$E_0$-semigroupsの包括的概説を提供し、アーヴェソンの基礎的寄与と、積系を用いた型IIおよび型III $E_0$-semigroupsの分類における最近の進展に焦点を当てる。$E_0$-semigroupsのコサイクル同値類と積系の同型類の間には一対一対応が確立されており、正常なucp写像の最小拡大に基づく非可換ポアソン境界の構成が導入されている。

ABSTRACT

We give an account of the theory of $E_0$-semigroups. We first focus on Arveson's contributions to the field and related results. Then we present the recent development of type II and type III $E_0$-semigroups. We also include a short note in Appendix, based on Arveson's observation, on noncommutative Poisson boundaries.

研究の動機と目的

• アーヴェソンの$E_0$-semigroupsに関する基礎的業績を体系化・拡張し、積系を用いた分類を目的とする。
• 型Iのケースに比べて未だ困難な残る型IIおよび型III $E_0$-semigroupsの分類に関する最近の進展を調査すること。
• 積系が理論の中心的不変量として果たす役割を明らかにし、$E_0$-semigroupsと非可換確率論および力学系を結びつけること。
• アーヴェソンの観察に基づき、正常なucp写像の最小拡大の固定点代数として非可換ポアソン境界を導入・分析すること。
• $E_0$-semigroups、カントン代数の表現、および群の境界上の調和測度を統合する枠組みを提供すること。

提案手法

• アーヴェソンの、$E_0$-semigroupsのコサイクル同値類と積系の同型類の間の一対一対応を利用する。
• ビートの拡大定理を用いて、ユニタリ完全正の写像の半群から$E_0$-semigroupsを構成する。
• 離散群$G$上の確率ウォークに関連するシフト作用素$S_g$を用いて、$L^2(G^\infty, m)$上にCuntz代数$\mathcal{O}_n$の$C^*$-表現を構成する。
• パス空間$G^\infty$上の移行不変性をもつダイナミクスにより、$B(H)$上の$*$-ホモモーフィズム$\alpha$を定義し、$\mathcal{O}_n$関係を満たす等長作用素$S_g$によって実装する。
• 固定点代数$M^\alpha$を$\mathcal{O}_n$の可換束として特定し、それが境界クロスダクト$L^\infty(\partial G, \nu) \rtimes G$に同型であることを示す。
• 循環ベクトル$1_{C^0(e)}$を用いて$\mathcal{O}_n$上の状態$\omega_\mu$を定義し、遷移確率$\mathrm{p}^{(k)}(e,h)$を含む行列成分の明示的公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 積系は、コサイクル同値性に関して$E_0$-semigroupsをどのように分類するか？
• RQ2 型I、型II、型IIIの$E_0$-semigroupsの構造的および分類的差異は何か？
• RQ3 非可換ポアソン境界は、正常なucp写像の最小拡大とどのように関係するか？
• RQ4 調和測度および群上の確率ウォークは、$E_0$-semigroupsの構成において果たす役割は何か？
• RQ5 固定点代数は境界クロスダクトとして実現可能か？その表現論的意味は何か？

主な発見

• アーヴェソンによって確立されたように、$B(H)$上の$E_0$-semigroupsのコサイクル同値類と積系の同型類の間には一対一対応が存在する。
• 型I $E_0$-semigroupsは、インデックス不変量によって完全に分類され、理論の基礎的結果である。
• $E_0$-semigroup $\alpha$の固定点代数$M^\alpha$は、調和測度$\nu$を用いて、境界クロスダクト$L^\infty(\partial G, \nu) \rtimes G$に同型である。
• Cuntz代数$\mathcal{O}_n$上の状態$\omega_\mu$は正規であり、次式で明示的に与えられる：$\omega_\mu(S_{g_1}\cdots S_{g_k} S_{h_l}^*\cdots S_{h_1}^*) = \prod_{i=1}^k \mu(g_i)^{1/2} \prod_{j=1}^l \mu(h_j)^{1/2} \delta_{g_1\cdots g_k, h_1\cdots h_l}$。
• $L^2(G^\infty, m)$内の循環ベクトル$1_{C^0(e)}$は、境界クロスダクト上の正規状態を誘導し、その可約性が確認され、表現が境界上の調和解析と結びつく。
• 正常なucp写像の非可換ポアソン境界は、その最小拡大の固定点代数として同定され、これはアーヴェソンに帰属する重要な観察であり、ここでは形式化されている。