On the dynamical degree of surjective endomorphisms

Titel: Over de dynamische graad van surjectieve endomorfismen

Auteur: Ilya Karzheamanov
Context: Algebraïsche meetkunde en complexe dynamica, specifiek gericht op gladde projectieve oppervlakken (del Pezzo-oppervlakken).

1. Het Probleem en de Context

Het artikel onderzoekt de geometrie en dynamische eigenschappen van surjectieve rationale afbeeldingen $f: X \dashrightarrow X$ op een glad projectief complex oppervlak $X$.

• Definitie: Een surjectieve rationale afbeelding is een rationale kaart waarbij het beeld van het domein (behalve een eindige verzameling $Z$) het gehele oppervlak $X$ is.
• Specifiek geval: De focus ligt op het geval waarin $X$ een del Pezzo-oppervlak is (d.w.z. de anti-canonische divisor $-K_X$ is ample).
• Kernvraag: Hoe verhouden de algebraïsche invarianten van deze afbeeldingen zich tot hun dynamische gedrag? Specifiek wordt de relatie onderzocht tussen de dynamische graad $\lambda(f)$, de topologische graad $\deg(f)$, en de regulariteit van de afbeelding (of $f$ een morfisme is of slechts rationaal).

2. Methodologie

De auteur combineert technieken uit de algebraïsche meetkunde, lineaire algebra en de theorie van kegel-structuren:

• Néron-Severi Groep: Er wordt gewerkt met de groep $N^1(X) = \text{Pic}(X) \otimes_{\mathbb{Z}} \mathbb{R}$. De afbeelding $f$ induceert een lineaire operator $f^*: N^1(X) \to N^1(X)$.
• Spectrale Analyse: De dynamische graad $\lambda(f)$ wordt gedefinieerd als de limiet van de groei van de intersecties van iteraties van een ample divisor. De auteur gebruikt de Krein-Rutman-stelling (een veralgemening van de stelling van Perron-Frobenius voor kegels) om te bewijzen dat de spectrale radius $\rho(f^*)$ gelijk is aan $\lambda(f)$ en dat er een eigenvector bestaat in de nef-kegel.
• Oplossing van Singulariteiten: Voor het bewijs van ongelijkheden wordt een resolutiediagram gebruikt: $Y \xrightarrow{g} X \xrightarrow{h} X$, waarbij $g$ een samenstelling van opblazingen is en $h$ een reguliere morfisme.
• Intersectietheorie: De Hodge Index-stelling en eigenschappen van de intersectiematrix van uitzonderlijke krommen worden gebruikt om ongelijkheden af te leiden.

3. Belangrijkste Bijdragen en Resultaten

A. Spectrale Interpretatie van de Dynamische Graad

• Stelling 1.2: Voor een surjectieve afbeelding op een oppervlak met onregelmatigheid $q(X)=0$ (wat geldt voor del Pezzo-oppervlakken), geldt dat de dynamische graad $\lambda(f)$ gelijk is aan de spectrale radius $\rho(f^*)$ van de geïnduceerde lineaire operator.
• Er bestaat een nef-klasse $v \in N^1(X)$ (een Perron-vector) zodat $f^*(v) = \lambda(f)v$.
• Conclusie: $\lambda(f)$ is een algebraïsch geheel getal in dit specifieke geval (in tegenstelling tot algemene rationale dominante afbeeldingen waar het transcendent kan zijn).

B. Relatie tussen Dynamische Graad en Topologische Graad

• Ongeijkheid: De auteur bewijst dat voor surjectieve afbeeldingen op del Pezzo-oppervlakken geldt:
  $$\lambda(f)^2 \geq \deg(f)$$
  Dit is een log-concaviteitseigenschap die wordt bewezen via algebro-geometrische middelen (oplossing van singulariteiten en intersectietheorie).

C. Karakterisering van Regulariteit (Hoofdstelling)

• Stelling 1.5: De afbeelding $f$ is regulier (d.w.z. een morfisme zonder onbepaaldheidspunten) dan en slechts dan als:
  $$\lambda(f)^2 = \deg(f)$$
• Bewijsstrategie:
  • De richting "regulier $\Rightarrow$ gelijkheid" volgt direct uit de projectieformule.
  • De omgekeerde richting is het nieuwe inzicht. Als $f$ niet regulier is, leidt de aanwezigheid van een niet-triviale uitzonderlijke divisor $E$ in de resolutie tot een strikte ongelijkheid, tenzij de Perron-klasse $v$ "big" is.
  • Voor del Pezzo-oppervlakken wordt bewezen dat $v$ niet big kan zijn als de gelijkheid geldt, wat leidt tot een contradictie. Hierdoor moet $f$ regulier zijn.

D. Entropie en Rang-1 Afbeeldingen

• Entropie: De topologische entropie $h(f)$ wordt begrensd door $h(f) \leq \max\{\log \lambda(f), \log \deg(f)\}$.
• Rang-1 Afbeeldingen: Er wordt een klasse van afbeeldingen geïntroduceerd waarbij de lineaire operator $f^*$ rang 1 heeft. Voor deze afbeeldingen is $\lambda(f)$ een geheel getal (de trace van $f^*$).
• Nieuwe Constructie: De auteur toont aan dat niet alle rang-1 surjectieve afbeeldingen kunnen worden gefactoriseerd via $\mathbb{P}^2$ (via een surjectie $\phi: \mathbb{P}^2 \dashrightarrow X$ en projectie $\psi: X \to \mathbb{P}^2$). Een familie van afbeeldingen $f_\varepsilon$ wordt geconstrueerd die deze factorisatie niet toelaat, wat de complexiteit van de structuur van surjectieve endomorfismen opdel Pezzo-oppervlakken benadrukt.

4. Significatie en Implicaties

• Numerieke Karakterisering: Het artikel biedt een krachtig numeriek criterium ($\lambda(f)^2 = \deg(f)$) om te bepalen of een surjectieve rationale afbeelding op een del Pezzo-oppervlak daadwerkelijk een morfisme is. Dit was eerder niet expliciet bewezen voor deze setting.
• Structuur van Endomorfismen: Het werk verduidelijkt de structuur van "degenerate" surjectieve endomorfismen (rang 1) en toont aan dat deze rijkere structuren hebben dan eerder gedacht (niet alle zijn afgeleid van $\mathbb{P}^2$).
• Verbinding tussen Algebra en Dynamica: Het artikel versterkt de link tussen de algebraïsche eigenschappen van de geïnduceerde lineaire operator op de Néron-Severi groep en de dynamische eigenschappen (zoals entropie en regulariteit) van de afbeelding zelf.
• Toekomstige Richting: De auteur suggereert dat verdere studie nodig is om een statistische beschrijving te geven van de verhouding $\lambda(f)/\deg(f)$ voor deze klasse van afbeeldingen.

Samenvattend

Dit artikel levert een fundamentele bijdrage aan de dynamica van rationale afbeeldingen op algebraïsche oppervlakken. Het bewijst dat voor del Pezzo-oppervlakken de gelijkheid tussen de kwadraat van de dynamische graad en de topologische graad een noodzakelijke en voldoende voorwaarde is voor de regulariteit van de afbeelding, en biedt nieuwe inzichten in de constructie en classificatie van surjectieve endomorfismen.