[論文レビュー] L^2-Betti numbers for subfactors

Andreas Thom|ArXiv.org|Jan 17, 2006

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

ひとこと要約

この論文は、双有限な自己双対的対応が存在する状況下で、$II_1$-因子の$L^2$-ベッチ数の比例公式を確立する。平坦基底変換とフォン・ノイマン代数における次元論を用いて、二つの$II_1$-因子の$L^2$-ベッチ数の比が、接続対応の次元の逆数に比例することを証明し、群の場合の一般化として、コンネス–シュライアクトゥェンコの$L^2$-ベッチ数理論を部分因子へ拡張する。

ABSTRACT

We study L^2-Betti numbers for von Neumann algebras, as defined by D. Shlyakhtenko and A. Connes, in the presence of a bi-finite correspondence and prove a proportionality formula.

研究の動機と目的

• 離散群からフォン・ノイマン代数、特に$II_1$-因子へ$L^2$-ベッチ数理論を拡張すること。
• 有限指数の部分因子包含における$L^2$-ベッチ数の比例原理を確立すること。
• 異なる$II_1$-因子の$L^2$-ベッチ数を関連付ける双有限な自己双対的対応の役割を明確にすること。
• 幾何的群論に知られている群の$L^2$-ベッチ数比例の、フォン・ノイマン代数的一般化を提供すること。

提案手法

• コンネス–シュライアクトゥェンコの定義に従い、$A \otimes A^o$上のTor函手を用いて、$M \mathbin{\overline{\otimes}} M^o$値の$L^2$-ベッチ数を定義する。
• 平坦基底変換を適用し、特に$M \otimes N^o$と$M \otimes \tilde{M}^o$のような異なる係数代数上のTor群を関連付ける。
• ルックの理論に由来する一般化された$M \mathbin{\overline{\otimes}} M^o$-次元関数を用いて、Tor加群の次元を計算する。
• ピムスナー–ポパの基底を用いて、有限指数の部分因子を、より小さい代数上の有限生成射影加群として実現する。
• 係数$[M:N]$を介して、$\dim_N L$と$\dim_M L$の次元公式を適用し、$\dim_{M \mathbin{\overline{\otimes}} N^o} \operatorname{Tor}_k^{M \otimes N^o}(M \mathbin{\overline{\otimes}} N^o, L)$を$\beta_k^{(2)}(M)$と$\dim_N L$に関連付ける。
• 得られた公式に対称性を確立し、$\beta_k^{(2)}(M)$と$\beta_k^{(2)}(N)$の間の比例恒等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 有限指数の部分因子包含$N \subset M$における$II_1$-因子の$L^2$-ベッチ数はどのように振る舞うか？
• RQ2 群の場合と同様の比例公式が、フォン・ノイマン代数の文脈で確立可能か？
• RQ3 二つの$II_1$-因子の$L^2$-ベッチ数が次元係数によって関連づけられるための条件は何か？
• RQ4 自己双対的対応の定義における$*$-準同型条件は必須であり、いつ自動的に満たされるか？
• RQ5 コンネス–シュライアクトゥェンコの$L^2$-ベッチ数構成は、群代数を越えて一般のフォン・ノイマン代数へどの程度拡張可能か？

主な発見

• この論文は、比例公式を証明する：任意の双有限な自己双対的$M \otimes N^o$-加群$L$に対して、$\frac{\beta_k^{(2)}(M)}{\dim_M L} = \frac{\beta_k^{(2)}(N)}{\dim_{N^o} L}$が成り立ち、これは群の場合を一般化する。
• 有限指数の部分因子$N \subset M$に対して、公式は$[M:N] \cdot \beta_k^{(2)}(M) = \beta_k^{(2)}(N)$に特殊化され、$N = \mathbb{C}H$, $M = \mathbb{C}G$（$H \subset G$が有限指数）の場合には既知の群の場合と一致する。
• 証明は平坦基底変換と次元論に依拠しており、$\dim_{M \mathbin{\overline{\otimes}} N^o} \operatorname{Tor}_k^{M \otimes N^o}(M \mathbin{\overline{\otimes}} N^o, L) = \dim_{N^o} L \cdot \beta_k^{(2)}(M)$が成り立つことを示す。
• $L$の$M$上での次元は、$M_n(M)$内の射影のトレースによって関連づけられ、$L^2$-ベッチ数をスケーリングするための非正規化トレース$t = n \tau(p)$が公式に用いられる。
• 結果は$M$と$N$に関して対称的であり、$L^2$-ベッチ数の比が、加群次元の比の逆数に等しいことが確認される。
• この枠組みは、特にピムスナー–ポパの基底から生じる有限指数の$M$-$N$対応に適用可能であり、このような対応が双有限かつ自己双対的であることを確認する。