2022/11/30 by Ekaterina Bogdanova, Bogdanova, Ekaterina, Dmitry Kubrak +5
Mathematics · #Advanced Algebra and Geometry #Algebraic Geometry (math.AG) #Algebraic Geometry and Number Theory #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Quantum Algebra (math.QA) #Representation Theory (math.RT)
paper · pdf · doi:10.48550/arxiv.2211.17261
openalex publication_date 2022/11/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Let X be a smooth symplectic variety over a field k of characteristic p>2 equipped with a restricted structure, which is a class [η] ∈ H0(X, Ω1X/d\mathcal OX) whose de Rham differential equals the symplectic form. In this paper we construct a functorial in (X, [η]) formal quantization of the category QCoh(X) of quasi-coherent sheaves on X. We also construct its natural extension to a quasi-coherent sheaf of categories QCohh on the product X(1) × \mathbb S of the Frobenius twist of X and the projective line \mathbb S=\mathbb P1, viewed as the one-point compactification of Spec k[h]. Its global sections over X(1) × \0\ is the category of quasi-coherent sheaves on X. If X is affine, QCohh, restricted to X(1)× Spf k[[h]], is equivalent to the category of modules over the distinguished "Frobenius-constant" quantization of (X,[η]) defined by Bezrukavnikov and Kaledin.