[论文解读] Ricci Yang-Mills flow on surfaces

Jeffrey Streets|ArXiv.org|Oct 29, 2007

Geometry and complex manifolds参考文献 3被引用 4

一句话总结

该论文通过将正则性与Sobolev（因此也包括等周）常数的有界性联系起来，建立了紧致曲面上Ricci-Yang-Mills (RYM) 流的长时间存在性与收敛性结果。研究证明，在 $S^2$ 上若纤维丛曲率非平凡，则非归一化 RYM 流对所有时间存在，并收敛至具有平行曲率的圆球度量；在欧拉示性数非正的曲面上，归一化流始终收敛至具有平行 $F$ 的常曲率度量。梯度孤立子被完全分类为具有平行 $F$ 的常曲率度量。其主要进展在于将长时间存在性问题归约为通过Sobolev有界性实现的几何控制。

ABSTRACT

We study the behaviour of the Ricci Yang-Mills flow for U(1) bundles on surfaces. We show that existence for the flow reduces to a bound on the isoperimetric constant. In the presence of such a bound, we show that on $S^2$, if the bundle is nontrivial, the flow exists for all time. For higher genus surfaces the flow always exists for all time. The volume normalized flow always exists for all time and converges to a constant scalar curvature metric with the bundle curvature $F$ parallel. Finally, in an appendix we classify all gradient solitons of this flow on surfaces.

研究动机与目标

• 通过控制几何量来建立紧致曲面上Ricci-Yang-Mills流的长时间存在性。
• 在体积归一化与曲率约束下分析流的渐近行为。
• 对二维流形上的RMY流的所有梯度孤立子进行分类。
• 解决关于 $S^2$ 上平凡丛曲率时有限时间奇点与收敛速率的开放问题。
• 将Ricci流中的技术扩展至耦合的RYM系统，使用能量泛函与Sobolev不等式。

提出的方法

• 将长时间存在性问题归约为对Sobolev常数 $C_S(g(t))$ 的有界性控制，该常数控制等周比。
• 引入一种广义的Liouville型能量泛函，结合共形因子与Yang-Mills耦合项，证明其沿流单调。
• 利用Moser-Trudinger不等式与 $H^2$-范数估计来控制曲率与联络形式。
• 通过共形规范约化，将流表示为标量函数 $u$ 与联络 $A$ 的形式，从而简化分析。
• 应用适配于RYM孤立子的Kazdan-Warner型论证，利用Killing场带来的旋转对称性。
• 通过证明零Killing场的存在性蕴含旋转对称性，进而实现梯度孤立子的分类，得出其必为常曲率度量且 $F$ 平行。

实验结果

研究问题

• RQ1 在何种几何条件下，Ricci-Yang-Mills流在曲面上对所有时间存在？
• RQ2 在 $S^2$ 上若 $[F] \neq 0$，其非归一化RYM流是否保持体积有界并收敛至圆球度量？
• RQ3 在满足 $\chi(M) \leq 0$ 的曲面上，体积归一化RYM流的渐近行为如何？
• RQ4 能否在闭曲面上完全分类RMY流的梯度孤立子方程？
• RQ5 在 $S^2$ 上若 $[F] = 0$，流是否会发展出有限时间奇点，可能坍缩为曲率 $F \equiv 0$ 的圆点？

主要发现

• 在 $S^2$ 上若 $[F] \neq 0$，则非归一化RYM流对所有时间存在，并在体积有界条件下收敛至具有平行 $F$ 的圆球度量。
• 在 $S^2$ 上若 $[F] = 0$，则体积归一化流对所有时间存在，并收敛至具有 $F \equiv 0$ 的圆球度量。
• 在满足 $\chi(M) \leq 0$ 的曲面上，非归一化与归一化RYM流均对所有时间存在，并收敛至具有平行 $F$ 的常曲率度量。
• 所有闭曲面上的梯度孤立子均为具有平行 $F$ 的常曲率度量；不存在超出此类型的非平凡孤立子。
• 流的奇点由体积坍缩或Sobolev常数的爆破所表征，因此 $C_S$ 的有界性蕴含正则性。
• 推广Liouville能量的泛函沿流单调，从而可获得 $H^2$-估计并保证长时间存在性。