A gap principle for polynomial volume growth of zero-entropy automorphisms

1. Problema e Contesto

Il lavoro si inserisce nello studio della dinamica algebrica, in particolare riguardante gli automorfismi di varietà proiettive normali $X$ di dimensione $d$. L'oggetto di studio sono gli automorfismi a entropia zero (zero-entropy automorphisms).

• Definizioni chiave:

  • Per un automorfismo $f$, il tasso di crescita del grado è definito da $\deg_1(f^n) \sim n^k$, dove $k$ è un intero pari non negativo.
  • L'entropia è zero se il primo grado dinamico $\lambda_1(f) = 1$ (il che implica che tutti i gradi dinamici sono 1).
  • Il crescita volumetrica polinomiale ($\text{plov}(f)$) è definita come il tasso di crescita del volume del grafico iterato $\Gamma_n$ di $f$:
    $$\text{plov}(f) := \limsup_{n \to \infty} \frac{\log \text{Vol}(\Gamma_n)}{\log n}$$
  • È noto che $\text{plov}(f)$ coincide con la dimensione di Gelfand-Kirillov della coordinata omogenea twistata associata a $f$ (meno uno).

• Il problema: Esiste un "gap" (un intervallo di valori impossibili) per i valori possibili di $\text{plov}(f)$ in funzione della dimensione $d$ e del tasso di crescita del grado $k$? In particolare, gli autori vogliono determinare se i valori di $\text{plov}(f)$ possono assumere qualsiasi valore intero o se sono soggetti a vincoli rigidi quando $k$ non è massimo.

2. Metodologia

Gli autori combinano tecniche di geometria algebrica, teoria delle intersezioni e algebra lineare combinatoria.

• Strumento Geometrico:

  • Sfruttano la struttura nilpotente dell'azione di $f^*$ sullo spazio di Néron-Severi $N^1(X)_\mathbb{R}$. Poiché l'entropia è zero, $f^* = \exp(L)$ dove $L$ è un operatore nilpotente di indice $k+1$.
  • Il volume $\text{Vol}(\Gamma_n)$ è espresso come un'intersezione topologica di un divisore $\Delta_n(f, H_X)$ su $X$. Espandendo questo termine, il coefficiente del termine di grado più alto in $n$ determina $\text{plov}(f)$.
  • Introducono numeri di intersezione $w_\lambda$ associati a partizioni limitate $\lambda$, che soddisfano sistemi di equazioni lineari omogenee.

• Strumento Combinatorio (Matrici di Incidenza):

  • Definiscono le matrici di incidenza pesate $A_{k,d,n}$ associate all'insieme delle partizioni limitate $\mathcal{P}(k, d, n)$ (partizioni di $n$ in al più $d$ parti, ciascuna $\le k$).
  • Dimostrano che i numeri di intersezione $w_\lambda$ appartengono al nucleo (nullspace) di queste matrici.
  • Introducono il concetto di matrici troncate ($A^{\le \kappa}_{k,d,n}$) rispetto a una partizione "distinta" $\kappa$. Questo permette di isolare i termini non nulli sfruttando le proprietà di annullamento geometrico (Geometric Vanishing).

• Analisi del Nucleo:

  • Utilizzano la teoria delle funzioni simmetriche monomiali normalizzate per caratterizzare il nucleo delle matrici troncate.
  • In particolare, collegano il nucleo alla struttura del quadrato del determinante di Vandermonde.
  • Dimostrano che per certi parametri critici, il nucleo è unidimensionale (generato da un vettore specifico) o banale (triviale), il che impone vincoli rigorosi sui valori possibili di $\text{plov}(f)$.

3. Risultati Principali

Il risultato centrale è l'istituzione di un Principio di Gap per la crescita volumetrica polinomiale.

• Teorema 1.1 (Caso di crescita massima):
  Se il grado cresce al massimo possibile, ovvero $k = 2d - 2$, allora la crescita volumetrica è esattamente massima:
  $$\text{plov}(f) = d^2$$
  Questo risolve positivamente domande precedenti di Cantat-Paris-Romaskevich e Lin-Oguiso-Zhang.

