[论文解读] Non-archimedean quantum K-invariants

Mauro Porta, Tony Yue Yu|arXiv (Cornell University)|Jan 15, 2020

Homotopy and Cohomology in Algebraic Topology参考文献 52被引用 5

一句话总结

本文利用导出非阿基米德几何引入了非阿基米德量子 K-不变量，通过图运算在导出栈的稳定映射之间建立了函子性、几何性的关系。该研究为带有重数条件的枚举不变量提供了新框架，实现了直观且函子性的证明，并将量子 K-理论扩展至经典代数几何之外。

ABSTRACT

We construct quantum K-invariants in non-archimedean analytic geometry. Contrary to the classical approach in algebraic geometry via perfect obstruction theory, we build on our previous works on the foundations of derived non-archimedean geometry, the representability theorem and Gromov compactness. We obtain a list of natural geometric relations between the stacks of stable maps, directly at the derived level, with respect to elementary operations on graphs, namely, products, cutting edges, forgetting tails and contracting edges. They imply immediately the corresponding properties of quantum K-invariants. The derived approach produces highly intuitive statements and functorial proofs. The flexibility of our derived approach to quantum K-invariants allows us to impose not only simple incidence conditions for marked points, but also incidence conditions with multiplicities. This leads to a new set of enumerative invariants. For the proofs, we further develop the foundations of derived non-archimedean geometry in this paper: we study derived lci morphisms, relative analytification, and deformation to the normal bundle. Our motivations come from non-archimedean enumerative geometry and mirror symmetry.

研究动机与目标

• 开发非阿基米德解析几何中量子 K-不变量的导出框架。
• 通过基本图运算，在稳定映射的导出栈之间建立自然的几何关系。
• 通过引入具有重数的关联条件，将经典量子 K-理论进行推广。
• 在导出非阿基米德几何中建立基础工具，包括 lci 同态与法丛的形变。
• 支持非阿基米德枚举几何与镜像对称中的应用。

提出的方法

• 以导出非阿基米德几何作为构建量子 K-不变量的基础框架。
• 应用表示性定理与格罗莫夫紧致性，确保稳定映射模空间的良好行为。
• 利用图运算——乘积、边切割、尾部遗忘与边收缩——在导出层面上推导几何关系。
• 提出具有重数的关联条件的导出形式化，扩展经典枚举不变量。
• 发展基础概念：导出 lci 同态、相对解析化与法丛的形变。
• 采用函子性证明，直接推出量子 K-不变量的相应性质。

实验结果

研究问题

• RQ1 如何在非阿基米德解析几何中系统地构造量子 K-不变量？
• RQ2 基本图运算在稳定映射的导出栈之间引发何种几何关系？
• RQ3 在导出设定下，能否将具有重数的关联条件纳入量子 K-理论？
• RQ4 支持此类构造所需的导出非阿基米德几何中的基础工具是什么？
• RQ5 这些构造如何与非阿基米德环境下的枚举几何和镜像对称相关联？

主要发现

• 导出方法为量子 K-不变量带来了高度直观的陈述与函子性证明。
• 该框架自然地整合了具有重数的关联条件，从而产生一类新的枚举不变量。
• 通过图运算可直接建立稳定映射的导出栈之间的几何关系，其对不变量具有直接后果。
• 本文推进了导出非阿基米德几何的基础，特别是在 lci 同态与法丛形变方面。
• 结果为非阿基米德枚举几何与镜像对称提供了新且灵活的框架。
• 该构造与格罗莫夫紧致性及表示性相容，确保模空间的明确定义。