[論文レビュー] Polynomial cubic differentials and convex polygons in the projective plane

David Dumas, Michael Wolf|arXiv (Cornell University)|Jul 30, 2014

Advanced Differential Equations and Dynamical Systems参考文献 32被引用数 4

ひとこと要約

本稿は、$\mathbb{C}$ 上の多項式立方微分のモジュライ空間と、$\mathbb{RP}^2$ 内の向き付き凸 $(d+3)$-角形の射影同値類の空間との間に同相写像を確立する。チェン＝ヨウの定理とワンの手法を用いて、多項式立方微分から完全な双曲的アフィン球面を構成し、各々の立方微分が、凸多角形に漸近するアフィン球面のピック微分として現れることを示す。また、対応関係において幾何的・力学的対称性が保存されることを示す。

ABSTRACT

We construct and study a natural homeomorphism between the moduli space of polynomial cubic differentials of degree d on the complex plane and the space of projective equivalence classes of oriented convex polygons with d+3 vertices. This map arises from the construction of a complete hyperbolic affine sphere with prescribed Pick differential, and can be seen as an analogue of the Labourie-Loftin parameterization of convex RP^2 structures on a compact surface by the bundle of holomorphic cubic differentials over Teichmuller space.

研究の動機と目的

• 完全な双曲的アフィン球面として漸近する $\mathbb{RP}^2$ 内の凸多角形に漸近する $\mathbb{C}$ 上の多項式立方微分が、ピック微分として現れる条件を同定すること。
• コンパクトな曲面に対するローバーリエ＝ルーフチンパラメータ化を、$\mathbb{RP}^2$ 内の非コンパクトな凸領域と無限遠における多角形境界を持つ場合に拡張すること。
• 多項式立方微分のモジュライ空間と、凸 $(d+3)$-角形の射影同値類のモジュライ空間との間に自然な同相写像を構成すること。
• 準線形偏微分方程式の上解・下解法を用いて、所与の多項式ピック微分を持つ完全な双曲的アフィン球面の存在を証明すること。
• 幾何的・力学的対称性（例：五角形の場合の回転対称性が $z \mapsto e^{2\pi i/5}z$ の不変性に対応する）が保存される対応関係を確立すること。

提案手法

• アフィン球面のチェン＝ヨウの定理を用いて、$\mathbb{RP}^2$ 内の凸多角形の錐に漸近する $\mathbb{R}^3$ 上の完全な双曲的アフィン球面を構成する。
• ワンの手法を適用し、正則な立方微分が与えられたとき、ブラシュケ計量に関する準線形偏微分方程式の解法に帰着させる。
• 上解・下解法を用いて、多項式立方微分に対応するブラシュケ計量に関する準線形偏微分方程式の解の存在を証明する。
• 普遍被覆に持ち上げて、オビットフォールドモジュライ空間間の写像を定義し、その後 $\mathrm{Aut}(\mathbb{C})$ および $\mathrm{SL}_3\mathbb{R}$ の作用による商に下りる。
• 多項式立方微分のモジュライ空間と凸多角形のモジュライ空間との間の前向きおよび逆写像の連続性を確立し、同相写像を証明する。
• ODEの漸近挙動を制御するため、常微分方程式に関連する接続方程式の解の挙動を、行列指数関数の推定式とODEの漸近解析を用いて制御する。

実験結果

リサーチクエスチョン

• RQ1 $\mathbb{C}$ 上のどの多項式立方微分が、$\mathbb{RP}^2$ 内の凸多角形に漸近する完全な双曲的アフィン球面のピック微分として現れるか。
• RQ2 コンパクトな曲面上の $\mathbb{RP}^2$ 構造に対するローバーリエ＝ルーフチンパラメータ化を、無限遠で多角形境界を持つ非コンパクトな凸領域に一般化できるか。
• RQ3 $\mathbb{RP}^2$ 内の凸多角形の対称性が、その関連する多項式立方微分の自己同型群とどのように対応するか。
• RQ4 多項式立方微分の次数と、それに関連する凸多角形の頂点数との正確な関係は何か。
• RQ5 多項式立方微分から凸多角形への写像は滑らかか。また、オビットフォールドモジュライ空間上でその正則性はどの程度か。

主な発見

• アフィン球面の構成により、明確に定義された同相写像 $\alpha: \mathcal{MC}_d \to \mathcal{MP}_{d+3}$ が得られる。ここで $\mathcal{MC}_d$ は $\mathrm{Aut}(\mathbb{C})$-同値類の $d$ 次多項式立方微分のモジュライ空間であり、$\mathcal{MP}_{d+3}$ は $\mathrm{SL}_3\mathbb{R}$-同値類の凸 $(d+3)$-角形のモジュライ空間である。
• 正五角形の場合、関連する立方微分は $z^2 dz^3$ であり、$z \mapsto e^{2\pi i/5}z$ による不変性は多角形の 5 回回転対称性を反映している。
• 上解・下解法によるブラシュケ計量の構成により、任意の $\mathbb{C}$ 上の多項式立方微分に対して完全な双曲的アフィン球面の存在が保証される。
• 証明の手法は、計量の $|\phi|$-成長を共形座標系で制御することに依拠し、領域の境界付近で線形に成長する半径のゼロを含まないディスクの存在を保証する。
• 関連するODEの漸近挙動は、行列指数関数の推定式により制御され、係数の $L^1$-ノルムおよび小さな摂動に依存する有界性が得られる。
• $\alpha$ は両方向で連続であり、空間 $\mathcal{MC}_d$ および $\mathcal{MP}_n$ が滑らかなオビットフォールドであることが示された。これにより、$\alpha$ の滑らかさが連続性を超えて成り立つ可能性が示唆される。