A note on the invariants of the $L$-functions

Titolo: Una nota sugli invarianti delle funzioni L

Autori: J. Kaczorowski e A. Perelli
Classificazione: 11M41 (Teoria analitica dei numeri, Funzioni L)

---

1. Il Problema e il Contesto

Il paper affronta una questione fondamentale nella teoria della Classe di Selberg estesa ($S^\sharp$). Ogni elemento $F \in S^\sharp$ soddisfa un'equazione funzionale di tipo Riemann:
$$\gamma(s)F(s) = \omega \gamma(1-s)F(1-s)$$
dove $\gamma(s)$ è un fattore gamma della forma:
$$\gamma(s) = Q^s \prod_{j=1}^r \Gamma(\lambda_j s + \mu_j)$$
I parametri $\omega, Q, \lambda, \mu$ costituiscono i dati dell'equazione funzionale.

Il Problema:
Sebbene il fattore $\gamma(s)$ sia univocamente determinato da $F$ a meno di una costante moltiplicativa, un'equazione funzionale specifica può essere scritta in forme diverse con insiemi di dati differenti. Questa ambiguità deriva dalle identità fondamentali della funzione Gamma:

1. Formula fattoriale: $s\Gamma(s) = \Gamma(s+1)$.
2. Formula di moltiplicazione di Legendre-Gauss: $\Gamma(s) = m^{s-1/2}(2\pi)^{(1-m)/2} \prod_{k=0}^{m-1} \Gamma(\frac{s+k}{m})$.

Un invariante è definito come una funzione $I(\omega, Q, \lambda, \mu)$ il cui valore dipende solo da $F$ e non dalla specifica rappresentazione di $\gamma(s)$.
In un lavoro precedente ([3]), gli autori avevano avanzato l'affermazione euristica che una funzione è un invariante se e solo se è stabile sotto l'applicazione delle formule di moltiplicazione e fattoriale. Tuttavia, questa affermazione presentava un difetto tecnico: l'applicazione della formula fattoriale trasforma $\gamma(s)$ in $R(s)\gamma(s)$, dove $R(s)$ è una funzione razionale. Di conseguenza, l'espressione originale $I(\omega, Q, \lambda, \mu)$ non è più definita per forme del tipo $R(s)\gamma(s)$, rendendo il concetto di "stabilità" sotto la formula fattoriale formalmente ambiguo.

Il paper mira a chiarire rigorosamente questo concetto, specialmente per gli importanti invarianti H ($H_F(n)$), la cui stabilità sotto la formula fattoriale era stata trattata in modo non soddisfacente in lavori precedenti ([2]).

---

2. Metodologia

Per risolvere l'ambiguità, gli autori introducono una nuova struttura concettuale basata sull'estensione razionale:

1. Definizione di Estensione Razionale:
   Si considera un prodotto del tipo $R(s)\gamma(s)$, dove $R(s)$ è una funzione razionale generica. Si definisce una funzione complessa $I^*(R, \omega, Q, \lambda, \mu)$ come un'estensione razionale di $I$ se, quando $R(s)$ è una costante, $I^*$ coincide con $I$.

2. Stabilità Formalizzata:
   Si definisce che un'estensione razionale $I^*$ è stabile sotto le formule di moltiplicazione e fattoriale se il suo valore rimane invariato quando si applicano queste formule al prodotto $R(s)\gamma(s)$, tenendo conto dei cambiamenti indotti sia sui parametri $(\omega, Q, \lambda, \mu)$ che sulla funzione razionale $R(s)$ stessa.

