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

Resumen Técnico: Variedades de Dimensión de Kodaira No Negativa con Mapas Polarizados

Planteamiento del Problema
El artículo investiga la estructura geométrica de variedades proyectivas suaves $X$ definidas sobre un cuerpo $k$ que poseen una dimensión de Kodaira no negativa y admiten un automorfismo polarizado. Específicamente, el estudio se centra en tríos $(X, \phi, L)$ donde $L$ es un fibrado en línea ámplio y $\phi: X \to X$ es un automorfismo que satisface $\phi^*L \cong L^{\otimes d}$ para un entero $d > 1$. Mientras que el caso de característica 0 ha sido abordado parcialmente (notablemente por Nakayama y Zhang en [2]), el comportamiento de tales variedades en característica positiva, y sobre cuerpos no algebraicamente cerrados, sigue siendo un tema que requiere mayor aclaración y generalización.

Metodología
El autor emplea una combinación de geometría algebraica, teoría del grupo fundamental étale y teoría de deformaciones para establecer resultados estructurales. La metodología procede a través de los siguientes pasos lógicos:

1. Reducción al Grupo Fundamental Abeliano: La demostración comienza utilizando la hipótesis de que el grupo fundamental étale $\pi_1^{\text{et}}(X)$ contiene un subgrupo abeliano normal de índice finito. El Lema 2.1 demuestra que, bajo esta condición, se puede construir una cobertura étale finita $Z \to X$ tal que el grupo fundamental de $Z$ sea abeliano, y que el mapa polarizado se eleve a $Z$.
2. Análisis del Mapa de Albanese: Con el supuesto de que $\pi_1^{\text{et}}(X)$ es abeliano, el artículo analiza la morfismo de Albanese $\text{alb}_X: X \to \text{Alb}_X$. El núcleo del argumento consiste en demostrar que este mapa es finito.
   • Caso $k = \mathbb{F}_p$: La demostración aprovecha la existencia de puntos periódicos para el mapa $\phi$ (garantizada por la finitud del cuerpo). Al elevar el punto periódico a la variedad de Albanese, el autor construye un diagrama conmutativo que involucra el mapa inducido en la variedad de Albanese. Utilizando resultados sobre la inyectividad de la tracción sobre las formas diferenciales globales (Igusa) y las propiedades de los diferenciales relativos, se demuestra que el mapa inducido en la variedad de Albanese es un isogenia. Un argumento de contradicción involucrando el núcleo del mapa en los grupos fundamentales se utiliza para probar que las fibras del mapa de Albanese son finitas.
   • Característica General $p > 0$: El resultado para $k = \mathbb{F}_p$ se extiende a cualquier cuerpo algebraicamente cerrado de característica $p$ mediante un argumento de especialización. La variedad y el mapa se definen sobre un subcuerpo finitamente generado, lo que permite la reducción a un anillo de valoración discreta (DVR) con un cuerpo residual de grado de trascendencia menor. Una inducción sobre el grado de trascendencia reduce el caso general al caso del cuerpo finito.
3. Elevación a Característica Cero: En la Sección 3, el artículo aborda la condición sobre el grupo fundamental. El Lema 3.1 demuestra que si $X$ admite una elevación a característica 0, el grupo fundamental necesariamente contiene un subgrupo abeliano normal de índice finito. Esto permite una prueba alternativa del teorema principal en el caso de elevación que se basa en resultados elementales (específicamente, la estructura de la fibra genérica) en lugar de teoremas profundos como los de Hacon–Patakfalvi–Zhang.
4. Cuerpos No Algebraicamente Cerrados: La Sección 4 extiende los resultados a cuerpos $k$ que no son necesariamente algebraicamente cerrados. Utilizando la teoría de torsores y la descomposición de la secuencia exacta del grupo fundamental, el autor construye una forma $A'$ de una variedad abeliana definida sobre $k$ que mapea de forma finita y étale hacia $X$, siempre que $X(k) \neq \emptyset$.

Contribuciones Clave y Resultados

• Teorema 1.1 (Resultado Principal): Para una variedad proyectiva suave $X$ de dimensión de Kodaira no negativa sobre un cuerpo algebraicamente cerrado $k$ de característica $p > 0$, si $X$ admite un automorfismo separable polarizado y su grupo fundamental étale contiene un subgrupo abeliano normal de índice finito, entonces existe una variedad abeliana $A$ con un mapa étale finito hacia $X$.
• Generalización a Cuerpos No Cerrados (Teoremas 4.3 y 4.4): El artículo establece que sobre cualquier cuerpo $k$ (característica 0 o $p > 0$), si $X$ tiene un punto $k$-racional y satisface las condiciones del grupo fundamental (virtualmente abeliano), entonces $X$ es un cociente libre finito de una variedad abeliana definida sobre $k$.
• Implicación de la Elevación (Lema 3.1 y 3.2): El artículo demuestra que la hipótesis de "elevación a característica 0" implica la estructura necesaria del grupo fundamental, proporcionando así una prueba del teorema estructural principal para tales variedades que evita la dependencia de la maquinaria más avanzada utilizada en la literatura de característica 0.
• Extensión a Mapas Int-Amplificados: El autor señala que los argumentos pueden adaptarse a automorfismos "int-amplificados" (donde $f^*L \otimes L^{-1}$ es ámplio), siempre que se pueda establecer la trivialidad de la primera clase de Chern del fibrado canónico en ese contexto.

Significación y Pretensiones
El artículo pretende proporcionar un análogo en característica positiva de los resultados de Nakayama y Zhang ([2, Teorema 4.2]) respecto a la estructura de variedades con endomorfismos polarizados. La significación radica en:

1. Cerrar Brechas de Característica: Aborda explícitamente el caso de la característica positiva, que anteriormente se sugería que solo se sostenía bajo hipótesis adicionales.
2. Condiciones del Grupo Fundamental: Clarifica que la existencia de un subgrupo abeliano normal de índice finito en el grupo fundamental es una condición suficiente para que la variedad sea un cociente étale finito de una variedad abeliana.
3. Independencia del Cuerpo: Generaliza estos resultados estructurales a cuerpos no algebraicamente cerrados, siempre que exista un punto racional.
4. Pruebas Elementales: En el caso de que la variedad se eleve a característica 0, el artículo ofrece una prueba que utiliza resultados de naturaleza más elemental (Lema 3.2), contrastando con la pesada maquinaria que a menudo se requiere en este dominio.

El autor enmarca modestamente el trabajo como una "nota" que demuestra teoremas estructurales específicos y proporciona análogos para resultados existentes, en lugar de resolver las conjeturas dinámicas más amplias (como las conjeturas de Bogomolov o Mordell–Lang) mencionadas en la introducción como contexto.