Abstract:We compute the average number of surjections from class groups of quadratic function fields over $\mathbb F_q(t)$ onto finite odd order groups $H$, once $q$ is sufficiently large. These yield the first known moments of these class groups, as predicted by the Cohen--Lenstra heuristics, apart from the case $H = \mathbb Z/3\mathbb Z$. The key input to this result is a topological one, where we compute the stable rational homology groups of Hurwitz spaces associated to non-splitting conjugacy classes.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to calculate the average number of surjective maps from the class groups over the quadratic function field \(F_q(t)\) to the finite odd - order group \(H\), thereby verifying the moments of these class groups predicted by the Cohen - Lenstra conjecture. Specifically, the author aims to calculate the average number of surjective maps of these class groups when \(q\) is large enough and obtain the moments of these class groups for the first time, except in the case of \(H=\mathbb{Z}/3\mathbb{Z}\).
### Core problems of the paper
1. **Calculation of Cohen - Lenstra moments**:
- The author attempts to calculate the average number of surjective maps from the class groups over the quadratic function field \(F_q(t)\) to the finite odd - order group \(H\). This calculation is crucial for verifying the Cohen - Lenstra conjecture.
- Specifically, the author focuses on the average number of surjective maps of these class groups when \(q\) is large enough and obtains the moments of these class groups for the first time, except in the case of \(H = \mathbb{Z}/3\mathbb{Z}\).
2. **Calculation of stable homology**:
- To achieve the above goals, the author introduces the calculation of the stable rational homology groups of non - split Hurwitz spaces. This is achieved by studying the stable homology of Hurwitz spaces associated with non - split conjugacy classes.
- The author proves that in some cases, the stable homology groups of Hurwitz spaces are isomorphic to the homology groups of configuration spaces.
### Key results
- **Theorem 1.1.1**: Suppose \(H\) is a finite abelian group of odd order, \(q\) is an odd prime power and satisfies \(\gcd(|H|, q(q - 1))=1\). There exists an integer \(C\) depending only on \(H\) such that when \(q > C\), for \(i\in\{0,1\}\), we have
\[
\lim_{n\rightarrow\infty, n\equiv i\ (\text{mod}\ 2)}\frac{\sum_{K\in M_H^{n,q}}|\text{Surj}(Cl(O_K),H)|}{\sum_{K\in M_H^{n,q}}1}=
\begin{cases}
1 & \text{if}\ i = 1\\
\frac{1}{|H|}&\text{if}\ i = 0
\end{cases}
\]
- **Theorem 1.2.1**: Further consider the case with roots of unity. Suppose \(H\) is a finite abelian group of odd order, \(q\) is an odd prime power and satisfies \(\gcd(|H|, q)=1\), let \(h:=\gcd(|H|, q - 1)\). There exists an integer \(C\) depending only on \(H\) such that when \(q > C\), for \(i\in\{0,1\}\), we have
\[
\lim_{n\rightarrow\infty, n\equiv i\ (\text{mod}\ 2)}\frac{\sum_{K\in M_H^{n,q}}|\text{Surj}(Cl(O_K),H)|}{\sum_{K\in M_H^{n,q}}1}=
\begin{cases}
|\wedge^2H[h]|&\text{if}\ i = 1\\
\frac{|\wedge^2H[h]|}{|H|}&\text{if}\ i = 0
\end{cases}
\]
### Methodology
- **Stable homology of Hurwitz spaces**: The author solves the above problems by calculating the stable homology groups of non - split Hurwitz spaces. This calculation makes use of topological methods and