Dirichlet Series and Asymptotics for Generalized Legendre Factorials

Titolo: Serie di Dirichlet e Asintotici per Fattoriali Generalizzati di Legendre

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della teoria dei numeri analitica e studia il comportamento asintotico di funzioni fattoriali generalizzate definite su domini di Dedekind.

• Fondamento Classico: La formula di Legendre classica descrive la valutazione $p$-adica del fattoriale $n!$ come $v_p(n!) = \sum_{k \ge 0} \lfloor n/p^k \rfloor$.
• Generalizzazione: Esistono diverse generalizzazioni in cui i termini $p^k$ sono sostituiti da altre sequenze aritmetiche legate ai primi. In particolare, Bhargava ha introdotto fattoriali generalizzati su domini di Dedekind finitamente generati come $\mathbb{Z}$-algebre.
• La Questione Aperta: Mentre le proprietà strutturali di questi fattoriali sono note, una spiegazione analitica unificata e precisa per il loro comportamento asintotico (analoga alla formula di Stirling) era parzialmente mancante. Il paper mira a rispondere a una domanda di Bhargava [6] fornendo una derivazione analitica rigorosa per una classe ampia di tali costruzioni.

2. Metodologia

Gli autori sviluppano un quadro basato sulle serie di Dirichlet per analizzare la crescita di questi fattoriali. La metodologia si articola nei seguenti passaggi chiave:

1. Definizione del Fattoriale Generalizzato:
   Sia $K$ un campo di numeri e $S$ un insieme finito di ideali primi. Per una funzione $f$ sugli ideali primi di $K \setminus S$, viene definito un fattoriale generalizzato $n!_{K,f}$ specificando le valutazioni:
   $$v_p(n!_{K,f}) = \sum_{k \ge 0} \left\lfloor \frac{n}{f(p)N(p)^k} \right\rfloor$$
   dove $N(p)$ è la norma assoluta dell'ideale primo.

2. Analisi dell'Incremento:
   Invece di studiare direttamente $n!_{K,f}$, si analizza la funzione di incremento logaritmico:
   $$B_{K,f,S}(n) = \log \left( \frac{n!_{K,f}}{(n-1)!_{K,f}} \right)$$
   La somma parziale $S_{K,f,S}(x) = \sum_{n \le x} B_{K,f,S}(n)$ determina il comportamento asintotico del fattoriale.

3. Rappresentazione come Serie di Dirichlet:
   Viene dimostrata una rappresentazione fondamentale per la serie di Dirichlet associata all'incremento:
   $$D_{K,f,S}(s) = \sum_{n \ge 1} \frac{B_{K,f,S}(n)}{n^s} = \zeta(s) \sum_{p \notin S} \frac{\log N(p)}{f(p)^s (1 - N(p)^{-s})}$$
   Questa identità rivela una connessione profonda con la derivata logaritmica della funzione zeta di Dedekind $\zeta_{K,S}(s)$.

4. Decomposizione Analitica:
   Sotto l'ipotesi che $f(p) = c N(p) + O(N(p)^{1-\delta})$, la serie $D_{K,f,S}(s)$ viene decomposta in:
   $$D_{K,f,S}(s) = \zeta(s) \left[ c^{-s} \left( -\frac{\zeta'_{K,S}}{\zeta_{K,S}}(s) \right) + J_{K,f,S}(s) \right]$$
   dove $J_{K,f,S}(s)$ è una funzione olomorfa in un semipiano contenente $s=1$.

5. Struttura dei Poli:
   L'analisi mostra che $D_{K,f,S}(s)$ possiede un polo doppio in $s=1$ (derivante dal prodotto tra il polo semplice di $\zeta(s)$ e il polo semplice della derivata logaritmica di $\zeta_{K,S}$).

6. Formula di Perron e Spostamento del Contorno:
   Utilizzando la formula di Perron troncata e spostando il contorno di integrazione verso sinistra (sfruttando la regione priva di zeri della funzione zeta di Dedekind), si estraggono i termini principali dal residuo in $s=1$ e si stimano gli errori.

3. Risultati Principali

Il risultato centrale è il Teorema 1.1, che fornisce l'asintotico per la funzione di somma $S_{K,f,S}(x)$.

Sotto le ipotesi di crescita su $f(p)$, si ha:
$$S_{K,f,S}(x) = \frac{1}{c} x \log x + C_{K,f,S} x + O\left(x e^{-c_1 \sqrt{\log x}}\right)$$
dove:

• $c$ è la costante tale che $f(p) \sim c N(p)$.
• $C_{K,f,S}$ è una costante dipendente dal campo, dalla funzione $f$ e dall'insieme $S$.
• Il termine di errore è di tipo esponenziale sub-lineare ($e^{-c_1 \sqrt{\log x}}$), che è significativamente più preciso di stime precedenti.
• Termine Eccezionale: Se la funzione zeta di Dedekind $\zeta_K(s)$ possiede uno zero reale eccezionale $\beta_K \in (0,1)$, appare un termine aggiuntivo $C^*_K x^{\beta_K}$.

Corollario 7.2 (Applicazione ai Domini di Dedekind):
Applicando il teorema ai fattoriali generalizzati di Bhargava su un dominio di Dedekind $D$ finitamente generato come $\mathbb{Z}$-algebra, si ottiene:
$$\log n!_{D,S} = a_{D,S} n \log n + C_{D,S} n + O\left(n e^{-c_1 \sqrt{\log n}}\right)$$
Questo risponde parzialmente alla domanda di Bhargava sulla formula di Stirling per i suoi fattoriali generalizzati.

4. Contributi Chiave

1. Quadro Unificato: Fornisce un approccio analitico coerente basato sulle serie di Dirichlet per una vasta classe di fattoriali generalizzati, unificando casi precedentemente studiati separatamente.
2. Precisione dell'Errore: Migliora i termini di errore rispetto alle analisi precedenti (che spesso si basavano su funzioni di tipo Chebyshev), ottenendo un resto di tipo $O(x e^{-c\sqrt{\log x}}$ grazie all'uso della regione priva di zeri della funzione zeta.
3. Spiegazione Concettuale: Dimostra che la struttura dei poli della serie di Dirichlet associata (in particolare il polo doppio in $s=1$) è la causa diretta del termine dominante $x \log x$ nell'asintotico, offrendo una spiegazione "conceptuale" alla crescita di questi oggetti aritmetici.
4. Generalizzazione: Il metodo si applica naturalmente agli anelli di interi $S$-interi e a domini di Dedekind finitamente generati, estendendo i risultati oltre il caso classico dei numeri interi.

5. Significato e Impatto

Questo lavoro colma un divario tra la teoria algebrica dei numeri (struttura dei domini di Dedekind e fattoriali generalizzati) e la teoria analitica dei numeri (comportamento asintotico delle funzioni aritmetiche).

• Risolve una questione aperta relativa alla formula di Stirling per i fattoriali di Bhargava, fornendo una prova analitica rigorosa.
• Dimostra la potenza delle tecniche di spostamento del contorno e delle serie di Dirichlet nello studio di funzioni fattoriali non standard.
• Apre la strada a ulteriori ricerche sul comportamento asintotico di funzioni aritmetiche definite su strutture algebriche più complesse, utilizzando la struttura dei poli delle funzioni $L$ associate.

In sintesi, il paper trasforma un problema combinatorio-algebrico in un problema di analisi complessa, risolvendolo con tecniche standard ma potenti della teoria dei numeri analitica, ottenendo risultati di alta precisione.