[论文解读] Holomorphic Floer Theory and the Fueter Equation

Aleksander Doan, Semon Rezchikov|arXiv (Cornell University)|Oct 21, 2022

Geometric and Algebraic Topology被引用 4

一句话总结

本文提出一个2-category $ \mathrm{Fuet}_{M} $，通过在 $[0,1]\times\mathbb{R}^2$ 上使用Fueter映射——即四元数化柯西-黎曼方程的解——对超凯勒流形 $M$ 中复拉格朗日子流形的福克雅范畴进行 categorification。关键结果表明，当 $M = T^*X$ 时，Fueter映射与复梯度轨迹之间存在对应关系，将该构造与全纯函数 $F: X \to \mathbb{C}$ 的福克雅–塞伊德尔范畴联系起来，从而将弗洛尔定理由辛几何推广至全纯设置。

ABSTRACT

We outline a proposal for a $2$-category $\mathrm{Fuet}_M$ associated to a hyperkähler manifold $M$, which categorifies the subcategory of the Fukaya category of $M$ generated by complex Lagrangians. Morphisms in this $2$-category are formally the Fukaya--Seidel categories of holomorphic symplectic action functionals. As such, $\mathrm{Fuet}_M$ is based on counting maps to $M$ satisfying the Fueter equation with boundary values on holomorphic Lagrangians. We make the first step towards constructing this category by establishing some basic analytic results about Fueter maps, such as the energy bound and maximum principle. When $M=T^*X$ is the cotangent bundle of a Kähler manifold $X$ and $(L_0, L_1)$ are the zero section and the graph of the differential of a holomorphic function $F: X o \mathbb{C}$, we prove that all Fueter maps correspond to the complex gradient trajectories of $F$ in $X$, which relates our proposal to the Fukaya--Seidel category of $F$. This is a complexification of Floer's theorem on pseudo-holomorphic strips in cotangent bundles. Throughout the paper, we suggest problems and research directions for analysts and geometers that may be interested in the subject.

研究动机与目标

• 通过在具有复拉格朗日子流形边界条件的3-流形上使用Fueter映射，发展拉格朗日弗洛尔同调的全纯 categorification。
• 建立Fueter映射的分析基础，包括能量估计与最大值原理，为未来构造所提出的2-category提供支持。
• 当 $M = T^*X$ 时，展示Fueter映射与复梯度轨迹之间的对应关系，将理论与辛拓扑中的已知结果联系起来。
• 提出与Fueter 2-category及其与3维镜像对称关系相关的分析、几何与数学物理领域的新研究方向。

提出的方法

• 形式化构造一个2-category $\mathrm{Fuet}_M$，其态射通过 $M$ 上全息辛作用泛函的福克雅–塞伊德尔范畴定义。
• 使用Fueter映射——即方程 $I(U)\partial_\tau U + J(U)\partial_s U + K(U)\partial_t U = 0$ 的解——在 $[0,1]\times\mathbb{R}^2$ 上，边界值取在复拉格朗日子流形上。
• 采用弗洛尔定理的复化版本，证明当 $M = T^*X$ 时，Fueter映射恰好对应于全纯函数 $F: X \to \mathbb{C}$ 的复梯度轨迹。
• 引入“驯化三元组”以控制无穷远处的行为，确保分析设定中的紧致性。
• 利用 $\mathbb{C}^*$-对称性，关联全纯函数 $F$ 的缩放下解的性质，保持梯度流方程的结构不变。
• 通过对全纯作用泛函 $\mathscr{A}$ 加上 $I$-全纯函数 $F$ 进行扰动，导出包含 $\nabla f$ 的扰动Fueter方程，其中 $f = \mathrm{Re}(F)$。

实验结果

研究问题

• RQ1 如何构造一个2-category，使其对超凯勒流形中复拉格朗日子流形生成的福克雅范畴子范畴实现 categorification？
• RQ2 在凯勒流形的余切丛上，Fueter映射与复梯度轨迹之间的精确对应关系是什么？
• RQ3 Fueter映射具有哪些分析性质——例如能量估计与最大值原理——它们如何支持紧致性与正则性？
• RQ4 Fueter 2-category 与3维镜像对称及广义赛伯格–威滕理论中的已知结构有何关联？
• RQ5 复梯度流方程的 $\mathbb{C}^*$-对称性对解的模空间有何影响？

主要发现

• 在边界值取在复拉格朗日子流形上的情况下，从 $[0,1]\times\mathbb{R}^2$ 到超凯勒流形 $M$ 的Fueter映射满足能量估计与最大值原理，建立了基础的分析控制。
• 当 $M = T^*X$ 且 $X$ 为凯勒流形时，Fueter映射恰好对应于全纯函数 $F: X \to \mathbb{C}$ 的复梯度轨迹，将弗洛尔定理由辛几何推广至全纯设置。
• 映射 $U: [0,1]\times\mathbb{R}^2 \to M$ 的Fueter方程等价于反复梯度流方程 $\partial_s U - I(U)(\partial_t U + \nabla \mathcal{A}_J(U)) = 0$，将其与全纯弗洛尔理论联系起来。
• 通过将全纯作用泛函扰动于 $\mathrm{Re}(F)$，得到扰动Fueter方程 $\partial_s U - I(U)(\partial_t U - J(U)\partial_\tau U + \nabla f(U)) = 0$，保持了理论结构的完整性。
• Fueter方程的 $\mathrm{SO}(3)$ 对称性——即旋转复结构——意味着在 $(s,t)$-平面上进行 $\mathrm{U}(1)$-旋转时方程保持不变，即在旋转坐标下仍成立。
• 复梯度流方程 $\partial_s u + I(u)\partial_t u + \nabla g(u) = 0$（其中 $g = \mathrm{Im}(F)$）被证明等价于在辛形式 $\omega_J$ 下 $g$ 的哈密顿流，将全纯弗洛尔理论与辛几何联系起来。