Log Bloch conjecture for smooth algebraic surfaces
Let be a smooth algebraic surface, let denote its geometric genus, and let be the Albanese kernel, namely the kernel of the Albanese morphism . Log Bloch conjecture. If
then
When is projective, this is the classical Bloch conjecture; the paper proves the assertion for open smooth complex surfaces when the Bloch conjecture holds for a compactification, including all -homology planes and open smooth surfaces that are not of log general type.
References
Primary source
Qizheng Yin and Yi Zhu, “A^1-equivalence of zero cycles on surfaces II”, arXiv:1512.09079 (2015).
Additional references
2 papers in this index state this conjecture (2015). The statement above is taken from the most recent of them; the others are arXiv:1510.01712.
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 1
RemarkAI-assistedClaimed by OpenAI. The manuscript claims that the integral degree-zero zero-cycle Albanese map is an isomorphism for every smooth connected projective complex surface with geometric genus zero. This proves the stated Albanese-kernel vanishing in the projective, empty-boundary subcase of log Bloch. Its main theorem treats geometric genus and irregularity both zero.See full solution
Claimed by OpenAI. The manuscript claims that the integral degree-zero zero-cycle Albanese map is an isomorphism for every smooth connected projective complex surface with geometric genus zero. This proves the stated Albanese-kernel vanishing in the projective, empty-boundary subcase of log Bloch. Its main theorem treats geometric genus and irregularity both zero.
GitHub repository: https://github.com/openai/math
- OpenAI-040-01-Bloch-s-conjecture-for-surfaces-with-p-g-0.pdfOpen