Non-abelian Cohen--Lenstra Heuristics in the presence of roots of unity

TL;DR

This paper introduces an invariant related to Galois extensions over function fields, linking it to Weil pairings and lifting invariants, and uses it to analyze non-abelian Cohen--Lenstra heuristics in the presence of roots of unity.

Contribution

It defines a new invariant $_K$ that connects Weil pairings with lifting invariants and modifies existing Cohen--Lenstra heuristics to account for roots of unity in the base field.

Findings

Computed average number of surjections from Galois groups as $K$ varies and $q o $.

Modified Cohen--Lenstra conjecture to include cases with roots of unity.

Proposed a random group model matching the moments from the function field analysis.

Abstract

For a Galois extension $K/\mathbb{F}_q(t)$ of Galois group $\Gamma$ with $\gcd(q,|\Gamma|)=1$, we define an invariant $\omega_K$, and show that it determines the Weil pairing of the curve corresponding to $K$ and it descends to the prime-to-$|\Gamma|$-torsion part of the lifting invariants of Hurwitz schemes introduced by Ellenberg--Venkatesh--Westerland and Wood. By keeping track of the image of $\omega_K$, we compute, as $K$ varies and $q\to \infty$, the average number of surjections from the Galois group of maximal unramified extension of $K$ to $H$, for any $\Gamma$-group $H$ whose order is prime to $q|\Gamma|$. Motivated by this result, we modify the conjecture of Wood, Zureick-Brown and the author about non-abelian Cohen--Lenstra, for both function fields and number fields, to cover the cases when the base field contains extra roots of unity. We also discuss how to use the invariant $\omega_K$ to construct a random group model, and prove in a special case that the model produces the same moments as our function field result.