Real primitive Dirichlet characters

For an integer q ≥ 1, a Dirichlet character modulo q is an arithmetic function ${\textstyle \chi \colon \mathbb {Z} \to \mathbb {C} }$ satisfying the following properties:

• (Completely multiplicative) ${\textstyle \chi (mn)=\chi (m)\chi (n)}$ for every m, n;
• (Periodic) ${\textstyle \chi (n+q)=\chi (n)}$ for every n;
• (Support) ${\textstyle \chi (n)=0}$ if ${\displaystyle \mathrm {gcd} (n,q)>1}$.

That is, χ is the lifting of a homomorphism ${\textstyle {\widetilde {\chi }}:(\mathbb {Z} /q\mathbb {Z} )^{\times }\to \mathbb {C} ^{*}}$.

The trivial character is the character modulo 1, and the principal character modulo q, denoted ${\textstyle \chi _{0}~(\mathrm {mod} ~q)}$, is the lifting of the trivial homomorphism ${\textstyle (\mathbb {Z} /q\mathbb {Z} )^{\times }\ni a\mapsto 1\in \mathbb {C} ^{*}}$.

A character ${\textstyle \chi ~(\mathrm {mod} ~{q})}$ is called imprimitive if there exists some integer ${\textstyle d\neq q}$ with ${\textstyle d\mid q}$ such that the induced homomorphism ${\textstyle {\widetilde {\chi }}\colon (\mathbb {Z} /q\mathbb {Z} )^{\times }\to \mathbb {C} ^{*}}$ factors as