• Teorema 1.2 (Caso di crescita non massima):
  Se la crescita del grado non è massima ($k \le 2d - 4$), allora il limite superiore per $\text{plov}(f)$ viene migliorato significativamente rispetto ai risultati precedenti:
  $$\text{plov}(f) \le d(d-2) + 2\lfloor d/4 \rfloor$$
  (Con una correzione di -1 se $d \equiv 2, 3 \pmod 4$).

• Corollario 1.3 (Il Principio di Gap):
  Per ogni dimensione fissa $d \ge 4$, il valore di $\text{plov}(f)$ non può cadere nell'intervallo aperto:
  $$\left( d(d-2) + 2\lfloor d/4 \rfloor, \, d^2 \right)$$
  Questo stabilisce una rigidità: non esistono automorfismi a entropia zero con crescita volumetrica polinomiale in questo intervallo "vuoto".

• Classificazione in Dimensione 4 (Corollario 1.7):
  Estendendo i risultati di Artin-Van den Bergh (superfici) e Lin-Oguiso-Zhang (varietà tridimensionali), gli autori determinano tutti i valori possibili per $d=4$:

  • Se $k=0$: $\text{plov} = 4$
  • Se $k=2$: $\text{plov} \in \{6, 8\}$
  • Se $k=4$: $\text{plov} = 10$
  • Se $k=6$ (massimo): $\text{plov} = 16$
    Tutti questi valori sono realizzabili su varietà abeliane di dimensione 4.

4. Contributi Chiave e Innovazioni

1. Nuovo Limite Superiore: Miglioramento sostanziale del limite superiore per $\text{plov}(f)$ quando $k$ non è massimo, passando da $d(d-1)$ a una formula più stretta che dipende da $\lfloor d/4 \rfloor$.
2. Metodo di Troncamento: Introduzione di una tecnica innovativa che combina l'annullamento geometrico delle intersezioni con l'analisi del rango di matrici combinatorie troncate. Questo permette di bypassare le limitazioni dei metodi precedenti che funzionavano solo per $n > dk/2$.
3. Connessione con le Funzioni Simmetriche: La dimostrazione che il nucleo delle matrici di incidenza è generato dai coefficienti del quadrato del determinante di Vandermonde offre un ponte profondo tra la dinamica algebrica e la teoria delle funzioni simmetriche.
4. Risoluzione di Congetture: Conferma della congettura che per $k=2d-2$, $\text{plov}(f) = d^2$, e risposta affermativa alla domanda sulla realizzabilità dei valori in dimensione 4.

5. Significato e Implicazioni

• Rigidità Dinamica: Il lavoro rivela un fenomeno di rigidità inaspettato nella dinamica degli automorfismi a entropia zero. Non è possibile avere una crescita "intermedia" del volume; i valori sono o massimali o significativamente più bassi, con un divario netto.
• Geometria Non Commutativa: Poiché $\text{plov}(f)$ è legato alla dimensione di Gelfand-Kirillov di anelli non commutativi (anelli di coordinate omogenee twistati), questo principio di gap si applica anche a una nuova classe di algebre non commutative, fornendo vincoli sulla loro struttura dimensionale.
• Generalizzazione: Il risultato unifica e generalizza studi precedenti su superfici e varietà tridimensionali, fornendo un quadro teorico completo per dimensioni arbitrarie $d \ge 4$.
• Congetture Future: Gli autori propongono un "Secondo Principio di Gap" (Congettura 1.8) che suggerisce l'esistenza di ulteriori vuoti nello spettro dei valori di $\text{plov}(f)$, aprendo la strada a ricerche future sulla classificazione completa dei valori possibili per $d \ge 5$.

In sintesi, il paper risolve un problema fondamentale nella dinamica algebrica di entropia zero, utilizzando un approccio sofisticato che fonde geometria algebrica, teoria delle intersezioni e algebra combinatoria per dimostrare l'esistenza di "buchi" strutturali nei possibili tassi di crescita del volume.