Quasi-polarized isogeny realization conjecture for K3 surfaces

Let (X,ξ)(X,\xi) be a quasi-polarized K3 surface over kk. Let (Λp,λp)(\Lambda_p,\lambda_p) and (Λp,λp)(\Lambda^p,\lambda^p) be pointed lattices over W(k)W(k) and Z^p\hat{\mathbb{Z}}^p, respectively, with underlying lattices abstractly isomorphic to Hcris2(X/W(k))H^2_{\mathrm{cris}}(X/W(k)) and Heˊt2(X,Z^p)H^2_{\mathrm{\acute et}}(X,\hat{\mathbb{Z}}^p). Equip Λp\Lambda_p with a Frobenius action φ\varphi such that (Λp,φ)(\Lambda_p,\varphi) is a K3 crystal. Quasi-polarized isogeny realization conjecture. For each pair of isometric embeddings

((Λp,λp),φ)((Hcris2(X/W(k))[1/p],c1(ξ)),F),((\Lambda_p,\lambda_p),\varphi)\subset ((H^2_{\mathrm{cris}}(X/W(k))[1/p],c_1(\xi)),F),

and

(Λp,λp)(Heˊt2(X,Afp),c1(ξ)),(\Lambda^p,\lambda^p)\subset (H^2_{\mathrm{\acute et}}(X,\mathbb{A}_f^p),c_1(\xi)),

there exists a quasi-polarized K3 surface (X,ξ)(X',\xi') and an isogeny f:XXf:X\rightsquigarrow X' such that

f(Hcris2(X/W(k)),c1(ξ))=(Λp,λp),f^*(H^2_{\mathrm{cris}}(X'/W(k)),c_1(\xi'))=(\Lambda_p,\lambda_p),

and

f(Heˊt2(X,Z^p),c1(ξ))=(Λp,λp).f^*(H^2_{\mathrm{\acute et}}(X',\hat{\mathbb{Z}}^p),c_1(\xi'))=(\Lambda^p,\lambda^p).

This is the quasi-polarized refinement of the preceding realization conjecture, formulated using pointed lattices; the source gives no resolution.

Sources & referencesView supporting material

Primary source

Ziquan Yang, “Isogenies between K3 Surfaces over F_p”, arXiv:1810.08546 (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.