Smooth subvarieties of Jacobians

Utilizando la cobordismo complejo, el artículo presenta nuevos ejemplos de clases de cohomología entera en variedades proyectivas complejas suaves que no son combinaciones lineales enteras de clases de subvariedades suaves, destacando casos en dimensión 6 definidos por clases mínimas en jacobianas de curvas muy generales.

Lo esencial

Imagina que las matemáticas, y en particular la geometría algebraica, son como un universo de formas y espacios. En este universo, los matemáticos estudian "variedades", que son como superficies o volúmenes que pueden tener muchas dimensiones (más allá de las 3 que conocemos en nuestra vida diaria).

Este artículo, escrito por Olivier Benoist y Olivier Debarre, trata de responder a una pregunta muy específica sobre cómo se construyen estas formas complejas. Aquí tienes la explicación en lenguaje sencillo, con analogías para hacerlo más ameno.

1. El Gran Misterio: ¿Se puede construir todo con piezas "perfectas"?

Imagina que tienes un bloque de arcilla gigante (una variedad matemática). Dentro de este bloque, hay muchas formas más pequeñas incrustadas (subvariedades). Algunas de estas formas son suaves y perfectas, como una bola de billar o una esfera de cristal. Otras son irregulares, con esquinas afiladas, agujeros o deformaciones (como un trozo de arcilla mal amasado).

Los matemáticos saben que cualquier forma "algebraica" (una forma definida por ecuaciones) dentro de este bloque puede describirse como una suma de estas piezas más pequeñas. La pregunta que se hacen los autores es:

¿Podemos construir cualquier forma algebraica usando solo piezas suaves y perfectas, o a veces necesitamos obligatoriamente usar piezas deformadas?

Durante mucho tiempo, se pensó que la respuesta era "sí, siempre podemos usar piezas suaves". De hecho, para espacios pequeños (de hasta 5 dimensiones), esto es cierto. Pero los autores descubrieron que, en espacios más grandes y complejos, la respuesta es "no".

2. El Escenario: Los "Jacobianos" (Las Fábricas de Formas)

Para probar su teoría, los autores eligen un tipo especial de espacio llamado Jacobianos.

• Analogía: Imagina que un Jacobiano es una "fábrica mágica" que produce formas geométricas a partir de curvas (como un hilo).
• Dentro de esta fábrica, hay una "forma mínima" especial (llamada clase de cohomología mínima) que es como el "producto estrella" de la fábrica. Esta forma es algebraica (existe matemáticamente), pero la pregunta es: ¿Es una suma de piezas suaves?

3. La Herramienta Secreta: El "Cobordismo Complejo"

Para responder a la pregunta, los autores no usan las herramientas habituales (como contar o medir directamente), sino una herramienta muy sofisticada llamada cobordismo complejo.

• La Analogía del "Pasaporte de la Forma": Imagina que cada forma geométrica tiene un pasaporte especial. Este pasaporte no solo dice "soy una esfera", sino que registra una "firma matemática" única basada en cómo se dobla y curva en dimensiones invisibles.
• Los autores usan este pasaporte para ver si una forma puede ser "desarmada" en piezas suaves. Si la firma del pasaporte de una forma no coincide con la suma de las firmas de las piezas suaves, entonces esa forma no puede construirse solo con piezas suaves.

4. El Descubrimiento: ¡El Bloque de 6 Dimensiones!

Los autores demuestran que, en un espacio de 6 dimensiones (el tamaño más pequeño posible donde esto ocurre), existen formas en los Jacobianos que no pueden construirse sumando solo formas suaves.

• La Analogía de la Torre: Imagina que intentas construir una torre de 6 pisos de altura usando solo ladrillos perfectos (suaves). Los autores dicen: "Hay una torre específica que, por su estructura interna, requiere que al menos uno de sus ladrillos esté roto o deformado. No importa cuánto intentes, no puedes hacerla solo con ladrillos perfectos".
• Esto es un hallazgo histórico porque antes se pensaba que para dimensiones tan "bajas" (6 es pequeño en matemáticas puras), siempre se podían usar ladrillos perfectos.

