[论文解读] The systolic constant of orientable Bieberbach 3-manifolds

Chady El Mir, Jacques Lafontaine|arXiv (Cornell University)|Dec 19, 2009

Geometric and Algebraic Topology参考文献 6被引用 5

一句话总结

该论文证明，对于除3维环面以外的3维可定向 Bieberbach流形，最优系统比——定义为系统长的立方除以体积——无法由任何平坦度量实现。相反，作者在 $C_2$ 流形上构造了一个奇异黎曼度量，该度量在其共形类中是极值的，并实现了比任何平坦度量都更高的系统比，且几乎所有点处都通过无限多条系统测地线。

ABSTRACT

A compact manifold is called Bieberbach if it carries a flat Riemannian metric. Bieberbach manifolds are aspherical, therefore the supremum of their systolic ratio, over the set of Riemannian metrics, is finite by a fundamental result of M. Gromov. We study the optimal systolic ratio of compact of $3$-dimensional orientable Bieberbach manifolds which are not tori, and prove that it cannot be realized by a flat metric. We also highlight a metric that we construct on one type of such manifolds ($C_2$) which has interesting geometric properties : it is extremal in its conformal class and the systole is realized by "very many" geodesics.

研究动机与目标

• 确定非环面3维可定向 Bieberbach 流形的最优系统比是否可由平坦度量实现。
• 研究在这些流形上是否存在黎曼度量，其系统比超过平坦度量的系统比。
• 在 $C_2$ Bieberbach 流形上构造一个奇异黎曼度量，使其在其共形类中为极值，并表现出高密度的系统测地线。
• 比较所构造的奇异度量与各种 Bieberbach 流形上平坦度量的系统性能。
• 探讨非环面、非可缩3流形中使系统比最大化的度量的几何与共形性质。

提出的方法

• 作者分析了3维可定向 Bieberbach 流形（排除环面）上平坦度量的系统比，并证明最优比值无法由任何平坦度量实现。
• 通过在平坦度量上施加一个共形因子以减少体积但不缩短系统长，作者在 $C_2$ 流形上构造了奇异黎曼度量 $g_{\text{hex}}$。
• 该构造利用了 Klein 瓶上 Bavard 度量的度量悬垂结构，通过对称性和几何分解适配到可定向情形。
• 通过验证相关1-形式 $\mu$ 满足 $^{*}\mu = dg_{\text{hex}}$，在系统测地线的管状邻域上，证明了度量 $g_{\text{hex}}$ 在其共形类中为极值。
• 作者求解涉及 $h(a,\theta)$ 的积分方程以定义共形因子，确保系统测地线保持长度最小化，并在流形上密集分布。
• 通过显式数值近似，比较了 $C_2$、$C_3$、$C_4$ 和 $C_6$ 流形上所构造奇异度量与平坦度量的系统比。

实验结果

研究问题

• RQ1 非环面3维可定向 Bieberbach 流形的最优系统比是否可由平坦黎曼度量实现？
• RQ2 在这些流形上是否存在一个奇异黎曼度量，其系统比超过任何平坦度量？
• RQ3 具有最大系统比的度量表现出何种几何特性，特别是关于系统测地线的分布？
• RQ4 所构造的 $C_2$ 上奇异度量的系统比与 $C_2$、$C_3$、$C_4$ 和 $C_6$ 上平坦度量的系统比在数量上如何比较？
• RQ5 所构造的 $C_2$ 上的度量是否在其共形类中为极值？其系统测地线是否在流形上稠密覆盖？

主要发现

• 非环面3维可定向 Bieberbach 流形的最优系统比无法由任何平坦度量实现。
• 在 $C_2$ 流形上，构造出一个奇异黎曼度量 $g_{\text{hex}}$，其系统比约为 1.38，显著高于平坦度量的 $2/\sqrt{3} \approx 1.154$。
• 度量 $g_{\text{hex}}$ 在其共形类中为极值，意味着它在所有与之共形的度量中最大化系统比。
• 在 $C_2$ 的奇点集之外的每一点处，均有无限多条系统测地线通过，表明其具有高度的几何对称性与密度。
• $g_{\text{hex}}$ 的系统测地线覆盖整个流形，满足极值度量的关键性质。
• 对于 $C_3$、$C_4$ 和 $C_6$，所构造的奇异度量同样实现了高于其平坦对应度量的系统比，近似值分别为 1.24、1.05 和 1.18。