[論文レビュー] Algebraic intersection in regular polygons

Boulanger, Julien, Erwan Lanneau+1 more|arXiv (Cornell University)|Oct 27, 2021

Mathematical Dynamics and Fractals参考文献 8被引用数 1

ひとこと要約

本稿は、奇数 n ≥ 5 に対する二重正 n 角形から生成される非算術的テイヒミュラー曲線において、代数的交差関数 KVol の最初の明示的公式を確立する。双曲幾何と双曲平面における距離関数を用いて、正接関数と双曲余弦関数を含む閉形式の式を導出し、KVol が元のヴェーチ曲面で一意に最小値をとり、テイヒミュラー円板内のある特定の測地線に沿って最大値をとることを証明する。

ABSTRACT

We study the function $$\mbox{KVol} : (X,\omega)\mapsto \mbox{Vol} (X,\omega) \sup_{\alpha,\beta} \frac{\mbox{Int} (\alpha,\beta)}{l_g (\alpha) l_g (\beta)}$$ defined on the moduli spaces of translation surfaces. More precisely, let $\mathcal T_n$ be the Teichm\"uller discs of the original Veech surface $(X_n,\omega_n)$ arising from right-angled triangle with angles $(\pi/2,\pi/n,(n-2)\pi/2n)$ by the unfolding construction for $n\geq 5$. For $n \equiv 1 \mod 2$ and any $(X,\omega)\in \mathcal T_n$, we establish the (sharp) bounds $$ \frac{n}{2} \cot \frac{\pi}{n} \leq \mbox{KVol}(X,\omega) \leq \frac{n}{2} \cot \frac{\pi}{n} \cdot \frac1{\sin \frac{2\pi}{n}}.$$ The lower bound is uniquely realized at $(X_n,\omega_n)$.

研究の動機と目的

• 奇数 n ≥ 5 に対して二重正 n 角形から生成される非算術的テイヒミュラー曲線 Tn における代数的交差関数 KVol を計算すること。
• 従来、算術的曲面や平坦なトーラスでのみ知られていた KVol の結果を、非算術的設定へと拡張すること。
• テイヒミュラー円板 Tn 上で KVol の最小値および最大値が正確にどの位置に達するか、およびその値を特定すること。
• 非算術的テイヒミュラー円板上での KVol が有界であることを確立し、算術的ケースにおける無限大発散とは対照的にすること。
• KVol の上界が、二重 n 角形の辺に対応する曲線のペアによって達成されることを証明すること。

提案手法

• Γn を符号 (2,n,∞) のヘッケ三角形群とする。Teichmüller曲線 Tn を H²/Γn として表現し、双曲平面 H² 内で作業する。
• X から geodesic γd,d′ および γ₀,∞ への双曲距離を比較する関数 F(d,d′)(X) = cosh(dhyp(X, γd,d′)) / cosh(dhyp(X, γ₀,∞)) を定義する。
• 双曲幾何を用いて、Γn の基本領域 D+ 上での F(d,d′) の変動を分析する。
• log F(d,d′) の勾配が D+ 内で消失しないことと、F が境界に向かって増加することを示し、F(d,d′) が元のヴェーチ曲面 X₀ で最小値をとることを証明する。
• X₀ における F(d,d′) の最小性を応用し、K(d,d′) の境界を導出し、それらを全般的な KVol 関数に関連付ける。
• 恒等式 KVol(X,ω) = (n/2) cot(π/n) · 1/sin(π/n) · cosh(dhyp(X, γ₀,∞)) を用いて、明示的公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 二重正 n 角形から生成される非算術的テイヒミュラー曲線 Tn における KVol の明示的公式は何か？
• RQ2 KVol の最小値および最大値は Tn 上のどの位置に達し、その正確な値は何か？
• RQ3 非算術的テイヒミュラー円板上での KVol の振る舞いは、算術的ケースとどのように異なるか？
• RQ4 KVol の極値は、たとえば鞍点接続や多角形の辺に対応する特定の幾何的曲線によって達成されるか？
• RQ5 非算術的テイヒミュラー円板上での KVol は有界であるか。もしそうなら、どのような条件下でそうなるか？

主な発見

• 奇数 n ≥ 5 に対して、Tn 上の関数 KVol は明示的公式により与えられる：KVol(X,ω) = (n/2) cot(π/n) · 1/sin(π/n) · cosh(dhyp(X, γ₀,∞))。
• Tn 上での KVol の最小値は、元のヴェーチ曲面 X₀ で一意に達し、その値は KVol(X₀) = (n/2) cot(π/n) である。
• Tn 上での KVol の最大値は、正確に geodesic γ₀,∞（H² 内の 0 から ∞ への線分）に沿って達し、その値は KVol = (n/2) cot(π/n) · 1/sin(π/n) である。
• KVol は、geodesic γ₀,∞ を除き、Tn 上で実解析的であり、その上でのみ全般的な最大値を達成する。
• KVol の定義における上界は、二重正 n 角形の辺のペアの像に対応する曲線のペアによって達成される。
• 非算術的（特に原始的）ヴェーチ曲面のテイヒミュラー円板上では、KVol は有界である。算術的ヴェーチ曲面とは対照的に、無限大に発散しない。