Generalized Bloch conjecture for correspondences on surfaces

About 13 years old · traced to

Let XX be a smooth projective surface. Write CH0(X)hom⁡CH_0(X)_{\operatorname{hom}} for the group of homologically trivial zero-cycles modulo rational equivalence, and let

alb⁡X:CH0(X)hom⁡→Alb⁡(X)\operatorname{alb}_X:CH_0(X)_{\operatorname{hom}}\to\operatorname{Alb}(X)

be the Albanese map. Define

F0CH0(X)=CH0(X),F1CH0(X)=CH0(X)hom⁡,F2CH0(X)=ker⁡alb⁡X⊆F1CH0(X).F^0CH_0(X)=CH_0(X),\qquad F^1CH_0(X)=CH_0(X)_{\operatorname{hom}},\qquad F^2CH_0(X)=\ker\operatorname{alb}_X\subseteq F^1CH_0(X).

For a 22-cycle Z⊆X×XZ\subseteq X\times X, let [Z]∗:H2(X,C)→H2(X,C)[Z]^*:H^2(X,\mathbb C)\to H^2(X,\mathbb C) be its induced cohomological action and let Z∗:CH0(X)→CH0(X)Z_*:CH_0(X)\to CH_0(X) be its induced action on zero-cycles.

Generalized Bloch conjecture. If [Z]∗[Z]^* vanishes on H0(X,ΩX2)H^0(X,\Omega^2_X), then Z∗Z_* vanishes on F2CH0(X)F^2CH_0(X).

This extends the classical Bloch conjecture from surfaces to correspondences in products of surfaces. The assertion predicts that the cohomological vanishing of a correspondence on holomorphic two-forms forces its action to vanish on the Albanese kernel of zero-cycles; it remains open in general.

References

Primary source

Sara Torelli, “Correspondences acting on constant cycle curves on K3 surfaces”, arXiv:2306.02723 (2025).

Additional references

2 papers in this index state this conjecture (2013–2023). The statement above is taken from the most recent of them; the others are arXiv:1311.0743.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.