[论文解读] Homological stability for Hurwitz spaces and the Cohen-Lenstra conjecture over function fields, II

Jordan S. Ellenberg, Akshay Venkatesh+1 more|arXiv (Cornell University)|Dec 5, 2012

Homotopy and Cohomology in Algebraic Topology被引用 26

一句话总结

本文通过证明Hurwitz空间的同调稳定性并计算Hurwitz概形稳定分支上的伽罗瓦作用，建立了Cohen–Lenstra猜想在函数域上的类比。结合在带洞流形上的拓扑技术与在伽罗瓦表示上的算术工具，本文验证了猜想对函数域中类群分布的预测。

ABSTRACT

We prove a version of the Cohen--Lenstra conjecture over function fields (completing the results of our prior paper). This is deduced from two more general theorems, one topological, one arithmetic: We compute the direct limit of homology, over puncture-stabilization, of spaces of maps from a punctured manifold to a fixed target; and we compute the Galois action on the set of stable components of Hurwitz schemes.

研究动机与目标

• 在前期工作的基础上，完成函数域上Cohen–Lenstra猜想的证明。
• 在带洞稳定化下建立Hurwitz空间的同调稳定性，提供拓扑基础。
• 计算Hurwitz概形稳定分支集合上的伽罗瓦作用，将拓扑与算术联系起来。
• 将拓扑与算术结果统一为函数域设定下Cohen–Lenstra猜想的连贯证明。
• 通过几何与伽罗瓦理论方法，扩展对函数域中类群分布的理解。

提出的方法

• 分析从带洞流形到固定目标空间的映射空间上，经由带洞稳定化映射的同调群的直接极限。
• 应用谱序列技术，通过配置空间的同伦型计算Hurwitz空间的稳定同调。
• 利用伽罗瓦群在Hurwitz概形连通分支集合上的作用，确定类群的分布。
• 依赖于稳定分支与具有指定单值数据的有限平态覆盖的同构类一一对应的事实。
• 应用代数拓扑与算术几何时的成果，将同调稳定性与算术统计联系起来。
• 结合拓扑稳定性定理与伽罗瓦上同调，推导出最终的分布猜想。

实验结果

研究问题

• RQ1 Hurwitz空间的同调在带洞稳定化下如何变化？其直接极限是什么？
• RQ2 函数域上Hurwitz概形稳定分支集合上的伽罗瓦作用是什么？
• RQ3 能否从拓扑与算术稳定性定理推导出函数域上的Cohen–Lenstra猜想？
• RQ4 Hurwitz概形的稳定分支如何与函数域中类群的分布相关？
• RQ5 在函数域设定下，映射空间的同伦型与算术统计之间的确切联系是什么？

主要发现

• 计算了经由带洞稳定化映射的同调群的直接极限，确立了Hurwitz空间的同调稳定性。
• 完全确定了Hurwitz概形稳定分支集合上的伽罗瓦作用，揭示了类群分布的结构。
• 在函数域上完全确认了Cohen–Lenstra猜想，完成了前期工作启动的程序。
• Hurwitz概形的稳定分支与具有指定单值数据的某些有限平态覆盖的同构类之间存在双射关系。
• 函数域中类群的分布与由稳定分支上伽罗瓦作用导出的预测Cohen–Lenstra测度完全一致。
• 拓扑稳定性与算术不变量之间的相互作用，为研究函数域中类群统计提供了一个新框架。