[論文レビュー] A Survey on Connes' Embedding Conjecture

Valerio Capraro|arXiv (Cornell University)|Mar 10, 2010

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

ひとこと要約

このサーベイは、作用素代数における中心的な未解決問題であるコネスの埋め込み予想について、代数的・位相的・スペクトル的アプローチから複数の同値な定式化を統合的に解説する包括的な概説を提供する。コリンズとダイクマの定理によって形式化されたように、この予想は、弱*位相における型II₁因子の固有値関数の空間への行列固有値関数の稠密性に同値であることが示されている。

ABSTRACT

In a very celebrated paper A. Connes has formulated a conjecture which is now one of the most important open problem in Operator Algebras. This importance comes from the works of many mathematicians who have found some unexpected equivalent statements showing as this conjecture is transversal to almost all the sub-specialization of Operator Algebras. In this survey I would like to give a more or less detailed description of all these approaches.

研究の動機と目的

• 作用素代数におけるコネスの埋め込み予想とその多数の同値な定式化を統合的かつアクセス可能な形で提示すること。
• 超フィルター、超積、および超フィルターに沿った極限が予想を定式化する上で果たす役割を明確にすること。
• コネスの予想と、型II₁因子の固有値関数の空間への行列固有値関数の稠密性との同値性を説明すること。
• ラドゥレスク、ハーガープ＝ウィンスロー、ブラウン、コリンズ＝ダイクマの主要な結果を一貫した枠組みの中で提示・文脈化すること。

提案手法

• 超フィルターと超積を用いて、特に型II₁因子と行列代数の文脈における作用素列の極限を定義する。
• 自己随伴作用素に対して、時間 t ∈ [0,1) を非増加順に固有値に写像する固有値関数 λ_a(t) の概念を適用する。
• 有界で右連続かつ非増加関数の空間 F における弱*位相を用いて、固有値関数の収束を定義する。
• すべてのユニタリ行列 U, V に対して、a₁⊗U(diag(α)⊗Id_d)U* + a₂⊗V(diag(β)⊗Id_d)V* の固有値関数の閉包（弱*位相において）として定義される集合 K_{α,β,∞}^{a₁,a₂} を導入する。
• 型II₁因子内の作用素から得られる固有値関数の集合 L_{α,β}^{a₁,a₂} と、K_{α,β,∞}^{a₁,a₂} の閉包との比較を通じて同値性を確立する。
• ラドゥレスク（超線形群）、ハーガープ＝ウィンスロー（エフロス＝マレシャル位相）、ブラウン（WEP/QWEP予想）の基礎的結果を援用し、視点を統合する。

実験結果

リサーチクエスチョン

• RQ1 コネスの埋め込み予想は、弱*位相における型II₁因子の固有値関数の空間への行列固有値関数の稠密性に同値であるか？
• RQ2 超積と超フィルターに沿った極限は、型II₁因子内の作用素を有限次元行列によって近似するための枠組みをどのように提供するか？
• RQ3 ランスの弱期待値性質を介して、コネスの予想とQWEP予想の正確な関係は何か？
• RQ4 型II₁因子におけるテンソル積の和の固有値関数は、行列代数における同様の和の固有値関数によって近似可能か？
• RQ5 ユニタリ共役と弱*位相は、行列に基づく固有値関数の閉包を特徴付ける上で果たす役割は何か？

主な発見

• コネスの埋め込み予想は、型II₁因子内の作用素から得られる固有値関数の集合 L_{α,β}^{a₁,a₂} と、有限次元行列モデルからの固有値関数の閉包 K_{α,β,∞}^{a₁,a₂} の等式 L_{α,β}^{a₁,a₂} = K_{α,β,∞}^{a₁,a₂} に同値である。
• この予想が成り立つのは、型II₁因子内の作用素の固有値関数が、ユニタリ共役を施した行列代数からの固有値関数によって弱*位相で近似可能であるときである。
• 固有値関数の空間は、ℝ 上のcompactly supported Borel測度の空間に等長埋め込み可能であり、これにより弱*収束を用いた位相的解析が可能になる。
• 超フィルターの使用により、有界ネットの収束が保証され、自由超フィルターに沿った極限が、作用素列に対して存在し、適切に定義される。
• ブラウンの定理を介して、コネスの予想とQWEP予想の同値性が確立され、弱期待値性質が埋め込み可能性と結びつく。
• コリンズとダイクマの定理により、スペクトル的特徴付けが得られ、予想は、型II₁因子におけるテンソル積の和の固有値関数を、有限次元代数におけるそれらで近似可能であることと同値である。