Bigness of tangent bundles of blow-ups of ruled surfaces

Resumen Técnico: Grandeza de los Paquetes Tangentes de Explosiones de Superficies Regidas

Planteamiento del Problema
Este artículo investiga las propiedades de positividad del paquete tangente $T_X$ para variedades proyectivas suaves, centrándose específicamente en la grandeza (bigness) del paquete tangente bajo explosiones de puntos en superficies regidas. Si bien la grandeza de los paquetes tangentes para las superficies regidas originales $S = \mathbb{P}_C(E)$ ha sido caracterizada (específicamente, $T_S$ es grande si y solo si el paquete vectorial $E$ es inestable o la curva base $C$ es $\mathbb{P}^1$), el comportamiento de esta propiedad bajo explosiones permanece menos comprendido. Los autores pretenden determinar las condiciones precisas bajo las cuales la grandeza del paquete tangente se preserva al realizar la explosión de $m$ puntos en una superficie regida $S$. Esta investigación está motivada por resultados análogos para la explosión de $\mathbb{P}^2$, donde la grandeza se mantiene precisamente para un máximo de 4 puntos en posición general.

Metodología
Los autores emplean una combinación de construcciones geométricas y criterios de positividad para paquetes vectoriales:

1. Definiciones y Configuración:

   • El estudio se centra en superficies regidas $S = \mathbb{P}_C(E)$ sobre una curva suave proyectiva $C$.
   • El primer invariante de Segre $s_1(E) = -n$ es central para el análisis. Si $s_1(E) < 0$, el paquete es inestable, y $S$ posee una sección mínima única $C_0$ con autointersección $C_0^2 = -n$.
   • Posición General: Los autores definen la "posición general" para los centros de la explosión $x_1, \dots, x_m$ para asegurar que la configuración geométrica sea genérica. Para paquetes inestables ($n > 0$), esto requiere que los puntos no se encuentren sobre la sección mínima $C_0$ y que no haya dos puntos en la misma fibra.

2. Transformaciones Elementales:

   • El artículo utiliza transformaciones elementales (explotar un punto y contraer la transformada estricta de la fibra) para relacionar superficies regidas con diferentes invariantes de Segre.
   • Una técnica clave consiste en revertir el proceso de explosión en la superficie explotada $X$ para relacionarla con una superficie $S'$ con un paquete vectorial $E'$ diferente. Esto permite a los autores aprovechar los resultados conocidos sobre la grandeza de $T_{S'}$.
   • Específicamente, utilizan el Lema 2.3 para mostrar que realizar transformaciones elementales en $n$ puntos en posición general en una superficie con $s_1(E) = -n$ produce una superficie con un paquete semiestable, cuyo paquete tangente es conocido por no ser grande.

3. Criterios de Grandeza:

   • Los autores se basan en el criterio de que un paquete vectorial $V$ es grande si y solo si $k\zeta - \Pi^*H$ es pseudoefectivo para algún $k > 0$ y un divisor grande $H$, donde $\zeta$ es el paquete de líneas asociadas a $\mathbb{P}(V)$.
   • Para la No-Grandeza: Utilizan el hecho de que si $T_X$ es grande, entonces $T_Y$ debe ser grande para cualquier variedad $Y$ dominada por una morfismo biracional $X \to Y$ (Lema 2.6). Al reducir el problema a casos donde el paquete tangente es conocido por no ser grande (por ejemplo, superficies con paquetes semiestables o configuraciones específicas de del Pezzo débiles), establecen la no-grandeza.
   • Para la Grandeza:
     • En el caso donde la curva base $C$ tiene género $g > 0$, utilizan el paquete tangente relativo $T_{X/C}$ y demuestran que es grande cuando el número de explosiones es limitado.
     • En el caso donde $C \simeq \mathbb{P}^1$ (superficies de Hirzebruch $\Sigma_n$), realizan cálculos explícitos involucrando familias de curvas racionales. Construyen divisores efectivos en $\mathbb{P}(T_X)$ asociados con las variedades totales de tangentes racionales mínimas (VMRT) de los péndulos de líneas y cónicas de la $\mathbb{P}^2$ subyacente.

Contribuciones Principales y Resultados
El artículo proporciona un límite exacto para el número de puntos de explosión $m$ para los cuales el paquete tangente $T_X$ permanece grande, expresado en términos del invariante de Segre $s_1(E) = -n$.

Teorema Principal:
Sea $S = \mathbb{P}_C(E)$ una superficie regida con $s_1(E) = -n$, y sea $X$ la explosión de $S$ en $m$ puntos en posición general.

1. Caso $C \not\simeq \mathbb{P}^1$ (Género $g > 0$):
   $T_X$ es grande si y solo si $m \le n - 1$ (y $n \ge 1$).

   • Estrategia de Demostración: Si $m \le n-1$, el paquete tangente relativo es grande. Si $m = n$, la superficie puede transformarse en una con un paquete semiestable, el cual no es grande.

2. Caso $C \simeq \mathbb{P}^1$ (Superficies de Hirzebruch $\Sigma_n$):
   $T_X$ es grande si y solo si:

   • $m \le 3$ si $n = 0$ o $n = 1$.
   • $m \le n + 1$ si $n \ge 2$.
   • Estrategia de Demostración:
     • Para la no-grandeza ($m \ge n+2$), la superficie se realiza como una explosión de $\mathbb{P}^2$ con puntos específicos infinitamente cercanos, reduciéndose a casos conocidos de superficies del Pezzo débiles.
     • Para la grandeza ($m = n+1$), los autores construyen explícitamente una combinación lineal positiva de divisores efectivos (derivados de familias de líneas y cónicas) que demuestra la pseudoefectividad requerida para la grandeza.

Significado y Reivindicaciones
El artículo afirma proporcionar una caracterización completa de la grandeza de los paquetes tangentes para las explosiones de superficies regidas, extendiendo los resultados previos sobre $\mathbb{P}^2$ y superficies regidas generales.

• Establece un límite exacto sobre el número de puntos de explosión, distinguiendo claramente entre el comportamiento de las superficies regidas sobre curvas de género positivo frente a aquellas sobre $\mathbb{P}^1$.
• Los resultados resaltan una dicotomía: para $g > 0$, el límite es $n-1$, mientras que para $g=0$ (con $n \ge 2$), el límite es $n+1$.
• El trabajo contribuye a la comprensión más amplia de la positividad en paquetes vectoriales, abordando específicamente cómo las operaciones geométricas como las explosiones afectan la grandeza del paquete tangente, una propiedad vinculada a la rigidez y clasificación de variedades de Fano.

Los autores no pretenden resolver el problema general para todas las variedades, sino que restringen su alcance a las superficies regidas, proporcionando una respuesta definitiva dentro de esta clase. Las demostraciones se apoyan en técnicas establecidas de geometría algebraica (transformaciones elementales, teoría VMRT y cálculos de divisores) en lugar de introducir nuevos marcos teóricos.