Na matemática, uma soma de Kloosterman é um tipo particular de soma exponencial. Elas foram nomeadas em homenagem ao matemático holandês Hendrik Kloosterman, que as introduziu em 1926Kloosterman, H. D. On the representation of numbers in the form ax2 + by2 + cz2 + dt2, Acta Mathematica 49 (1926), pp. 407–464 quando adaptou o método do círculo de Hardy-Littlewood para abordar um problema envolvendo formas quadráticas diagonais definidas positivas em quatro variáveis, fortalecendo sua pesquisa de tese de 1924 sobre cinco ou mais variáveis.Kloosterman, H. D. Over het splitsen van geheele positieve getallen in een some van kwadraten, Tese (1924) Universiteit Leiden
Sejam números naturais. Então
Aqui, é o inverso de módulo .
Contexto As somas de Kloosterman são um análogo em anéis finitos das funções de Bessel. Elas ocorrem (por exemplo) na expansão de Fourier de formas modulares.
Existem aplicações para valores médios envolvendo a Função zeta de Riemann, primos em intervalos curtos, primos em progressões aritméticas, a teoria espectral de funções automórficas e tópicos relacionados.
Propriedades das somas de Kloosterman Se ou , então a soma de Kloosterman se reduz à Soma de Ramanujan. depende apenas da classe de resíduos de e módulo . Além disso, e se . Seja com e coprimos. Escolha e tais que e . Então
Isso reduz a avaliação das somas de Kloosterman ao caso em que para um número primo e um inteiro .
O valor de é sempre um número real algébrico. De fato, é um elemento do subcorpo que é a composição dos corpos
onde percorre todos os primos ímpares tais que e
para com .
A identidade de Selberg:
foi enunciada por Atle Selberg e provada pela primeira vez por Kuznetsov usando a teoria espectral de formas modulares. Atualmente, são conhecidas demonstrações elementares desta identidade.
Para sendo um primo ímpar, não há nenhuma fórmula simples conhecida para , e a Conjectura de Sato-Tate sugere que nenhuma exista. As fórmulas de levantamento abaixo, no entanto, são frequentemente tão boas quanto uma avaliação explícita. Se , também se tem a importante transformação:
onde denota o Símbolo de Jacobi.
Seja com , primo e assuma que . Então:
onde é escolhido de modo que e é definido da seguinte forma (note que é ímpar):
Esta fórmula foi encontrada pela primeira vez por Hans SaliéHans Salie, Uber die Kloostermanschen Summen S(u,v; q), Math. Zeit. 34 (1931–32) pp. 91–109. e existem muitas demonstrações simples na literatura.
Estimativas Como as somas de Kloosterman ocorrem na expansão de Fourier de formas modulares, as estimativas para as somas de Kloosterman também produzem estimativas para os coeficientes de Fourier de formas modulares. A estimativa mais famosa deve-se a André Weil e afirma:
Aqui, é o número de divisores positivos de . Devdue às propriedades multiplicativas das somas de Kloosterman, essas estimativas podem ser reduzidas ao caso em que é um número primo . Uma técnica fundamental de Weil reduz a estimativa
quando , aos seus resultados sobre funções zeta locais. Geometricamente, a soma é feita ao longo de uma 'hipérbole' e consideramos isso como a definição de uma curva algébrica sobre o corpo finito com elementos. Esta curva possui um recobrimento de Artin-Schreier ramificado , e Weil mostrou que a função zeta local de possui uma fatoração; esta é a teoria da função L de Artin para o caso de corpos globais que são corpos de funções, para a qual Weil dá um artigo de 1938 de J. Weissinger como referência (no ano seguinte ele deu um artigo de 1935 de Helmut Hasse como referência anterior para a ideia; dado o comentário bastante depreciativo de Weil sobre a capacidade dos teóricos analíticos dos números de resolverem este exemplo sozinhos, em seus Collected Papers, essas ideias eram presumivelmente 'folclore' de longa data). Os fatores não polares são do tipo , onde é uma soma de Kloosterman. A estimativa segue então do trabalho básico de Weil de 1940.
Esta técnica, de fato, mostra de forma muito mais geral que somas exponenciais completas 'ao longo' de variedades algébricas possuem boas estimativas, dependendo das Conjecturas de Weil em dimensão > 1. Ela foi levada muito mais adiante por Pierre Deligne, Gérard Laumon e Nicholas Katz.
Somas de Kloosterman curtas
As somas de Kloosterman curtas são definidas como somas trigonométricas da forma
onde percorre um conjunto de números, coprimos com , sendo o número de elementos essencialmente menor que , e o símbolo denota a classe de congruência inversa de módulo :
Até o início da década de 1990, as estimativas para somas desse tipo eram conhecidas principalmente no caso em que o número de somandos era maior que . Tais estimativas deveram-se a H. D. Kloosterman, I. M. Vinogradov, H. Salié, L. Carlitz, S. Uchiyama e A. Weil. As únicas exceções eram os módulos especiais da forma , onde é um primo fixo e o expoente cresce ao infinito (este caso foi estudado por A. G. Postnikov por meio do método de I. M. Vinogradov).
Na década de 1990, Anatolii Alexeevitch Karatsuba desenvolveu um novo método para estimar somas de Kloosterman curtas. O método de Karatsuba torna possível estimar as somas de Kloosterman nas quais o número de somandos não excede e, em alguns casos, até mesmo , onde é um número fixo arbitrariamente pequeno. O último artigo de A. A. Karatsuba sobre este assunto foi publicado após sua morte.
Vários aspectos do método de Karatsuba encontraram aplicações na resolução dos seguintes problemas da teoria analítica dos números:
encontrar a assintótica das somas de partes fracionárias da forma:
onde percorre, um após o outro, os números inteiros que satisfazem a condição , e percorre os primos que não dividem o módulo (A. A. Karatsuba);
encontrar o limite inferior para o número de soluções de inequações da forma:
nos inteiros , coprimos com , (A. A. Karatsuba);
a precisão da aproximação de um número real arbitrário no segmento por partes fracionárias da forma:
onde (A. A. Karatsuba);
uma constante mais precisa no Teorema de Brun-Titchmarsh:
onde é o número de primos , não excedendo e pertencentes à progressão aritmética (J. Friedlander, H. Iwaniec);
um limite inferior para o maior divisor primo do produto de números da forma: (D. R. Heath-Brown); provar que existem infinitos primos da forma: (J. Friedlander, H. Iwaniec); propriedades combinatórias do conjunto de números (A. A. Glibichuk):
Levantamento de somas de Kloosterman Embora as somas de Kloosterman não possam ser calculadas em geral, elas podem ser "levantadas" para corpos de números algébricos, o que frequentemente produz fórmulas mais convenientes. Seja um número inteiro livre de quadrados com . Assuma que para qualquer fator primo de temos
Então, para todos os inteiros coprimos com temos
Aqui, é o número de fatores primos de contando a multiplicidade. A soma à direita pode ser reinterpretada como uma soma sobre inteiros algébricos no corpo . Esta fórmula deve-se a Yangbo Ye, inspirada por Don Zagier e estendendo o trabalho de Hervé Jacquet e Ye na fórmula do traço relativa para . De fato, somas exponenciais muito mais gerais podem ser levantadas.
Fórmula do traço de Kuznetsov
A fórmula de Kuznetsov ou do traço relativo conecta as somas de Kloosterman em um nível profundo com a teoria espectral de funções automórficas. Originalmente, isso poderia ter sido enunciado da seguinte forma. Seja uma função suficientemente "bem-comportada". Então, chamam-se identidades do seguinte tipo de fórmula do traço de Kuznetsov:
A parte da transformada integral é alguma transformada integral de e a parte espectral é uma soma de coeficientes de Fourier, tomada sobre espaços de formas modulares holomorfas e não holomorfas torcidas com alguma transformada integral de . A fórmula do traço de Kuznetsov foi encontrada por Kuznetsov enquanto estudava o crescimento de funções automórficas de peso zero. Usando estimativas em somas de Kloosterman, ele foi capaz de derivar estimativas para coeficientes de Fourier de formas modulares em casos onde a demonstração de Pierre Deligne das Conjecturas de Weil não era aplicável.
Ela foi posteriormente traduzida por Jacquet para um arcabouço da teoria de representação. Seja um grupo redutivo sobre um corpo de números e um subgrupo. Enquanto a fórmula do traço de Selberg usual estuda a análise harmônica em , a fórmula do traço relativo é uma ferramenta para estudar a análise harmônica no espaço simétrico . Para uma visão geral e inúmeras aplicações, veja as referências.
História A estimativa de Weil pode agora ser estudada em W. M. Schmidt, Equations over finite fields: an elementary approach, 2ª ed. (Kendrick Press, 2004). As ideias subjacentes aqui devem-se a S. Stepanov e inspiram-se no trabalho de Axel Thue em aproximação diofantina.
Existem muitas conexões entre as somas de Kloosterman e as formas modulares. De fato, as somas apareceram pela primeira vez (sem o nome) em um artigo de 1912 de Henri Poincaré sobre formas modulares. Hans Salié introduziu uma forma de soma de Kloosterman que é torcida por um caráter de Dirichlet: Tais somas de Salié possuem uma avaliação elementar.
Após a descoberta de importantes fórmulas conectando as somas de Kloosterman com formas modulares não holomorfas por Kuznetsov em 1979, que continham alguns 'ganhos na média' sobre a estimativa de raiz quadrada, houve desenvolvimentos adicionais por Iwaniec e Deshouillers em um artigo seminal na Inventiones Mathematicae (1982). Aplicações subsequentes à teoria analítica dos números foram elaboradas por uma série de autores, particularmente Bombieri, Fouvry, Friedlander e Iwaniec.
O campo permanece um tanto inacessível. Uma introdução detalhada à teoria espectral necessária para compreender as fórmulas de Kuznetsov é dada em R. C. Baker, Kloosterman Sums and Maass Forms, vol. I (Kendrick Press, 2003). Também relevante para estudantes e pesquisadores interessados na área é .
Yitang Zhang usou somas de Kloosterman em sua demonstração de lacunas limitadas entre primos.
Ver também Limite de Hasse
Bibliografia
Ligações externas Soma de Kloosterman no MathWorld (em inglês) Limiar de Bombieri-Weil na Encyclopedia of Mathematics (em inglês)
Categoria:Teoria analítica dos números