[论文解读] An existence theorem, with energy bounds, of Floer's perturbed Cauchy-Riemann equation with jumping discontinuity

Yong‐Geun Oh|ArXiv.org|Jul 24, 2002

Geometric and Algebraic Topology参考文献 13被引用 5

一句话总结

本文通过绝热退化与谱不变量，建立了带有哈密顿扰动跳跃间断的弗洛尔扰动柯西-黎曼方程解的存在性定理及其能量界。关键结果通过哈密顿纤维丛中有限能量伪全纯截面证明了辛伪范数的非退化性，确认了在一般辛流形上最优的能量-容量不等式与谱不变量。

ABSTRACT

This is a sequel to the paper [Oh5] (or ArXiv:math.SG/0206092). The main purpose of the paper is to give the proof of an existence theorem, with energy bounds, of certain pseudo-holomorphic sections of the mapping cylinder that is needed for the proof of nondegeneracy of the homological invariant pseudo-norm which the author has constructed on general symplectic manifolds [Oh4,5]. The existence theorem is also the crux of the author's recent proof of an optimal energy-capacity inequality given in [Oh5]. In this paper, we prove a more general existence result than needed in that we study Floer's perturbed Cauchy-Riemann equations with discontinous Hamiltonian perturbation terms and prove an existence theorem of certain piecewise smooth finite energy solutions of the equation. The proof relies on a careful study of the product structure in the chain level Floer homology theory and a singular degeneration (``adiabatic degeneration'') of Floer's perturbed Cauchy-Riemann equation. In the course of the proof, we also derive certain general energy identity of pseudo-holomorphic sections of the Hamiltonian fibration.

研究动机与目标

• 证明带有哈密顿项跳跃间断的弗洛尔扰动柯西-黎曼方程解的存在性定理及其能量界。
• 在一般辛流形上，通过谱不变量构造的辛同调不变量伪范数的非退化性。
• 为辛拓扑中的最优能量-容量不等式提供分析基础。
• 推导哈密顿纤维丛中伪全纯截面的一般能量恒等式。
• 通过扰动柯西-黎曼方程在形变映射柱上的绝热退化，构造 $W^{1,2}$-正则解。

提出的方法

• 通过弗洛尔方程的奇异退化（绝热极限）分析具有不连续哈密顿扰动的扰动柯西-黎曼方程。
• 应用弗洛尔同调中的乘积结构，特别是短裤乘积，关联不同哈密顿同伦下的解。
• 通过分别分析定义域的厚部分与薄部分，构造 $W^{1,2}$-正则截面，确保能量控制。
• 使用双参数哈密顿同伦族在哈密顿纤维丛上定义平坦联络，从而推导能量恒等式。
• 利用谱不变量 $\rho(H;1)$ 和 $\rho(H^{-1};1)$ 控制能量并证明伪范数的非退化性。
• 推导出能量恒等式 $\frac{1}{2}\int_{\Sigma}|(Dv)^{v}|^{2} = -\mathcal{A}_{{\epsilon}k}([q,\widehat{q}]) + \mathcal{A}_{H}([z,w]) + \mathcal{A}_{\widetilde{{\epsilon}k\#H}}([z',w'])$，适用于 $H_3 = H_1 \# H_2$ 的情形。

实验结果

研究问题

• RQ1 带有不连续哈密顿扰动的弗洛尔扰动柯西-黎曼方程是否存在有限能量解？
• RQ2 能否在一族几乎复结构上构造出具有统一能量界的此类解？
• RQ3 哈密顿纤维丛中伪全纯截面的能量如何与谱不变量及最小面积度量相关联？
• RQ4 绝热退化在证明具有跳跃间断解的存在性与能量控制中起什么作用？
• RQ5 能否通过此类解建立辛伪范数 $\gamma(\phi)$ 的非退化性？

主要发现

• 证明了即使在不连续数据下，带有跳跃哈密顿扰动的扰动柯西-黎曼方程仍存在有限能量 $W^{1,2}$-正则解。
• 能量恒等式 $\frac{1}{2}\int_{\Sigma}|(Dv)^{v}|^{2} = -\mathcal{A}_{{\epsilon}k}([q,\widehat{q}]) + \mathcal{A}_{H}([z,w]) + \mathcal{A}_{\widetilde{{\epsilon}k\#H}}([z',w'])$ 在 $H_3 = H_1 \# H_2$ 情形下成立，实现了能量控制。
• 该构造在条件 $v(0,0) \in B(u)$ 且 $v(\pm\infty) \in \text{Fix}\,\phi$ 下产生非平凡解，确保了非退化性。
• 不变量 $A(\phi, J_0) > 0$ 严格为正且有限，这意味着对任意 $\phi$ 和 $J_0$，有 $0 < A(\phi, J_0) \leq \gamma(\phi) < \infty$。
• 谱不变量 $\rho(H;1)$ 满足 $\rho(H;1) \leq E^{-}(H)$，且 $\rho(H^{-1};1) \leq E^{+}(H)$，确认了能量界。
• 通过此类解的存在性，确立了辛伪范数 $\gamma(\phi)$ 的非退化性，完成了最优能量-容量不等式的证明。