[论文解读] Some remarks on topological $K$-theory of dg categories

Benjamin Antieau, Jeremiah Heller|arXiv (Cornell University)|Sep 5, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用 3

一句话总结

本文利用motivic同伦理论，证明了Anthony Blanc关于dg范畴的有限系数半拓扑K-理论的猜想。研究证明了Friedlander-Walker与Blanc定义的连通半拓扑K-理论在拟射影复代数簇上一致，并表明在倒置Bott元后，dg范畴的拓扑K-理论满足étale超下降性，从而确认了一项关键结构性质。

ABSTRACT

Using techniques from motivic homotopy theory, we prove a conjecture of Anthony Blanc about semi-topological K-theory of dg categories with finite coefficients. Along the way, we show that the connective semi-topological K-theories defined by Friedlander-Walker and by Blanc agree for quasi-projective complex varieties and we study étale descent of topological K-theory of dg categories.

研究动机与目标

• 解决Anthony Blanc关于dg范畴的有限系数半拓扑K-理论的猜想。
• 比较并统一两种半拓扑K-理论的定义：一种由Friedlander-Walker提出，另一种由Blanc提出。
• 确立dg范畴拓扑K-理论的étale下降性质。
• 证明Blanc的连通半拓扑K-理论版本在拟射影复代数簇上与Friedlander-Walker的构造一致。

提出的方法

• 利用motivic同伦理论分析dg范畴相关K-理论谱的结构。
• 应用谱的Yoneda嵌入和实现函子，将motivic谱与拓扑谱联系起来。
• 利用KGL的周期性及Bott元，建立半拓扑K-理论与拓扑K-理论之间的联系。
• 利用实现函子在motivic稳定范畴中与内部映射对象可交换且保持对偶性的事实。
• 通过利用上同调理论的表示性，确立拓扑K-理论预层满足étale超下降性。
• 依赖于对于拟射影X，Perf_X的连通半拓扑K-理论与Friedlander-Walker构造之间的等价性。

实验结果

研究问题

• RQ1 Friedlander-Walker与Blanc的半拓扑K-理论构造在拟射影复代数簇上是否一致？
• RQ2 Blanc的猜想是否成立：对任意C和n ≥ 1，有K(C)/n ≃ K^st(C)/n？
• RQ3 光滑复概型上的拓扑K-理论预层是否满足étale超下降性？
• RQ4 dg范畴的拓扑K-理论是否在A^1-同伦等价下不变，且为étale拓扑下的超层？
• RQ5 从motivic谱到拓扑谱的实现函子是否可用于关联KGL(C)与K^top(C)？

主要发现

• 对任意拟射影复代数簇X，通过Blanc构造的Perf_X的连通半拓扑K-理论与Friedlander-Walker的K^sst(X)等价。
• Blanc的猜想成立：对所有n ≥ 1及任意C（C-线性dg范畴），有K(C)/n ≃ K^st(C)/n。
• 拓扑K-理论预层K^top(C)在Sm_C上是A^1-不变的，且为étale拓扑下的超层。
• 拓扑K-理论谱K^top(C)同构于周期性motivic K-理论谱KGL(C)的实现。
• 预层K^top(C)满足étale超下降性，因其由一个谱表示的上同调理论所产生。
• 实现函子与内部映射对象可交换，从而可将K^top(C)(X)识别为从X(C)的悬垂谱到K^top(C)的映射。