[论文解读] Sur la géométrie systolique des variétés de Bieberbach

Chady El Mir, Jacques Lafontaine|ArXiv.org|Apr 9, 2008

Geometric Analysis and Curvature Flows参考文献 7被引用 5

一句话总结

本文研究了三维非可定向 Bieberbach流形的最优系统比，证明了系统比的上确界——定义为 (systole)^3 / 体积——无法由任何平坦度量实现。相反，作者通过悬链法构造了奇异黎曼度量，即从 Klein 瓶上的 Bavard 奇异度量出发，表明这些奇异度量在相同流形上产生的系统比严格高于任何平坦度量，并通过光滑逼近方法证明了存在光滑度量可超越所有平坦度量的系统比。

ABSTRACT

The systole of a compact non simply connected Riemannian manifold is the smallest length of a non-contractible closed curve ; the systolic ratio is the quotient $(\mathrm{systole})^n/\mathrm{volume}$. Its supremum on the set of all the riemannian metrics, is known to be finite for a large class of manifolds, including the $K(π,1)$. We study the optimal systolic ratio of compact, 3-dimensional non orientable Bieberbach manifolds, and prove that it cannot be realized by a flat metric.

研究动机与目标

• 确定三维非可定向 Bieberbach 流形上的最优系统比是否可由平坦度量实现。
• 研究在这些流形上是否存在黎曼度量，其系统比高于任何平坦度量。
• 通过几何悬链法将已知的 Klein 瓶结果——最优度量为奇异——推广至高维 Bieberbach 流形。
• 证明通过使用在奇异曲面上为 $C^1$ 光滑但非光滑的奇异度量，系统比可严格优于平坦度量，且这些度量在奇异曲面外为共形平坦。
• 建立最优度量虽不光滑，但可由光滑度量逼近，且系统比的严格不等式得以保持。

提出的方法

• 通过基空间等距变换将三维 Bieberbach 流形构造为 Klein 瓶上奇异度量的悬链。
• 利用 C. Bavard 在 Klein 瓶上的奇异度量，该度量为 $C^1$ 光滑但非光滑，且系统比严格高于任何平坦度量。
• 定义一类形式为 $d\theta^2 + f^2(\theta) d\theta^2 + dt^2$ 的奇异黎曼度量族，其中 $f$ 连续且分段光滑，以模拟悬链结构。
• 利用共形不变性与 Liouville 定理，证明此类度量在 $f$ 不可微的奇异曲面 $S$ 外为共形平坦。
• 建立系统比泛函在 $C^0$ 拓扑下的连续性，从而允许对奇异度量进行光滑逼近，且不降低系统比。
• 利用基空间等距变换（如反射与滑移对称）可延拓为悬链度量的等距变换，从而保持系统比结构。

实验结果

研究问题

• RQ1 三维非可定向 Bieberbach 流形上的最优系统比是否可由平坦度量实现？
• RQ2 Klein 瓶上奇异最优度量的存在性是否可通过几何悬链法推广至高维 Bieberbach 流形？
• RQ3 在相同三维流形上，某些奇异度量的系统比是否严格大于所有平坦度量？
• RQ4 能否对具有更高系统比的奇异度量进行光滑逼近，同时保持系统比的不等式？
• RQ5 在构造的奇异度量中，系统测地线是否仍覆盖整个流形，暗示其潜在最优性？

主要发现

• 任何三维非可定向 Bieberbach 流形上的最优系统比均无法由平坦度量实现。
• 对每个此类流形，均存在一个 $C^1$ 类奇异黎曼度量，其系统比高于该流形上任意平坦度量。
• 该奇异度量通过使用等距变换悬链 Bavard 在 Klein 瓶上的奇异度量构造而成，其在奇异曲面外为共形平坦。
• 系统比泛函在 $C^0$ 拓扑下连续，从而可构造出保持系统比严格不等式的奇异度量的光滑逼近。
• 所得光滑度量在相同流形上实现的系统比严格高于任意平坦度量。
• 在奇异度量下，流形仍被系统测地线完全覆盖，提示其与实射影平面及 Klein 瓶等已知最优情形具有结构相似性。