Multigraded linear series and recollement

TL;DR

This paper generalizes classical linear series morphisms to multigraded settings, describing their images and conditions for surjectivity using recollement, with applications to resolutions of quotient singularities and Gorenstein threefolds.

Contribution

It introduces a multigraded linear series framework, characterizes the morphism's image and surjectivity via recollement, and applies these results to resolutions of quotient singularities and Gorenstein threefolds.

Findings

Characterization of the image of the multigraded linear series morphism.

Necessary and sufficient conditions for surjectivity involving recollement.

Application to partial resolutions of quotient singularities and Gorenstein threefolds.

Abstract

Given a scheme $Y$ equipped with a collection of globally generated vector bundles $E_1, \dots, E_n$, we study the universal morphism from $Y$ to a fine moduli space $\mathcal{M}(E)$ of cyclic modules over the endomorphism algebra of $E:=\mathcal{O}_Y\oplus E_1\oplus\cdots \oplus E_n$. This generalises the classical morphism to the linear series of a basepoint-free line bundle on a scheme. We describe the image of the morphism and present necessary and sufficient conditions for surjectivity in terms of a recollement of a module category. When the morphism is surjective, this gives a fine moduli space interpretation of the image, and as an application we show that for a small, finite subgroup $G\subset \text{GL}(2,k)$, every sub-minimal partial resolution of $\mathbb{A}^2_k/G$ is isomorphic to a fine moduli space $\mathcal{M}(E_C)$ where $E_C$ is a summand of the bundle $E$ defining the reconstruction algebra. We also consider applications to Gorenstein affine threefolds, where Reid's recipe sheds some light on the classes of algebra from which one can reconstruct a given crepant resolution.

Equations

$$g_C:\mathcal{M}(E)⟶\mathcal{M}(E_C)$$

$$T:=\underset{\rho \in \mathrm{Irr}(G)}{⨁}{T}_{\rho }^{\oplus \dim (\rho )}$$

$$E:=\underset{\rho \in \mathrm{Sp}(G)}{⨁}{T}_{\rho }$$

$$g_C(y)=x⟺j^{\ast }{M}_y=N_x.$$

$$\Psi (-):=E^{\vee }{\otimes }_A-:D^b(A)⟶D^b(Y)$$

$$\Theta_{\bm{\mathrm{v}}}:=\bm{\mathrm{v}}^{\perp}=\Bigg{\{}\theta=(\theta_{i})\in\operatorname{Hom}(\mathbb{Z}^{Q_{0}},\mathbb{Q})\mid\sum_{i\in Q_{0}}\theta_{i}v_{i}=0\Bigg{\}}$$

$$T=\underset{i\in Q_0}{⨁}{T}_i$$

$$A\cong \mathbb{k}Q/I$$

$$f:Y⟶\mathcal{M}(A,\mathrm{v},\theta )$$

$$\underset{0\le i\le n}{⨂}\det (E_i{)}^{\otimes {\theta }_i}\cong f^{\ast }\left(\underset{0\le i\le n}{⨂}\det (T_i{)}^{\otimes {\theta }_i}\right)=f^{\ast }(L_{\theta })$$

$$\mathcal{M}(E):=\mathcal{M}(A,\mathrm{v},\theta )$$

$$f:Y\to \mathcal{M}(A,\mathrm{v},k\theta )$$

$$h:\mathbb{k}Q\to \mathrm{End}(T)$$

$$A_C\cong \mathrm{End}(E_C).$$

$$f_C:Y⟶\mathcal{M}(E_C)=\mathcal{M}(A_C,{\mathrm{v}}_C,{\theta }_C).$$

$$Y\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}$$

$$(f_{C,C^{\prime }}\circ f_C{)}^{\ast }(T_i^{\prime })=f_C^{\ast }(T_i)=E_i$$

$$g_C:=f_{\{0,\dots ,n\},C}:\mathcal{M}(E)⟶\mathcal{M}(E_C)$$

$$\begin{array}{r}\text{leavevmode}to182.38pt\text{vbox}to30.18pt\text{pgfpicture}\text{makeatletter}\text{lower}-15.09113ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.0-2.5pt-3.22221pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}0\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.0-2.5pt5.31369pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.0-2.5pt-11.75812pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.082.85828pt-3.22221pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}1\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.082.85828pt5.31369pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.082.85828pt-11.75812pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.0168.21655pt-3.22221pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}2\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.0168.21655pt5.31369pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.0168.21655pt-11.75812pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@setdash}0.0pt\text{pgfsys@roundjoin}\text{pgfsys@moveto}0.79999pt0.0pt\text{pgfsys@curveto}-0.2pt0.2pt-1.19998pt0.59999pt-2.39996pt1.29997pt\text{pgfsys@curveto}-1.19998pt0.4pt-1.19998pt-0.4pt-2.39996pt-1.29997pt\text{pgfsys@curveto}-1.19998pt-0.59999pt-0.2pt-0.2pt0.79999pt0.0pt\text{pgfsys@closepath}\text{pgfsys@fillstroke}\text{pgfsys@endscope}\text{pgfsys@moveto}6.033pt8.5359pt\text{pgfsys@lineto}78.32529pt8.5359pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.078.32529pt8.5359pt\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}[named]pgffillcolorrgb\mathrm{1,1,1}\text{pgfsys@color@gray@fill}1\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}[named]pgffillcolorrgb\mathrm{1,1,1}\text{pgfsys@color@gray@fill}1\text{pgfsys@invoke}\text{pgfsys@rect}39.1788pt5.88452pt7.00067pt5.30276pt\text{pgfsys@fill}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.039.6788pt7.6734pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}{x}_0\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@moveto}6.033pt0.0pt\text{pgfsys@lineto}78.32529pt0.0pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.078.32529pt0.0pt\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}[named]pgffillcolorrgb\mathrm{1,1,1}\text{pgfsys@color@gray@fill}1\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}[named]pgffillcolorrgb\mathrm{1,1,1}\text{pgfsys@color@gray@fill}1\text{pgfsys@invoke}\text{pgfsys@rect}39.33759pt-2.68748pt6.6831pt5.37497pt\text{pgfsys@fill}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.039.83759pt-0.8264pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}{y}_0\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@moveto}6.033pt-8.5359pt\text{pgfsys@lineto}78.32529pt-8.5359pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.078.32529pt-8.5359pt\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}[named]pgffillcolorrgb\mathrm{1,1,1}\text{pgfsys@color@gray@fill}1\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}[named]pgffillcolorrgb\mathrm{1,1,1}\text{pgfsys@color@gray@fill}1\text{pgfsys@invoke}\text{pgfsys@rect}39.39754pt-11.18729pt6.5632pt5.30276pt\text{pgfsys@fill}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.039.89754pt-9.3984pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}{z}_0\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@moveto}91.39128pt8.5359pt\text{pgfsys@lineto}163.68356pt8.5359pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.0163.68356pt8.5359pt\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}[named]pgffillcolorrgb\mathrm{1,1,1}\text{pgfsys@color@gray@fill}1\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}[named]pgffillcolorrgb\mathrm{1,1,1}\text{pgfsys@color@gray@fill}1\text{pgfsys@invoke}\text{pgfsys@rect}124.53708pt5.88452pt7.00067pt5.30276pt\text{pgfsys@fill}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.0125.03708pt7.6734pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}{x}_1\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@moveto}91.39128pt0.0pt\text{pgfsys@lineto}163.68356pt0.0pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.0163.68356pt0.0pt\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}[named]pgffillcolorrgb\mathrm{1,1,1}\text{pgfsys@color@gray@fill}1\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}[named]pgffillcolorrgb\mathrm{1,1,1}\text{pgfsys@color@gray@fill}1\text{pgfsys@invoke}\text{pgfsys@rect}124.69586pt-2.68748pt6.6831pt5.37497pt\text{pgfsys@fill}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.0125.19586pt-0.8264pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}{y}_1\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@moveto}91.39128pt-8.5359pt\text{pgfsys@lineto}163.68356pt-8.5359pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.0163.68356pt-8.5359pt\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}[named]pgffillcolorrgb\mathrm{1,1,1}\text{pgfsys@color@gray@fill}1\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}[named]pgffillcolorrgb\mathrm{1,1,1}\text{pgfsys@color@gray@fill}1\text{pgfsys@invoke}\text{pgfsys@rect}124.75581pt-11.18729pt6.5632pt5.30276pt\text{pgfsys@fill}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.0125.25581pt-9.3984pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}{z}_1\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}\end{array}\begin{array}{rl}{x}_1{y}_0& =y_1{x}_0\\ y_1{z}_0& =z_1{y}_0\\ z_1{x}_0& =x_1{z}_0\end{array}$$

$$C_1:=\{0,1\}$$

$$A/A{e}_{C}A-\mathrm{mod}$$

$$\begin{array}{rl}{i}^{\ast }(-)& :=A/(A{e}_{C}A){\otimes }_A(-)\\ i_{\ast }(-)& :=\mathrm{inc}\\ i^{!}(-)& :={\mathrm{Hom}}_A(A/A{e}_{C}A,-)\end{array}\text{ and }\begin{array}{rl}{j}_{\ast }(-)& :={\mathrm{Hom}}_{A_C}(eA,-)\\ j^{\ast }(-)& :=e_{C}A{\otimes }_A(-)\cong {\mathrm{Hom}}_A(A{e}_C,-)\\ j_{!}(-)& :=A{e}_C{\otimes }_{e_{C}A{e}_C}(-)\end{array}$$

$${\mathrm{Ext}}^k(j_{!}(N),i_{\ast }(M))={\mathrm{Ext}}^k(N,j^{\ast }{i}_{\ast }(M))=0$$

$$j_{!}(A_C{e}_0^{\prime }):=Ae{\otimes }_{eAe}{A}_C{e}_0^{\prime }\cong Ae{\otimes }_{eAe}eAe{e}_0\cong Ae{e}_0=A{e}_0$$

$$j_{!}{j}^{\ast }{M}_y\to M_y.$$

$$j_{!}(N)\cong j_{!}{j}^{\ast }M\to M$$

$$T:=\underset{\rho \in \mathrm{Irr}(G)}{⨁}{T}_{\rho }^{\oplus \dim (\rho )}$$

$${\mathrm{End}}_Y(T)\cong {\mathrm{End}}_{\mathbb{k}[x,y{]}^G}\left(\underset{\rho \in \text{Irr}(G)}{⨁}{\left({\left(\mathbb{k}[x,y]\otimes \rho \right)}^G\right)}^{\oplus \dim \rho }\right)\cong \mathbb{k}[x,y]⋊G$$

$$B:={\mathrm{End}}_Y(T_{\mathrm{Irr}})$$

$$E:=T_{\mathrm{Sp}}=\underset{\rho \in \mathrm{Sp}(G)}{⨁}{T}_{\rho }.$$

Full text

1. 1 Introduction
2. 2 Multigraded linear series
3. 3 The cornering category and recollement
4. 4 Cornering the reconstruction algebra
5. 5 Cornering noncommutative crepant resolutions
6. 6 The toric case in dimension three
7. 7 On Reid’s recipe and surface essentials
8. A The numerical Grothendieck group for compact support

1. Introduction

The study of an algebraic variety in terms of the morphisms to the linear series of basepoint-free line bundles has always been a central tool in algebraic geometry. Here we extend this notion to the multigraded linear series of a collection of globally generated vector bundles on a scheme, thereby unifying several constructions from the literature (see [CS08, Cra11b] and [Cra11a, Section 5]). Our primary goal is to provide new, geometrically significant moduli space descriptions of any given scheme, and we illustrate this in several families of examples.

Multigraded linear series

To be more explicit, let $Y$ be a scheme that is projective over an affine scheme of finite type over $\Bbbk$, an algebraically closed field of characteristic zero. Given a collection $E_{1},\dots,E_{n}$ of effective vector bundles on $Y$, define $E:=\bigoplus_{0\leq i\leq n}E_{i}$ where $E_{0}$ is the trivial line bundle on $Y$. Let $A:=\operatorname{End}_{Y}(E)$ denote the endomorphism algebra and consider the dimension vector $\bm{\mathrm{v}}:=(v_{i})$ given by $v_{i}:=\operatorname{rk}(E_{i})$ for $0\leq i\leq n$. We define the multigraded linear series of $E$ to be the fine moduli space $\mathcal{M}(E)$ of [math]-generated $A$-modules of dimension vector $\bm{\mathrm{v}}$ (see Definition 2.5). The universal family on $\mathcal{M}(E)$ is a vector bundle $T=\bigoplus_{0\leq i\leq n}T_{i}$ together with a $\Bbbk$-algebra homomorphism $A\to\operatorname{End}(T)$, where $T_{i}$ is a tautological vector bundle of rank $v_{i}$ for $1\leq i\leq n$ and $T_{0}$ is the trivial line bundle.

Our first main result (see Theorem 2.6) generalises the classical morphism $\varphi_{|L|}\colon Y\to|L|$ to the linear series of a single basepoint-free line bundle $L$ on $Y$, or the morphism to a Grassmannian defined by a globally generated vector bundle on a projective variety:

Theorem 1.1**.**

If the vector bundles $E_{1},\dots,E_{n}$ are globally generated, then there is a morphism $f\colon Y\to\mathcal{M}(E)$ satisfying $E_{i}=f^{*}(T_{i})$ for $0\leq i\leq n$ whose image is isomorphic to the image of the morphism $\varphi_{|L|}\colon Y\to|L|$ to the linear series of $L:=\bigotimes_{1\leq i\leq n}\det(E_{i})^{\otimes j}$ for some $j>0$.

A statement similar to Theorem 1.1 holds if we replace $\mathcal{M}(E)$ by a product of Grassmannians over $\Gamma(\mathcal{O}_{Y})$. However, the dimension of this product is higher than that of $\mathcal{M}(E)$ in general, and $f$ is almost never an isomorphism, i.e., $f$ does not provide a moduli space description of $Y$.

If the line bundle $\bigotimes_{1\leq i\leq n}\det(E_{i})$ is ample, then after taking a multiple of a linearisation if necessary (see Remark 2.8) the resulting universal morphism $f\colon Y\to\mathcal{M}(E)$ is a closed immersion and it is natural to ask whether $f$ is surjective, in which case $f$ presents $Y$ as the fine moduli space $\mathcal{M}(E)$. Even when $Y$ is isomorphic to $\mathcal{M}(E)$, one can sometimes gain more insight by deleting summands of $E$. Indeed, if $C\subseteq\{0,1,\dots,n\}$ is a subset containing [math] then the subbundle $E_{C}:=\bigoplus_{i\in C}E_{i}$ of $E$ has the trivial line bundle $E_{0}$ as a summand, and Theorem 1.1 gives a universal morphism

[TABLE]

between multigraded linear series which can lead to a more geometrically significant moduli space description of $Y$.

A moduli construction determined by a tilting bundle is of clear geometric significance. For a smooth variety $Y$ admitting a tilting bundle $E$, Bergman-Proudfoot [BP08, Theorem 2.4] showed that $f$ is an isomorphism onto a connected component of $\mathcal{M}(E)$. The goal of this paper is to establish several situations in which $f$ is an isomorphism onto $\mathcal{M}(E)$ itself, thereby giving a moduli space description of $Y$. We do not assume that $Y$ is smooth (it is singular in Theorem 1.2$(\mathrm{ii})$), and while $E$ may be a tilting bundle, we do not demand this much; after all, one does not require every indecomposable summand of Beilinson’s tilting bundle in order to reconstruct $\mathbb{P}^{n}$.

The Special McKay correspondence

