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 excepcionalVer Iwaniec (2006).), 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 .
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õ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 , um caráter de Dirichlet módulo é uma função aritmética satisfazendo as seguintes propriedades: (Completamente multiplicativa) para todo , ; (Periódica) para todo ; (Suporte) se . Isto é, é o levantamento de um homomorfismo .
O caráter trivial é o caráter módulo 1, e o caráter principal módulo , denotado , é o levantamento do homomorfismo trivial . Um caráter é chamado de imprimitivo se existe um inteiro com tal que o homomorfismo induzido fatora-se em
para algum caráter ; caso contrário, é chamado de primitivo. Um caráter é real (ou quadrático) se este é igual ao seu conjugado complexo (definido como ), ou equivalentemente . Os caractéres de Dirichlet reais primitivos estão em correspondência biunívoca com os símbolos de Kronecker para um discriminante fundamental (isto é, o discriminante de um corpo quadrático).Veja Satz 4, §5 de Zagier (1981). Uma maneira de definir é como a função aritmética completamente multiplicativa determinada por (para primo):
Portanto, é comum escrever , os quais são caracteres primitivos reais módulo .
Região livre de zeros clássica
A função L de Dirichlet associada ao caráter é definida como a continuação analítica da série de Dirichlet definida para , onde s a uma variável complexa. Para não-principal, esta continuação é inteira; caso contrário esta possui um polo simples de resíduo em como sua única singularidade. Para , funções L de Dirichlet podem ser expressas como o produto de Euler , donde segue que não possui zeros nesta região. O teorema dos números primos para progressões aritméticas é equivalente (em certo sentido) a (). Além disso, pela equação funcional, pode-se refletir estas regiões via para concluir que, com a exceção de inteiros negativos com mesma paridade que , é par se , e ímpar se . todos os outros zeros de estão em . 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) tal que, escrevendo para a variável complexa, a função não possui zeros na região
se é não-real. Se é 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 , todos os zeros não-triviais de estão na reta .
Definindo "zeros de Siegel"
A definição de zeros de Siegel como apresentada acima depende da constante 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 é 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 denota o maior zero real de , então .
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:
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 até certa altura.Veja o Capítulo 16 de Davenport (1980).
Estimativas de Landau–Siegel O primeiro avanço na questão destes zeros veio de Landau, que mostrou que existe uma constante absoluta efetivamente computável tal que, se e são caráteres reais primitivos de módulo distinto, e são zeros reais de 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 . 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 , existe tal que, se é um zero real de , então . Contudo, no mesmo ano, e no mesmo volume do mesmo periódico, Siegel melhorou diretamente esta estimativa para
Tanto a demonstração de Landau quanto a de Siegel não fornecem algoritmos para calcular 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 fixo, se 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.
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 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 e aritmética vem mais precisamente da Fórmula do número de classes de Dirichlet:
onde: é o número de classes de ideais de ; é número de raízes da unidade em (); é a unidade fundamental de (). Desta forma, estimativas para o maior zero real de pode ser traduzido em estimativas para (via, por exemplo, o fato de que para ),Veja (11) no Capítulo 14 de Davenport (1980). que por sua vez se tornam estimativas para . Trabalhos clássicos na área tratam estas três quantidades de forma essencialmente intercambiável, apesar de o caso 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 de um corpo de números abeliano pode ser escrita como um produto de funções L de Dirichlet.Teorema 10.5.25 em . Sendo assim, se possui um zero de Siegel, então existe um subcorpo com tal que possui um zero de Siegel.
Enquanto para o caso não-abeliano pode em geral ser fatorado apenas em termos de funções L de Artin, o mesmo resultado vale:
Teorema (Stark, 1974).Lema 8 em Seja um corpo de números de grau . Existe uma constante ( se é normal, caso contrário) tal que, se existe um real no intervalo
com , então existe um subcorpo quadrático tal que . Aqui, denota o discriminante da extensão .
"Zeros de Siegel não existem" para D < 0 Quando lidando com corpos quadráticos, o caso tende a ser mais complicado devido ao comportamento da unidade fundamental. Dessa forma, é comum tratar os casos e 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 implica que (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 reduzidasUma forma quadrática é dita reduzida se: (1) ou (2) . de discriminante . 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 , incondicional e efetiva:
Multiplicação complexa Outra equivalência para "zeros de Siegel não existem" para pode ser dada em termos de cotas superiores para alturas de módulos singulares:
onde: é a altura logarítmica ingênua para corpos de números; é a função j-invariante; . O número gera o corpo de classe de Hilbert de , que é definido como a sua extensão abeliana não-ramificada maximal.Teorema II.4.1 em . 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 com multiplicação complexa por , tem-se
onde denota a altura de Faltings.Veja o diagrama na subseção 0.6 de Colmez (1993). Há um pequeno erro de digitação no canto superior direito deste diagrama, que deveria ler "". Via as relações padrões Proposição 2.1, Capítulo X de e ,Consequência da equação funcional, onde é a constante de Euler–Mascheroni. 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 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: 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 linearVeja o Capítulo 9 de 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
Categoria:Funções Zeta e L Categoria:Teoria analítica dos números