The Hodge 1-motive conjecture for proper complex schemes

Let XX be a proper scheme over C\mathbb C, let π:XX\pi:X_\bullet\to X be a smooth proper hypercovering, and let H2p+i(X)H^{2p+i}(X) be Deligne's mixed Q\mathbb Q-Hodge structure on H2p+i(X,Q)H^{2p+i}(X,\mathbb Q). Let NSpNS^p and AX/CpA^p_{X_\bullet/\mathbb C} be the simplicial complexes of Néron–Severi groups and algebraic parts of intermediate Jacobians, let λai\lambda_a^i be the associated boundary map, let epe^p be the extension-class map, and let Ξi,p\Xi^{i,p} be the algebraically defined 1-motive. The Hodge 1-motive conjecture. The square formed by λai\lambda_a^i and epe^p commutes, its motivic cycle-class map has image equal to the Hodge 1-motive of H2p+i(X)H^{2p+i}(X), and

THodge(Ξi,p)H2p+i(X)h.T_{\rm Hodge}(\Xi^{i,p})\cong H^{2p+i}(X)^h.

The conjecture proposes a canonical algebraic description of the Hodge 1-motive attached to mixed cohomology of a proper singular scheme; it is not established in the source.

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.