Our second main result illustrates this phenomenon. Let $G\subset\operatorname{GL}(2,\Bbbk)$ be a finite subgroup without pseudo-reflections, write $\operatorname{Irr}(G)$ for the set of isomorphism classes of irreducible representations of $G$, and let $Y$ denote the minimal resolution of $\mathbb{A}^{2}_{\Bbbk}/G$. Generalising the work of Ito–Nakamura [IN99] for a finite subgroup of $\operatorname{SL}(2,\Bbbk)$, Kidoh [Kid01] and Ishii [Ish02] proved that $Y$ is isomorphic to the $G$-Hilbert scheme, that is, the fine moduli space of $G$-equivariant coherent sheaves of the form $\mathcal{O}_{Z}$ for subschemes $Z\subset\mathbb{A}^{2}_{\Bbbk}$ such that $\Gamma(\mathcal{O}_{Z})$ is isomorphic to the regular representation of $G$. If we write

[TABLE]

for the tautological bundle on the $G$-Hilbert scheme, then since $\operatorname{End}_{Y}(T)$ is isomorphic to the skew group algebra (see Lemma 4.1), it follows that the minimal resolution $Y\cong G\operatorname{-Hilb}$ is isomorphic to the multigraded linear series $\mathcal{M}(T)$. When $G$ is a finite subgroup of $\operatorname{SL}(2,\Bbbk)$, $T$ is a tilting bundle on $Y$ by work of Kapranov–Vasserot [KV00], so $Y$ is derived equivalent to the category of modules over the endomorphism algebra of $T$. However, this is false in general; put simply, the $G$-Hilbert scheme is the wrong moduli description of the minimal resolution of $\mathbb{A}^{2}_{\Bbbk}/G$ unless $G$ is a finite subgroup of $\operatorname{SL}(2,\Bbbk)$.

A more natural moduli space description of $Y$ comes from the Special McKay correspondence of the finite subgroup $G\subset\operatorname{GL}(2,\Bbbk)$. For the set $\operatorname{Sp}(G):=\{\rho\in\operatorname{Irr}(G)\mid H^{1}(T_{\rho}^{\vee})=0\}$ of special representations, it follows from Van den Bergh [VdB04b] that the reconstruction bundle

[TABLE]

is a tilting bundle on $Y$, so $Y$ is derived equivalent to the module category of the endomorphism algebra of $E$, that is, to the category of modules over the reconstruction algebra studied by Wemyss [Wem11b]. Our second main result (see Proposition 4.2 and Theorem 4.4) shows that $E$ contains enough information to reconstruct $Y$, and hence provides a moduli space description that trumps the $G$-Hilbert scheme in general:

Theorem 1.2**.**

Let $G\subset\operatorname{GL}(2,\Bbbk)$ be a finite subgroup without pseudo-reflections. Then:

1. $(\mathrm{i})$

the minimal resolution $Y$ of $\mathbb{A}^{2}_{\Bbbk}/G$ is isomorphic to the multigraded linear series $\mathcal{M}(E)$ of the reconstruction bundle; and 2. $(\mathrm{ii})$

for any partial resolution $Y^{\prime}$ such that the minimal resolution $Y\to\mathbb{A}^{2}_{\Bbbk}/G$ factors via $Y^{\prime}$, there is a summand $E_{C}\subseteq E$ such that $Y^{\prime}$ is isomorphic to $\mathcal{M}(E_{C})$.

In other words, for a finite subgroup $G\subset\operatorname{GL}(2,\Bbbk)$, the minimal resolution of $\mathbb{A}^{2}_{\Bbbk}/G$ can be obtained directly from the special representations. The statement of part $(\mathrm{i})$ is due originally to Karmazyn [Kar17, Corollary 5.4.5], while an analogue of part $(\mathrm{ii})$ in the complete local setting can be deduced by combining Iyama–Kalck–Wemyss–Yang [KIWY15, Theorem 4.6] with [Kar17, Corollary 5.2.5]. Note however that our approach is completely different in each case, and is closer in spirit to the geometric construction of the Special McKay correspondence for cyclic subgroups of $\operatorname{GL}(2,\Bbbk)$ given by Craw [Cra11b].

Main tools

The key to the proof of Theorem 1.2 is a homological criterion to decide when the morphism $g_{C}$ from (1.1) is surjective. In this situation, any subset $C\subseteq\{0,1,\dots,n\}$ containing [math] determines a subbundle $E_{C}$ of $E$, and the module categories of the algebras $A:=\operatorname{End}_{Y}(E)$ and $A_{C}:=\operatorname{End}_{Y}(E_{C})$ are linked by a recollement (see Section 3). In particular, there is an exact functor $j^{*}\colon A{\operatorname{-mod}}\rightarrow A_{C}{\operatorname{-mod}}$ with left adjoint $j_{!}\colon A_{C}{\operatorname{-mod}}\rightarrow A{\operatorname{-mod}}$. These functors capture information about the morphism $g_{C}\colon\mathcal{M}(E)\rightarrow\mathcal{M}(E_{C})$ from (1.1): closed points $y\in\mathcal{M}(E)$ and $x\in\mathcal{M}(E_{C})$ correspond to [math]-generated modules $M_{y}\in A{\operatorname{-mod}}$ and $N_{x}\in A_{C}{\operatorname{-mod}}$ of dimension vectors $\bm{\mathrm{v}}:=(v_{i})_{0\leq i\leq n}$ and $\bm{\mathrm{v}}_{C}:=(v_{i})_{i\in C}$ respectively, and

[TABLE]

Since the functor $j_{!}$ lifts [math]-generated $A_{C}$-modules to [math]-generated $A$-modules, the question of whether $x$ lies in the image of $g_{C}$ reduces to the following (see Proposition 3.7):

Proposition 1.3**.**

The morphism $g_{C}\colon\mathcal{M}(E)\to\mathcal{M}(E_{C})$ is surjective iff for each $x\in\mathcal{M}(E_{C})$, the $A$-module $j_{!}(N_{x})$ admits a surjective map onto an $A$-module of dimension vector $\bm{\mathrm{v}}$.

A second key ingredient is that a derived equivalence

[TABLE]

induces an isomorphism between the lattice of dimension vectors for $A$ and the numerical Grothendieck group for compact support $K^{\operatorname{num}}_{c}(Y)$, introduced by Bayer–Craw–Zhang [BCZ17] (see Appendix A). In particular, understanding the class of the object $\Psi(j_{!}(N_{x}))$ in $K^{\operatorname{num}}_{c}(Y)$ reveals the dimension vector of the $A$-module $j_{!}(N_{x})$ for each closed point $x\in\mathcal{M}(E_{C})$, and this provides a tool to help determine whether the above the homological criterion applies. More explicitly, we prove the following result (see Theorem 5.4):

Theorem 1.4**.**

Suppose that for each $x\in\mathcal{M}(E_{C})$, the class $[\Psi(j_{!}(N_{x}))]\in K^{\operatorname{num}}_{c}(Y)$ can be written as a positive combination of the classes of sheaves on $Y$. Then $g_{C}$ is surjective.

Examples from NCCRs in dimension three

The morphisms $Y\rightarrow\mathbb{A}^{2}/G$ from Theorem 1.2 all have fibres of dimension at most one, but our methods apply without this assumption. To illustrate this, we also study crepant resolutions of Gorenstein affine threefolds. For any such singularity $X$, Van den Bergh’s construction [VdB04a] of an NCCR (satisfying Assumption 5.1) produces a crepant resolution of $X$ as a fine moduli space of stable representations for an algebra $A$ (see Proposition A.3). The choice of [math]-generated stability condition chooses a particular crepant resolution $Y$ and a globally generated bundle $T$ on $Y$. In this case, $Y$ is isomorphic to the multigraded linear series $\mathcal{M}(T)$; since $T$ is a tilting bundle, this moduli construction is certainly geometrically significant.

Nevertheless, motivated by work of Takahashi [Tak11], we ask whether one can reconstruct $Y$ using only a proper summand of $T$ (in general, none of the indecomposable summands of $T$ is ample). To state the result, we say that a vertex $i\in Q_{0}=\{0,1,\dots,n\}$ is essential if there is a [math]-generated $A$-module of dimension vector $\bm{\mathrm{v}}$ that contains the vertex simple $A$-module $S_{i}$ in its socle. The following result combines Propositions 6.1 and 6.5:

Proposition 1.5**.**

Let $\mathcal{M}(T)$ be the crepant resolution of the Gorenstein, affine toric threefold $X$ picked out by the choice of [math]-generated stability condition as above. Then:

1. $(\mathrm{i})$

for any subset $C\subseteq Q_{0}$ containing [math], the image of $g_{C}\colon\mathcal{M}(T)\to\mathcal{M}(T_{C})$ is an irreducible component of $\mathcal{M}(T_{C})$; and 2. $(\mathrm{ii})$

if $C$ is the union of $\{0\}$ with the set of essential vertices, then $g_{C}$ is an isomorphism onto its image.

Here, part $(\mathrm{ii})$ generalises the result of Takahashi [Tak11] beyond the case where $X$ is an abelian quotient. Example 6.2 shows that Proposition 1.5 is optimal: in general $\mathcal{M}(T_{C})$ is reducible.

We conclude with several examples that are orthogonal in spirit to Proposition 1.5$(\mathrm{ii})$, with a view to strengthening the statement to an isomorphism $\mathcal{M}(T)\cong\mathcal{M}(T_{C})$. Rather than keep the summands of $T$ corresponding to essential vertices, instead we use Reid’s recipe as a guide to help us choose which essential vertices to remove. For an essential vertex $i\in Q_{0}$, derived Reid’s recipe [CL09, Log10, CCL12, BCQ15] proves that the image under the derived equivalence $\Psi$ of the vertex simple $A$-module $S_{i}$ is a sheaf. This gives enough information to compute the class of $\Psi(j_{!}(N_{x}))$ in $K^{\operatorname{num}}_{c}(Y)$, and under a dimension condition (see Corollary 5.6), we can apply Theorem 1.4 to deduce that $g_{C}\colon\mathcal{M}(T)\to\mathcal{M}(T_{C})$ is an isomorphism. We showcase this construction in Examples 7.5 and 7.7, and in the latter example we also show that the dimension condition can fail if we remove two indecomposable summands of $T$ corresponding to essential vertices that mark the same surface by Reid’s recipe. Put more geometrically, surjectivity can fail if the summands of $T_{C}$ do not generate the Picard group of $\mathcal{M}(T)$.

Notation

Let $\Bbbk$ be an algebraically closed field of characteristic zero. For any quasiprojective $\Bbbk$-scheme $Y$ and $\Bbbk$-algebra $A$, we write $D^{b}(Y)$ and $D^{b}(A)$ for the bounded derived categories of coherent sheaves on $Y$ and finitely generated left $A$-modules respectively. A vector bundle is a locally-free sheaf of finite rank.

Acknowledgements

The first author thanks Stefan Schröer for a stimulating discussion. We thank the anonymous referees for pointing out an error in an earlier version of this paper and for helpful comments. The first and third authors were supported by EPSRC grants EP/J019410/1 and EP/M017516/1 respectively, and the second author was supported by JSPS Grant-in-Aid (C) No. 23540045.

2. Multigraded linear series

An associative $\Bbbk$-algebra $A$ that is presented in the form $A\cong\Bbbk Q/I$ for some finite connected quiver $Q$ and two-sided ideal $I\subset\Bbbk Q$ determines a choice of idempotents $e_{i}\in A$, one for each vertex $i\in Q_{0}$. Let $\mathbb{Z}^{Q_{0}}$ denote the free abelian group generated by the vertex set of $Q$. A dimension vector $\bm{\mathrm{v}}=(v_{i})\in\mathbb{N}^{Q_{0}}$ determines the rational vector space

[TABLE]

of stability parameters for $A$-modules of dimension vector $\bm{\mathrm{v}}$. For $\theta\in\Theta_{\bm{\mathrm{v}}}$, an $A$-module $M$ of dimension vector $\bm{\mathrm{v}}$ is $\theta$-semistable if $\theta(N)\geq 0$ for every nonzero proper $A$-submodule $N$ of $M$. The notion of $\theta$-stability is defined by replacing $\geq$ with $>$, and we say $\theta\in\Theta_{\bm{\mathrm{v}}}$ is generic if every $\theta$-semistable $A$-module is $\theta$-stable. There is a wall and chamber decomposition on $\Theta_{\bm{\mathrm{v}}}$, where two generic parameters $\theta,\theta^{\prime}\in\Theta_{\bm{\mathrm{v}}}$ lie in the same chamber if and only if the notions of $\theta$-stability and $\theta^{\prime}$-stability coincide.

When $\bm{\mathrm{v}}$ is indivisible and $\theta\in\Theta_{\bm{\mathrm{v}}}$ is generic, King [Kin94] constructs the fine moduli space $\mathcal{M}(A,\bm{\mathrm{v}},\theta)$ of isomorphism classes of $\theta$-stable $A$-modules of dimension vector $\bm{\mathrm{v}}$. The universal family on $\mathcal{M}(A,\bm{\mathrm{v}},\theta)$ is a tautological vector bundle

[TABLE]

satisfying $\operatorname{rk}(T_{i})=v_{i}$ for $i\in Q_{0}$, together with a $\Bbbk$-algebra homomorphism $A\to\operatorname{End}(T)$, such that the fibre of $T$ at any closed point of $\mathcal{M}(A,\bm{\mathrm{v}},\theta)$ is the corresponding $\theta$-stable $A$-module of dimension vector $\bm{\mathrm{v}}$. In fact, $T$ is defined only up to tensor product by an invertible sheaf, but we remove this ambiguity by choosing once and for all a vertex of the quiver that we denote $0\in Q_{0}$ and working only with dimension vectors $\bm{\mathrm{v}}$ satisfying $v_{0}=1$; we normalise $T$ by fixing $T_{0}$ to be the trivial line bundle. Let $L_{\theta}:=\bigotimes_{i\in Q_{0}}\det(T_{i})^{\theta_{i}}$ denote the ample bundle on $\mathcal{M}(A,\bm{\mathrm{v}},\theta)$ induced by the GIT construction.

These moduli spaces arise naturally in geometry as follows. Let $R$ be a finitely generated $\Bbbk$-algebra, let $Y$ be a projective $R$-scheme and let $E_{1},\dots,E_{n}$ be nontrivial, effective vector bundles on $Y$. In addition, for $E_{0}:=\mathcal{O}_{Y}$, write $A:=\operatorname{End}(\bigoplus_{0\leq i\leq n}E_{i})$ for the endomorphism algebra. This decomposition of $E:=\bigoplus_{0\leq i\leq n}E_{i}$ gives a complete set of orthogonal idempotents $e_{i}=\operatorname{id}\in\operatorname{End}(E_{i})$ of $A$ such that $1=\sum_{0\leq i\leq n}e_{i}$. Then $A$ admits a presentation

[TABLE]

such that the vertex set is $Q_{0}=\{0,1,\dots,n\}$. Indeed, introduce a set of loops at each vertex corresponding to a finite set of $\Bbbk$-algebra generators of $R$, and for $0\leq i,j\leq n$ we introduce arrows from $i$ to $j$ corresponding to a finite generating set for $\operatorname{Hom}(E_{i},E_{j})$ as an $R$-module. This determines a surjective $\Bbbk$-algebra homomorphism $\Bbbk Q\to\operatorname{End}(E)$ with kernel $I$.

Remark 2.1*.*

The ideal $I\subset\Bbbk Q$ constructed in this way need not be admissible, and relations may even involve idempotents. For example, if $E_{i}\cong E_{j}$ then the isomorphisms correspond to relations of the form $aa^{\prime}-e_{i},a^{\prime}a-e_{j}\in I$ for some $a,a^{\prime}\in\Bbbk Q$.

The dimension vector $\bm{\mathrm{v}}=(v_{i})$ defined by setting $v_{i}:=\operatorname{rk}(E_{i})$ for $0\leq i\leq n$ is indivisible, and $E$ is a flat family of $A$-modules of dimension vector $\bm{\mathrm{v}}$. If there exists generic $\theta\in\Theta_{\bm{\mathrm{v}}}$ such that for each closed point $y\in Y$, the fibre $E_{y}$ of $E$ over $y$ is $\theta$-stable, then the universal property of $\mathcal{M}(A,\bm{\mathrm{v}},\theta)$ determines a morphism

