[論文レビュー] HOMOLOGY OF HURWITZ SPACES AND THE COHEN-LENSTRA HEURISTIC FOR FUNCTION FIELDS [after Ellenberg, Venkatesh, and Westerland]

Oscar Randal‐Williams|arXiv (Cornell University)|Jun 18, 2019

Homotopy and Cohomology in Algebraic Topology参考文献 18被引用数 3

ひとこと要約

本稿は、一般化ダイヘドラ群に関連するHurwitz空間のホモロジー安定性を証明することにより、関数体におけるCohen–Lenstra予想の位相的基礎を確立する。Grothendieck–Lefschetzのトレース公式と、非自明なホモロジー代数的手法を用いて、これらの空間の有理成分が正確に $ q^n $ 個の点を寄与することを示し、予想が正当化され、類群分布が $ q \to \infty $ のときCohen–Lenstra測度に収束することを証明する。主な結果は、十分大きな $ q $ に対して上側密度と下側密度が $ \mu(A) $ に収束することであり、$ q \to \infty $ を超える極限を必要としない。

ABSTRACT

Ellenberg, Venkatesh, and Westerland have established a weak form of the function field analogue of the Cohen--Lenstra heuristic, on the distribution of imaginary number fields with $\ell$-parts of their class groups isomorphic to a fixed group. They first explain how this follows from an asymptotic point count for certain Hurwitz schemes, and then establish this asymptotic by using the Grothendieck--Lefschetz trace formula to translate it into a difficult homological stability problem in algebraic topology, which they nonetheless solve. These are the notes accompanying my talk at the Séminaire Bourbaki, which focus on the remarkable homological stability theorem for Hurwitz spaces.

研究の動機と目的

• 関数体におけるCohen–Lenstra予想の位相的根拠を確立し、Hurwitzスキーム上の点数と類群分布を結びつける。
• 一般化ダイヘドラ群に関連する非連結Hurwitz空間におけるホモロジー安定性の証明において、新たなホモロジー代数的手法を導入して、その困難を克服する。
• Grothendieck–Lefschetzのトレース公式における主要項が $ n \to \infty $ のとき覆い隠されないことを証明し、予想の成立を保証する。
• $ H_{G,n}^{c,\text{nc}} $ 上の漸近的点数が $ q^n $ と一致することを示し、各有理成分が $ q^n $ 個の点を寄与するという予想を検証する。
• すべての十分大きな $ q $ に対して、予想が極限ではなく実際に収束することを保証する枠組みを提供する。

提案手法

• Hurwitzスキーム上の $ \mathbb{F}_q $-有理点数をエタールコホロロジーに結びつけるために、Grothendieck–Lefschetzのトレース公式を適用する。
• 点数の漸近的性質の問題を、$ n $ に対して低い次数におけるホモロジーの制御という位相的問題に還元する。
• 非連結空間に特化した新しいホモロジー代数的手法を用いて、$ \text{Hur}^{c,\text{nc}}_{G,n}(\mathbb{C})^{\text{an}} $ の空間におけるホモロジー安定性を証明する。
• 群 $ G $ の部分群に関連するチェイン複体にフィルトレーションを施し、$ U $ による乗算の下で5-lemmを帰納的に適用することで、同型を示す。
• $ U $ による乗算が、線形範囲の次数においてホモロジーに同型を誘導することを確立し、安定性を保証する。
• $ U $ が $ G $-不変であることを利用して、安定化写像の$ G $-不変性を保証し、連結成分への適用を可能にする。

実験結果

リサーチクエスチョン

• RQ1 Hurwitzスキーム $ H_{G,n}^{c,\text{nc}} $ 上の $ \mathbb{F}_q $-有理点数の漸近的挙動は何か？ そして、Cohen–Lenstra予想とどのように関係するか？
• RQ2 一般化ダイヘドラ群に関連する非連結Hurwitz空間におけるホモロジー安定性は、どのように確立できるか？
• RQ3 各有理成分が $ q^n $ 個の点を寄与するという予想を、位相的手法を用いて厳密に正当化できるか？
• RQ4 Grothendieck–Lefschetzのトレース公式における主要項が $ n \to \infty $ のとき支配的になるための位相的条件は何か？
• RQ5 すべての十分大きな $ q $ に対して、類群の $ \ell $-部が $ A $ に同型となる虚二次関数体の密度が $ \mu(A) $ に収束する条件は何か？

主な発見

• Hurwitz空間 $ \text{Hur}^{c,\text{nc}}_{G,n}(\mathbb{C})^{\text{an}} $ のホモロジーが、線形範囲の次数において安定することが示され、Grothendieck–Lefschetzのトレース公式における主要項が覆い隠されないことが保証される。
• $ U $ による乗算が、線形範囲の次数においてホモロジーに同型を誘導する。定数は群 $ G $ と共轭類 $ c $ のみに依存し、ホモロジー安定性が証明される。
• $ \text{CHur}^{c}_{G,n} $ の各パス成分の有理ホモロジーは、$ V $ による乗算の下での安定性が仮定される限り、$ d \leq \frac{n - E_0}{E_1} $ の次数で $ S^1 $ のホモロジーと同型であることが示される。
• 上側密度 $ \delta_+(q) $ と下側密度 $ \delta_-(q) $ は、すべての奇素数 $ \ell $ および $ \ell $ に対して良い $ q $ に対して $ q \to \infty $ のとき $ \mu(A) $ に収束し、関数体におけるCohen–Lenstra予想が確認される。
• 非連結および連結両方のHurwitz空間について、類似のホモロジー安定性定理を確立し、安定化写像が $ G $-不変であることを示す。これにより、群論的制御が点数に適用可能となる。