Gaps between quadratic forms

Resumo Técnico de "Gaps Between Quadratic Forms" de Siddharth Iyer

Enunciado do Problema
Este artigo investiga a distribuição de inteiros representados por formas quadráticas específicas dentro de intervalos curtos. Especificamente, aborda o problema de limitar as lacunas entre inteiros consecutivos $n$ tais que $n$ é representado pela forma quadrática $x^2 + xy + y^2$ (denotada como o conjunto $\triangle$) e $n+a$ é representado como uma soma de dois quadrados (denotada como o conjunto $\mathbb{O}^2$), para um inteiro não nulo fixo $a$. O conjunto de interesse é definido como $S(\triangle, \mathbb{O}^2, a) = \{n : n \in \triangle, n+a \in \mathbb{O}^2\}$.

O trabalho baseia-se em resultados clássicos concernentes à correlação de representações de formas quadráticas. Faz referência à fórmula assintótica de Estermann (1932) para a soma de produtos de funções de representação $r_2(n)r_2(n+a)$, e a melhorias subsequentes por Hooley, Chamizo e Müller relativas aos termos de erro e à densidade desses inteiros em intervalos. Enquanto o Lema 1.2 estabelece que as lacunas entre elementos de $S(\mathbb{O}^2, \mathbb{O}^2, a)$ são limitadas por $O(x^{1/2})$, o artigo busca estabelecer limites análogos, embora mais fracos, para o caso misto $S(\triangle, \mathbb{O}^2, a)$.

Metodologia
O autor emprega técnicas de teoria analítica dos números, focando na avaliação assintótica de somas envolvendo funções multiplicativas e somas de caracteres.

1. Funções de Representação e Caracteres:
   O artigo utiliza o fato de que o número de representações $R_2(n)$ para $x^2+xy+y^2$ e $r_2(n)$ para somas de dois quadrados podem ser expressos via caracteres de Dirichlet. Especificamente, $R_2(n) = 6 \sum_{d|n} \chi_3(d)$ e $r_2(n) = 4 \sum_{d|n} \chi_4(d)$, onde $\chi_3$ e $\chi_4$ são caracteres não triviais módulo 3 e 4, respectivamente.

2. Adaptação do Teorema de Tolev:
   Uma ferramenta central é um teorema de Tolev (2012) concernente a somas de dois quadrados em progressões aritméticas. O autor adapta isso para lidar com a correlação entre $F_{\chi_3}(n)$ e $F_{\chi_4}(n+a)$. No entanto, uma aplicação direta do teorema de Müller (1989) sobre somas de funções multiplicativas é insuficiente porque $\chi_3$ e $\chi_4$ não podem ser simultaneamente elevados a um caractere primitivo módulo um $k$ comum (especificamente onde $12|k$) sem perder a primitividade.

3. Análise de Funções Multiplicativas:
   Para superar a limitação de caracteres não primitivos, o artigo introduz uma nova abordagem envolvendo a função $\eta_a(q)$, que conta soluções para $\alpha^2 + \beta^2 \equiv a \pmod q$. O cerne da prova (Teorema 1.6) envolve analisar a soma:
   $$\sum_{\substack{n \le x \\ (n,b)=1}} F_{\psi}(n) F_{\chi_4}(n+a)$$
   onde $\psi$ é um caractere real não trivial módulo um inteiro par $b \ge 4$. O autor decompõe a soma usando as propriedades da convolução de $\psi$ com a função constante 1, denotada $F_\psi$.

4. Comportamento de $\eta_a(d)$:
   Uma parte significativa do trabalho técnico (Seção 3.1) é dedicada à análise do comportamento da função $\lambda_a(d) = \eta_a(d)/d$. O autor estabelece limites e propriedades assintóticas para $\lambda_a(d)$ com base na fatoração em primos de $d$ e sua relação com $a$, utilizando lemas sobre primos $p \equiv 1, 3 \pmod 4$. Esta análise é crucial para provar que o coeficiente do termo principal $\beta(\psi, a)$ é estritamente positivo.

