[論文レビュー] Non-cyclotomic Presentations of Modules and Prime-order Automorphisms of Kirchberg Algebras

Jack Spielberg|ArXiv.org|Apr 14, 2005

Advanced Topics in Algebra参考文献 5被引用数 5

ひとこと要約

本稿では、UCTを満たすキルヒバーグ・アルジュブラのK理論の素数位の自己同型が、同じ位の代数自身の自己同型に引き上げられることを確立している。グラフC*-代数のモデルと、巡回群の素数位の整数群環上の加群が円分成分を含まない表現をもつこと—これは整数表現論における新規な結果である—を用いて、与えられたK理論自己同型を誘導する明示的なグラフ自己同型を構成することで、以前の位数2の自己同型への引き上げ結果を任意の素数位に拡張している。

ABSTRACT

We prove the following theorem: let $A$ be a UCT Kirchberg algebra, and let $α$ be a prime-order automorphism of $K_*(A)$, with $α([1_A])=[1_A]$ in case $A$ is unital. Then $α$ is induced from an automorphism of $A$ having the same order as $α$. This result is extended to certain instances of an equivariant inclusion of Kirchberg algebras. As a crucial ingredient we prove the following result in representation theory: every module over the integral group ring of a cyclic group of prime order has a natural presentation by generalized lattices with no cyclotomic summands.

研究の動機と目的

• 位数2から任意の素数位へのキルヒバーグ代数のK理論自己同型の引き上げを拡張すること。
• 主要な表現論的問題の解決：素数位の巡回群の整数群環上の加群が、円分成分を含まない一般化された格子による表現をもつことの証明。
• 与えられた素数位の自己同型をK理論に誘導する明示的なグラフC*-代数を構成すること。
• ある純度条件を満たす場合に、キルヒバーグ代数の自己同型付き包含関係への結果の一般化。
• 群環表現に基づく組合せ論的および代数的技法を用いた、UCTクラスにおける自己同型の引き上げのフレームワークの提供。

提案手法

• 与えられたアーベル群とその素数位自己同型と同型なK理論をもつ有向グラフの構成。
• グラフの構成を用いて、同じ位の自己同型をグラフ自己同型として実現すること。
• 素数位の巡回群の整数群環上の任意の加群が、円分成分を含まない一般化された格子による表現をもつことの証明。
• 群環上の有限生成不可約加群の分類を用いて、これらの表現の構造を分析すること。
• キルヒバーグ＝フィリップス分類定理を用いて、K理論自己同型をC*-代数自己同型に引き上げること。
• 加群の包含に関する部分的純度条件の検証により、結果を自己同型付き包含関係に拡張すること。

実験結果

リサーチクエスチョン

• RQ1 UCTキルヒバーグ代数のK理論の任意の素数位自己同型は、同じ位の代数自己同型に引き上げられるか。
• RQ2 素数位の巡回群の整数群環上の加群は、円分成分を避ける表現をもつのか。
• RQ3 素数位自己同型をもつアーベル群の自己同型付き包含関係が、可換な自己同型をもつキルヒバーグ代数の包含関係として実現可能となる条件は何か。
• RQ4 与えられたK理論自己同型を誘導するグラフC*-代数を構成的に構築する方法はあるか。
• RQ5 自己同型の引き上げ結果は、単位元をもたない場合やキルヒバーグ代数の包含関係へも拡張可能か。

主な発見

• UCTキルヒバーグ代数のK理論の任意の素数位自己同型は、同じ位の代数自己同型に引き上げられる。
• 素数位の巡回群の整数群環上の任意の加群は、円分成分を含まない一般化された格子による表現をもつ。
• 適切な自己同型をもつ明示的なグラフモデルを用いた、所望のK理論と自己同型型をもつグラフC*-代数の構成が可能である。
• 自己同型付き包含関係において、加群の包含に関するある部分的純度条件を満たせば、引き上げ結果は成り立つ。
• K0の固定元が代数における単位元に対応する場合、結果は単位元をもつキルヒバーグ代数へ拡張可能である。
• このフレームワークにより、K理論に所望の自己同型を誘導するキルヒバーグ代数の包含関係に可換な自己同型を構成できる。