A note on varieties of non-negative Kodaira dimension with polarized self maps

Resumo Técnico: Variedades de Dimensão de Kodaira Não Negativa com Automapas Polarizados

Enunciado do Problema
O artigo investiga a estrutura geométrica de variedades projetivas suaves $X$ definidas sobre um corpo $k$ que possuem uma dimensão de Kodaira não negativa e admitem um automapa polarizado. Especificamente, o estudo foca em triplas $(X, \phi, L)$, onde $L$ é um feixe de linha amplo e $\phi: X \to X$ é um automapa satisfazendo $\phi^*L \cong L^{\otimes d}$ para um inteiro $d > 1$. Embora o caso de característica 0 tenha sido parcialmente abordado (notadamente por Nakayama e Zhang em [2]), o comportamento de tais variedades em característica positiva, e sobre corpos não algebricamente fechados, permanece um assunto que requer maior esclarecimento e generalização.

Metodologia
O autor emprega uma combinação de geometria algébrica, teoria do grupo fundamental étale e teoria de deformação para estabelecer resultados estruturais. A metodologia procede através dos seguintes passos lógicos:

1. Redução ao Grupo Fundamental Abeliano: A prova começa utilizando a hipótese de que o grupo fundamental étale $\pi_1^{\text{et}}(X)$ contém um subgrupo abeliano normal de índice finito. O Lema 2.1 demonstra que, sob esta condição, pode-se construir um recobrimento étale finito $Z \to X$ tal que o grupo fundamental de $Z$ é abeliano, e o mapa polarizado se eleva para $Z$.
2. Análise do Mapa de Albanese: Com a suposição de que $\pi_1^{\text{et}}(X)$ é abeliano, o artigo analisa o morfismo de Albanese $\text{alb}_X: X \to \text{Alb}_X$. O núcleo do argumento envolve provar que este mapa é finito.
   • Caso $k = \mathbb{F}_p$: A prova utiliza a existência de pontos periódicos para o mapa $\phi$ (garantida pela finitude do corpo). Ao elevar o ponto periódico para a variedade de Albanese, o autor constrói um diagrama comutativo envolvendo o mapa induzido na variedade de Albanese. Utilizando resultados sobre a injetividade do pullback de formas diferenciais globais (Igusa) e as propriedades de diferenciais relativos, mostra-se que o mapa induzido na variedade de Albanese é um isogenia. Um argumento de contradição envolvendo o núcleo do mapa nos grupos fundamentais é usado para provar que as fibras do mapa de Albanese são finitas.
   • Característica Geral $p > 0$: O resultado para $k = \mathbb{F}_p$ é estendido para qualquer corpo algebricamente fechado de característica $p$ via um argumento de especialização. A variedade e o mapa são definidos sobre um subcorpo finitamente gerado, permitindo a redução a um anel de valorização discreta (DVR) com um corpo resíduo de menor grau de transcendência. Uma indução sobre o grau de transcendência reduz o caso geral ao caso do corpo finito.
3. Elevação para Característica Zero: Na Seção 3, o artigo aborda a condição sobre o grupo fundamental. O Lema 3.1 prova que, se $X$ admite uma elevação para característica 0, o grupo fundamental necessariamente contém um subgrupo abeliano normal de índice finito. Isso permite uma prova alternativa do teorema principal para o caso de elevação que depende de resultados elementares (especificamente, a estrutura da fibra genérica) em vez de teoremas profundos como os de Hacon–Patakfalvi–Zhang.
4. Corpos Não Algebricamente Fechados: A Seção 4 estende os resultados para corpos $k$ que não são necessariamente algebricamente fechados. Ao utilizar a teoria de torsores e o desdobramento da sequência exata do grupo fundamental, o autor constrói uma forma $A'$ de uma variedade abeliana definida sobre $k$ que mapeia finitamente e étale para $X$, desde que $X(k) \neq \emptyset$.

Principais Contribuições e Resultados

• Teorema 1.1 (Resultado Principal): Para uma variedade projetiva suave $X$ de dimensão de Kodaira não negativa sobre um corpo algebricamente fechado $k$ de característica $p > 0$, se $X$ admite um automapa polarizado separável e seu grupo fundamental étale contém um subgrupo abeliano normal de índice finito, então existe uma variedade abeliana $A$ com um mapa étale finito para $X$.
• Generalização para Corpos Não Fechados (Teoremas 4.3 & 4.4): O artigo estabelece que, sobre qualquer corpo $k$ (característica 0 ou $p > 0$), se $X$ possui um ponto $k$-racional e satisfaz as condições do grupo fundamental (virtualmente abeliano), então $X$ é um quociente livre finito de uma variedade abeliana definida sobre $k$.
• Implicação de Elevação (Lema 3.1 & 3.2): O artigo prova que a hipótese de "elevação para característica 0" implica a necessária estrutura do grupo fundamental, fornecendo assim uma prova do teorema estrutural principal para tais variedades que evita a dependência de maquinaria mais avançada usada na literatura de característica 0.
• Extensão para Mapas Int-Amplificados: O autor observa que os argumentos podem ser adaptados para automapas "int-amplificados" (onde $f^*L \otimes L^{-1}$ é amplo), desde que a trivialidade da classe de Chern primeira do feixe canônico possa ser estabelecida nesse contexto.

Significância e Alegações
O artigo afirma fornecer um análogo em característica positiva aos resultados de Nakayama e Zhang ([2, Teorema 4.2]) a respeito da estrutura de variedades com endomorfismos polarizados. A significância reside em:

1. Preenchimento de Lacunas de Característica: Ele aborda explicitamente o caso de característica positiva, que anteriormente era sugerido como válido apenas sob hipóteses adicionais.
2. Condições do Grupo Fundamental: Esclarece que a existência de um subgrupo abeliano normal de índice finito no grupo fundamental é uma condição suficiente para que a variedade seja um quociente étale finito de uma variedade abeliana.
3. Independência de Corpo: Generaliza esses resultados estruturais para corpos não algebricamente fechados, desde que exista um ponto racional.
4. Provas Elementares: No caso de a variedade possuir uma elevação para característica 0, o artigo oferece uma prova utilizando resultados de natureza mais elementar (Lema 3.2), contrastando com a pesada maquinaria frequentemente exigida neste domínio.

O autor enquadra modestamente o trabalho como uma "nota" que prova teoremas estruturais específicos e fornece análogos para resultados existentes, em vez de resolver as conjecturas dinâmicas mais amplas (como as conjecturas de Bogomolov ou Mordell–Lang) mencionadas na introdução como contexto.