Variedades con grupo CH₀ representable y una pregunta de Colliot-Thélène

Información Básica

• ID del Artículo: 2508.02331
• Título: Variedades con grupo CH₀ representable y una pregunta de Colliot-Thélène
• Autora: Claire Voisin
• Clasificación: math.AG (Geometría Algebraica)
• Fecha de Publicación: 15 de octubre de 2025 (arXiv v2)
• Enlace del Artículo: https://arxiv.org/abs/2508.02331

Resumen

Este artículo continúa la investigación de las propiedades geométricas del morfismo de Albanese en 0-ciclos. La autora proporciona un ejemplo de una variedad proyectiva suave con grupo CH₀ representable pero sin 0-ciclos universales, respondiendo a una pregunta planteada por Colliot-Thélène. Esta construcción se basa en contraejemplos de la conjetura integral de Hodge proporcionados por Benoist y Ottem.

Antecedentes de Investigación y Motivación

Problema Central

El problema central investigado en este artículo concierne la existencia de 0-ciclos universales en variedades algebraicas. Para una variedad algebraica compleja proyectiva suave X, un 0-ciclo universal es un ciclo de codimensión n definido en Alb(X)×X que satisface propiedades universales específicas.

Importancia

1. Significado Teórico: La existencia de 0-ciclos universales está estrechamente relacionada con la conjetura integral de Hodge, siendo un problema central en geometría algebraica
2. Problema de Clasificación: Distinguir si todas las variedades algebraicas con grupo CH₀ representable poseen 0-ciclos universales, lo que implica la estructura profunda de la teoría de ciclos algebraicos
3. Teoría de Hodge: La no existencia de 0-ciclos universales proporciona contraejemplos a la conjetura integral de Hodge

Limitaciones de la Teoría Existente

• El trabajo de Mumford y Roitman establece los fundamentos teóricos del grupo CH₀ representable
• Los contraejemplos previos se concentraban principalmente en casos sin grupo CH₀ representable
• La pregunta de Colliot-Thélène llena un vacío teórico: ¿existen variedades algebraicas que tengan grupo CH₀ representable pero carezcan de 0-ciclos universales?

Contribuciones Principales

1. Construcción de Contraejemplo Clave: Se proporciona una variedad algebraica proyectiva suave tridimensional con grupo CH₀ representable pero sin 0-ciclos universales
2. Resolución de Pregunta Importante: Se responde completamente la pregunta 1.3 en la referencia 6 planteada por Colliot-Thélène
3. Establecimiento de Teorema Estructural: Se prueba que las variedades algebraicas con grupo CH₀ representable deben poseer una estructura geométrica especial (Lema 1.5)
4. Análisis Sistemático: Se proporciona un análisis profundo de la relación entre la existencia de 0-ciclos universales y diversos invariantes geométricos

Explicación Detallada de Métodos

Definiciones Centrales

Definición 1.1 (0-ciclo Universal): Para una variedad algebraica proyectiva suave n-dimensional X, un 0-ciclo universal es un ciclo de codimensión n Γ ∈ CHⁿ(Alb(X)×X) tal que para todo t ∈ Alb(X):

aₓ ∘ Γ*({t} - {0_{Alb(X)}}) = t en Alb(X)

Análisis Estructural

Lema 1.5: Si X posee grupo CH₀ representable y su variedad de Albanese es no trivial, entonces existe una curva proyectiva suave C tal que:

• J(C) ≅ Alb(X)
• El morfismo de Albanese se descompone como X → C → Alb(X)

Este resultado indica que las variedades algebraicas con grupo CH₀ representable poseen una estructura geométrica muy restrictiva.

Método de Construcción

La construcción principal de la autora se basa en:

1. Objetos Base: Superficie K3 S equipada con involución antisimpléctica g, curva elíptica E equipada con traslación de orden 2 tξ
2. Construcción de Cociente: Se considera X := (E × S)/(tξ, g)
3. Propiedades Clave:
   • CH₀(X) es representable (Lema 3.1)
   • Alb(X) ≅ Eξ = E/tξ
   • Bajo elecciones apropiadas, no existe 0-ciclo universal

Puntos de Innovación Técnica

Técnica de Análisis Cohomológico

La autora utiliza ingeniosamente análisis cohomológico con coeficientes Z/2:

• Transforma la existencia de 0-ciclos universales en condiciones cohomológicas
• Establece ecuaciones de restricción utilizando elementos clasificadores de recubrimientos dobles
• Prueba que las restricciones no tienen solución mediante resultados de Benoist-Ottem

Aplicación de Teoría de Índices

Proposición 2.7: Si el morfismo de Albanese se descompone a través de φₓ : X → C y el índice de φₓ es 1, entonces X posee 0-ciclos universales.

Esto proporciona una condición suficiente para la existencia de 0-ciclos universales y contrasta con el teorema principal.

Configuración Experimental

Verificación de Construcción

La autora verifica la corrección de la construcción mediante los siguientes pasos:

