Motivic standard conjecture of Hodge type

Let X\mathcal X be a smooth projective scheme of relative dimension dd over a field or over the ring of integers of a pp-adic field, satisfying the Künneth standard conjecture, and let L\mathcal L be a relatively ample line bundle. Let PLn(X)\mathfrak P^n_{\mathcal L}(\mathcal X) be the motivic primitive part, defined as the kernel of

[L]dn+1:hn(X)h2dn+2(X)(dn+1).\cup[\mathcal L]^{d-n+1}:\mathfrak h^n(\mathcal X)\longrightarrow\mathfrak h^{2d-n+2}(\mathcal X)(d-n+1).

Let ηL,mot\eta_{\mathcal L,\mathrm{mot}} be the associated motivic intersection form. Motivic standard conjecture of Hodge type. There is a notion of polarization on motives such that

ηL,mot:PLn(X)PLn(X)\mathds1(n)\eta_{\mathcal L,\mathrm{mot}}:\mathfrak P^n_{\mathcal L}(\mathcal X)\otimes\mathfrak P^n_{\mathcal L}(\mathcal X)\longrightarrow\mathds 1(-n)

is a polarization for each X\mathcal X and each ample divisor L\mathcal L. This would provide a motivic generalization of the Hodge--Riemann relations and would imply the cycle-theoretic standard conjecture of Hodge type through realization; its general validity remains open.

Sources & referencesView supporting material

Primary source

Thomas Agugliaro, “Standard conjecture of Hodge type for powers of abelian varieties”, arXiv:2510.21562 (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.