[論文レビュー] A tale of two moduli spaces: logarithmic and multi-scale differentials

Dawei Chen, Samuel Grushevsky+3 more|arXiv (Cornell University)|Dec 9, 2022

Algebraic Geometry and Number Theory被引用数 4

ひとこと要約

本稿は、所定の零点・極の位数をもつ安定曲線に対する対数的ラバーマップの粗いモジュライスタックと一般化されたマルチスケール微分形式の間の同型を確立し、グローバルリザーブ条件の下でそれらの同値性を示している。さらに、両空間がインシデント多様体コンパクト化（高 genus ではデリーニ＝ムーディコンパクト化の正規化）のブローアップとして得られることを示し、それにより両空間のプロジェクトーリティを確立するとともに、ねじれホッジ bundle 内での精密化された二重リーマン・サイクルの公式を提示している。

ABSTRACT

Multi-scale differentials were constructed by M.~Bainbridge, D.~Chen, Q.~Gendron, S.~Grushevsky, and M.~Möller, from the viewpoint of flat and complex geometry, for the purpose of compactifying moduli spaces of curves together with a differential with prescribed orders of zeros and poles. Logarithmic differentials were constructed by S.~Marcus and J.~Wise, as a generalization of stable rubber maps from Gromov--Witten theory. Modulo the global residue condition that isolates the main components of the compactification, we show that these two kinds of differentials are equivalent, and establish an isomorphism of their (coarse) moduli stacks. Moreover, we describe the rubber and multi-scale spaces as an explicit blowup of the moduli space of stable pointed rational curves in the case of genus zero, and as a global blowup of the incidence variety compactification for arbitrary genera, which implies their projectivity. We also propose a refined double ramification cycle formula in the twisted Hodge bundle which interacts with the universal line bundle class.

研究の動機と目的

• Teイッヒミュラー表示に依存しない、一般化されたマルチスケール微分形式の滑らかなモジュライスタックを定義することで、[BCGGM19] における未解決問題を解決すること。
• グローバルリザーブ条件の下で、二つの異なるコンパクト化枠組み（対数的ラバーマップとマルチスケール微分形式）を統一することを目的とし、それらの同値性を証明すること。
• 両方のラバーマップおよびマルチスケール微分形式の粗いモジュライ空間を、既知のコンパクト化の明示的ブローアップとして記述することで、それらのプロジェクトーリティを証明すること。
• 二重リーマン・サイクルの公式をねじれホッジ bundle に拡張し、ユニバーサルラインバンドル類との相互作用を組み込むこと。

提案手法

• グローバルリザーブ条件を除いた一般化されたマルチスケール微分形式の粗いモジュライ空間として、モジュライスタック $ G\Xi\overline{\mathcal{M}}_{g,n}(\mu) $ を構成する。
• ラインバンドル $ \mathcal{L} $ に対して、対数的ラバーマップ空間 $ \mathbf{Rub}_{\mathcal{L}} $ を定義し、曲線 $ X $ 上のファイバーは区分的線形関数 $ \beta $ および同型 $ \mathcal{O}_X(\beta) \cong \mathcal{L} $ をパラメータ化する。
• グローバルリザーブ条件を課した後、対数的およびマルチスケールモジュライスタックの主要成分の間の同型を確立する。
• トロピカル幾何学およびグラフ論的データ（頂点関数、辺の傾き、局所的最大頂点）を用いて、双対グラフ上の局所イデアル層 $ J(\Gamma) $ を定義し、それらをインシデント多様体コンパクト化上にグローバルイデアル層 $ J $ に貼り合わせる。
• マルチスケール空間の主要成分が、インシデント多様体コンパクト化に沿ったイデアル層 $ J $ によるブローアップの正規化であることを示し、この構成を通じてプロジェクトーリティを証明する。
• ブローアップおよびホッジバンドルの普遍性を用いて、逆写像を構成し、グローバルにブローアップ記述を検証する。

実験結果

リサーチクエスチョン

• RQ1 グローバルリザーブ条件を課した場合、対数的ラバーマップと一般化されたマルチスケール微分形式はモジュライ空間として同値であるか？
• RQ2 ラバーマップおよびマルチスケール微分形式の粗いモジュライ空間は、$ \overline{\mathcal{M}}_{g,n} $ の既知のコンパクト化の明示的ブローアップとして記述可能か？
• RQ3 インシデント多様体コンパクト化とマルチスケール微分形式のモジュライ空間との正確な関係は何か？
• RQ4 ユニバーサルラインバンドル類と相互作用する際、ねじれホッジバンドル内での二重リーマン・サイクルはどのように精密化されるか？
• RQ5 デリーニ＝ムーディコンパクト化の正規化を用いて、ブローアップ記述を genus 0 から任意の genus に拡張可能か？

主な発見

• マルチスケール微分形式の主要成分の粗いモジュライ空間は、グローバルに定義されたイデアル層 $ J $ 沿いのインシデント多様体コンパクト化のブローアップの正規化と同型であり、これによりそのプロジェクトーリティが証明された。
• genus 0 の場合、ラバーマップおよびマルチスケール空間は、安定点付き有理曲線のモジュライ空間の明示的ブローアップとして記述可能である。
• 任意の genus において、ラバーマップおよびマルチスケール空間は、デリーニ＝ムーディコンパクト化におけるストラトの閉包の正規化のグローバルブローアップとして示された。
• マルチスケールモジュライ空間の主要成分は、双対グラフ上の局所データから構成されたイデアル層 $ J $ 沿いのインシデント多様体コンパクト化のブローアップの正規化である。
• 本稿は、グローバルリザーブ条件を課した後、対数的ラバーマップ空間と一般化されたマルチスケール微分形式空間が同型であることを証明し、重要な同値性の問題を解決した。
• ねじれホッジバンドル内に、ユニバーサルラインバンドル類とブローアップ構造を介して相互作用する、精密化された二重リーマン・サイクルの公式を提案した。