🔢 mathematics

Varieties with representable CH_0-group and a question of Colliot-Thélène

Este artículo responde a una pregunta planteada por Colliot-Thélène mediante la construcción de una variedad proyectiva suave con un grupo CH₀ representable que carece de un ciclo de dimensión cero universal, utilizando un contraejemplo a la conjetura de Hodge integral proporcionado por Benoist y Ottem.

Autores originales: Claire Voisin

Publicado 2026-07-08

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Claire Voisin

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que estás intentando organizar una fiesta masiva y compleja donde cada invitado representa un punto específico de una forma geométrica (una "variedad"). Los matemáticos han intentado durante mucho tiempo averiguar si existe una "lista de invitados" o un "plano de asientos" perfecto y universal que pueda describir cómo se relacionan estos puntos entre sí de una manera específica y organizada.

Este artículo, escrito por la matemática Claire Voisin, resuelve un enigma que otro matemático, Jean-Louis Colliot-Thélène, se había estado preguntando durante un tiempo.

Aquí tienes el desglose de la historia, el problema y la solución, utilizando analogías sencillas.

Los personajes principales y el objetivo

1. El "Mapa de Albanese" (El organizador de la fiesta)
Imagina que tu forma geométrica es un edificio enorme y complejo. El "mapa de Albanese" es como un sistema de ascensores especial que toma cualquier punto en el edificio y lo envía a una sala de control central (llamada variedad de Albanese). Esta sala de control es un espacio muy organizado y suave (como un toro o una forma de dona) que captura los "bucles" y las conexiones esenciales del edificio.

2. El "Ciclo 0 Universal" (La lista de invitados perfecta)
Los matemáticos quieren saber: ¿Existe una única y perfecta "lista de invitados" (un objeto matemático llamado ciclo 0 universal) que viva en la sala de control? Si esta lista existe, significa que puedes tomar cualquier ubicación en la sala de control y usar esta lista para reconstruir perfectamente un conjunto de puntos correspondiente en el edificio original. Es como tener una llave maestra que puede desbloquear cualquier configuración específica de invitados.

3. El "Grupo CH0 representable" (La multitud organizada)
A veces, la multitud de puntos en el edificio es tan bien comportada que el sistema de ascensores (el mapa de Albanese) es una correspondencia perfecta de uno a uno. Cada punto en la sala de control corresponde exactamente a un grupo único de puntos en el edificio y viceversa. Cuando esto sucede, decimos que el grupo es "representable".

La gran pregunta

Durante mucho tiempo, los matemáticos supieron dos cosas:

Algunos edificios tienen una "multitud perfecta" (grupo representable).
Algunos edificios no tienen una "lista de invitados maestra" (sin ciclo 0 universal).

Pero no sabían si estas dos cosas podían ocurrir al mismo tiempo.
La pregunta: ¿Puedes tener un edificio donde la multitud esté perfectamente organizada (representable), pero aun así no puedas encontrar una única lista de invitados maestra (sin ciclo 0 universal)?

La mayoría de la gente sospechaba que la respuesta era "No". Pensaban que si la multitud era lo suficientemente organizada como para ser representable, una lista de invitados maestra debía existir.

La solución: Un contraejemplo

Claire Voisin dice: "Sí, es posible".

Ella construye un edificio geométrico específico de 3 dimensiones (un "variedad de tres dimensiones" o threefold) que rompe la regla.

La Multitud: Los puntos en este edificio están perfectamente organizados. El sistema de ascensores funciona sin fallos (el grupo es representable).
La Lista Faltante: A pesar de esta organización perfecta, no hay una lista de invitados maestra que pueda describir todos los puntos a la vez.

Cómo lo construyó (La receta)

Para construir este extraño edificio, Voisin utilizó una receta ingeniosa que involucra otras dos formas:

Una superficie K3: Piensa en esto como una hoja 2D muy compleja y plana con una simetría especial (como un patrón que se repite pero que también se voltea).
Una curva elíptica: Piica en esto como un bucle simple o una forma de dona.

Tomó estas dos formas, las entrelazó y luego aplicó una operación de "plegado" (una simetría matemática) que pega ciertas partes. El resultado es una nueva forma de 3 dimensiones.

¿Por qué esta forma no tiene una lista maestra?
La prueba se basa en una conexión profunda con un problema famoso no resuelto en matemáticas llamado la Conjetura de Hodge Integral.

