[论文解读] Lagrangian boundary conditions for anti-self-dual instantons and the Atiyah-Floer conjecture

Katrin Wehrheim|ArXiv.org|Jul 13, 2006

Geometric and Algebraic Topology参考文献 14被引用 8

一句话总结

该论文提出了一种新的带边3-流形的瞬子弗洛尔同调，基于边界上SU(2)连接空间的拉格朗日子条件。通过研究在Heegaard曲面上的圆柱体上带有拉格朗日子条件的反自对偶瞬子，作者在瞬子弗洛尔同调与辛弗洛尔同调之间建立了桥梁，通过一种新颖的分析框架，利用Chern-Simons泛函控制能量衰减与边界行为，为证明Atiyah-Floer猜想提供了路径。

ABSTRACT

The purpose of this survey is to explain an approach to the Atiyah-Floer conjecture via a new instanton Floer homology with Lagrangian boundary conditions. This is a joint project with Dietmar Salamon. This paper also provides a rough guide to the analysis of anti-self-dual instantons with Lagrangian boundary conditions (in earlier papers), which is the crucial ingredient of our approach.

研究动机与目标

• 通过SU(2)连接空间中的拉格朗日子条件，为带边3-流形建立新的瞬子弗洛尔同调。
• 通过第三种中间弗洛尔同调，在瞬子弗洛尔同调与辛弗洛尔同调之间建立几何与分析上的桥梁。
• 通过引入具有边界条件的规范理论框架，解决Heegaard曲面上平坦SU(2)连接的辛模空间中的奇点问题。
• 证明反自对偶瞬子的能量在边界附近按幂律衰减，从而实现紧致性与收敛性结果。
• 通过比较规范理论中的轨迹与辛几何中的伪全纯曲线，为完整证明Atiyah-Floer猜想奠定基础。

提出的方法

• 为带边3-流形引入新的弗洛尔同调HF_inst([0,1]×Σ, L_H0 × L_H1)，其定义基于ℝ×[0,1]×Σ上带有拉格朗日子条件的反自对偶瞬子。
• 使用特殊规范（Ξ = A + R dr）解耦反自对偶方程，并控制边界附近连接的行为。
• 应用Stokes定理将能量积分重写为边界分量上Chern-Simons泛函的差值，将能量与holonomy及平坦连接的延拓联系起来。
• 利用Chern-Simons泛函建立一种类似等周不等式的不等式，通过连接导数在φ方向的L²-范数有界泛函的变分。
• 从能量与Chern-Simons估计推导出微分不等式 d/dr ln 𝔈(r) ≥ (πr)⁻¹，进而得到衰减估计 𝔈(r) ≤ r¹/π 𝔈(1)。
• 利用衰减估计证明带有拉格朗日子条件的有限能量瞬子模空间的紧致性。

实验结果

研究问题

• RQ1 是否可以构造一种带有拉格朗日子条件的新瞬子弗洛尔同调，以在瞬子同调与辛弗洛尔同调之间实现插值？
• RQ2 反自对偶瞬子在ℝ×[0,1]×Σ上的能量是否在边界附近按r¹/π衰减，从而保证紧致性？
• RQ3 在模空间存在奇点的情况下，Chern-Simons泛函是否可用于控制能量的边界贡献？
• RQ4 中间弗洛尔同调HF_inst([0,1]×Σ, L_H0 × L_H1)是否同构于闭3-流形的瞬子弗洛尔同调HF_inst(Y)与拉格朗日对的辛弗洛尔同调HF_syp(R_Σ, L_H0, L_H1)？
• RQ5 该分析框架是否能够处理Riemann曲面上平坦SU(2)连接的奇异辛商空间R_Σ？

主要发现

• 有限能量反自对偶瞬子的能量𝔈(r)满足衰减估计𝔈(r) ≤ r¹/π 𝔈(1)，对所有r ∈ (0,1]成立，该估计源自微分不等式d/dr ln 𝔈(r) ≥ (πr)⁻¹。
• Chern-Simons泛函控制了能量的边界贡献，|CS(A, A~)|由连接导数的L²-范数与holonomy差值的L³-范数有界。
• 边界上路径A_r(φ)的L²-短程性意味着当r → 0时，能量的边界贡献趋于零，从而保证了边界处的正则性。
• 能量衰减与边界控制使得带有拉格朗日子条件的有限能量瞬子模空间具有紧致性，这是定义新弗洛尔同调的关键步骤。
• 中间弗洛尔同调HF_inst([0,1]×Σ, L_H0 × L_H1)预计同构于HF_inst(Y)与HF_syp(R_Σ, L_H0, L_H1)，为证明Atiyah-Floer猜想提供了路径。
• 该方法通过带有边界条件的规范理论方法，将Dostoglou-Salamon的绝热极限推广至奇异辛商空间的情形。