The Bloch–Lewis conjecture on algebraically trivial codimension-two cycles
Let be a smooth variety. Write for the group of algebraically trivial codimension-two cycles, and let be the abelian variety given by the image of the restriction of the Abel–Jacobi map to . Assume
and assume that the generalized Hodge conjecture holds for .
Bloch–Lewis conjecture. Then is finite-dimensional, and consequently
Here finite-dimensionality means that a smooth curve and a correspondence from it induce a surjection onto . The claim connects the generalized Hodge conjecture with the structure of algebraically trivial codimension-two cycles and their Abel–Jacobi images. The source gives no resolution status for this implication.
References
Primary source
Benjamin Diamond, “Smooth Surfaces in Smooth Fourfolds with Vanishing First Chern Class”, arXiv:1610.04266 (2018).
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 0
No solutions have been posted yet.