Frobenius--Tschirnhausen ampleness

Declaración del Problema
Este trabajo investiga las restricciones geométricas impuestas a variedades proyectivas suaves $X$ sobre un cuerpo de característica positiva $p > 0$ por la amplitud de su haz de Frobenius–Tschirnhausen, denotado como $E_X$. Este haz se define como el dual del núcleo de la traza de Frobenius asociado al morfismo de Frobenius absoluto $F: X \to X$, específicamente $E_X \coloneqq (F_* \mathcal{O}_X / \mathcal{O}_X)^\vee$. El estudio está motivado por resultados clásicos en característica 0, tales como el teorema de Mori (donde la amplitud del haz tangente implica $X \cong \mathbb{P}^n$) y la conjetura de la amplitud de Tschirnhausen para espacios homogéneos racionales. Si bien trabajos previos de Carvajal-Rojas y Patakfalvi establecieron que tales variedades deben ser Fano y carecer de fibraciones suavemente genéricas o contracciones divisoriales, la clasificación precisa y la existencia de ejemplos más allá del espacio proyectivo y las cuádricas permanecían abiertas. La cuestión central es: ¿Qué variedades Fano suaves de rango de Picard 1 poseen un núcleo de traza de Frobenius ámbito? y ¿cuáles son las condiciones necesarias sobre la característica $p$?

Metodología
Los autores emplean una combinación de teoría de representaciones infinitesimales, la teoría de desdoblamientos de Frobenius (Frobenius splittings) y construcciones geométricas explícitas para analizar la positividad de $E_X$.

1. Restricciones sobre Morfismos y Subesquemas: El artículo establece primero que si $E_X$ es ámbito, cualquier morfismo no constante $f: X \to Y$ debe ser finito sobre su imagen. Esto se demuestra mostrando que cualquier subesquema cerrado conexo $Z \subset X$ satisface la propiedad $G_1$ (las funciones formales en el completamiento de $X$ a lo largo de $Z$ son constantes). Esto se basa en la observación de que la restricción del cocernel de Frobenius a un subesquema se relaciona con el haz conormal y los vecindarios infinitesimales.
2. Criterios de Teoría de Representaciones: Para espacios homogéneos racionales $X = G/P$, los autores utilizan el hecho de que $E_X$ es generado globalmente. Refinan esto investigando la generación global del haz torcido $E_X \otimes \mathcal{O}_X(-1)$. Utilizando la identificación del núcleo de la traza de Frobenius con los coinvariantes de la acción del haz tangente, relacionan la amplitud con la suryectividad de los mapas de restricción en las secciones globales de $\omega_X^{\otimes (1-p)} \otimes \mathcal{O}_X(-p)$ hacia los jets de Frobenius-$p$.
3. Construcciones Explícitas (Determinantes Rodantes y Pfaffianos): Para demostrar la generación global para tipos clásicos (Grassmannianos, Simpéticos, Ortogonales) y Tipo $G_2$, los autores construyen secciones explícitas. Introducen "determinantes rodantes" para Grassmannianos clásicos y "Pfaffianos rodantes" para variedades espinoriales. Estas construcciones involucran polinomios específicos en los menores de matrices de coordenadas en la gran celda de Schubert, diseñados para realizar vectores de peso específicos (derivadas del elemento de traza $\tau$) en el anillo de coordenadas del núcleo de Frobenius.
4. Obstrucción vía Isogenias Exóticas: Para los casos excepcionales donde la amplitud falla, los autores demuestran la existencia de morfismos finitos puramente inseparables (isogenias exóticas) entre grupos algebraicos o sus asociados espacios homogéneos. Muestran que el haz de Tschirnhausen de tal morfismo se restringe a un haz no ámbito en subvariedades específicas (por ejemplo, rectas o Grassmannianos de menor dimensión), lo que obstruye la amplitud de $E_X$.

Contribuciones Clave y Resultados

