[論文レビュー] Classification of higher rank orbit closures in H^{odd}(4)

David Aulicino, Duc-Manh Nguyen+1 more|arXiv (Cornell University)|Aug 27, 2013

Algebraic Geometry and Number Theory参考文献 13被引用数 6

ひとこと要約

この論文は、4次元トランスレーション表面のストラトム $\mathcal{H}^{\text{odd}}(4)$ の奇数連結成分における、$GL^+(2,\mathbb{R})$-軌道閉包の高ランク分類を実施する。平坦幾何学におけるシリンダー変形技術と対称性解析を用いて、唯一の真の高ランクアフィン不変部分多様体はプリムlocus $\tilde{\mathcal{Q}}(3,-1^3)$ であることを証明し、このlocusの外では非算術的テイヒミュラー曲線が有限個であることを示す。

ABSTRACT

The moduli space of genus 3 translation surfaces with a single zero has two connected components. We show that in the odd connected component H^{odd}(4) the only GL^+(2,R) orbit closures are closed orbits, the Prym locus Q(3,-1^3), and H^{odd}(4). Together with work of Matheus-Wright, this implies that there are only finitely many non-arithmetic closed orbits (Teichmuller curves) in H^{odd}(4) outside of the Prym locus.

研究の動機と目的

• 3次元トランスレーション表面に単一の4次零点を持つストラトムの奇数連結成分 $\mathcal{H}^{\text{odd}}(4)$ における、すべての真の高ランクアフィン不変部分多様体を分類すること。
• 特に、ハイパーオービック成分に高ランク部分多様体が存在しない場合の、3次元トランスレーション表面における軌道閉包の分類を拡張すること。
• 任意の高ランクアフィン不変部分多様体が被覆構成から生じることを示すことにより、ミルザカニの予想（高ランクアフィン不変部分多様体の原始性）に対する証拠を提供すること。
• プリムlocusの外では、$\mathcal{H}^{\text{odd}}(4)$ に非算術的テイヒミュラー曲線が有限個しか存在しないことを確立すること。これはミルザカニの予想の特殊ケースを確認する。

提案手法

• $GL^+(2,\mathbb{R})$ 行動下でのシリンダー図とその変形を分析し、可能な軌道閉包を特定する。
• シリンダー変形定理を適用して、$\mathcal{N}$-平行なシリンダーと、シリンダー高さおよびサドル接続長の比例制約を導出する。
• スレーピング技術を用いて、表面の構成を同等のモデル（例：モデルIおよびモデルII）に変換し、幾何的対称性を露にする。
• 命題2.2からの比例関係を用いて、異なる成分間のシリンダー比を等しくし、高さおよび長さの等式を導出する。
• 垂直シリンダー分解からの対称的高さおよびシアー条件を用いて、シリンダー $A$ と $C$ の等長性を確立する。
• 対称性と変形を用いて、複雑なシリンダー構成を既知のケース（例：ケースO1B）に還元し、以前に証明済みの補題を適用可能にする。

実験結果

リサーチクエスチョン

• RQ1 どのような真の高ランクアフィン不変部分多様体が $\mathcal{H}^{\text{odd}}(4)$ に存在するか？
• RQ2 $\mathcal{H}^{\text{odd}}(4)$ における高ランク軌道閉包が非原始的であり、被覆構成から生じる可能性はあるか？
• RQ3 $\mathcal{H}^{\text{odd}}(4)$ に高ランク部分多様体が存在する場合、そのすべての表面が低 genus の二次微分形式を被覆するということが示唆されるか？
• RQ4 プリムlocusの外では、$\mathcal{H}^{\text{odd}}(4)$ に非算術的テイヒミュラー曲線が有限個しか存在しないか？
• RQ5 高ランク部分多様体におけるシリンダー分解の対称性が、特定のシリンダー成分間の等長性を強制するか？

主な発見

• 真の高ランクアフィン不変部分多様体として $\mathcal{H}^{\text{odd}}(4)$ に存在するのは、唯一、プリムlocus $\tilde{\mathcal{Q}}(3,-1^3)$ である。このlocusは、1次零点と3つの単純極をもつ1次元の二次微分形式のホロノミー二重被覆から成る。
• $\mathcal{N}$ に属するすべての表面は、1次元トランスレーション表面を被覆する必要がある。これは、このような部分多様体が非原始的であることを確認する。
• シリンダー分解の対称性が、ケースO3Bにおけるシリンダー $A$ と $C$ 間の等長性を強制し、既知のケースへの還元を可能にする。
• $\mathcal{N}$-平行性から導かれるシリンダー高さおよびサドル接続長の比例関係により、$h(C)/h(A) = (m-n)/m$ が得られ、$h(C) \leq h(A)$ となる。逆不等式との双対性により、$h(A) = h(C)$ が導かれる。
• ケースO2Bでは、$A$ および $C$ の閉包に含まれる垂直シリンダー $V_A$ および $V_C$ が $\mathcal{N}$-平行であると仮定すると、表面はタイプO1の垂直シリンダー分解をもつことになり、$\mathcal{N} = \tilde{\mathcal{Q}}(3,-1^3)$ が得られる。
• 解析により、$\mathcal{H}^{\text{odd}}(4)$ にプリムlocus以外の真の高ランク軌道閉包は存在しないことが確認され、マティウス＝ライトの結果と併せることで、このlocusの外では非算術的テイヒミュラー曲線が有限個であることが示される。