[論文レビュー] Amalgamated free product over Cartan subalgebra, II. Supplementary results & Examples

Yoshimichi Ueda|arXiv (Cornell University)|Nov 11, 2002

Advanced Topics in Algebra被引用数 3

ひとこと要約

この論文は、共通のカルタン部分代数上でのフォン・ノイマン代数のアンモリゲート自由積の理論を拡張し、積のモジュラー構造と元の代数のクロスプロダクトの間で双対性を確立する。また、pMp がクロスプロダクトの自由積に同型であることを示し、このような積における自由成分の数が一意に定まらないことを明らかにすることで、等価関係における「コスト」不変量の一般化を疑問視する。

ABSTRACT

Supplementary results obtained after the completion of our previous paper are given together with discussing some examples. A quick review of the previous paper is also included.

研究の動機と目的

• 共通のカルタン部分代数上でのフォン・ノイマン代数のアンモリゲート自由積についての因子性および型分類の結果を拡張すること。
• A = B の場合における削減代数 pMp の構造を調査し、特にクロスプロダクトによる分解を明らかにすること。
• このような積における自由成分の数が一意に定まらないことにより、非特異的等価関係における「コスト」不変量の一般化可能性に疑問を呈すること。
• 自由積のモジュラー自己同型と元の代数のクロスプロダクトのモジュラー自己同型との間の双対性を確立すること。
• 削減代数とクロスプロダクトの自由積との明示的同型を提供し、型 III および II∞ 因子における構造的複雑性を明らかにすること。

提案手法

• 自由積 M = A ∗D B を連続的分解により M ⋊σϕ◦EM_D R に書き換えることで、双対作用の構成を用い、これは eA ∗eD eB に同型であることを示す。
• Feldman-Moore の構成を用いて、A, B, D を可算非特異的ボレル同値関係 RA, RB およびそれらの結合 RM = RA ∨ RB に関連するフォン・ノイマン代数として表現する。
• モジュラー自己同型群 σϕ◦EM_D^t を用いて、M の構造と eA = A ⋊σϕ◦EA_D R および eB = B ⋊σϕ◦EB_D R のクロスプロダクトとの関係を確立する。
• 補題 7.2 および [V1, 3.1.Lemma] を適用し、pMp が特定の射影およびユニタリによって生成されることを示し、これによりクロスプロダクトの自由積への分解が得られる。
• 同型 (pMp, (EM_D)p) ≅ (A₀, EA₀_D₀) ∗D₀ (∗_{n∈ℤ, i=2,3,...} (N(n,i), E(n,i))) を導出する。ここで各 N(n,i) は D₀ ⋊αₙ ℤ の形のクロスプロダクトである。
• D₀ 上の作用が (Id)∗N ∗(α)∗N ∗(α²)∗N ∗⋯ の形の自己同型の自由積として与えられることを用い、D₀ 上に自由群 F∞ の作用が誘導されることを示す。

実験結果

リサーチクエスチョン

• RQ1 カルタン部分代数上でのアンモリゲート自由積における削減代数 pMp は、完全にクロスプロダクトの自由積に分解可能か？
• RQ2 フォン・ノイマン代数に関連する非特異的同値関係における自由成分の数は、同型写像のもとでも不変であるか、特に非特異的状況においては？
• RQ3 自由積のモジュラー自己同型群は、元の代数およびそれらのクロスプロダクトのモジュラー自己同型群とどのように関係するか？
• RQ4 A = B = D₀ ⋊α ℤ のとき、削減代数の正確な同型型は何か？
• RQ5 自由成分の数が一意に定まらないことから、同値関係の「コスト」不変量は非特異的設定に一般化可能か？

主な発見

• 削減代数 pMp は (A₀, EA₀_D₀) ∗D₀ (∗_{n∈ℤ, i=2,3,...} (N(n,i), E(n,i))) に同型であり、各 N(n,i) は D₀ ⋊αₙ ℤ の形のクロスプロダクトである。
• pMp の自由積構造は、自由群 F∞ による D₀ 上の作用に対応し、その作用は (Id)∗N ∗(α)∗N ∗(α²)∗N ∗⋯ の形で与えられる。
• A = B = D₀ ⋊α ℤ のとき、削減代数 pMp は D₀ と指定された作用による F∞ とのクロスプロダクトに同型である。
• 同値関係 RM における自由成分の数は一意に定まらない。同じフォン・ノイマン代数が異なる数の成分から生じ得るからである。
• 同型 (M ⊇ D, EM_D) ≅ (pMp ⊇ Dp, (EM_D)p) は、同じ因子が異なる成分数を持つ可能性があることを示し、『コスト』不変量の単純な一般化が誤りであることを示す。
• この結果は、R ∗D R の基本群が成分数によって一意に定まらないことを示唆し、自由群因子 L(F_n) における非一意性と類似している。