Imagina intentar construir un muro con ladrillos específicos. La Conjetura de Hodge pregunta: "Si un muro parece estar hecho de ladrillos (matemáticamente hablando), ¿está realmente hecho de ladrillos?".
En el ejemplo de Voisin, el "muro" (la geometría de la forma) parece que debería poder construirse con ladrillos, pero resulta que es imposible construirlo usando los "ladrillos" (ciclos algebraicos) disponibles.
Debido a que los "ladrillos" no encajan para formar el muro, la "lista de invitados maestra" (el ciclo 0 universal) no puede existir, a pesar de que la multitud está, por lo demás, perfectamente organizada.

La pista del "Índice"

El artículo también analiza un concepto llamado "índice".

Imagina que estás intentando cubrir un suelo con baldosas. Si el suelo mide 10 pies de ancho y tus baldosas miden 1 pie de ancho, necesitas 10 baldosas. Si el suelo mide 10 pies de ancho y tus baldosas miden 3 pies de ancho, no puedes cubrirlo perfectamente sin cortarlas.
En el ejemplo de Voisin, las "baldosas" (las piezas geométricas que ella usa para construir la lista) no encajan perfectamente con el "suelo". El "índice" es 2, lo que significa que hay un ligero desajuste que impide la creación de la lista universal.

La conclusión

Este artículo demuestra que la organización perfecta no garantiza una llave maestra.

Voisin demostró que puedes tener un mundo geomético donde los puntos están perfectamente mapeados a un centro de control, pero el "plano fundamental" (el ciclo 0 universal) necesario para reconstruir esos puntos desde el centro simplemente no existe. Esto responde a la pregunta de Colliot-Thélène con un "Sí, tal cosa existe", y lo hace utilizando un contraejemplo a una teoría profunda sobre cómo se construyen las formas a partir de piezas más pequeñas.

Resumen Técnico: Variedades con grupo $CH_0$ representable y una pregunta de Colliot-Thélène

Planteamiento del Problema
El artículo aborda una pregunta específica planteada por Colliot-Thélène con respecto a la relación entre la representabilidad del grupo de Chow de ciclos de dimensión cero ( $CH_0$ ) y la existencia de un "ciclo 0 universal" en variedades proyectivas complejas suaves.

Sea $X$ una variedad proyectiva suave. Se dice que el grupo $CH_0(X)$ es representable si la morfismo de Albanese $a_X: CH_0(X)_{hom} \to Alb(X)$ es un isomorfismo. Un ciclo 0 universal para $X$ se define como un ciclo de codimensión $n$ , $\Gamma \in CH_n(Alb(X) \times X)$ (donde $n = \dim X$ ), tal que para cualquier $t \in Alb(X)$ , la composición $a_X \circ \Gamma^* (\{t\} - \{0\})$ es igual a $t$ en $Alb(X)$.

Si bien se sabe que existen variedades sin ciclos 0 universales (por ejemplo, ciertas superficies construidas en un trabajo previo del autor) y que existen variedades con grupos $CH_0$ representables, era una pregunta abierta si estas dos propiedades eran mutuamente excluyentes. Específicamente, Colliot-Thélène preguntó: ¿Existe una variedad proyectiva compleja suave $X$ con un grupo $CH_0$ representable que no admita un ciclo 0 universal?

Metodología y Marco Teórico
El autor aborda este problema analizando las restricciones geométricas impuestas por la representabilidad de $CH_0$ .

Reducción Geométrica: Utilizando el teorema de Mumford, el artículo establece que si $CH_0(X)$ es representable y $Alb(X)$ es no trivial, el mapa de Albanese de $X$ factoriza a través de una curva proyectiva suave $C$ . Específicamente, existe un morfismo dominante $\phi: X \to C$ tal que $Alb(X) \cong J(C)$ .
Índice de Morfismos: La existencia de un ciclo 0 universal está vinculada al índice del morfismo $\phi: X \to C$ . El índice se define como el máximo común divisor de los grados de las subvariedades irreducibles de $X$ que dominan a $C$ . El artículo demuestra que si este índice es 1, existe un ciclo 0 universal.
Conexión con la Teoría de Hodge: Se muestra que la no existencia de un ciclo 0 universal es equivalente a la no algebraicidad de una clase de Hodge específica $\gamma_X \in H^{2n}(Alb(X) \times X, \mathbb{Z})_{tf}$ (módulo torsión). Esta clase surge de la descomposición de Künneth de la diagonal. Por lo tanto, construir un contraejemplo requiere encontrar una variedad donde esta clase específica no sea algebraica, proporcionando un contraejemplo a la conjetura de Hodge integral módulo torsión.
Construcción del Contraejemplo: La construcción se basa en un contraejemplo a la conjetura de Hodge integral proporcionado por Benoist y Ottem. El autor construye una variedad de dimensión 3 como un cociente de un producto $E \times S$ , donde $E$ es una curva elíptica y $S$ es una superficie K3 equipada con una involución antisimétrica sin puntos fijos.

