Vertex Algebras Associated with Hypertoric Varieties

We construct a family of vertex algebras associated with a family of symplectic singularity/resolution, called hypertoric varieties. While the hypertoric varieties are constructed by a certain Hamiltonian reduction associated with a torus action, our vertex algebras are constructed by (semi-infinite) BRST reduction. The construction works algebro-geometrically, and we construct sheaves of $\hbar $-adic vertex algebras over hypertoric varieties, which localize the vertex algebras. We determine when it is a vertex operator algebra by giving an explicit conformal vector. We also discuss the Zhu algebra of the vertex algebra and its relation with a quantization of the hypertoric variety. In certain cases, we obtain the affine ${\mathcal{W}}$-algebra associated with the subregular nilpotent orbit in $\mathfrak{s}\mathfrak{l}_N$ at level $N-1$ and simple affine vertex operator algebra for $\mathfrak{s}\mathfrak{l}_N$ at level $-1$.

Tilting Bundles on Hypertoric Varieties

Recently McBreen and Webster constructed a tilting bundle on a smooth hypertoric variety (using reduction to finite characteristic) and showed that its endomorphism ring is Koszul. In this short note we present alternative proofs for these results. We simply observe that the tilting bundle constructed by Halpern-Leistner and Sam on a generic open Geometric Invariant Theory substack of the ambient linear space restricts to a tilting bundle on the hypertoric variety. The fact that the hypertoric variety is defined by a quadratic regular sequence then also yields an easy proof of Koszulity.

Resolutions With Conical Slices and Descent for the Brauer Group Classes of Certain Central Reductions of Differential Operators in Characteristic p

“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.