[论文解读] The Ext class of an approximately inner automorphism, II

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

Rings, Modules, and Algebras被引用 11

一句话总结

本文通过引入渐近内自同构的商群 AInn(A)，扩展了对实秩为零的简单单位化AT代数上近似内自同构的分类。它表明，近似内自同构群模 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.

研究动机与目标

• 对实秩为零的简单单位化AT代数上近似内自同构的分类进行细化。
• 理解近似内自同构群模渐近内自同构群的商群结构。
• 引入并表征群 OrderExt(K₁(A), K₀(A))，作为考虑 K₀(A) 有序结构的 Ext 的细化。
• 在商群与扩展群之和（包括 OrderExt 和 Ext）之间建立完全同构。
• 为近似内自同构群模渐近内自同构群的商群提供完整的不变量。

提出的方法

• 作者分析了实秩为零的简单单位化AT代数 A 上的近似内自同构群。
• 他们引入了由渐近内自同构构成的正规子群 AInn(A)，并考虑近似内自同构群模 AInn(A) 的商群。
• 他们从该商群构造一个同态映射到直和 OrderExt(K₁(A), K₀(A)) ⊕ Ext(K₀(A), K₁(A))。
• 他们证明该同态是同构，利用 K₀(A) 的有序结构来定义 OrderExt。
• 该证明依赖于 C*-代数的分类理论、K-理论，以及 Ext 和 OrderExt 群的性质。
• 该构造推广了前一论文中的结果，后者仅使用 Ext 群而未考虑 K₀(A) 上的序结构。

实验结果

研究问题

• RQ1 对于实秩为零的 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)) 是 Ext(K₁(A), K₀(A)) 的细化，其考虑了 K₀(A) 的正锥，因此对有序结构敏感。
• 引入 OrderExt 允许对商群实现完全分类，而这是仅用 Ext 无法完全捕捉到的。
• 该同构是自然的，并保持群结构，为商群提供了完整的不变量。
• 该结果推广了前一论文中的结果，后者仅建立了到 Ext 群之和的满射，而未对 AInn(A) 进行商化。
• 该构造证实，K₀(A) 上的序结构在区分自同构方面起着关键作用，其效果是普通 Ext 群无法检测到的。