Quasi-polarized isogeny realization conjecture for K3 surfaces

At least 7 years old · documented by

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:X⇝X′f: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.

References

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.