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

Titel: Een Gap-principe voor polynoom-volumegroei van automorfismen met nul-entropie

1. Probleemstelling en Context

Het artikel onderzoekt de dynamische eigenschappen van automorfismen $f$ op een normale projectieve variëteit $X$ van dimensie $d \geq 4$ over een algebraïsch gesloten lichaam $k$. De focus ligt specifiek op automorfismen met nul-entropie (zero-entropy).

• Nul-entropie: Een automorfisme $f$ heeft nul-entropie als de eerste dynamische graad $\lambda_1(f) = 1$. Dit impliceert dat alle dynamische graden $\lambda_i(f) = 1$ voor $i=1, \dots, d$.
• Graadgroei: Voor zulke automorfismen groeit de graad $\deg_1(f^n)$ polynomiaal als $n \to \infty$, specifiek $\deg_1(f^n) \sim n^k$, waarbij $k$ een even niet-negatief geheel getal is. Uit eerdere werken is bekend dat $k \leq 2d - 2$.
• Polynoom-volumegroei ($\text{plov}(f)$): Dit is een dynamische invariant die de groei van het volume van de iteratiegraf $\Gamma_n$ (de grafiek van de afbeelding $x \mapsto (f(x), \dots, f^{n-1}(x))$) beschrijft. Het wordt gedefinieerd als:
  $$\text{plov}(f) := \limsup_{n \to \infty} \frac{\log \text{Vol}(\Gamma_n)}{\log n}$$
  Volgens Lin-Oguiso-Zhang is $\text{plov}(f)$ gelijk aan de Gelfand-Kirillov-dimensie van de bijbehorende "twisted homogeneous coordinate ring" min één.

Het centrale probleem: Wat zijn de mogelijke waarden van $\text{plov}(f)$ voor een gegeven dimensie $d$? Bestaan er "gaten" in het spectrum van mogelijke waarden?

2. Methodologie

De auteurs combineren algebraïsche meetkunde, combinatoriek en lineaire algebra om een scherpere bovengrens te vinden voor $\text{plov}(f)$ wanneer de graadgroei niet maximaal is.

• Intersectiecijfers en Operatoren:
  De auteurs introduceren een "formele log-monodromie"-operator $L = \log(f^*|_{N^1(X)_\mathbb{R}})$. Omdat $f^*$ quasi-unipotent is, is $L$ nilpotent met index $k+1$. Het volume $\text{Vol}(\Gamma_n)$ kan worden uitgedrukt als een polynoom in $n$ met coëfficiënten die afhangen van snijgetallen van de vorm $w_\lambda = (L^{\lambda_1}H_X) \cdots (L^{\lambda_d}H_X)$, waarbij $\lambda$ een beperkte partitie is.
• Combinatorische Structuur:
  De snijgetallen $w_\lambda$ voldoen aan een stelsel homogene lineaire vergelijkingen, geencodeerd door gewogen incidentiematrices $A_{k,d,n}$. Deze matrices zijn gerelateerd aan de overgang tussen beperkte partities.
• Truncatie en Nulliteit:
  Een cruciale stap is het gebruik van een "geometrisch verdwijningsresultaat" (gebaseerd op eerdere werken van Hu-Jiang en Lin-Oguiso-Zhang). Dit stelt dat snijgetallen $w_\lambda$ verdwijnen als de partitie $\lambda$ lexicografisch groter is dan een zekere "onderscheidende" partitie $\kappa$.
  De auteurs definiëren getruncateerde matrices $A^{\leq \kappa}_{k,d,n}$ door kolommen te verwijderen die corresponderen met partities groter dan $\kappa$. Het probleem reduceert zich tot het analyseren van de nulliteit (de dimensie van de kern) van deze getruncateerde matrices.
