[論文レビュー] 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

ひとこと要約

この論文は、Hurwitz空間のコホロジーと量子シャッフル代数の間の関係を確立することで、関数体 $\mathbb{F}_q(t)$ における弱Malle予想の上界を証明している。$q$ が $\#G$ と素で十分大きいとき、$\mathbb{F}_q(t)$ の $G$-拡大で判別式が $X$ 以下であるものの数は、$C(G)X^{a(G)}\log(X)^{e(G)}$ で有界であり、$e(G)$ は関連する次数付き環のゲルファンド＝キリロフ次元によって上から抑えられる。

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予想の上界を確立すること。
• 有限体上のHurwitz空間のコホロジーを、量子シャッフル代数およびニコルス代数に結びつけることで、位相的・代数的手段によるコホロジー計算を可能にすること。
• $q$ が十分大きく $\#G$ と素であるとき、そのような拡大の増加率が $X^{a(G)}\log(X)^{e(G)}$ で有界であることを示すこと。$e(G)$ は群論的データから計算可能である。
• これまでの事例を超えて、任意の推移的群 $G \leq S_m$ に適用可能な一般枠組みを提供すること、特に関数体に対して。

提案手法

• 関数体 $\mathbb{F}_q(t)$ 上のHurwitz被覆のモジュライ空間の算術的幾何を用い、$\ell$-進コホロジーと位相的特異コホロジーとの間の比較定理により関係を確立する。
• リーマン・ホッホのトレース公式を適用して、Hurwitz空間上の $\mathbb{F}_q$-有理点の数を数え、点数とコホロジー群上のフロベニウス作用素のトレースを結びつける。
• ガロア群 $G$ によって定まるブレード付きベクトル空間 $V$ に関連する量子シャッフル代数およびブレード付き可換代数の理論に依拠し、Hurwitz空間のコホロジーをモデル化する。
• 群 $G$ に関連する次数付き環 $R$ のゲルファンド＝キリロフ次元 $d$ を計算し、上界における指数 $e(G) = d - 1$ を決定する。
• フロベニウス作用素とモノドロミーのデータを用いて、コホロジーの寄与が $n^{d-1}$ のように増加することを保証し、点数の下界を得る。
• Woo21 の結果を応用し、縮小シュール被覆と $U'(G,c)$ の構造を用いて、$q-1$ が特定の条件（例：$A_4$ に対して $3 \mid q-1$）を満たすと、フロベニウスが自明に作用することを検証する。

実験結果

リサーチクエスチョン

• RQ1 判別式が $X$ 以下である $\mathbb{F}_q(t)$ の $G$-拡大の数の漸近的増加率は何か？
• RQ2 弱Malle予想の上界は、関数体上での任意の有限推移的群 $G \leq S_m$ に対して確立可能か？
• RQ3 算術統計の文脈において、Hurwitz空間のコホロジーは、量子シャッフル代数およびニコルス代数とどのように関係するか？
• 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$ で上から抑えられ、$G$ に関連する次数付き環 $R$ のゲルファンド＝キリロフ次元 $d$ を用いて $d - 1$ としてとれる。
• $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の予想と一致する。
• Hurwitz空間のコホロジーは量子シャッフル代数と関係づけられ、代数的構造を用いて位相的および算術的不変量を計算可能になる。
• $q-1$ が関連する共轭類の位数で割り切れるとき（例：$A_4$ に対して $3 \mid q-1$）、$U'(G,c)$ 上でのフロベニウス作用は自明であり、点数の数え上げ議論に不可欠である。
• 本手法により、$e(G)$ は有限で、組合せ的に計算可能な上限が得られ、任意の与えられた $G$ に対して上界が有効である。