1. Verificación de Representabilidad: Se prueba que pEξ* : CH₀(X) → CH₀(Eξ) es isomorfismo
2. No Existencia de 0-ciclos Universales: Se utiliza el resultado de Benoist-Ottem y restricciones cohomológicas
3. Cálculo de Índices: Se prueba que para E general, el índice de pEξ es 2

Análisis Comparativo

Lema 3.4: Existe una clase integral de Hodge α ∈ H⁴(X,Z) tal que pEξ*α = 1Eξ, indicando que la restricción del índice no está determinada por razones topológicas o de teoría de Hodge.

Resultados Experimentales

Teorema Principal

Teorema 1.4: Existe una variedad algebraica proyectiva suave tridimensional X tal que CH₀(X) es representable pero X no posee 0-ciclos universales.

Propiedades Geométricas de la Construcción

1. Dimensión: Variedad algebraica tridimensional (esta es la dimensión mínima posible)
2. Propiedades Topológicas: Contiene elementos de torsión en la cohomología integral de Betti
3. Propiedades Algebraicas: La variedad de Albanese es isomorfa al cociente de una curva elíptica

Análisis Completo del Caso de Superficies

Proposición 4.4: Para superficies obtenidas por acciones de grupos cíclicos, el índice siempre es 1, por lo tanto poseen 0-ciclos universales.

Esto indica que el caso tridimensional proporciona efectivamente nuevos fenómenos.

Trabajos Relacionados

Desarrollo Histórico

1. Teoría de Mumford-Roitman: Establece los fundamentos de la teoría del grupo CH₀ representable
2. Trabajos Previos de Voisin: En 21,22 se construyen variedades algebraicas sin 0-ciclos universales
3. Resultado de Benoist-Ottem: Proporciona contraejemplos a la conjetura integral de Hodge, convirtiéndose en herramienta clave de este artículo

Conexiones con Problemas Relacionados

• Pregunta 2.5 (Colliot-Thélène): Sobre la suryectividad de 0-ciclos en cuerpos de funciones
• Conjetura Integral de Hodge: La no existencia de 0-ciclos universales proporciona nuevos contraejemplos
• Teoría de Motivos: Relacionada con la algebraicidad de proyectores de Künneth

Conclusiones y Discusión

Conclusiones Principales

1. Existen variedades algebraicas proyectivas suaves con grupo CH₀ representable pero sin 0-ciclos universales
2. Tales ejemplos deben poseer una estructura geométrica muy especial
3. Los elementos de torsión en la cohomología integral de Betti juegan un papel clave en la construcción

Limitaciones

1. Dependencia de Torsión: La construcción depende de elementos de torsión en la cohomología integral de Betti
2. Restricción de Dimensión: Permanece sin respuesta si existen ejemplos de menor dimensión
3. Generalidad: La especificidad de la construcción limita su capacidad de generalización

Direcciones Futuras

1. Caso sin Torsión: Buscar ejemplos donde la cohomología integral de Betti sea libre de torsión
2. Problema de Clasificación: Clasificación completa de variedades algebraicas con grupo CH₀ representable
3. Generalización a Dimensiones Superiores: Investigar problemas análogos en dimensiones superiores

Evaluación Profunda

Ventajas

1. Avance Teórico: Resuelve un problema abierto importante en geometría algebraica
2. Innovación Técnica: Combina ingeniosamente múltiples herramientas teóricas profundas
3. Construcción Elegante: Realiza mediante construcción de cociente una combinación de propiedades aparentemente contradictorias
4. Análisis Comprehensivo: Proporciona un marco de análisis sistemático del problema

Deficiencias

1. Complejidad de Construcción: Depende de múltiples resultados teóricos profundos, no es suficientemente directo
2. Especificidad Fuerte: El ejemplo posee gran especificidad, con grado limitado de generalización
3. Verificación Computacional: Ciertos pasos clave requieren verificación computacional más detallada

Impacto

1. Contribución Teórica: Proporciona nuevas perspectivas a la teoría de ciclos algebraicos
2. Valor Metodológico: Demuestra la combinación orgánica de diferentes herramientas teóricas
3. Investigación Posterior: Proporciona nuevas ideas y métodos para investigación de problemas relacionados

Escenarios de Aplicación

Este trabajo es principalmente aplicable a:

1. Investigación de teoría de ciclos en geometría algebraica
2. Problemas relacionados con teoría de Hodge y teoría de motivos
3. Problemas de clasificación de geometría birracional de variedades algebraicas

Referencias

El artículo cita 25 referencias importantes, entre las cuales las clave incluyen:

• 3 Trabajo de Benoist-Ottem sobre la conjetura integral de Hodge
• 14 Trabajo clásico de Mumford sobre grupo CH₀ representable
• 21,22 Investigación previa de la autora sobre 0-ciclos universales
• 6 Literatura donde Colliot-Thélène plantea el problema original

Este artículo resuelve mediante construcción elegante un problema importante en geometría algebraica, demostrando la profundidad y complejidad de la teoría moderna de geometría algebraica. Sus innovaciones técnicas y contribuciones teóricas tendrán un impacto importante en el desarrollo posterior de este campo.