[論文レビュー] The Ext class of an approximately inner automorphism, II

Akitaka Kishimoto, Alexander Kumjian|ArXiv.org|May 20, 1998

Rings, Modules, and Algebras被引用数 11

ひとこと要約

この論文は、実ランクが0の単純ユニタリAT代数における近似的に内部自己同型の分類を拡張し、漸近的に内部自己同型の商群 AInn(A) を導入する。この論文は、近似的に内部自己同型群を AInn(A) で割った商群が、OrderExt(K₁(A), K₀(A)) ⊕ Ext(K₀(A), K₁(A)) に同型であることを示し、ここで OrderExt は K₀(A) の順序構造を組み込むものであり、以前の Ext-クラスの記述を洗練させ、商群の完全不変量を提供する。

ABSTRACT

Let A be a simple unital AT algebra of real rank zero and Inn(A) the group of inner automorphisms of A. In the previous paper we have shown that the natural map of the group of approximately inner automorphisms into Ext(K_1(A),K_0(A)) oplus Ext(K_0(A),K_1(A)) is surjective; the kernel of this map includes the subgroup of automorphisms which are homotopic to Inn(A). In this paper we consider the quotient of the group of approximately inner automorphisms by the smaller normal subgroup AInn(A) which consists of asymptotically inner automorphisms and describe it as OrderExt(K_1(A),K_0(A)) oplus Ext(K_0(A),K_1(A)), where OrderExt(K_1(A),K_0(A)) is a kind of extension group which takes into account the fact that K_0(A) is an ordered group and has the usual Ext as a quotient.

研究の動機と目的

• 実ランクが0の単純ユニタリAT代数における近似的に内部自己同型の分類を洗練すること。
• 近似的に内部自己同型群を漸近的に内部自己同型で割った商群の構造を理解すること。
• K₁(A) から K₀(A) への OrderExt(K₁(A), K₀(A)) の群を導入し、K₀(A) の順序構造を尊重するように特徴づけること。
• 商群と、OrderExt と Ext の和の間の完全な同型を確立すること。
• 近似的に内部自己同型群を漸近的に内部自己同型で割った商群の完全不変量を提供すること。

提案手法

• 著者たちは、実ランクが0の単純ユニタリAT代数 A における近似的に内部自己同型の群を分析する。
• 漸近的に内部自己同型からなる正規部分群 AInn(A) を導入し、近似的に内部自己同型群を AInn(A) で割った商群を考察する。
• この商群から、直和 OrderExt(K₁(A), K₀(A)) ⊕ Ext(K₀(A), K₁(A)) への準同型を構成する。
• この準同型が同型であることを示し、K₀(A) の順序構造を用いて OrderExt を定義する。
• 証明は C*-代数の分類理論、K-理論、および Ext と OrderExt 群の性質に依拠する。
• この構成は、以前の論文で得られた結果を一般化しており、K₀(A) の順序を考慮しない単なる Ext 群に依存していた前回の結果とは異なり、一般化されている。

実験結果

リサーチクエスチョン

• RQ1 実ランクが0の AT 代数における、近似的に内部自己同型群を漸近的に内部自己同型で割った商群の正確な構造は何か？
• RQ2 K₀(A) の順序構造は、拡張群を用いた自己同型の分類にどのように組み込まれるか？
• RQ3 商群から OrderExt(K₁(A), K₀(A)) ⊕ Ext(K₀(A), K₁(A)) への写像が同型であるか？
• RQ4 OrderExt が提供する不変量は、単なる Ext に比べて、自己同型分類の文脈でより洗練された情報を捉えられるか？
• RQ5 K₀(A) の順序は、近似的に内部的ではあるが漸近的には内部的でない自己同型を区別する上で果たす役割は何か？

主な発見

• 近似的に内部自己同型群を漸近的に内部自己同型で割った商群は、OrderExt(K₁(A), K₀(A)) ⊕ Ext(K₀(A), K₁(A)) に同型である。
• OrderExt(K₁(A), K₀(A)) は、K₀(A) の正の錐を考慮するための Ext(K₁(A), K₀(A)) の洗練されたバージョンであり、順序構造に敏感である。
• OrderExt の導入により、商群の完全な分類が可能となり、これは単に Ext だけでは十分に捉えられなかった。
• 同型は自然であり、群構造を尊重しており、商群の完全不変量を提供する。
• この結果は、最初の論文で得られた結果を一般化しており、AInn(A) で割らないまま Ext 群の和への上への写像しか示さなかった前回の結果とは対照的である。
• この構成により、K₀(A) の順序が、通常の Ext 群では検出できない自己同型の区別にきわめて重要な役割を果たすことが確認された。