[TABLE]

satisfying $E_{i}=f^{*}(T_{i})$ for all $i\in Q_{0}$; note that $\mathcal{M}(A,\bm{\mathrm{v}},\theta)$ depends on $E$ and the GIT chamber containing $\theta$, while $f$ depends on both $E$ and $\theta$. The following result is well known to experts (compare Bergman–Proudfoot [BP08, Theorem 2.4]), but we were unable to find the statement at the level of generality we require so for convenience we provide a proof.

Lemma 2.2**.**

Given a vector bundle $E$ on $Y$, suppose there exists a generic $\theta=(\theta_{i})\in\Theta_{\bm{\mathrm{v}}}$ such that $E$ is a flat family of $\theta$-stable $A$-modules of dimension vector $\bm{\mathrm{v}}$.

1. $(\mathrm{i})$

The pullback via the universal morphism $f\colon Y\to\mathcal{M}(A,\bm{\mathrm{v}},\theta)$ of the ample bundle $L_{\theta}$ induced by the GIT construction is the line bundle $\bigotimes_{0\leq i\leq n}\det(E_{i})^{\otimes\theta_{i}}$ on $Y$; and 2. $(\mathrm{ii})$

if $L_{\theta}$ is very ample (which holds after replacing $\theta$ by a positive multiple if necessary), then the image of $f\colon Y\to\mathcal{M}(A,\bm{\mathrm{v}},\theta)$ is isomorphic to the image of the morphism from $Y$ to the linear series of the globally generated line bundle $\bigotimes_{0\leq i\leq n}\det(E_{i})^{\otimes\theta_{i}}$.

Proof.

Since pullback commutes with tensor operations on $T_{i}$, the universal property of the morphism $f$ gives $\det(E_{i})^{\otimes\theta_{i}}=\det(f^{*}(T_{i}))^{\otimes\theta_{i}}\cong f^{*}(\det(T_{i})^{\otimes\theta_{i}})$ for $0\leq i\leq n$, and hence

[TABLE]

which proves $(\mathrm{i})$. For $(\mathrm{ii})$, let $g\colon\mathcal{M}(A,\bm{\mathrm{v}},\theta)\to|L_{\theta}|$ denote the closed immersion to the linear series of $L_{\theta}$. Equation (2.2) gives $L:=(g\circ f)^{*}(\mathcal{O}(1))=\bigotimes_{0\leq i\leq n}\det(E_{i})^{\otimes\theta_{i}}$. It follows that $g\circ f$ coincides with the classical morphism $\varphi_{|L|}\colon Y\to|L|$ to the linear series of $L$. In particular, $\bigotimes_{0\leq i\leq n}\det(E_{i})^{\otimes\theta_{i}}$ is globally generated. Moreover, since $g$ is a closed immersion, the image of $f$ is isomorphic via $g$ to the image of $\varphi_{|L|}$. ∎

The problem with Lemma 2.2 is that it is a difficult problem in general to find a suitable parameter $\theta\in\Theta_{\bm{\mathrm{v}}}$ for which a given vector bundle $E$ defines a flat family of $\theta$-stable $A$-modules.

Here we highlight a special situation where this problem has a simple solution. It’s easy to see that any stability parameter $\theta=(\theta_{i})\in\Theta_{\bm{\mathrm{v}}}$ satisfying $\theta_{i}>0$ for all $i\neq 0$ is generic, so there is a GIT chamber $\Theta_{\bm{\mathrm{v}}}^{+}\subset\Theta_{\bm{\mathrm{v}}}$ containing all such stability parameters. Given an $A$-module $M$ that is $\theta$-stable for $\theta\in\Theta^{+}_{\bm{\mathrm{v}}}$, it follows directly from the definition that there exists a surjective $A$-module homomorphism $Ae_{0}\to M$. More generally, we say that an $A$-module $M$ is [math]-generated if there exists a surjective $A$-module homomorphism $Ae_{0}\to M$. It is sometimes advantageous to use this latter notion because it is well-defined without having to make explicit reference to a dimension vector $\bm{\mathrm{v}}$.

Proposition 2.3**.**

Let $E_{1},\dots,E_{n}$ be vector bundles on $Y$ and set $E_{0}=\mathcal{O}_{Y}$. Then $\bigoplus_{0\leq i\leq n}E_{i}$ is a flat family of [math]-generated $A$-modules if and only if $E_{i}$ is globally generated for all $1\leq i\leq n$.

Proof.

The bundle $E:=\bigoplus_{0\leq i\leq n}E_{i}$ on $Y$ is a flat family of $A$-modules of dimension vector $\bm{\mathrm{v}}=(\operatorname{rk}(E_{i}))_{0\leq i\leq n}$, and for any closed point $y\in Y$, the $A$-module structure in the fibre $E_{y}$ of $E$ over $y$ is obtained by evaluating all homomorphisms between the bundles $E_{i}$ (for $0\leq i\leq n$) at $y$. Choose $\theta\in\Theta_{\bm{\mathrm{v}}}^{+}$ satisfying $\theta_{i}>0$ for $i\neq 0$. Since $\theta_{0}=-\sum_{1\leq i\leq n}v_{i}\theta_{i}$, an $A$-submodule $W$ of $E_{y}$ is destabilising if and only if $\dim(W_{0})=1$ and there exists $i>0$ such that the sum of all maps from $W_{0}$ to $W_{i}$ determined by paths in the quiver from [math] to $i$ is not surjective. In particular, $E_{y}$ is $\theta$-unstable for some $y\in Y$ if and only if there exists $i>0$ such that $E_{i}$ cannot be written as the quotient of $\mathcal{O}_{Y}^{\oplus k}$ for some $k\in\mathbb{N}$; equivalently, $E_{y}$ is $\theta$-stable for all $y\in Y$ if and only if $E_{i}$ is globally generated for $1\leq i\leq n$. ∎

Corollary 2.4**.**

For any $\theta\in\Theta_{\bm{\mathrm{v}}}^{+}$, the locally-free sheaf $T_{i}$ on $\mathcal{M}(A,\bm{\mathrm{v}},\theta)$ is globally generated for all $0\leq i\leq n$.

Proof.

The sheaf $\bigoplus_{0\leq i\leq n}T_{i}$ is a flat family of $\theta$-stable $A$-modules of dimension vector $\bm{\mathrm{v}}$ on $\mathcal{M}(A,\bm{\mathrm{v}},\theta)$. The result follows from Proposition 2.3 and the fact that $T_{0}\cong\mathcal{O}_{\mathcal{M}(A,\bm{\mathrm{v}},\theta)}$. ∎

Definition 2.5**.**

Let $E_{1},\dots,E_{n}$ be globally generated vector bundles on $Y$. For $E_{0}:=\mathcal{O}_{Y}$, write $E=\bigoplus_{0\leq i\leq n}E_{i}$, and define $A:=\operatorname{End}_{Y}(E)$ and $\bm{\mathrm{v}}=(\operatorname{rk}(E_{i}))_{0\leq i\leq n}$. For $\theta^{\prime}\in\Theta_{\bm{\mathrm{v}}}^{+}$ satisfying $\theta^{\prime}_{i}=1$ for all $i>0$, define $j>0$ to be the smallest integer such that the ample line bundle $L_{\theta^{\prime}}^{\otimes j}$ on $\mathcal{M}(A,\bm{\mathrm{v}},\theta^{\prime})$ is very ample. The multigraded linear series of $E$ is the fine moduli space

[TABLE]

of $\theta$-stable $A$-modules of dimension vector $\bm{\mathrm{v}}$, where $\theta:=j\theta^{\prime}$.

Corollary 2.4 implies that each direct summand of the tautological bundle $T=\bigoplus_{0\leq i\leq n}T_{i}$ on $\mathcal{M}(E)$ is globally generated. Moreover, $L_{\theta}=\bigotimes_{1\leq i\leq n}\det(T_{i})^{\otimes j}$ is very ample. To justify the terminology ‘multigraded linear series’, we present the following result (compare Example 2.7).

Theorem 2.6**.**

Let $E_{1},\dots,E_{n}$ be globally generated vector bundles on $Y$. There is a morphism $f\colon Y\to\mathcal{M}(E)$ satisfying $E_{i}=f^{*}(T_{i})$ for $1\leq i\leq n$ whose image is isomorphic to the image of the morphism $\varphi_{|L|}\colon Y\to|L|$ to the linear series of $L:=\bigotimes_{1\leq i\leq n}\det(E_{i})^{\otimes j}$ for some $j>0$.

Proof.

Apply Proposition 2.3 and Lemma 2.2$(\mathrm{ii})$ to the parameter $\theta=j\theta^{\prime}\in\Theta_{\bm{\mathrm{v}}}^{+}$ from Definition 2.5, noting that $E_{0}=\mathcal{O}_{Y}$. ∎

Example 2.7** (Linear series of higher rank).**

When $Y$ is projective and $E_{1}$ has rank $r$, then $\mathcal{M}(A,\bm{\mathrm{v}},\theta)$ is isomorphic to the Grassmannian $\operatorname{Gr}(H^{0}(E_{1}),r)$ of rank $r$ quotients of $H^{0}(E_{1})$. The ample bundle $\mathcal{O}(1)$ on $\operatorname{Gr}(H^{0}(E_{1}),r)$ is very ample, so we may take $j=1$ in Definition 2.5 and Theorem 2.6. Therefore $f$ coincides with the morphism $\varphi_{|E_{1}|}$ to the linear series of higher rank that recovers $E_{1}$ as the pullback of the tautological quotient bundle of rank $r$; see Mukai [Muk10, Section 3]. When $r=1$, this is the classical linear series of a basepoint-free line bundle.

Remark 2.8*.*

If the globally generated line bundle $L:=\bigotimes_{1\leq i\leq n}\det(E_{i})^{\otimes j}$ from Theorem 2.6 is ample but not very ample, choose $k>0$ such that $L^{\otimes k}$ is very ample. After replacing $\theta$ by $k\theta$, the proof of Theorem 2.6 shows that the resulting universal morphism

[TABLE]

is a closed immersion. Since $\mathcal{M}(A,\bm{\mathrm{v}},k\theta)\cong\mathcal{M}(E)$, we will hereafter simply write $f\colon Y\to\mathcal{M}(E)$ for the closed immersion given by the composition whenever $L$ is ample but not very ample.

Example 2.9** (Quiver flag varieties).**

Let $Q$ be a finite, acyclic, connected quiver with a unique source denoted $0\in Q_{0}$, and let $\bm{\mathrm{v}}=(v_{i})\in\mathbb{N}^{Q_{0}}$ be a dimension vector satisfying $v_{0}=1$. For $\theta\in\Theta_{\bm{\mathrm{v}}}^{+}$, the fine moduli space $\mathcal{M}(\Bbbk Q,\bm{\mathrm{v}},\theta)$ is called a quiver flag variety [Cra11a], and for $i\in Q_{0}$, the tautological bundle $T_{i}$ of rank $v_{i}$ is globally generated by Corollary 2.4. Every such variety is an iterative Grassmann-bundle [Cra11a, Theorem 3.3], and $T_{i}$ is simply the pullback of the tautological quotient bundle on one of the Grassmann bundles in the tower.

We claim that $\mathcal{M}(\Bbbk Q,\bm{\mathrm{v}},\theta)$ is the multigraded linear series $\mathcal{M}(T)$ associated to $T=\bigoplus_{i\in Q_{0}}T_{i}$. Since $v_{i}=\operatorname{rk}(T_{i})$ for $i\in Q_{0}$, it suffices to show that the tautological $\Bbbk$-algebra homomorphism

[TABLE]

is an isomorphism. The proof of [Cra11a, Lemma 5.3] establishes that $h$ is surjective, so suppose $\sum_{1\leq\alpha\leq k}c_{\alpha}p_{\alpha}\in\operatorname{Ker}(h)$, where paths $p_{1},\dots,p_{k}$ in $Q$ have common tail at $i\in Q_{0}$ and common head at $j\in Q_{0}$. For any path $p$ in $Q$ from vertex [math] to $i$, the sum $\sum_{1\leq\alpha\leq k}c_{\alpha}p_{\alpha}p$ lies in the kernel of the map $e_{0}(\Bbbk Q)e_{i}\to\operatorname{Hom}(T_{0},T_{i})\cong\Gamma(T_{i})$ of $\Bbbk$-vector spaces induced by $h$. However, this map is an isomorphism [Cra11a, Corollary 3.5$(\mathrm{ii})$], so $h$ is injective as required.

We may now apply Theorem 2.6 to the determinants of the tautological bundles. Indeed, $\det(T_{i})$ is globally generated for $i\in Q_{0}$ and $L=\bigotimes_{i\in Q_{0}}\det(T_{i})$ is ample by [Cra11a, Lemma 3.7], so for $E=\bigoplus_{i\in Q_{0}}\det(T_{i})$, the morphism $f\colon\mathcal{M}(T)\to\mathcal{M}(E)$ is a closed immersion.

Remark 2.10*.*

Multigraded linear series were introduced by Craw–Smith [CS08] when each $E_{i}$ has rank one and $Y$ is a projective toric variety.

1. (1)

The construction of [CS08] is phrased in terms of a quiver with relations that gives a presentation $A\cong\Bbbk Q/I$, leading to an explicit GIT description of the image of $f$ in a quiver flag variety. However, we now assume only that $Y$ is projective over an affine, and in this generality no such natural presentation exists, leading us to place greater emphasis on $A$ rather than on a quiver. While we sacrifice an explicit description of the image of $f$, Theorem 2.6 nevertheless determines the image of $f$ up to isomorphism. 2. (2)

The observation in Theorem 2.6 that the image of $f$ is determined by $\bigotimes_{1\leq i\leq n}\det(E_{i})^{\otimes j}$ for some $j>0$ (see also Remark 2.8) renders redundant the assumption from [CS08, Corollary 4.10] (and hence from [Cra11a, Proposition 5.5] and Prabhu-Naik [Pra17, Proposition 5.5]) that a map obtained by multiplication of global sections is surjective.

3. The cornering category and recollement

In this section we use Theorem 2.6 repeatedly to produce a compatible family of morphisms between different multigraded linear series. We then introduce a homological criterion that is sufficient to guarantee that any of these morphisms is surjective.

We continue to assume that $R$ is a finitely generated $\Bbbk$-algebra, $Y$ is a projective $R$-scheme and that $E_{1},\dots,E_{n}$ are nontrivial globally generated vector bundles on $Y$. For $E_{0}=\mathcal{O}_{Y}$,write $E:=\bigoplus_{0\leq i\leq n}E_{i}$ and define $A:=\operatorname{End}(E)$. To produce new endomorphism algebras from $A$, let $C\subseteq\{0,1,\dots,n\}$ be any subset containing $\{0\}$. Define both the idempotent $e_{C}:=\sum_{i\in C}e_{i}$ of $A$ and the $\Bbbk$-algebra $A_{C}:=e_{C}Ae_{C}$. Since $A\cong\operatorname{End}(E)$, the locally-free sheaf $E_{C}:=\bigoplus_{i\in C}E_{i}$ on $Y$ satisfies

[TABLE]

The process of passing from $A$ to $A_{C}$ is called cornering the algebra $A$.

Remark 3.1*.*

This use of the term cornering comes from representation theory, where the basic example is cornering the matrix algebra $\operatorname{End}_{\Bbbk}(\Bbbk\oplus\Bbbk)\cong\textnormal{Mat}_{2\times 2}(\Bbbk)$ by a nontrivial idempotent to produce a subalgebra of matrices that have nonzero entries only in one particular “corner”.

This is distinct from the construction of Ishii–Ueda [IU15a] for dimer models, which is a process linking the removal of a corner in a lattice polygon to the universal localisation of certain arrows in a quiver in order to determine an open subset in an associated moduli space.