5. Análise de Lacunas via Famílias Paramétricas:
   Para o resultado sobre lacunas (Teorema 1.7), o artigo constrói uma família paramétrica de soluções para a equação $c^2 + 3d^2 + a = u^2 + v^2$. Ao analisar as lacunas entre valores de um polinômio quártico derivado desta família, o autor deriva limites sobre o espaçamento de elementos em $S(\triangle, \mathbb{O}^2, a)$.

Contribuições e Resultados Chave

• Teorema 1.6 (Fórmula Assintótica): O artigo prova uma fórmula assintótica para a soma de produtos de funções de representação restritas a condições de coprimidade. Estabelece que para um caractere real não trivial $\psi$ módulo par $b \ge 4$:
  $$\sum_{\substack{n \le x \\ (n,b)=1}} F_{\psi}(n) F_{\chi_4}(n+a) = \beta(\psi, a) \eta^*(\psi, a) x + O(x^{5/6} \log^{19} x)$$
  Crucialmente, o autor prova que o coeficiente líder $\beta(\psi, a)$ é estritamente positivo, garantindo a existência de tais inteiros no intervalo especificado.

• Corolário 1.3 (Censo de Intervalo Curto): Aplicando o Teorema 1.6 com $\psi = \chi_6$, o artigo demonstra que para qualquer $\epsilon > 0$, existe uma constante $H_a > 0$ tal que para $x$ suficientemente grande:
  $$\# S(\triangle, \mathbb{O}^2, a) \cap [x, x + H_a x^{5/6} \log^{19} x] \ge x^{5/6 - \epsilon}$$
  Isso confirma que o conjunto $S(\triangle, \mathbb{O}^2, a)$ é deno o suficiente para garantir elementos em intervalos de comprimento ligeiramente maior que $x^{5/6}$.

• Teorema 1.7 (Limite de Lacuna): O artigo fornece um limite para as maiores lacunas entre elementos de $S(\triangle, \mathbb{O}^2, a)$. Mostra que para $x \ge 1$, existe um elemento do conjunto no intervalo $[x, x + D_a x^{\Upsilon(a)}]$, onde o expoente $\Upsilon(a)$ é:

  • $1/2$ se $a$ puder ser representado como $n^2 - 3m^2$ para inteiros $n, m$.
  • $5/8$ caso contrário.
    Este resultado é descrito como um "resultado de lacuna mais fraco" em comparação com o limite $x^{1/2}$ conhecido para $S(\mathbb{O}^2, \mathbb{O}^2, a)$.

Significado e Alegações
O artigo alega estender o trabalho clássico de Estermann (1932) e os refinamentos subsequentes de Müller (1989) ao contexto de formas quadráticas mistas. Ao utilizar o teorema de Tolev e conduzir uma análise detalhada da função multiplicativa $\eta_a(d)$, o autor deriva com sucesso uma fórmula assintótica onde métodos anteriores (baseados em caracteres primitivos) falharam.

O significado reside em estabelecer a existência de inteiros satisfazendo condições de representação quadrática mista em intervalos curtos, provando especificamente que as lacunas não são arbitrariamente grandes. O autor nota modestamente que, embora uma generalização do Teorema 1.7 seja possível, ela não é perseguida aqui. Além disso, o autor reconhece nos Agradecimentos que, se trabalhos futuros utilizando teoria espectral puderem compreender melhor a inter-relação entre formas quadráticas distintas, o resultado principal deste artigo pode tornar-se obsoleto, indicando que o resultado atual é um degrau em vez de uma resolução final. O trabalho também se conecta ao estudo mais amplo de normas de ideais em corpos numéricos quadráticos, sugerindo que resultados semelhantes podem ser obtidos para conjuntos $S(\mathfrak{a}_K, \mathbb{O}^2, a)$ onde $\mathfrak{a}_K$ representa normas de ideais em um corpo quadrático $K$.