Effective Brauer-Siegel theorems for Artin $L$-functions
Peter J. Cho, Robert J. Lemke Oliver, Asif Zaman
TL;DR
This work extends Stark’s effective Brauer–Siegel framework from Dedekind zeta functions to all Artin $L$-functions of a Galois extension $K/k$, proving unconditional upper and lower bounds for the leading coefficient $\kappa(\chi)$ in the Laurent expansion at $s=1$ in terms of invariants like $\chi(1)$, the analytic conductor $q(\chi)$, and the discriminant $D_K$, while accounting for exceptional zeros via the set $\Psi_{K/k}(G)$. The authors implement a short Euler-product approach, combined with a uniform Chebotarev density theorem of Thorner–Zaman, to approximate $\kappa(\chi)$ by truncated Euler products and a correction factor $\widetilde{\eta}(\chi,T)$, handling non-holomorphicity and the exceptional-zero phenomena unconditionally. They derive two main results: bounds in terms of $D_K$ that depend on possible exceptional characters, and bounds in terms of the conductor $q(\chi)$ with respect to potentially exceptional quadratic characters; together with corollaries for nonexceptional and irreducible characters and a conditional GRH-bound that mirrors the unconditional results with $\log$ replaced by $\log\log$. The work also provides illustrative Dirichlet and Dedekind cases, analyzes base-field and decomposition choices, and discusses the limitations and sharpness of these bounds in light of current knowledge on Artin $L$-functions.
Abstract
Given a number field $K \neq \mathbb{Q}$, in a now classic work, Stark pinpointed the possible source of a so-called Landau-Siegel zero of the Dedekind zeta function $ζ_K(s)$ and used this to give effective upper and lower bounds on the residue of $ζ_K(s)$ at $s=1$. We extend Stark's work to give effective upper and lower bounds for the leading term of the Laurent expansion of general Artin $L$-functions at $s=1$ that are, up to the value of implied constants, as strong as could reasonably be expected given current progress toward the generalized Riemann hypothesis. Our bounds are completely unconditional, and rely on no unproven hypotheses about Artin $L$-functions.
