[论文解读] A new definition of Kuranishi space

Dominic Joyce|arXiv (Cornell University)|Sep 24, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 50被引用 12

一句话总结

本文提出了一种关于 Kuranishi 空间的新、严格的定义，将其视为具有有限稳定子群的类轨道空间几何对象的弱 2-范畴，建立在辛几何早期概念的基础之上。该文引入了三个层级：µ-Kuranishi 空间（普通范畴）、m-Kuranishi 空间（弱 2-范畴）和完整的 Kuranishi 空间（弱 2-范畴），并建立了精确的范畴等价关系与嵌入关系，解决了在 Gromov–Witten 理论及相关不变量中定义虚拟基本类时长期存在的基础性问题。

ABSTRACT

'Kuranishi spaces' were introduced in the work of Fukaya, Oh, Ohta and Ono in symplectic geometry (see e.g. arXiv:1106.4882), as the geometric structure on moduli spaces of $J$-holomorphic curves. An alternative to Kuranishi spaces is the 'polyfolds' of Hofer, Wysocki and Zehnder (see e.g. arXiv:1407.3185). Finding a satisfactory definition of Kuranishi space has been the subject of recent debate (see e.g. arXiv:1208.1340, arXiv:1209.4410, arXiv:1510.06849). We propose three new definitions of Kuranishi space: a simple 'manifold' version, '$μ$-Kuranishi spaces', which form an ordinary category $\boldsymbolμ\bf Kur$; a more complicated 'manifold' version, 'm-Kuranishi spaces', which form a weak 2-category $\bf mKur$; and an 'orbifold' version, 'Kuranishi spaces', which form a weak 2-category $\bf Kur$. These are related by an equivalence of categories $\boldsymbolμ{\bf Kur}\simeq{ m Ho}({\bf mKur})$, where ${ m Ho}({\bf mKur})$ is the homotopy category of $\bf mKur$, and by a full and faithful embedding ${\bf mKur}\hookrightarrow\bf Kur$. We also define ($μ$-, m-)Kuranishi spaces with boundary, and with corners. We hope our definitions will become accepted as final, replacing previous definitions. Any Fukaya-Oh-Ohta-Ono Kuranishi space $\bf X$ can be made into a compact Kuranishi space $\bf X'$ uniquely up to equivalence in $\bf Kur$ (that is, up to isomorphism in ${ m Ho}({\bf Kur})$). The same holds for topological spaces with Fukaya-Oh-Ohta-Ono 'good coordinate systems', and for McDuff and Wehrheim's 'Kuranishi atlases' in arXiv:1508.01556. A compact topological space $\bf X$ with a 'polyfold Fredholm structure' in the sense of Hofer, Wysocki and Zehnder can be made into a Kuranishi space $\bf X$ uniquely up to equivalence in $\bf Kur$. This book is surveyed in arXiv:1510.07444.

研究动机与目标

• 为辛几何中用于定义虚拟基本类的 Kuranishi 空间定义中存在的长期模糊性与缺乏范畴严格性提供解决方法。
• 为 Kuranishi 结构提供一个数学上精确的框架，支持函子性、粘合性与障碍理论。
• 将此前的定义（如 Fukaya–Oh–Ohta–Ono、McDuff–Wehrheim 和 Yang 的定义）统一并推广为一个连贯的范畴层级。
• 为 J-全纯曲线的模空间建立正式的范畴基础，这对于 Gromov–Witten 不变量与 Floer 上同调至关重要。
• 将理论扩展至包含边界、角点及广义角点的情形，使其适用于更广泛的几何与拓扑设定。

提出的方法

• 引入 Kuranishi 结构的三个层级：µ-Kuranishi 空间（类流形，平凡稳定子，普通范畴）、m-Kuranishi 空间（类流形，平凡稳定子，弱 2-范畴）和 Kuranishi 空间（类轨道空间，有限稳定子，弱 2-范畴）。
• 定义 Kuranishi 邻域，包含图表 (V_i, E_i, s_i, ψ_i)，其中 V_i 为流形，E_i 为向量丛，s_i 为光滑截面，ψ_i 为同胚映射，将邻域映射到模空间的子集。
• 将坐标变换形式化为邻域之间等价关系的芽，通过相容性条件确保其在复合与限制下的一致性。
• 利用弱 2-范畴结构来建模同构与高阶对称性，其中 1-态射代表坐标变换，2-同构代表此类变换的等价性。
• 建立范畴等价关系：µKur ≃ Ho(mKur)，并建立一个全且忠实的嵌入 mKur ↪ Kur，表明该层级结构一致，且完整的 Kuranishi 空间是自然的目标。
• 通过 b-切丛与广义角点，将框架扩展至带边与角点的流形，并为障碍理论定义 (b-)切丛与 (b-)障碍丛。

实验结果

研究问题

• RQ1 如何定义 Kuranishi 空间，使其支持一个行为良好的态射范畴与函子性构造？
• RQ2 Kuranishi 空间应具备何种正确的范畴结构（普通范畴、弱 2-范畴等）以准确捕捉其几何与拓扑行为？
• RQ3 此前的定义（如 Fukaya–Oh–Ohta–Ono 的 Kuranishi 结构、良好坐标系与 McDuff–Wehrheim 的图册）与新框架之间有何关系？
• RQ4 该理论能否扩展至包含边界与角点的流形？在这些情形下，切丛与障碍丛的行为如何？
• RQ5 µ-Kuranishi、m-Kuranishi 与完整 Kuranishi 空间这三种 Kuranishi 结构层级之间的精确关系为何？

主要发现

• 本文建立了 Kuranishi 结构的连贯层级：µKur ≃ Ho(mKur)，表明 m-Kuranishi 空间的同伦范畴可恢复为更简单的 µ-Kuranishi 范畴。
• 存在一个全且忠实的嵌入 mKur ↪ Kur，意味着 m-Kuranishi 空间是 Kuranishi 空间的全子 2-范畴，保持所有态射与 2-同构。
• 所有先前的 Kuranishi 空间定义——包括 Fukaya–Oh–Ohta–Ono 的结构、良好坐标系、McDuff–Wehrheim 的图册以及 Yang 的 Kuranishi 结构——均可在新框架中唯一（至等价）地嵌入。
• 通过 b-切丛与广义角点，理论被扩展至带边与角点的流形，且 (b-)切丛与 (b-)障碍丛的定义保持一致。
• 完整 Kuranishi 空间被证明是与 d-轨道空间的严格 2-范畴等价的弱 2-范畴，为虚拟基本类提供了强有力的范畴基础。
• 该框架通过明确定义的切丛与障碍丛，支持障碍理论与虚拟链，对 Gromov–Witten 理论与拉格朗日子同调的应用至关重要。