Complete quasimaps to $\mathsf{Bl}_{\mathbb{P}^s}(\mathbb{P}^r)$

Aquí presento un resumen técnico detallado del artículo "Cuasimapeos Completos a $Bl_s(\mathbb{P}^r)$" de Alessio Cela y Carl Lian.

1. Planteamiento del Problema y Motivación

El problema central abordado es el cálculo de los grados Tevelev geométricos ($Tev_{g,n,\beta}^X$), que cuentan el número de aplicaciones $f: C \to X$ desde una curva general fija $C$ de género $g$ hacia una variedad objetivo $X$, sujetas a condiciones de incidencia $f(p_i) = x_i$ para $n$ puntos generales.

• El Obstáculo: Las compactificaciones tradicionales del espacio de móduli de aplicaciones, como el espacio de móduli de aplicaciones estables ($\overline{M}_{g,n}(X, \beta)$) o cuasimapeos ($Q_\beta(C, X)$), a menudo fallan en proporcionar conteos enumerativos. Aunque permiten cálculos de teoría de intersección, las integrales resultantes típicamente producen conteos "virtuales". Estos conteos virtuales incluyen contribuciones de aplicaciones con dominios singulares o aplicaciones que degeneran de maneras que no corresponden a curvas geométricas reales que satisfacen las condiciones de incidencia (intersección excesiva en el borde).
• El Objetivo: Los autores buscan construir una compactificación específica del espacio de móduli de aplicaciones donde la intersección de ciclos de incidencia sea transversal y esté soportada enteramente en el lugar de aplicaciones honestas y no degeneradas. Esto permitiría que los números de intersección tautológicos igualaran el conteo geométrico real de curvas.

La variedad objetivo específica estudiada es la explosión del espacio proyectivo a lo largo de un subespacio lineal:
$$X = Bl_s(\mathbb{P}^r)$$
donde $s \leq r-2$.

2. Metodología y Construcción

Los autores proponen una construcción basada en Cuasimapeos Completos, extendiendo trabajos previos sobre cuasimapeos a $\mathbb{P}^r$ (Lian, 2024). La metodología procede en tres etapas principales:

A. Cuasimapeos Aumentados e Inclusión de Series Lineales

En lugar de comenzar con el espacio de cuasimapeos estándar $Q_\beta(C, X)$, los autores introducen un espacio refinado de cuasimapeos aumentados, denotado $Q^+_\beta(C, X)$.

• Geometría Subyacente: Una aplicación no degenerada $f: C \to X$ corresponde a una Inclusión de Series Lineales (ILS). Específicamente, la aplicación está determinada por un fibrado lineal $L$ de grado $d$, un divisor efectivo $D$ de grado $k$, y una inclusión de subespacios $V \subset W$ de secciones, donde $W \subset H^0(C, L)$ tiene dimensión $r+1$ y $V \subset H^0(C, L(-D))$ tiene dimensión $r-s$.
• El Espacio: $Q^+_\beta(C, X)$ se construye como un fibrado proyectivo sobre el espacio de móduli de tales inclusiones, $Gr^{r-s-1}_{d,k}(C)$. Se sabe que este espacio tiene la dimensión esperada y es puro.

B. La Estrategia de Explosión (Cuasimapeos Completos)

El espacio $Q^+_\beta(C, X)$ aún contiene lugares donde las condiciones de incidencia fallan en ser transversales. Estas fallas ocurren en estratos donde las secciones que definen la aplicación se vuelven linealmente dependientes (bajo "bi-rango").

• Bi-rango: Definido como $(r_1, r_2) = (\dim \langle u_1, \dots, u_{r-s} \rangle, \dim \langle u_1, \dots, u_{r+1} \rangle)$.
• Construcción: Los autores definen el espacio de móduli de cuasimapeos completos, $\widetilde{Q}_\beta(C, X)$, como una explosión iterada de $Q^+_\beta(C, X)$.
  • Las explosiones se realizan a lo largo de los cierres de estratos de cuasimapeos aumentados con bajo bi-rango, ordenados primero por $r_1$ y luego por $r_2$.
  • Este proceso resuelve las intersecciones excesivas "explotando" las componentes de dimensión mayor a la esperada fuera de la existencia, compactificando efectivamente el espacio de aplicaciones no degeneradas.

C. Lugares de Incidencia

Los autores definen lugares de incidencia $Inc(p, \Lambda) \subset \widetilde{Q}_\beta(C, X)$ como las transformadas propias de los lugares donde $f(p) \in \Lambda$ (para un subespacio lineal $\Lambda \subset X$). La conjetura central es que la intersección de $n$ tales lugares de incidencia generales es:

1. Genéricamente suave.
2. Pura de la codimensión esperada.
3. Soportada enteramente en el lugar abierto de aplicaciones honestas y no degeneradas.

