On the dynamical degree of surjective endomorphisms

Sintesi Tecnica: Gradi Dinamici di Endomorfismi Suriettivi su Superfici

1. Il Problema e il Contesto

Il paper si concentra sullo studio delle proprietà dinamiche delle mappe razionali suriettive $f: X \dashrightarrow X$, dove $X$ è una superficie complessa proiettiva liscia. L'attenzione è specificamente rivolta al caso in cui $X$ è una superficie di Del Pezzo (ovvero, il fibrato canonico $-K_X$ è ampio).

Il problema centrale è comprendere la relazione tra le proprietà algebriche della mappa (in particolare la sua regolarità) e i suoi invarianti dinamici numerici, in particolare il grado dinamico $\lambda(f)$ e il grado topologico $\deg(f)$. Mentre per le mappe razionali dominanti arbitrarie il grado dinamico può essere un numero trascendente, l'autore indaga se, nel contesto delle superfici di Del Pezzo e delle mappe suriettive, esistano caratterizzazioni più rigide e relazioni strutturali tra questi invarianti.

2. Metodologia

L'approccio dell'autore combina strumenti di geometria algebrica e teoria spettrale:

• Gruppo di Neron-Severi: L'analisi si svolge sul gruppo di Neron-Severi $N^1(X) = \text{Pic}(X) \otimes \mathbb{R}$. La mappa $f$ induce un operatore lineare $f^*: N^1(X) \to N^1(X)$.
• Teorema di Krein-Rutman: Viene utilizzato per dimostrare l'esistenza di un vettore proprio (classe nef) associato al raggio spettrale $\rho(f^*)$, che coincide con il grado dinamico $\lambda(f)$.
• Risoluzione delle Singolarità: Per analizzare la relazione tra $\lambda(f)$ e $\deg(f)$, l'autore utilizza un diagramma di risoluzione $Y \xrightarrow{g} X \xrightarrow{h} X$, dove $g$ è una composizione di blow-up e $h$ è un morfismo regolare. Questo permette di studiare il comportamento delle classi di divisori e delle curve eccezionali.
• Teorema dell'Indice di Hodge: Viene applicato per stabilire disuguaglianze tra i prodotti di intersezione delle classi nef.
• Costruzioni Esplicite e Famiglie: Nella sezione finale, l'autore costruisce esempi concreti (inclusi endomorfismi di rango 1) e analizza famiglie parametriche di mappe per testare la stabilità delle proprietà di fattorizzazione.

3. Contributi Chiave e Risultati

A. Caratterizzazione Spettrale del Grado Dinamico
L'autore conferma e adatta al contesto delle superfici di Del Pezzo il risultato classico secondo cui il grado dinamico $\lambda(f)$ è uguale al raggio spettrale $\rho(f^*)$ dell'operatore indotto su $N^1(X)$.

• Risultato: Esiste una classe nef $v \in N^1(X)$ tale che $f^*(v) = \lambda(f)v$.
• Implicazione: Poiché $f^*$ preserva il reticolo intero $\text{Pic}(X)$, $\lambda(f)$ è necessariamente un intero algebrico (a differenza del caso generale di mappe razionali dominanti su $\mathbb{P}^2$, dove può essere trascendente).

B. Relazione tra Grado Dinamico e Grado Topologico
Viene stabilita una disuguaglianza fondamentale per le mappe suriettive su superfici:
$$\lambda(f)^2 \geq \deg(f)$$
Questa disuguaglianza è una proprietà di log-concavità dimostrata tramite metodi algebrico-geometrici, sfruttando la negatività definita della matrice di intersezione delle curve eccezionali nella risoluzione.

C. Teorema di Caratterizzazione della Regolarità (Teorema 1.5)
Questo è il risultato principale del lavoro. L'autore dimostra una caratterizzazione numerica della regolarità della mappa:

Teorema: La mappa $f$ è regolare (ovvero un morfismo ovunque definito) se e solo se $\lambda(f)^2 = \deg(f)$.

• Direzione "Solo se": È ovvia grazie alla formula di proiezione $f^* f_* = (\deg f) \text{Id}$.
• Direzione "Se": È la parte non banale. L'autore dimostra che se $f$ non fosse regolare, la classe di Perron $v$ (associata a $\lambda(f)$) porterebbe a una contraddizione con l'uguaglianza $\lambda(f)^2 = \deg(f)$, sfruttando la struttura del cono di Mori delle superfici di Del Pezzo (che è poliedrale razionale).

D. Entropia Topologica e Classi di Rango 1

• Viene discussa l'entropia topologica $h(f)$, che soddisfa $h(f) \leq \max\{\log \lambda(f), \log \deg(f)\}$. Vengono forniti esempi espliciti su $\mathbb{P}^2$ e $\mathbb{P}^1 \times \mathbb{P}^1$ dove $\lambda(f) < \deg(f)$, mostrando che il limite superiore è spesso stretto.
• Viene introdotta la classe delle mappe di rango 1 (dove $f^*$ ha rango 1). Per queste mappe, $\lambda(f)$ è un intero.
• Risultato sorprendente: L'autore dimostra che non tutte le mappe suriettive di rango 1 su una superficie $X$ si fattorizzano attraverso $\mathbb{P}^2$ tramite mappe suriettive $\phi: \mathbb{P}^2 \dashrightarrow X$ e $\psi: X \to \mathbb{P}^2$. Viene costruita una famiglia parametrica $f_\varepsilon$ che, per $\varepsilon \neq 1$ generico, è suriettiva ma non ammette tale fattorizzazione, sfidando l'intuizione sulla struttura di queste mappe.

4. Significato e Implicazioni

1. Rigidità delle Superfici di Del Pezzo: Il lavoro evidenzia come le superfici di Del Pezzo impongano vincoli più forti sulle mappe suriettive rispetto alle varietà razionali generiche. In particolare, la condizione di regolarità è catturata esattamente dall'uguaglianza tra il quadrato del grado dinamico e il grado topologico.
2. Struttura degli Endomorfismi: La dimostrazione che esistono endomorfismi suriettivi di rango 1 che non si fattorizzano attraverso lo spazio proiettivo apre nuove domande sulla classificazione di tali mappe. Suggerisce che la struttura degli endomorfismi su superfici "semplici" è più complessa e ricca di quanto ipotizzato in precedenza.
3. Strumenti per la Dinamica Complessa: La connessione esplicita tra la stabilità algebrica (regolarità), la teoria spettrale (autovalori su $N^1(X)$) e la geometria delle curve eccezionali fornisce un quadro metodologico solido per analizzare la dinamica su varietà di dimensione superiore.

In conclusione, il paper fornisce una caratterizzazione numerica precisa per la regolarità degli endomorfismi su superfici di Del Pezzo e mette in luce la complessità strutturale delle mappe suriettive, distinguendo chiaramente tra casi "degeneri" (rango 1) e casi non degeneri.