For $\bm{\mathrm{v}}_{C}:=(\operatorname{rk}(E_{i}))_{i\in C}$ and for any [math]-generated stability parameter $\theta_{C}\in\Theta_{\bm{\mathrm{v}}_{C}}^{+}$, Theorem 2.6 gives a morphism

[TABLE]

Before studying these morphisms in detail, we record the fact that if we’re interested only in the scheme underlying a multigraded linear series, we may assume without loss of generality that the globally generated vector bundles $E_{1},\dots,E_{n}$ are pairwise non-isomorphic:

Lemma 3.2**.**

For $a_{1},\dots,a_{n}\geq 1$, we have $\mathcal{M}(\bigoplus_{0\leq i\leq n}E_{i})\cong\mathcal{M}(\bigoplus_{0\leq i\leq n}E_{i}^{\oplus a_{i}})$.

Proof.

The endomorphism algebra of $E^{\prime}:=\bigoplus_{0\leq i\leq n}E_{i}$ is Morita equivalent to the endomorphism algebra of $E:=\bigoplus_{0\leq i\leq n}E_{i}^{\oplus a_{i}}$. By increasing the multiplicities of the summands in the tautological bundle on $\mathcal{M}(E^{\prime})$, we obtain a flat family $\bigoplus_{0\leq i\leq n}T_{i}^{\oplus a_{i}}$ of [math]-generated $\operatorname{End}(E)$-modules of dimension vector $\bm{\mathrm{v}}=(a_{i}\operatorname{rk}(E_{i}))$, so there is a morphism $f\colon\mathcal{M}(E^{\prime})\to\mathcal{M}(E)$. For the other direction, we have $E^{\prime}=E_{C}$ for some cornering subset $C$, so (3.1) defines a morphism $f_{C}\colon\mathcal{M}(E)\to\mathcal{M}(E^{\prime})$. Universality ensures that these morphisms are mutually inverse. ∎

Our next result encodes the fact that the morphisms (3.1) are compatible as we vary the choice of the subset $C$. To state the result, regard the poset of subsets of $\{0,1,\dots,n\}$ that contain $\{0\}$ as a category $\mathscr{C}$ in which the morphisms are the set-theoretic inclusion maps between subsets.

Proposition 3.3**.**

Let $E_{1},\dots,E_{n}$ be globally generated vector bundles on $Y$ and set $R:=\Gamma(\mathcal{O}_{Y})$. There is a contravariant functor from $\mathscr{C}$ to the category of $R$-schemes that sends a set $C$ to the multigraded linear series $\mathcal{M}(E_{C})$.

Proof.

Given subsets $C^{\prime}\subseteq C\subseteq\{0,1,\dots,n\}$ that both contain $\{0\}$, we first construct a morphism $f_{C,C^{\prime}}\colon\mathcal{M}(E_{C})\to\mathcal{M}(E_{C^{\prime}})$ that fits into a commutative diagram

[TABLE]

To avoid a proliferation of indices, we write $T=\bigoplus_{i\in C}T_{i}$ and $T^{\prime}=\bigoplus_{i\in C^{\prime}}T^{\prime}_{i}$ for the tautological bundles on $\mathcal{M}(E_{C})$ and $\mathcal{M}(E_{C^{\prime}})$ respectively, where $\operatorname{rk}(T^{\prime}_{i})=\operatorname{rk}(T_{i})=\operatorname{rk}(E_{i})$ for all $i\in C^{\prime}$. Since $T$ is a flat family of [math]-generated $A_{C}$-modules on $\mathcal{M}(E_{C})$, it follows that $\bigoplus_{i\in C^{\prime}}T_{i}$ is a flat family of [math]-generated $A_{C^{\prime}}$-modules on $\mathcal{M}(E_{C})$. The universal property of $\mathcal{M}(E_{C^{\prime}})$ as in Lemma 2.2 defines a morphism $f_{C,C^{\prime}}\colon\mathcal{M}(E_{C})\to\mathcal{M}(E_{C^{\prime}})$ satisfying $f_{C,C^{\prime}}^{*}(T^{\prime}_{i})=T_{i}$ for $i\in C^{\prime}$. The morphism $f_{C}$ is also universal, so

[TABLE]

for all $i\in C^{\prime}$. This property characterises $f_{C^{\prime}}$, so diagram (3.2) commutes as required. That the assignment sending the inclusion $C^{\prime}\hookrightarrow C$ to the morphism $f_{C,C^{\prime}}$ respects composition follows similarly from the universal property of $f_{C,C^{\prime}}$. Our assignment is therefore a functor.

It remains to prove that $f_{C,C^{\prime}}$ is a morphism of $R$-schemes. For $C^{\prime\prime}:=\{0\}$, we have $A_{C^{\prime\prime}}=\operatorname{End}(E_{0})=R$ and hence $\mathcal{M}(E_{C^{\prime\prime}})=\operatorname{Spec}R$. The result follows by commutativity of the morphisms $f_{C^{\prime},C^{\prime\prime}}\circ f_{C,C^{\prime}}=f_{C,C^{\prime\prime}}$ established above. ∎

Of particular interest to us are the following morphisms.

Definition 3.4**.**

Let $C\subseteq\{0,1,\dots,n\}$ be a subset containing [math]. The cornering morphism for $C$ is the universal morphism

[TABLE]

obtained by applying the functor from Proposition 3.3 to the inclusion $C\hookrightarrow\{0,1,\dots,n\}$.

Theorem 2.6 ensures that we understand the image of each cornering morphism. The next example illustrates that while these morphisms may be surjective, they need not be.

Example 3.5**.**

For $\mathbb{P}^{2}$ equipped with the tilting bundle $E:=\mathcal{O}\oplus\mathcal{O}(1)\oplus\mathcal{O}(2)$, the algebra $\operatorname{End}_{\mathbb{P}^{2}}(E)$ can be presented using the Beilinson quiver with relations:

[TABLE]

Consider the category $\mathscr{C}$ from Proposition 3.3 viewed as a poset:

[TABLE]

It is easy to calculate that $\mathcal{M}(E)\cong\mathbb{P}^{2}$. Example 2.7 implies that $g_{C_{1}}\colon\mathcal{M}(E)\rightarrow\mathcal{M}(E_{C_{1}})$ is an isomorphism, whereas $g_{C_{2}}\colon\mathcal{M}(E)\rightarrow\mathcal{M}(E_{C_{2}})\cong\mathbb{P}^{5}$ is the Veronese embedding $\varphi_{|\mathcal{O}(2)|}$. For $1\leq i\leq 3$, we have that $\mathcal{M}(E_{C_{i}})\rightarrow\mathcal{M}(E_{C_{0}})\cong\operatorname{Spec}\Bbbk$ is the structure morphism.

In order to introduce the surjectivity criterion we continue to assume that $C\subseteq\{0,1,\dots,n\}$ contains [math] and where the idempotent $e_{C}=\sum_{i\in C}e_{i}$ determines the algebra $A_{C}=e_{C}Ae_{C}$. In this situation there are six functors forming a recollement of the abelian module category:

[TABLE]

where the functors are defined by

[TABLE]

such that $(i^{*},i_{*},i^{!})$ and $(j_{!},j^{*},j_{*})$ are adjoint triples, $i_{*}$, $j_{*}$, and $j_{!}$ are fully faithful, and $\operatorname{Im}i_{*}=\ker j^{*}$. In particular, $j^{*}$ and $i_{*}$ are exact. The module $j_{!}(N)$ is maximally extended by objects supported on $A/AeA$. Indeed, for any $A/AeA$-module $M$, we have for all $k\in\mathbb{Z}$ that

[TABLE]

Recall that in order to define the multigraded linear series $\mathcal{M}(E_{C})$ from (3.1), we introduced the dimension vector $\bm{\mathrm{v}}_{C}=(\operatorname{rk}(E_{i}))_{i\in C}$.

Lemma 3.6**.**

Let $N$ be an $A_{C}$-module of dimension vector $\bm{\mathrm{v}}_{C}$.

1. $(\mathrm{i})$

If $N$ is a [math]-generated $A_{C}$-module, then $j_{!}N$ is a [math]-generated $A$-module. 2. $(\mathrm{ii})$

The $A$-module $j_{!}N$ is finite-dimensional and satisfies $\dim_{i}j_{!}N=\dim_{i}N$ for $i\in C$.

Proof.

To simplify notation in this proof, write $e:=e_{C}$. For $i\in C$, let $e_{i}^{\prime}$ denote the idempotent $e_{i}$ considered as an element of $A_{C}=eAe$. Since $N$ is [math]-generated there is a surjective map $A_{C}e^{\prime}_{0}\rightarrow N$, and since $j_{!}$ is right exact there is a surjection $j_{!}(A_{C}e^{\prime}_{0})\rightarrow j_{!}N$. We then calculate

[TABLE]

as $0\in C$, so there is a surjective map $Ae_{0}\rightarrow j_{!}N$ which proves $(\mathrm{i})$. For part $(\mathrm{ii})$, the algebra $A$ is a module-finite $e_{0}Ae_{0}$-algebra, so there are finitely many elements in $A$ that generate $A$ as an $e_{0}Ae_{0}$-algebra. In particular, there are finitely many elements $a_{1},\dots,a_{r}$ of $Ae\subset A$ that generate $Ae$ as a right $eAe$-module. As a vector space, we have $Ae\otimes_{eAe}N\subset N^{\oplus r}$, so $N$ and hence also $j_{!}N=Ae\otimes_{eAe}N$ is a finite dimensional vector space. Then for $i\in C$, we have $e_{i}Ae\subset eAe$ and so $e_{i}j_{!}N=e_{i}Ae\otimes_{eAe}N=e^{\prime}_{i}N$, giving $\dim_{i}j_{!}N=\dim_{i}N$ as required. ∎

Note that each closed point $x\in\mathcal{M}(E_{C})$ determines a [math]-generated $A_{C}$-module $N_{x}$ of dimension vector $\bm{\mathrm{v}}_{C}$.

Proposition 3.7**.**

A closed point $x\in\mathcal{M}(E_{C})$ lies in the image of the cornering morphism $g_{C}\colon\mathcal{M}(E)\rightarrow\mathcal{M}(E_{C})$ if and only if the $A$-module $j_{!}(N_{x})$ admits a surjective map onto an $A$-module of dimension vector $\bm{\mathrm{v}}$.

Proof.

Suppose that a closed point $x\in\mathcal{M}(E_{C})$ lies in the image of $g_{C}\colon\mathcal{M}(E)\rightarrow\mathcal{M}(E_{C})$. For any closed point $y\in\mathcal{M}(E)$ satisfying $g_{C}(y)=x$, the corresponding [math]-generated $A$-module $M_{y}$ satisfies $j^{*}M_{y}\cong N_{x}$. Let $C$ denote the cokernel of the counit map

[TABLE]

If $C$ is nonzero, then the kernel of the surjection $M_{y}\rightarrow C$ is a proper $A$-submodule of $M_{y}$ that violates $\theta$-stability of $M_{y}$ for any $\theta\in\Theta^{+}_{\bm{\mathrm{v}}}$. The counit map (3.5) therefore gives the required surjective map to an $A$-module of dimension vector $\bm{\mathrm{v}}$.

For the opposite direction, let $j_{!}(N_{x})\to M$ be a surjective $A$-module homomorphism, where $M$ has dimension vector $\bm{\mathrm{v}}$. Since $N_{x}$ is [math]-generated, Lemma 3.6$(\mathrm{i})$ gives that $j_{!}(N_{x})$ is [math]-generated and hence so is $M$. As such, $M$ is a 0-generated $A$-module of dimension $\bm{\mathrm{v}}$, so $M$ is $M_{y}$ for some closed point $y\in\mathcal{M}(E)$. Then $N_{x}\cong j^{*}j_{!}(N_{x})\cong j^{*}(M_{y})$, giving $g_{C}(y)=x$. ∎

The following result provides a homological criterion to check whether Proposition 3.7 applies.

Lemma 3.8**.**

Suppose that $N$ is a 0-generated $A_{C}$-module of dimension vector $\bm{\mathrm{v}}_{C}$ and $M$ is a 0-generated $A$-module of dimension vector $\bm{\mathrm{v}}$. Then

1. $(\mathrm{i})$

if $\operatorname{Hom}_{A}(j_{!}(N),M)\neq 0$, then there exists a surjective map $j_{!}(N)\twoheadrightarrow M$; and 2. $(\mathrm{ii})$

if $\operatorname{Hom}_{A}(M,j_{!}(N))\neq 0$, then there exists an isomorphism $M\cong j_{!}(N)$.

Proof.

A nonzero map $f\colon M\rightarrow M^{\prime}$ between 0-generated $A$-modules with $\dim_{0}M=\dim_{0}M^{\prime}=1$ is surjective, because a proper cokernel would contradict the 0-generated condition. Therefore if $\operatorname{Hom}_{A}(j_{!}(N),M)\neq 0$, Lemma 3.6$(\mathrm{i})$ implies that there is a surjective map $j_{!}(N)\twoheadrightarrow M$.

Similarly if $\operatorname{Hom}_{A}(M,j_{!}(N))\neq 0$ then there is a surjective map $M\twoheadrightarrow j_{!}(N)$ and hence a surjective map $j^{*}M\twoheadrightarrow j^{*}j_{!}(N)\cong N$. We have $\dim_{i}N=\dim_{i}M$ for $i\in C$ by assumption, so this surjective map is an isomorphism $j^{*}M\cong N$. Since $M$ is 0-generated, the counit map

[TABLE]

is also surjective. The composition of the surjective maps $j_{!}(N)\twoheadrightarrow M\twoheadrightarrow j_{!}(N)$ gives the desired isomorphism $j_{!}(N)\cong M$. ∎

4. Cornering the reconstruction algebra

Let $G\subset\operatorname{GL}(2,\Bbbk)$ be a finite subgroup that acts without pseudo-reflections. We now apply the results of the previous section to obtain a fine moduli space description of any partial resolution $Y^{\prime}$ of a quotient surface singularity $\mathbb{A}^{2}_{\Bbbk}/G$ such that the minimal resolution $Y\to\mathbb{A}^{2}_{\Bbbk}/G$ factors through $Y^{\prime}$. In fact we prove that every such $Y^{\prime}$ is the multigraded linear series for a summand of the tautological bundle on the $G$-Hilbert scheme.

Let $\operatorname{Irr}(G)$ denote the set of isomorphism classes of irreducible representations of $G$. The $G$-Hilbert scheme is the fine moduli space of $G$-equivariant coherent sheaves of the form $\mathcal{O}_{Z}$ for $Z\subset\mathbb{A}^{2}_{\Bbbk}$ such that $\Gamma(\mathcal{O}_{Z})$ is isomorphic to the regular representation of $G$. The category of $G$-equivariant coherent sheaves is equivalent to the category of finitely generated modules over the skew group algebra $\Bbbk[x,y]\rtimes G$, so the $G$-Hilbert scheme is isomorphic to the fine moduli space $\mathcal{M}(\Bbbk[x,y]\rtimes G,\bm{\mathrm{v}},\theta)$, where $\bm{\mathrm{v}}=(\dim(\rho)^{\oplus\dim(\rho)})_{\rho\in\operatorname{Irr}(G)}$ and $\theta\in\Theta_{\bm{\mathrm{v}}}^{+}$ is a [math]-generated stability condition; here the trivial representation $\rho_{0}$ is the zero vertex.

Generalising the work of Ito–Nakamura [IN99] for finite subgroups of $\operatorname{SL}(2,\Bbbk)$, Kidoh [Kid01] and Ishii [Ish02] proved that the $G$-Hilbert scheme is isomorphic to the minimal resolution $Y$ of $\mathbb{A}^{2}_{\Bbbk}/G$. The summands of the tautological bundle

[TABLE]

on the $G$-Hilbert scheme are globally generated by Corollary 2.4. To study the multigraded linear series of $T$, we need to know the endomorphism algebra of $T$.

Lemma 4.1**.**