• Teorema A (Finitud de Morfismos): Cualquier morfismo no constante desde una variedad de amplitud de Frobenius–Tschirnhausen $X$ hacia otra variedad $Y$ es finito sobre su imagen. En consecuencia, $X$ no admite contracciones extremales no triviales. Combinado con la propiedad Fano, esto sugiere fuertemente (y prueba bajo la suposición del teorema de contracción) que tales variedades deben tener rango de Picard 1.
• Teorema B (No Amplitud de Hipersuperficies): Los autores construyen familias explícitas de hipersuperficies Fano suaves en $\mathbb{P}^n$ de grado $d$ (donde $p < d \le n$) que no son Frobenius–Tschirnhausen ámbitos. Estos ejemplos incluyen hipersuperficies "q-bic" o extremas, generalizando la conocida no amplitud de la cuádrica triédrica en característica 2.
• Teorema C (Clasificación para Tipos Clásicos y $G_2$): El artículo proporciona una clasificación completa de los Grassmannianos generalizados de tipo clásico y Tipo $G_2$ que son Frobenius–Tschirnhausen ámbitos. Un espacio homogéneo racional $X$ de rango de Picard 1 es Frobenius–Tschirnhausen ámbito si y solo si no es uno de los siguientes casos excepcionales:
  • Grassmanniano Simpético $SGr(k, 2m)$ con $2 \le k \le m$ en característica $p=2$.
  • Grassmanniano Ortogonal $OGr(m-1, 2m+1)$ en característica $p=2$.
  • Grassmanniano $G_2$ en características $p=2$ o $p=3$.
• Corrección de Resultados Previos: El trabajo corrige una ligera inexactitud en la literatura previa respecto a las cuádricas en característica 2, mostrando que las cuádricas de dimensión $\ge 4$ en $p=2$ son Frobenius–Tschirnhausen ámbitos, mientras que la cuádrica triédrica no lo es.

Significancia y Reivindicaciones
El artículo afirma proporcionar el primer conjunto integral de restricciones y ejemplos para variedades de amplitud de Frobenius–Tschirnhausen en característica positiva. Al probar que tales variedades no admiten contracciones no triviales, los autores proporcionan una fuerte evidencia que apoya la conjetura de que estas variedades son variedades Fano de rango de Picard 1.

La significancia de los resultados radica en:

1. Completar la Clasificación: El Teorema C resuelve la cuestión de la amplitud para la clase más accesible de variedades Fano (Grassmannianos generalizados) de tipo clásico y Tipo $G_2$, identificando obstrucciones precisas dependientes de la característica.
2. Mecanismo Geométrico: El artículo elucida el mecanismo detrás del fallo de la amplitud en características bajas, atribuyéndolo a la existencia de "isogenias exóticas" entre grupos algebraicos (por ejemplo, entre $SO_{2m+1}$ y $Sp_{2m}$ en $p=2$, y auto-isogenias de $G_2$ en $p=3$). Estas isogenias inducen morfismos cuyos haces de Tschirnhausen fallan en ser ámbitos.
3. Avance Metodológico: Los autores introducen una técnica que evita la descomposición explícita de $F_* \mathcal{O}_X$ (que suele ser intratable) mediante la construcción de desdoblamientos de Frobenius específicos y el análisis de la generación global de los núcleos de traza torcidos a través de la teoría de representaciones.

Los autores mantienen la modestia respecto a los tipos excepcionales (otros que no sean $G_2$), conjeturando que los Grassmannianos generalizados de otros tipos excepcionales son Frobenius–Tschirnhausen ámbitos siempre que la característica sea "buena" (por ejemplo, $p > 5$), pero no lo prueban. El trabajo establece un vínculo riguroso entre la positividad del núcleo de la traza de Frobenius y la geometría global de la variedad, sugiriendo un reverso a la intuición de que la positividad del haz tangente implica la positividad del núcleo de la traza de Frobenius.