[论文解读] The Hirzebruch--Riemann--Roch theorem in true genus-0 quantum K-theory

Alexander Givental, Valentin Tonita|arXiv (Cornell University)|Jun 16, 2011

Advanced Algebra and Geometry参考文献 17被引用 38

一句话总结

本文通过在稳定映射模空间的惰性叠上应用虚拟川口–赫兹布吕赫–黎曼–罗赫公式，建立了关于复紧流形的 genus-0 量子 K-理论的完整量子 Hirzebruch–Riemann–Roch 定理，将 K-理论 Gromov–Witten 不变量用其上同调不变量表达。关键结果是：以共形上同调数据完全刻画了量子 K-理论的 J-函数，证明了射影空间中完备交的 J-函数满足有限差分方程，且量子 K-理论中受控拉格朗日子流形的切空间在诺维科夫变量上的有限差分算子代数上自然具有模结构。

ABSTRACT

We completely characterize genus-0 K-theoretic Gromov-Witten invariants of a compact complex algebraic manifold in terms of cohomological Gromov-Witten invariants of this manifold. This is done by applying (a virtual version of) the Kawasaki-Hirzebruch-Riemann-Roch formula for expressing holomorphic Euler characteristics of orbibundles on moduli spaces of genus-0 stable maps, analyzing the sophisticated combinatorial structure of inertia stacks of such moduli spaces, and employing various quantum Riemann--Roch formulas from "fake" (i.e. orbifold-ignorant) quantum K-theory of manifold and orbifolds (formulas, either previously known from works of Coates-Givental, Tseng, and Coates-Corti-Iritani-Tseng, or newly developed for this purpose in separate papers by Tonita). The ultimate formulation combines properties of overruled Lagrangian cones in symplectic loop spaces (the language, that has become traditional in description of generating functions of genus-0 Gromov-Witten theory) with a novel framework of "adelic characterization" of such cones. As an application, we prove that tangent spaces of the overruled Lagrangian cones of quantum K-theory carry a natural structure of modules over the algebra of finite-difference operators in Novikov's variables. As another application, we compute one of such tangent spaces for each of the complete intersections given by equations of degrees $l_1,...,l_k$ in a complex projective space of dimension $\geq l_1^2+...+l_k^2-1$.

研究动机与目标

• 建立 genus-0 量子 K-理论中 Hirzebruch–Riemann–Roch 定理的完整量子版本。
• 解决长期存在的问题：将紧复代数流形的 K-理论 Gromov–Witten 不变量完全用其上同调不变量表达。
• 通过将量子 K-理论与已充分理解的上同调 Gromov–Witten 理论结构联系起来，为量子 K-理论提供计算框架。
• 证明量子 K-理论中受控拉格朗日子流形的切空间在诺维科夫变量上的有限差分算子代数上自然具有模结构。
• 在维数条件满足下，计算射影空间中完备交的 J-函数。

提出的方法

• 对 genus-0 稳定映射模空间上叠丛的全纯欧拉示性数应用虚拟川口–赫兹布吕赫–黎曼–罗赫公式。
• 分析稳定映射模空间惰性叠的组合结构，以分解稳定映射自同构的贡献。
• 利用来自虚假量子 K-理论（已知及 Tonita 新发展的）的量子黎曼–罗赫公式，关联 K-理论与上同调不变量。
• 使用辛循环空间中受控拉格朗日子流形的框架，描述 genus-0 量子 K-理论生成函数。
• 引入受控拉格朗日子流形的阿代尔刻画，统一量子 K-理论 J-函数的结构。
• 通过考虑纤维上奇偶性变换（ΠE）的向量丛全空间的超流形几何，利用 S¹-等变局部化实现 K-理论欧拉类，从而与上同调不变量进行比较。

实验结果

研究问题

• RQ1 在 genus-0 情形下，紧复流形的 K-理论 Gromov–Witten 不变量能否完全用其上同调不变量表达？
• RQ2 射影空间中完备交的量子 K-理论 J-函数是否满足有限差分方程？若满足，其结构如何？
• RQ3 量子 K-理论中受控拉格朗日子流形的切空间具有何种代数结构？
• RQ4 虚拟川口–赫兹布吕赫–黎曼–罗赫公式如何应用于 genus-0 稳定映射模空间上的叠丛，以关联 K-理论与上同调不变量？
• RQ5 能否利用上同调数据与等变局部化显式计算射影空间中完备交的 J-函数？

主要发现

• 当复射影空间中完备交的维数至少为 $ l_1^2 + \cdots + l_k^2 - 1 $ 时，其量子 K-理论的 J-函数显式给出为 $ I_X = \sum_{d \geq 0} Q^d \frac{\prod_{j=1}^k \prod_{r=1}^{l_j d} (1 - P^{l_j} \Lambda q^r)}{\prod_{r=1}^d (1 - P q^r)^n} $，在特化后与基空间的 J-函数一致。
• 量子 K-理论中受控拉格朗日子流形的切空间在诺维科夫变量上的有限差分算子代数上自然具有模结构。
• 对于超流形 $ \Pi E $（其中 $ E $ 是 $ \mathbb{C}P^{n-1} $ 上的向量丛），量子 HRR 定理在形式上成立，且 $ \mathcal{J}_{\Pi E}(0) = I_{\Pi E} $，从而可通过在 $ \Lambda = 1 $ 处特化还原到基流形。
• 在允许除以 $ 1 - \Lambda $ 后，$ \Pi E $ 上的 K-理论 Poincaré 配对是非退化的，其表达式为 $ (\Phi, \Phi')_{\Pi E} = -\operatorname{Res}_{P=1} \Phi(P)\Phi'(P) \frac{\prod_{j=1}^k (1 - P^{l_j} \Lambda)}{(1 - P)^n} \frac{dP}{P} $。
• 量子 K-理论中旗流形 $ G/B $ 的 J-函数被证明是 $ U_q \mathfrak{g}' $ 的 Whittaker 函数，为 Kim 在量子上同调中的结果提供了 K-理论类比。
• 本文证明了 $ \Pi E $ 的 K-理论不变量生成函数是 $ n $ 个对易的有限差分算子的公共本征函数，从而确认了 K-理论 Toda 晶格结构。