For a finite subgroup $G\subset\operatorname{GL}(2,\Bbbk)$ without pseudo-reflections, the endomorphism algebra of $T$ is isomorphic to the skew group algebra $\Bbbk[x,y]\rtimes G$.

Proof.

For $\rho\in\operatorname{Irr}(G)$, Ishii [Ish02, Corollary 3.2] proves that the summand $T_{\rho}$ of $T$ is a globally generated full sheaf. The argument of Wemyss [Wem11a, Lemma 3.6] applies to globally generated full sheaves to give $\operatorname{End}_{Y}(T)\cong\operatorname{End}_{\Bbbk[x,y]^{G}}(\pi_{*}T)$ for the resolution $\pi\colon Y\rightarrow\operatorname{Spec}\Bbbk[x,y]^{G}$. By construction the $\Bbbk[x,y]^{G}$-module $\pi_{*}T_{\rho}$ is isomorphic to $(\Bbbk[x,y]\otimes\rho^{\vee})^{G}$. Taking the sum over all $\rho^{\vee}\in\operatorname{Irr}(G)$ and relabelling, it follows from Auslander [Aus86] that

[TABLE]

as required. ∎

It follows that the minimal resolution $Y$ of $\mathbb{A}^{2}_{\Bbbk}/G$ is isomorphic to the multigraded linear series $\mathcal{M}(T)$. If we set $T_{\operatorname{Irr}}:=\bigoplus_{\rho\in\operatorname{Irr}(G)}T_{\rho}$ and define $\bm{\mathrm{v}}_{\operatorname{Irr}}=(\dim\rho)_{\rho\in\operatorname{Irr}(G)}$, then

[TABLE]

is Morita equivalent to the skew group algebra, and Lemma 3.2 implies that $Y$ is isomorphic to $\mathcal{M}(T_{\operatorname{Irr}})$; put another way, the universal morphism $f\colon Y\cong\mathcal{M}(T)\to\mathcal{M}(T_{\operatorname{Irr}})$ determined by the vector bundle $T_{\operatorname{Irr}}$ on $Y$ is an isomorphism.

Recall that an irreducible representation $\rho\in\operatorname{Irr}(G)$ is said to be special if $H^{1}(T_{\rho}^{\vee})=0$. For the cornering set $\operatorname{Sp}(G):=\{\rho\in\operatorname{Irr}(G)\mid\rho\text{ is special}\}$ and the idempotent $e:=\sum_{\rho\in\operatorname{Sp}(G)}e_{\rho}$, we obtain the reconstruction bundle

[TABLE]

Note that $T_{\operatorname{Sp}}\subseteq T_{\operatorname{Irr}}\subseteq T$ are subbundles. The argument in the proof of Lemma 4.1 shows that the endomorphism algebra

[TABLE]

of the reconstruction bundle $E$ is the reconstruction algebra introduced by Wemyss [Wem11b] in general, and by Wemyss [Wem11a] and Craw [Cra11b] for a cyclic subgroup $G\subset\operatorname{GL}(2,\Bbbk)$. The reconstruction bundle is of interest precisely because it is a tilting bundle by work of Van den Bergh [VdB04b]. Buchweitz–Hille [BH13, Proposition 2.6] implies that the dual bundle $E^{\vee}$ is also a tilting bundle, so

[TABLE]

is an equivalence of categories; put simply, the algebra $A$ enables one to reconstruct the derived category of the minimal resolution $Y$. We now show that $A$ enables us to reconstruct $Y$ itself.

Proposition 4.2**.**

For a finite subgroup $G\subset\operatorname{GL}(2,\Bbbk)$ without pseudo-reflections, the minimal resolution $Y$ of $\mathbb{A}^{2}_{\Bbbk}/G$ is isomorphic to the multigraded linear series $\mathcal{M}(E)$, that is, to the fine moduli space of [math]-generated $A$-modules of dimension vector $\bm{\mathrm{v}}_{\operatorname{Sp}}=(\dim(\rho))_{\rho\in\operatorname{Sp}(G)}$.

Proof.

Since $Y\cong\mathcal{M}(T_{\operatorname{Irr}})$ and since $E$ is the summand of $T_{\operatorname{Irr}}$ corresponding to the cornering subset $\operatorname{Sp}(G)\subseteq\operatorname{Irr}(G)$, we need only prove that $g_{\operatorname{Sp}}\colon\mathcal{M}(T_{\operatorname{Irr}})\rightarrow\mathcal{M}(T_{\operatorname{Sp}})$ is an isomorphism. The line bundle $\bigotimes_{\rho\in\operatorname{Sp}(G)}\det(T_{\rho})$ has positive degree on each exceptional curve in $Y$, so it’s ample. Applying Theorem 2.6 and specifically Remark 2.8 shows that $g_{\operatorname{Sp}}$ is a closed immersion. It remains to prove that $g_{\operatorname{Sp}}$ is surjective.

Each point $x\in\mathcal{M}(T_{\operatorname{Sp}})$ corresponds to an $A$-module $N_{x}$ of dimension vector $\bm{\mathrm{v}}_{\operatorname{Sp}}$, and we now calculate the dimension vector of the $B$-module $j_{!}(N_{x})$. The abelian category of finitely generated modules over $B$ has an indecomposable projective module $P_{\rho}$ and a one-dimensional vertex simple module $S_{\rho}$ for each $\rho\in\operatorname{Irr}(G)$. Since $\Bbbk[x,y]\rtimes G$ is Morita equivalent to $B$, the observation of Ishii–Ueda [IU15b, Proposition 1.1] gives a semiorthogonal decomposition

[TABLE]

and the bundle $T_{\operatorname{Irr}}^{\vee}$ on the $G$-Hilbert scheme $Y$ defines a fully faithful embedding

[TABLE]

with essential image $\langle P_{\rho}\mid\rho\in\operatorname{Sp}(G)\rangle$. Since $j_{!}(N_{x})$ is left-orthogonal to $\langle S_{\rho}\mid\rho\notin\operatorname{Sp}(G)\rangle$ by (3.4), it follows that $j_{!}(N_{x})$ lies in the essential image of $\Phi_{\operatorname{Irr}}$ and $j_{!}(N_{x})\cong\Phi_{\operatorname{Irr}}(\mathcal{E})$ for some $\mathcal{E}\in D^{b}(Y)$. The functor $\Phi_{\operatorname{Irr}}$ has a left adjoint $\Psi_{\operatorname{Irr}}$ such that $T_{\rho}^{\vee}\cong\Psi_{\operatorname{Irr}}(P_{\rho})$ and we calculate the dimension of $j_{!}(N_{x})$ via the Euler form as

[TABLE]

for all $\rho\in\operatorname{Irr}(G)$. Lemma 3.6$(\mathrm{ii})$ gives $\dim_{\rho}j_{!}(N)=\dim\rho$ for $\rho\in\operatorname{Sp}(G)$, and hence

[TABLE]

for $\rho\in\operatorname{Sp}(G)$. Since the essential image of $\Phi_{\operatorname{Irr}}$ is generated by the indecomposable projectives $\{P_{\rho}\mid\rho\in\operatorname{Sp}(G)\}$, the classes of the bundles $T_{\rho}^{\vee}=\Psi_{\operatorname{Irr}}(P_{\rho})$ for $\rho\in\operatorname{Sp}(G)$ generate the Grothendieck group $K(Y)$. By Lemma A.2, the Euler form $\chi_{Y}\colon K(Y)\times K^{\operatorname{num}}_{c}(Y)\to\mathbb{Z}$ is a perfect pairing and hence as

[TABLE]

for $\rho\in\operatorname{Sp}(G)$. It follows that

[TABLE]

As a consequence

[TABLE]

for all $\rho\in\operatorname{Irr}(G)$. Equation (4.2) now implies that $\dim j_{!}(N_{x})=(\dim\rho)_{\rho\in\operatorname{Irr}(G)}=\bm{\mathrm{v}}_{\operatorname{Irr}}$ for any $x\in\mathcal{M}(T_{\operatorname{Sp}})$. We deduce from Proposition 3.7 that $g_{\operatorname{Sp}}\colon\mathcal{M}(T_{\operatorname{Irr}})\rightarrow\mathcal{M}(T_{\operatorname{Sp}})$ is surjective. ∎

Remark 4.3*.*

Proposition 4.2 also follows from Karmazyn [Kar17, Corollary 5.4.5], because the reconstruction bundle is a tilting bundle. When $G\subset\operatorname{GL}(2,\Bbbk)$ is cyclic, an explicit construction of the isomorphism $Y\cong\mathcal{M}(A,\bm{\mathrm{v}}_{\operatorname{Sp}},\theta)$ for $\theta\in\Theta_{\bm{\mathrm{v}}_{\operatorname{Sp}}}^{+}$ was first given by [Wem11a, Cra11b].

We now strengthen Proposition 4.2 by providing a fine moduli construction for partial resolutions of $\mathbb{A}^{2}_{\Bbbk}/G$ when $G\subset\operatorname{GL}(2,\Bbbk)$ is a finite subgroup without pseudo-reflections. Let $E$ and $A=\operatorname{End}_{Y}(E)$ denote the reconstruction bundle and reconstruction algebra respectively, and let $C\subseteq\operatorname{Sp}(G)=\{\rho\in\operatorname{Irr}(G)\mid\rho\text{ is special}\}$ be any subset that contains the trivial representation $\rho_{0}$ of $G$. As in the proof of Proposition 3.3, we obtain a morphism

[TABLE]

from the minimal resolution $Y$ of $\mathbb{A}^{2}_{\Bbbk}/G$. Again, Theorem 2.6 shows that the image of $g_{C}$ is isomorphic to the image of the morphism to the linear series of $\bigotimes_{\rho\in C}\det(T_{\rho})$. The construction of the tilting bundle $E$ on $Y$ [VdB04b, Section 3.4] implies that the invertible sheaves

[TABLE]

provide the integral basis of $\operatorname{Pic}(Y)$ dual to the curve classes defined by the irreducible components of the exceptional divisor of the resolution $Y\to\mathbb{A}^{2}_{\Bbbk}/G$. It follows that the morphism $g_{C}$ from (4.3) contracts precisely those exceptional curves corresponding to irreducible representations $\rho\in\operatorname{Sp}(G)\setminus C$.

Theorem 4.4**.**

Let $G\subset\operatorname{GL}(2,\Bbbk)$, be a finite subgroup without pseudo-reflections, and let $Y^{\prime}$ be any partial resolution of $\mathbb{A}^{2}_{\Bbbk}/G$ such that the minimal resolution $Y\to\mathbb{A}^{2}_{\Bbbk}/G$ factors via $Y^{\prime}$. There is a cornering set $C\subseteq\operatorname{Sp}(G)$ containing $\rho_{0}$ such that $Y^{\prime}$ is isomorphic to $\mathcal{M}(E_{C})$.

Proof.

The partial resolution $Y^{\prime}$ is obtained by contracting a set of components of the exceptional divisor in $Y$. Remove from $\operatorname{Sp}(G)$ those $\rho$ such that $\det(T_{\rho})$ is dual to one of the curves being contracted, leaving a subset $C\subset\operatorname{Sp}(G)$ containing $\rho_{0}$ such that the contraction $Y\to Y^{\prime}$ contracts precisely the same curves as the morphism $g_{C}$ from (4.3). The result follows once we prove that $g_{C}$ is surjective.

By Proposition 3.7, we need only show that for any [math]-generated $A_{C}$-module $N$ of dimension $\bm{\mathrm{v}}_{C}:=(\dim\rho)_{\rho\in C}$, there is a surjective $A$-module homomorphism $j_{!}(N)\twoheadrightarrow M$, where $M$ has dimension $\bm{\mathrm{v}}_{\operatorname{Sp}}$. For any such $N$, the derived equivalence $\Phi$ from (4.1) gives $\mathcal{E}\in D^{b}(Y)$ such that $\Phi(\mathcal{E})\cong j_{!}(N)$, and [BCZ17, Proposition 7.2.1] implies that $\mathcal{E}$ has proper support because $j_{!}(N)$ is finite dimensional over $\Bbbk$. Suppose that $j_{!}(N)$ does not admit a surjective $A$-module homomorphism $j_{!}(N)\twoheadrightarrow M$, where $M$ is [math]-generated of dimension $\bm{\mathrm{v}}_{\operatorname{Sp}}$. Lemma 3.8 implies that

[TABLE]

Every [math]-generated $A$-module $M$ of dimensional vector $\bm{\mathrm{v}}_{\operatorname{Sp}}$ is of the form $\Phi(\mathcal{O}_{y})$ for some $y\in Y$. Applying the quasi-inverse of $\Phi$ to (4.4) gives

[TABLE]

for all closed points $y\in Y\cong\mathcal{M}(E)$. Since $Y$ is smooth, there is a dualising line bundle $\omega_{Y}$ that induces Serre duality on objects with compact support such that

[TABLE]

for all closed points $y\in Y$. Bridgeland–Maciocia [BM02, Proposition 5.4] implies that the object $\mathcal{E}$ has homological dimension [math]. The codimension of the support of $\mathcal{E}$ is bounded above by its homological dimension [BM02, Corollary 5.5], so the support of $\mathcal{E}$ must be of codimension [math]; this is a contradiction, because $\mathcal{E}$ has proper support. This completes the proof. ∎

Remark 4.5*.*

An analogous result in the complete local setting can be deduced by combining Karmazyn [Kar17, Corollary 5.2.5] with Iyama–Kalck–Wemyss–Yang [KIWY15, Theorem 4.6].

Example 4.6**.**

To illustrate Proposition 4.2 and Theorem 4.4, consider the subgroup

[TABLE]

where $\varepsilon_{r}$ is a primitive $r^{th}$ root of unity. This group $G$ is the direct product of the quaternion group of order 8 with a cyclic group of order 3; it has 24 elements and 15 irreducible representations, 3 of dimension two and 12 of dimension one. Below we draw: (a) the McKay quiver (taken with the mesh relations) where we mark the special representations labelled $0,1,\dots,4$; and (b) the Special McKay quiver with the given relations which provides a presentation for the reconstruction algebra $A$.

[TABLE]

(The mesh relations kill the paths between vertices 0 and 4 that don’t factor through 1, 2, or 3, so there are no arrows in the Special McKay quiver between 0 and 4.) In this case, the exceptional divisor of the minimal resolution $Y\to\mathbb{A}^{2}_{\Bbbk}/G$ consists of three $(-2)$-curves meeting a central $(-3)$-curve as shown.

[TABLE]

The minimal resolution $Y$ can be constructed either as the $G$-Hilbert scheme, whose tautological bundle $T$ has 15 non-isomorphic summands, or as the fine moduli space $\mathcal{M}(E)$ of [math]-generated modules over the reconstruction algebra, in which case the tautological bundle $\bigoplus_{\rho\in\operatorname{Sp}(G)}T_{\rho}$ has 5 non-isomorphic summands.

To illustrate Theorem 4.4, consider the cornering subset $C=\{0,1,2,3\}$ of the set $\operatorname{Sp}(G)=\{0,1,2,3,4\}$ of special representations of $G$. The algebra $A_{C}$ obtained from the reconstruction algebra $A$ can be presented using the following quiver with relations:

[TABLE]

The morphism $g_{C}\colon Y=\mathcal{M}(E)\rightarrow Y^{\prime}=\mathcal{M}(E_{C})$ is surjective, and it contracts the central (-3)-curve of the exceptional divisor in the minimal resolution.

5. Cornering noncommutative crepant resolutions

In this section we recall Van den Bergh’s notion of an NCCR [VdB04a] and show that the moduli spaces determined by [math]-generated stability parameters are multigraded linear series. We establish a set of sufficient conditions for the cornering morphisms to be surjective, and we demonstrate that these conditions hold in a range of situations. Throughout this section, we assume that $R$ is a normal, Gorenstein $\Bbbk$-algebra of Krull dimension at most three.

