[論文レビュー] 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）を結びつけること。
• C*-代数に限らないより一般的な局所凸*-代数へ、トンセンの非安定K理論フレームワークをPBAMsを用いて拡張すること。
• PBAMの合成に対して、それらが誘導する擬ユニタリ群上の写像がホモトピー的に整合するような条件を確立すること。
• 誘導写像 𝒰(f) がホモトピーの意味で合成を保存することを示し、K理論の文脈における函子的構造を可能にすること。

提案手法

• SMLC*-代数に対して関数計算の仮定を導入し、自己随伴元に対する連続関数計算の存在を保証する。
• u⋅u* = u*⋅u = 0 を満たす円板演算 ⋅ を用いて、𝒰(A) を定義し、この演算のもとで位相群となることを示す。
• 再パrametrization技術と連続関数 α, γ, θ を用いて、PBAMの漸近的挙動を制御し、𝒰(A) 上の誘導写像の連続性を保証する。
• 位相的補題（補題2.1）を適用し、点毎の漸近的条件から、ユニタリ群全体にわたる一様な振る舞いを保証する連続制御関数 α と φ を構成する。
• 再パラメータライズドな漸近写像の合成を用いて、PBAM f によって誘導されるホモトピー類 [𝒰(f)] ∈ [𝒰(A), 𝒰(B)] を構成する。
• 整合性を持つPBAM f と g に対して、擬ユニタリ群上の誘導写像がホモトピー圏において 𝒰(g∘f) = 𝒰(g)∘𝒰(f) を満たすことを証明する。

実験結果

リサーチクエスチョン

• RQ1 SMLC*-代数間の点毎有界漸近的モーフィズムが、関数計算の仮定の下で、それらの擬ユニタリ群への連続写像を誘導できるか？
• RQ2 トンセンの非安定K理論の構成をC*-代数からより一般的な局所凸*-代数へどのように拡張できるか？
• RQ3 PBAMの合成が、擬ユニタリ群上の誘導写像の合成をホモトピー的に整合させるために必要な条件は何か？
• RQ4 位相空間の圏において、写像 f ↦ 𝒰(f) がホモトピーの意味で合成と整合するか？

主な発見

• 関数計算の仮定の下で、PBAM f: A × [0,∞) → B は、𝒰(A) → 𝒰(B) へのwell-definedな連続写像 𝒰(f) を誘導し、ホモトピー類 [𝒰(f)] ∈ [𝒰(A), 𝒰(B)] を得る。
• 誘導写像 𝒰(f) は、球面との合成を通じて、トンセンの非安定K理論群 k*(A) → k*(B) へのwell-definedな準同型 f* を誘導する。
• 整合性を持つPBAM f: A → B と g: B → C に対して、合成 g∘f は、𝒰(g∘f) が 𝒰(g)∘𝒰(f) にホモトープであるような写像を誘導し、K理論の合成と整合性を保つ。
• この構成は、連続制御関数 α, γ, θ と再パラメータライズド関数 ψ に依存しており、擬ユニタリ群上の誘導写像の連続性とホモトピー不変性を保証する。
• 本論文は、PBAMs が自動的に合成を備えた圏を形成しないにもかかわらず、写像 f ↦ 𝒰(f) がホモトピーの意味で合成と整合することを確立した。