The space of foliations on projective spaces in positive characteristic

Resumen Técnico: El Espacio de Foliaciones en Espacios Proyectivos en Característica Positiva

Planteamiento del Problema
El estudio del espacio de foliaciones holomorfas en espacios proyectivos ha sido un tema central en la geometría algebraica compleja, notablemente tras el trabajo fundacional de Jouanolou, Cerveau y Lins Neto. Mientras que los componentes irreducibles de estos espacios están bien comprendidos sobre los números complejos para grados bajos (específicamente grados cero, uno y dos), el comportamiento de estos espacios sobre cuerpos algebraicamente cerrados de característica positiva permanece en gran medida inexplorado. Este artículo aborda la clasificación de los componentes irreducibles del esquema $\text{Fol}^1_d(\mathbb{P}^n_k)$, que representa foliaciones de codimensión uno de grado $d$ en $\mathbb{P}^n_k$, donde $k$ es un cuerpo algebraicamente cerrado de característica $p > 0$. El objetivo principal es determinar cómo la geometría y el número de componentes irreducibles de estos espacios varían con la característica $p$, particularmente en grados bajos ($d=0, 1, 2$).

Metodología
Los autores emplean una combinación de técnicas de geometría algebraica específicas de la característica positiva y adaptaciones de argumentos de la geometría compleja. Los elementos metodológicos clave incluyen:

1. Relación de Euler y Formas Cerradas: El análisis de las foliaciones de grado cero se basa fuertemente en la relación de Euler para formas homogéneas. Los autores utilizan el comportamiento específico de las formas proyectivas cerradas en la característica $p$, observando que las formas cerradas de grado $e$ solo existen si $p$ divide a $e$ (o bajo condiciones específicas de exactitud).
2. Clasificación de Medeiros: El artículo adapta la descripción de Medeiros de las formas diferenciales integrables localmente decomponibles con coeficientes lineales. Aunque fue formulada originalmente sobre $\mathbb{C}$, los autores verifican su validez en una característica arbitraria, utilizándola para clasificar las foliaciones de grado cero y uno.
3. $p$-Curvatura y Divisores de Degeneración: Para las foliaciones de grado uno, los autores utilizan la teoría de la $p$-curvatura. Distinguen entre foliaciones $p$-cerradas y $p$-densas, analizando el divisor de degeneración $\Delta_F$ asociado al morfismo de $p$-curvatura. Esto les permite caracterizar las foliaciones como pull-backs lineales o formas logarítmicas basándose en el grado relativo a $p$.
4. Transformada de Cartier: Una herramienta central para el estudio de los componentes logarítmicos es la transformada de Cartier de las foliaciones. Al aplicar el operador de Cartier a las 1-formas logarítmicas cerradas, los autores analizan la estabilidad de estas formas bajo deformación y establecen condiciones bajo las cuales los componentes logarítmicos permanecen irreducibles.
5. Especialización Aritmética: Para probar resultados para una característica arbitraria, los autores a menudo establecen resultados en característica cero (o $p$ grande) y utilizan argumentos de semicontinuidad o especialización para deducir propiedades en características pequeñas. Inversamente, utilizan la existencia de componentes específicos en característica $p$ para proporcionar pruebas alternativas para resultados clásicos sobre $\mathbb{C}$.

Contribuciones Clave y Resultados

• Foliaciones de Grado Cero ($d=0$):
  Los autores proporcionan una descripción completa de los componentes irreducibles para las foliaciones de grado cero.

  • Si $\text{char}(k) \neq 2$ o la codimensión $q > 1$, el espacio es isomorfo al Grassmaniano de subespacios lineales, correspondiente a foliaciones definidas por proyecciones lineales.
  • En el caso excepcional donde $\text{char}(k) = 2$ y $q=1$, el espacio corresponde al espacio proyectivo de 1-formas cerradas de grado 2, lo cual difiere significativamente del caso de característica $\neq 2$.

• Foliaciones de Grado Uno ($d=1$):
  El número de componentes irreducibles depende estrictamente de la característica $p$:

  • $p=2$: Existe exactamente un componente irreducible, el componente de pull-back lineal $\text{Lin}_1(\mathbb{P}^n_k)$.
  • $p=3$: Existen exactamente dos componentes: el componente de pull-back lineal $\text{Lin}_1(\mathbb{P}^n_k)$ y el componente de las 1-formas cerradas $\text{Cl}_1(\mathbb{P}^n_k)$.
  • $p \geq 5$: Existen exactamente dos componentes: $\text{Lin}_1(\mathbb{P}^n_k)$ y el componente logarítmico $\text{Log}_{(1,2)}(\mathbb{P}^n_k)$.
    El artículo establece que para $p \geq 5$, la descripción es uniforme, y el componente logarítmico surge de formas con dos residuos distintos.

• Foliaciones de Grado Dos ($d=2$):
  Los resultados para el grado dos son menos definitivos pero proporcionan una clasificación parcial.

  • Los autores muestran que los seis componentes irreducibles conocidos en característica cero se especializan en componentes irreducibles en característica $p$ para $p \geq 5$.
  • Identifican componentes específicos para características pequeñas ($p=2, 3$), incluyendo el componente "excepcional" $\text{Exc}(\mathbb{P}^n_k)$, el cual está definido por la órbita de una foliación asociada a una subálgebra de Lie no abeliana de campos vectoriales.
  • La existencia del componente excepcional se prueba para $p \neq 3$. Para $p=3$, el estatus de este componente sigue siendo una cuestión abierta debido al fallo de la condición de singularidad no-Kupka requerida por su principal herramienta técnica.

• Teorema A (Estabilidad de las Formas Logarítmicas):
  Una contribución teórica mayor es el Teorema A, que establece la irreducibilidad de los componentes logarítmicos $\text{Log}_{(d_1, \dots, d_r)}(\mathbb{P}^n_k)$ en una característica arbitraria. El teorema proporciona condiciones aritméticas específicas sobre los grados $d_i$ y la característica $p$ (por ejemplo, si $p$ divide a los grados o a sus sumas) bajo las cuales estos conjuntos forman componentes irreducibles. Este resultado generaliza el teorema de estabilidad de Calvo-Andrade para 1-formas logarítmicas genéricas desde el entorno complejo hacia la característica arbitraria.

Significado y Reivindicaciones
El artículo afirma iniciar el estudio sistemático de los espacios de foliaciones en característica positiva, revelando que la geometría de estos espacios de módulos es altamente sensible a la característica del cuerpo base.

• Perspectiva Aritmética: Los autores demuestran que el Teorema A ofrece una nueva prueba aritmética del resultado de estabilidad de Calvo-Andrade sobre $\mathbb{C}$ (Corolario 6.3), derivada del comportamiento de estos espacios en característica positiva.
• Modestia sobre la Completitud: Los autores declaran explícitamente que, si bien proporcionan una descripción completa para los grados cero y uno, la clasificación para el grado dos permanece incompleta, particularmente para características pequeñas ($p=2, 3$) y para codimensiones más altas. Observan que la situación para las foliaciones de grado tres es aún menos comprendida.
• Preguntas Abiertas: El artículo concluye resaltando problemas abiertos, tales como la completitud de la lista de componentes para el grado dos en características pequeñas y la clasificación de los componentes irreducibles para grados y codimensiones superiores.

En resumen, el trabajo establece que, si bien la clasificación compleja sirve como una línea base, el entorno de la característica positiva introduce fenómenos distintos (como la emergencia de formas cerradas en característica 2 y la dependencia del conteo de componentes de $p$) que requieren herramientas aritméticas específicas para su análisis.