REVIEW 2 major objections 2 minor
Varieties with representable CH_0-group and a question of Colliot-Th\'{e}l\`{e}ne
T0 review · 2 major / 2 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read A smooth projective variety can have representable CH_0 but no universal 0-cycle.
desk verdict Voisin's abstract-only announcement of a variety separating representable CH_0 from universal 0-cycles is new and likely true; the proof's transfer from Benoist-Ottem needs careful checking. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
Two notions carry the argument. First, the Chow group of zero-cycles CH_0(X) and its representability via the Albanese morphism alb_*: CH_0(X)^0 → Alb(X), which is required to be an isomorphism. Second, the universal 0-cycle, a distinguished degree-one cycle with good behaviour under field extensions. The paper's machinery combines these with a transfer construction based on a counterexample to the integral Hodge conjecture provided in the literature: a variety carrying an integral cohomology class that is not algebraic. That non-algebraic class is used to prevent the existence of a universal 0-cycle, while the geometric setup is arranged so that the Albanese kernel vanishes, making CH_0 representable.
What would settle it
On the specific variety constructed in the paper, check whether the transferred integral cohomology class lies in the image of the cycle class map; if it does, a universal 0-cycle likely exists, contradicting the paper's conclusion.
Extended reading notes
Core claim
The paper establishes that there exists a smooth projective variety X over the complex numbers with representable CH_0-group but no universal 0-cycle. Representability means that the Albanese morphism induces an isomorphism CH_0(X)^0 ≅ Alb(X), so all degree-zero zero-cycles are accounted for by the Albanese variety. A universal 0-cycle would be a degree-one zero-cycle defined in a way that survives arbitrary base change; its absence is detected by an integral cohomology obstruction imported from a known counterexample to the integral Hodge conjecture. The construction transfers that counterexample into the zero-cycle setting while preserving representability of CH_0, thereby answering the question in the negative.
Load-bearing premise
The construction relies on the cited counterexample to the integral Hodge conjecture having the specific geometric properties needed for the transfer argument; if those properties are absent, the constructed variety could fail to have representable CH_0 or could accidentally admit a universal 0-cycle.
Editorial extensions
If this is right
- The long-standing question is answered negatively: representability of the CH_0-group does not imply the existence of a universal 0-cycle.
- The hierarchy of zero-cycle properties gains a new separation: representable CH_0 is strictly weaker than having a universal 0-cycle.
- A known counterexample to the integral Hodge conjecture now has a direct consequence in the theory of zero-cycles, not only in cycle class theory.
- The geometry of the Albanese morphism on 0-cycles is shown to encode information beyond the representability criterion, so studying the Albanese map is a productive route for further examples.
Reading between the lines
- One natural next step, not treated in the abstract, is to ask whether a similar construction can produce a variety over a number field, which would connect the separation of zero-cycle properties to arithmetic questions.
- If the integral cohomology obstruction is the true source of the missing universal 0-cycle, then one could test a Hodge-theoretic criterion: a variety should admit a universal 0-cycle exactly when the relevant integral cohomology classes lift to algebraic cycle classes.
- The same transfer strategy might be reusable to separate other cycle-theoretic properties, such as universal triviality of CH_0 from representability, although the paper does not state this.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper announces the construction of a smooth projective variety X whose CH_0-group is representable but which admits no universal 0-cycle, thereby answering a question of Colliot-Thélène. The abstract states that the construction relies on the Benoist-Ottem counterexample to the integral Hodge conjecture. Only the abstract was available for this review; the full proof is not included.
Significance. If the announced construction is correct, the result demonstrates that representability of the CH_0-group and existence of a universal 0-cycle are genuinely independent properties, resolving an open question in the theory of 0-cycles. The use of a known counterexample to the integral Hodge conjecture is natural, and the novelty lies in the transfer argument. The result would be a valuable contribution to the geometry of the Albanese morphism on 0-cycles. However, verification of the significance depends on the full proof, which was not available.
major comments (2)
- [Abstract] The abstract announces that the construction 'relies on' the Benoist-Ottem counterexample, but it does not state which geometric properties of that threefold are transferred to the new variety. In particular, the non-algebraic integral Hodge class must survive the construction to obstruct a universal 0-cycle, and the Albanese morphism of the constructed variety must be controlled to ensure representability of CH_0. These properties are not automatic consequences of the counterexample's existence, so the full text must supply a transfer lemma that verifies both. As it stands, the abstract alone does not provide enough information to check the central claim.
- [Abstract] Representability of CH_0 is a strong condition, typically requiring either a decomposition of the diagonal or precise control of the Albanese morphism. The abstract gives no indication of how the construction achieves this, nor which hypotheses on the Benoist-Ottem threefold (e.g., on its Albanese map or cycle classes) are needed. The full text should explicitly state and verify these hypotheses; otherwise the announced example may fail to have representable CH_0 or may accidentally admit a universal 0-cycle.
minor comments (2)
- [Abstract] The phrase 'no universal 0-cycle' is ambiguous: it could mean no universal 0-cycle in the sense of Voisin, or no family of 0-cycles that specializes to every fiber. The full text should define the term precisely when first used.
- [Abstract] The abstract refers to 'our investigation' without a reference; the full text should cite the earlier work and clarify which results are assumed.
Circularity Check
No circularity found: the abstract-only claim rests on an external counterexample, not on fitted inputs or self-citation.
full rationale
The reviewable text is the abstract only. The central claim is an existence theorem: a smooth projective variety with representable CH_0-group but no universal 0-cycle. The abstract states that the construction relies on a counterexample to the integral Hodge conjecture provided by Benoist and Ottem. That is an external, independently established result, not a prior result of the present author, and no parameter fitting, definitional identification, or equation-level reduction appears in the available text. The phrase 'We continue our investigation' is a framing remark, not a load-bearing inference, and no uniqueness theorem or ansatz is imported by self-citation. Because no equations are given, no specific reduction of one claim to another can be exhibited, as required by the review rules. The possibility that the Benoist-Ottem example lacks the additional geometric hypotheses needed for the transfer argument is a correctness risk, not circularity: a failed construction would not make the announced derivation equivalent to its inputs by construction. Accordingly, no significant circularity is identified and the score is 0.
Assumptions & free parameters
assumptions (3)
- domain assumption Benoist-Ottem counterexample to the integral Hodge conjecture exists and has the properties needed for the transfer to zero-cycles.
- standard math Standard definitions and properties of CH_0 representability and universal 0-cycles hold as in algebraic geometry.
- domain assumption The base field and geometric conditions (e.g., smoothness, projectivity) are compatible with the construction.
Cite this review
Pith. "Pith review of Varieties with representable CH_0-group and a question of Colliot-Th\'{e}l\`{e}ne." pith.science (2026). https://pith.science/paper/VUCJUKLO
@misc{pith2026250802331,
author = {Pith},
title = {Pith review of: Varieties with representable CH_0-group and a question of Colliot-Th\'el\`ene},
year = {2026},
howpublished = {\url{https://pith.science/paper/VUCJUKLO}},
note = {Machine review of arXiv:2508.02331}
}
read the original abstract
We continue our investigation of the geometry of the Albanese morphism on 0-cycles. We provide an example of a smooth projective variety with representable CH_0-group but with no universal 0-cycle, which answers a question asked by Colliot-Th\'el\`ene. Our construction relies on a counterexample to the integral Hodge conjecture provided by Benoist and Ottem.
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.