5. ¿Por qué importa esto?

Este trabajo es como encontrar una grieta en los cimientos de una teoría que parecía sólida.

• Para los matemáticos: Significa que la relación entre las formas "suaves" y las formas "algebraicas" es más complicada y misteriosa de lo que pensábamos.
• El método: Usaron una técnica muy avanzada (cobordismo) que actúa como un "detector de mentiras" para las formas geométricas. Si una forma dice "soy una suma de piezas suaves", pero su firma matemática (cobordismo) dice "no, no lo eres", entonces la forma es una excepción a la regla.

En resumen

Los autores han encontrado ejemplos concretos (en espacios de 6 dimensiones) de formas matemáticas que existen, pero que no pueden construirse simplemente apilando otras formas suaves y perfectas. Es como descubrir que, en el universo de las formas matemáticas, a veces necesitas un "ladrillo roto" para construir ciertas estructuras, y no hay forma de evitarlo.

Este artículo es un homenaje a la matemática Claire Voisin, una experta en este campo, y demuestra que incluso en las matemáticas más abstractas, siempre hay sorpresas ocultas esperando a ser descubiertas.

Resumen técnico

Aquí presento un resumen técnico detallado del artículo "Smooth subvarieties of Jacobians" (Subvariedades suaves de Jacobianas), escrito por Olivier Benoist y Olivier Debarre, publicado en Épijournal de Géométrie Algébrique en 2023.

1. El Problema: Generación de Clases Cohomológicas por Subvariedades Suaves

El artículo aborda una cuestión fundamental en geometría algebraica que se remonta a Borel y Haefliger (1961):

• Pregunta 1.1: Sea $X$ una variedad proyectiva compleja suave de dimensión $n$. ¿Está el subgrupo $H^{2c}(X, \mathbb{Z})_{\text{alg}}$ de clases de cohomología integrales algebraicas generado por las clases de ciclos de subvariedades suaves de $X$?

Contexto previo:

• La respuesta es afirmativa si la codimensión $c \le 1$ o si la dimensión total $n \le 5$.
• Se conocen contraejemplos para $c=2$ y $n \ge 7$ (Hartshorne, Rees, Thomas; Debarre).
• El problema central es determinar si existen clases algebraicas integrales que no puedan expresarse como combinaciones lineales enteras de clases de subvariedades suaves, especialmente en dimensiones bajas ($n=6$) y codimensiones medias.

2. Metodología y Herramientas Técnicas

Los autores desarrollan una nueva estrategia para atacar este problema, superando las limitaciones de los métodos anteriores (como la construcción de Serre o el teorema de Hirzebruch-Riemann-Roch, que se vuelven intratables en codimensiones altas o dimensiones críticas).

A. Cobordismo Complejo ($MU$)

La herramienta principal es la teoría de cobordismo complejo, pionera en ciclos algebraicos por Totaro.

• Utilizan el anillo de cobordismo complejo $\pi_*(MU)$ y su relación con la cohomología integral a través del morfismo de Hurewicz.
• Analizan la estructura de los números de Chern y las clases de Segre ($s_i$) sobre variedades estables casi complejas.
• Proposición Clave (2.5): Establecen congruencias de divisibilidad para los números de Chern asociados a las clases de Segre. Específicamente, determinan cuándo un número de Chern modificado ($s_i + 2^h Q$) toma valores divisibles por potencias de 2, basándose en la función $\alpha(m)$ (número de unos en la expansión binaria de $m$).

B. Cohomología de Variedades Abelianas y Jacobianas

