[论文解读] Systoles in translation surfaces

Corentin Boissy, Slavyana Geninska|arXiv (Cornell University)|Jul 17, 2017

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

一句话总结

本文研究了面积为1的平移曲面上的短程线函数（systole function），其定义为最短横穿路径（saddle connection）的长度。研究将全局最大值表征为由正三角形构成的曲面，并证明在亏格g=2带标记点或g≥3的所有族（strata）中均存在局部最大值（非全局最大值）。其主要贡献在于构造了此类局部最大值的显式例子，并建立了局部短程线最大值与曲面分解刚性之间的联系。

ABSTRACT

For a translation surface, we define the systole to be the length of the shortest saddle connection. We give a characterization of the maxima of the systole function on a stratum, and give a family of examples providing local but nonglobal maxima on each stratum of genus at least three. We further study the relation between (locally) maximal values of the systole function and the number of shortest saddle connections.

研究动机与目标

• 表征面积为1的平移曲面上短程线函数的全局最大值。
• 研究短程线函数的局部最大值（非全局最大值）是否存在。
• 探讨短程线函数的局部最大值与最短横穿路径数量之间的关系。
• 确定是否所有短程线函数的局部最大值曲面都必须是刚性的（即具有最多少个最短横穿路径）

提出的方法

• 将相对短程线定义为平移曲面上最短横穿路径的长度。
• 通过将曲面几何分解为正三角形和正六边形，构造局部最大值的显式例子。
• 应用形变技术，在保持最短横穿路径长度不变的前提下修改曲面度量。
• 分析形变下的面积变化，以判断短程线函数是否增加或减少，从而检验是否存在局部最大值。
• 使用刚性概念（通过最多少个最短横穿路径定义）与短程线函数的局部最大值进行比较。
• 证明：若一个曲面可分解为正三角形和正六边形，且在短程线函数上达到局部最大值，则其必为刚性曲面。

实验结果

研究问题

• RQ1 面积为1的亏格g≥1、具有r个奇点或标记点的平移曲面上，短程线函数的全局最大值由什么特征决定？
• RQ2 在亏格g=2带标记点或g≥3的族中，是否存在非全局最大值的短程线函数局部最大值？
• RQ3 短程线函数的局部最大值与刚性（即最多少个最短横穿路径）之间是否存在必要关系？
• RQ4 是否存在一个刚性曲面，其并非短程线函数的局部最大值？
• RQ5 在具有正三角形与正六边形分解的曲面中，何种条件下形变能保持或改变短程线长度？

主要发现

• 面积为1、亏格g≥1、具有r个奇点或标记点的平移曲面上，短程线函数的全局最大值上界为 $\left(\frac{\sqrt{3}}{2}(2g-2+r)\right)^{-1/2}$，且当且仅当曲面由正三角形构成且横穿路径长度等于短程线时取等。
• 在亏格g=2带标记点或g≥3的每个族中，均存在局部非全局最大值的短程线函数，其通过由正三角形和正六边形构成的显式曲面构造得以证明。
• 若一个平移曲面可分解为正三角形和正六边形，且在短程线函数上达到局部最大值，则其必为刚性曲面——即实现最多少个最短横穿路径。
• 并非所有刚性曲面都是短程线函数的局部最大值；文中提供反例表明，某些刚性曲面可通过形变使短程线增加，同时保持所有最短横穿路径长度不变。
• 若对曲面的形变保持所有最短横穿路径长度不变，但使曲面面积减小，则短程线函数将增加，表明原曲面并非局部最大值。
• 在某些六边形分量的形变下，即使三角形面积保持不变，曲面总面积仍会减小，这表明短程线可能增加，从而否定原曲面为局部最大值。