Grothendieck–Hodge conjecture for coniveau

Let XX be a proper smooth scheme over C\mathbb C. For integers i,ji,j, define the coniveau filtration by

NiHj(X)=ker(Hj(X)limcodimXZiHj(XZ)).N^iH^j(X)=\ker\left(H^j(X)\to\varinjlim_{\operatorname{codim}_X Z\geq i}H^j(X-Z)\right).

The inclusion

NiHj(X)QHj(X,Q)FiHj(X)N^iH^j(X)_{\mathbb Q}\subseteq H^j(X,\mathbb Q)\cap F^iH^j(X)

identifies the left-hand side with a subspace of rational Hodge classes. Grothendieck–Hodge conjecture. The space NiHj(X)QN^iH^j(X)_{\mathbb Q} is the largest subspace of Hj(X,Q)FiHj(X)H^j(X,\mathbb Q)\cap F^iH^j(X) whose complexification generates a sub-Hodge structure of Hj(X,C)H^j(X,\mathbb C). This is a strengthening of the Hodge-coniveau comparison and is open in general.

Sources & referencesView supporting material

Primary source

L. Barbieri-Viale, “On algebraic 1-motives related to Hodge cycles”, arXiv:math/0103179 (2001).

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.