[论文解读] Virtual pullbacks in $K$-theory

F. Qu|arXiv (Cornell University)|Aug 8, 2016

Algebraic Geometry and Number Theory参考文献 18被引用 3

一句话总结

本文在代数叠上建立了K-理论中的虚拟拉回，证明其产生双变类并满足函子性。该工具被应用于证明关于概形的K-理论虚拟局部化公式，以及唐纳森-托马斯理论中的退化公式，通过形变空间与完美障碍理论，将经典结果从查群推广至K-理论。

ABSTRACT

We consider virtual pullbacks in $K$-theory, and show that they are bivariant classes and satisfy certain functoriality. As applications to $K$-theoretic counting invariants, we include proofs of a virtual localization formula for schemes and a degeneration formula in Donaldson-Thomas theory.

研究动机与目标

• 开发一个类似于查群中已有结果的K-理论虚拟拉回理论。
• 证明K-理论虚拟拉回产生双变类并满足函子性。
• 利用形变空间技术，为概形建立K-理论虚拟局部化公式。
• 通过K-理论中的虚拟拉回推导唐纳森-托马斯理论中的退化公式。
• 通过双变机械与完美障碍理论，将循环层公式推广至K-理论不变量。

提出的方法

• 通过在 $Π^1$ 上的形变空间 $M^{ullet}_f$ 定义虚拟拉回，利用法丛 $C_f$ 上的拉回与上推。
• 应用形变到法丛的映射 $\sigma_f: A(Y) \to A(C_f)$，并通过凝聚层将其提升至 $K_0$。
• 将虚拟拉回 $f^!$ 构造为复合映射 $A(Y) \xrightarrow{\sigma_f} A(C_f) \xrightarrow{\iota_*} A(\mathfrak{E}_f) \to A(X')$，其中 $\mathfrak{E}_f$ 为向量叠。
• 依赖于Kresch对阿廷叠上查群的推广，以及完美障碍理论理论，将结果推广至代数叠。
• 使用 [3] 中的双变类形式化，并通过 [18, 命题1] 将 [27] 中的函子性适配至K-理论。
• 应用 [5] 的方法证明虚拟局部化公式，并改编 [24, 26] 的论证以推导DT理论中的退化公式。

实验结果

研究问题

• RQ1 如何定义K-理论中的虚拟拉回，并证明其满足双变性与函子性？
• RQ2 能否通过形变空间将概形的虚拟局部化公式从查群推广至K-理论？
• RQ3 唐纳森-托马斯理论中的退化公式是否在K-理论中成立？如何从虚拟拉回推导出它？
• RQ4 完美障碍理论在为代数叠构造K-理论虚拟拉回中起什么作用？
• RQ5 虚拟拉回在K-理论设定下如何与正规上推与平坦拉回相互作用？

主要发现

• 在 $K_0$ 中的虚拟拉回被证明为双变类，将双变形式化推广至K-理论。
• 通过与完美障碍理论及形变空间构造的相容性，确立了虚拟拉回的函子性。
• 利用 [5] 的方法，证明了概形的K-理论虚拟局部化公式，将循环层版本推广至 $K_0$。
• 在 $K_0$ 中推导出唐纳森-托马斯理论中的退化公式，其形式为 $\sum_{k=0}^\infty \sum_{\delta: P(\delta)=P, k(\delta)=k} (-1)^k (\iota_\delta)_* \mathcal{O}_{\mathcal{M}_\delta}^{\mathrm{vir}} = \mathcal{O}_{\mathcal{M}_0^P}^{\mathrm{vir}}$ 在 $K_0(\mathcal{M}_0^P)$ 中成立。
• 形变不变性成立：$i_c^! \mathcal{O}_{\mathcal{M}^P}^{\mathrm{vir}} = \mathcal{O}_{\mathcal{M}_c^P}^{\mathrm{vir}}$ 对 $c \neq 0$ 成立，确认与光滑纤维的一致性。
• 即使 $\mathfrak{C}_0$ 不是准紧的，该构造依然有效，依赖于 $\mathcal{M}_0^P$ 的有界性及子小节2.6.1中的虚拟拉回。