[论文解读] Contact geometry and isosystolic inequalities

Juan-Carlos Álvarez Paiva, Florent Balacheff|arXiv (Cornell University)|Sep 20, 2011

Geometric Analysis and Curvature Flows参考文献 24被引用 4

一句话总结

该论文证明，在非平凡（非同伦诱导）的光滑、保体积形变下，实、复和四元数射影空间以及凯利平面的典范度量在收缩体积上达到严格局部最大值。通过将收缩几何重新表述为接触几何语言并应用典范摄动理论，作者证明了最短闭测地线的长度在标准度量处达到严格局部最大值，且Zoll Finsler流形被识别为收缩体积泛函的唯一光滑临界点。

ABSTRACT

A long-standing open problem in systolic geometry asks whether a Riemannian metric on the real projective space whose volume equals that of the canonical metric, but is not isometric to it, must necessarily carry a periodic geodesic of length smaller than π. A contact-geometric reformulation of systolic geometry and the use of canonical perturbation theory allow us to solve a parametric version of this problem. Namely, we show that if g_s is a smooth volume-preserving deformation of the canonical metric and at s=0 the deformation is not tangent to all orders to trivial deformations (i.e., to deformations of the form ϕ_s^* g_0 for some isotopy ϕ_s), then the length of the shortest periodic geodesic of the metric g_s attains πas a strict local maximum at s=0. This result still holds for complex and quaternionic projective spaces as well as for the Cayley plane. Moreover, the same techniques can be applied to show that Zoll Finsler manifolds are the unique smooth critical points of the systolic volume.

研究动机与目标

• 解决长期悬而未决的问题：在实射影空间上，是否存在非等距的黎曼度量，其体积与典范度量相同，但最短闭测地线更短？
• 将收缩几何重新表述为接触几何语言，以利用Zoll流形的大对称群。
• 证明紧致秩一对称空间上的典范度量是在光滑、保体积形变下收缩体积泛函的严格局部极大值点。
• 将Zoll Finsler流形表征为收缩体积泛函的唯一光滑临界点。

提出的方法

• 在Zoll流形的单位余切丛上，利用接触结构重新表述收缩几何。
• 通过对偶度量张量，将黎曼度量的形变表示为接触形式的形变。
• 应用典范摄动理论中的平均法与标准型方法，分析形变下闭测地线的行为。
• 利用零能量条件（即形变率沿Reeb轨道的平均值为零）来表征平凡形变。
• 证明：若形变不与平凡形变相切（即不具有 φ*s g₀ 的形式），则收缩长度函数在 s=0 处达到严格局部最大值。
• 通过重参数化处理高阶形变，将其约化为非相切情形，同时保持严格最大值性质。

实验结果

研究问题

• RQ1 在非同伦诱导的光滑、保体积形变下，实射影空间上的典范度量是否仍为收缩体积的严格局部极大值点？
• RQ2 Zoll Finsler流形是否为收缩体积泛函的唯一光滑临界点？
• RQ3 典范摄动理论中的平均法是否可用于分析单位余切丛上接触形式形变下的收缩长度？
• RQ4 零能量条件在判断形变是否保持或缩短最短闭测地线长度方面起什么作用？
• RQ5 收缩几何的接触几何重表述是否可推广至复射影空间、四元数射影空间及凯利平面？

主要发现

• 在实射影空间 RPⁿ、复射影空间 CPⁿ、四元数射影空间 HPⁿ 或凯利平面的光滑、保体积形变下，若形变不与任何同伦诱导形变相切，则最短闭测地线的长度在 s=0 处达到严格局部最大值。
• Zoll Finsler流形是收缩体积泛函的唯一光滑临界点，意味着它们是唯一在所有光滑等收缩形变下收缩体积保持不动的流形。
• 零能量条件（即形变率沿Reeb轨道的平均值为零）表征了平凡形变（即同伦下的拉回）。
• 若形变张量不满足零能量条件，则收缩长度函数在 s=0 附近严格递减，从而确认存在严格局部最大值。
• 通过重参数化，该结果可推广至高阶形变：即使形变在前 k−1 阶与平凡形变一致，只要第 k 阶项不满足零能量条件，s=0 处仍保持严格局部最大值。
• 证明依赖于将度量形变重表述为接触形式 ρsα₀ 的变化，并应用平均值理论分析相应的Reeb流。