[论文解读] Floer cohomologies of non-torus fibers of the Gelfand-Cetlin system

Yuichi Nohara, Kazushi Ueda|arXiv (Cornell University)|Sep 14, 2014

Geometric and Algebraic Topology参考文献 7被引用 7

一句话总结

本文计算了三维全旗流形和四维空间中二维平面的格拉斯曼ian的Gelfand-Cetlin系统中非环状拉格朗日子纤维的弗洛尔上同调。通过使用形变的$A_\infty$-结构和势函数，证明了非环状纤维可以支持非平凡的弗洛尔上同调，显式计算揭示了其与诺维科夫环商的同构，表明尽管这些纤维不是环面，仍可携带非平凡的量子上同调数据。

ABSTRACT

The Gelfand-Cetlin system has non-torus Lagrangian fibers on some of the boundary strata of the moment polytope. We compute Floer cohomologies of such non-torus Lagrangian fibers in the cases of the 3-dimensional full flag manifold and the Grassmannian of 2-planes in a 4-space.

研究动机与目标

• 计算Gelfand-Cetlin系统中非环状拉格朗日子纤维的弗洛尔上同调，这些纤维虽为拉格朗日子流形但并非环面。
• 将弗洛尔上同调与弱边界上同调的框架从环状纤维扩展至可积系统中的非环状纤维。
• 研究非环状纤维是否可支持非平凡的形变弗洛尔上同调，类似于法诺环状流形中环状纤维的行为。
• 建立势函数临界点与非环状纤维上非平凡弗洛尔上同调之间的对应关系。

提出的方法

• 在诺维科夫环$\Lambda_0$上使用拉格朗日弗洛尔理论中的$A_\infty$-代数与弱边界上同调的形式化方法。
• 应用势函数$\mathfrak{PO}$，通过临界点检测非平凡的形变弗洛尔上同调。
• 对具有相等势值的弱边界上同调对使用形变弗洛尔微分$\delta_{b_0,b_1}$。
• 通过圆作用上的积分与单值性数据，显式计算$\mathfrak{m}_k$-运算。
• 利用$\operatorname{U}(n)$-作用与矩映射分析哈密顿流与非平凡交点的能量界限。
• 计算$\operatorname{Fl}(3)$与$\operatorname{Gr}(2,4)$中特定纤维的弗洛尔上同调，证明其同构于$(\Lambda_0 / T^\lambda \Lambda_0)^2$。

实验结果

研究问题

• RQ1 Gelfand-Cetlin系统中的非环状拉格朗日子纤维能否支持非平凡的弗洛尔上同调？
• RQ2 势函数$\mathfrak{PO}$在非环状纤维上如何表现？它能否检测到非平凡的量子结构？
• RQ3 非环状纤维上弱边界上同调对的形变弗洛尔上同调具有何种结构？
• RQ4 即使在$\Lambda_0$上非平凡，此类纤维的弗洛尔上同调在诺维科夫域$\Lambda$上是否为平凡的？
• RQ5 非环状纤维的位移能量如何与非平凡弗洛尔上同调的存在性相关？

主要发现

• 对于三维旗流形$\operatorname{Fl}(3)$，势函数有六个临界点，与$H^*(\operatorname{Fl}(3);\Lambda)$的秩一致。
• 对于格拉斯曼ian$\operatorname{Gr}(2,4)$，势函数有十个临界点，等于$H^*(\operatorname{Gr}(2,4);\Lambda)$的秩。
• 对$(L_0, \pm \pi\sqrt{-1}/2 \mathbf{e}_1)$与$(L_0, \mp \pi\sqrt{-1}/2 \mathbf{e}_1)$的弗洛尔上同调同构于$(\Lambda_0 / T^\lambda \Lambda_0)^2$。
• 该对在诺维科夫域$\Lambda$上的弗洛尔上同调为平凡的，尽管在$\Lambda_0$上非平凡。
• 纤维$L_t$的位移能量被上界$ h(t) = \frac{2\lambda}{\pi} \arctan\left(\sqrt{\frac{\lambda^2 - t^2}{t^2}}\right) $控制，该函数为凹函数，且在$t = \pm\lambda$处为零。
• 显式计算$\mathfrak{m}_{k+l+1,\beta_i}$-运算得到$ \delta_{b,-b}(\mathbf{e}_3) = \frac{16}{3\pi} T^\lambda $，在$\Lambda_0$-系数设定下确认了非平凡性。