• Lineaire Algebra:
  Ze bewijzen dat voor specifieke parameters (maximale graadgroei en submaximale graadgroei) de getruncateerde matrices een triviale of een-dimensionale kern hebben. Dit wordt gedaan via inductie en het analyseren van de blokvorm van de matrices, gekoppeld aan eigenschappen van de Vandermonde-determinant en genormaliseerde monomiale symmetrische functies.

3. Belangrijkste Bijdragen en Resultaten

De paper levert twee fundamentele resultaten op die een "Gap-principe" (kloof-principe) vaststellen voor $\text{plov}(f)$ in dimensie $d \geq 4$.

Resultaat 1: Het geval van maximale graadgroei
Als de graadgroei maximaal is ($k = 2d - 2$), dan is de polynoom-volumegroei exact gelijk aan het kwadraat van de dimensie:
$$\text{plov}(f) = d^2$$
Dit bewijst dat de bovengrens $d^2$ (die eerder was vastgesteld) scherp is voor het maximale geval.

Resultaat 2: Het geval van niet-maximale graadgroei
Als de graadgroei niet maximaal is ($k \leq 2d - 4$), dan wordt de bovengrens voor $\text{plov}(f)$ aanzienlijk verlaagd ten opzichte van de algemene schatting. De auteurs bewijzen:
$$\text{plov}(f) \leq d(d-2) + 2\lfloor d/4 \rfloor$$

Het Gap-principe (Corollary 1.3):
Voor elke vaste dimensie $d \geq 4$ kan $\text{plov}(f)$ geen enkele waarde aannemen in het open interval:
$$\left( d(d-2) + 2\lfloor d/4 \rfloor, \, d^2 \right)$$
Dit betekent dat er een duidelijke kloof bestaat tussen de maximale waarde ($d^2$) en de hoogste mogelijke waarde voor niet-maximale dynamica.

Specifiek voor dimensie 4:
De auteurs determineren alle mogelijke waarden voor $\text{plov}(f)$ in dimensie 4, afhankelijk van de graadgroei $k$:

• Als $k=0$: $\text{plov} = 4$
• Als $k=2$: $\text{plov} \in \{6, 8\}$
• Als $k=4$: $\text{plov} = 10$
• Als $k=6$ (maximaal): $\text{plov} = 16$
  Alle deze waarden zijn realiseerbaar door 4-dimensionale abelse variëteiten.

4. Significatie en Impact

• Rigiditeit: Het resultaat onthult een nieuwe rigiditeitsfenomeen in de dynamica van algebraïsche variëteiten. Het toont aan dat de polynoom-volumegroei niet willekeurig kan variëren, maar gebonden is aan strikte structurele beperkingen die afhangen van de graadgroei.
• Verbinding met Niet-commutatieve Meetkunde: Omdat $\text{plov}(f)$ gerelateerd is aan de Gelfand-Kirillov-dimensie van twisted homogeneous coordinate rings, biedt dit resultaat ook een nieuw gap-principe voor de dimensies van deze niet-commutatieve algebra's. Dit verbindt algebraïsche dynamica met de theorie van niet-commutatieve projectieve meetkunde.
• Uitbreiding van Bestaande Resultaten: Het werk breidt de resultaten van Artin-Van den Bergh (voor oppervlakken, $d=2$) en Lin-Oguiso-Zhang (voor driedimensionale variëteiten, $d=3$) uit naar hogere dimensies ($d \geq 4$).
• Toekomstige Richtingen: De auteurs formuleren twee conjectures: een "Tweede Gap-principe" (dat suggereert dat er nog een grotere kloof bestaat dichter bij $d^2$) en een ondergrens-conjectuur voor $\text{plov}(f)$ gebaseerd op $k$.

Samenvattend biedt dit artikel een diepgaand inzicht in de relatie tussen de graadgroei van automorfismen en het volume van hun iteratiegrafieken, gebruikmakend van een ingenieuze synthese van combinatorische partities, lineaire algebra en algebraïsche meetkunde om een fundamentele kloof in het spectrum van dynamische invarianten te onthullen.