Distributions with Unstable Tangent Sheaf on $\mathbb{P}^3$

A continuación presento un resumen técnico detallado del artículo "Distributions with Unstable Tangent Sheaf on P3" (Distribuciones con Haz Tangente Inestable en $\mathbb{P}^3$) de Pedro Pfarrius Barbassa.

1. Planteamiento del Problema

El artículo se centra en el estudio de las distribuciones de codimensión uno en el espacio proyectivo complejo $\mathbb{P}^3$. Una distribución se define como un subhaz $\mathcal{F} \subset T\mathbb{P}^3$ cuyo cociente es un haz sin torsión. Cuando esta distribución es integrable (en el sentido de Frobenius), se denomina foliación.

El problema principal abordado es la clasificación y comprensión de las distribuciones cuyo haz tangente ($\mathcal{T}_\mathcal{F}$) es no inestable (unstable) y no dividido (nonsplit).

• Contexto previo: Se sabe que para grados bajos ($d \leq 2$), el haz tangente de tales distribuciones es siempre dividido o al menos semiestable en el sentido de Mumford-Takemoto ($\mu$-semistable).
• La brecha: Las distribuciones con haces tangentes inestables y no divididos aparecen naturalmente cuando el grado $d \geq 3$ y el haz admite una sección global. Sin embargo, la estructura de estos haces inestables y su relación con la geometría de la distribución (especialmente con sus subfoliaciones por curvas) no estaba completamente caracterizada.

El objetivo es relacionar el grado de inestabilidad del haz tangente con el grado mínimo de una subfoliación por curvas admitida por la distribución, y clasificar los casos donde la inestabilidad es máxima.

2. Metodología

El autor emplea una combinación de geometría algebraica, teoría de haces reflexivos y teoría de foliaciones:

1. Invariante de Inestabilidad: Se utiliza la noción de "orden de inestabilidad" (order of nonstability), definida en [26], aplicada al haz tangente $\mathcal{T}_\mathcal{F}$. Para un haz reflexivo de rango 2 normalizado $\mathcal{F}_\eta$, el orden de inestabilidad $r$ es el entero positivo máximo tal que $H^0((\mathcal{F}_\eta)^\vee(-r)) \neq 0$.
2. Subfoliaciones por Curvas: Se introduce el invariante $t_\mathcal{F}$, definido como el mínimo entero $k$ tal que $H^0(\mathcal{T}_\mathcal{F}(k-1)) \neq 0$. Este valor corresponde al grado mínimo de una subfoliación por curvas $\mathcal{G}$ que la distribución $\mathcal{F}$ admite.
3. Relación Numérica: Se establece una relación inversa entre el orden de inestabilidad $r$ y el grado de la subfoliación mínima $t_\mathcal{F}$. La fórmula clave derivada es:
   $$t_\mathcal{F} = \frac{d + \varepsilon}{2} - r$$
   donde $d$ es el grado de la distribución y $\varepsilon \in \{0, 1\}$ depende de la paridad de $d$.
4. Clasificación de Foliaciones por Curvas: Se utiliza la clasificación existente de foliaciones por curvas de bajo grado (específicamente grado 1) para analizar las posibles estructuras del haz tangente cuando $t_\mathcal{F}$ es pequeño.
5. Construcción de Ejemplos: Se utilizan secuencias exactas de extensión de haces ideales de curvas (líneas, pares de líneas, etc.) para demostrar la existencia de distribuciones con las propiedades teóricas derivadas.

3. Contribuciones Clave y Resultados Principales

A. Relación entre Inestabilidad y Subfoliaciones (Lema 4.1)

El autor demuestra que para una distribución de grado $d$ con haz tangente no dividido, el haz es inestable si y solo si $d \geq 3$ y se cumple:
$$1 \leq t_\mathcal{F} \leq \frac{d - 2 + \varepsilon}{2}$$
Además, el orden de inestabilidad es exactamente $r = \frac{d + \varepsilon}{2} - t_\mathcal{F}$.

