[论文解读] Higher-rank instanton cohomology and the quilted Atiyah-Floer conjecture

David L. Duncan|arXiv (Cornell University)|Nov 21, 2013

Geometric and Algebraic Topology参考文献 29被引用 3

一句话总结

本文为第一贝蒂数为正的3-流形上的高阶瞬子弗洛尔同调建立了基础工具，聚焦于 r ≥ 2 时的 PU(r)-丛。它构建了瞬子弗洛尔理论的严格微分几何框架，并通过兼容的扰动与正则性技术，启动了一个程序以证明拼布版阿蒂yah-弗洛尔猜想，即在链复形层面构造瞬子弗洛尔上同调与拼布拉格朗日弗洛尔上同调之间的同构。

ABSTRACT

Given a closed, connected, oriented 3-manifold with positive first Betti number, one can define an instanton Floer group as well as a quilted Lagrangian Floer group. The quilted Atiyah-Floer conjecture states that these cohomology groups are isomorphic. We initiate a program for proving this conjecture.

研究动机与目标

• 为 r ≥ 2 的 PU(r)-丛发展瞬子弗洛尔上同调的完整理论，超越经典的 SU(2)/SO(3) 情形。
• 为第一贝蒂数非平凡的3-流形上的高阶规范理论提供微分几何基础。
• 启动一个程序以证明拼布版阿蒂yah-弗洛尔猜想，该猜想提出瞬子弗洛尔上同调与拼布拉格朗日弗洛尔上同调之间存在同构。
• 为全息映射及其导数建立统一的 L^p 和 W^{k,p} 估计，这对两种弗洛尔理论中的正则性至关重要。
• 构造兼容的扰动，使瞬子弗洛尔理论与拼布拉格朗日弗洛尔理论同时实现正则性，从而实现链复形层面的比较。

提出的方法

• 采用基于 PU(r)-丛的规范理论框架，研究第一贝蒂数为正的3-流形上的瞬子弗洛尔同调。
• 通过 PU(r)-丛上平坦联络的规范等价类生成的链复形定义瞬子弗洛尔上同调。
• 采用 2+1 维场论方案，将辛不变量（拉格朗日弗洛尔上同调）与规范理论不变量（瞬子弗洛尔上同调）联系起来。
• 从嵌入曲面上的全息映射构造哈密顿向量场，利用局部平凡化及到李代数的投影。
• 通过曲率与协变导数的有界性，推导出全息映射导数的统一 L^p 和 W^{k,p} 估计。
• 通过对接连接空间的受控扰动，建立保持两种瞬子与拼布拉格朗日弗洛尔理论中正则性的兼容扰动。

实验结果

研究问题

• RQ1 能否在 r ≥ 2 时严格定义 PU(r)-丛上的瞬子弗洛尔上同调，从而将经典 SU(2)/SO(3) 理论推广？
• RQ2 如何为 PU(r)-丛上全息映射及其导数建立统一的 L^p 与 W^{k,p} 估计？
• RQ3 何种条件可确保瞬子弗洛尔理论与拼布拉格朗日弗洛尔理论中同时实现正则性？
• RQ4 能否在瞬子弗洛尔上同调与拼布拉格朗日弗洛尔上同调之间构造链复形同构？
• RQ5 平坦联络空间的扰动如何与曲面上平坦联络模空间上的辛结构相互作用？

主要发现

• 本文为 PU(r)-丛上的全息映射及其导数建立了统一的 L^p 估计，常数仅依赖于丛与连接空间。
• 证明了与全息函数相关的哈密顿向量场的 W^{1,p} 估计，表明其范数受曲率的 L^p 范数控制。
• 全息映射的导数受曲率的 L^p 范数控制，且通过全息映射的线性化显式表达依赖关系。
• 在兼容扰动假设下，本文构造了瞬子弗洛尔上同调与拼布拉格朗日弗洛尔上同调之间的链复形同构。
• 通过精心设计的扰动方案，同时在两种弗洛尔理论中实现了正则性，且保持了几何与分析结构。
• 该框架为高阶瞬子弗洛尔理论提供了严格基础，将已知 r=2 的结果推广至任意 r ≥ 2。