A surface with representable $\text{CH}_{0}$-group but no universal zero-cycle

Este artículo presenta una nueva obstrucción a la existencia de un ciclo cero universal y construye una superficie proyectiva compleja lisa cuyo grupo de Chow de ciclos cero es representable pero carece de un ciclo cero universal, proporcionando un análogo bidimensional del contraejemplo de Voisin y exhibiendo la primera clase de Hodge no algebraica de grado 4 en una variedad tridimensional de dimensión de Kodaira cero.

Lo esencial

Imagina que estás intentando organizar una fiesta muy especial en un mundo geométrico complejo. En este mundo, hay "puntos" (como invitados) y "grupos" de puntos. Los matemáticos quieren saber si siempre es posible crear una "lista maestra" o un "plan perfecto" que conecte todos estos grupos de puntos con un lugar central de la fiesta, de una manera que funcione para cualquier situación imaginable.

Este artículo, escrito por Theodosios Alexandrou, descubre un nuevo obstáculo en este juego: hay ciertos lugares geométricos (superficies) donde, aunque parece que todo está ordenado, no existe ese "plan perfecto" universal.

Aquí te explico los conceptos clave usando analogías sencillas:

1. La Fiesta y el "Plan Universal" (El Ciclo 0 Universal)

Imagina que tienes una superficie geométrica (como una hoja de papel curvada en el espacio). Tienes muchos puntos en ella.

• El problema: Quieres mover estos puntos hacia un "lugar central" (llamado variedad de Albanese) para organizarlos.
• La solución ideal: Un "Plan Universal" sería una regla mágica que te diga exactamente cómo mover cualquier grupo de puntos hacia el centro, de tal manera que la regla funcione perfectamente para todos los casos posibles sin errores.
• El hallazgo: Alexandrou encontró una superficie (un tipo especial de "hoja" llamada superficie bielíptica) donde, aunque puedes organizar los puntos de manera local, no existe esa regla mágica universal que funcione para todo. Es como si tuvieras un mapa de la ciudad, pero no hubiera una forma de llegar a todas las casas desde la plaza central usando las mismas reglas de tráfico para todos.

2. El "Mapa Perfecto" (Grupo de Chow Representable)

Antes de este descubrimiento, los matemáticos pensaban que si un lugar tenía un "mapa perfecto" (un grupo de Chow representable, lo que significa que los puntos se pueden organizar y contar de manera muy ordenada), entonces automáticamente tendría ese "Plan Universal".

• La analogía: Pensaban que si tuvieras un álbum de fotos perfecto donde todas las caras están ordenadas por nombre, entonces también tendrías un mapa que te dice cómo llegar a cada cara desde la entrada.
• La sorpresa: Alexandrou demostró que esto es falso. Puedes tener un álbum de fotos perfectamente ordenado (el grupo es "representable"), pero aún así, no tener el mapa de cómo llegar a todas ellas desde la entrada (no hay ciclo universal). Es como tener una biblioteca perfectamente catalogada, pero sin un sistema de estanterías que te permita encontrar cualquier libro desde la puerta de entrada sin tener que caminar por pasillos sin sentido.

3. El Truco de la Degeneración (El Rompecabezas que se Rompe)

¿Cómo encontró esta superficie? Usó una técnica llamada "degeneración".

• La analogía: Imagina que tienes una figura de plastilina perfecta (la superficie). En lugar de estudiarla tal cual, Alexandrou la "estiró" y la "rompió" lentamente hasta que se convirtió en una cadena de eslabones (como un collar de cuentas) que se tocan entre sí.
• El resultado: Al ver cómo se comportaba esta cadena de eslabones (la fibra especial), descubrió que las piezas no encajaban de la manera necesaria para crear el "Plan Universal". Es como si intentaras construir un puente con bloques de Lego, y al final te dieras cuenta de que, aunque los bloques existen, no hay una forma de conectarlos todos en una sola pieza continua que funcione para todos los diseños.

4. ¿Por qué importa esto? (La Conjetura de Hodge)

El artículo no solo resuelve un acertijo sobre puntos y mapas; tiene una consecuencia gigante para otra gran pregunta en matemáticas: La Conjetura Integral de Hodge.

