Fully supersingular Bloch--Beilinson conjecture

Let XX be a smooth projective variety over kk which is fully Shioda supersingular. For 0idim(X)0\leq i\leq \dim(X), write CHi(X)alg{\rm CH}^{i}(X)_{\operatorname{alg}} for algebraically trivial codimension-ii cycles modulo rational equivalence, and let Abi(X)Ab^{i}(X) denote an abelian variety.

Fully supersingular Bloch--Beilinson conjecture. Numerical and algebraic equivalence coincide on CHi(X)Q{\rm CH}^{i}(X)_{\mathbb{Q}}, so Griffi(X)Q=0\operatorname{Griff}^{i}(X)_{\mathbb{Q}}=0; there is a regular surjective homomorphism

νi:CHi(X)algAbi(X)\nu_{i}:{\rm CH}^{i}(X)_{\operatorname{alg}}\to Ab^{i}(X)

to the algebraic representative, with finite kernel, dimAbi(X)=12b2i1(X)\dim Ab^{i}(X)=\frac{1}{2}b_{2i-1}(X), and Abi(X)Ab^{i}(X) supersingular; and the intersection product on CH(X)alg{\rm CH}^{*}(X)_{\operatorname{alg}} is zero. Consequently, the kernel of

CH(X)QCH(X)Q{\rm CH}^{*}(X)_{\mathbb{Q}}\twoheadrightarrow \overline{\rm CH}^{*}(X)_{\mathbb{Q}}

is the square-zero graded ideal Ab(X)Q:=iAbi(X)ZQAb^{*}(X)_{\mathbb{Q}}:=\bigoplus_i Ab^{i}(X)\otimes_{\mathbb{Z}}\mathbb{Q}.

This conjecture predicts a precise Bloch--Beilinson-type description of Chow groups for fully supersingular varieties. The paper derives it for symplectic varieties from the supersingular abelian motive conjecture, but does not establish that motivic conjecture in general.

Sources & referencesView supporting material

Primary source

Lie Fu and Zhiyuan Li, “Supersingular irreducible symplectic varieties”, arXiv:1808.05851 (2020).

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.