[论文解读] Anti-Perfect Morse Stratification

Nan-Kuo Ho, Chiu-Chu Liu|arXiv (Cornell University)|Aug 28, 2008

Algebraic Geometry and Number Theory参考文献 12被引用 11

一句话总结

本文引入了在非可定向曲面上的杨-米尔斯泛函的等变反完美莫尔斯分层概念，表明当 G = U(2), SU(2), U(3), SU(3) 时，该分层是局部等变 ℚ-反完美的。作者推导出这些群到 π₁(Σ) 的表示簇的有理等变莫尔斯-庞加莱级数的显式公式，验证了与已知的 U(2)/SU(2) 结果一致，并为 U(3)/SU(3) 提出了新公式。

ABSTRACT

For an equivariant Morse stratification which contains a unique open stratum, we introduce the notion of equivariant antiperfection, which means the difference of the equivariant Morse series and the equivariant Poincare series achieves the maximal possible value (instead of the minimal possible value 0 in the equivariantly perfect case). We also introduce a weaker condition of local equivariant antiperfection. We prove that the Morse stratification of the Yang-Mills functional on the space of connections on a principal U(n)-bundle over a connected, closed, nonorientable surface is locally equivariantly Q-antiperfect when the rank n=2,3; we propose that it is actually equivariantly Q-antiperfect when n=2,3. Our proposal yields formulas of G-equivariant Poincare series of the representation variety of flat G-connections for the nonorientable surface where G=U(2), SU(2), U(3), SU(3). Our rank 2 formulas agree with formulas proved by T. Baird in arXiv:0806.1975. Baird verified our conjectural rank 3 formulas when the nonorientable surface is the real projective plane or the Klein bottle (arXiv:0901.1604); he proved our conjectural U(3) formula for any closed nonorientable surfaces by establishing equivariant Q-antiperfection in this case (arXiv:0902.4581).

研究动机与目标

• 定义并研究等变反完美莫尔斯分层，其中等变莫尔斯级数与庞加莱级数之间的差值达到最大可能值（而非完美情形下的零值）。
• 将阿蒂亚-博特的等变莫尔斯理论扩展至非可定向曲面，因为在拓扑障碍下标准完美性会失效。
• 计算非可定向曲面上主 G-丛上 Hom(π₁(Σ), G) 表示簇的有理等变庞加莱级数，其中 G = U(2), SU(2), U(3), SU(3)。
• 提出杨-米尔斯泛函在非可定向曲面上主 G-丛上的莫尔斯分层，对于 G = U(2), SU(2), U(3), SU(3)，是全局等变 ℚ-反完美的。

提出的方法

• 通过等变莫尔斯级数与等变庞加莱级数之差来引入局部等变反完美性的概念，该差值被最大化而非最小化。
• 采用阿蒂亚-博特的规范场理论框架，将杨-米尔斯泛函限制在非可定向曲面的可定向双重覆盖上的反全纯对合的固定点集上。
• 分析莫尔斯分层的法丛，并证明对于 G = U(n), SU(n) 其可定向性，从而可使用有理系数。
• 通过群作用与轨道分解，将分层的等变庞加莱级数计算约化为对称表示簇。
• 应用该约化方法，利用 U(1) × U(1) 和 U(1) 作用的已知公式，计算由阿蒂亚-博特类型 (r,0,-r) 索引的分层的庞加莱级数。
• 通过恒等式 Mₜᴳ(L;ℚ) − Pₜᴳ(𝒜;ℚ) = (1+t)Rₜᴳ(ℚ) 与 Rₜᴳ(ℚ) 最大化，推导出总庞加莱级数的递推公式。

实验结果

研究问题

• RQ1 能否将等变反完美性的概念定义并应用于非可定向曲面上杨-米尔斯泛函的莫尔斯分层？
• RQ2 为何在非可定向曲面上，对于 G = U(2), SU(2), U(3), SU(3)，莫尔斯分层不具有等变 ℚ-完美性？其替代完美性条件的结构是什么？
• RQ3 在非可定向曲面上，Hom(π₁(Σ), G) 表示簇的有理等变庞加莱级数对于 G = U(2), SU(2), U(3), SU(3) 是什么？
• RQ4 在非可定向曲面上，杨-米尔斯泛函的莫尔斯分层是否对 G = U(2), SU(2), U(3), SU(3) 具有全局等变 ℚ-反完美性？
• RQ5 能否利用反完美分层数据递归计算平坦联络空间的庞加莱级数？

主要发现

• 在非可定向曲面上主 G-丛上的杨-米尔斯泛函的莫尔斯分层，对于 G = U(2), SU(2), U(3), SU(3)，是局部等变 ℚ-反完美的。
• 对于 G = U(2) 和 SU(2)，推导出的 Hom(π₁(Σ), G) 的庞加莱级数与 T. Baird 的已知公式一致，验证了方法的有效性。
• 对于 G = U(3) 和 SU(3)，本文为 Hom(π₁(Σ), G) 的有理等变庞加莱级数提出了新公式，且与反完美框架一致。
• 对于由 (r,0,-r) 索引的分层，其庞加莱级数为 Pₜᴳ(𝒜ₜ;ℚ) = (1+t)²ᵍ / (1−t²)，其中 G = U(3), SU(3)，且 ḡ 为可定向双重覆盖的亏格。
• 对于 G = U(3), SU(3)，联络空间的总庞加莱级数满足 Pₜ(ℬ𝒢;ℚ) = (1+t³)ᵍ(1+t⁵)ᵍ / [(1−t⁴)(1−t⁶)]，且通过求和所有反完美分层重建完整级数。
• 恒等式 Pₜᴳ(X_flat;ℚ) = Pₜ(ℬ𝒢;ℚ) + ∑ᵣ>₀ t^{dᵣ−1} Pₜᴳ(𝒜ᵣ;ℚ) 成立，确认了具有最大 Rₜᴳ(ℚ) = ∑ᵣ>₀ t^{dᵣ−1} Pₜᴳ(𝒜ᵣ;ℚ) 的反完美结构。