Contribuciones Clave y Resultados

Teorema 1.4 (Resultado Principal): El artículo demuestra la existencia de una variedad proyectiva suave de dimensión 3 $X$ tal que $CH_0(X)$ es representable, pero $X$ no admite un ciclo 0 universal. Esto proporciona una respuesta afirmativa a la pregunta de Colliot-Thélène.
- Construcción: $X = (E \times S) / (t_\xi, g)$ , donde $E$ es una curva elíptica con una traslación $t_\xi$ de orden 2, y $S$ es una superficie K3 con una involución sin puntos fijos $g$ . El cociente es una superficie de Enriques $\Sigma = S/g$ y una curva elíptica cociente $E_\xi = E/t_\xi$ .
- Representabilidad: El morfismo $p_{E_\xi}: X \to E_\xi$ induce un isomorfismo en $CH_0$ , demostrando la representabilidad.
- No existencia de Ciclo 0 Universal: La prueba demuestra que si existiera un ciclo 0 universal, esto implicaría la existencia de una correspondencia $\Gamma_\Sigma \in CH_1(E_\xi \times \Sigma)$ que satisfaga una condición cohomológica específica involucrando las cubiertas dobles etales. Se demuestra que esta condición es imposible para una elección general de parámetros, apoyándose en los resultados de Benoist y Ottem sobre clases de curvas de torsión no algebraicas.
Proposición 2.2: El artículo establece una equivalencia entre la existencia de un ciclo 0 universal y la algebraicidad del proyector de Künneth $\delta_1$ en $X \times X$ , siempre que la variedad de Albanese sea un sumando directo en el Jacobiano de una curva. Esto vincula la propiedad geométrica con la estructura motívica de $X$ .
Proposición 2.7: Se demuestra que si el mapa de Albanese factoriza a través de una curva $C$ con índice 1, existe un ciclo 0 universal. El artículo señala que el recíproco no es cierto, proporcionando un ejemplo de una superficie con índice $d > 1$ que aun así admite un ciclo 0 universal.
Proposición 3.5: El autor proporciona una prueba breve y una generalización leve de un resultado de Benoist y Ottem, que establece que para una variedad proyectiva suave $W$ y una clase no nula $\beta \in H^1(W, \mathbb{Z}/k)$ , solo existen contablemente muchas curvas elípticas $E$ que admiten una correspondencia $\Gamma$ tal que $[\Gamma]^*\beta \neq 0$ . Este lema técnico es crucial para asegurar la no existencia de la correspondencia requerida en la construcción principal.
Análisis de Superficies (Sección 4): El artículo investiga superficies con $p_g=0$ y $q \neq 0$ . Muestra que si tal superficie es un cociente de un producto de curvas por un grupo cíclico, el índice de la fibración de Albanese es 1, lo que implica la existencia de un ciclo 0 universal. Esto contrasta con el ejemplo de la variedad de dimensión 3, resaltando la naturaleza restrictiva del contraejemplo.

Significancia y Reivindicaciones

El artículo afirma resolver una pregunta abierta específica en la geometría de los ciclos de dimensión cero al demostrar que la propiedad de tener un grupo $CH_0$ representable no garantiza la existencia de un ciclo 0 universal.

La construcción se basa en el hecho de que la variedad $X$ posee torsión en su cohomología de Betti integral. En consecuencia, la no existencia de un ciclo 0 universal para $X$ produce un contraejemplo a la conjetura de Hodge integral módulo torsión para clases de curvas (clases de homología de Hodge de grado 2) en la variedad de dimensión 4 $Alb(X) \times X$ .

El autor observa que los supuestos del teorema principal son "muy restrictivos geométicamente", ya que la representabilidad de $CH_0$ obliga a que la variedad de Albanese sea isomórfica al Jacobiano de una curva. El artículo no pretende construir ejemplos sin torsión en la cohomología de Betti integral, dejando esto como una indagación abierta. El trabajo sirve para clarificar las sutiles distinciones entre la representabilidad, la estructura del mapa de Albanese y la conjetura de Hodge integral.