geometry-topology / Algebraic geometry; algebraic cycles

Bloch's Conjecture for Surfaces with pg=0p_g=0

For every smooth connected projective complex surface SS with pg=q=0p_g=q=0, deg⁡:CH0(S)→Z\deg:\mathrm{CH}_0(S)\to\mathbb{Z} is an isomorphism with integral coefficients, with no minimality, fundamental-group or construction hypothesis. With Bloch-Kas-Lieberman this gives CH0(S)0≅Alb(S)(C)\mathrm{CH}_0(S)^0\cong\mathrm{Alb}(S)(\mathbb{C}) for every such surface with pg=0p_g=0. Over C\mathbb{C} only; it does not address the generalized Bloch conjecture in higher dimension. An earlier proof of the same statement was proposed by Guletskii (arXiv:2512.12451, December 2025), which the manuscript cites; this entry claims no priority over it.

55Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

geometry-topologySep 24, 2026Significance 55/100Registry: unreviewed

Bloch's Conjecture for Surfaces with pg=0p_g=0

Prior state unknown→proved

For every smooth connected projective complex surface SS with pg=q=0p_g=q=0, deg⁡:CH0(S)→Z\deg:\mathrm{CH}_0(S)\to\mathbb{Z} is an isomorphism with integral coefficients, with no minimality, fundamental-group or construction hypothesis. With Bloch-Kas-Lieberman this gives CH0(S)0≅Alb(S)(C)\mathrm{CH}_0(S)^0\cong\mathrm{Alb}(S)(\mathbb{C}) for every such surface with pg=0p_g=0. Over C\mathbb{C} only; it does not address the generalized Bloch conj…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

For every smooth connected projective complex surface SS with pg=q=0p_g=q=0, deg⁡:CH0(S)→Z\deg:\mathrm{CH}_0(S)\to\mathbb{Z} is an isomorphism with integral coefficients, with no minimality, fundamental-group or construction hypothesis. With Bloch-Kas-Lieberman this gives CH0(S)0≅Alb(S)(C)\mathrm{CH}_0(S)^0\cong\mathrm{Alb}(S)(\mathbb{C}) for every such surface with pg=0p_g=0. Over C\mathbb{C} only; it does not address the generalized Bloch conjecture in higher dimension. An earlier proof of the same statement was proposed by Guletskii (arXiv:2512.12451, December 2025), which the manuscript cites; this entry claims no priority over it.

For every smooth connected projective complex surface SS with pg=q=0p_g=q=0, deg⁡:CH0(S)→Z\deg:\mathrm{CH}_0(S)\to\mathbb{Z} is an isomorphism with integral coefficients, with no minimality, fundamental-group or construction hypothesis. With Bloch-Kas-Lieberman this gives CH0(S)0≅Alb(S)(C)\mathrm{CH}_0(S)^0\cong\mathrm{Alb}(S)(\mathbb{C}) for every such surface with pg=0p_g=0. Over C\mathbb{C} only; it does not address the generalized Bloch conjecture in higher dimension. An earlier proof of the same statement was proposed by Guletskii (arXiv:2512.12451, December 2025), which the manuscript cites; this entry claims no priority over it.

Recorded attempts

Evidence graph

Connected research record

Bloch's Conjecture for Surfaces with $p_g=0$ — Mathematical Frontier Network