• Implicación: Cuanto más inestable es el haz, menor es el grado de la subfoliación por curvas que la distribución admite. Esto impone condiciones numéricas estrictas sobre la distribución.

B. Clasificación de la Inestabilidad Máxima (Teorema Principal 4.2)

El resultado central clasifica las distribuciones donde el haz tangente alcanza el máximo orden de inestabilidad posible (lo que ocurre cuando $t_\mathcal{F} = 1$). Bajo la hipótesis de que $\mathcal{T}_\mathcal{F}$ es no dividido, existen dos familias posibles:

1. Familia 1 (Extensión de una línea):

   • Clases de Chern: $(2-d, 1, d)$.
   • Generado por una extensión de una línea $L \subset \mathbb{P}^3$.
   • Singularidades: La componente 1-dimensional del esquema singular, $\text{Sing}_1(\mathcal{F})$, es una curva de grado $d^2 + 1$ con género aritmético $p_a = \frac{d(d-1)}{2}$. La componente 0-dimensional, $\text{Sing}_0(\mathcal{F})$, consiste en $d$ puntos colineales.
   • Existencia: Se demuestra que todas las extensiones de este tipo son haces tangentes de distribuciones de codimensión uno.

2. Familia 2 (Extensión de dos líneas o línea doble):

   • Clases de Chern: $(2-d, 2, 2d)$.
   • Generado por una extensión de un par de líneas disjuntas (skew lines) o una línea doble de género -1.
   • Singularidades: $\text{Sing}_1(\mathcal{F})$ es una curva completa intersección de grado $d^2$. $\text{Sing}_0(\mathcal{F})$ consiste en dos pares de $d$ puntos colineales (o $d$ puntos sobre la línea doble).
   • Existencia: No se garantiza la existencia para todas las extensiones teóricas, pero el autor construye ejemplos explícitos (formas 1 homogéneas) que satisfacen estas condiciones.

C. Resultados sobre Foliaciones Logarítmicas (Sección 5)

El autor analiza si las distribuciones con inestabilidad máxima pueden ser foliaciones logarítmicas genéricas.

• Resultado: Se prueba mediante un cálculo de grados que no existen foliaciones logarítmicas genéricas dentro de estas dos familias de inestabilidad máxima. El grado de la curva singular de una foliación logarítmica es estrictamente menor que el requerido por las familias clasificadas en el Teorema 4.2 para $d \geq 3$.

D. Ejemplos Explícitos

El artículo proporciona ejemplos concretos de formas 1 homogéneas en coordenadas proyectivas para $d=3$ que generan distribuciones con las propiedades de las Familias 1 y 2, detallando sus esquemas singulares. También se construye un ejemplo de un haz tangente localmente libre, no dividido e inestable (pero no de orden máximo), demostrando la viabilidad de tales objetos fuera de las clases de foliaciones estándar.

4. Significado e Impacto

Este trabajo es significativo por varias razones:

1. Compleción de la Clasificación: Cierra la brecha en la clasificación de haces tangentes de distribuciones en $\mathbb{P}^3$, moviéndose más allá de los casos estables o divididos (grados bajos) hacia el régimen de grados altos e inestables.
2. Conexión Geométrica: Establece un vínculo cuantitativo preciso entre una propiedad algebraica abstracta (el orden de inestabilidad de un haz reflexivo) y una propiedad geométrica concreta (el grado de la subfoliación por curvas más simple).
3. Estructura de Singularidades: Proporciona una descripción detallada de los esquemas singulares asociados a estas distribuciones "patológicas" (inestables), mostrando que tienen una estructura muy específica (curvas de grado alto con componentes puntuales colineales).
4. Herramientas para Moduli: Al caracterizar estas distribuciones, el trabajo contribuye a la comprensión del espacio de móduli de distribuciones, que no requiere estabilidad del haz tangente, a diferencia de los espacios de móduli de haces vectoriales tradicionales.

En resumen, Barbassa demuestra que la inestabilidad extrema del haz tangente no es un fenómeno caótico, sino que corresponde a una estructura geométrica rigurosa y clasificable, gobernada por la existencia de subfoliaciones de grado mínimo.