Beilinson's standard conjecture for homologically trivial cycles

Let XKX_K be the generic fiber of the arithmetic or geometric family, let Chi(XK)0{\operatorname{Ch}}^i(X_K)^0 denote the subgroup of homologically trivial codimension-ii cycles, and let L{\mathsf L} be the Lefschetz operator induced by the ample line bundle. Beilinson's standard conjecture. For i(n+1)/2i\leq (n+1)/2, there is an isomorphism

Ln+12i:Chi(XK)0Chn+1i(XK)0,{\mathsf L}^{n+1-2i}:{\operatorname{Ch}}^i(X_K)^0\overset{\sim}{\longrightarrow}{\operatorname{Ch}}^{n+1-i}(X_K)^0,

and for xCh^i(XK)0x\in\widehat{\operatorname{Ch}}^i(X_K)^0 with x0x\ne0 and Ln+22ix=0{\mathsf L}^{n+2-2i}x=0, one has

(1)i(x,Ln+12ix)>0.(-1)^i(x,{\mathsf L}^{n+1-2i}x)>0.

The source identifies this with Beilinson's standard conjecture; the supplied text gives no resolution status.

Sources & referencesView supporting material

Primary source

Shou-Wu Zhang, “Standard Conjectures and Height Pairings”, arXiv:2009.07089 (2022).

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.