Zero de Siegel

Predefinição:Descrição curta Em matemática, mais especificamente na área de teoria analítica dos números, um zero de Landau–Siegel ou simplesmente zero de Siegel (também conhecido como zero excepcional), nomeado em homenagem a Edmund Landau e Carl Ludwig Siegel, é um tipo de contraexemplo potencial para a Hipótese de Riemann generalizada, sobre zeros de funções L de Dirichlet associadas a corpos de números quadráticos. Grosso modo, estes são possíveis zeros muito próximos (num sentido quantificável) de Predefinição:Math.

Motivação e definição

O modo como zeros de Siegel aparecem na teoria de funções L de Dirichlet é como possíveis exceções para as região livre de zeros clássicas, que podem ocorrer somente quando a função L é associada a um caráter de Dirichlet real.

Caráteres de Dirichlet reais primitivos

Para um inteiro Predefinição:Math, um caráter de Dirichlet módulo Predefinição:Math é uma função aritmética $\chi :\mathbb{Z}\to {ℂ}^{*}$ satisfazendo as seguintes propriedades:

• (Completamente multiplicativa) $\chi (mn)=\chi (m)\chi (n)$ para todo Predefinição:Math, Predefinição:Math;
• (Periódica) $\chi (n+q)=\chi (n)$ para todo Predefinição:Math;
• (Suporte) $\chi (n)=0$ se $\mathrm{g}\mathrm{c}\mathrm{d}(n,q)>1$.

Isto é, Predefinição:Math é o levantamento de um homomorfismo $\tilde{\chi }:(\mathbb{Z}/q\mathbb{Z}{)}^{\times }\to {ℂ}^{*}$.

O caráter trivial é o caráter módulo 1, e o caráter principal módulo Predefinição:Math, denotado ${\chi }_0(\mathrm{m}\mathrm{o}\mathrm{d}q)$, é o levantamento do homomorfismo trivial $(\mathbb{Z}/q\mathbb{Z}{)}^{\times }\ni a\mapsto 1\in {ℂ}^{*}$. Um caráter $\chi (\mathrm{m}\mathrm{o}\mathrm{d}q)$ é chamado de imprimitivo se existe um inteiro $d\ne q$ com $d\mid q$ tal que o homomorfismo induzido $\tilde{\chi }:(\mathbb{Z}/q\mathbb{Z}{)}^{\times }\to {ℂ}^{*}$ fatora-se em

$(\mathbb{Z}/q\mathbb{Z}{)}^{\times }\twoheadrightarrow (\mathbb{Z}/d\mathbb{Z}{)}^{\times }\stackrel{\widetilde{{\chi }^{\prime }}}{\to }{ℂ}^{*}$

para algum caráter ${\chi }^{\prime }(\mathrm{m}\mathrm{o}\mathrm{d}d)$; caso contrário, $\chi (\mathrm{m}\mathrm{o}\mathrm{d}q)$ é chamado de primitivo. Um caráter $\chi$ é real (ou quadrático) se este é igual ao seu conjugado complexo $\bar{\chi }$ (definido como $\bar{\chi }(n):=\overline{\chi (n)}$), ou equivalentemente ${\chi }^2={\chi }_0$. Os caractéres de Dirichlet reais primitivos estão em correspondência biunívoca com os símbolos de Kronecker $(D|\cdot ):\mathbb{Z}\to \{-1,0,1\}$ para $D\in \mathbb{Z}$ um discriminante fundamental (isto é, o discriminante de um corpo quadrático). Uma maneira de definir $(D|\cdot )$ é como a função aritmética completamente multiplicativa determinada por (para Predefinição:Math primo):

