An approximate form of Artin's holomorphy conjecture and non-vanishing of Artin $L$-functions

Abstract

Let $k$ be a number field and $G$ be a finite group. Let ${\mathfrak{F}}_k^G(Q)$ be the family of number fields $K$ with absolute discriminant $D_K$ at most $Q$ such that $K/k$ is normal with Galois group isomorphic to $G$. If $G$ is the symmetric group $S_n$ or any transitive group of prime degree, then we unconditionally prove that for all $K\in {\mathfrak{F}}_k^G(Q)$ with at most $O_{\epsilon }(Q^{\epsilon })$ exceptions, the $L$-functions associated to the faithful Artin representations of $\mathrm{Gal}(K/k)$ have a region of holomorphy and non-vanishing commensurate with predictions by the Artin conjecture and the generalized Riemann hypothesis. This result is a special case of a more general theorem. As applications, we prove that: 1) there exist infinitely many degree $n$ $S_n$-fields over $\mathbb{Q}$ whose class group is as large as the Artin conjecture and GRH imply, settling a question of Duke; 2) for a prime $p$, the periodic torus orbits attached to the ideal classes of almost all totally real degree $p$ fields $F$ over $\mathbb{Q}$ equidistribute on ${\mathrm{PGL}}_p(\mathbb{Z})\backslash {\mathrm{PGL}}_p(\mathbb{R})$ with respect to Haar measure; 3) for each $\ell \ge 2$, the $\ell$-torsion subgroups of the ideal class groups of almost all degree $p$ fields over $k$ (resp. almost all degree $n$ $S_n$-fields over $k$) are as small as GRH implies; and 4) an effective variant of the Chebotarev density theorem holds for almost all fields in such families.

arXiv commentv3: Reworked the first three sections

References in corpus (13)

• The subconvexity problem for $\GL_{2}$
• Distribution of periodic torus orbits and Duke's theorem for cubic fields
• Weak subconvexity without a Ramanujan hypothesis
• On $\ell$-torsion in class groups of number fields
• A unified and improved Chebotarev density theorem
• A zero density estimate for Dedekind zeta functions
• Convexity bounds for L-functions
• An unconditional $\mathrm{GL}(n)$ large sieve
• On an explicit zero-free region for the Dedekind zeta-function
• Improved lower bounds for the number of fields with alternating Galois group
• $\ell$-torsion bounds for the class group of number fields with an $\ell$-group as Galois group
• On the existence of large degree Galois representations for fields of small discriminant
• Pointwise Bound for $\ell$-torsion in Class Groups II: Nilpotent Extensions

Cited by in corpus (2)

• Bounds for moments of $\ell$-torsion in class groups
• On abelian cubic fields with large class number