[论文解读] Pointwise bounded asymptotic morphisms and Thomsen's non-stable k-theory

Edwin Beggs|ArXiv.org|Jan 8, 2002

Advanced Topology and Set Theory参考文献 2被引用 6

一句话总结

本文证明，在函数演算假设下，分离可度量局部凸*-代数之间的逐点有界渐近同态（PBAMs）在它们的拟单位群上诱导出连续映射，从而将PBAMs与汤姆森的非稳定K-理论直接联系起来。关键结果是PBAM的复合诱导出拟单位群上映射的兼容复合，保持了K-理论应用中至关重要的同伦类结构。

ABSTRACT

In this paper I show that pointwise bounded asymptotic morphisms between separable metrisable locally convex *-algebras induce continuous maps between the quasi-unitary groups of the algebras, provided that the algebras support a certain amount of functional calculus. This links the asymptotic morphisms directly to Thomsen's non-stable definition of k-theory in the C* algebra case. A result on composition of asymptotic morphisms is also given.

研究动机与目标

• 将逐点有界渐近同态（PBAMs）与分离可度量局部凸*-代数的拟单位群的拓扑联系起来。
• 通过PBAMs将汤姆森的非稳定K-理论框架从C*-代数扩展到更一般的局部凸*-代数。
• 为PBAM的复合建立一个相容性条件，使得在拟单位群上诱导的映射保持同伦相容性。
• 证明拟单位群上诱导的映射在同伦意义下尊重复合性，从而在K-理论背景下实现函子结构。

提出的方法

• 在SMLC *-代数上引入函数演算假设，以确保自伴元素具有连续函数演算。
• 通过圆运算⋅定义拟单位群𝒰(A)，其中u⋅u* = u*⋅u = 0，使其在该运算下成为一个拓扑群。
• 使用重参数化技术及连续函数α、γ、θ，控制PBAM的渐近行为，确保在𝒰(A)上诱导映射的连续性。
• 应用一个拓扑引理（引理2.1），从逐点渐近条件构造连续控制函数α和φ，确保在单位群上的一致行为。
• 通过渐近映射的重参数化复合构造由PBAM f诱导的同伦类[𝒰(f)] ∈ [𝒰(A), 𝒰(B)]。
• 证明对于相容的PBAMs f和g，在拟单位群上的诱导映射满足𝒰(g∘f) = 𝒰(g)∘𝒰(f)，即在同伦范畴中成立。

实验结果

研究问题

• RQ1 在函数演算条件下，SMLC *-代数之间的逐点有界渐近同态是否能诱导其拟单位群上的连续映射？
• RQ2 如何将汤姆森的非稳定K-理论构造从C*-代数扩展到更一般的局部凸*-代数？
• RQ3 何种相容性条件可确保PBAM的复合诱导出拟单位群上映射的兼容复合？
• RQ4 映射f ↦ 𝒰(f)在拓扑空间范畴中是否与复合同伦兼容？

主要发现

• 在函数演算假设下，PBAM f: A × [0,∞) → B 诱导出一个良定义的连续映射𝒰(f): 𝒰(A) → 𝒰(B)，并产生一个同伦类[𝒰(f)] ∈ [𝒰(A), 𝒰(B)]。
• 诱导映射𝒰(f)通过与球面的复合，给出Thomsen非稳定K-理论群上良定义的同态f*: k*(A) → k*(B)。
• 对于相容的PBAMs f: A → B 和 g: B → C，复合g∘f诱导的映射𝒰(g∘f)同伦于𝒰(g)∘𝒰(f)，从而确保与K-理论复合的一致性。
• 该构造依赖于连续控制函数α、γ、θ以及重参数化ψ，以确保在拟单位群上诱导映射的连续性与同伦不变性。
• 本文证明，映射f ↦ 𝒰(f)在同伦意义下与复合兼容，即使PBAMs本身不构成具有自动复合的范畴。