The cohomological Hodge conjecture for singular varieties

Let XX be a complex projective variety defined over Q\overline{\mathbb Q}. A weight 2p2p Hodge cycle is a class in H2p(X,Q(p))H^{2p}(X,\mathbb Q(p)) of Hodge type (p,p)(p,p). Let

HM2p(X,Q(p))H_M^{2p}(X,\mathbb Q(p))

be motivic cohomology, and let the map to H2p(X,Q(p))H^{2p}(X,\mathbb Q(p)) be the map constructed in the cited theorem. The cohomological Hodge conjecture. Every weight 2p2p Hodge cycle in H2p(X,Q(p))H^{2p}(X,\mathbb Q(p)) lies in the image of

HM2p(X,Q(p))H2p(X,Q(p)).H_M^{2p}(X,\mathbb Q(p))\longrightarrow H^{2p}(X,\mathbb Q(p)).

This extends the Lefschetz (1,1)(1,1) theorem from projective varieties to higher codimension and singular varieties. The source notes that the condition that XX be defined over Q\overline{\mathbb Q} is essential, and gives examples showing that dropping it can lead to counterexamples.

Sources & referencesView supporting material

Primary source

Donu Arapura, “A Lefschetz (1,1) theorem for singular varieties”, arXiv:1605.00587 (2016).

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.