Abstract
“Even more so is the word ‘crystalline’, a glacial and impersonal concept of his which disdains viewing existence from a single portion of time and space” Eileen Myles, “The Importance of Being Iceland”
For a smooth variety $X$ over an algebraically closed field of characteristic $p$ to a differential 1-form $\alpha $ on the Frobenius twist $X^{\textrm{(1)}}$ one can associate an Azumaya algebra ${{\mathcal{D}}}_{X,\alpha }$, defined as a certain central reduction of the algebra ${{\mathcal{D}}}_X$ of “crystalline differential operators” on $X$. For a resolution of singularities $\pi :X\to Y$ of an affine variety $Y$, we study for which $\alpha $ the class $[{{\mathcal{D}}}_{X,\alpha }]$ in the Brauer group $\textrm{Br}(X^{\textrm{(1)}})$ descends to $Y^{\textrm{(1)}}$. In the case when $X$ is symplectic, this question is related to Fedosov quantizations in characteristic $p$ and the construction of noncommutative resolutions of $Y$. We prove that the classes $[{{\mathcal{D}}}_{X,\alpha }]$ descend étale locally for all $\alpha $ if ${{\mathcal{O}}}_Y\widetilde{\rightarrow }\pi _\ast{{\mathcal{O}}}_X$ and $R^{1}\pi _*\mathcal O_X = R^2\pi _*\mathcal O_X =0$. We also define a certain class of resolutions, which we call resolutions with conical slices, and prove that for a general reduction of a resolution with conical slices in characteristic $0$ to an algebraically closed field of characteristic $p$ classes $[{{\mathcal{D}}}_{X,\alpha }]$ descend to $Y^{\textrm{(1)}}$ globally for all $\alpha $. Finally we give some examples; in particular, we show that Slodowy slices, Nakajima quiver varieties, and hypertoric varieties are resolutions with conical slices.
On ample divisors
