[論文レビュー] A Comparison of Period Coordinates and Teichmüller Distance

Ian Frankel|arXiv (Cornell University)|Dec 1, 2017

Geometric Analysis and Curvature Flows参考文献 11被引用数 4

ひとこと要約

本稿は、リーマン面のモジュライ空間上における周期座標とテイヒミュラー距離の間の定量的関係を確立する。2つの単位面積の二次微分形式が、モジュライ空間のコンパactsな部分集合内で周期座標で近接しているならば、それらの対応するリーマン面は、$ C\epsilon^{\alpha} $-近接であることが示される。ここで $ \alpha $ は genus とマークド点の数にのみ依存し、$ C $ はコンパクト集合に依存する。

ABSTRACT

Let $QD^1(\mathcal{M}_{g,n})$ be the unit cotangent bundle of the moduli space of Riemann surfaces $\mathcal{M}_{g,n}$. There is a metric $d_E$ on $QD^1(\mathcal{M}_{g,n})$ that is locally bi-Lipschitz to the Euclidean metrics defined by systems of period coordinates coming from of short and moderate-length saddle connections. We show the following: if $\mathcal{M}_{g,n}$ is equipped with the Teichmüller metric $d_T$, then the projection $(QD^1(\mathcal{M}_{g,n}),d_E) o (\mathcal{M}_{g,n},d_T)$ is locally a Hölder map. We give a lower bound on the exponent in terms of $g$ and $n$.

研究の動機と目的

• モジュライ空間 $ \mathcal{M}_{g,n} $ における周期座標とテイヒミュラー距離の間の定量的リンクを確立すること。
• 周期座標における小さな摂動が、対応するリーマン面における制御された準等角変形をもたらすことを示すこと。
• 周期座標における $ \epsilon $-近接性とコンパクト部分集合上でのテイヒミュラー距離における $ C\epsilon^{\alpha} $-近接性を結ぶホルダー型推定式を証明すること。
• 二次微分形式の小さな変形に伴う接続点と特異点の挙動を分析すること。
• 平坦な幾何学と準等角写像の技法を用いて、テイヒミュラー空間における歪みを制御すること。

提案手法

• 接続点に沿って $ \sqrt{q} $ を積分することで定義される周期座標を用いて、二次微分形式の空間をチャート化する。
• 局所座標における二次微分形式間の距離を、$ QD(\mathcal{T}_{g,n}) $ 上のユークリッド距離を用いて測定する。
• 三角形分割とほぼ正則な直角多角形を用いて、曲面間の準等角写像を構成する。
• ベルリング＝アーフォ尔斯の拡張を用いて、周期座標の変化に関連するベルトラミー微分から準等角写像を構成する。
• 周期座標の微分とそのスケーリングを分析し、変形に伴う幾何的量のリプシッツ性を制御する。
• 球面上の二次微分形式に対する摂動論法を適用し、クラスタ微分を用いて特異点の衝突をモデル化する。

実験結果

リサーチクエスチョン

• RQ1 周期座標における小さな変化は、リーマン面間のテイヒミュラー距離の変化とどのように関係するか？
• RQ2 2つの曲面間のテイヒミュラー距離が、周期座標差の $ \ell^2 $-ノルムで上から抑えられるか？
• RQ3 周期座標における $ \epsilon $-近接性とテイヒミュラー距離における $ C\epsilon^{\alpha} $-近接性を結ぶ最適なホルダー指数 $ \alpha $ は何か？
• RQ4 二次微分形式の小さな変形に伴って、接続点と特異点はどのように振る舞うか？
• RQ5 周期座標の変化から、一様かつ制御可能な方法で準等角写像を構成できる範囲はどの程度か？

主な発見

• 2つの単位面積の二次微分形式が、コンパクト部分集合 $ K \subset \mathcal{M}_{g,n} $ 上で周期座標において $ \epsilon $-近接しているならば、それらの対応するリーマン面はテイヒミュラー距離で $ C\epsilon^{\alpha} $-近接である。
• 指数 $ \alpha $ は genus $ g $ とマークド点の数 $ n $ のみに依存し、特定の曲面や変形に依存しない。
• 定数 $ C $ はコンパクト部分集合 $ K $ に依存しており、考察対象の曲面族全体にわたる一様な制御を保証する。
• 証明は、接続点の長さ、角度、特異点からの距離といった幾何的量のリプシッツ性を、小さな変形に伴って制御することに依拠している。
• 周期座標が近接しているがテイヒミュラー距離が近くない場合には、正三角形と特異点からの距離を含む幾何的構成が一貫しないことが示され、矛盾が導かれる。
• 分岐被覆を用いることで特異点と接続点の連続的な選択が保証され、主要な幾何的不変量に対する一様なリプシッツ境界が得られる。