Recall that a $\Bbbk$-algebra $A$ is a noncommutative crepant resolution (NCCR) of $R$ if there exists a reflexive $R$-module $M$ such that $A:=\operatorname{End}_{R}(M)$ is Cohen–Macaulay as an $R$-module and is of finite global dimension. Choose a decomposition $M\cong\bigoplus_{i}M_{i}$ into finitely many indecomposable, reflexive $R$-modules; in general this decomposition is non-unique. Given one such decomposition $A=\operatorname{End}_{R}(\bigoplus_{i}M_{i})$, we obtain a presentation as a quotient $A\cong\Bbbk Q/I$ exactly as for the geometric setting described following equation (2.1). We impose the following additional standing assumption on $A=\operatorname{End}_{R}(M)$:

Assumption 5.1**.**

1. $(\mathrm{i})$

All indecomposable projective $A$-modules occur as summands of $A$, and the presentation $A=\Bbbk Q/I$ corresponds to a unique decomposition of $M=\bigoplus_{i\in Q_{0}}M_{i}$ into non-isomorphic, indecomposable reflexive modules; and 2. $(\mathrm{ii})$

the ideal $I\subset\Bbbk Q$ is generated by linear combinations of paths of length at least one.

Remarks 5.2*.*

1. (1)

If the module category of $R$ has the Krull-Schmidt property, then any NCCR $A^{\prime}$ is Morita equivalent to an NCCR $A$ satisfying Assumption 5.1$(\mathrm{i})$. 2. (2)

Assumption 5.1$(\mathrm{ii})$ ensures that each vertex $i\in Q_{0}$ determines a vertex simple $A$-module $S_{i}=\Bbbk e_{i}$, and that distinct summands of $M$ are non-isomorphic (as $M_{i}\cong M_{j}$ would force the relations $aa^{\prime}-e_{i},a^{\prime}a-e_{j}\in I$ for some $a,a^{\prime}\in Q_{1}$).

Define the dimension vector $\bm{\mathrm{v}}=(v_{i})\in\mathbb{Z}^{Q_{0}}$ by setting $v_{i}=\operatorname{rk}_{R}(M_{i})$ for $0\leq i\leq n$. After replacing $A$ by a Morita equivalent algebra if necessary, Van den Bergh [VdB04a, Section 6.3] notes that we may assume that $\bm{\mathrm{v}}$ is indivisible. For any generic stability parameter $\theta\in\Theta_{\bm{\mathrm{v}}}$, the tautological bundle $T=\bigoplus_{0\leq i\leq n}T_{i}$ on the moduli space $\mathcal{M}(A,\bm{\mathrm{v}},\theta)$ is a left $A$-module, so $T^{\vee}$ is a right $A$-module. When $A$ satisfies Assumption 5.1, [VdB04a, Remark 6.6] observes that the approach of Bridgeland–King–Reid [BKR01] implies that $\mathcal{M}(A,\bm{\mathrm{v}},\theta)$ is connected; we provide a slightly simplified proof of this observation in Proposition A.3.

Applying [VdB04a, Theorem 6.3.1, Remark 6.6.1] gives a morphism

[TABLE]

that is a projective crepant resolution. Again, [BH13, Proposition 2.6] implies that the bundle $T^{\vee}=\bigoplus_{0\leq i\leq n}T^{\vee}_{i}$ dual to the tautological bundle gives a derived equivalence

[TABLE]

with quasi-inverse

[TABLE]

To clarify our conventions, $\Phi(T^{\vee})=\operatorname{End}(T^{\vee})$ is a right $\operatorname{End}(T^{\vee})$-module and hence a left module over $\operatorname{End}(T^{\vee})^{\text{op}}\cong\operatorname{End}(T)\cong A$. Under the equivalences (5.2) and (5.3), the full subcategory $D_{c}^{b}(Y)$ in $D^{b}(Y)$ of objects with proper support is equivalent to the full subcategory $D^{b}_{\operatorname{fin}}(A)$ in $D^{b}(A)$ of finite-dimensional left $A$-modules (see [BCZ17, Lemma 7.1.1]).

In order to apply the ideas of Sections 2–3 to an NCCR $A:=\operatorname{End}_{R}(M)\cong\Bbbk Q/I$ satisfying Assumption 5.1, we suppose in addition that $M_{0}=R$. Since $A\cong\operatorname{End}(T)$, the multigraded linear series of the tautological bundle $T$ is $\mathcal{M}(T):=\mathcal{M}(A,\bm{\mathrm{v}},\theta)$ for any [math]-generated stability condition $\theta\in\Theta_{\bm{\mathrm{v}}}^{+}$, and hence

[TABLE]

is a projective, crepant resolution.

Remark 5.3*.*

This construction picks out one crepant resolution of $\operatorname{Spec}R$. However:

1. (1)

if more than one summand $M_{i}$ of $M$ has rank one, then by relabelling $i$ to be the zero vertex and repeating the construction, the tautological bundle $T^{\prime}$ on the resulting moduli space determines a projective crepant resolution $f^{\prime}\colon\mathcal{M}(T^{\prime})\to\operatorname{Spec}R$ that need not be isomorphic to that from (5.4), e.g. see the suspended pinch point example considered in [Boc16, Example B.8.7] where the choice of zero vertex as the vertex currently labelled 1 or 2 yields two crepant resolutions that are not isomorphic as varieties; 2. (2)

for a finite subgroup $G\subset\operatorname{SO}(3)$, the skew group algebra $A=\Bbbk[x,y,z]\rtimes G$ is an NCCR of $R:=\Bbbk[x,y,z]^{G}$. Nolla de Celis–Sekiya [NdCS17] show that every projective crepant resolution of $\operatorname{Spec}R$ is of the form $\mathcal{M}(A^{\prime},\bm{\mathrm{v}}^{\prime},\theta^{\prime})$, where $A^{\prime}$ is an algebra obtained from $A$ by a sequence of mutations at vertices (none of which is the zero vertex), where $\bm{\mathrm{v}}$ is a dimension vector and where $\theta^{\prime}$ is a [math]-generated stability condition. In particular, since the endomorphism algebra of the tautological bundle on $\mathcal{M}(A^{\prime},\bm{\mathrm{v}}^{\prime},\theta^{\prime})$ is isomorphic to $A^{\prime}$, the multigraded linear series of the tautological bundle is isomorphic to $\mathcal{M}(A^{\prime},\bm{\mathrm{v}}^{\prime},\theta^{\prime})$ and every projective crepant resolution of $\operatorname{Spec}R$ can be constructed as such a multigraded linear series; and 3. (3)

if $R$ is a complete local Gorenstein algebra over the field $\mathbb{C}$ such that $\operatorname{Spec}R$ admits a projective crepant resolution whose fibres have dimension at most one, then as in (2) above, work of Wemyss [Wem17] implies that every projective crepant resolution of $\operatorname{Spec}R$ is isomorphic to a multigraded linear series of a tautological bundle.

A choice of cornering subset $\{0\}\subset C\subset Q_{0}$ produces the corresponding cornering morphism

[TABLE]

whose image is isomorphic to that of the morphism $\varphi_{|L|}\colon Y\to|L|$ for $L:=\bigotimes_{i\in C}\det(T_{i})$. Each closed point $x\in Y^{\prime}$ determines a [math]-generated $A_{C}$-module $N_{x}$ of dimension $\bm{\mathrm{v}}_{C}$. To state the next result, we recall in the appendix that $K^{\operatorname{num}}_{c}(Y)$ is the numerical Grothendieck for compact support introduced in [BCZ17].

Theorem 5.4**.**

Let $A=\operatorname{End}(\bigoplus_{i\in Q_{0}}M_{i})$ be an NCCR satisfying Assumption 5.1 with $M_{0}\cong R$. Suppose that for all $x\in Y^{\prime}$, there exist $a_{i}\in\mathbb{Z}_{>0}$ and sheaves $F_{i}$ with proper support such that

[TABLE]

Then the morphism $g_{C}\colon Y\rightarrow Y^{\prime}$ is surjective.

Proof.

To simplify notation, write $\mathcal{E}_{x}:=\Psi(j_{!}(N_{x}))$. If we suppose that the result is false, then Proposition 3.7 and Lemma 3.8 give $x\in Y^{\prime}$ such that

[TABLE]

for every [math]-generated $A$-module $M$ of dimension vector $\bm{\mathrm{v}}$. Every such module is of the form $M=\Phi(\mathcal{O}_{y})$ for some closed point $y\in Y\cong\mathcal{M}(T)$. Apply $\Psi(-)$ to (5.5) to obtain

[TABLE]

for every closed point $y\in Y$. Serre duality gives $\operatorname{Hom}^{0}_{D^{b}(Y)}(\mathcal{E}_{x},\mathcal{O}_{y})=\operatorname{Hom}^{3}_{D^{b}(Y)}(\mathcal{E}_{x},\mathcal{O}_{y})=0$, so $\operatorname{Hom}^{j}_{D^{b}(Y)}(\mathcal{E}_{x},\mathcal{O}_{y})=0$ unless $1\leq j\leq 2$. Bridgeland–Maciocia [BM02, Proposition 5.4] implies that $\mathcal{E}_{x}$ has homological dimension at most one, so $\mathcal{E}_{x}$ is quasi-isomorphic to a complex

[TABLE]

where $L^{-i}$ is a vector bundle in degree $-i$. Since $\mathcal{E}_{x}\in D_{c}^{b}(Y)$, we have that $H^{-1}(\mathcal{E}_{x})\cong\ker(g)$ is a torsion subsheaf of $L^{-2}$ and hence is zero. It follows that $\mathcal{E}_{x}\cong F[1]$ where $F$ is the cokernel of $g$. In particular, $\mathcal{E}_{x}$ is quasi-isomorphic to the shift of a sheaf and $[\mathcal{E}_{x}]=-[F]\in K^{\operatorname{num}}_{c}(Y)$.

By assumption, the class $[\mathcal{E}_{x}]\in K^{\operatorname{num}}_{c}(Y)$ equals a positive sum of classes of sheaves, so

[TABLE]

where each $F_{i}$ is a sheaf on $Y$ and $a_{i}\in\mathbb{Z}_{>0}$. Let $j\colon Y\to\overline{Y}$ be a smooth projective completion. By [BCZ17, Proof of Lemma 5.1.1], we may pushforward numerical classes with compact support to obtain $\sum a_{i}[j_{*}F_{i}]=-[j_{*}F]\in K^{\operatorname{num}}(\overline{Y})$. However, for any sufficiently ample bundle $L$ on $\overline{Y}$, the integers $\sum a_{i}\chi(j_{*}F_{i}\otimes L)$ and $\chi(j_{*}F\otimes L)$ are both positive, a contradiction. ∎

Remark 5.5*.*

This proof is adapted from that of Proposition A.3 which in turn is adapted from the connectedness result of Bridgeland–King–Reid [BKR01, Section 8]; our use of the numerical Grothendieck group enables us to bypass [BKR01, Lemma 8.1].

This is particularly applicable when the vertex simple $A$-modules $S_{i}$ for $i\in Q_{0}\backslash C$ are well understood and when the dimension of $j_{!}(N_{x})$ can be calculated.

Corollary 5.6**.**

Let $A=\operatorname{End}(\bigoplus_{i\in Q_{0}}M_{i})$ be an NCCR satisfying Assumption 5.1 with $M_{0}\cong R$. Suppose in addition that either:

1. $(\mathrm{i})$

$\dim_{i}j_{!}(N_{x})=v_{i}$* for all $i\in Q_{0}\setminus C$ and all $x\in Y^{\prime}$; or* 2. $(\mathrm{ii})$

$\Psi(S_{i})$* is a sheaf for all $i\in Q_{0}\setminus C$ and $\dim_{i}j_{!}(N_{x})\geq v_{i}$ for all $i\in Q_{0}\setminus C$ and all $x\in Y^{\prime}$.*

Then Theorem 5.4 applies, so $g_{C}\colon Y\rightarrow Y^{\prime}$ is surjective.

Proof.

By Lemma A.1, the numerical class of a finite dimensional $A$-module $M$ is determined by its dimension vector $[M]=\sum_{i\in Q_{0}}\dim M_{i}[S_{i}]$. The skyscraper sheaf for each closed point $y\in Y$ satisfies $\mathcal{O}_{y}=\Psi(M_{y})$ for some [math]-generated $A$-module $M_{y}$ of dimension vector $\bm{\mathrm{v}}$, so

[TABLE]

To apply Theorem 5.4, we express each class $[\mathcal{E}_{x}]$ as a positive sum of classes of sheaves with proper support. Indeed, in case $(\mathrm{i})$, Lemma 3.6$(\mathrm{ii})$ gives $\dim_{i}j_{!}(N_{x})=v_{i}$ for all $i\in C$ and all $x\in Y^{\prime}$, so the assumption in case $(\mathrm{i})$ gives $[j_{!}(N_{x})]=\bm{\mathrm{v}}\in K^{\operatorname{num}}(A)$ and hence

[TABLE]

for each point $y\in Y$. Similarly, in case $(\mathrm{ii})$, write $w_{i}:=\dim_{i}j_{!}(N_{x})-v_{i}$ for $i\in Q_{0}$. Note that $w_{i}=0$ for $i\in C$ by Lemma 3.6$(\mathrm{ii})$, and $w_{i}\geq 0$ for $i\in Q_{0}\setminus C$ by assumption. Then for all $x\in Y^{\prime}$, we have that $[j_{!}(N_{x})]=\sum_{i\in Q_{0}}(v_{i}+w_{i})[\Psi(S_{i})]$, so

[TABLE]

for each point $y\in Y$. In either case, the result is immediate from Theorem 5.4. ∎

Remark 5.7*.*

In fact, the proof of Corollary 5.6$(\mathrm{ii})$ shows that one requires only that the class $[\Psi(S_{i})]\in K^{\operatorname{num}}_{c}(Y)$ is a non-negative combination of classes of sheaves for each $i\in Q_{0}\setminus C$.

6. The toric case in dimension three

We now specialise to the case where $R$ is a Gorenstein, semigroup algebra of dimension three, so $X=\operatorname{Spec}R$ is a Gorenstein toric threefold. Ishii–Ueda [IU15a] and Broomhead [Bro12] show that $R$ admits a noncommutative crepant resolution $A=\operatorname{End}_{R}(\bigoplus_{i\in Q_{0}}M_{i})$ obtained as the Jacobian algebra $\Bbbk Q/I$ of a quiver with potential arising from a consistent dimer model on a real two-torus. Toric algebras of this form necessarily satisfy Assumption 5.1; in fact, the conclusions of Lemma A.1 were noted first by Ishii–Ueda [IU16, Proposition 8.3] in this context.

For the dimension vector $\bm{\mathrm{v}}\in K^{\operatorname{num}}(A)$ with $v_{i}=1$ for all $i\in Q_{0}$, choose once and for all a vertex $0\in Q_{0}$ and a stability parameter $\theta\in\Theta_{\bm{\mathrm{v}}}^{+}$. If we write $T=\bigoplus_{i\in Q_{0}}T_{i}$ for the tautological bundle on the fine moduli space $\mathcal{M}(A,\bm{\mathrm{v}},\theta)$, then as in equations (5.3)-(5.4), there is a projective crepant resolution

[TABLE]

and the dual bundle $T^{\vee}\cong\bigoplus_{i\in Q_{0}}T_{i}^{\vee}$ determines a derived equivalence

[TABLE]

which satisfies $\Psi(P_{i})=T^{\vee}\otimes_{A}Ae_{i}\cong T_{i}^{-1}$ for $i\in Q_{0}$.

Now that we have a multigraded linear series, we can consider the effect of cornering. For any cornering subset $C\subset Q_{0}$ containing $\{0\}$, Proposition 3.3 gives a commutative diagram

[TABLE]

where the image of $g_{C}$ is determined by $\bigotimes_{i\in C}\det(T_{i})$. We now describe the image of $g_{C}$ explicitly following Craw–Quintero Vélez [CQ12]. Consider the collection