• Trabajan sobre una Jacobian compleja muy general $(X, \theta)$ de dimensión $n$, polarizada por su divisor theta $\theta$.
• Utilizan la identificación topológica de $X$ con un toro $(S^1)^{2n}$ para calcular en cobordismo.
• Demuestran que, bajo ciertas condiciones de "generalidad" (donde las clases de Hodge están generadas por potencias de $\theta$), cualquier clase de una subvariedad suave $Y \subset X$ debe satisfacer restricciones de divisibilidad muy estrictas en su clase de cobordismo.

C. K-teoría Topológica (Para el caso de codimensión 4)

En la Sección 4, para refinar los resultados en codimensión 4, emplean la K-teoría topológica compleja y el teorema de Grothendieck-Riemann-Roch.

• Demuestran que el carácter de Chern de un elemento en $K(X)$ para un toro es una clase de cohomología integral.
• Esto permite imponer restricciones de divisibilidad más fuertes sobre los coeficientes de las clases de subvariedades suaves.

3. Contribuciones y Resultados Principales

Teorema Principal (Teorema 1.2 / Teorema 3.7)

Los autores generalizan el contraejemplo de Debarre (1995) a un rango mucho más amplio de dimensiones y codimensiones.

• Condición: Sea $(X, \theta)$ una Jacobiana compleja muy general de dimensión $n$. Sea $c$ un entero no negativo tal que:
  1. $\alpha(c + \alpha(c)) > \alpha(c)$ (una condición aritmética sobre la expansión binaria).
  2. $n \ge 4c - 2$.
• Resultado: Las clases integrales $\lambda \frac{\theta^c}{c!}$, donde $\lambda$ es impar, son algebraicas, pero no son combinaciones lineales enteras de clases de subvariedades suaves de $X$.

Consecuencia Inmediata (Corolario 1.3):

• Existe una variedad proyectiva compleja suave de dimensión 6 ($n=6, c=2$) tal que $H^4(X, \mathbb{Z})_{\text{alg}}$ no está generada por clases de subvariedades suaves.
• Significado: Este es el límite inferior posible de dimensión para este fenómeno, ya que para $n \le 5$ la respuesta a la Pregunta 1.1 es siempre positiva.

Mejoras en Codimensión 4 (Teorema 1.4 / Teorema 4.3)

Utilizando K-teoría en lugar de cobordismo, obtienen resultados más fuertes para $c=4$:

• Si $n \ge 12$, las clases $\lambda \frac{\theta^4}{4!}$ con $\lambda$ impar no son combinaciones de subvariedades suaves.
• Si $n \ge 14$, las clases $\lambda \frac{\theta^4}{4!}$ con $\lambda$ no divisible por 4 no son combinaciones de subvariedades suaves.

4. Significado e Impacto

1. Resolución del Caso Dimensión 6: El artículo cierra la brecha de conocimiento sobre la dimensión mínima donde falla la generación por subvariedades suaves, demostrando que ocurre en $n=6$.
2. Nuevas Técnicas: La sustitución de métodos clásicos (como la construcción de Serre) por el cobordismo complejo y el análisis de congruencias de números de Chern abre nuevas vías para estudiar ciclos algebraicos en variedades de alta dimensión y codimensión.
3. Conexión Aritmética-Geométrica: El resultado vincula propiedades geométricas profundas (la estructura de los ciclos en Jacobianas) con propiedades aritméticas finas (la función $\alpha(m)$ y la valuación 2-ádica de coeficientes).
4. Generalidad: Muestran que el fenómeno no es un artefacto aislado de casos específicos, sino que ocurre para una familia amplia de Jacobianas "muy generales" y para múltiples pares $(c, n)$.

En resumen, Benoist y Debarre demuestran que, incluso en variedades muy bien comportadas como las Jacobianas, la geometría algebraica integral es más rica y compleja de lo que sugiere la simple existencia de subvariedades suaves, estableciendo límites precisos de dimensión y proporcionando herramientas robustas para detectar obstrucciones a la suavidad de los ciclos.