[論文レビュー] Systoles in translation surfaces

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

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

ひとこと要約

この論文は、面積1の移動表面におけるサイクル関数の研究を行い、その定義は最短のサドル接続の長さとして与えられる。グローバル最大値は正三角形から構成される表面として特徴づけられ、g=2でマークされた点をもつ場合、あるいはg≥3の場合のすべてのストラトムに、局所的でグローバルでない最大値が存在することを証明する。主な貢献は、このような局所的最大値の明示的例の構成と、局所的サイクル最大値と表面の分解における剛性との間の関係の確立である。

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の移動表面におけるサイクル関数のグローバル最大値はどのように特徴づけられるか？
• RQ2 g=2でマークされた点をもつストラトム、あるいはg≥3のストラトムにおいて、グローバル最大値でないサイクル関数の局所的最大値が存在するか？
• RQ3 サイクル関数の局所的最大値と剛性（最短サドル接続の最大数）との間に、必然的な関係があるか？
• RQ4 剛性を示す表面が、サイクル関数の局所的最大値でないことはあり得るか？
• RQ5 正三角形と正六角形に分解された表面の変形において、サイクル長が保存されたり変化したりする条件は何か？

主な発見

• g≥1でr個の特異点またはマークされた点をもつ面積1の移動表面において、サイクル関数のグローバル最大値は、$\left(\frac{\sqrt{3}}{2}(2g-2+r)\right)^{-1/2}$ で上から抑えられ、等号が成り立つのは、サドル接続の長さがサイクルに等しく、正三角形から構成される表面である場合に限る。
• g=2でマークされた点をもつストラトム、あるいはg≥3のストラトムにおいて、正三角形と正六角形に分解された表面の明示的構成により、局所的でグローバルでない最大値がすべてのストラトムに存在することが示された。
• 正三角形と正六角形に分解される移動表面がサイクル関数の局所的最大値に達する場合、それは剛性を示さなければならない—すなわち、最短サドル接続の最大数を実現している。
• すべての剛性を示す表面が、サイクル関数の局所的最大値であるとは限らない。反例として、すべての最短サドル接続の長さを保存しながらサイクルを増加させることができる変形が可能な剛性表面が提示された。
• すべての最短サドル接続の長さを保存するが、表面の面積を減少させる変形により、サイクルが増加することが示された。これは、元の表面が局所的最大値でないことを示している。
• 六角形部の変形において、三角形の面積が変化しないままでも、表面の面積が減少することがあり、これはサイクルが増加することを確認しており、元の表面が局所的最大値でないことを裏付けている。