The absolute Hodge conjecture for Hodge classes

About 1 year old · traced to

Let XX be a smooth projective variety over an algebraically closed field k=k‾k=\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 σ:k↪C\sigma:k\hookrightarrow\mathbb C, then for every embedding k↪Ck\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.

References

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.