3. Contribuciones y Resultados Clave

Conjetura Principal

Conjetura 1.1.2 / 2.7.3: Para $X = Bl_s(\mathbb{P}^r)$, el grado Tevelev geométrico viene dado por la integral del producto de clases de incidencia sobre el espacio de móduli de cuasimapeos completos:
$$Tev_{g,n,\beta}^X = \int_{\widetilde{Q}_\beta(C, X)} [Inc(p, x)]^n$$
Esto se cumple siempre que $n \geq r+1$ (asegurando no degeneración).

Teorema 1.1.3 (Dimensión 2)

Los autores prueban la conjetura en el caso donde $X = Bl_q(\mathbb{P}^2)$ (la explosión de $\mathbb{P}^2$ en un punto).

• Entrada Clave: La prueba se basa en un teorema de Brill-Noether para curvas en superficies tóricas (Teorema 4.1.1, de su trabajo previo [CL25a]). Este teorema garantiza que el espacio de móduli de aplicaciones hacia ciertas explosiones tóricas de $\mathbb{P}^2$ es genéricamente suave y tiene la dimensión esperada, siempre que la curva imagen tenga un grado anti-canónico suficientemente alto.
• Transversalidad: Al analizar los estratos de la explosión (específicamente los lugares de bi-rango $(1,1)$ y $(1,2)$) y utilizando los resultados de Brill-Noether, demuestran que los lugares de incidencia se intersecan transversalmente y no adquieren componentes excesivas en el borde.

Descripciones Conjuntistas

El artículo proporciona descripciones explícitas conjuntistas de los puntos en $\widetilde{Q}_\beta(C, X)$ y los lugares de incidencia.

• Los puntos en los divisores excepcionales se describen mediante bi-colineaciones completas, una generalización de las colineaciones completas. Estas involucran secuencias de aplicaciones lineales entre espacios vectoriales derivados de las secciones de la aplicación, resolviendo la degeneración de las secciones.
• Para $X = Bl_q(\mathbb{P}^2)$, los autores caracterizan explícitamente la intersección de los lugares de incidencia con el divisor excepcional, mostrando cómo la "desaparición" de secciones en los puntos marcados se resuelve mediante los datos de la explosión.

Relación con Otros Espacios de Móduli

Los autores comparan $\widetilde{Q}_\beta(C, X)$ con:

1. Cuasimapeos Estándar ($Q_\beta$): Estos pueden tener componentes de dimensión inesperada y clases virtuales que no coinciden con conteos enumerativos.
2. Cuasimapeos Ingenuos ($P$): Un espacio utilizado en trabajos previos [CL23a] para cálculos de "alto grado".

• Resultado: En el régimen de "alto grado" ($n > d+1$), los números de intersección en $\widetilde{Q}_\beta$, $Q^+_\beta$ y $P$ coinciden y son enumerativos. Sin embargo, para $n$ pequeño (donde la transversalidad falla en espacios estándar), solo se espera que el espacio de cuasimapeos completos $\widetilde{Q}_\beta$ produzca el conteo enumerativo correcto.

4. Significado y Direcciones Futuras

• Resolución de Intersección Excesiva: El artículo proporciona una construcción geométrica concreta para resolver el problema de la "intersección excesiva" en geometría enumerativa para explosiones de espacios proyectivos. Avanza más allá de los conteos virtuales hacia conteos geométricos reales para clases específicas de objetivos.
• Teoría de Brill-Noether: El trabajo destaca la necesidad de nuevos teoremas de Brill-Noether para aplicaciones hacia variedades tóricas. La prueba en dimensión 2 depende de propiedades específicas de superficies; el caso general requiere un análogo adecuado para variedades tóricas de dimensión superior.
• Trabajo Futuro:
  • Dimensiones Superiores: Los autores identifican que probar la conjetura para $X = Bl_s(\mathbb{P}^r)$ con $r > 2$ requiere un "teorema de Brill-Noether con puntos" para aplicaciones hacia variedades tóricas de dimensión superior (Pregunta 5.2.2).
  • Cálculos: Si bien la existencia del espacio de móduli y la transversalidad están establecidas (en dimensión 2), el cálculo explícito de las integrales (los grados Tevelev reales) se pospone para trabajos futuros, probablemente utilizando técnicas de degeneración.

En resumen, este artículo introduce un robusto espacio de móduli de cuasimapeos completos que sirve como candidato para una compactificación enumerativa "verdadera" para aplicaciones hacia explosiones de espacios proyectivos. Prueba exitosamente esto para superficies aprovechando la teoría avanzada de Brill-Noether, ofreciendo una vía para resolver problemas similares en dimensiones superiores.