$\left(\frac{D}{p}\right)=\{\begin{array}{cc}1,& (p)\text{ é decomposto em }\mathbb{Q}(\sqrt{D})\\ -1,& (p)\text{ é inerte }\cdots \\ 0,& (p)\text{ ramifica }\cdots \end{array},\left(\frac{D}{-1}\right)=\text{sinal de }D.$

Portanto, é comum escrever ${\chi }_D:=(D|\cdot )$, os quais são caráteres primitivos reais módulo $|D|$.

Região livre de zeros clássica

A função L de Dirichlet associada ao caráter $\chi (\mathrm{m}\mathrm{o}\mathrm{d}q)$ é definida como a continuação analítica da série de Dirichlet $L(s,\chi )=\sum _{n\ge 1}\chi (n)n^{-s}$ definida para $\mathrm{R}\mathrm{e}(s)>1$, onde s á uma variável complexa. Para $\chi$ não-principal, esta continuação é inteira; caso contrário esta possui um polo simples de resíduo $\prod _{p\mid q}(1-p^{-1})$ em Predefinição:Math como sua única singularidade. Para $\mathrm{R}\mathrm{e}(s)>1$, funções L de Dirichlet podem ser expressas como o produto de Euler $L(s,\chi )=\prod _p(1-\chi (p)p^{-s}{)}^{-1}$, donde segue que $L(s,\chi )$ não possui zeros nesta região. O teorema dos números primos para progressões aritméticas é equivalente (em certo sentido) a $L(1+it,\chi )\ne 0$ ($\mathrm{\forall }t\in ℝ$). Além disso, pela equação funcional, pode-se refletir estas regiões via $s\mapsto 1-s$ para concluir que, com a exceção de inteiros negativos com mesma paridade que Predefinição:Math, todos os outros zeros de $L(s,\chi )$ estão em $\{0<\mathrm{R}\mathrm{e}(s)<1\}$. Esta região é chamada de faixa crítica, e zeros nesta região são chamados de zeros não-triviais.

O teorema clássico em regiões livres de zeros (Grönwall, Landau, Titchmarsh) diz que existe um número real (efetivamente computável) $A>0$ tal que, escrevendo $s=\sigma +it$ para a variável complexa, a função$L(s,\chi )$ não possui zeros na região

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

se $\chi (\mathrm{m}\mathrm{o}\mathrm{d}q)$ é não-real. Se $\chi$ é real, então existe no máximo um zero nesta região, necessariamente real e simples. Este possível zero é chamado zero de Siegel.

A Hipótese de Riemann generalizada (HRG) afirma que para todo $\chi (\mathrm{m}\mathrm{o}\mathrm{d}q)$, todos os zeros não-triviais de $L(s,\chi )$ estão na reta $\mathrm{R}\mathrm{e}(s)=\frac{1}{2}$.

Definindo "zeros de Siegel"

A definição de zeros de Siegel como apresentada acima depende da constante Predefinição:Math na região livre de zeros. Isto muitas vezes torna complicado lidar com estes objetos, uma vez que em muitas situações o valor preciso da constante Predefinição:Math é de pouco interesse. Assim, é comum trabalhar com enunciados relacionados, tanto afirmando quanto negando, a existência de uma família infinito de tais zeros, como em:

• Conjectura ("zeros de Siegel não existem"): Se ${\beta }_D$ denota o maior zero real de $L(s,{\chi }_D)$, então $1-{\beta }_D\gg \frac{1}{\log |D|}$.

Tanto a possibilidade de existência quanto a de não-existência de zeros de Siegel têm grande impacto em assuntos relacionados de teoria dos números, a conjectura "zeros de Siegel não existem" servindo como um substituto mais fraco, apesar de poderoso e às vezes completamente suficiente, para HRG (veja abaixo para um exemplo envolvendo o Teorema de Siegel–Tatuzawa e o problema de números idôneos). Uma formulação equivalente de "zeros de Siegel não existem" que não faz referência explícita a zeros é o enunciado:

$\frac{L^{\prime }}{L}(1,{\chi }_D)=O(\log |D|).$

A equivalência pode ser derivada por exemplo usando a região livre de zeros junto com estimativas clássicas para o número de zeros não-triviais de $L(s,\chi )$ até certa altura.

Estimativas de Landau–Siegel

O primeiro avanço na questão destes zeros veio de Landau, que mostrou que existe uma constante absoluta Predefinição:Math efetivamente computável tal que, se ${\chi }_D$ e ${\chi }_{D^{\prime }}$ são caráteres reais primitivos de módulo distinto, e $\beta ,{\beta }^{\prime }$ são zeros reais de $L(s,{\chi }_D),L(s,{\chi }_{D^{\prime }})$ respectivamente, então

$\min \{\beta ,{\beta }^{\prime }\}<1-\frac{B}{\log |D{D}^{\prime }|}.$

Isto está dizendo que, se zeros de Siegel existem, então eles não podem ser muito numerosos. A forma como este resultado foi provado foi via uma argumento de 'torção', que levanta o problema para a função zeta de Dedekind do corpo biquadrático $\mathbb{Q}(\sqrt{D},\sqrt{D^{\prime }})$. Esta técnica ainda é aplicada bastante em trabalhos modernos.

Este efeito de 'repulsão', após análise mais cuidadosa, levou Landau ao seu teorema de 1936, que diz que para todo $\epsilon >0$, existe $C(\epsilon )\in {ℝ}_{+}$ tal que, se $\beta$ é um zero real de $L(s,{\chi }_D)$, então $\beta <1-C(\epsilon )|D{|}^{-\frac{3}{8}-\epsilon }$. Contudo, no mesmo ano, e no mesmo volume do mesmo periódico, Siegel melhorou diretamente esta estimativa para

$\beta <1-C(\epsilon )|D{|}^{-\epsilon }.$

Tanto a demonstração de Landau quanto a de Siegel não fornecem algoritmos para calcular $C(\epsilon )\in {ℝ}_{+}$ explicitamente, tornando-as uma instância de um resultado não-efetivo.

Teorema de Siegel–Tatuzawa

Em 1951, T. Tatuzawa demonstrou uma versão 'quase' efetiva do teorema de Siegel, mostrando que para qualquer $0<\epsilon <\frac{1}{11.2}$ fixo, se $|D|>e^{1/\epsilon }$ então

$L(1,{\chi }_D)>0.655|D{|}^{-\epsilon },$

com a possível exceção de no máximo um discriminante fundamental. Usando a 'quase efetividade' deste resultado, P. J. Weinberger (1973) mostrou que a lista de Euler de 65 números idôneos está completa com a possível exceção de no máximo um elemento.

Relação com corpos quadráticos

Zeros de Siegel são mais que um problema artificial devido à natureza do argumento para deduzir regiões livres de zeros, e de fato possuem conexões profundas com a aritmética de corpos quadráticos. Por exemplo, a identidade${\zeta }_{\mathbb{Q}(\sqrt{D})}(s)=\zeta (s)L(s,{\chi }_D)$ pode ser interpretada como uma formulação analítica da lei da reciprocidade quadrática. A conexão per se entre a distribuição de zeros próximos de Predefinição:Math e aritmética vem mais precisamente da Fórmula do número de classes de Dirichlet:

$L(1,{\chi }_D)=\{\begin{array}{cc}\frac{2\pi }{w_D\sqrt{|D|}}h(D),& \text{se }D<0\\ \frac{\log {\epsilon }_D}{\sqrt{D}}h(D),& \text{se }D>0,\end{array}$

onde:

• $h(D)$ é o número de classes de ideais de $\mathbb{Q}(\sqrt{D})$;
• $w_D$ é número de raízes da unidade em $\mathbb{Q}(\sqrt{D})$ (Predefinição:Math);
• ${\epsilon }_D$ é a unidade fundamental de $\mathbb{Q}(\sqrt{D})$ (Predefinição:Math).

Desta forma, estimativas para o maior zero real de $L(s,{\chi }_D)$ pode ser traduzido em estimativas para $L(1,{\chi }_D)$ (via, por exemplo, o fato de que $|L^{\prime }(\sigma ,\chi )|=O({\log }^{2}q)$ para $1-\frac{1}{\log q}\le \sigma \le 1$), que por sua vez se tornam estimativas para $h(D)$. Trabalhos clássicos na área tratam estas três quantidades de forma essencialmente intercambiável, apesar de o caso Predefinição:Math trazer complicações adicionais relacionadas à unidade fundamental.

Zeros de Siegel como 'fenômenos quadráticos'

Há um sentido no qual a dificuldade associada ao fenômeno de zeros de Siegel em geral é inteiramente restrita a extensões quadráticas. É uma consequência do Teorema de Kronecker–Weber, por exemplo, que a função zeta de Dedekind ${\zeta }_K(s)=\sum _{I\subseteq {𝔒}_K}[{𝔒}_K:I{]}^{-s}$ de um corpo de números abeliano $K/\mathbb{Q}$ pode ser escrita como um produto de funções L de Dirichlet. Sendo assim, se ${\zeta }_K(s)$ possui um zero de Siegel, então existe um subcorpo $F\subseteq K$ com $[F:\mathbb{Q}]=2$ tal que ${\zeta }_F(s)$ possui um zero de Siegel.

Enquanto para o caso não-abeliano ${\zeta }_K(s)$ pode em geral ser fatorado apenas em termos de funções L de Artin, o mesmo resultado vale:

• Teorema (Stark, 1974). Seja $K/\mathbb{Q}$ um corpo de números de grau Predefinição:Math. Existe uma constante $c(n)$ ($=4$ se $K/\mathbb{Q}$ é normal, $=4n!$ caso contrário) tal que, se existe um $\beta$ real no intervalo

$1-\frac{c(n)}{\log |{\mathrm{\Delta }}_K|}\le \beta <1$

com ${\zeta }_K(\beta )=0$, então existe um subcorpo quadrático $F\subseteq K$ tal que ${\zeta }_F(\beta )=0$. Aqui, ${\mathrm{\Delta }}_K$ denota o discriminante da extensão $K/\mathbb{Q}$.

"Zeros de Siegel não existem" para D < 0

Quando lidando com corpos quadráticos, o caso $D>0$ tende a ser mais complicado devido ao comportamento da unidade fundamental. Dessa forma, é comum tratar os casos $D<0$ e $D>0$ separadamente. Muito mais é conhecido para o caso de discriminantes negativos:

Cotas inferiores para h(D)

Em 1918, Hecke mostrou que "zeros de Siegel não existem" para $D<0$ implica que $h(D)\gg \sqrt{|D|}(\log |D|{)}^{-1}$ (cf. Problema do número de classe). Isto pode ser estendido para uma equivalência, como é uma consequência do Teorema 3 em Granville–Stark (2000):

$\text{``zeros de Siegel não existem'' para }D<0⟺h(D)\gg \frac{\sqrt{|D|}}{\log |D|}\sum _{(a,b,c)}\frac{1}{a},$

onde a soma percorre formas quadráticas binárias reduzidas $a{x}^2+bxy+c{y}^2$ de discriminante $b^2-4ac=D$. Usando isso, Granville e Stark mostraram que uma certa versão uniforme da conjectura abc para corpos de números implica "zeros de Siegel não existem" para discriminantes negativos.

Em 1976, D. Goldfeld demonstrou a seguinte cota inferior para $h(D)$, incondicional e efetiva:

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

Multiplicação complexa

Outra equivalência para "zeros de Siegel não existem" para $D<0$ pode ser dada em termos de cotas superiores para alturas de módulos singulares:

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

onde:

• $h$ é a altura logarítmica ingênua para corpos de números;
• $j$ é a função j-invariante;
• ${\tau }_D:=(D+\sqrt{D})/2$.

O número $j({\tau }_D)$ gera o corpo de classe de Hilbert de $\mathbb{Q}(\sqrt{D})$, que é definido como a sua extensão abeliana não-ramificada maximal. Esta equivalência é uma consequência direta dos resultados em Granville–Stark (2000), e pode ser vista em C. Táfula (2019).

Uma relação precisa entre alturas e valores de funções L foi obtida por P. Colmez (1993, 1998), que demonstrou que, para uma curva elíptica $E_D/ℂ$ com multiplicação complexa por $\mathbb{Z}[{\tau }_D]$, tem-se

$-2h_{\mathrm{F}\mathrm{a}\mathrm{l}}(E_D)-\frac{1}{2}\log |D|=\frac{L^{\prime }}{L}(0,{\chi }_D)+\log 2\pi ,$

onde $h_{\mathrm{F}\mathrm{a}\mathrm{l}}$ denota a altura de Faltings. Via as relações padrões $h_{\mathrm{F}\mathrm{a}\mathrm{l}}(E_D)=\frac{1}{12}h(j({\tau }_D))+O(\log h(j({\tau }_D)))$ e $\frac{L^{\prime }}{L}(1,{\chi }_D)=-\frac{L^{\prime }}{L}(0,{\chi }_D)-\log |D|+\log 2\pi +\gamma$, o teorema de Colmez também fornece uma demonstração para a equivalência acima.

Consequências da existência de zeros de Siegel

Apesar de que espera-se que a Hipótese de Riemann generalizada seja verdadeira, enquanto a conjecture "zeros de Siegel não existem" continua aberta é interessante estudar quais são as consequências de tais contraexemplos severos à hipótese. Outra razão para estudar esta possibilidade é o fato de que a demonstração de certos teoremas incondicionais requerem a divisão em dois casos: primeiro um argumento assumindo zeros de Siegel não existem, e então outro assumindo que zeros de Siegel existem. O exemplo mais famoso de um teorema deste tipo é o Teorema de Linnik sobre o menor número primo numa progressão aritmética.

Listamos alguns exemplos de fatos que seguem da existência de zeros de Siegel.

Infinitude de primos gêmeos

Um dos resultados mais impressionantes nesta direção é o teorema de 1983 de Heath-Brown que, seguindo Tao, pode ser enunciado como a seguir:

• Teorema (Heath-Brown, 1983). Pelo menos uma das seguintes afirmações é verdadeira: (1) Zeros de Siegel não existem. (2) Existem infinitos primos gêmeos.

Problema da paridade

O problema da paridade em teoria dos crivos se refere, grosso modo, ao fato de que argumentos de crivos tendem em geral a serem incapazes de distinguir entre inteiros com um número par de divisores primos de inteiros com um número ímpar de divisores primos. Isto causa muitas cotas superiores em estimativas de crivos, como a do crivo linear serem o dobro do esperado. Em 2020, Granville mostrou que assumindo a existência de zeros de Siegel é possível demonstrar que as cotas superiores geral para o problema de crivar intervalos são ótimas, o que significa que, se zeros de Siegel existem, então o fator extra de 2 vindo do fenômeno da paridade não seria puramente uma limitação do método.

Ver também

• Hipótese de Riemann

Bibliografia

• Predefinição:Cite journal
• Predefinição:Citation
• Predefinição:Cite book
• Predefinição:Cite book