[論文レビュー] On Galois action on stack inertia of moduli spaces of curves

Benjamin Collas, Sylvain Maugeais|arXiv (Cornell University)|Dec 15, 2014

Algebraic Geometry and Number Theory参考文献 19被引用数 4

ひとこと要約

本稿では、絶対ガロア群 $\mathrm{Gal}(ar{\mathbb{Q}}/\mathbb{Q})$ が、エタール因子分解を含む一般の場合にまで拡張された、モジュライ空間のスタックのインナリア群への作用が、サイクロトミック共軛を介して与えられることを確立する。接点基点と $G$-曲線の変形理論を用いて、ガロア作用が $\rho_{\vec{s}}(\sigma)\cdot\gamma = \delta_\sigma \gamma^{\chi(\sigma)} \delta_\sigma^{-1}$ で与えられることを証明する。ここで $\chi$ はサイクロトミック指標である。

ABSTRACT

We establish that the geometric action of the absolute Galois group on the étale fundamental group of moduli spaces of curves induces a Galois action on its stack inertia subgroups, and that this action is given by cyclotomy conjugacy. This result extends the special case of inertia without étale factorisation previously established by the authors. It is here obtained in the general case by comparing deformations of Galois actions. Since the stack inertia corresponds to the first level of the stack stratification of the space, this results, by analogy with the arithmetic of the Deligne-Mumford stratification, opens the way to a systematic Galois study of the stack inertia through the corresponding stratification of the moduli stack

研究の動機と目的

• モジュライ空間のスタックインナリア群への、絶対ガロア群 $\mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})$ の幾何的ガロア作用を記述すること。
• エタール因子分解がない場合のサイクロトミック共軛に関する先行結果を、一般のエタール因子分解を含む場合にまで拡張すること。
• デリーニ＝ムーレとグローテンディーク＝タイヒミュラー理論にインspiredされた、分離によるスタックインナリアのガロア理論的体系的研究を展開すること。
• $\mathbb{Q}$-接点基点と変形技法を用いて、巡回スタックインナリア群へのグローバルなガロア作用を定義・分析すること。

提案手法

• $\mathrm{DM}$ コンパクト化 $\bar{\cal M}_{g,[m]}$ における $\mathbb{Q}$-点の形式的近傍から導かれる $\mathbb{Q}$-接点基点の使用。
• タームの基本群のためのグローテンディーク＝ムーレ形式主義のスタック版を適用し、ガロア表現 $\rho_{\vec{s}}$ を定義する。
• $G$-曲線の変形理論を用いて、異なる genus と標識点数の間でのガロア作用を関連付ける。
• クレッチング写像と $\beta$-整合性を用いて、異なる位相型のストラトゥムにおけるガロア作用を比較する。
• 特殊なloci $\mathcal{M}_{g,[m]}(G)$ の既約成分が $\mathbb{Q}$-有理的であることを利用して、ガロア不変性を保証する。
• スタックインナリアの特異化における単射性を活用し、問題を一般ファイバーに還元し、単純な場合からの結果を拡張する。

実験結果

リサーチクエスチョン

• RQ1 絶対ガロア群 $\mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})$ は、$\mathcal{M}_{g,[m]}$ のスタックインナリア群にどのように作用するか？
• RQ2 エタール因子分解がない場合に限られていた、巡回スタックインナリアにおけるサイクロトミック共軛作用が、一般の場合にまで拡張可能か？
• RQ3 接点基点は、スタックインナリアへの一貫したガロア作用を定義するために果たす役割は何か？
• RQ4 スタックインナリア分離の異なるストラトゥム間におけるガロア作用は、どのように関係するか？
• RQ5 ガロア作用における共軛因子 $\delta_\sigma$ は、幾何的データに基づいて組合せ論的に記述可能か？

主な発見

• 任意の巡回スタックインナリア群 $I = \langle \gamma \rangle$ におけるガロア作用は、$\chi$-共軛により与えられる：$\rho_{\vec{s}}(\sigma)\cdot\gamma = \delta_\sigma \gamma^{\chi(\sigma)} \delta_\sigma^{-1}$。ここで $\chi$ はサイクロトミック指標である。
• この結果は、エタール因子分解を含む一般の場合にまで、以前のサイクロトミック共軛作用を拡張したものである。
• $\mathbb{Q}$-接点基点 $\vec{s}$ は、$\pi_1^{\mathrm{et}}(\mathcal{M}_{g,[m]} \otimes \bar{\mathbb{Q}})$ 上のスタックインナリア作用と整合するガロア表現 $\rho_{\vec{s}}$ を誘導する。
• 特殊なloci $\mathcal{M}_{g,[m]}(G)$ の既約成分は $\mathbb{Q}$ 上に定義されており、分離のガロア不変性を保証する。
• スタックインナリアの特異化における単射性により、作用を一般ファイバーに還元でき、$\chi$-共軛構造が保存される。
• 本手法により、クレッチングと $\beta$-整合性を介して、異なるストラトゥム間における慣性極限ガロア作用を研究するフレームワークが確立される。