[論文レビュー] Convex RP^2 Structures and Cubic Differentials under Neck Separation

John Loftin|arXiv (Cornell University)|Jun 12, 2015

Geometric and Algebraic Topology参考文献 27被引用数 7

ひとこと要約

この論文は、 genus $g \geq 2$ の閉じた向き付け可能な曲面における正則な凸 $\mathbb{RP}^2$ 構造のモジュライ空間と、Deligne-Mumford のコンパクト化 $\overline{\mathcal{M}}_g$ 上の正則な3次微分形式のバンドルの全空間との間に同相写像を確立する。これは、単純閉曲線に沿ったネック分離を介して、退化を含むように正則座標を拡張するものである。この結果は、アフィン球面に関する一様推定と、退化に伴う射影構造の収束に依存している。

ABSTRACT

Let S be a closed oriented surface of genus at least two. Labourie and the author have independently used the theory of hyperbolic affine spheres to find a natural correspondence between convex RP^2 structures on S and pairs (Σ,U) consisting of a conformal structure Σon S and a holomorphic cubic differential U over Σ. The pairs (Σ,U$, for Σvarying in moduli space, allow us to define natural holomorphic coordinates on the moduli space of convex RP^2 structures. We consider geometric limits of convex RP^2 structures on S in which the RP^2 structure degenerates only along a set of simple, non-intersecting, non-homotopic loops c. We classify the resulting RP^2 structures on S-c and call them regular convex RP^2 structures. We put a natural topology on the moduli space of all regular convex RP^2 structures on S and show that this space is naturally homeomorphic to the total space of the vector bundle over the Deligne-Mumford compactification of the moduli space of curves each of whose fibers over a noded Riemann surface is the space of regular cubic differentials. In other words, we can extend our holomorphic coordinates to bordify the moduli space of convex RP^2 structures along all neck pinches. The proof relies on previous techniques of the author, Benoist-Hulin, and Dumas-Wolf, as well as some details due to Wolpert of the geometry of hyperbolic metrics on conformal surfaces in the Deligne-Mumford compactification.

研究の動機と目的

• genus $g \geq 2$ の曲面上における凸 $\mathbb{RP}^2$ 構造の正則座標系を、単一の非ホモトピックな単純閉曲線に沿った幾何的退化を含むように拡張すること。
• 互いにホモトピー的でない複数の単純閉曲線に沿って曲面が退化する際の極限における $\mathbb{RP}^2$ 構造を分類すること。
• ネックピンチに沿った連続的な延長を可能にする、正則凸 $\mathbb{RP}^2$ 構造のモジュライ空間に自然な位相を定義すること。
• このような構造のモジュライ空間が、Deligne-Mumford のコンパクト化 $\overline{\mathcal{M}}_g$ 上の正則3次微分形式のバンドルの全空間と自然に同相であることを証明すること。

提案手法

• アフィン球面の理論を用いて、凸 $\mathbb{RP}^2$ 構造と、$\Sigma$（計量的構造）と $U$（正則3次微分形式）の組 $(\Sigma, U)$ の間の対応を確立すること。
• C.P. Wang のアフィン球面における偏微分方程式に対して、一様な下界および上界の解の推定を適用し、リーマン面の退化に伴う収束を制御すること。
• Benoist-Hulin の凸領域における射影的不変量のハウスドルフ収束に関する収束理論を応用すること。
• Dumas-Wolf のアフィン球面方程式の解の一意性結果を用いて、極限構造を同定すること。
• 逆関数定理と横断性の議論を用いて、収束過程における点の配置および射影平面内の包囲楕円の均一な制御を保証すること。
• Harvey の Chabauty 位相に類似した位相を、正則凸 $\mathbb{RP}^2$ 構造のモジュライ空間に構成し、幾何的極限の連続性を保証すること。

実験結果

リサーチクエスチョン

• RQ1 単純で交わらない、非ホモトピックなループに沿ってネックピンチが生じる場合、凸 $\mathbb{RP}^2$ 構造はどのように退化するか？
• RQ2 このような極限において、退化する曲線の補集合上に現れる正確な幾何的構造は何か？
• RQ3 凸 $\mathbb{RP}^2$ 構造のモジュライ空間に定義された正則座標は、Deligne-Mumford のコンパクト化の境界に連続的に拡張可能か？
• RQ4 3次微分形式の留数がノード付近の単位円板のホロノミーと幾何に果たす役割は何か？
• RQ5 正則凸 $\mathbb{RP}^2$ 構造のモジュライ空間の位相は、$\overline{\mathcal{M}}_g$ 上の正則3次微分形式のバンドルとどのように関係するか？

主な発見

• genus $g \geq 2$ の閉じた向き付け可能な曲面上の正則凸 $\mathbb{RP}^2$ 構造のモジュライ空間は、自然に Deligne-Mumford のコンパクト化 $\overline{\mathcal{M}}_g$ 上の正則3次微分形式のベクトルバンドルの全空間と同相である。
• それぞれのノード付きリーマン面 $\Sigma$ と $\Sigma$ 上の正則3次微分形式 $U$ に対して、$\Sigma^{\rm reg}$（特異点のない部分）上に一意に定まる正則凸 $\mathbb{RP}^2$ 構造が存在し、その端の幾何は $U$ のノードにおける留数によって決定される。
• 3次微分形式の極の位数が3であるときの留数 $R$ に対して、${\rm Re}\,R \neq 0$ ならばホロノミーは双曲的である。$R \neq 0$ だが ${\rm Re}\,R = 0$ ならばホロノミーは準双曲的であり、$R = 0$ ならば端は放物的である。
• これらの端に付随する Blaschke 距離は、完全で、漸近的に平坦であり、有限な直径を持つ。
• ネック分離に沿った凸 $\mathbb{RP}^2$ 構造の列の収束は、定義された位相において連続的であり、$\mathbf{SL}(3,\mathbb{R})$-作用を除いて極限は一意に定まる。
• 正則凸 $\mathbb{RP}^2$ 構造のモジュライ空間からペア $(\Sigma, U)$ の空間への逆写像は連続的であり、同相写像を確立する。