${\displaystyle (\mathbb {Z} /q\mathbb {Z} )^{\times }\twoheadrightarrow (\mathbb {Z} /d\mathbb {Z} )^{\times }\xrightarrow {\widetilde {\chi '}} \mathbb {C} ^{*}}$

for some character ${\textstyle \chi '~(\mathrm {mod} ~{d})}$; otherwise, ${\textstyle \chi ~(\mathrm {mod} ~{q})}$ is called primitive.

A character ${\textstyle \chi }$ is real (or quadratic) if it equals its complex conjugate ${\displaystyle {\overline {\chi }}}$ (defined as ${\displaystyle {\overline {\chi }}(n):={\overline {\chi (n)}}}$), or equivalently if ${\textstyle \chi ^{2}=\chi _{0}}$. The real primitive Dirichlet characters are in one-to-one correspondence with the Kronecker symbols ${\textstyle (D|\,\cdot \,):\mathbb {Z} \to \{-1,0,1\}}$ for ${\textstyle D\in \mathbb {Z} }$ a fundamental discriminant (i.e., the discriminant of a quadratic number field).^[2] One way to define ${\textstyle (D|\,\cdot \,)}$ is as the completely multiplicative arithmetic function determined by (for p prime):

${\displaystyle {\bigg (}{\frac {D}{p}}{\bigg )}={\begin{cases}1,&(p){\text{ splits in }}\mathbb {Q} ({\sqrt {D}}),\\-1,&(p){\text{ is inert }}\cdots ,\\0,&(p){\text{ ramifies }}\cdots ,\end{cases}}\quad {\bigg (}{\frac {D}{-1}}{\bigg )}={\text{sign of }}D.}$

It is thus common to write ${\textstyle \chi _{D}:=(D|\,\cdot \,)}$, which are real primitive characters modulo ${\textstyle |D|}$.

Classical zero-free regions

The Dirichlet L-function associated to a character ${\textstyle \chi ~(\mathrm {mod} ~q)}$ is defined as the analytic continuation of the Dirichlet series ${\textstyle L(s,\chi )=\sum _{n\geq 1}\chi (n)n^{-s}}$ defined for ${\textstyle \mathrm {Re} (s)>1}$, where s is a complex variable. For ${\displaystyle \chi }$ non-principal, this continuation is entire; otherwise it has a simple pole of residue ${\textstyle \prod _{p\mid q}(1-p^{-1})}$ at s = 1 as its only singularity. For ${\textstyle \mathrm {Re} (s)>1}$, Dirichlet L-functions can be expanded into an Euler product ${\textstyle L(s,\chi )=\prod _{p}(1-\chi (p)p^{-s})^{-1}}$, from where it follows that ${\textstyle L(s,\chi )}$ has no zeros in this region. The prime number theorem for arithmetic progressions is equivalent (in a certain sense) to ${\textstyle L(1+it,\chi )\neq 0}$ (${\textstyle \forall t\in \mathbb {R} }$). Moreover, via the functional equation, we can reflect these regions through ${\textstyle s\mapsto 1-s}$ to conclude that, with the exception of negative integers of same parity as χ,^[3] all the other zeros of ${\textstyle L(s,\chi )}$ must lie inside ${\displaystyle \{0<\mathrm {Re} (s)<1\}}$. This region is called the critical strip, and zeros in this region are called non-trivial zeros.

The classical theorem on zero-free regions (Grönwall,^[4] Landau,^[5] Titchmarsh^[6]) states that there exists an effectively computable real number ${\textstyle A>0}$ such that, writing ${\displaystyle s=\sigma +it}$ for the complex variable, the function ${\textstyle L(s,\chi )}$ has no zeros in the region

${\displaystyle \sigma >1-{\frac {A}{(\log q(|t|+2))}}}$

if ${\textstyle \chi ~(\mathrm {mod} ~q)}$ is non-real. If ${\textstyle \chi }$ is real, then there is at most one zero in this region, which must necessarily be real and simple. This possible zero is the so-called Siegel zero.

The Generalized Riemann Hypothesis (GRH) claims that for every ${\textstyle \chi ~(\mathrm {mod} ~q)}$, all the non-trivial zeros of ${\textstyle L(s,\chi )}$ lie on the line ${\textstyle \mathrm {Re} (s)={\frac {1}{2}}}$.

Defining "Siegel zeros"

The definition of Siegel zeros as presented ties it to the constant A in the zero-free region. This often makes it tricky to deal with these objects, since in many situations the particular value of the constant A is of little concern.^[1] Hence, it is usual to work with more definite statements, either asserting or denying, the existence of an infinite family of such zeros, such as in:

• Conjecture ("no Siegel zeros"): If ${\textstyle \beta _{D}}$ denotes the largest real zero of ${\textstyle L(s,\chi _{D})}$, then ${\displaystyle 1-\beta _{D}\gg {\frac {1}{\log |D|}}.}$

The possibility of existence or non-existence of Siegel zeros has a large impact in closely related subjects of number theory, with the "no Siegel zeros" conjecture serving as a weaker (although powerful, and sometimes fully sufficient) substitute for GRH (see below for an example involving Siegel–Tatsuzawa's Theorem and the idoneal number problem). An equivalent formulation of "no Siegel zeros" that does not reference zeros explicitly is the statement:

${\displaystyle {\frac {L'}{L}}(1,\chi _{D})=O(\log |D|).}$

The equivalence can be deduced for example by using the zero-free regions and classical estimates for the number of non-trivial zeros of ${\textstyle L(s,\chi )}$ up to a certain height.^[7]

Siegel–Tatsuzawa Theorem

In 1951, Tikao Tatsuzawa proved an 'almost' effective version of Siegel's theorem,^[10] showing that for any fixed ${\textstyle 0<\varepsilon <{\frac {1}{11.2}}}$, if ${\textstyle |D|>e^{1/\varepsilon }}$ then

${\displaystyle L(1,\chi _{D})>0.655|D|^{-\varepsilon },}$

with the possible exception of at most one fundamental discriminant. Using the 'almost effectivity' of this result, P. J. Weinberger (1973)^[11] showed that Euler's list of 65 idoneal numbers is complete except for at most two elements.^[12]

Siegel zeros as 'quadratic phenomena'

There is a sense in which the difficulty associated to the phenomenon of Siegel zeros in general is entirely restricted to quadratic extensions. It is a consequence of the Kronecker–Weber theorem, for example, that the Dedekind zeta function ${\textstyle \zeta _{K}(s)=\sum _{I\subseteq {\mathfrak {O}}_{K}}[{\mathfrak {O}}_{K}:I]^{-s}}$ of an abelian number field ${\textstyle K/\mathbb {Q} }$ can be written as a product of Dirichlet L-functions.^[14] Thus, if ${\textstyle \zeta _{K}(s)}$ has a Siegel zero, there must be some subfield ${\textstyle F\subseteq K}$ with ${\textstyle [F:\mathbb {Q} ]=2}$ such that ${\textstyle \zeta _{F}(s)}$ has a Siegel zero.

While for the non-abelian case ${\textstyle \zeta _{K}(s)}$ can only be factored into more complicated Artin L-functions, the same is true:

• Theorem (Stark, 1974).^[15] Let ${\textstyle K/\mathbb {Q} }$ be a number field of degree n > 1. There is a constant ${\textstyle c(n)}$ (${\textstyle =4}$ if ${\textstyle K/\mathbb {Q} }$ is normal, ${\textstyle =4n!}$ otherwise) such that, if there is a real ${\textstyle \beta }$ in the range

$1-{\frac {c(n)}{\log |\Delta _{K}|}}\leq \beta <1$

with ${\textstyle \zeta _{K}(\beta )=0}$, then there is a quadratic subfield ${\textstyle F\subseteq K}$ such that ${\textstyle \zeta _{F}(\beta )=0}$. Here, ${\textstyle \Delta _{K}}$ is the field discriminant of the extension ${\textstyle K/\mathbb {Q} }$.

Lower bounds for h(D)

In 1918, Erich Hecke showed that "no Siegel zeros" for ${\textstyle D<0}$ implies that ${\textstyle h(D)\gg {\sqrt {|D|}}(\log |D|)^{-1}}$^[5] (see Class number problem for comparison). This can be extended to an equivalence, as it is a consequence of Theorem 3 in Granville–Stark (2000):^[16]

${\displaystyle {\text{“No Siegel zeros” for }}D<0\quad \iff \quad h(D)\gg {\frac {\sqrt {|D|}}{\log |D|}}\sum _{(a,b,c)}{\frac {1}{a}},}$

where the summation runs over the reduced binary quadratic forms ${\textstyle ax^{2}+bxy+cy^{2}}$ of discriminant ${\textstyle D}$. Using this, Granville and Stark showed that a certain uniform formulation of the abc conjecture for number fields implies "no Siegel zeros" for negative discriminants.

In 1976, Dorian Goldfeld^[17] proved the following unconditional, effective lower bound for ${\textstyle h(D)}$:

${\displaystyle h(D)\gg \prod _{p\mid D}{\bigg (}1-{\frac {2{\sqrt {p}}}{p+1}}{\bigg )}\,\log |D|.}$

Complex multiplication

Another equivalence for "no Siegel zeros" for ${\textstyle D<0}$ can be given in terms of upper bounds for heights of singular moduli:

${\displaystyle h(j(\tau _{D}))\ll \log |D|,}$

where:

• ${\textstyle h}$ is the absolute logarithmic naïve height for number fields;
• ${\textstyle j}$ is the j-invariant function;
• ${\textstyle \tau _{D}:=(D+{\sqrt {D}})/2}$.

The number ${\textstyle j(\tau _{D})}$ generates the Hilbert class field of ${\textstyle \mathbb {Q} ({\sqrt {D}})}$, which is its maximal unramified abelian extension.^[18] This equivalence is a direct consequence of the results in Granville–Stark (2000),^[16] and can be seen in C. Táfula (2019).^[19]

A precise relation between heights and values of L-functions was obtained by Pierre Colmez (1993,^[20] 1998^[21]), who showed that, for an elliptic curve ${\textstyle E_{D}/\mathbb {C} }$ with complex multiplication by ${\textstyle \mathbb {Z} [\tau _{D}]}$, we have

${\displaystyle -2h_{\mathrm {Fal} }(E_{D})-{\frac {1}{2}}\log |D|={\frac {L'}{L}}(0,\chi _{D})+\log 2\pi ,}$

where ${\textstyle h_{\mathrm {Fal} }}$ denotes the Faltings height.^[22] Using the identities ${\textstyle h_{\mathrm {Fal} }(E_{D})={\frac {1}{12}}h(j(\tau _{D}))+O(\log h(j(\tau _{D})))}$^[23] and ${\textstyle {\frac {L'}{L}}(1,\chi _{D})=-{\frac {L'}{L}}(0,\chi _{D})-\log |D|+\log 2\pi +\gamma }$,^[24] Colmez' theorem also provides a proof for the equivalence above.

Infinitude of twin primes

A striking result in this direction is Roger Heath-Brown's 1983 result^[25] which, following Terence Tao,^[26] can be stated as follows:

• Theorem (Heath-Brown, 1983). At least one of the following is true: (1) There are no Siegel zeros. (2) There are infinitely many twin primes.

Parity problem

The parity problem in sieve theory roughly refers to the fact that sieving arguments are, generally speaking, unable to tell if an integer has an even or odd number of prime divisors. This leads to many upper bounds in sieve estimates, such as the one from the linear sieve^[27] being off by a factor of 2 from the expected value. In 2020, Granville^[28] showed that under the assumption of the existence of Siegel zeros, the general upper bounds for the problem of sieving intervals are optimal, meaning that the extra factor of 2 coming from the parity phenomenon would thus not be an artificial limitation of the method.