[論文レビュー] The moduli space of curves and its invariants

Mehdi Tavakol|arXiv (Cornell University)|Oct 30, 2016

Algebraic Geometry and Number Theory参考文献 71被引用数 3

ひとこと要約

この論文は、曲線のモジュライ空間における同値不変量について包括的なレビューを提供し、交差理論とコホモロジーに焦点を当てる。等長的および操作的チャウ理論を用いて、曲線のモジュライスタックの整数チャウ環の基礎的結果を確立し、特に特徴量 ≠ 2,3 の下で $ A^*(\mathcal{M}_{1,1}) = \mathbb{Z}[t]/(12t) $ および $ A^*(\mathcal{M}_2) = \mathbb{Z}[\lambda_1,\lambda_2]/(10\lambda_1, 2\lambda_1^2 - 24\lambda_2) $ の計算を含む。

ABSTRACT

This note is about invariants of moduli spaces of curves. It includes their intersection theory and cohomology. Our main focus in on the distinguished piece containing the so called tautological classes. These are the most natural classes on the moduli space. We give a review of known results and discuss their conjectural descriptions.

研究の動機と目的

• モジュライ空間における同値クラスの既知の結果および予想的な記述のレビュー。
• $\overline{M}_{g,n}$ の交差理論およびコホモロジー、特に同値環に焦点を当てる。
• 等長的および操作的チャウ理論を用いた、モジュライスタックのチャウ環を計算するための基礎的ツールの確立。
• 商スタック構成を用いて、モジュライスタック $\mathcal{M}_{1,1}$ および $\mathcal{M}_2$ の整数チャウ環を計算する。
• 商スタックの等長的チャウ群、操作的チャウ環、スタック理論的チャウ群の間の関係を明確化する。

提案手法

• 特に商スタック $[X/G]$ を用いて、曲線のモジュライ空間をモデル化する代数的スタックの枠組みを用いる。
• 滑らかな多様体の等長的チャウ環への還元により、スタックのチャウ環を計算するため、等長的チャウ理論を適用する。
• 滑らかな商スタック $\mathcal{F} = [X/G]$ に対して $A^*(\mathcal{F}) = A^*_G(X)$ の同一視を用い、操作的チャウ環と等長的チャウ環を結びつける。
• $\mathcal{M}_2$ のチャウ環の生成子としてホッジバンドルのチャーン類 $\lambda_i$ を用い、幾何的制約から得られる関係を導出する。
• $Q$-多様体の理論を用いて $\overline{M}_g$ の特異点を扱い、エタール局所的商を介して交差理論を可能にする。
• チャウ環 $A^*_G(X)$ が提示 $X/G$ に依存しないことから、異なる群作用に対して不変であることを根拠とする。

実験結果

リサーチクエスチョン

• RQ1 楕円曲線のモジュライスタック $\mathcal{M}_{1,1}$ の整数チャウ環の構造は何か？
• RQ2 等長的メソッドを用いて、 genus 2 曲線のモジュライスタック $\mathcal{M}_2$ のチャウ環はどのように計算できるか？
• RQ3 商スタックの等長的チャウ群と操作的チャウ環の関係は何か？
• RQ4 同値クラスは $\overline{M}_{g,n}$ のコホモロジーやチャウ環をどのように生成し、それらの関係は何か？
• RQ5 商スタック $[X/G]$ のチャウ環がwell-definedであり、群作用の提示に依存しない条件は何か？

主な発見

• $\mathcal{M}_{1,1}$ の整数チャウ環は $\mathbb{Z}[t]/(12t)$ に等しく、ここで $t$ はホッジバンドルの1番目のチャーン類である。
• $\overline{\mathcal{M}}_{1,1}$ の整数チャウ環は $\mathbb{Z}[t]/(24t^2)$ に等しく、コンパクト化におけるノード付き曲線の存在を反映している。
• モジュライスタック $\mathcal{M}_2$ は、ホッジバンドルが自明化されたペア $(\pi, \alpha)$ をパラメータ化する $Y$ に対する商 $Y/\mathrm{GL}_2$ に同型である。
• チャウ環 $A^*(\mathcal{M}_2)$ は $\mathbb{Z}[\lambda_1, \lambda_2]/(10\lambda_1, 2\lambda_1^2 - 24\lambda_2)$ に同型であり、特徴量 ≠ 2,3 で有効である。
• 最初の等長的チャウ群 $A^1_G(X)$ は、モジュライ問題 $[X/G]$ のピカール群に一致し、幾何学と代数的 K-理論を結びつける。
• 滑らかな商スタック $\mathcal{F} = [X/G]$ の操作的チャウ環 $A^*(\mathcal{F})$ は、等長的チャウ環 $A^*_G(X)$ に等しく、理論間の一貫性を保証する。