Measures of association between algebraic varieties, II: self-correspondences

Siguiendo una sugerencia de Jordan Ellenberg, este artículo estudia medidas de complejidad para las autocorrespondencias de ciertas clases de variedades y responde a una pregunta de Rhyd sobre curvas contenidas en el cuadrado de una curva hiperelíptica muy general.

Lo esencial

¡Hola! Vamos a desglosar este artículo matemático complejo en una historia sencilla, usando analogías de la vida cotidiana. Imagina que las matemáticas de este papel son como un juego de detectives geométricos.

El Título y el Contexto

"Medidas de asociación entre variedades algebraicas, II: Auto-correspondencias"

Imagina que tienes dos objetos geométricos (llamémosles "variedades", que son como superficies o formas curvas en espacios multidimensionales). En un trabajo anterior, los autores (Robert Lazarsfeld y Olivier Martin) se preguntaron: "¿Qué tan diferentes son dos objetos distintos?".

En este nuevo trabajo, se preguntan algo más profundo: "¿Qué tan diferente es un objeto de sí mismo?".

El Concepto Clave: El "Espejo" y el "Doble"

Imagina que tienes una figura geométrica, digamos una curva suave (como una serpiente o una elipse). Ahora, imagina que quieres crear un "espejo" de esta figura que no sea simplemente la figura misma, sino una relación especial entre dos puntos de la misma figura.

En matemáticas, esto se llama una auto-correspondencia.

• La analogía: Piensa en una fiesta donde todos los invitados son puntos de tu figura. Una auto-correspondencia es una regla que dice: "Si tú estás en la posición A, entonces tú también estás conectado con la posición B".
• El objetivo: Quieren encontrar la regla más "simple" posible que conecte puntos de la figura consigo misma, pero que no sea la regla obvia (que cada punto se conecte solo consigo mismo, lo cual es el "diagonal" o el espejo perfecto).

Quieren medir la "complejidad" de esta regla. ¿Cuántos puntos de la figura original necesitas "sacrificar" o mover para crear esta conexión? A esto lo llaman el grado de auto-correspondencia.

Los Tres Grandes Descubrimientos (Los "Casos")

Los autores estudian tres tipos de figuras geométricas y descubren que, en la mayoría de los casos, la única forma de conectar una figura consigo misma de manera "barata" (simple) es usando reglas muy específicas.

1. Las Curvas Genéricas (Proposición A)

Imagina una curva muy aleatoria y compleja (como un garabato hecho por un niño con los ojos vendados, pero en un espacio matemático perfecto).

• El hallazgo: La única forma de conectar esta curva consigo misma de manera eficiente es usando una "proyección".
• La analogía: Imagina que tienes una cuerda enrollada. Si quieres ver cómo se relacionan los puntos, la forma más simple es proyectar la cuerda sobre una línea recta. Los puntos que caen en el mismo lugar de la línea se conectan entre sí.
• La conclusión: Si la curva es "típica" (muy general), no hay trucos ocultos. La complejidad mínima es exactamente lo que esperas si solo usas esa proyección simple. No hay atajos mágicos.

2. Las Hipersuperficies (Teorema B)

Ahora imagina una figura más grande, como una esfera o una superficie curva en un espacio de muchas dimensiones (una "hipersuperficie").

• El hallazgo: Si la superficie es lo suficientemente compleja (tiene un grado alto), la única forma de conectarla consigo misma es proyectándola desde un punto específico, como si fueras una cámara de fotos.
• La analogía: Imagina que estás en una montaña y miras hacia abajo. Todos los puntos que se alinean en tu línea de visión forman un grupo. La regla matemática dice: "Conecta todos los puntos que ves en la misma línea desde mi ojo".
• La conclusión: Para estas superficies complejas, la única forma de hacer una conexión "barata" es usando la perspectiva de un punto. Cualquier otra forma de conectar los puntos sería mucho más complicada y costosa.

3. Las Curvas Hiperelípticas (Teorema C)

Este es el caso más interesante y responde a una pregunta de un colega llamado David Rhyd.

• El escenario: Las curvas hiperelípticas son como una "figura con simetría especial" (piensa en una figura con un eje de simetría, como un huevo o una elipse). Tienen una "involutión", que es como un botón de "espejo" que intercambia la parte izquierda con la derecha.
• La pregunta: ¿Existen otras formas extrañas de conectar una curva hiperelíptica consigo misma, además de la simetría obvia? ¿Hay "fantasmas" ocultos en el producto de la curva por sí misma?
• La respuesta: No.
• La analogía: Imagina que tienes un mapa de una ciudad con un río que la divide en dos (la simetría). Los autores demostraron que, si la ciudad es "típica", no hay puentes secretos, túneles ocultos ni caminos mágicos que conecten un lado con el otro de formas extrañas. Solo existen:
  1. El camino directo (la diagonal).
  2. El camino del espejo (la simetría).
  3. Los caminos que van de un lado a la orilla y se quedan ahí (las fibras).
