[论文解读] The polyfold--Kuranishi correspondence I: A choice-independent theory of Kuranishi structures

Dingyu Yang|arXiv (Cornell University)|Feb 27, 2014

Algebraic structures and combinatorial models参考文献 8被引用 10

一句话总结

本文通过将卡拉希结构的等价类定义为内在芽（germ），建立了一套与选择无关的卡拉希结构理论，消除了对良好坐标系选择的依赖。证明了扰动理论在该框架下是良定义且与选择无关的，从而实现了与多叶弗雷德霍尔结构的典范对应，统一了辛几何中两大抽象扰动框架。

ABSTRACT

This is the first paper in a series which proposes and develops the polyfold Fredholm structure--Kuranishi structure correspondence, identifying these two abstract perturbative structures which are indispensable for constructing and understanding symplectic invariants in the most general settings. In this paper, I present my version of the theory of Kuranishi structures in full generality. This theory is independent of all the choices made in the construction (including the choices of good coordinate systems); and it uses the equivalence of Kuranishi structures as the germ to capture the intrinsic underlying structure to which the perturbation theory descends. This is the first theory in the literature that has these two properties. This choice-independent theory is essential for canonically and functorially identifying the polyfold Fredholm theory of Hofer-Wysocki-Zehnder with the theory of Kuranishi structures. The next two papers in this series will be on the forgetful functor and the globalization functor in the respective directions of the polyfold--Kuranishi correspondence, as well as illustrating the use of the correspondence with a few sample applications.

研究动机与目标

• 解决卡拉希结构理论中长期存在的选择依赖问题，特别是关于良好坐标系选择的问题。
• 通过等价类（芽）定义卡拉希结构的内在、与选择无关的概念，以捕捉其底层几何对象。
• 建立与所有构造选择无关的卡拉希结构典范扰动理论。
• 为多叶弗雷德霍尔结构与卡拉希结构之间建立严格、函子性的对应关系奠定基础。
• 实现辛几何中两大主要抽象扰动框架之间的结果转移。

提出的方法

• 引入卡拉希结构等价性的概念作为芽，以捕捉独立于图册或坐标系选择的内在几何对象。
• 将一级良好坐标系定义为一种典范细化，使得不同维度下的局部模型可一致拼接。
• 使用三重构造生成相容的纤维积卡拉希图册，确保坐标变换是良定义且相容的。
• 采用遗忘函子方法，通过共同的一级细化，将多叶弗雷德霍尔结构与卡拉希结构关联起来。
• 证明所有构造良好坐标系的选择均导致等价系统，从而确保扰动理论的不变性。
• 利用可接受对图册与一级细化的概念，确保对应关系中的相容性与函子性。

实验结果

研究问题

• RQ1 卡拉希结构能否在不依赖良好坐标系选择的前提下被定义？
• RQ2 卡拉希结构的扰动理论是否在不同局部有限维约化与坐标系选择下保持不变？
• RQ3 能否为卡拉希结构定义一个典范的内在对象，以捕捉其几何本质？
• RQ4 多叶弗雷德霍尔理论与卡拉希结构理论之间能否建立函子性关系？
• RQ5 卡拉希结构的扰动理论是否能下降到该结构的等价类（芽）上并形成良定义的理论？

主要发现

• 卡拉希结构理论完全独立于良好坐标系的选择，因为所有此类选择均产生等价结构。
• 扰动理论是良定义且与构造选择无关的，因为等价的卡拉希结构具有相同的扰动理论。
• 卡拉希结构的等价类（定义为芽）捕捉了扰动理论所依赖的内在底层几何对象。
• 从固定卡拉希结构中提取的所有一级良好坐标系均彼此等价，确保了理论的一致性。
• 卡拉希图册的纤维积构造产生了相容的坐标变换，从而实现了全局的一致拼接。
• 多叶弗雷德霍尔结构与卡拉希结构之间的对应关系是典范且函子性的，使得两个框架之间的不变量可以相互转移。