On the dynamical degree of surjective endomorphisms

Resumo Técnico: Sobre o Grau Dinâmico de Endomorfismos Sobrejetivos

1. Problema e Contexto

O artigo investiga as propriedades dinâmicas de endomorfismos sobrejetivos (mapas racionais $f: X \dashrightarrow X$ tais que $f(X \setminus Z) = X$ para um conjunto finito $Z$) em superfícies projetivas complexas suaves $X$. O foco principal é o caso em que $X$ é uma superfície de Del Pezzo (onde o anti-canônico $-K_X$ é amplo).

O problema central gira em torno da compreensão da relação entre duas características numéricas fundamentais da dinâmica de tais mapas:

1. O grau dinâmico $\lambda(f)$, que mede a taxa de crescimento asintótico da ação do mapa no grupo de Neron-Severi.
2. O grau topológico $\deg(f)$, que mede o número de pontos pré-imagem genéricos.

O autor busca estabelecer relações rigorosas entre esses invariantes e caracterizar quando o mapa é regular (holomorfo em toda parte, sem pontos de indeterminação).

2. Metodologia

A abordagem do artigo combina ferramentas de geometria algébrica e teoria espectral:

• Estabilidade Algébrica: Utiliza-se o fato de que, para superfícies suaves, o mapa induz uma aplicação linear $f^*: N^1(X) \to N^1(X)$ no grupo de Neron-Severi tensorizado com $\mathbb{R}$.
• Teorema de Krein-Rutman: Aplica-se este teorema de análise funcional em cones (especificamente o cone nef de $X$) para garantir a existência de um vetor próprio nef associado ao raio espectral $\rho(f^*)$.
• Resolução de Singularidades: Para analisar mapas racionais não regulares, o autor utiliza diagramas de resolução ($Y \xrightarrow{g} X \xrightarrow{h} X$), onde $g$ é uma sequência de explosões (blow-ups) e $h$ é um morfismo regular. Isso permite decompor a ação do mapa em partes regulares e excepcionais.
• Teorema do Índice de Hodge: Utilizado para estabelecer desigualdades entre produtos de interseção de classes de divisores nef.
• Construções Explícitas: O artigo emprega exemplos concretos em $\mathbb{P}^2$ e $\mathbb{P}^1 \times \mathbb{P}^1$ para testar limites e ilustrar propriedades de mapas de "rank 1".

3. Principais Contribuições e Resultados

A. Caracterização Espectral do Grau Dinâmico (Seção 2)
O autor reafirma e prova que, para superfícies com irregularidade $q(X)=0$ (incluindo superfícies de Del Pezzo), o grau dinâmico coincide com o raio espectral do operador linear induzido:
$$\lambda(f) = \rho(f^*)$$
Além disso, demonstra a existência de uma classe nef $v \in N^1(X)$ tal que $f^*(v) = \lambda(f)v$.

• Observação Importante: Diferente de mapas racionais dominantes arbitrários (onde $\lambda(f)$ pode ser transcendental), para endomorfismos sobrejetivos em superfícies de Del Pezzo, $\lambda(f)$ é sempre um inteiro algébrico.

B. Relação entre Grau Dinâmico e Grau Topológico (Seção 3)
O resultado central do artigo é a prova da desigualdade:
$$\lambda(f)^2 \geq \deg(f)$$
Esta é uma propriedade de log-cavidade clássica, provada aqui por meios algebrico-geométricos usando a resolução de singularidades e o teorema do índice de Hodge.

C. Caracterização Numérica da Regularidade (Teorema 1.5)
O autor estabelece uma equivalência crucial:

O mapa $f$ é regular (holomorfo) se e somente se $\lambda(f)^2 = \deg(f)$.

• Implicação ($\Rightarrow$): É direta pela fórmula de projeção $f^* f_* = (\deg f) \text{Id}$.
• Implicação ($\Leftarrow$): É a contribuição não trivial. O autor prova que, se a igualdade se mantém, a existência de pontos de indeterminação levaria a uma contradição com as propriedades do cone de Mori de superfícies de Del Pezzo (especificamente, a contratividade das faces do cone e a positividade das interseções).

D. Entropia Topológica e Exemplos (Seção 4)
O artigo discute a entropia topológica $h(f)$, que satisfaz $h(f) \leq \max\{\log \lambda(f), \log \deg(f)\}$.

• São apresentados exemplos de mapas em $\mathbb{P}^2$ onde $\lambda(f) < \deg(f)$, indicando que a desigualdade é estrita para mapas não regulares.
• Mapas de Rank 1: O autor define e analisa uma classe de mapas onde o operador $f^*$ tem posto 1. Mostra-se que, embora muitos exemplos de rank 1 sejam compostos por projeções de $\mathbb{P}^2$, existem famílias de mapas de rank 1 (como a família $f_\epsilon$ em $\mathbb{P}^1 \times \mathbb{P}^1$) que não fatoram através de $\mathbb{P}^2$. Isso revela uma estrutura mais complexa e "degenerada" de endomorfismos sobrejetivos do que o esperado.

4. Significado e Impacto

1. Rigidez em Superfícies de Del Pezzo: O trabalho demonstra que a condição de ser um endomorfismo sobrejetivo em uma superfície de Del Pezzo impõe restrições muito fortes. A igualdade $\lambda(f)^2 = \deg(f)$ atua como um critério preciso para distinguir mapas regulares de racionais com pontos de indeterminação.
2. Integridade Algébrica: Reforça que, neste contexto específico, os graus dinâmicos são inteiros algébricos, contrastando com o comportamento mais selvagem de mapas racionais gerais.
3. Estrutura de Endomorfismos: A análise dos mapas de rank 1 e a construção de exemplos que não fatoram através de $\mathbb{P}^2$ sugerem que a classificação de endomorfismos sobrejetivos em superfícies racionais é mais rica e complexa do que a simples composição de projeções lineares.
4. Ferramentas para Dinâmica Complexa: O uso combinado de cones nef, teoremas de índice e resolução de singularidades oferece um roteiro metodológico para estudar a estabilidade algébrica e a entropia em variedades de dimensão superior.

Em suma, o artigo fornece uma caracterização numérica completa da regularidade para uma classe importante de mapas em superfícies de Del Pezzo, conectando invariantes algébricos ($\lambda$) e topológicos ($\deg$) de forma inequívoca.