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

Basic Information

• Paper ID: 2508.02331
• Title: Varieties with representable CH₀-group and a question of Colliot-Thélène
• Author: Claire Voisin
• Classification: math.AG (Algebraic Geometry)
• Publication Date: October 15, 2025 (arXiv v2)
• Paper Link: https://arxiv.org/abs/2508.02331

Abstract

This paper continues the investigation of geometric properties of the Albanese morphism on 0-cycles. The author provides an example of a smooth projective variety with representable CH₀-group but without a universal 0-cycle, answering a question posed by Colliot-Thélène. The construction relies on a counterexample to the integral Hodge conjecture provided by Benoist and Ottem.

Research Background and Motivation

Core Problem

The central problem studied in this paper concerns the existence of universal 0-cycles on algebraic varieties. For a smooth projective complex algebraic variety X, a universal 0-cycle is a codimension n cycle Γ defined on Alb(X)×X satisfying specific universal properties.

Significance

1. Theoretical Importance: The existence of universal 0-cycles is closely related to the integral Hodge conjecture and represents a core problem in algebraic geometry
2. Classification Problem: Distinguishing whether all algebraic varieties with representable CH₀-group possess universal 0-cycles involves the deep structure of algebraic cycle theory
3. Hodge Theory: The non-existence of universal 0-cycles provides counterexamples to the integral Hodge conjecture

Limitations of Existing Theory

• The work of Mumford and Roitman established the theoretical foundations for representable CH₀-groups
• Previous counterexamples focused mainly on cases without representable CH₀-groups
• Colliot-Thélène's question fills a theoretical gap: whether there exist algebraic varieties with both representable CH₀-group and without universal 0-cycles

Core Contributions

1. Construction of Key Counterexample: Provides a smooth projective three-dimensional algebraic variety with representable CH₀-group but without universal 0-cycle
2. Resolution of Important Question: Completely answers Question 1.3 posed by Colliot-Thélène in reference 6
3. Establishment of Structure Theorem: Proves that algebraic varieties with representable CH₀-group must possess special geometric structure (Lemma 1.5)
4. Systematic Analysis: Provides in-depth analysis of the relationship between universal 0-cycle existence and various geometric invariants

Detailed Methodology

Core Definition

Definition 1.1 (Universal 0-cycle): For an n-dimensional smooth projective algebraic variety X, a universal 0-cycle is a codimension n cycle Γ ∈ CHⁿ(Alb(X)×X) such that for any t ∈ Alb(X):

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

Structural Analysis

Lemma 1.5: If X has representable CH₀-group and non-trivial Albanese variety, then there exists a smooth projective curve C such that:

• J(C) ≅ Alb(X)
• The Albanese morphism factors as X → C → Alb(X)

This result shows that algebraic varieties with representable CH₀-group possess highly restrictive geometric structure.

Construction Method

The author's main construction is based on:

1. Basic Objects: K3 surface S equipped with antisymplectic involution g, elliptic curve E equipped with 2-torsion translation tξ
2. Quotient Construction: Consider X := (E × S)/(tξ, g)
3. Key Properties:
   • CH₀(X) is representable (Lemma 3.1)
   • Alb(X) ≅ Eξ = E/tξ
   • Under appropriate choices, no universal 0-cycle exists

Technical Innovations

Homological Analysis Technique

The author cleverly employs homological analysis with Z/2-coefficients:

• Transforms the existence of universal 0-cycles into homological conditions
• Establishes constraint equations using classification elements of double covers
• Proves constraint equations have no solutions using Benoist-Ottem results

Index Theory Application

Proposition 2.7: If the Albanese morphism factors through φₓ : X → C and the index of φₓ is 1, then X possesses a universal 0-cycle.

This provides a sufficient condition for universal 0-cycle existence and contrasts with the main theorem.

Experimental Setup

Construction Verification

The author verifies the correctness of the construction through the following steps:

