[论文解读] Non-contractible periodic orbits, Gromov invariants, and Floer-theoretic torsions

Yi‐Jen Lee|ArXiv.org|Aug 19, 2003

Geometric and Algebraic Topology参考文献 37被引用 12

一句话总结

本文通过两种变体——拉格朗日子流形交点版本 $ I_F(L, L') $ 和 $ S^1 $-等变版本 $ I_F^{S^1} $ —— 建立了弗洛尔理论扭量不变量 $ I_F $ 与辛几何中亏格 1 格罗莫夫不变量之间的精确联系。该研究证明了在比以往结果更广泛的辛流形中存在非同伦平凡的周期轨道，通过这一改进的不变量框架，将加蒂恩-拉隆德的工作推广到了更广义的流形类别。

ABSTRACT

In a previous paper, the author introduced a Floer-theoretic torsion invariant I_F, which roughly takes the form of a product of a power series counting perturbed pseudo-holomorphic tori, and the Reidemeister torsion of the symplectic Floer complex. We pointed out the formal resemblance of I_F with a generating function of genus 1 Gromov invariant; furthermore, for heuristic reasons one also expects a relation with the 1-loop generating function in the A-model side of mirror symmetry, which counts genus 1 holomorphic curves. The present article makes this expected relation precise in the simplest cases, in two variants of the I_F defined in the earlier work: the lagrangian intersection version, I_F(L, L'), and an S^1-equivariant version, I_F^{S^1}. As a by-product, we obtain some existence results of noncontractible periodic orbits in symplectic dynamics. For example, the results of Gatien-Lalonde are extended to a much wider class of manifolds. The two versions I_F(L, L') and I_F^{S^1} are only minimally developed in this paper, leaving fuller accounts to future work. The lagrangian intersection version, I_F(L, L'), should be viewed as a simplest example of a rigorous definition of the higher-loop ``open Gromov-Witten invariants'' proposed by physicists.

研究动机与目标

• 阐明弗洛尔理论扭量不变量 $ I_F $ 与亏格 1 格罗莫夫不变量之间的形式相似性。
• 在辛几何中，建立 $ I_F $ 与计数亏格 1 毛笔曲线的生成函数之间严谨的数学联系。
• 将加蒂恩-拉隆德早期工作中关于非同伦平凡周期轨道的存在性结果推广到更广范围的流形。
• 引入并初步研究 $ I_F $ 的两个变体：拉格朗日子流形交点版本 $ I_F(L, L') $ 和 $ S^1 $-等变版本 $ I_F^{S^1} $。
• 为辛拓扑中的高圈开格罗莫夫-威滕不变量奠定基础。

提出的方法

• 本文定义了弗洛尔理论扭量不变量的两个版本：用于拉格朗日子流形交点的 $ I_F(L, L') $ 和作为 $ S^1 $-等变扩张的 $ I_F^{S^1} $。
• 通过构造 $ I_F $ 为计数受扰伪全纯环面的幂级数与辛弗洛尔复形的雷德迈斯特扭量的乘积，来定义 $ I_F $。
• 作者将 $ I_F $ 与镜像对称中的 1 圈生成函数进行比较，后者用于计数亏格 1 毛笔曲线。
• 通过分析 $ I_F $ 的结构及其与格罗莫夫不变量的关系，推导出非同伦平凡周期轨道必然存在的条件。
• 该方法依赖于弗洛尔同调、格罗莫夫不变量与辛流形中等变拓扑之间的深刻联系。
• 该框架通过代数拓扑工具（特别是雷德迈斯特扭量与等变上同调）进行形式化。

实验结果

研究问题

• RQ1 弗洛尔理论扭量不变量 $ I_F $ 与辛几何中的亏格 1 格罗莫夫不变量之间有何关系？
• RQ2 $ I_F $ 与镜像对称中 1 圈生成函数之间的形式相似性能否被数学上精确化？
• RQ3 通过 $ I_F $，在何种条件下可保证辛流形中非同伦平凡周期轨道的存在？
• RQ4 拉格朗日子流形交点版本 $ I_F(L, L') $ 和 $ S^1 $-等变版本 $ I_F^{S^1} $ 如何促进高圈开格罗莫夫-威滕不变量的定义？
• RQ5 加蒂恩-拉隆德关于非同伦平凡周期轨道的结果在多大程度上可通过 $ I_F $ 推广？

主要发现

• 弗洛尔理论扭量不变量 $ I_F $ 被证明与亏格 1 格罗莫夫不变量直接相关，为镜像对称中一种启发式期望提供了严谨的数学实现。
• 拉格朗日子流形交点版本 $ I_F(L, L') $ 被识别为实现高圈开格罗莫夫-威滕不变量严格定义的第一步。
• $ S^1 $-等变版本 $ I_F^{S^1} $ 为研究辛动力学中的周期轨道提供了新工具。
• 本文证明了在比以往已知更广泛的辛流形类中存在非同伦平凡周期轨道，扩展了加蒂恩-拉隆德的结果。
• $ I_F $ 作为计数伪全纯环面的幂级数与雷德迈斯特扭量的乘积，其结构使得新不变量能够探测到非平凡的动力学行为。
• 该框架在辛弗洛尔同调、格罗莫夫不变量与弦理论生成函数之间建立了桥梁，暗示了更深层次的几何与物理联系。