• El resultado: No hay "sorpresas". Si intentas dibujar una curva hiperelíptica dentro de este espacio de dos dimensiones, o bien es una de las formas obvias, o bien es tan "rara" que no cuenta como una verdadera curva hiperelíptica en el sentido matemático estricto.

¿Por qué es importante esto?

Imagina que eres un arquitecto que diseña puentes.

• Antes, sabías cómo construir puentes entre dos ciudades diferentes.
• Ahora, estos autores te están diciendo: "Si quieres construir un puente entre una ciudad y ella misma, no intentes inventar cosas locas. Solo hay tres formas de hacerlo bien, y si tu ciudad es normal, no encontrarás ninguna otra".

Esto ayuda a los matemáticos a entender la rigidez de las formas geométricas. Les dice que, aunque el espacio parece tener infinitas posibilidades, en realidad está lleno de reglas estrictas que limitan cómo las cosas pueden interactuar consigo mismas.

En Resumen

Este papel es como un manual de instrucciones para la "geometría del espejo".

1. Mide qué tan difícil es conectar una figura consigo misma.
2. Demuestra que para la mayoría de las figuras, la forma más simple es proyectarlas (como una sombra).
3. Confirma que para las figuras con simetría especial (hiperelípticas), no hay trucos ocultos; la simetría es la única magia que funciona.

Es un trabajo que celebra la belleza de la simplicidad oculta dentro de la complejidad matemática, dedicado a Claire Voisin, una gigante en este campo, por su 60 cumpleaños.

Resumen técnico

A continuación presento un resumen técnico detallado del artículo "Measures of association between algebraic varieties, II: Self-correspondences" (Medidas de asociación entre variedades algebraicas, II: Auto-correspondencias), escrito por Robert Lazarsfeld y Olivier Martin, publicado en Épijournal de Géométrie Algébrique (2023).

1. Problema y Contexto

El artículo continúa la investigación iniciada por los autores en un trabajo previo ([LM23]) sobre cómo medir la "distancia" birracional entre dos variedades algebraicas $X$ e $Y$ de la misma dimensión. En este segundo trabajo, el foco se desplaza hacia las auto-correspondencias (o correspondencias consigo mismo) de una variedad $X$.

Definiciones Clave:

• Sea $X$ una variedad proyectiva compleja suave de dimensión $n$.
• Una auto-correspondencia es una variedad proyectiva suave $Z$ de dimensión $n$ que se sitúa en un diagrama:
  $$Z \xrightarrow{a} X \quad \text{y} \quad Z \xrightarrow{b} X$$
  donde $a$ y $b$ son dominantes (y por tanto genericamente finitas). Se asume que $Z$ es birracional a su imagen en $X \times X$.
• El grado de auto-correspondencia, denotado como $\text{autocorr}(X)$, se define como el mínimo producto de los grados de las proyecciones:
  $$\text{autocorr}(X) = \min_{Z, \Delta} \{ \deg(a) \cdot \deg(b) \}$$
  donde el mínimo se toma sobre todas las correspondencias que no mapean al diagonal $\Delta_X$.
• Se sabe que $\text{autocorr}(X) = 1$ si y solo si $X$ admite automorfismos birracionales no triviales.
• Existe una cota superior natural basada en el grado de irracionalidad $\text{irr}(X)$ (el grado mínimo de un recubrimiento racional $X \dashrightarrow \mathbb{P}^n$):
  $$\text{autocorr}(X) \leq (\text{irr}(X) - 1)^2$$

La Pregunta Central: ¿Cuándo se alcanza la igualdad en esta cota? ¿Y qué estructura tienen las correspondencias que minimizan este grado? Los autores investigan si las correspondencias mínimas surgen naturalmente de las "cuadradas de fibra" de los recubrimientos racionales mínimos.

2. Metodología

Los autores emplean una combinación de técnicas de geometría algebraica avanzada, centradas en:

1. Acción en Cohomología y Estructuras de Hodge:

   • Analizan la acción de la correspondencia $Z$ sobre la estructura de Hodge $H^n(X)$ y, crucialmente, sobre el espacio de formas holomorfas $H^{n,0}(X)$.
   • Definen endomorfismos inducidos $Z_* = b_* \circ a^*$ y $Z^* = a_* \circ b^*$.
   • Utilizan el hecho de que, para variedades muy generales, el anillo de endomorfismos de la cohomología primitiva es trivial ($\mathbb{Z} \cdot \text{Id}$), lo que implica que la acción en $H^{n,0}(X)$ es simplemente una multiplicación por un entero $c$.

2. Condición de Cayley-Bacharach:

   • Utilizan resultados previos (de [BCDP14], [BDP+17]) que relacionan la existencia de correspondencias de bajo grado con la condición de Cayley-Bacharach en conjuntos de puntos. Si un conjunto de puntos no impone condiciones independientes a las formas diferenciales, estos puntos deben moverse en un sistema lineal (pencil) o estar contenidos en subvariedades especiales.

