Grothendieck's variational Hodge conjecture

About 15 years old · traced to

Let kk be a field of characteristic 00, let f:X→Sf:{\mathcal X}\to{\mathcal S} be a smooth projective morphism with S/k{\mathcal S}/k a smooth variety, and fix a point s∈Ss\in{\mathcal S} with fiber Xs{\mathcal X}_s. For ξs∈K0(Xs)Q\xi_s\in K_0({\mathcal X}_s)_{\mathbb Q}, consider its de Rham Chern character ch(ξs)∈HdR∗(Xs/s){\rm ch}(\xi_s)\in H^*_{\rm dR}({\mathcal X}_s/s).

Variational Hodge conjecture. The following are equivalent:

  1. ch(ξs){\rm ch}(\xi_s) lifts to an element of HdR∗(X/k)H^*_{\rm dR}({\mathcal X}/k).
  2. There is an element ξ∈K0(X)Q\xi\in K_0({\mathcal X})_{\mathbb Q} such that
ch(ξ∣Xs)=ch(ξs).{\rm ch}(\xi|_{{\mathcal X}_s})={\rm ch}(\xi_s).

This is Grothendieck's original, global formulation of the principle of parallel transport of algebraic cycles. The paper explains that it is equivalent to the infinitesimal formulation above; its resolution is not supplied here and the conjecture remains open.

References

Primary source

Spencer Bloch, Hélène Esnault and Moritz Kerz, “Deformation of algebraic cycle classes in characteristic zero”, arXiv:1310.1773 (2014).

Additional references

2 papers in this index state this conjecture (2011–2013). The statement above is taken from the most recent of them; the others are arXiv:1101.3647.

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.