[TABLE]

of rank one reflexive sheaves on $X=\operatorname{Spec}R$. The quiver of sections of $\mathscr{E}$ is the quiver $Q^{\prime}$ with vertex set $C$, and where the arrows from vertex $i$ to vertex $j$ correspond to those torus-invariant sections in $\operatorname{Hom}_{R}(M_{i},M_{j})$ that do not factor through $M_{k}$ for some $k\neq i,j$. Every arrow $a\in Q_{1}^{\prime}$ therefore determines a vector $\operatorname{div}_{X}(a)\in\mathbb{Z}^{d}$ in the lattice of torus-invariant divisors on $X$, and we extend this to a $\mathbb{Z}$-linear map $\operatorname{div}_{X}\colon\mathbb{Z}^{Q_{1}^{\prime}}\to\mathbb{Z}^{d}$ by sending the characteristic function for $a\in Q_{1}^{\prime}$ to $\operatorname{div}_{X}(a)$. Combine this with the incidence map $\operatorname{inc}$ of $Q^{\prime}$ to obtain a $\mathbb{Z}$-linear map

[TABLE]

The semigroup algebra $\Bbbk[\mathbb{N}^{Q_{1}^{\prime}}]$ is the coordinate ring of the space $\mathbb{A}_{\Bbbk}^{Q_{1}^{\prime}}$ of representations of dimension vector $(1,\dots,1)$, and the ideal $I_{\mathscr{E}}:=(y^{u}-y^{v}\in\Bbbk[\mathbb{N}^{Q_{1}^{\prime}}]\mid u-v\in\operatorname{Ker}(\pi_{X}))$ cuts out an affine toric subvariety $\mathbb{V}(I_{\mathscr{E}})\subseteq\mathbb{A}^{Q_{1}^{\prime}}$ that is invariant under the action of the torus $G:=\operatorname{Spec}\Bbbk[\mathbb{Z}^{C}]$ given by $(g_{i})\cdot(w_{a})=(g_{\operatorname{hd}(a)}g_{\operatorname{tl}(a)}^{-1}w_{a})$. For $\theta\in\Theta_{\bm{\mathrm{v}}_{C}}^{+}$, the GIT quotient

[TABLE]

admits a projective birational morphism $\tau_{\theta}\colon Y_{\theta}\to X$ obtained by variation of GIT quotient [CQ12, Proposition 2.14]. In fact we have the following result:

Proposition 6.1**.**

Let $X$ be a Gorenstein affine toric threefold. For any $C\subseteq Q_{0}$ containing $\{0\}$, the image of $g_{C}$ is the irreducible component $Y_{\theta}$ of $\mathcal{M}(T_{C})$ that’s birational to $X$.

Proof.

We prove first that $Y_{\theta}$ is an irreducible component of $\mathcal{M}(T_{C})$. For each nontrivial path $p$ in $Q^{\prime}$, define the vector $v(p):=\sum_{a\in\operatorname{supp}(p)}\operatorname{div}(a)$ to be the sum of the vectors of each arrow in the path $p$. Then the ideal $J_{\mathscr{E}}:=(p^{+}-p^{-}\in\Bbbk Q^{\prime}\mid p^{\pm}\text{ share the same tail, head and vector})$ satisfies $A_{C}\cong\Bbbk Q^{\prime}/J_{\mathscr{E}}$ by [CQ12, Lemma 2.5]. These paths in $Q^{\prime}$ determine a lattice

[TABLE]

The proof111In fact the proof in our context is slightly simpler: we have only one algebra $A_{C}$, so the sentence in line 13 of the proof of [CQ12, Lemma 3.14] that transitions between two algebras is redundant. of [CQ12, Lemma 3.14] shows that $\operatorname{Ker}(\pi)=\Lambda$, and the proof of [CQ12, Theorem 3.15] applies verbatim to give that $Y_{\theta}$ is the unique irreducible component of $\mathcal{M}(T_{C})$ containing the $G$-orbit closures of points of $(\Bbbk^{\times})^{Q_{1}^{\prime}}$ in $\mathbb{A}_{\Bbbk}^{Q_{1}^{\prime}}$.

To see that $Y_{\theta}$ is the image of $g_{C}$, consider the collection $\mathscr{L}=\{T_{i}\mid i\in C\}$ of basepoint-free line bundles on $Y=\mathcal{M}(T)$. Following the construction of Craw–Smith [CS08], the quiver of sections of $\mathscr{L}$ is $Q^{\prime}$, because we have algebra isomorphisms

[TABLE]

In particular, each arrow $a$ in $Q^{\prime}$ determines a vector $\operatorname{div}_{Y}(a)\in\mathbb{Z}^{\Sigma(1)}$ in the lattice of torus-invariant divisors on the toric variety $Y$ with fan $\Sigma$, and we obtain a $\Bbbk$-algebra homomorphism $\overline{\varphi}\colon\Bbbk[\mathbb{N}^{Q_{1}^{\prime}}]\to\Bbbk[x_{\rho}\mid\rho\in\Sigma(1)]$ to the Cox ring of $Y$ by sending the variable $y_{a}$ to the monomial $x^{\operatorname{div}_{Y}(a)}$. Applying the $\operatorname{Spec}$ functor gives a morphism of affine varieties that is equivariant with respect to the actions of the algebraic tori $G$ and $\operatorname{Spec}\Bbbk[\operatorname{Cl}(Y)]$; following [CS08, Theorem 1.1], this morphism of affine schemes descends to give a morphism

[TABLE]

Since the tautological bundles $\mathscr{W}_{i}$ on $\mathcal{M}(T_{C})$ satisfy $\varphi_{|\mathscr{L}|}^{*}(\mathscr{W}_{i})=T_{i}$ for $i\in C$, it follows that $\varphi_{|\mathscr{L}|}$ coincides with the universal morphism $g_{C}$. To describe explicitly the image of $g_{C}$, combine the incidence map of $Q^{\prime}$ with the map $\operatorname{div}_{Y}\colon\mathbb{Z}^{Q_{1}^{\prime}}\to\mathbb{Z}^{\Sigma(1)}$ to obtain a $\mathbb{Z}$-linear map

[TABLE]

and hence an ideal $I_{\mathscr{L}}:=(y^{u}-y^{v}\in\Bbbk[\mathbb{N}^{Q_{1}^{\prime}}]\mid u-v\in\operatorname{Ker}(\pi_{Y}))$. Then [CS08, Proposition 4.3] shows that the image of $\varphi_{|\mathscr{L}|}$ is the GIT quotient $\mathbb{V}(I_{\mathscr{L}})\operatorname{\!/\!\!/\!}_{\theta}G$. The $\mathbb{Z}$-linear map $\pi$ factors via $\pi_{Y}$, so $I_{\mathscr{L}}\subseteq I_{\mathscr{E}}$ and hence

[TABLE]

Moreover, the GIT quotient $\mathbb{V}(I_{\mathscr{L}})\operatorname{\!/\!\!/\!}_{\theta}G$ is irreducible and contains the $G$-orbit closures of points of $(\Bbbk^{\times})^{Q_{1}^{\prime}}$ in $\mathbb{A}_{\Bbbk}^{Q_{1}^{\prime}}$, so the inclusion from (6.4) is an equality. ∎

The next example shows that $\mathcal{M}(T_{C})$ need not be irreducible, or equivalently, the morphism $g_{C}$ need not be surjective in this context.

Example 6.2**.**

For the cyclic subgroup $G\subset\operatorname{SL}(3,\mathbb{C})$ of type $\frac{1}{3}(1,1,1)$, an NCCR for the $G$-invariant ring $R:=\Bbbk[x,y,z]^{G}$ can be presented as the McKay quiver with relations:

[TABLE]

The cornering subset $C=\{0,2\}$ corners away the vertex 1 to produce the algebra $A_{C}$, which can be presented as the quiver

[TABLE]

with relations inherited from $A$. Consider the $A_{C}$ representation $(N,\lambda)$ of dimension vector $(1,1)$ defined by

[TABLE]

Then $j_{!}(N)$ is an $A$ representation $(V,\rho)$ with dimension vector $(1,3,1)$ defined by

[TABLE]

This representation does not have $S_{1}$ as a submodule, and hence the point in $\mathcal{M}(E_{C})$ corresponding to $N$ is not in the image of $g_{C}$ by Proposition 3.7.

In order to complete the statement and proof of Proposition 1.5, we require a generalisation to our context of a notion introduced by Takahashi [Tak11]:

Definition 6.3**.**

A vertex $i\in Q_{0}$ is essential if there exists a [math]-generated $A$-module that has a submodule isomorphic to $S_{i}$. Let $E\subset Q_{0}$ denote the set of essential vertices.

Remark 6.4*.*

The proof of Bocklandt–Craw–Quintero Vélez [BCQ15, Proposition 4.7] shows that a vertex $i\in Q_{0}$ is essential if and only if the [math]-generated GIT chamber in $\Theta_{\bm{\mathrm{v}}}$ has a wall contained in the hyperplane $S_{i}^{\perp}:=\{\theta\in\Theta_{\bm{\mathrm{v}}}\mid\theta(S_{i})=0\}$. This observation is the key ingredient in the next result which completes the proof of Proposition 1.5.

Proposition 6.5**.**

Let $X$ be a Gorenstein affine toric threefold. For the set $C:=\{0\}\cup E$, the morphism $g_{C}\colon Y\to\mathcal{M}(T_{C})$ is an isomorphism onto the irreducible component $Y_{\theta}$ in $\mathcal{M}(T_{C})$.

Proof.

The stability parameter $\theta_{C}:=(\theta_{i})\in\Theta_{\bm{\mathrm{v}}}$ given by

[TABLE]

clearly lies in the closure of the [math]-generated chamber $\Theta_{\bm{\mathrm{v}}}^{+}$; in fact it lies in the interior of this chamber by Remark 6.4. Therefore $\theta_{C}$ is [math]-generated, so if we choose this linearisation when constructing the GIT quotient $\mathcal{M}(T)$, then the polarising ample line bundle is

[TABLE]

The result follows from Theorem 2.6 and Proposition 6.1. ∎

Remark 6.6*.*

In the special case where $G\subset\operatorname{SL}(3,\mathbb{C})$ is a finite abelian subgroup, Proposition 6.5 recovers the main result of Takahashi [Tak11] by reconstructing the $G$-Hilbert scheme $Y$ as an irreducible component of the fine moduli space of [math]-generated $A_{C}=\operatorname{End}_{Y}(T_{C})$-modules of dimension vector $\bm{\mathrm{v}}_{C}$. One cannot strengthen this conclusion, simply because the moduli space $\mathcal{M}(T_{C})$ need not be irreducible in this case, as shown in Example 6.2.

7. On Reid’s recipe and surface essentials

We continue to work under the assumptions of the previous section, where $X$ is a Gorenstein affine toric threefold and $Y\cong\mathcal{M}(T)$ is a crepant resolution. Our goal is to present a general framework and some explicit examples that are orthogonal in spirit to Proposition 6.5, with a view to obtaining an isomorphism $\mathcal{M}(T)\cong\mathcal{M}(T_{C})$. The terminology ‘essentials’ might suggest that keeping such vertices is crucial if $g_{C}$ is to be an isomorphism, but this is not the case; indeed, here we choose which essential vertices to remove from the set $Q_{0}$.

Our motivation comes from comparing Corollary 5.6$(\mathrm{ii})$ with the derived category statement of Reid’s recipe [CL09, Log10, CCL12, BCQ15]. The key observation is the following (see Remark 6.4 for another equivalent condition):

Lemma 7.1**.**

A nonzero vertex $i\in Q_{0}$ is essential iff the object $\Psi(S_{i})$ in $D^{b}(A)$ is a sheaf.

Proof.

The proof of Bocklandt–Craw–Quintero Vélez [BCQ15, Lemma 4.2] shows that a nonzero vertex $i\in Q_{0}$ is essential if and only if there exists a torus-invariant [math]-generated $A$-module that has a submodule isomorphic to $S_{i}$. Now apply [BCQ15, Theorem 1.1$(\mathrm{i})$, Proposition 1.3]. ∎

Remark 7.2*.*

One can also show (see [BCQ15, Theorem 1.4]) that each nonzero inessential (= not essential) vertex $i\in Q_{0}$ is such that the class $[\Psi(S_{i})]\in K^{\operatorname{num}}_{c}(Y)$ is equal to $-[\mathcal{F}]$, where $\mathcal{F}$ is the class of a sheaf. In particular, the statement of Corollary 5.6$(\mathrm{ii})$ does not hold if we remove inessential vertices from $Q_{0}$, so it does not apply in the situation of Proposition 6.5.

We now restrict ourselves to the case when $X$ is isomorphic to the quotient singularity $\mathbb{A}^{3}_{\Bbbk}/G$, where $G\subset\operatorname{SL}(3,\mathbb{C})$ is a finite abelian subgroup, and where $Y$ is the $G$-Hilbert scheme (see Remark 7.4$(\mathrm{i})$). Let $\operatorname{Irr}(G)$ denote the set of isomorphism classes of irreducible representation of $G$; this is the vertex set of the McKay quiver. Reid’s recipe [Rei97, Cra05] marks every proper, torus-invariant curve and surface in the $G$-Hilbert scheme $Y$ with an irreducible representation of $G$; those surfaces that are isomorphic to the del Pezzo surface of degree six are marked with two irreducible representations.

Proposition 7.3**.**

Let $C\subseteq\operatorname{Irr}(G)$ be a subset obtained by removing at most one irreducible representation that marks each proper, torus-invariant surface in $G\operatorname{-Hilb}$. If $\dim_{i}j_{!}(N_{x})\neq 0$ for all $i\in Q_{0}\setminus C$ and all $x\in Y^{\prime}$, then the universal morphism $g_{C}\colon Y\to\mathcal{M}(T_{C})$ is an isomorphism.

Proof.

Let $\theta_{C}\in\Theta_{\bm{\mathrm{v}}}$ denote the stability parameter defined as in (6.5) above. Again we claim that the line bundle $L(\theta_{C})\cong\bigotimes_{\rho\in C}T_{\rho}$ on $Y$ is ample. To see this, it suffices to show that for each torus-invariant curve $\ell\subset Y$, there exists $\rho\in C$ such that $\deg T_{\rho}|_{\ell}>0$. Reid’s recipe labels the curve $\ell$ with some $\rho\in\operatorname{Irr}(G)$, and we have $\deg T_{\rho}|_{\ell}=1$ by [Cra05, Lemma 7.2]. To see that $\rho\in C$, [Cra05, Corollary 4.6] states that every irreducible representation marks either a (collection of) curve(s) in $Y$ or a unique proper surface, and since we obtain $C$ from $Q_{0}=\operatorname{Irr}(G)$ by removing only representations that mark surfaces, we have $\rho\in C$ after all.

Theorem 2.6 and Proposition 6.1 imply that $g_{C}\colon Y\to\mathcal{M}(T_{C})$ is an isomorphism onto the irreducible component $Y_{\theta}$ in $\mathcal{M}(T_{C})$. Since we obtain $C$ by removing only essential vertices from $\operatorname{Irr}(G)$ , the object $\Psi(S_{\rho})$ is a sheaf for each $\rho\in Q_{0}\setminus C$ by Lemma 7.1. Since $\dim_{i}j_{!}(N_{x})\neq 0$ for all $i\in Q_{0}\setminus C$ and all $x\in Y^{\prime}$, Corollary 5.6$(\mathrm{ii})$ shows that $g_{C}$ is an isomorphism. ∎

Remarks 7.4*.*

1. (1)

In Proposition 7.3 we assumed that $X=\mathbb{A}^{3}_{\Bbbk}/G$ (and hence $Y\cong G\operatorname{-Hilb}$) because [Cra05, Corollary 4.6] is known to hold only for the $G$-Hilbert scheme at present. 2. (2)