1. Representability Verification: Proves that pEξ* : CH₀(X) → CH₀(Eξ) is an isomorphism
2. Non-existence of Universal 0-cycle: Uses Benoist-Ottem results and homological constraints
3. Index Computation: Proves that for general E, the index of pEξ is 2

Comparative Analysis

Lemma 3.4: There exists an integral Hodge class α ∈ H⁴(X,Z) such that pEξ*α = 1Eξ, showing that the index restriction is not determined by topological or Hodge-theoretic reasons.

Experimental Results

Main Theorem

Theorem 1.4: There exists a smooth projective three-dimensional algebraic variety X such that CH₀(X) is representable but X does not possess a universal 0-cycle.

Geometric Properties of the Construction

1. Dimension: Three-dimensional variety (the lowest possible dimension)
2. Topological Properties: Torsion elements in integral Betti cohomology
3. Algebraic Properties: Albanese variety isomorphic to a quotient of an elliptic curve

Complete Analysis for Surfaces

Proposition 4.4: For surfaces obtained from cyclic group actions, the index is always 1, hence they possess universal 0-cycles.

This shows that the three-dimensional case indeed provides new phenomena.

Related Work

Historical Development

1. Mumford-Roitman Theory: Established foundational theory for representable CH₀-groups
2. Voisin's Earlier Work: Constructed varieties without universal 0-cycles in 21,22
3. Benoist-Ottem Results: Provided counterexamples to the integral Hodge conjecture, becoming key tools in this paper

Connections to Related Problems

• Question 2.5 (Colliot-Thélène): Concerning surjectivity of 0-cycles on function fields
• Integral Hodge Conjecture: Non-existence of universal 0-cycles provides new counterexamples
• Motivic Theory: Related to algebraicity of Künneth projectors

Conclusions and Discussion

Main Conclusions

1. There exist smooth projective algebraic varieties with representable CH₀-group but without universal 0-cycles
2. Such examples must possess very special geometric structure
3. Torsion elements in integral Betti cohomology play a crucial role in the construction

Limitations

1. Torsion Dependence: Construction depends on torsion elements in integral Betti cohomology
2. Dimension Restriction: Unclear whether examples of lower dimension exist
3. Generality: The specificity of the construction limits its generalizability

Future Directions

1. Torsion-free Case: Seek examples with torsion-free integral Betti cohomology
2. Classification Problem: Complete classification of algebraic varieties with representable CH₀-group
3. Higher-dimensional Generalization: Study analogous problems in higher dimensions

In-depth Evaluation

Strengths

1. Theoretical Breakthrough: Resolves an important open problem in algebraic geometry
2. Technical Innovation: Cleverly combines multiple profound theoretical tools
3. Elegant Construction: Achieves seemingly contradictory property combinations through quotient construction
4. Comprehensive Analysis: Provides systematic analytical framework for the problem

Weaknesses

1. Construction Complexity: Depends on multiple deep theoretical results, lacks directness
2. High Specificity: Examples are highly specialized with limited generalizability
3. Computational Verification: Some key steps require more detailed computational verification

Impact

1. Theoretical Contribution: Provides new perspectives for algebraic cycle theory
2. Methodological Value: Demonstrates organic combination of different theoretical tools
3. Subsequent Research: Provides new ideas and methods for related problem investigations

Applicable Scenarios

This work is primarily applicable to:

1. Cycle theory research in algebraic geometry
2. Related problems in Hodge theory and motivic theory
3. Birational geometry classification problems for algebraic varieties

References

The paper cites 25 important references, with key ones including:

• 3 Benoist-Ottem work on the integral Hodge conjecture
• 14 Mumford's classical work on representable CH₀-groups
• 21,22 Author's earlier research on universal 0-cycles
• 6 Reference where Colliot-Thélène posed the original question

Through elegant construction, this paper resolves an important problem in algebraic geometry, demonstrating the depth and complexity of modern algebraic geometry theory. Its technical innovations and theoretical contributions will significantly impact subsequent developments in this field.