3. Geometría de Variedades Muy Generales:

   • Asumen que $X$ es "muy general" (en el sentido de Zariski) dentro de su familia de deformación. Esto permite controlar el grupo de Picard de $X \times X$ y la estructura de los endomorfismos de su Jacobiano o variedad de Picard.

4. Rigidez de Curvas Hiperelípticas:

   • Para el caso de curvas hiperelípticas, utilizan resultados de rigidez de curvas en variedades abelianas (trabajos de Pirola y Schoen) y propiedades de los mapas de Abel-Jacobi.

3. Contribuciones y Resultados Principales

El artículo presenta tres resultados principales (Proposición A, Teorema B y Teorema C):

A. Curvas de Género $g \geq 3$ (Proposición A)

• Resultado: Si $X$ es una curva muy general de género $g \geq 3$, entonces:
  $$\text{autocorr}(X) = (\text{gon}(X) - 1)^2$$
  donde $\text{gon}(X)$ es el gonialidad (el grado mínimo de un mapa a $\mathbb{P}^1$).
• Estructura: Las correspondencias mínimas surgen exactamente de la cuadrada de fibra de un mapa gonal (un mapa de grado $\text{gon}(X)$).
• Método: Se demuestra que los grados de las proyecciones $a$ y $b$ están acotados inferiormente por $\text{gon}(X) - 1$ utilizando la dependencia lineal de puntos en el espacio de formas diferenciales $H^{1,0}(X)$.

B. Hipersuperficies en $\mathbb{P}^{n+1}$ (Teorema B y Teorema 3)

• Resultado: Sea $X \subseteq \mathbb{P}^{n+1}$ una hipersuperficie muy general de grado $d \geq 2n + 2$. Entonces:
  $$\text{autocorr}(X) = (d - 2)^2 = (\text{irr}(X) - 1)^2$$
• Estructura: Las correspondencias mínimas son birracionales a la cuadrada de fibra de la proyección desde un punto de $X$.
• Clasificación (Teorema 4): Los autores van más allá del mínimo y clasifican todas las auto-correspondencias con grados acotados ($\deg(a) \leq 2d - 2n - 3$). Demuestran que cualquier correspondencia de grado bajo es birracionalmente residual a:
  1. La cuadrada de fibra de una proyección desde un punto.
  2. Un producto fibrado de dos aplicaciones racionales a $\mathbb{P}^n$.
  3. El residual de la diagonal en un producto fibrado $X \times_Y X$ para algún $Y$ de dimensión $n$.

C. Curvas Hiperelípticas (Teorema C)

• Contexto: David Rhyd preguntó si existen curvas hiperelípticas "inesperadas" en el producto $X \times X$ de una curva hiperelíptica muy general $X$.
• Resultado: Si $X$ es una curva hiperelíptica muy general de género $g \geq 2$, las únicas curvas hiperelípticas en $X \times X$ son:
  1. Las fibras de las proyecciones.
  2. La diagonal $\Delta$.
  3. El gráfico de la involución hiperelíptica.
• Consecuencia Geométrica: La imagen de cualquier curva hiperelíptica en $X \times X$ bajo el mapa de Abel-Jacobi es geométricamente degenerada en $J(X) \times J(X)$ (genera un subtoro propio).
• Rigidez del Hom: Como consecuencia, para una curva hiperelíptica muy general $X$ y cualquier curva hiperelíptica $C$ cuyo Jacobiano domine a $J(X)$, se tiene que $\text{Hom}(J(C), J(X)) \cong \mathbb{Z}$.

4. Significado e Impacto

1. Confirmación de la Conjetura de "Máxima Distancia": Los resultados confirman la intuición de que para variedades muy generales, la "distancia" birracional máxima (medida por $\text{autocorr}$) se alcanza exactamente cuando la variedad no tiene correspondencias internas de bajo grado más allá de las inducidas por sus recubrimientos racionales mínimos.
2. Clasificación Estructural: No solo se calcula el número, sino que se describe explícitamente la geometría de las correspondencias que alcanzan el mínimo, vinculándolas directamente a la geometría de proyecciones y productos fibrados.
3. Rigidez en Variedades Abelianas: El Teorema C aporta un resultado fuerte de rigidez sobre las curvas hiperelípticas dentro de productos de Jacobianos, complementando trabajos recientes de Naranjo y Pirola. Resuelve una pregunta específica sobre la existencia de curvas "exóticas" en productos de curvas hiperelípticas.
4. Herramientas Técnicas: El artículo refina el uso de la acción de correspondencias en cohomología y la condición de Cayley-Bacharach, estableciendo un marco robusto para estudiar la geometría de correspondencias en variedades de dimensión superior.

En resumen, este trabajo establece límites precisos y clasificaciones estructurales para las auto-correspondencias en variedades algebraicas genéricas, demostrando que la complejidad birracional de estas variedades está intrínsecamente ligada a sus recubrimientos racionales mínimos y a la rigidez de sus estructuras de Hodge y Jacobianos.