Interpolation for rational curves with secants

Resumen Técnico: Interpolación para Curvas Racionales con Secantes

Planteamiento del Problema
Este artículo aborda el problema de la interpolación para curvas racionales en el espacio proyectivo $\mathbb{P}^r$ sujetas a una condición de secancia. Específicamente, dados los enteros $d, k, r, s$ y un espacio lineal $P_s \subset \mathbb{P}^r$, los autores investigan la existencia y enumeración de curvas racionales $f: \mathbb{P}^1 \to \mathbb{P}^r$ de grado $d$ que encuentran a $P_s$ con multiplicidad $k$ y pasan por $n$ puntos generales $x_1, \dots, x_n$. El estudio considera dos escenarios:

1. Puntos no prescritos: Determinar el número máximo de puntos generales por los que puede pasar una curva general de este tipo (Pregunta 1.1.1(a)).
2. Puntos prescritos: Determinar el número máximo de puntos generales $p_i \in \mathbb{P}^1$ tales que $f(p_i) = x_i$ para $x_i$ generales (Pregunta 1.1.1(b)).

Geométricamente, estas preguntas se reformulan en términos de la explosión (blow-up) $X_{r,s} = \text{Bl}_{P_s}(\mathbb{P}^r)$. Una curva que encuentra a $P_s$ con multiplicidad $k$ corresponde a un mapa $f: \mathbb{P}^1 \to X_{r,s}$ de grado $(d, k)$. Las preguntas se reducen a determinar si los mapas de evaluación desde el espacio de módulos de tales mapas hacia el espacio objetivo son dominantes.

Metodología
Los autores determinan las respuestas analizando los tipos de descomposición (splitting types) de dos haces vectoriales específicos asociados a un mapa general $f$:

• El haz normal $N_{C/X_{r,s}}$, que gobierna la deformación de la curva dentro del espacio ambiente (relacionado con los puntos no prescritos).
• El haz tangente restringido $f^* T_{X_{r,s}}$, que gobierna la deformación del mapa con puntos del dominio fijos (relacionado con los puntos prescritos).

La herramienta técnica central es la propiedad de balanceo (balancedness). Un haz vectorial sobre $\mathbb{P}^1$ es balanceado si se descompone como una suma directa de haces de líneas con grados que difieren como máximo en 1. En característica 0, un haz es balanceado si y solo si satisface la propiedad de interpolación (es decir, las secciones se anulan en puntos generales según lo esperado). Los autores extienden estos resultados a característica arbitraria, incluyendo la característica 2, donde surgen obstrucciones adicionales.

El enfoque metodológico principal es la degeneración. Los autores construyen curvas nodales singulares $C = C' \cup L$ (donde $L$ es una línea de grado específico) y analizan los haces normales y tangentes de estas curvas singulares. Utilizando la teoría de modificaciones elementales y haces apuntados (pointing bundles), relacionan los haces de la curva singular con los de los componentes suaves. Al demostrar que la interpolación es una condición abierta en familias planas, deducen las propiedades de la curva suave general a partir de las curvas singulares.

Pasos técnicos clave incluyen:

• Pasos inductivos: Establecer que si un haz para el grado $(d, k)$ es balanceado (o "casi balanceado"), entonces el haz para $(d + r - s - 1, k + 1)$ también es balanceado. Esto implica añadir configuraciones específicas de líneas a la curva.
• Análisis de obstrucciones: Identificar condiciones geométricas y aritméticas específicas bajo las cuales el balanceo falla. Estas incluyen:
  • Degeneración: Cuando la imagen de la curva reside en un subespacio lineal propio.
  • Secuencias de proyección: Cuando la pendiente del haz tangente relativo es demasiado grande en comparación con el haz normal de la proyección, causando que la secuencia de extensión se descomponga de manera desbalanceada.
  • Obstrucciones en característica 2: Fallos específicos en característica 2 relacionados con el mapa de Frobenius y la paridad de los grados, que impiden el balanceo incluso cuando se cumplen las condiciones de pendiente.

Contribuciones Clave y Resultados

1. Determinación Completa de los Haces Normales:
   El artículo proporciona una clasificación completa del tipo de descomposición del haz normal $N_{C/X_{r,s}}$ para curvas racionales generales en $X_{r,s}$ en cualquier característica.

   • Característica $\neq 2$: El haz es balanceado si y solo si la curva es no degenerada y el grado $d$ satisface un límite inferior específico $d \ge L_{r,s}(k)$. Si $d$ es menor, el haz se descompone como una suma directa del haz tangente relativo y el haz normal de la proyección, lo cual es desbalanceado.
   • Característica 2: Los autores identifican que el balanceo falla no solo debido a la descomposición de la secuencia de proyección, sino también debido a obstrucciones heredadas del espacio proyectivo ambiente $\mathbb{P}^r$ (específicamente cuando $(r-1) \nmid (d-1)$) y condiciones aritméticas específicas sobre $d$ y $k$. El Teorema 1.4.3 establece que estas son las únicas obstrucciones.

2. Determinación Completa de los Haces Tangentes Restringidos:
   El artículo determina el tipo de descomposición del haz tangente restringido $f^* T_{X_{r,s}}$ en todas las características.

   • A diferencia del haz normal, el haz tangente restringido es balanceado si y solo si se cumple una desigualdad específica que involucra a $d, k, r, s$ ($d \ge L^t_{r,s}(k)$). Esta condición es uniforme en todas las características.
   • Este resultado implica que el número máximo de puntos prescritos por los que puede pasar una curva general está determinado uniformemente por la pendiente del haz tangente restringido, independientemente de la característica del cuerpo.

3. Resultados Enumerativos (Grados de Tevelev):
   En el apéndice, los autores enumeran el número de tales curvas de interpolación cuando el número de puntos es máximo. Computan los "grados de Tevelev" para $X_{r,s}$, proporcionando una fórmula para el número de mapas que satisfacen $n$ condiciones de incidencia generales. Esto recupera resultados previos para $s=0$ y los generaliza a espacios lineales de mayor dimensión.

Significancia y Reivindicaciones
El artículo afirma resolver el problema de la interpolación para curvas racionales con secantes en característica arbitraria. Su significancia radica en:

• Uniformidad: Establecer que la respuesta al problema de los puntos prescritos (Pregunta 1.1.1(b)) es uniforme en la característica, mientras que el problema de los puntos no prescritos (Pregunta 1.1.1(a)) exhibe un comportamiento distinto en característica 2.
• Completitud: Proporcionar una lista completa de las obstrucciones al balanceo, mostrando que en característica 2, el fallo del balanceo se explica enteramente por la descomposición de la secuencia de proyección o la propagación de la falta de balanceo desde el espacio proyectivo ambiente.
• Generalización: Extender los resultados conocidos para curvas racionales en $\mathbb{P}^r$ (donde $k=0$) al escenario más complejo de curvas con condiciones de secancia ($k>0$) en explosiones de espacios proyectivos.

Los autores señalan explícitamente que, aunque se centran en curvas racionales, los métodos y las preguntas son relevantes para curvas generales de género positivo, aunque esos casos no son tratados en este trabajo. Los resultados se derivan rigurosamente mediante técnicas de geometría algebraica, específicamente espacios de módulos, teoría de haces vectoriales y argumentos de degeneración, sin depender de datos experimentales o conjeturas no probadas.