• La analogía: Imagina que tienes un edificio de cristal (la geometría) y quieres saber si cada patrón de luz que ves en el suelo (una clase de Hodge) corresponde a una estructura real de cristal (un objeto algebraico).
• El descubrimiento: Alexandrou construyó un edificio tridimensional (un producto de su superficie especial y una curva) donde hay un patrón de luz en el suelo que no corresponde a ninguna estructura de cristal real.
• La novedad: Antes, los ejemplos de esto eran "fantasmas" (estructuras que se cancelaban a sí mismas, llamadas torsión). El ejemplo de Alexandrou es un "fantasma" que no se cancela, es decir, es un error real y permanente en la conexión entre la luz y el cristal.

En Resumen

Alexandrou nos dice:

1. No asumas que el orden local garantiza un orden global: Puedes tener un sistema de puntos muy bien organizado, pero aún así carecer de una regla universal para conectarlos.
2. Romper las cosas ayuda a entenderlas: Al "romper" una superficie en pedazos (degeneración), pudo ver un defecto oculto que no se veía cuando la superficie estaba intacta.
3. Hay límites en la geometría: Hay formas de luz en el universo matemático que no pueden ser explicadas por estructuras físicas (algebraicas), y ahora tenemos un ejemplo claro y "pesado" (no torsión) de esto.

Es un trabajo que combina la elegancia de la geometría con la fuerza de la lógica, demostrando que incluso en un mundo perfectamente ordenado, a veces faltan las piezas clave para que todo encaje a la perfección.

Resumen técnico

Resumen Técnico: Una superficie con grupo CH₀ representable pero sin ciclo cero universal

1. Planteamiento del Problema

El artículo aborda una cuestión fundamental en la geometría algebraica compleja relacionada con los ciclos cero (0-cycles) en variedades proyectivas suaves.

• Contexto: Dada una variedad proyectiva suave $X$ de dimensión $d$, existe un morfismo universal hacia la variedad de Albanese, $\text{alb}_X: X \to \text{Alb}(X)$, que induce el morfismo de Abel-Jacobi para ciclos cero:
  $$\alpha_X: \text{CH}_0(X)_{\text{hom}} \to \text{Alb}(X)$$
  Este morfismo es conocido por ser sobreyectivo y regular.
• Definición Clave: Se dice que $X$ admite un ciclo cero universal si existe un ciclo de codimensión $d$, $[\Gamma] \in \text{CH}_d(\text{Alb}(X) \times X)$, tal que el morfismo inducido $\psi(\text{Alb}(X), [\Gamma])$ sea la identidad en $\text{Alb}(X)$.
• Antecedentes:
  • Para curvas, siempre existe un ciclo cero universal (divisor de Poincaré).
  • Voisin demostró recientemente que para cada $d \ge 2$, existen variedades que no admiten ciclo cero universal.
  • La Pregunta (Colliot-Thélène/Totaro): ¿Existe una superficie proyectiva suave $S$ cuyo grupo de Chow de ciclos cero $\text{CH}_0(S)$ sea representable (es decir, donde $\alpha_S$ sea un isomorfismo), pero que no admita un ciclo cero universal?
  • Voisin había construido un contraejemplo en dimensión 3, pero la existencia en dimensión 2 permanecía abierta.

2. Metodología y Estrategia de Construcción

El autor responde afirmativamente a la pregunta construyendo una superficie bielíptica de tipo 2 con propiedades específicas. La metodología se basa en tres pilares:

1. Geometría de Superficies Bielípticas:

   • Se utilizan superficies bielípticas de tipo 2 (clasificación de Bagnera-De Franchis). Estas son cocientes $S = (E \times F)/G$, donde $E$ y $F$ son curvas elípticas y $G$ es un grupo finito actuando libremente.
   • Para estas superficies, $\text{CH}_0(S)$ es siempre representable y $\text{Alb}(S) \cong E/G$.
   • La fibración de Albanese $\phi_S: S \to E/G$ tiene un índice (máximo común divisor de los grados de las curvas que dominan la base). Para el tipo 2, este índice es 2.

2. Obstrucción Cohomológica (Teorema 3.1):

   • El autor establece una nueva obstrucción para la existencia de un ciclo cero universal.
   • La estrategia consiste en degenerar la superficie $S$ sobre un disco formal $\Delta = \text{Spec } k[[t]]$.
   • Se construye una familia plana $S \to \Delta$ tal que:
     • La fibra genérica $S_K$ es una superficie bielíptica de tipo 2.
     • La fibra especial $S_0$ es un divisor de intersección normal simple reducido, formado por una cadena de componentes $R_i$.
   • El criterio de obstrucción: Si existiera un ciclo cero universal en la fibra genérica, entonces la suma de los morfismos de Albanese inducidos por las componentes de la fibra especial, $\sum \text{alb}_i: \bigoplus \text{Alb}(R_i) \to \text{Alb}(S_0)$, debería admitir una sección.
   • El autor demuestra que, bajo ciertas condiciones aritméticas sobre la curva elíptica base $E$, esta suma no admite sección.

