[論文レビュー] Polynomial point counts and odd cohomology vanishing on moduli spaces of stable curves

Jonas Bergström, Carel Faber+1 more|arXiv (Cornell University)|Jun 15, 2022

Advanced Algebra and Geometry被引用数 4

ひとこと要約

この論文は、長年にわたり研究されてきたラングランズ・プログラムに関連する予想を確認するものであり、安定曲線のモジュライ空間 $\overline{\mathcal{M}}_{g,n}$ の有理的特異コホモロジーが、9以下のすべての奇数次元で消えることを証明している。ハッセ＝ヴェイルゼータ関数と有限体上の点数の数え上げに基づくスieve法を用いて、$n \leq 3$ の $¯{\mathcal{M}}_{4,n}$ に対して多項式的な点数を確立し、ベイレ＝グロタンディーク＝リーマン・ホッジのトレース公式により、コホモロジーの消滅を示している。

ABSTRACT

We compute the number of F_q-points on M_{4,n}, for n less than or equal to 3, and show that it is a polynomial in q, using a sieve based on Hasse-Weil zeta functions. As an application, we prove that the rational singular cohomology groups of moduli spaces of stable curves of genus g with n marked points vanish in all odd degrees less than or equal to 9, for all g and n. Both results confirm predictions of the Langlands program, via the conjectural correspondence with polarized algebraic cuspidal automorphic representations of conductor 1, which are classified in low weight. Our vanishing result for odd cohomology resolves a problem posed by Arbarello and Cornalba in the 1990s.

研究の動機と目的

• 1990年代にアラバレロとコルナーラが提起した、安定曲線のモジュライ空間における奇数次元コホモロジーの消滅に関する未解決問題を解決すること。
• 導出されたラングランズプログラムの予測、特に導手1の奇数重みのカスプ形式が存在しないこと、それらが非消滅コホモロジーを意味する可能性があることの確認。
• $\overline{\mathcal{M}}_{4,n}$ に対して、$n \leq 3$ の場合に、ハッセ＝ヴェイルゼータ関数に基づくスieve法を用いて、有限体 $\mathbb{F}_q$ 上で多項式的な点数を確立すること。
• これらの点数を用いて、エタールコホモロジーと点数の対応関係、特に $H^9(\overline{\mathcal{M}}_{4,n})$ に対してコホモロジーの消滅を導出すること。
• アラバレロとコルナーラの帰納的枠組みを完成させるために、特に少ないマーク付き点をもつ genus 4 について、9次元までの新しい基本ケースを確認すること。

提案手法

• 代数的スタック上の $\mathbb{F}_q$-点の数を、$\ell$-adic コホモロジー上のフロベニウスの重み付きトレースに結びつけるベイレ＝グロタンディーク＝リーマン・ホッジのトレース公式を適用すること。
• 多項式的な点数と奇数次元 $\ell$-adic コホモロジーの消滅の間の同値性を用い、良好な幾何的性質を持つデリーニュ＝マウムフォードスタックに対して特に有効な応用を行うこと。
• ハッセ＝ヴェイルゼータ関数に基づくスieve法を実装し、$n \leq 3$ の場合に $\#\overline{\mathcal{M}}_{4,n}(\mathbb{F}_q)$ が $q$ に関する多項式として計算されることを示すこと。
• 境界のストラタにおける対称群作用とシュール関手を用いて、等化点数を計算し、曲線のモジュライに関するゲツラー＝カプラノフの公式を活用すること。
• ポincare双対性と $q=1$ での評価を用いて、点数多項式における未知係数を特定し、完全な多項式表現を決定すること。
• 局所系 $\mathbb{V}_\lambda$ 上でのフロベニウスのトレースデータを、$\mathcal{M}_4$ 上で、コホモロジー不変量に翻訳し、点数とコンパクト台付きオイラー標数を結びつけること。

実験結果

リサーチクエスチョン

• RQ1 有理的特異コホモロジー $H^k(\overline{\mathcal{M}}_{g,n})$ は、すべての奇数 $k \leq 9$ に対して消えるか？
• RQ2 $n \leq 3$ の場合に、$\overline{\mathcal{M}}_{4,n}$ の $\mathbb{F}_q$-点の数が $q$ に関する多項式として表されるか？
• RQ3 $\overline{\mathcal{M}}_{4,n}$ の多項式的点数は、奇数次元コホモロジーの消滅、特に $H^9(\overline{\mathcal{M}}_{4,n})$ の消滅を示唆するか？
• RQ4 ラングランズ予想、すなわち導手1のカスプ形式が奇数重み11未満に存在しないという予想と結果は整合的か？
• RQ5 アラバレロとコルナーラの帰納的手法を $k=9$ まで拡張できるか？特に genus 4 において、新しい基本ケースを確立することで。

主な発見

• 有理的特異コホモロジー $H^k(\overline{\mathcal{M}}_{g,n})$ は、すべての奇数 $k \leq 9$ に対して消える。これは1990年代にアラバレロとコルナーラが提起した問題を解決するものである。
• $n \leq 3$ の場合に、$\overline{\mathcal{M}}_{4,n}$ の $\mathbb{F}_q$-点の数は、ハッセ＝ヴェイルゼータ関数に基づくスieve法とストラタ上の点数の数え上げを用いて、$q$ に関する多項式として計算された。
• $H^9(\overline{\mathcal{M}}_{4,n})$ は $n \leq 3$ の場合に消えることが、多項式的点数とエタールコホモロジーと点数の対応関係により確認された。
• $\overline{\mathcal{M}}_{4,3}$ の $s_3$-成分について、次数6まで正確に点数多項式が得られ、$q^{12} + 2q^{11} + 3q^{10} - 2q^9 - 4q^8 + 2q^7 - q^6 - q^3 + 2q^2$ となる。$s_{2,1}$ および $s_{1^3}$ に対しても同様の表現が得られた。
• $\partial\mathcal{M}_{4,3}$ の等化点数が明示的に計算され、対称関数の係数を含んでおり、これにより $\overline{\mathcal{M}}_{4,3}$ の完全な点数多項式が再構成された。
• $H^\bullet_c(\mathcal{M}_4, \mathbb{V}_\lambda)$ 上でのフロベニウスのトレースが、いくつかの $\lambda$ について計算された。特に $\mathrm{Tr}(F_q, H^\bullet_c(\mathcal{M}_4, \mathbb{V}_1)) = q^7 + q^2$ および $\mathrm{Tr}(F_q, H^\bullet_c(\mathcal{M}_4, \mathbb{V}_{1,1})) = q^9 - q^8 - q^7 - q^2$ が得られ、コホモロジー構造が確認された。