[论文解读] The Full Orbifold $K$-theory of Abelian Symplectic Quotients

Rebecca Goldin, Megumi Harada+2 more|ArXiv.org|Dec 29, 2008

Advanced Combinatorial Mathematics参考文献 20被引用 3

一句话总结

本文通过惯性K-理论与积分K-理论基尔万满射性，发展了一种显式算法，用于计算阿贝尔辛流形商的全轨道丛K-理论。证明了作为辛商得到的加权射影空间的全轨道丛K-理论是挠自由的，通过固定点数据与扇区贡献的生成元与关系，给出了在整数上的完整环结构描述。

ABSTRACT

In their 2007 paper, Jarvis, Kaufmann, and Kimura defined the full orbifold $K$-theory of an orbifold ${\mathfrak X}$, analogous to the Chen-Ruan orbifold cohomology of ${\mathfrak X}$ in that it uses the obstruction bundle as a quantum correction to the multiplicative structure. We give an explicit algorithm for the computation of this orbifold invariant in the case when ${\mathfrak X}$ arises as an abelian symplectic quotient. Our methods are integral $K$-theoretic analogues of those used in the orbifold cohomology case by Goldin, Holm, and Knutson in 2005. We rely on the $K$-theoretic Kirwan surjectivity methods developed by Harada and Landweber. As a worked class of examples, we compute the full orbifold $K$-theory of weighted projective spaces that occur as a symplectic quotient of a complex affine space by a circle. Our computations hold over the integers, and in the particular case of weighted projective spaces, we show that the associated invariant is torsion-free.

研究动机与目标

• 开发一种系统方法，用于计算作为阿贝尔辛流形商得到的轨道丛的全轨道丛K-理论。
• 将惯性K-理论推广至非局部自由作用，扩展先前关于弦K-理论的工作。
• 为辛商建立积分K-理论基尔万满射性的类比。
• 为作为辛商得到的加权射影空间提供全轨道丛K-理论环的显式表示。
• 证明此类加权射影空间的全轨道丛K-理论在ℤ上是挠自由的。

提出的方法

• 将惯性K-理论 $NK^{ullet}_{T}(M)$ 引入为在稳定复流形上非局部自由作用下对弦K-理论的推广。
• 利用 $T$-固定点集及其法丛，通过 $ atural$-积重新表述弦积，类似于轨道丛上同调。
• 应用积分K-理论基尔万满射定理，将全空间的惯性K-理论与商的轨道丛K-理论联系起来。
• 将全轨道丛K-理论环构造为 $\mathbb{Z}[u,u^{-1}]$ 上多项式环的商，模以理想 $\mathcal{I}$（乘积关系）与 $\mathcal{J}$（基尔万映射的核）。
• 利用等变K-理论中的局部化技术，计算固定点子流形的K-理论及其对轨道丛环的贡献。
• 通过在 $\mathbb{P}^2_{(1,2,4)}$ 上的显式计算，验证一般框架并确认挠自由性。

实验结果

研究问题

• RQ1 如何在整数上显式计算阿贝尔辛流形商的全轨道丛K-理论？
• RQ2 作为辛商得到的加权射影空间的全轨道丛K-理论环的结构是什么？
• RQ3 此类加权射影空间的全轨道丛K-理论是否包含挠元素？
• RQ4 惯性K-理论在非局部自由情况下如何推广弦K-理论？
• RQ5 积分K-理论基尔万满射性能否用于计算非全局商叠的轨道丛K-理论？

主要发现

• 加权射影空间 $\mathbb{P}^n_b$ 的全轨道丛K-理论同构于 $\mathbb{Z}[u,u^{-1},\alpha_0,\ldots,\alpha_\ell]/(\mathcal{I} + \mathcal{J})$，其中 $\mathcal{I}$ 编码乘积关系，$\mathcal{J}$ 编码基尔万映射的核。
• 环结构完全由圆作用的固定点数据与单位根的扇区贡献决定。
• 对于具体例子 $\mathbb{P}^2_{(1,2,4)}$，全轨道丛K-理论显式计算为 $\mathbb{Z}[u,u^{-1},\alpha_0,\alpha_1,\alpha_2,\alpha_3]/(\mathcal{I} + \langle\alpha_0 - 1\rangle + \mathcal{J})$，其中 $\mathcal{I}$ 与 $\mathcal{J}$ 由乘法表与核计算导出。
• 加权射影空间的全轨道丛K-理论在 $\mathbb{Z}$ 上是挠自由的，通过分析分解中各分量的结构得以证明。
• 当 $T$-作用非局部自由时，惯性K-理论环 $NK^\diamond_T(M)$ 是一个新不变量，且它满射到商的全轨道丛K-理论。
• 计算结果确认，在全局商情形下，全轨道丛K-理论同构于弦K-理论的 $G$-不变部分，但对非全局商叠更一般。