The absolute Hodge conjecture for Hodge classes

Let XX be a smooth projective variety over an algebraically closed field k=kk=\overline{k} of finite transcendence degree over Q\mathbb Q. Let (sAf,sdR)(s_{\mathbb A_f},s_{\mathrm{dR}}) be a tensor pair in

(Heˊtw(X,Af)×HdRw(X/k)).\bigl(H^w_{\mathrm{\acute et}}(X,\mathbb A_f)\times H^w_{\mathrm{dR}}(X/k)\bigr)^{\otimes}.

Absolute Hodge conjecture. If this pair comes from a Hodge class in (HBw(X(C),Q))(H^w_B(X(\mathbb C),\mathbb Q))^{\otimes} for one embedding σ:kC\sigma:k\hookrightarrow\mathbb C, then for every embedding kCk\hookrightarrow\mathbb C it comes from a Hodge class under the comparison isomorphism with Betti cohomology. This conjecture asserts that Hodge classes are absolute Hodge classes. It is known in important cases, such as for abelian varieties by Deligne, but remains open for arbitrary smooth projective varieties.

Sources & referencesView supporting material

Primary source

Alice Lin, “Finiteness of Heights in Isogeny Classes of Motives with Semistable Reduction”, arXiv:2510.10403 (2025).

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.