[论文解读] 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.

研究动机与目标

• 通过将Hurwitz概形上的点计数与类群分布联系起来，为函数域中的Cohen–Lenstra启发式建立拓扑依据。
• 通过引入一种新的同调代数技巧，克服同调稳定性证明中与广义二面体群相关的不连通Hurwitz空间的挑战。
• 证明Grothendieck–Lefschetz迹公式中的主项在 $ n \to \infty $ 时不会被压倒，从而确保启发式成立。
• 证明 $ H_{G,n}^{c,\text{nc}} $ 上的渐近点计数与 $ q^n $ 匹配，从而验证每个有理分支贡献 $ q^n $ 个点的启发式。
• 为将启发式加强为对所有足够大的 $ q $ 的实际收敛性提供一个框架，而不仅限于极限情形。

提出的方法

• 应用Grothendieck–Lefschetz迹公式，将Hurwitz概形上 $ \mathbb{F}_q $-有理点的计数与平展上同调联系起来。
• 将点计数渐近性问题简化为一个拓扑问题：控制相对于 $ n $ 的低度同调。
• 通过一种专为不连通空间设计的新颖同调代数方法，证明了空间 $ \text{Hur}^{c,\text{nc}}_{G,n}(\mathbb{C})^{\text{an}} $ 的同调稳定性。
• 对与 $ G $ 的子群相关的链复形使用滤子论证，并通过归纳应用5-引理，证明在乘以算子 $ U $ 下的同构性。
• 建立乘以 $ U $ 在线性范围的度数上诱导同调同构，从而确保稳定性。
• 利用 $ U $ 的 $ 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 在何种条件下，类群 $ \ell $-部分同构于 $ A $ 的虚二次函数域的密度对所有足够大的 $ q $ 收敛到 $ \mu(A) $ ？

主要发现

• 证明了Hurwitz空间 $ \text{Hur}^{c,\text{nc}}_{G,n}(\mathbb{C})^{\text{an}} $ 的同调在度数的线性范围内稳定，从而确保Grothendieck–Lefschetz迹公式中的主项不会被压倒。
• 乘以算子 $ U $ 在线性范围的度数上诱导同调同构，且常数仅依赖于群 $ G $ 和共轭类 $ c $，从而证明了同调稳定性。
• 在假设乘以 $ V $ 下稳定性的前提下，证明了 $ \text{CHur}^{c}_{G,n} $ 的每个路径分支的有理同调在度数 $ 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 $-等变性，从而实现了对点计数的群论控制。