[论文解读] Fox-Neuwirth-Fuks cells, quantum shuffle algebras, and Malle's conjecture for function fields

Jordan S. Ellenberg, TriThang Tran+1 more|arXiv (Cornell University)|Jan 17, 2017

Advanced Algebra and Geometry参考文献 2被引用 8

一句话总结

本文通过建立霍里茨空间上同调与量子杂交代数之间的联系，证明了函数域 $\mathbb{F}_q(t)$ 上弱 Malle 猜想的上界，表明当 $q$ 足够大且与 $\#G$ 互素时，$G$-扩张中判别式不超过 $X$ 的数量被限制为 $C(G)X^{a(G)}\log(X)^{e(G)}$，其中 $e(G)$ 由相关分次环的 Gelfand-Kirillov 维数有界。

ABSTRACT

The purpose of this paper is to prove the upper bound in Malle's conjecture on the distribution of finite extensions of $\mathbb{F}_q(t)$ with specified Galois group. As in previous work of Ellenberg-Venkatesh-Westerland, our result is based upon computations of the homology of braid groups with certain (exponential) coefficients. However, the approach in this paper is new, relying on a connection between the cohomology of Hurwitz spaces and the cohomology of quantum shuffle algebras.

研究动机与目标

• 建立 $\mathbb{F}_q(t)$ 的有限扩张中具有给定伽罗瓦群 $G$ 的数量在弱 Malle 猜想中的上界。
• 将有限域上霍里茨空间的上同调与量子杂交代数及尼尔斯科夫代数联系起来，从而通过拓扑与代数方法实现上同调计算。
• 证明此类扩张的增长率被限制为 $X^{a(G)}\log(X)^{e(G)}$，当 $q$ 足够大且与 $\#G$ 互素时成立，且 $e(G)$ 可由群论数据计算得出。
• 为任意传递群 $G \leq S_m$ 提供一个适用于此前已知情况之外的通用框架，尤其适用于函数域。

提出的方法

• 利用 $\mathbb{F}_q(t)$ 上霍里茨覆盖模空间的算术几何性质，通过比较定理将它们的 $\ell$-adic 上同调与拓扑奇异上同调联系起来。
• 应用 Lefschetz 跟踪公式来计算霍里茨空间上的 $\mathbb{F}_q$-有理点数，将点数与上同调群上弗罗贝尼乌斯算子的迹联系起来。
• 依赖于与由 $G$ 确定的辫子向量空间 $V$ 相关的量子杂交代数及辫子交换代数理论，这些代数模型化了霍里茨空间的上同调。
• 计算与 $G$ 相关的分次环 $R$ 的 Gelfand-Kirillov 维数 $d$，该维数决定了上界中指数 $e(G) = d - 1$。
• 利用弗罗贝尼乌斯作用于上同调及单值数据，确保上同调贡献以 $n^{d-1}$ 的方式增长，从而导出点数的下界。
• 应用 [Woo21] 中关于约化施尔覆盖及 $U'(G,c)$ 结构的结果，验证当 $q-1$ 满足可除性条件（如 $A_4$ 的 $3 \mid q-1$）时，弗罗贝尼乌斯作用在 $U'(G,c)$ 上是平凡的。

实验结果

研究问题

• RQ1 $\mathbb{F}_q(t)$ 上 $G$-扩张的判别式不超过 $X$ 的数量的渐近增长速率是什么？
• RQ2 弱 Malle 猜想的上界是否可对函数域上所有有限传递群 $G \leq S_m$ 成立？
• RQ3 在算术统计背景下，霍里茨空间的上同调如何与量子杂交代数及尼尔斯科夫代数相关联？
• RQ4 对 $q$ 的何种条件可确保弗罗贝尼乌斯在相关上同调群上作用平凡，从而支持点计数论证？
• RQ5 上界中对数因子的精确指数 $e(G)$ 是什么？它如何由群论数据确定？

主要发现

• 当 $q > Q(G)$ 且与 $\#G$ 互素时，$\mathbb{F}_q(t)$ 上 $G$-扩张中判别式不超过 $X$ 的数量被限制为 $C(G)X^{a(G)}\log(X)^{e(G)}$，从而证明了弱 Malle 猜想的上界。
• 对数因子中的指数 $e(G)$ 上界为 $|G| - 1$，且可取为 $d - 1$，其中 $d$ 是与 $G$ 相关的分次环 $R$ 的 Gelfand-Kirillov 维数。
• 当 $G = A_4$ 且 $q \equiv 1 \pmod{3}$ 时，具有包含于 $A_4$ 中伽罗瓦群的四次扩张中，判别式 $\leq X$ 的数量满足 $C_1 X^{1/2} (\log X)^2 \leq N_{A_4}(\mathbb{F}_q(t); X) \leq C_2 X^{1/2} (\log X)^2$，与 Malle 的预测一致（仅差常数因子）。
• 霍里茨空间的上同调与量子杂交代数相关联，使得可利用代数结构来计算拓扑与算术不变量。
• 当 $q-1$ 可被相关共轭类的阶整除时（如 $A_4$ 的 $3 \mid q-1$），弗罗贝尼乌斯作用在 $U'(G,c)$ 上是平凡的，这对点计数论证至关重要。
• 该方法对 $e(G)$ 产生了一个有限的、组合可计算的上界，使得对任意给定的 $G$，上界均为有效。