[論文レビュー] Irreducible representations of nilpotent groups generate classifiable C*-algebras

Caleb Eckhardt, Elizabeth Gillaspy|arXiv (Cornell University)|Oct 19, 2015

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

ひとこと要約

本稿では、有限生成ノルム群の非可約ユニタリ表現によって生成されるC*-代数が、ユニバーサル係数定理（UCT）を満たすことを証明している。この結果と既知の結果を組み合わせることで、それらのC*-代数はエリオット不変量によって分類可能であることが示される。主な手法は、これらのC*-代数がホモトピー的に自明な2-コサイクルを持つねじれ群C*-代数の中心的カットダウンであることを示すことであり、これによりK理論の計算と、ユニタリで単純かつ分離可能で、核次元が有限なUCTクラスに属するC*-代数における分類が可能になる。

ABSTRACT

We show that C*-algebras generated by irreducible representations of finitely generated nilpotent groups satisfy the universal coefficient theorem of Rosenberg and Schochet. This result combines with previous work to show that these algebras are classifiable by their Elliott invariants within the class of unital, simple, separable, nuclear C*-algebras with finite nuclear dimension that satisfy the universal coefficient theorem. We also show that these C*-algebras are central cutdowns of twisted group C*-algebras with homotopically trivial cocycles.

研究の動機と目的

• 有限生成ノルム群の非可約表現によって生成されるC*-代数が、ユニバーサル係数定理（UCT）を満たすことを確立し、分類のための重要な欠落要因を補完すること。
• このようなC*-代数が、ホモトピー的に自明な2-コサイクルを持つねじれ群C*-代数の中心的カットダウンであることを示し、K理論的解析を可能にする。
• ティクイシス、ホイト、ウィンターの最近の分類定理と組み合わせることで、これらのC*-代数の分類問題を解決すること。
• 有限指数性を有する有限共役部分群の性質を活用し、これらのC*-代数を繰り返しZ作用による交叉積として構造分解すること。
• 有限共役部分群の外部で消える極端なトレースが、UCTを満たし、分類可能なC*-代数を生成することを示すこと。

提案手法

• 有限生成ノルム群では、有限共役部分群GfがGにおいて有限指数を持ち、G/Gfが torsion-free であることを用い、逐次的半直積分解が可能であることを示す。
• 補題3.0.7を適用し、トレース条件τ(x) = 0（x ∉ Gf）に基づいて、GのC*-代数をGfのC*-代数をZ作用で繰り返し交叉積として表現する。
• C*(Gf)が部分同型的（したがって型I）であることから、Rosenberg-Schochetの結果により、その表現が生成するC*-代数はUCTを満たすことを活用する。
• Z作用によるUCTの保存性（[15, 系2.7, 定理4.1] 参照）を用いて、全C*-代数がUCTを満たすことを結論づける。
• Fellの吸収原理を用いて、G上の表現πτと、G/N上の正規表現とHτ上の表現のテンソル積との間にユニタリ同値関係を確立する。
• C*(G/N, σ)に中心的射影pを構成し、C*(π(G)) ≅ pC*(G/N, σ)が成り立つことを示す。ここでσはG/N上の2-コサイクルであり、自明なコサイクルとホモトープである。

実験結果

リサーチクエスチョン

• RQ1 有限生成ノルム群の非可約ユニタリ表現によって生成されるC*-代数は、ユニバーサル係数定理（UCT）を満たすか？
• RQ2 これらのC*-代数は、ホモトピー的に自明なコサイクルを持つねじれ群C*-代数の中心的カットダウンとして実現可能か？
• RQ3 UCTの満たしと既知の核的性および単純性を組み合わせることで、エリオット不変量による分類が保証されるか？
• RQ4 有限共役部分群Gfの構造は、表現C*-代数のC*-代数的構造にどのように影響を与えるか？
• RQ5 Gfの外部で消える極端なトレースは、分類可能なC*-代数を構成する際に果たす役割は何か？

主な発見

• 有限生成ノルム群Gの任意の非可約ユニタリ表現πによって生成されるC*-代数C*π(G)は、ユニバーサル係数定理（UCT）を満たす。
• C*π(G)は、Z(G)の有限指数の torsion-free 部分群Nを含むG/N上のねじれ群C*-代数C*(G/N, σ)の中心的カットダウンと同型である。ここでσはG/N上の2-コサイクルである。
• 2-コサイクルσは自明なコサイクルとホモトープであるため、C*(G/N, σ)のK理論は、元の群C*-代数C*(G/N)のK理論と同型である。
• C*-代数C*π(G)は、ユニタリで単純かつ分離可能で、核次元が有限でUCTを満たすC*-代数のクラス内において、エリオット不変量によって分類可能である。
• 表現C*-代数C*π(G)は、Gf上の極端なトレースτ（Gfの外部で0）に対し、C*πτ(Gf)をZ作用で繰り返し交叉積として表現可能である。
• 証明は、C*πτ(Gf)が部分同型的（したがって型I）であるため、UCTを満たし、Z-交叉積によるUCTの保存性に依拠している。