Curves in projective space and RSK

Resumen Técnico: Curvas en el Espacio Projectivo y RSK

1. El Problema: Grados Tevelev Geométricos

El artículo aborda el problema de enumerar grados Tevelev geométricos ($Tev^{\mathbb{P}^r}_{g,n,d}$) para el espacio proyectivo complejo $\mathbb{P}^r$.

• Definición: Dada una curva algebraica suave y general $C$ de género $g$, y un conjunto de $n$ puntos generales $p_1, \dots, p_n$ en $C$ y $n$ puntos generales $x_1, \dots, x_n$ en $\mathbb{P}^r$, el grado Tevelev cuenta el número de aplicaciones de grado $d$, $f: C \to \mathbb{P}^r$, tales que $f(p_i) = x_i$ para todo $i$.
• Condición de Interpolación: El número de puntos $n$ se fija en el máximo posible para que exista un número finito de tales mapas (intersección transversal), dado por la fórmula de Brill-Noether:
  $$n = \frac{r+1}{r} \cdot d - g + 1$$
• Contexto Previo: Trabajos anteriores (como [Lia24a]) habían expresado estos invariantes mediante cálculo de Schubert (números de intersección en la variedad de Grassmann $Gr(r+1, d+1)$). Sin embargo, estas fórmulas eran algebraico-geométricas y no ofrecían una interpretación combinatoria directa o "positiva" (es decir, como un conteo de objetos discretos sin signos alternantes).

2. Metodología: Combinatoria de Tablas y Correspondencia RSK

Los autores extienden el trabajo de Gillespie–Reimer-Berg [GRB23] para proporcionar una prueba combinatoria del conteo de estos grados. La metodología se estructura en tres pasos principales:

1. Tablas L (L-tableaux):

   • Se utilizan las "tablas L" definidas en [FL23] y [GRB23], que son rellenos de una cuadrícula $(r+1) \times (d-r)$.
   • Estas tablas contienen dos tipos de enteros:
     • Azules: Forman un Young Tableau Semi-Estandar (SSYT) con entradas en $\{1, \dots, r+1\}$.
     • Rojos: Forman un SSYT rotado 180° con entradas en $\{1, \dots, g\}$, donde cada entero aparece exactamente $r$ veces.
   • El conteo de $Tev^{\mathbb{P}^r}_{g,n,d}$ se iguala al número de estas tablas L que satisfacen restricciones específicas sobre "tiras" (strips) de longitud $n-r-1$.

2. Transformación a Pares de Tablas $(P, Q)$:

   • Los autores definen una operación $\psi$ que ajusta el ancho de la tabla azul (truncando o añadiendo columnas de altura $r+1$) para obtener una tabla $P$ de tamaño $g$.
   • Utilizan una biyección $\phi$ (definida en [GRB23]) para convertir la tabla roja $R$ en una tabla estándar $Q$ (SYT) del mismo tamaño $g$.
   • Esto establece una biyección entre las tablas L restringidas y pares de tablas $(P, Q)$ del mismo tamaño $g$, donde $P$ es un SSYT y $Q$ es un SYT.

3. Correspondencia RSK (Robinson-Schensted-Knuth):

   • Se aplica el algoritmo RSK a los pares $(P, Q)$. El algoritmo RSK mapea biyectivamente pares de tablas del mismo tamaño a palabras (secuencias de letras).
   • En este contexto, las palabras son secuencias de longitud $g$ sobre el alfabeto $\{1, \dots, r+1\}$ (palabras $(r+1)$-arias).
   • El núcleo de la prueba consiste en traducir las restricciones geométricas sobre las tablas L (específicamente la ausencia de ciertas "tiras" y condiciones de altura/ancho) a restricciones combinatorias sobre las palabras resultantes mediante el Teorema de Greene y el Teorema de Knuth.

3. Contribuciones Clave y Resultados Principales

Teorema Principal (Teorema 1.1):
El número de grados Tevelev $Tev^{\mathbb{P}^r}_{g,n,d}$ es exactamente igual al número de palabras $(r+1)$-arias de longitud $g$ que satisfacen tres condiciones combinatorias:

1. Condición de Subsecuencias Decrecientes: La palabra contiene al menos $g + r - d$ subsecuencias decrecientes disjuntas de longitud $r+1$.
   • Nota: Si $d \ge g+r$, esta condición es vacía (siempre se cumple).
2. Condición de Longitud de Subsecuencias No-Decrecientes: No existe ninguna subsecuencia no-decreciente de longitud mayor que $\lfloor d/r \rfloor$.
3. Condición de Subsecuencias $(i, i+1)$: No existe ninguna subsecuencia no-decreciente de longitud $\lfloor d/r \rfloor$ compuesta exclusivamente por las letras $i$ e $i+1$ (para cualquier $i$).

Resultados Especiales y Recuperación de Casos Conocidos:

• Caso de Grado Alto ($d \ge rg + r$): Cuando el grado es suficientemente grande, las tres condiciones se vuelven vacías. El conteo se reduce a $(r+1)^g$, recuperando el resultado conocido de la teoría de enumeración virtual de Gromov-Witten.
• Caso $r=1$ (Curvas en $\mathbb{P}^1$): La descripción se simplifica drásticamente. Las condiciones se reducen a una interpretación de caminos de retícula (lattice paths) que no cruzan una cierta línea diagonal. En el caso particular $d = g/2 + 1$, el resultado recupera los números de Catalan, conectando con el cálculo clásico de Castelnuovo del siglo XIX.

4. Significado e Impacto

• Interpretación Positiva: El trabajo transforma un problema de geometría algebraica (intersecciones en variedades de Grassmann) en un problema puramente combinatorio de conteo de palabras. Esto proporciona una "interpretación positiva" de los invariantes, eliminando la necesidad de cálculos de cohomología complejos para obtener el número final.
• Puente entre Geometría y Combinatoria: Establece una conexión explícita y constructiva entre los grados Tevelev geométricos y la teoría de tablas de Young y la correspondencia RSK.
• Generalización: Extiende los resultados previos de Gillespie–Reimer-Berg (que solo cubrían el rango $d \ge g+r$) a todo el rango geométricamente válido, incluyendo el rango "especial" de Brill-Noether ($d < g+r$), donde aparecen restricciones no triviales en las palabras.
• Herramientas Nuevas: Introduce el uso de las condiciones de "tiras" (strips) en tablas SSYT y su traducción a propiedades de subsecuencias en palabras mediante el Teorema de Greene, ofreciendo nuevas herramientas para el estudio de invariantes geométricos.

En resumen, Lian y Solotko logran descomponer un invariante geométrico profundo en reglas combinatorias simples sobre palabras, demostrando que la enumeración de curvas que interpolan puntos en espacios proyectivos es equivalente a contar secuencias con restricciones específicas de orden y estructura.