REVIEW 4 major objections 4 minor 23 references
On the weight zero motivic cohomology
T0 review · 4 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read Berkovich singular cohomology equals weight-zero motivic cohomology
desk verdict The paper's main comparison between singular cohomology of Berkovich analytifications and cdh-cohomology is new and likely true, but the proof relies on an unjustified Mayer-Vietoris claim for closed covers. 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
The engine is the cd-structure formalism: the cdh-topology is generated by elementary Nisnevich squares and abstract blow-up squares, and a presheaf of cochain complexes is a hypersheaf for this topology exactly when it satisfies the Mayer–Vietoris property for both classes of squares. The paper's presheaf $F^\bullet(X)=C^\bullet(|X^{\mathrm{an}}|,\mathbb{Z})$ is shown to have those Mayer–Vietoris properties, so it computes cdh-cohomology; the contractibility theorem for the analytification of smooth schemes over trivially valued fields then identifies its cdh-sheafification with the constant sheaf $\mathbb{Z}$. On the motivic side, the computational tool is the cotriple resolution of a commutative algebraic group $G$ by iterated (reduced) symmetric powers $S^\bullet(G)$; the correspondence between finite correspondences and maps to symmetric powers converts this into an explicit resolution of the presheaf-with-transfers $\underline{G}$, and the group-completion theorem for simplicial monoids makes the simplicial monoids behave like their group completions. The acyclicity of the resolution against $\mathbb{Z}$ is exactly the descent theorem from section 4.
What would settle it
For the cuspidal cubic X over a trivially valued field k, let $\widetilde{X}$ be its normalization and Z the singular point. Compute $H^1_{\mathrm{sing}}(|X^{\mathrm{an}}|,\mathbb{Z})$ directly from the closed cover $|\widetilde{X}^{\mathrm{an}}| \cup |Z^{\mathrm{an}}|$ using the purported Mayer–Vietoris sequence, and compare with $H^1_{\mathrm{cdh}}(X,\mathbb{Z})$ computed algebraically; any mismatch, or any failure of the Mayer–Vietoris sequence to converge, would disprove Theorem 4.3 or its proof.
Extended reading notes
Core claim
Theorem 4.3 states: for a connected scheme X locally of finite type over a trivially valued field k of characteristic 0 admitting resolution of singularities, the canonical map $C^\bullet(|X^{\mathrm{an}}|,\mathbb{Z}) \to R\Gamma_{\mathrm{cdh}}(X,\mathbb{Z})$ is a quasi-isomorphism, so $H^n_{\mathrm{sing}}(|X^{\mathrm{an}}|,\mathbb{Z}) \cong H^n_{\mathrm{cdh}}(X,\mathbb{Z})$. Because cdh-cohomology with integer coefficients agrees with weight-zero motivic cohomology for such schemes, the singular cohomology of the analytic space is an algebraic, motivic invariant. The proof compares two presheaves: the singular cochains of the analytification and the constant sheaf $\mathbb{Z}$, and verifies that both satisfy the same descent conditions for the cd-structure generating the cdh-topology; on smooth schemes the analytification is contractible, so the comparison is constant there and, by resolution of singularities, determines the sheaf everywhere. The paper then exploits the same descent to show that the resolution of a commutative algebraic group $G$ by (iterated) symmetric powers is acyclic against $\mathrm{Hom}(-,\mathbb{Z})$, yielding $R\mathrm{Hom}_{\mathrm{Sh}_{\mathrm{Nis}}(\mathrm{cor}_k)}(\underline{G},\mathbb{Z}) \simeq 0$, and to prove $R\mathrm{Hom}_{\mathcal{PS}h_{tr}}(\underline{A},\underline{B}) \simeq \mathrm{Hom}_{\mathbf{Ab}_k}(A,B)$ for abelian varieties $A,B$ via rigidity.
Load-bearing premise
The proof assumes that singular cohomology of the underlying topological space of a Berkovich space satisfies the Mayer–Vietoris long exact sequence for the closed covering $|X^{\mathrm{an}}| = |\widetilde{X}^{\mathrm{an}}| \cup |Z^{\mathrm{an}}|$ induced by an abstract blow-up square, where the paper cites a textbook but never checks the topology of the covering satisfies the hypotheses.
Editorial extensions
If this is right
- For any X covered by the theorem, the singular cohomology groups $H^n(|X^{\mathrm{an}}|,\mathbb{Z})$ are actually algebraic invariants, computable from the cdh-site of X.
- For every commutative algebraic group G over k, $\mathrm{Ext}^i_{\mathrm{Sh}_{\mathrm{Nis}}(\mathrm{cor}_k)}(\underline{G},\mathbb{Z})=0$ for all $i \ge 1$, and for semi-abelian G the motive $M_1(G)$ has trivial RHom against $\mathbb{Z}$ in the effective derived category.
- For abelian varieties A and B, $\mathrm{Ext}^i_{\mathcal{PS}h_{tr}}(\underline{A},\underline{B})=0$ for $i \ge 1$ and $R\mathrm{Hom}_{\mathcal{PS}h_{tr}}(\underline{A},\underline{B})$ is exactly the group of algebraic homomorphisms $\mathrm{Hom}_{\mathbf{Ab}_k}(A,B)$; the same holds after passing to Nisnevich sheaves with transfers.
- The cdh-cohomology of singular schemes over trivially valued fields can be read off from the topology of a single analytic space, bypassing sheaf-cohomological computations.
Reading between the lines
- The same comparison strategy should apply to cohomology with finite or profinite coefficients, provided the corresponding coefficient presheaf satisfies the two Mayer–Vietoris properties; this would give a purely topological model for mod-$\ell$ weight-zero motivic cohomology over trivially valued fields.
- The resolution by iterated reduced symmetric powers is a general machine, not tied to $\mathbb{Z}$ as the target: the same acyclicity question for $\mathrm{Hom}(-,F)$ for other homotopy-invariant sheaves with transfers $F$ would be a natural next test of its reach.
- The rigidity argument that forces all maps in the cosimplicial complex to be identities suggests that $R\mathrm{Hom}$ between a semi-abelian variety and an abelian variety might also be computable, with the torus part contributing additional structure rather than vanishing.
- One could try to detect the failure of the closed-cover Mayer–Vietoris hypothesis by searching for a singular X over a trivially valued field whose analytification is not locally contractible; if such a space admits a nontrivial singular cohomology class coming from the blow-up cover, the comparison theorem would need extra hypotheses.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims a comparison between the singular cohomology of the underlying space of the Berkovich analytification of a scheme over a trivially valued field and its cdh-cohomology with integer coefficients, and identifies both with weight-zero motivic cohomology. On this basis it derives vanishing statements for RHom of Nisnevich sheaves with transfers attached to commutative algebraic groups and an explicit computation of RHom between abelian varieties. The proof strategy is to define the presheaf F^•(X)=C^•(|X^an|,Z), prove Mayer-Vietoris properties for Nisnevich and abstract blow-up squares, invoke Voevodsky's cd-structure theorem to obtain cdh descent, and then identify the cdh-sheafification of F^• with the constant sheaf Z using contractibility results of Berkovich and Thuillier.
Significance. If Theorem 4.3 were established, it would provide a clean bridge between Berkovich geometry and cdh-motivic cohomology, and the applications to Ext vanishing for algebraic groups and abelian varieties would be interesting and non-formal. The paper is honest about its dependence on external results (Berkovich, Thuillier, Voevodsky, Mazza-Voevodsky-Weibel), and it contains no ad hoc free parameters. The main theorems are, however, conditional on a descent statement whose proof has significant gaps; the applications in Section 5 inherit those gaps, so the current version does not justify its central claims.
major comments (4)
- [Lemma 4.1 (Section 4)] The proof asserts that |W^an| is homeomorphic to |U^an| ∩ |V^an|. This is false in general. Consider the elementary Nisnevich square X=A^1_k, U=G_m, V=G_m ⊔ A^1_k, with p the disjoint union of the two open inclusions, and W=G_m ⊔ G_m. The map p^an sends the A^1 component onto |X^an|, so the open subsets |U^an| and p^an(|V^an|) of |X^an| have intersection |U^an|, not |W^an|. The Mayer-Vietoris sequence for the open cover therefore involves H^*(U^an), whereas the required homotopy pullback square for F^• involves H^*(W^an). Consequently, Nisnevich descent for F^• is not established by the argument given.
- [Lemma 4.2 (Section 4)] The proof claims that |X^an| is covered by the closed subsets |X~^an| and |Z^an| with |Z~^an| ≅ |X~^an| ∩ |Z^an|. This identification is false. For X=A^2_k, Z={0}, X~=Bl_0X, one has Z~=P^1_k, and |Z~^an| maps onto the one-point space |Z^an| with large fibers, while |X~^an| maps onto all of |X^an|; hence the intersection |X~^an| ∩ |Z^an| is |Z^an|, not |Z~^an|. The total complex required for the cdh-Mayer-Vietoris property would involve C^•(|Z~^an|), whereas the sequence obtained from the stated closed cover would involve C^•(|Z^an|). Moreover, a Mayer-Vietoris sequence for closed covers requires an excisive triad or an equivalent triangulability condition; none is proved for Berkovich spaces. Thus the cdh-descent step and Theorem 4.3 rest on an invalid lemma.
- [Proposition 5.30 and Theorem 5.31 (Section 5.4)] The applications inherit the failure of the comparison theorem. Proposition 5.30 uses Theorem 4.3 to conclude that H^i_cdh((S^t)^(n-1)(G),Z)=0 and hence that the terms in the resolution are Hom-acyclic; Theorem 5.31 and Corollary 5.32 then depend on Proposition 5.30. Since the proof of Theorem 4.3 is not valid as written, the vanishing results RHom(G,Z)≃0 and the abelian-variety computation in Theorem 5.34 are unsupported.
- [Theorem 5.15 (Section 5.2)] The proof states that since each term (S^•)^n(G) is a disjoint union of quotients of smooth k-varieties by finite groups, Corollary 3.24 and Theorem 4.3 imply H^n_cdh((S^•)^n(G),Z)=0. Corollary 3.24 is formulated for a smooth irreducible variety with a finite group action, whereas S^•(G) is an infinite disjoint union and G need not be connected. Contractibility of each component does not imply contractibility of the disjoint union, so the cited implication is not justified without additional argument.
minor comments (4)
- [Abstract and Section 3] There are several typos, e.g., 'underlyi ng' and 'iso morphic' in the abstract, and 'analytification a scheme' in Remark 3.21 is missing a word.
- [Introduction, Proposition 1.3] In the sentence before the displayed formula, the text refers to 'the resolution in Theorem 1.3'; this should be 'Proposition 1.3'.
- [Corollary 5.32] The proof says 'This follows immediately from Corollary 5.31', but the statement being invoked is Theorem 5.31; the cross-reference is incorrect.
- [Section 4, Theorem 4.3] The proof of Theorem 4.3 concludes 'The same holds if X is not connected' without treating the non-connected case; the identification C^•(|X^an|,Z) ≃ Z is only valid for connected X, and the argument for the cdh-sheafification should be written out for non-connected schemes.
Circularity Check
No significant circularity: the main comparison theorem rests on external Berkovich–Thuillier, Voevodsky, and Suslin–Voevodsky inputs, and the only self-citations are non-load-bearing duplicates.
full rationale
Walked the derivation chain. Theorem 4.3 has two independent inputs: (i) F^• = C^•(|–^an|,Z) satisfies Nisnevich and cdh Mayer–Vietoris, hence is a hypersheaf by Theorem 2.8, which is cited to Cortiñas–Haesemeyer–Schlichting–Weibel and Voevodsky; and (ii) on smooth schemes F^• ≃ Z because of Thuillier's contraction theorem (Remark 3.21) and the Nisnevich/Zariski comparison from Mazza–Voevodsky–Weibel [11], with [3] only as a duplicate reference. The subsequent motive computations use Theorem 4.3 plus Berkovich–Thuillier contractibility of quotients of smooth analytic spaces (Corollary 3.24); these are external inputs, not repackaged conclusions. The only author-self citations are to [3] (Beilinson–Vologodsky): in Proposition 5.8 alongside [17], in Section 4 alongside [11, Prop. 13.9], and in Corollary 5.35 alongside [7] for a general Mayer–Vietoris discussion. In each case an independent standard reference is also supplied, so the self-citation is not load-bearing. The genuine mathematical risk is Lemma 4.2: singular cohomology does not admit Mayer–Vietoris for arbitrary closed covers, and the paper does not verify excision or triangulability before citing [9, II.5.5]. That is an unproven topological hypothesis and a correctness gap, not a circularity, because the cited Mayer–Vietoris statement is external and the claimed conclusion is not an input restated by construction. Therefore no circular step is exhibited.
Assumptions & free parameters
assumptions (6)
- standard math Resolution of singularities in characteristic 0 (Hironaka).
- standard math A presheaf of cochain complexes on Sch_k is a hypersheaf for the cdh-topology iff it satisfies the Mayer-Vietoris property for Nisnevich squares and abstract blow-ups (Theorem 2.8, from Cortiñas-Haesemeyer-Schlichting-Weibel).
- domain assumption Berkovich and Thuillier results on the contractibility of X^an for smooth separated schemes and of (X/G)^an for quotients by finite groups (Section 3, Theorem 3.20, Corollary 3.24).
- standard math For a smooth scheme Y, Ext^i_{Sh_Nis(cor_k)}(Ztr[Y], Z) ≅ H^i_cdh(Y,Z) (Mazza-Voevodsky-Weibel, Theorem 14.20).
- standard math Rigidity theorem for abelian varieties: a morphism A→B of abelian varieties sending e to e is a group homomorphism.
- standard math Suslin-Voevodsky correspondence between finite correspondences and maps from symmetric powers (Proposition 5.8).
Cite this review
Pith. "Pith review of On the weight zero motivic cohomology." pith.science (2026). https://pith.science/paper/VATZQVDN
@misc{pith2026241118274,
author = {Pith},
title = {Pith review of: On the weight zero motivic cohomology},
year = {2026},
howpublished = {\url{https://pith.science/paper/VATZQVDN}},
note = {Machine review of arXiv:2411.18274}
}
abstract
We prove that singular cohomology of the underlying space of Berkovich's analytification of a scheme $X$ locally of finite type over a trivially-valued field $k$ of characteristic $0$ is isomorphic to cdh-cohomology with integer coefficients which is also isomorphic to the weight zero motivic cohomology $H^*(X, \mathbb{Z})$. Using this isomorphism, we demonstrate the vanishing of $RHom_{Sh_{Nis}(cor_k)}(\underline{G},\mathbb{Z})$, where $\underline{G}$ denotes the Nisnevich sheaf with transfers associated with a commutative algebraic group $G$ over $k$. For abelian $k$-varieties $A$ and $B$, we prove that $RHom_{\mathcal{PS}h_{tr}}(\underline{A},\underline{B})$ is isomorphic to $Hom_{\mathbf{Ab_k}}(A,B)$.
Reference graph
Works this paper leans on
- [1]
-
[2]
A. Beilinson and V. Drinfeld, Quantization of Hitchin’s integrable system and Hecke eigensheaves, A vailable at http://www.math.uchicago.edu/~drinfeld/langlands/ QuantizationHitchin.pdf
-
[3]
A. Beilinson and V. Vologodsky, A DG Guide to Voevodsky’s Motives , GAF A Geom. funct. anal. 17 (2008), 1709–1787
work page 2008
-
[4]
V. Berkovich, Spectral Theory and Analytic Geometry over Non-Archimedean F ields, Surveys and Monographs 33, Amer. Math. Soc., Providence, 1990
work page 1990
-
[5]
Berkovich, Étale cohomology for non-Archimedean analytic spaces , Publ
V. Berkovich, Étale cohomology for non-Archimedean analytic spaces , Publ. Math. IHÉS 78 (1993), 5–161
work page 1993
-
[6]
Berkovich, Smooth p-adic analytic spaces are locally contractible , Invent
V. Berkovich, Smooth p-adic analytic spaces are locally contractible , Invent. math. 137 (1999), 1–84
work page 1999
-
[7]
G. Cortiñas, C. Haesemeyer, M. Schlichting, and C. Weibe l, Cyclic homology, cdh-cohomology and negative K-theory , Ann. Math. 167 (2008), no. 2, 549–573
work page 2008
-
[8]
J. Ebert and O. Randal-Williams, Semisimplicial spaces, Algebraic & Geometric Topology 19 (2019), 2099–2150
work page 2019
Show all 23 references
-
[9]
Iversen, Cohomology of Sheaves , Universitext, Springer-Verlag, Berlin Heidelberg, 1986
B. Iversen, Cohomology of Sheaves , Universitext, Springer-Verlag, Berlin Heidelberg, 1986
1986
-
[10]
Kashiwara and P
M. Kashiwara and P. Schapira, Categories and sheaves , Grundlehren der Mathematischen Wis- senschaften, 332, Springer-Verlag, Berlin, 2006
2006
-
[11]
Mazza, V
C. Mazza, V. Voevodsky, and C. Weibel, Lecture notes on motivic cohomology , Clay Math- ematics Monographs, 2. American Mathematical Society, Pro vidence, RI; Clay Mathematics Institute, Cambridge, MA, 2006
2006
-
[12]
Orgogozo, Isomotifs de dimension inférieure ou égale à un , Manuscripta Math
F. Orgogozo, Isomotifs de dimension inférieure ou égale à un , Manuscripta Math. 115 (2004), 339–360
2004
-
[13]
Richarz, Basics on affine Grassmannians , A vailable at https://www.mathematik.tu- darmstadt.de/media/algebra/homepages/richarz/Notes_on_affine_Grassmannians
T. Richarz, Basics on affine Grassmannians , A vailable at https://www.mathematik.tu- darmstadt.de/media/algebra/homepages/richarz/Notes_on_affine_Grassmannians. pdf, 2020
2020
-
[14]
Sagave, T
S. Sagave, T. Schürg, and G. Vezzosi, Derived logarithmic geometry I , Journal of the Institute of Mathematics of Jussieu 15 (2016), no. 2, 367–405
2016
-
[15]
Spieß and T
M. Spieß and T. Szamuely, On the Albanese map for smooth quasi-projective varieties , Math. Ann. 325 (2003), 1–17. ON THE WEIGHT ZERO MOTIVIC COHOMOLOGY 27
2003
-
[16]
Suslin and V
A. Suslin and V. Voevodsky, Bloch-Kato conjecture and motivic cohomology with finite co effi- cients, in The arithmetic and geometry of algebraic cycles (Banff, A B, 1998), 117–189, NATO Sci. Ser. C Math. Phys. Sci., 548, Kluwer, 2000
1998
-
[17]
Suslin and V
A. Suslin and V. Voevodsky, Singular homology of abstract algebraic varieties , Invent. Math. 123 (1996), 61–94
1996
-
[18]
Thuillier, Géométrie toroïdale et géométrie analytique non archimédien ne
A. Thuillier, Géométrie toroïdale et géométrie analytique non archimédien ne. Application au type d’homotopie de certains schémas formels , Manuscripta Math. 123 (2007), 381–451
2007
-
[19]
van der Geer and B
G. van der Geer and B. Moonen, Abelian varieties , Book under preparation, A vailable at http://van-der-geer.nl/~gerard/AV.pdf
-
[20]
Voevodsky, Homotopy theory of simplicial sheaves in completely decompo sable topologies , Journal of Pure and Applied Algebra 214 (2010), no
V. Voevodsky, Homotopy theory of simplicial sheaves in completely decompo sable topologies , Journal of Pure and Applied Algebra 214 (2010), no. 8, 1384–1398
2010
-
[21]
Voevodsky, Unstable motivic homotopy categories in Nisnevich and cdh-t opologies, Journal of Pure and Applied Algebra 214 (2010), no
V. Voevodsky, Unstable motivic homotopy categories in Nisnevich and cdh-t opologies, Journal of Pure and Applied Algebra 214 (2010), no. 8, 1399–1406
2010
-
[22]
Weibel, An Introduction to Homological Algebra , Cambridge Studies in Advanced Mathe- matics, Cambridge University Press, 1994
C. Weibel, An Introduction to Homological Algebra , Cambridge Studies in Advanced Mathe- matics, Cambridge University Press, 1994
1994
-
[23]
Zhu, An introduction to affine Grassmannians and the geometric Sata ke equivalence , IAS/Park City Mathematics Series 24 (2017), 59–154
X. Zhu, An introduction to affine Grassmannians and the geometric Sata ke equivalence , IAS/Park City Mathematics Series 24 (2017), 59–154. Department of Mathematics, HSE University, Ulitsa Usachev a 6, M oscow 119048, Russia Email address : sam-molokov1@yandex.ru, sam_molokov@y...
2017
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.