[論文レビュー] Rational cohomology of the moduli spaces of pointed genus 1 curves

Gorinov Alexei|arXiv (Cornell University)|Mar 22, 2013

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

ひとこと要約

本稿は、$\mathcal{M}_{1,n}(N)$ から $\mathcal{M}_{1,1}(N)$ への忘却写像の Leray 譜系を分析することにより、$n$ 個のマークド点とレベル $N$ 構造をもつ genus 1 曲線のモジュライ空間の有理コホモロジーの組合せ論的記述を提供する。$E_2$ 項が $\mathfrak{S}_n$-作用を備えた混合 Hodge 構造としての $\mathcal{M}_{1,n}(N)$ の有理コホモロジーと同型であることが示され、古典的ケース $N=1$ を一般化する。

ABSTRACT

We give a combinatorial description of the rational cohomology of the moduli spaces of pointed genus 1 curves with $n$ marked points and level $N$ structures. More precisely, we explicitly describe the $E_2$ term of the Leray spectral sequence of the forgetful mapping $\EuScript{M}_{1,n}(N) o\EuScript{M}_{1,1}(N)$ and show that the result is isomorphic to the rational cohomology of $\EuScript{M}_{1,n}(N)$ as a rational mixed Hodge structure equipped with an action of the symmetric group $\mathfrak{S}_n$. The classical moduli space $\EuScript{M}_{1,n}$ is the particular case N=1.

研究の動機と目的

• レベル $N$ 構造をもつマークド genus 1 曲線のモジュライ空間の有理コホモロジーを理解すること。
• これらのモジュライ空間の有理コホモロジーの組合せ論的記述を提供すること。
• $\mathcal{M}_{1,n}(N) \to \mathcal{M}_{1,1}(N)$ の忘却写像の Leray 譜系を分析し、コホモロジー的情報を抽出すること。
• $E_2$ 項と $\mathcal{M}_{1,n}(N)$ の有理コホモロジーとの同型を、混合 Hodge 構造および $\mathfrak{S}_n$-作用に関して確立すること。
• $N=1$ の古典的ケースを任意のレベル $N$ 構造へ一般化すること。

提案手法

• $\mathcal{M}_{1,n}(N) \to \mathcal{M}_{1,1}(N)$ の忘却準同型に関連する Leray 譜系を用いて、$\mathcal{M}_{1,n}(N)$ のコホモロジーを分析する。
• 組合せ論的技法を用いて、譜系の $E_2$ 項を明示的に記述する。
• $\mathcal{M}_{1,n}(N)$ の有理コホモロジーは、対称群 $\mathfrak{S}_n$ の作用を備えた混合 Hodge 構造として特定される。
• $E_2$ 項の構造が、$\mathfrak{S}_n$-作用を保つ $\mathcal{M}_{1,n}(N)$ の有理コホモロジーと同型であることを示す。
• 代数幾何学および混合 Hodge 理論の技法を組み合わせ、譜系およびその退化性を分析する。
• $N=1$ のケースは、古典的モジュライ空間 $\mathcal{M}_{1,n}$ に対応し、特別な例として得られる。

実験結果

リサーチクエスチョン

• RQ1 レベル $N$ 構造と $n$ 個のマークド点をもつ genus 1 曲線のモジュライ空間 $\mathcal{M}_{1,n}(N)$ の有理コホモロジーは何か？
• RQ2 $\mathcal{M}_{1,n}(N) \to \mathcal{M}_{1,1}(N)$ の忘却写像の Leray 譜系は、$\mathcal{M}_{1,n}(N)$ のコホモロジーを理解するためにどのように寄与するか？
• RQ3 この譜系の $E_2$ 項は、$\mathfrak{S}_n$-作用を備えた混合 Hodge 構造としての $\mathcal{M}_{1,n}(N)$ の有理コホモロジーと同型か？
• RQ4 古典的ケース $N=1$ は、この枠組みの中で自然に特殊ケースとして含まれるか？
• RQ5 一般の $N$ に対して、$\mathcal{M}_{1,n}(N)$ の有理コホモロジーの背後にある組合せ論的構造は何か？

主な発見

• $\mathcal{M}_{1,n}(N) \to \mathcal{M}_{1,1}(N)$ の忘却写像の Leray 譜系の $E_2$ 項が、組合せ論的用語で明示的に記述される。
• $E_2$ 項は、$\mathfrak{S}_n$-作用を備えた混合 Hodge 構造としての $\mathcal{M}_{1,n}(N)$ の有理コホモロジーと同型である。
• 同型はホッジ理論的構造および対称群構造の両方を保ち、精細なコホモロジー的記述を提供する。
• 古典的モジュライ空間 $\mathcal{M}_{1,n}$ は $N=1$ のケースに対応し、一般枠組みに自然に含まれる。
• $\mathcal{M}_{1,n}(N)$ の有理コホモロジーは、譜系の $E_2$ 項によって完全に記述され、強い退化性を示唆する。
• 組合せ論的データが、すべての有理コホモロジーを符号化しており、明示的計算および構造的解析を可能にする。