[論文レビュー] A universal coarse K-theory

Ulrich Bunke, Denis-Charles Cisinski|arXiv (Cornell University)|May 15, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 13被引用数 5

ひとこと要約

本稿では、$G$-bornological coarse空間から加法的圏への関手と、ブルンバーグ、ゲプナー、タバタの普遍局所化不変量を合成することで、非可換モチーフ値をとる普遍的等長不変粗ホモロジー理論を構成する。主な結果は、この構成が標準的な等長不変粗$K$-ホモロジーを写像空間を通じて回復する普遍的粗$K$-理論をもたらし、トポロジカルホッジン・ホモロジーのような新しい例を可能にする。

ABSTRACT

In this paper, we construct an equivariant coarse homology theory with values in the category of non-commutative motives of Blumberg, Gepner and Tabuada, with coefficients in any small additive category. Equivariant coarse K-theory is obtained from the latter by passing to global sections. The present construction extends joint work of the first named author with Engel, Kasprowski and Winges by promoting codomain of the equivariant coarse K-homology functor to non-commutative motives.

研究の動機と目的

• 非可換モチーフ値をとる普遍的等長不変粗ホモロジー理論を構築すること。
• ブルンバーグ、ゲプナー、タバタの普遍局所化不変量を介して、以前の等長不変粗$K$-ホモロジーの研究を拡張すること。
• 標準的な等長不変粗$K$-ホモロジーを回復し、新たな粗ホモロジー理論を生成する枠組みを提供すること。
• 普遍的構成を通じて代数的$K$-理論における同型予想への応用を容易にすること。

提案手法

• 有界な鎖複体のホモトピー同値を反転させた安定$\infty$-圏への関手$\mathbf{Ch}^b(-)_{\infty}$を、小さな加法的圏に定義する。
• これに普遍局所化不変量$\mathcal{U}_{\text{loc}}$を合成し、関手$\mathrm{UK} : \mathbf{Add} \to \mathcal{M}_{\text{loc}}$を得る。
• 普遍的等長不変粗ホモロジー理論を$\mathrm{UK}\mathcal{X}^G_{\mathbf{A}} = \mathrm{UK} \circ \mathbf{V}^G_{\mathbf{A}}$として構成する。ここで$\mathbf{V}^G_{\mathbf{A}}$は$G$-bornological coarse空間に$X$-制御された$\mathbf{A}$-対象を割り当てる。
• 加法的圏の圏にマークされた同型を導入した$\mathbf{Add}^+$に refining し、コインダクションを用いて理論を軌道圏$\mathbf{Orb}(G)^{\mathrm{op}}$に持ち上げる。
• $\mathcal{U}_{\text{loc}}$の普遍性を用いて、トポロジカルホッジン・ホモロジーのような既知の不変量を普遍的構成を通じて因数分解する。
• 安定化部分群への制限とコロイミットおよび同値条件の検証により、得られた関手が等長不変粗ホモロジー理論の公理を満たすことを証明する。

実験結果

リサーチクエスチョン

• RQ1 ブルンバーグ、ゲプナー、タバタの普遍局所化不変量を介して、等長不変粗$K$-ホモロジーを普遍的に因数分解できるか？
• RQ2 非可換モチーフにおける普遍的粗ホモロジー理論の構成は、標準的な等長不変粗$K$-ホモロジーを回復するか？
• RQ3 既知の局所化不変量（例：THH）を通じて、普遍的構成からどのような新たな粗ホモロジー理論が生じるか？
• RQ4 部分群への制限において、普遍理論はどのように振る舞い、等長不変粗ホモロジー理論の公理を満たすか？
• RQ5 普遍的構成を用いて、等長的代数的$K$-理論における「母なる同型予想」に到達できるか？

主な発見

• 普遍的等長不変粗ホモロジー理論$\mathrm{UK}\mathcal{X}^G_{\mathbf{A}}$は適切に定義されており、等長不変粗ホモロジー理論のすべての公理を満たす。
• 標準的な等長不変粗$K$-ホモロジー関手$\mathrm{K}\mathcal{X}^G_{\mathbf{A}}$は、$\mathrm{K}\mathcal{X}^G_{\mathbf{A}}(-) \simeq \mathtt{map}_{{\mathcal{M}}_{\text{loc}}}({\mathcal{U}}_{\text{loc}}({\mathbf{S}}^{\omega}_{\infty}), \mathrm{UK}\mathcal{X}^G_{\mathbf{A}}(-))$として回復され、普遍性が示される。
• この構成により、トポロジカルホッジン・ホモロジーが普遍不変量を介して因数分解されるような新たな粗ホモロジー理論が得られる。
• 理論は部分群への制限と整合する：$\underline{\mathrm{UK}\mathcal{X}_{\mathbf{A}}}^{(H)} \simeq \mathrm{UK}\mathcal{X}^H_{\mathbf{A}} \circ \mathrm{Res}^G_H$であり、安定化部分群全体で一貫性が保たれる。
• 主な構成は、マークされた同型を備えた修正関手$\mathbf{V}^+_{\mathbf{A}}$を用いて行われ、普遍局所化不変量と整合性を持つ。
• 主結果、定理3.17は、軌道圏における振る舞いと制限による検証を通じて、$\underline{\mathrm{UK}\mathcal{X}_{\mathbf{A}}}$が等長不変粗ホモロジー理論であることを確認する。