Gaps between quadratic forms

Sintesi Tecnica di "Gaps Between Quadratic Forms" di Siddharth Iyer

Enunciato del Problema
Questo articolo indaga la distribuzione degli interi rappresentati da forme quadratiche specifiche all'interno di intervalli brevi. Nello specifico, affronta il problema di limitare i gap tra interi consecutivi $n$ tali che $n$ sia rappresentato dalla forma quadratica $x^2 + xy + y^2$ (indicata come l'insieme $\triangle$) e $n+a$ sia rappresentato come somma di due quadrati (indicata come l'insieme $\mathbb{O}^2$), per un intero non nullo $a$ fissato. L'insieme di interesse è definito come $S(\triangle, \mathbb{O}^2, a) = \{n : n \in \triangle, n+a \in \mathbb{O}^2\}$.

Il lavoro si basa su risultati classici riguardanti la correlazione delle rappresentazioni di forme quadratiche. Fa riferimento alla formula asintotica di Estermann (1932) per la somma dei prodotti delle funzioni di rappresentazione $r_2(n)r_2(n+a)$, e ai successivi miglioramenti di Hooley, Chamizo e Müller riguardanti i termini di errore e la densità di tali interi negli intervalli. Mentre il Lemma 1.2 stabilisce che i gap tra gli elementi di $S(\mathbb{O}^2, \mathbb{O}^2, a)$ sono limitati da $O(x^{1/2})$, l'articolo mira a stabilire limiti analoghi, sebbene più deboli, per il caso misto $S(\triangle, \mathbb{O}^2, a)$.

Metodologia
L'autore impiega tecniche di teoria analitica dei numeri, concentrandosi sulla valutazione asintotica di somme che coinvolgono funzioni moltiplicative e somme di caratteri.

1. Funzioni di Rappresentazione e Caratteri:
   L'articolo utilizza il fatto che il numero di rappresentazioni $R_2(n)$ per $x^2+xy+y^2$ e $r_2(n)$ per le somme di due quadrati possono essere espressi tramite caratteri di Dirichlet. Nello specifico, $R_2(n) = 6 \sum_{d|n} \chi_3(d)$ e $r_2(n) = 4 \sum_{d|n} \chi_4(d)$, dove $\chi_3$ e $\chi_4$ sono caratteri non banali modulo 3 e 4, rispettivamente.

2. Adattamento del Teorema di Tolev:
   Uno strumento centrale è un teorema di Tolev (2012) riguardante le somme di due quadrati in progressioni aritmetiche. L'autore adatta questo risultato per gestire la correlazione tra $F_{\chi_3}(n)$ e $F_{\chi_4}(n+a)$. Tuttavia, un'applicazione diretta del teorema di Müller (1989) sulle somme di funzioni moltiplicative è insufficiente perché $\chi_3$ e $\chi_4$ non possono essere sollevati simultaneamente a un carattere primitivo modulo un comune $k$ (specificamente dove $12|k$) senza perdere la primitività.

3. Analisi delle Funzioni Moltiplicative:
   Per superare il limite dei caratteri non primitivi, l'articolo introduce un nuovo approccio che coinvolge la funzione $\eta_a(q)$, che conta le soluzioni di $\alpha^2 + \beta^2 \equiv a \pmod q$. Il cuore della dimostrazione (Teorema 1.6) comporta l'analisi della somma:
   $$\sum_{\substack{n \le x \\ (n,b)=1}} F_{\psi}(n) F_{\chi_4}(n+a)$$
   dove $\psi$ è un carattere reale non banale modulo un intero pari $b \ge 4$. L'autore decompone la somma utilizzando le proprietà della convoluzione di $\psi$ con la funzione costante 1, indicata come $F_\psi$.

4. Comportamento di $\eta_a(d)$:
   Una parte significativa del lavoro tecnico (Sezione 3.1) è dedicata all'analisi del comportamento della funzione $\lambda_a(d) = \eta_a(d)/d$. L'autore stabilisce limiti e proprietà asintotiche per $\lambda_a(d)$ basati sulla fattorizzazione in primi di $d$ e sulla sua relazione con $a$, utilizzando lemmi riguardanti i primi $p \equiv 1, 3 \pmod 4$. Questa analisi è cruciale per dimostrare che il coefficiente del termine principale $\beta(\psi, a)$ è strettamente positivo.

5. Analisi dei Gap tramite Famiglie Parametriche:
   Per il risultato sui gap (Teorema 1.7), l'articolo costruisce una famiglia parametrica di soluzioni all'equazione $c^2 + 3d^2 + a = u^2 + v^2$. Analizzando i gap tra i valori di un polinomio di quarto grado derivato da questa famiglia, l'autore ricava limiti sulla spaziatura degli elementi in $S(\triangle, \mathbb{O}^2, a)$.

Contributi e Risultati Chiave

• Teorema 1.6 (Formula Asintotica): L'articolo dimostra una formula asintotica per la somma dei prodotti delle funzioni di rappresentazione vincolate a condizioni di coprimo. Stabilisce che per un carattere reale non banale $\psi$ modulo pari $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, l'autore dimostra che il coefficiente principale $\beta(\psi, a)$ è strettamente positivo, garantendo l'esistenza di tali interi nell'intervallo specificato.

• Corollario 1.3 (Censimento in Intervalli Brevi): Applicando il Teorema 1.6 con $\psi = \chi_6$, l'articolo dimostra che per ogni $\epsilon > 0$, esiste una costante $H_a > 0$ tale che per $x$ sufficientemente grande:
  $$\# S(\triangle, \mathbb{O}^2, a) \cap [x, x + H_a x^{5/6} \log^{19} x] \ge x^{5/6 - \epsilon}$$
  Ciò conferma che l'insieme $S(\triangle, \mathbb{O}^2, a)$ è sufficientemente denso da garantire elementi in intervalli di lunghezza leggermente superiore a $x^{5/6}$.

• Teorema 1.7 (Limite sui Gap): L'articolo fornisce un limite sui gap più grandi tra gli elementi di $S(\triangle, \mathbb{O}^2, a)$. Mostra che per $x \ge 1$, esiste un elemento dell'insieme nell'intervallo $[x, x + D_a x^{\Upsilon(a)}]$, dove l'esponente $\Upsilon(a)$ è:

  • $1/2$ se $a$ può essere rappresentato come $n^2 - 3m^2$ per interi $n, m$.
  • $5/8$ altrimenti.
    Questo risultato è descritto come un "risultato sui gap più debole" rispetto al limite $x^{1/2}$ noto per $S(\mathbb{O}^2, \mathbb{O}^2, a)$.

Significato e Affermazioni
L'articolo afferma di estendere il lavoro classico di Estermann (1932) e i successivi raffinamenti di Müller (1989) al contesto delle forme quadratiche miste. Utilizzando il teorema di Tolev e conducendo un'analisi dettagliata della funzione moltiplicativa $\eta_a(d)$, l'autore deriva con successo una formula asintotica dove i metodi precedenti (basati su caratteri primitivi) fallivano.

Il significato risiede nell'istituire l'esistenza di interi che soddisfano condizioni di rappresentazione quadratica mista in intervalli brevi, dimostrando specificamente che i gap non sono arbitrariamente grandi. L'autore nota modestamente che, sebbene una generalizzazione del Teorema 1.7 sia possibile, non viene perseguita qui. Inoltre, l'autore riconosce nei Ringraziamenti che se lavori futuri che utilizzano la teoria spettrale potessero comprendere meglio l'interazione tra forme quadratiche distinte, il risultato principale di questo articolo potrebbe diventare obsoleto, indicando che il risultato attuale è un gradino piuttosto che una risoluzione finale. Il lavoro si collega anche al più ampio studio delle norme degli ideali nei campi numerici quadratici, suggerendo che risultati simili possono essere ottenuti per insiemi $S(\mathfrak{a}_K, \mathbb{O}^2, a)$ dove $\mathfrak{a}_K$ rappresenta le norme degli ideali in un campo quadratico $K$.