The generalized Hodge conjecture

Let XX be a smooth complex projective variety. Define the coniveau filtration by

NiHm(X)=codimZiIm(HZm(X)QHm(X)Q),N^iH^m(X)=\bigcup_{\operatorname{codim} Z\geq i}\operatorname{Im}\bigl(H^m_Z(X)\otimes\mathbb{Q}\longrightarrow H^m(X)_{\mathbb{Q}}\bigr),

where ZXZ\subset X ranges over subvarieties, and let HHdgm,i(X)H^{m,i}_{\operatorname{Hdg}}(X) be the largest Hodge substructure of FiHm(X)CHm(X)QF^iH^m(X)_{\mathbb{C}}\cap H^m(X)_{\mathbb{Q}}. The generalized Hodge conjecture. For all mm and ii, one has

HHdgm,i(X)=NiHm(X).H^{m,i}_{\operatorname{Hdg}}(X)=N^iH^m(X).

This extends the classical Hodge conjecture from algebraic classes in even-degree cohomology to the entire cohomology. The source presents it as a conjecture; no resolution is supplied.

Sources & referencesView supporting material

Primary source

Chris Peters, “Incidence equivalence, a survey”, arXiv:2607.22233 (2026).

Additional references

7 papers in this index state this conjecture (2009–2026). The statement above is taken from the most recent of them; the others are arXiv:2605.20453, arXiv:2407.19488, arXiv:2212.02128, arXiv:1610.04266, arXiv:1110.3505, arXiv:0907.3535.

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.