[論文レビュー] Characterizations of lattice surfaces

John Smillie, Barak Weiss|ArXiv.org|Sep 22, 2008

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

ひとこと要約

この論文は、平坦な曲面がラティス曲面であるための必要十分条件として、『小さな三角形が存在しない』、すなわち三角形面積の下限が0から正の値で離れていることであることを確立する。著者らは、任意の正の下界 α に対して、そのような曲面のアフィン同値類は有限個に限られることを証明し、それらの数およびVeech群の共面積について明示的な上限を与える。さらに、三角形面積、ホロノミーベクトル、周期的方向、シリンダー分解といった複数の同値な特徴づけを提示する。

ABSTRACT

We answer a question of Vorobets by showing that the lattice property for flat surfaces is equivalent to the existence of a positive lower bound for the areas of affine triangles. We show that the set of affine equivalence classes of lattice surfaces with a fixed positive lower bound for the areas of triangles is finite and we obtain explicit bounds on its cardinality. We deduce several other characterizations of the lattice property.

研究の動機と目的

• バーローベーツが提起した『平坦曲面上で小さな三角形が存在しない（三角形面積に正の下界がある）ならば、ラティス性が成り立つか』という問いに答えること。
• ラティス性が、曲面上のすべてのアフィン三角形の面積に正の下界が存在することと同値であることを確立すること。
• 任意の下界 α に対して、ラティス曲面のアフィン同値類は有限個に限られることを証明し、それらの数およびVeech群の共面積について有効な上界を与えること。
• ホロノミーベクトル、周期的方向、シリンダー分解といった幾何的・力学的・代数的不変量を用いて、ラティス曲面の複数の同値な特徴づけを提供すること。

提案手法

• アフィン三角形を、平面の三角形から曲面へのアフィン写像の像として定義する。頂点は特異点集合 Σ に属し、内部は Σ を除いて単射に写される。
• 曲面 M 上のすべての三角形面積の集合 T(M) を導入し、その下限 α(M) = inf T(M) を定義する。α(M) > 0 を満たす曲面は『小さな三角形を含まない』と呼ばれる。
• Veech群 Γ_M 及びその平面への作用を用いて、鞍点接続やホロノミーベクトルの幾何的性質とラティス性を関連付ける。
• 翻訳曲面理論の結果（特にシリンダー分解の構造および周期的方向における共通部分群の役割）を応用し、算術的曲面およびラティス曲面を特徴付ける。
• 三角形の数と genus および特異点数の関係を表す式 γ = 2(2g - 2 + |Σ|) を用い、ホロノミー格子から α(M) の上限を導出する。
• γ が小さい（例：γ = 2, 4）曲面の分類結果を応用し、α が小さい場合（例：α = 1/4, α = 1/6）の NST(α) に属するすべてのアフィン同値類を列挙する。

実験結果

リサーチクエスチョン

• RQ1 三角形面積の下限 inf T(M) > 0 であることは、平坦曲面上でラティス性と同値か？
• RQ2 三角形面積に固定された正の下界 α が存在するとき、ラティス曲面のアフィン同値類はいくつ存在するか？
• RQ3 鞍点接続のホロノミーベクトルを用いて、その外積の絶対値に下界が存在するという条件によって、ラティス性を特徴づけられるか？
• RQ4 すべての非ゼロの鞍点接続方向が周期的で、長さ比が有界であるという『一様完全周期的』条件は、ラティス性と同値か？
• RQ5 α が小さい値のとき、集合 NST(α) の構造はどのようなものか。完全に分類可能か？

主な発見

• ラティス性が成り立つのは、曲面が小さな三角形を含まない、すなわち inf T(M) > 0 のときに限る。
• 任意の α > 0 に対して、inf T(M) ≥ α を満たす曲面の集合 NST(α) には、アフィン同値類が有限個しか含まれない。
• 命題 7.2 で、NST(α) に含まれるアフィン同値類の数に対する明示的な上界が与えられ、命題 7.3 で、それらすべての曲面におけるVeech群の共面積の和についての上限が与えられる。
• M₁（1つのマークド点を持つ標準トーラス）は α(M₁) = 1/2 を満たし、M₂（4つの特異点を持つピロウケース）は α(M₂) = 1/4 を満たし、M₃（2つのマークド点を持つトーラス）は α(M₃) = 1/4 を満たす。
• 命題 9.2 で、NST(1/4) はちょうど M₁, M₂, M₃ のアフィン同値類からなることが証明されている。
• α = 1/6 の場合、NST(α) には2つのマークド点を持つトーラス、3つのマークド点を持つトーラス、トーラスとピロウケースを貼り合わせて得られる genus 1 の半移行曲面、および genus 2 の曲面が含まれており、これらすべてが算術的である。