The integral Hodge conjecture

About 7 years old · traced to

Let XX be a smooth projective complex variety. Write

cl⁡i ⁣:CH⁡i(X)→H2i(X,Z(i))\operatorname{cl}^i\colon \operatorname{CH}^i(X)\to\mathrm{H}^{2i}(X,\mathbb{Z}(i))

for the integral cycle class map, and let

Hdg2i(X,Z):=H2i(X,Z)∩Hi,i(X)\mathrm{Hdg}^{2i}(X,\mathbb{Z}):= \mathrm{H}^{2i}(X,\mathbb{Z})\cap\mathrm{H}^{i,i}(X)

be the group of integral Hodge classes. Integral Hodge conjecture. For every such XX and every ii, all integral Hodge classes are integral linear combinations of algebraic cycles, equivalently

im⁡(cl⁡i)=Hdg2i(X,Z).\operatorname{im}(\operatorname{cl}^i)=\mathrm{Hdg}^{2i}(X,\mathbb{Z}).

The conjecture is the integral analogue of the Hodge conjecture. It is false in general: Atiyah and Hirzebruch first established a failure, so this statement is refuted as a universal conjecture.

References

Primary source

Kees Kok, “On the failure of the integral Hodge/Tate conjecture for products with projective hypersurfaces”, arXiv:2305.08961 (2023).

Additional references

3 papers in this index state this conjecture (2019–2023). The statement above is taken from the most recent of them; the others are arXiv:2212.02128, arXiv:1901.07091.

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.