Year: 2026
Type: preprint
Abstract: Let \[κ_{A_4} = \frac{35 π}{1458 \sqrt{3}} \prod_{p \equiv 1 \pmod{3}} \left(1 - \frac{1}{p}\right)^3 \left(1 + \frac{3}{p} \right) \prod_{p \equiv 2 \pmod{3}} \left(1 - \frac{1}{p^2} \right)^2\] and $N_{A_4}(X)$ be the number of $A_4$-quartic fields of discriminant up to $X$. We establish the asymptotic formula \[N_{A_4}(X) = κ_{A_4} X^{\frac{1}{2}} \log X + O_{\varepsilon} \left(X^{\frac{1}{2}} (\log \log X)^{3+\varepsilon} \right).\] As part of our proof, we also establish that the average size of the $2$-torsion of the class group of cyclic cubic fields is bounded. As an application of our theorem, we obtain the consequence that the number of tetrahedral holomorphic cuspidal newforms of weight 1 of level $N$ is $O_{\varepsilon}(N^{\varepsilon})$ on average.
Source: arXiv (Cornell University)
Authors: Wang, Xiaoheng, Xiao, Stanley Yao
Language: English
Subfield: Algebra and Number Theory
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7223023979