[論文レビュー] The moduli space of multi-scale differentials

Matt Bainbridge, Dawei Chen+3 more|arXiv (Cornell University)|Oct 29, 2019

Algebraic Geometry and Number Theory参考文献 42被引用数 26

ひとこと要約

本稿は、指定された零点および極の型を持つアーベル微分のモジュライ空間のコンパクト化を、正規交叉境界を持つ複素軌道的多様体として構成する。このコンパクト化は、平坦な曲面の拡張されたティヒミュラー空間と、実向き付きの吹き上げを用いて、GL₂⁺(ℝ)-作用を境界に連続的に拡張することで得られる。これにより、明示的な局所座標と整合性のあるモジュライ関手を持つ自然なコンパクト化が得られる。

ABSTRACT

We construct a compactification of the moduli spaces of abelian differentials on Riemann surfaces with prescribed zeroes and poles. This compactification, called the moduli space of multi-scale differentials, is a complex orbifold with normal crossing boundary. Locally, our compactification can be described as the normalization of an explicit blowup of the incidence variety compactification, which was defined in [BCGGM18] as the closure of the stratum of abelian differentials in the closure of the Hodge bundle. We also define families of projectivized multi-scale differentials, which gives a proper Deligne-Mumford stack, and our compactification is the orbifold corresponding to it. Moreover, we perform a real oriented blowup of the unprojectivized moduli space of multi-scale differentials such that the $\mathrm{GL}_2(\mathbb R)$-action in the interior of the moduli space extends continuously to the boundary.

研究の動機と目的

• 指定された零点および極の位数を持つアーベル微分のモジュライ空間のコンパクト化を構成すること。
• 安定曲線上のマルチスケール微分に対して、強化されたレベル構造とプリオンマッチングを組み込んだ自然なモジュライ関手を定義すること。
• モジュライ空間の内部における GL₂⁺(ℝ)-作用を境界に連続的に拡張すること。
• アーベル微分のストラト内における交差理論およびオイラー特性の計算のための幾何学的・位相的枠組みを提供すること。
• 以前のコンパクト化（例：インシデント多様体コンパクト化）における位相的・幾何学的不整合を解消し、整合性のある軌道的構造を導入すること。

提案手法

• ノードにおけるレベル構造とプリオンマッチングを組み込んだ、マルチスケール微分を備えたマーク付き平坦曲面の拡張ティヒミュラー空間を構成する。
• GL₂⁺(ℝ)-作用の境界における連続性を保証するため、非射影化モジュライ空間 ΞM̄g,n(μ) の実向き付きの吹き上げを用いる。
• 成分におけるねじれた微分の崩壊をモデル化する関手的アプローチにより、マルチスケール微分の族を定義する。
• プラミング構成と周期座標を用いて境界付近の局所チャートを定義し、滑らかさパラメータとスケーリング集合を用いる。
• デーン空間とモデル領域を導入して、ねじれた微分およびその変形をパラメトライズし、複素解析的構造を保証する。
• スケーリングおよびねじれ群による同値類を定義し、整合性のある軌道的商を得る。

実験結果

リサーチクエスチョン

• RQ1 指定された零点および極の位数を持つアーベル微分のモジュライ空間を、境界で連続的な GL₂⁺(ℝ)-作用をもつコンパクト空間としてどのように構成できるか？
• RQ2 安定曲線上のマルチスケール微分の正しい定義とは、レベル構造、プリオンマッチング、およびねじれた微分を組み合わせたものか？
• RQ3 平坦曲面の拡張ティヒミュラー空間の位相は、共形的およびクライス・コンフォーマル位相とどのように関係し、それらは一致するか？
• RQ4 インシデント多様体コンパクト化を、実向き付きの吹き上げによって滑らかで正規交叉の軌道的コンパクト化に精緻化できるか？
• RQ5 マルチスケール微分族の文脈において、デーン空間の普遍的性質は何か？

主な発見

• マルチスケール微分のモジュアイズ空間 ℙΞM̄g,n(μ) は、インシデント多様体コンパクト化の吹き上げの正規化として得られる、正規交叉境界を持つ複素軌道的多様体である。
• ΞM̄g,n(μ) の実向き付きの吹き上げにより、モジュライ空間内部の GL₂⁺(ℝ)-作用が境界に連続的に拡張され、整合性のあるコンパクト化が得られる。
• マーク付きマルチスケール微分の拡張ティヒミュラー空間は、通常の拡張ティヒミュラー空間と位相的に同相であり、その上での共形的およびクライス・コンフォーマル位相が一致することが示された。
• マルチスケール微分の族は、固有で滑らかなデリーニ＝ムーディのスタックをなしており、ℙΞM̄g,n(μ) はこのスタックに対応する軌道的多様体である。
• 本構成により、ノードにおけるプリオンマッチングとレベル構造を符号化する自然なモジュライ関手が得られ、境界ストラトの完全な記述が可能になる。
• 境界付近の局所構造は、周期座標とプラミング構成により記述され、明示的な滑らかさパラメータとスケーリングパラメータを用いることで、整合性のあるコンパクト化が保証される。