The condition in Proposition 7.3 that we remove from $\operatorname{Irr}(G)$ at most one irreducible representation that marks each surface implies that the indecomposable summands of $T_{C}$ generate the Picard group of $Y$; see [Cra05, Theorem 6.1]. Example 7.7 illustrates that the statement of Proposition 7.3 can fail without this condition.

We now present several examples where we directly calculate the $A$ representation $j_{!}(N)=(V,\rho)$ in order to show when the hypotheses of Proposition 7.3 hold. To calculate the vector spaces $V_{k}=e_{k}j_{!}(N)$ we present $e_{k}Ae_{C}$ as a right $A_{C}$-module by a sequence

[TABLE]

and apply $(-)\otimes_{A_{C}}N$ to produce a sequence

[TABLE]

that presents the vector space $V_{k}$ as the cokernel of a matrix $P_{N}$.

Example 7.5**.**

For the cyclic subgroup $G\subset\operatorname{SL}(3,\mathbb{C})$ of type $\frac{1}{6}(1,2,3)$, an NCCR for the $G$-invariant ring $R:=\Bbbk[x,y,z]^{G}$ can be presented as the McKay quiver with relations:

[TABLE]

The cornering set $C=\{0,1,2,3,4\}$ removes the surface essential vertex 5, and the right $A_{C}$-module $e_{5}Ae_{C}$ is generated by $(x_{4},y_{3},z_{2})$ and can be presented as the cokernel of the matrix

[TABLE]

An $A_{C}$ representation $(N,\lambda)$ of dimension vector $(1,1,1,1,1)$ assigns a linear map $\lambda_{p}\in\textnormal{Mat}(\Bbbk)\cong\Bbbk$ to each path $p\in A_{C}$ such that $\dim_{5}j_{!}(N)=\dim\operatorname{Coker}P_{N}$ where

[TABLE]

The matrix $P_{N}$ has determinant of $\lambda_{x_{1}}\lambda_{y_{2}}\lambda_{z_{0}}-\lambda_{x_{2}}\lambda_{y_{0}}\lambda_{z_{1}}$, and it can be calculated using the relations on $A_{C}$ that

[TABLE]

When $N$ is 0-generated there is a path $p$ from vertex 0 to vertex 2 such that $\lambda_{p}\neq 0$. All paths in $A$ from 0 to 2 either factor through vertex 5 or one of the paths $x_{0}x_{1}$ or $y_{0}$. As such $\det P=0$ and $\dim_{5}j_{!}(N)>0$. It’s easy to compute using Reid’s recipe that $5$ is a surface essential vertex, so the $G$-Hilbert scheme is isomorphic to $\mathcal{M}(T_{C})$ in this case by Proposition 7.3.

Remark 7.6*.*

For the previous example, vertex 5 is the only essential vertex. It is natural to ask whether the morphism $g_{C}\colon Y\to\mathcal{M}(T_{C})$ from Proposition 6.1 is always an isomorphism when we corner away essential vertices. The next example shows that this is not the case when we corner away a pair of essential vertices that mark the same proper torus-invariant surface according to Reid’s recipe. The simplest example of the $G$-Hilbert scheme with this phenomenon is for an action of the group $(\mathbb{Z}/3\mathbb{Z})^{\oplus 2}$, because in that case the $G\operatorname{-Hilb}$ contains a del Pezzo surface of degree $6$ (see [Cra05, Lemma 3.4]). Here we choose a simpler example defined by a consistent dimer model, so in this case we use Reid’s recipe as described by Tapia Amador [Tap15].

Example 7.7**.**

Let $\text{dP}_{6}$ denote the del Pezzo surface of degree six, let $Y$ denote the total space of the canonical bundle on $\text{dP}_{6}$, and write $\pi\colon Y\to\text{dP}_{6}$ for the contraction of the zero-section. There is a full strong exceptional collection of globally generated line bundles $(L_{0},\dots,L_{5})$ on $\text{dP}_{6}$, and the bundle $\bigoplus_{0\leq i\leq 5}\pi^{*}(L_{i})$ is a tilting bundle on $Y$ whose endomorphism algebra can be presented by the following quiver with relations

[TABLE]

The cornering set $C:=\{0,1,2,3,4\}$ removes the surface essential vertex $5$. An $A_{C}$ representation $(N,\lambda)$ of dimension vector $(1,1,1,1,1)$ assigns a linear maps $\lambda_{p}\in\Bbbk$ to paths in $A_{C}$. The right $A_{C}$-module $e_{5}Ae_{C}$ is generated by $(x_{5},y_{5},z_{5})$ and the vector space $e_{5}j_{!}(N)$ is given by the cokernel of the matrix

[TABLE]

which has determinant $\lambda_{b_{1}}\lambda_{b_{2}}\lambda_{b_{3}}-\lambda_{a_{1}}\lambda_{a_{2}}\lambda_{a_{3}}$. Using the relations on $A_{C}$ we calculate

[TABLE]

and similarly $\lambda_{y_{4}}\det P=0$ and $\lambda_{z_{4}}\det P=0$. When $N$ is 0-generated there is a path $p$ from vertex 0 to vertex 4 such that $\lambda_{p}\neq 0$. Any such path contains one of $x_{4},y_{4}$ or $z_{4}$ so one of $\lambda_{x_{4}},\lambda_{y_{4}}$, or $\lambda_{z_{4}}$ must be non-zero, so $\det(P)=0$ and hence $\dim\operatorname{Coker}P>0$. In particular $\dim_{5}j_{!}(N)>0$ and by Proposition 7.3 the cornering morphism $g_{C}$ is surjective because 5 is a surface essential.

The cornering set $C^{\prime}=\{0,1,2,3\}$ removes both vertices 4 and 5, and for an $A_{C^{\prime}}$ representation $(N^{\prime},\lambda^{\prime})$ of dimension $(1)_{i\in C^{\prime}}$ the vector space $e_{5}j_{!}(N^{\prime})$ is the cokernel of the matrix

[TABLE]

However, as the vertex $4$ does not appear in $C^{\prime}$ the stability condition on $N^{\prime}$ does not require the existence of a non-zero path from [math] to $4$ and the determinant of $P^{\prime}_{N^{\prime}}$ need not be zero. Indeed, the $A_{C^{\prime}}$ representation $N^{\prime}$ defined by $\lambda^{\prime}_{a_{1}}=\lambda^{\prime}_{a_{2}}=\lambda^{\prime}_{a_{3}}=1$ and all other $\lambda^{\prime}_{p}=0$ is 0-generated, the cokernel of $P^{\prime}_{N^{\prime}}$ is trivial, and $\dim_{5}j_{!}(N^{\prime})=0$. As such $g_{C^{\prime}}$ is not surjective.

Note in this case that the tautological bundles $T_{i}$ on $Y$ satisfy $T_{4}\otimes T_{5}\cong T_{1}\otimes T_{2}\otimes T_{3}$, and removing both $T_{4}$ and $T_{5}$ leaves too few bundles to generate the Picard group of $Y$.

Appendix A The numerical Grothendieck group for compact support

Here we recall the numerical Grothendieck group for compact support introduced in [BCZ17]. As an application, we extend to NCCRs satisfying Assumption 5.1 the connectedness result for the $G$-Hilbert scheme due to Bridgeland–King–Reid [BKR01]; this result was well-known to Van den Bergh [VdB04a, Remark 6.6], but we give a slightly simpler proof using the numerical Grothendieck group.

Let $A$ be an associative $\Bbbk$-algebra of the form $\Bbbk Q/I$, where $Q$ is a finite, connected quiver and $I\subset\Bbbk Q$ is a two-sided ideal generated by linear combinations of paths of length at least one. Each $i\in Q_{0}$ determines an indecomposable projective $A$-module $P_{i}:=Ae_{i}$. Our assumption on $I$ ensures that there is also a one-dimensional simple $A$-module $S_{i}=\Bbbk e_{i}$ on which the class in $A$ of each arrow acts as zero. Let $K_{\operatorname{fin}}(A)$ denote the Grothendieck group of the bounded derived category $D^{b}_{\operatorname{fin}}(A)$ of finite-dimensional $A$-modules. Since $A$ has finite global dimension, the Euler form $\chi_{A}\colon K(A)\times K_{\operatorname{fin}}(A)\to\mathbb{Z}$ is the bilinear form $\chi_{A}(E,F)=\sum_{i\in\mathbb{Z}}(-1)^{i}\dim_{\Bbbk}\operatorname{Ext}^{i}_{A}(E,F)$. The numerical Grothendieck group for $A$ is defined to be the quotient

[TABLE]

Lemma A.1**.**

If the classes $[P_{i}]$ for $i\in Q_{0}$ generate $K(A)$, then $K(A)\cong\bigoplus_{i\in Q_{0}}\mathbb{Z}[P_{i}]$, $K^{\operatorname{num}}(A)\cong\bigoplus_{i\in Q_{0}}\mathbb{Z}[S_{i}]$, and $\chi_{A}$ descends to a perfect pairing $\chi_{A}\colon K(A)\times K^{\operatorname{num}}(A)\to\mathbb{Z}$.

Proof.

The assumption ensures that the classes $[P_{i}]$ for $i\in Q_{0}$ generate $K^{\operatorname{num}}(A)^{\vee}$. The result is immediate from [BCZ17, Lemma 7.1.1]. ∎

To describe the numerical Grothendieck group on the geometric side, let $Y$ be a smooth scheme that is projective over an affine scheme of finite type, and let $T$ be a tilting bundle on $Y$ with endomorphism algebra $A:=\operatorname{End}_{Y}(T)$. Buchweitz–Hille [BH13, Proposition 2.6] show that $T^{\vee}$ is also a tilting bundle with $\operatorname{End}_{Y}(T^{\vee})\cong A^{\text{op}}$, so

[TABLE]

is an equivalence of derived categories with quasi-inverse

[TABLE]

Any such algebra $A$ can be presented as a quotient $\Bbbk Q/I$, but the generators of $I$ may involve idempotents as noted in Remark 2.1; to avoid this, we assume that the generators of $I$ are linear combinations of paths of length at least one so that Lemma A.1 holds.

Let $K(Y)$ and $K_{c}(Y)$ denote the Grothendieck groups of the categories $D^{b}(Y)$ and $D^{b}_{c}(Y)$ respectively. Since $Y$ is smooth, the Euler form $\chi_{Y}\colon K(Y)\times K_{c}(Y)\to\mathbb{Z}$ is the bilinear form given by $\chi_{Y}(E,F)=\sum_{i\in\mathbb{Z}}(-1)^{i}\dim_{\Bbbk}\operatorname{Ext}^{i}_{\mathcal{O}_{Y}}(E,F)$, and the numerical Grothendieck group for compact support on $Y$ is defined to be the quotient

[TABLE]

The geometric analogue of Lemma A.1 follows by applying the equivalence $\Psi$ from (A.2):

Lemma A.2**.**

We have that $K(Y)\cong\bigoplus_{0\leq i\leq n}\mathbb{Z}[T_{i}^{\vee}]$ and $K^{\operatorname{num}}_{c}(Y)\cong\bigoplus_{0\leq i\leq n}\mathbb{Z}[\Psi(S_{i})]$, and the Euler form $\chi_{Y}$ descends to a perfect pairing $\chi_{Y}\colon K(Y)\times K^{\operatorname{num}}_{c}(Y)\to\mathbb{Z}$.

Proof.

The equivalence $\Psi$ induces isomorphisms $K(A)\cong K(Y)$ and $K^{\operatorname{num}}(A)\cong K^{\operatorname{num}}_{c}(Y)$ by [BCZ17, Theorem 7.2.1]. We compute $\Psi(P_{i})=T^{\vee}\otimes_{A}Ae_{i}=T_{i}^{\vee}$ for $i\in Q_{0}$, and the result is immediate from Lemma A.1. ∎

We now generalise the statement and proof of Bridgeland–King–Reid [BKR01, Section 8].

Proposition A.3**.**

Let $A$ be an NCCR satisfying Assumption 5.1. For any generic $\theta\in\Theta_{\bm{\mathrm{v}}}$, the moduli space $\mathcal{M}(A,\bm{\mathrm{v}},\theta)$ is connected.

Proof.

Suppose there exists a $\theta$-stable $A$-module $M$ of dimension vector $\bm{\mathrm{v}}$ that is not of the form $\Phi(\mathcal{O}_{y})$ for some closed point $y\in Y$. Write $E\in D^{b}_{c}(Y)$ for the object satisfying $\Phi(E)=M$. We claim that $E$ is quasi-isomorphic to a complex of locally-free sheaves of the form

[TABLE]

where $L^{i}$ is in degree $i$. For this, let $M_{1},M_{2}$ be non-isomorphic $\theta$-stable $A$-modules of dimension vector $\bm{\mathrm{v}}$. Any nonzero $\phi\in\operatorname{Hom}_{A}(M_{1},M_{2})$ has nonzero kernel and a proper image for dimension vector reasons. Then $\theta(\ker(\phi))>0$ because $M_{1}$ is $\theta$-stable, but then $\theta(\operatorname{Im}(\phi))<0$ because $M_{2}$ is $\theta$-stable. This is absurd, so $\operatorname{Hom}_{A}(M_{1},M_{2})=0$. Since $A$ is CY3, the category $D^{b}(A)$ has trivial Serre functor and hence $\operatorname{Ext}_{A}^{3}(M_{1},M_{2})=\operatorname{Hom}_{A}(M_{2},M_{1})=0$. Thus, for any $y\in Y$

[TABLE]

unless $1\leq i\leq 2$. The claim now follows from Bridgeland–Maciocia [BM02, Proposition 5.4]. Since $E\in D^{b}_{c}(Y)$, we have that $H^{-1}(E)\cong\ker(g)$ is a torsion subsheaf of $L^{-2}$ and hence is zero. It follows that $E\cong\operatorname{cok}(g)[1]$, and hence $[E]=-[\operatorname{cok}(g)]\in K^{\operatorname{num}}_{c}(Y)$.

For any closed point $y\in Y$, the $\theta$-stable $A$-modules $\Phi(\mathcal{O}_{y})$ and $M$ have dimension vector $\bm{\mathrm{v}}$. This gives $[\Phi(\mathcal{O}_{y})]=\bm{\mathrm{v}}=[M]\in K^{\operatorname{num}}(A)$, so

[TABLE]

and hence $[\mathcal{O}_{y}]=-[\operatorname{cok}(g)]\in K^{\operatorname{num}}_{c}(Y)$. Let $j\colon Y\to\overline{Y}$ be a smooth projective completion. By [BCZ17, Proof of Lemma 5.1.1], we may pushforward numerical classes with compact support to obtain $[j_{*}\mathcal{O}_{y}]=-[j_{*}\operatorname{cok}(g)]\in K^{\operatorname{num}}(\overline{Y})$. However, for any sufficiently ample bundle $L$ on $\overline{Y}$, the integers $\chi(j_{*}\mathcal{O}_{y}\otimes L)$ and $\chi(j_{*}\operatorname{cok}(g)\otimes L)$ are both positive, a contradiction. ∎

Corollary A.4**.**

For generic $\theta\in\Theta_{\bm{\mathrm{v}}}$, the fine moduli space $\mathcal{M}(A,\bm{\mathrm{v}},\theta)$ is a projective crepant resolution of $\operatorname{Spec}R$, and the bundle $T^{\vee}$ dual to the tautological bundle on $\mathcal{M}(A,\bm{\mathrm{v}},\theta)$ determines the derived equivalences (A.1) and (A.2).

For $A=\operatorname{End}_{R}(M)$ satisfying Assumption 5.1, Lemma A.2 establishes that the number of non-isomorphic indecomposable summands of the reflexive module $M$ is equal to the rank of the Grothendieck group of any projective crepant resolution of $\operatorname{Spec}R$. This statement is false without Assumption 5.1; a counterexample can be constructed using [BRS*+*16, Lectures on Noncommutative Resolutions, Example 2.17].