Let $k$ be a number field and $G$ be a finite group, and let $\mathfrak{F}_{k}^{G}$ be a family of number fields $K$ such that $K/k$ is normal with Galois group isomorphic to $G$. Together with Robert Lemke Oliver and Jesse Thorner, we prove for many families that for almost all $K \in \mathfrak{F}_k^G$, all of the $L$-functions associated to Artin representations whose kernel does not contain a fixed normal subgroup are holomorphic and non-vanishing in a wide region.

These results have several arithmetic applications. For example, we prove a strong effective prime ideal theorem that holds for almost all fields in several natural large degree families, including the family of degree $n$ $S_n$-extensions for any $n \geq 2$ and the family of prime degree $p$ extensions (with any Galois structure) for any prime $p \geq 2$. I will discuss this result, describe the main ideas of the proof, and share some applications to bounds on $\ell$-torsion subgroups of class groups, to the extremal order of class numbers, and to the subconvexity problem for Dedekind zeta functions.

Prep material:

1) If you are unfamiliar with the Chebotarev density theorem, watch Lillian’s Pierce 1 hour lecture on the motivating problem: https://www.youtube.com/watch?v=heK2pYlMi3U

2) If you are familiar with the Chebotarev density theorem, read Sections 1 and 2 of the paper. https://arxiv.org/pdf/2012.14422.pdf