The moments of split greatest common divisors

Sintesi Tecnica: I Momenti del Massimo Comun Divisore di Scissione

Enunciato del Problema
Questo articolo affronta il comportamento asintotico dei momenti della successione $(\gcd(n, u_n))_{n \in \mathbb{N}}$, dove $(u_n)$ è una successione di Lucas non degenere. Sebbene lo studio di $\gcd(u_n, v_n)$ per sequenze di divisibilità generali sia un problema difficile connesso a profonde congetture della geometria diagenetica (come la congettura di Vojta), il caso specifico di $\gcd(n, u_n)$ corrisponde a sequenze di divisibilità derivanti dal gruppo algebrico $\mathbb{G}_a \times \mathbb{G}_m$.

Il lavoro precedente di Sanna ha stabilito gli asintoti per i momenti logaritmici $\sum_{n \le x} (\log \gcd(n, u_n))^\lambda$. Tuttavia, i momenti della successione stessa, $\sum_{n \le x} \gcd(n, u_n)^\lambda$, rimanevano in gran parte irrisolti, con la disponibilità solo di parziali limiti superiori (ad esempio, da Mastrostefano). L'obiettivo primario è determinare stime asintotiche precise per questi momenti, fornendo sia risultati incondizionati che risultati condizionati basati su standard congetture nella teoria analitica dei numeri.

Metodologia
Gli autori impiegano una combinazione di teoria analitica dei numeri, proprietà delle successioni di Lucas e costruzioni combinatorie coinvolgenti numeri smooth (numeri composti da fattori piccoli).

1. Rango di Apparizione e Divisibilità: L'analisi si basa sul rango di apparizione $z(m)$, il minimo $n$ tale che $m \mid u_n$. La condizione $n' = \gcd(n'k, u_{n'k})$ viene tradotta in condizioni riguardanti $z(n')$ e la divisibilità di $n'k$. La sommatoria viene decomposta in base a coppie $(n', k)$ dove $n = n'k$.
2. Limiti Superiori: Il limite superiore incondizionato è derivato dividendo il dominio di sommatoria in casi basati sulla dimensione di variabili ausiliarie. Una componente critica è il limite del numero di interi $n$ per i quali $\gcd(n, z(n))$ è grande. Ciò utilizza un risultato di Gordon e Pomerance riguardante il conteggio di interi con un dato rango di apparizione.
   • Per il limite superiore condizionato, gli autori assumono la Congettura 3.2, la quale postula una stima di densità più forte per gli interi con un dato rango di apparizione, analogamente ai limiti per i pseudoprimi.
3. Limiti Inferiori: La strategia consiste nel costruire un grande sottoinsieme di interi $n$ tali che $n \mid u_n$ (denotato con $N_u(x)$).
   • Limite Inferiore Condizionato: Gli autori costruiscono un insieme di interi composti da primi traslati $p$ dove $p - (\Delta/p)$ è smooth. Questo si basa sulla Congettura 4.2, una debole istanza della congettura di Granville sulla distribuzione dei primi traslati smooth.
   • Limite Inferiore Incondizionato: Per il caso specifico in cui il coefficiente $a_2 = \pm 1$, gli autori utilizzano un recente risultato di Lichtman sulla distribuzione dei primi traslati smooth in progressioni aritmetiche (Teorema 5.1). Ciò permette di costruire un insieme sufficientemente grande di interi $n$ che dividono $u_n$ senza assumere congetture non provate.
4. Stime Integrali: Per passare dalla cardinalità dell'insieme $N_u(x)$ alla somma dei momenti, gli autori applicano il teorema integrale di Karamata e argomenti di sommazione parziale.

Risultati Chiave

• Asintoti Condizionati (Teorema 1.3): Assumendo le Congetture 3.2 e 4.2, per una successione di Lucas non degenere con $a_2 = \pm 1$, i momenti soddisfano:
  $$\sum_{n \le x} \gcd(n, u_n)^\lambda = x^{\lambda+1 - (1+o_\lambda(1)) \frac{\log \log \log x}{\log \log x}}$$
  Questo risolve il problema dei momenti per $\mathbb{G}_a \times \mathbb{G}_m$ sotto standard congetture.

• Limite Superiore Incondizionato (Teorema 1.4): Per ogni successione di Lucas non degenere, gli autori dimostrano:
  $$\sum_{n \le x} \gcd(n, u_n)^\lambda \le x^{\lambda+1 - (1/2+o_\lambda(1)) \frac{\log \log \log x}{\log \log x}}$$
  L'esponente $1/2$ è notato come un artefatto del metodo attuale.

• Limite Inferiore Incondizionato (Teorema 1.4): Se $a_2 = \pm 1$, gli autori stabiliscono un limite inferiore:
  $$\sum_{n \le x} \gcd(n, u_n)^\lambda \ge x^{\lambda + 0.715}$$
  Questo risultato è derivato utilizzando il teorema di Lichtman sui primi traslati smooth.

• Congettura Raffinata (Congettura 1.5): Basandosi sull'analogia con i pseudoprimi di Lucas, gli autori congetturano una forma asintotica più precisa che coinvolge un termine esponenziale con logaritmi iterati, suggerendo che i limiti attuali non rappresentano il limite finale di precisione.

• Corollari: I metodi portano a limiti migliorati sulla distribuzione di $\gcd(n, u_n)$ (Corollario 1.6) e forniscono una nuova prova analitica per il teorema principale in [25] riguardante il conteggio di $n$ tali che $\gcd(n, u_n) = n$.

Significatività e Rivendicazioni
L'articolo sostiene di compiere "progressi cruciali" sul problema dei momenti per $\mathbb{G}_a \times \mathbb{G}_m$. Nello specifico, esso:

1. Risolve le Congetture 3 e 5 di [29] nel caso $a_2 = \pm 1$.
2. Risolve la congettura principale di [13].
3. Migliora il limite incondizionato di [2, Th. 1.3] tramite il limite di Lichtman.
4. Fornisce un limite inferiore corrispondente per le congetture in [13] e [25].
5. Risponde a un caso specifico della Domanda 1.1 e fa progressi sulla Domanda 1.2 in [27].

Gli autori osservano che dimostrare il limite asintotico condizionato (Teorema 1.3) in modo incondizionato è attualmente impraticabile, poiché il limite inferiore dipende dalla distribuzione dei primi traslati smooth, un problema non ancora risolto senza assumere congetture come quella di Elliott–Halberstam. Il caso $a_2 = \pm 1$ è evidenziato come lo scenario più "interessante" e trattabile per questi metodi.