[論文レビュー] Volumes de strates d’espaces de modules de différentielles quadratiques : obtention de valeurs explicites

Élise Goujard|arXiv (Cornell University)|Jan 7, 2015

Mathematical Dynamics and Fractals参考文献 15被引用数 26

ひとこと要約

本稿は、単純極を高々持つメロモーレィックな二次微分形式のモジュライ空間のストラタの体積を、Eskin-Okounkovの準モジュラー形式とAthreya-Eskin-Zorichの組合せ的手法を含む複数のアプローチを用いて明示的に計算する。次元11まですべてのストラタについて、$\pi^{2g_{\text{eff}}}$ の有理数倍として正確な体積値が得られ、二次の場合の体積の有理数性が確認され、 genus 0 を超える既存の結果が拡張される。

ABSTRACT

The volumes of strata of Abelian or quadratic differentials play an important role in the study of dynamics on flat surfaces, related to dynamics in polygonal billiards. This article reviews all known ways to compute volumes in the quadratic case and provides explicit values of volumes of the strata of meromorphic quadratic differentials with at most simple poles in all low dimensions.

研究の動機と目的

• 次元11までの、単純極を高々持つメロモーレィックな二次微分形式のモジュライ空間のストラタの体積を、明示的かつ正確に計算すること。
• 従来、アーベル微分形式および genus 0 の二次ストラタで示されていた体積の有理数性を、より高い genus の二次ストラタへ拡張すること。
• Eskin-Okounkovの準モジュラー形式とAthreya-Eskin-Zorichの組合せ的技法（シーゲル＝ヴェーチ定数および周期座標を含む）を統合的に適用し、それらを統合的に応用すること。
• genus 0 を超える $\mathcal{Q}_1(\alpha)$ の体積公式における有理数係数の明示的計算の長年の空白を解消すること。

提案手法

• ヒルベルト数の生成関数を用いた、Eskin-Okounkovの準モジュラー形式と表現論に基づく体積計算手法を用いる。
• コンツェビッチの公式とシーゲル＝ヴェーチ定数に基づく、二次の場合に適応されたAthreya-Eskin-Zorichの組合せ的アプローチを適用する。
• 周期座標とマスール＝ヴェーチ測度を用い、錐積分により体積を定義し、単位面積ストラタ $\mathcal{Q}_1(\alpha)$ に正規化する。
• 体積寄与の評価に不可欠な、整数分割の和の漸近展開をリーマンゼータ関数の恒等式と一般化されたゼータ和を用いて導出する。
• 二重被覆構成 $\hat{S} \to S$ を用いて、二次ストラタ $\mathcal{Q}(\alpha)$ をアーベルストラタ $\mathcal{H}(\beta)$ に関連づけ、既知の結果の移行を可能にする。
• 既知の値 [AEZ2] および [EKZ] を用いて結果を検証し、複数の手法間の整合性を確認する。

実験結果

リサーチクエスチョン

• RQ1 genus $g \leq 5$ において、単純極を高々持つ二次微分形式のストラタについて、すべてのストラタで $\operatorname{Vol}\mathcal{Q}_1(\alpha) = r \cdot \pi^{2g_{\text{eff}}}$ を満たす有理数係数 $r$ の明示的値は何か？
• RQ2 Eskin-OkounkovおよびAthreya-Eskin-Zorichの手法が、genus 0 を超える二次の場合に、明示的体積計算に成功裏に適応可能か？
• RQ3 例えば $\mathcal{Q}^{\text{reg}}(9,-1)$ および $\mathcal{Q}^{\text{irr}}(9,-1)$ のような、非連結成分の体積はどのように比較可能か？ また、それらは別々に計算可能か？
• RQ4 有効 genus $g_{\text{eff}}$ は体積の有理数性において果たす役割は何か？ また、曲面 $S$ の二重被覆 $\hat{S}$ とはどのように関係するか？
• RQ5 整数分割の和（例：線形制約下での $\sum W^m$）に対する漸近公式は導出可能か？ そして、体積寄与の正確な計算に使用可能か？

主な発見

• 本稿は、次元11までの、単純極を高々持つメロモーレィックな二次微分形式のストラタについて、$\operatorname{Vol}\mathcal{Q}_1(\alpha)$ の明示的値を計算した。
• すべての体積が $\pi^{2g_{\text{eff}}}$ の有理数倍であることが確認され、有理数性の結果がより高い genus へ拡張された。
• genus 0 では、二つの独立した手法（組合せ的和の公式とシーゲル＝ヴェーチ定数）により、Athreya–Eskin–Zorich の結果と一致した。
• 本手法は、従来は数値的に近似されていた非連結成分（例：$\mathcal{Q}^{\text{reg}}(9,-1)$ および $\mathcal{Q}^{\text{irr}}(9,-1)$）の体積を、明示的に計算可能となった。
• 体積計算に使用された、$\sum_{W(H_1+2H_2)\leq 2N} W^m \sim \frac{N^{m+1}}{2(m+1)}(2^{m+1}\zeta(m) - (2^{m+1}+1)\zeta(m+1))$ のような和の漸近公式が導出され、実際に使用された。
• 本稿は、genus 0 を超える二次ストラタの体積計算の、初めての完全なアルゴリズム的実装を提供し、分野における主要な空白を埋めた。