3. Costruzione Esplicita:
   Gli autori costruiscono esplicitamente tale estensione razionale per gli invarianti H. Per un prodotto $R(s)\gamma(s)$, dove $R(s)$ è espresso come rapporto di polinomi con radici $\alpha_j$ e $\beta_j$, definiscono:
   $$H^*(n) = 2\sum_{j=1}^r \frac{B_n(\mu_j)}{\lambda_j^{n-1}} + (-1)^n 2^n \left( \sum \beta_j^{n-1} - \sum \alpha_j^{n-1} \right)$$
   dove $B_n(x)$ sono i polinomi di Bernoulli. Questa definizione estende naturalmente gli invarianti originali $H_F(n)$ (che corrispondono al caso in cui $R(s)$ è costante).

4. Dimostrazione di Stabilità:
   Viene dimostrato che $H^*(n)$ è stabile sotto l'applicazione della formula fattoriale. L'uso dell'equazione funzionale dei polinomi di Bernoulli, $B_n(x+1) = B_n(x) + nx^{n-1}$, permette di mostrare che le variazioni introdotte dalla modifica del fattore Gamma sono esattamente compensate dalle variazioni indotte nella parte razionale $R(s)$.

---

3. Risultati Principali

Il risultato centrale del paper è il seguente Teorema:

Una funzione $I(\omega, Q, \lambda, \mu)$ dei dati è un invariante se e solo se possiede un'estensione razionale che è stabile sotto le formule di moltiplicazione e fattoriale.

Punti chiave della dimostrazione:

• Direttà: Se $I$ ha un'estensione razionale stabile, allora il valore di $I$ è invariante perché qualsiasi trasformazione tra due fattori gamma di $F$ può essere ottenuta tramite applicazioni ripetute di queste formule, e la stabilità garantisce che il valore non cambi.
• Inverso: Se $I$ è un invariante, gli autori dimostrano che può essere espresso come funzione degli invarianti fondamentali noti ($\omega_F$, $q_F$, e la sequenza infinita $H_F(n)$). Utilizzando le estensioni razionali di questi invarianti fondamentali ($H^*(n)$), si può costruire esplicitamente un'estensione razionale per $I$ che soddisfa le condizioni di stabilità.

---

4. Contributi Chiave e Novità

1. Risoluzione di un'ambiguità tecnica: Il paper fornisce la definizione rigorosa mancante per il concetto di "stabilità sotto la formula fattoriale", risolvendo le critiche mosse ai lavori precedenti sulla stabilità degli invarianti H.
2. Costruzione dell'estensione razionale: La novità principale risiede nella costruzione esplicita di un'estensione razionale per gli invarianti H (e per estensione per qualsiasi invariante). Questo permette di trattare formalmente i casi in cui la formula fattoriale introduce fattori razionali non banali.
3. Algoritmo di costruzione: Il paper non si limita a dimostrare l'esistenza, ma fornisce un algoritmo concreto per costruire l'estensione razionale di qualsiasi invariante, basandosi sulla dipendenza dagli invarianti fondamentali della classe di Selberg.

---

5. Significato e Implicazioni

Questo lavoro è significativo per la teoria analitica dei numeri per i seguenti motivi:

• Rigore nella Classificazione: Stabilisce un criterio preciso e verificabile per determinare se una funzione dei dati di un'equazione funzionale è un invariante genuino della funzione L sottostante.
• Validazione degli Invarianti H: Conferma in modo definitivo la natura di invariante degli invarianti $H_F(n)$, che sono strumenti cruciali per lo studio delle proprietà aritmetiche e analitiche delle funzioni L (ad esempio, nella congettura di Selberg o nello studio dei momenti).
• Generalità: La metodologia sviluppata non si limita agli invarianti H, ma offre un quadro teorico generale per analizzare qualsiasi funzione definita sui dati delle equazioni funzionali nella Classe di Selberg estesa, superando le limitazioni dei casi particolari (come quando il numero di classe del fattore gamma è 1).

In sintesi, il paper trasforma un'idea euristica in un teorema rigoroso, fornendo gli strumenti tecnici necessari per manipolare e classificare gli invarianti delle funzioni L anche in presenza di trasformazioni complesse dei fattori gamma.