In mathematics, more specifically in the field of analytic number theory, a Landau–Siegel zero or simply Siegel zero, also known as an exceptional zero, named after Edmund Landau and Carl Ludwig Siegel, is a type of potential counterexample to the generalized Riemann hypothesis, on the zeros of Dirichlet L-functions associated to quadratic number fields. Roughly speaking, these are possible zeros very near (in a quantifiable sense) to s = 1 {\displaystyle s=1} .
Motivation and definition The way in which Siegel zeros appear in the theory of Dirichlet L-functions is as potential exceptions to the classical zero-free regions, which can only occur when the L-function is associated to a real Dirichlet character.
Real primitive Dirichlet characters For an integer q ≥ 1, a Dirichlet character modulo q is an arithmetic function χ : Z → C {\textstyle \chi \colon \mathbb {Z} \to \mathbb {C} } satisfying the following properties:
Completely multiplicative: χ ( m n ) = χ ( m ) χ ( n ) {\textstyle \chi (mn)=\chi (m)\chi (n)} for every m, n; Periodic: χ ( n + q ) = χ ( n ) {\textstyle \chi (n+q)=\chi (n)} for every n; Support: χ ( n ) = 0 {\textstyle \chi (n)=0} if and only if g c d ( n , q ) > 1 {\displaystyle \mathrm {gcd} (n,q)>1} . That is, χ is the lifting of a homomorphism χ ~ : ( Z / q Z ) × → C ∗ {\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 χ 0 ( m o d q ) {\textstyle \chi _{0}~(\mathrm {mod} ~q)} , is the lifting of the trivial homomorphism ( Z / q Z ) × ∋ a ↦ 1 ∈ C ∗ {\textstyle (\mathbb {Z} /q\mathbb {Z} )^{\times }\ni a\mapsto 1\in \mathbb {C} ^{*}} . A character χ ( m o d q ) {\textstyle \chi ~(\mathrm {mod} ~{q})} is called imprimitive if there exists some integer d ≠ q {\textstyle d\neq q} with d ∣ q {\textstyle d\mid q} such that the induced homomorphism χ ~ : ( Z / q Z ) × → C ∗ {\textstyle {\widetilde {\chi }}\colon (\mathbb {Z} /q\mathbb {Z} )^{\times }\to \mathbb {C} ^{*}} factors as
( Z / q Z ) × ↠ ( Z / d Z ) × → χ ′ ~ C ∗ {\displaystyle (\mathbb {Z} /q\mathbb {Z} )^{\times }\twoheadrightarrow (\mathbb {Z} /d\mathbb {Z} )^{\times }\xrightarrow {\widetilde {\chi '}} \mathbb {C} ^{*}}
… excerpt ends here. Continue reading the full article.