3. Condiciones Aritméticas sobre la Curva Elíptica:

   • La construcción requiere que la curva elíptica $E$ satisfaga una de las siguientes:
     • (i) $\text{End}(E) \cong \mathbb{Z}$ (sin multiplicación compleja).
     • (ii) $E$ tiene multiplicación compleja por el orden maximal de un cuerpo de Heegner $\mathbb{Q}(\sqrt{-c})$, donde $c \in \{1, 2, 3, 11, 19, 43, 67, 163\}$.
   • Se excluye explícitamente el caso $c = -7$, ya que en ese caso la obstrucción falla y sí existe un ciclo universal (como se muestra en el Ejemplo 5.2).

3. Resultados Principales

• Teorema 1.3 (Resultado Principal):
  Bajo las condiciones aritméticas mencionadas, existe una superficie proyectiva suave $S$ sobre $\mathbb{C}$ tal que:

  1. $\text{Alb}(S) \cong E$.
  2. El grupo $\text{CH}_0(S)$ es representable (el morfismo de Abel-Jacobi es un isomorfismo).
  3. $S$ no admite un ciclo cero universal.
     Esto resuelve la pregunta 1.2 de Totaro en afirmativo, proporcionando el análogo bidimensional del contraejemplo de Voisin en dimensión 3.

• Teorema 1.4 (Construcción de la Degeneración):
  Demuestra la existencia de una degeneración semiestable de una superficie bielíptica de tipo 2 sobre un anillo de valor discreto, donde la fibra especial consiste en dos componentes $R_1, R_2$ (superficies regladas elípticas mínimas) que se intersecan en una curva elíptica. La clave es probar que el morfismo suma de sus variedades de Albanese hacia $E$ no tiene sección.

• Corolario 1.5 (Consecuencia para la Conjetura de Hodge Integral):
  El autor aplica el Teorema 1.3 para construir un contraejemplo a la Conjetura de Hodge Integral en dimensión 3.

  • Se considera la variedad tridimensional $X = E \times S$.
  • Se demuestra que existe una clase de Hodge integral no torsión en $H^4(E \times S, \mathbb{Z})$ que no es algebraica.
  • Diferencia clave: A diferencia de los contraejemplos previos de Benoist y Ottem (donde la obstrucción provenía de clases de torsión), aquí la obstrucción es una clase de Hodge no torsión. Esto ocurre porque la no existencia de un ciclo cero universal implica que una clase cohomológica específica (relacionada con la inversa del morfismo de Albanese) no puede ser representada por un ciclo algebraico integral.

4. Significado e Impacto

1. Resolución de un Problema Abierto: Cierra la brecha entre las dimensiones 3 y 2 en la teoría de ciclos cero, mostrando que la representabilidad de $\text{CH}_0$ no garantiza la existencia de un ciclo cero universal, incluso en superficies.
2. Nueva Obstrucción: Introduce una técnica de degeneración que vincula la existencia de ciclos universales con la estructura de las fibras especiales en familias semiestables, específicamente analizando la sección de sumas de morfismos de Albanese.
3. Avance en la Conjetura de Hodge Integral: Proporciona el primer ejemplo conocido de una variedad de dimensión 3 con fibrado canónico de torsión (Kodaira dimensión 0) que viola la conjetura de Hodge integral mediante una clase no torsión. Esto expande el entendimiento de las obstrucciones a la conjetura de Hodge, mostrando que no se limitan a fenómenos de torsión.
4. Dependencia Aritmética: El resultado es sutilmente dependiente de la teoría de números (propiedades de los anillos de enteros de cuerpos cuadráticos imaginarios), destacando la interacción profunda entre la geometría algebraica compleja y la teoría de números (cuerpos de Heegner).

En resumen, el artículo de Alexandrou no solo construye un objeto geométrico contraejemplo en dimensión 2, sino que también revela una conexión profunda entre la teoría de ciclos cero, la degeneración de superficies y la validez de la conjetura de Hodge integral para clases no torsión.