Zero de Siegel
Em matemática, mais especificamente na área de teoria analítica dos números, um zero de Landau–Siegel ou simplesmente zero de Siegel, 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 de s = 1.
O modo como zeros de Siegel aparecem na teoria de funções L de Dirichlet é como possíveis exceções para as regiões livres de zeros clássicas, que podem ocorrer somente quando a função L é associada a um caráter de Dirichlet real.
Caracteres de Dirichlet reais primitivos
Para um inteiro q ≥ 1, um caráter de Dirichlet módulo q é uma função aritmética χ : Z → C ∗ {\textstyle \chi :\mathbb {Z} \to \mathbb {C} ^{*}} satisfazendo as seguintes propriedades: Isto é, χ é o levantamento de um homomorfismo χ ~ : ( Z / q Z ) × → C ∗ {\textstyle {\widetilde {\chi }}:(\mathbb {Z} /q\mathbb {Z} )^{\times }\to \mathbb {C} ^{*}} . O caráter trivial é o caráter módulo 1, e o caráter principal módulo q, denotado χ 0 ( m o d q ) {\textstyle \chi _{0}~(\mathrm {mod} ~q)} , é o levantamento do homomorfismo trivial ( Z / q Z ) × ∋ a ↦ 1 ∈ C ∗ {\textstyle (\mathbb {Z} /q\mathbb {Z} )^{\times }\ni a\mapsto 1\in \mathbb {C} ^{*}} . Um caráter χ ( m o d q ) {\textstyle \chi ~(\mathrm {mod} ~{q})} é chamado de imprimitivo se existe um inteiro d ≠ q {\textstyle d\neq q} com d ∣ q {\textstyle d\mid q} tal que o homomorfismo induzido χ ~ : ( Z / q Z ) × → C ∗ {\textstyle {\widetilde {\chi }}:(\mathbb {Z} /q\mathbb {Z} )^{\times }\to \mathbb {C} ^{*}} fatora-se em
Região livre de zeros clássica
A função L de Dirichlet associada ao caráter χ ( m o d q ) {\textstyle \chi ~(\mathrm {mod} ~q)} é definida como a continuação analítica da série de Dirichlet L ( s , χ ) = ∑ n ≥ 1 χ ( n ) n − s {\textstyle L(s,\chi )=\sum _{n\geq 1}\chi (n)n^{-s}} definida para R e ( s ) > 1 {\textstyle \mathrm {Re} (s)>1} , onde s a uma variável complexa. Para χ {\displaystyle \chi } não-principal, esta continuação é inteira; caso contrário esta possui um polo simples de resíduo ∏ p ∣ q ( 1 − p − 1 ) {\textstyle \prod _{p\mid q}(1-p^{-1})} em s = 1 como sua única singularidade. Para R e ( s ) > 1 {\textstyle \mathrm {Re} (s)>1} , funções L de Dirichlet podem ser expressas como o produto de Euler L ( s , χ ) = ∏ p ( 1 − χ ( p ) p − s ) − 1 {\textstyle L(s,\chi )=\prod _{p}(1-\chi (p)p^{-s})^{-1}} , donde segue que L ( s , χ ) {\textstyle 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 + i t , χ ) ≠ 0 {\textstyle L(1+it,\chi )\neq 0} ( ∀ t ∈ R {\textstyle \forall t\in \mathbb {R} } ). Além disso, pela equação funcional, pode-se refletir estas regiões via s ↦ 1 − s {\textstyle s\mapsto 1-s} para concluir que, com a exceção de inteiros negativos com mesma paridade que χ, todos os outros zeros de L ( s , χ ) {\textstyle L(s,\chi )} estão em { 0 < R e ( s ) < 1 } {\displaystyle \{0<\mathrm {Re} (s)<1\}} . Esta região é chamada de faixa crítica, e zeros nesta região são chamados de zeros não-triviais.
Definindo "zeros de Siegel"
Existe δ > 0 {\textstyle \delta >0} para o qual L ( σ , χ D ) ≠ 0 {\textstyle L(\sigma ,\chi _{D})\neq 0} para todo discriminante fundamental D se 1 − δ log | D | < σ < 1 {\textstyle 1-{\frac {\delta }{\log |D|}}<\sigma <1} ? A definição de zeros de Siegel como apresentada acima depende da constante A 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 A é 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: 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:
O primeiro avanço na questão destes zeros veio de Landau, que mostrou que existe uma constante absoluta B > 0 efetivamente computável tal que, se χ D {\textstyle \chi _{D}} e χ D ′ {\textstyle \chi _{D'}} são caráteres reais primitivos de módulo distinto, e β , β ′ {\textstyle \beta ,\beta '} são zeros reais de L ( s , χ D ) , L ( s , χ D ′ ) {\textstyle L(s,\chi _{D}),L(s,\chi _{D'})} respectivamente, então 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 um argumento de 'torção', que levanta o problema para a função zeta de Dedekind do corpo biquadrático Q ( D , D ′ ) {\textstyle \mathbb {Q} ({\sqrt {D}},{\sqrt {D'}})} . Esta técnica ainda é bastante aplicada 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 ε > 0 {\textstyle \varepsilon >0} , existe C ( ε ) ∈ R + {\textstyle C(\varepsilon )\in \mathbb {R} _{+}} tal que, se β {\textstyle \beta } é um zero real de L ( s , χ D ) {\textstyle L(s,\chi _{D})} , então β < 1 − C ( ε ) | D | − 3 8 − ε {\textstyle \beta <1-C(\varepsilon )|D|^{-{\frac {3}{8}}-\varepsilon }} . Contudo, no mesmo ano, e no mesmo volume do mesmo periódico, Siegel melhorou diretamente esta estimativa para
Teorema de Siegel–Tatuzawa
Em 1951, T. Tatuzawa demonstrou uma versão 'quase' efetiva do teorema de Siegel, mostrando que para qualquer 0 < ε < 1 11.2 {\textstyle 0<\varepsilon <{\frac {1}{11.2}}} fixo, se | D | > e 1 / ε {\textstyle |D|>e^{1/\varepsilon }} então 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.
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 ζ Q ( D ) ( s ) = ζ ( s ) L ( s , χ D ) {\textstyle \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 s = 1 e aritmética vem mais precisamente da Fórmula do número de classes de Dirichlet: Desta forma, estimativas para o maior zero real de L ( s , χ D ) {\textstyle L(s,\chi _{D})} pode ser traduzido em estimativas para L ( 1 , χ D ) {\textstyle L(1,\chi _{D})} (via, por exemplo, o fato de que | L ′ ( σ , χ ) | = O ( log 2 q ) {\textstyle |L'(\sigma ,\chi )|=O(\log ^{2}q)} para 1 − 1 log q ≤ σ ≤ 1 {\textstyle 1-{\frac {1}{\log q}}\leq \sigma \leq 1} ), que por sua vez se tornam estimativas para h ( D ) {\textstyle h(D)} . Trabalhos clássicos na área tratam estas três quantidades de forma essencialmente intercambiável, apesar de o caso D > 0 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 ζ K ( s ) = ∑ I ⊆ O K [ O K : I ] − s {\textstyle \zeta _{K}(s)=\sum _{I\subseteq {\mathfrak {O}}_{K}}[{\mathfrak {O}}_{K}:I]^{-s}} de um corpo de números abeliano K / Q {\textstyle K/\mathbb {Q} } pode ser escrita como um produto de funções L de Dirichlet. Sendo assim, se ζ K ( s ) {\textstyle \zeta _{K}(s)} possui um zero de Siegel, então existe um subcorpo F ⊆ K {\textstyle F\subseteq K} com [ F : Q ] = 2 {\textstyle [F:\mathbb {Q} ]=2} tal que ζ F ( s ) {\textstyle \zeta _{F}(s)} possui um zero de Siegel.
Quando lidando com corpos quadráticos, o caso D > 0 {\textstyle D>0} tende a ser mais complicado devido ao comportamento da unidade fundamental. Dessa forma, é comum tratar os casos D < 0 {\textstyle D<0} e D > 0 {\textstyle 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 {\textstyle D<0} implica que h ( D ) ≫ | D | ( log | D | ) − 1 {\textstyle 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): onde a soma percorre formas quadráticas binárias reduzidas a x 2 + b x y + c y 2 {\textstyle ax^{2}+bxy+cy^{2}} de discriminante b 2 − 4 a c = D {\textstyle 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.
Multiplicação complexa
Outra equivalência para "zeros de Siegel não existem" para D < 0 {\textstyle D<0} pode ser dada em termos de cotas superiores para alturas de módulos singulares: O número j ( τ D ) {\textstyle j(\tau _{D})} gera o corpo de classe de Hilbert de Q ( D ) {\textstyle \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 / C {\textstyle E_{D}/\mathbb {C} } com multiplicação complexa por Z [ τ D ] {\textstyle \mathbb {Z} [\tau _{D}]} , tem-se
Apesar de se esperar que a Hipótese de Riemann generalizada seja verdadeira, enquanto a conjectura "zeros de Siegel não existem" continua aberta, é interessante estudar quais são as consequências de tais contra-exemplos que contrariam 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:
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.
