[论文解读] Permutation-equivariant quantum K-theory III. Lefschetz' formula on $\overline{M}_{0,n}/S_n$ and adelic characterization

Alexander Givental|arXiv (Cornell University)|Aug 27, 2015

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

一句话总结

本论文通过在模空间 $\overline{M}_{0,n+1}/S_n$ 上应用 Lefschetz 的不动点公式，对点目标空间 $X = \text{pt}$ 的置换等变量子 K-理论中的大 J-函数进行了完整的刻画。利用等变上同调推导出递归关系，并证明了 J-函数的像被由小 J-函数生成的子空间扫掠，从而为一般目标空间提供了基础性的阿代尔型刻画。

ABSTRACT

We continue our study of the genus-$0$ permutation-equivariant quantum K-theory of the target $X=pt$, and completely determine the "big J-function" of this theory. The computation is based on the application of Lefschetz' fixed point formula to the action of $S_n$ on $\overline{M}_{0,n+1}$. It is an instance of the general "adelic characterization" (which we state at the end with reference to arXiv:1106.3136) of quantum K-theory for any target $X$ in terms of quantum cohomology theory. Yet, some simplifications of non-conceptual nature occur in this example, making it a lucid illustration to the general theory.

研究动机与目标

• 完全确定点目标空间 $X = \text{pt}$ 的 genus-0 置换等变量子 K-理论中的大 J-函数。
• 在 $\overline{M}_{0,n+1}$ 上对 $S_n$-作用应用 Lefschetz 的不动点公式，推导出相关函数的递归结构。
• 为任意目标空间 $X$ 建立 genus-0 量子 K-理论的一般阿代尔型刻画，扩展先前结果。
• 阐明 Adams 操作与 $\lambda$-代数结构在 J-函数及其像的构造中的作用。
• 证明 J-函数的像位于由小 J-函数生成的子空间的并集中，从而实现对 $1 - q$ 的无穷小邻域之外的解析延拓。

提出的方法

• 在具有 $S_n$-作用的 $\overline{M}_{0,n+1}$ 上应用 Lefschetz 的不动点公式，将上同调类的等变迹表示为不动点支集上的全纯欧拉示性数。
• 应用量子 Hirzebruch-Riemann-Roch 定理，在 $X = \text{pt}$ 的情形下关联虚拟欧拉示性数与普通欧拉示性数。
• 将环路空间 $\mathcal{K} = \mathcal{K}_+ \oplus \mathcal{K}_-$ 分解为正负部分，其中 $\mathcal{K}_+$ 由洛朗多项式构成，$\mathcal{K}_-$ 由在 $q=0$ 处解析的有理函数构成，从而将 J-函数定义为从 $\mathcal{K}_+$ 到 $\mathcal{K}_-$ 的图。
• 通过分析在第 $n+1$ 个标记点附近置换 $h \in S_n$ 的作用，推导出 J-函数的递归关系，得到在 $\Lambda$-值形式环路空间中的方程组。
• 利用形式隐函数定理，证明 J-函数像在 $\mathcal{K}_+$ 上的投影在 $1 - q$ 的邻域内是满射，从而确保图的完整描述。
• 通过虚假全纯欧拉示性数与 Kawasaki 的 Riemann-Roch 公式在 $X_{g,n,d}/S_n$ 上的应用，将结果推广至任意 $X$，得到涉及 $m$ 次单位根与算子级数上 $\Psi^m$-作用的阿代尔型刻画。

实验结果

研究问题

• RQ1 如何利用等变上同调技术完全确定 $X = \text{pt}$ 的置换等变量子 K-理论中的大 J-函数？
• RQ2 J-函数在环路空间 $\mathcal{K}$ 中的像的确切结构是什么？它与小 J-函数及 $\Psi^k$-运算有何关系？
• RQ3 Lefschetz 的不动点公式在 $\overline{M}_{0,n+1}/S_n$ 上如何导出 J-函数中相关函数的递归结构？
• RQ4 任意目标空间 $X$ 的 genus-0 置换等变量子 K-理论的一般阿代尔型刻画是什么？
• RQ5 Adams 操作 $\Psi^m$ 与 $\Lambda$ 上的 $\lambda$-代数结构如何与 $S_n$-等变几何相互作用，以定义 J-函数在单位根处的取值？

主要发现

• 大 J-函数 $\mathcal{J}_{\text{pt}}$ 在环路空间 $\mathcal{K}$ 中的像被一族子空间 $\bigcup_{\nu \in \Lambda_+} (1 - q) \exp\left(\sum_{k > 0} \frac{\Psi^k(\nu)}{k(1 - q^k)} \right) \mathcal{K}_+$ 扫掠，从而完整描述了 J-函数的像。
• J-函数被刻画为在 $1 - q$ 的无穷小邻域内定义的从 $\mathcal{K}_+$ 到 $\mathcal{K}_-$ 的形式函数图，其在 $\mathcal{K}_+$ 上的投影由于形式隐函数定理而为满射。
• 当 $X = \text{pt}$ 时，虚假量子 K-理论与普通量子 K-理论一致，因为 $\overline{M}_{0,n}$ 是流形，因此可使用标准全纯欧拉示性数。
• 对任意 $X$ 的一般阿代尔型刻画涉及所有本原 $m$ 次单位根 $\zeta$，其中 $\mathcal{J}_X(\mathbf{t})_{(\zeta)}(q^{1/m}/\zeta)$ 属于正环路空间 $\widehat{\mathcal{K}}^X_+$ 的特定 $\Psi^m$-扭变像。
• 算子级数 $S_\tau(q)^{-1}$（其列是小 J-函数的偏导数）控制 J-函数像的切空间，其 $\Psi^m$-作用通过 $\Lambda$ 上的 $\lambda$-结构与 $\Psi^m(q) = q^m$ 定义。
• 结果确认，尽管并集大于像本身，J-函数的像仍包含于由小 J-函数生成的子空间的并集中，从而为函数在 $1 - q$ 的形式邻域之外提供了自然的解析延拓。