Derived McKay correspondence for \(\mathrm{GL}(3,\mathbb{C})\) (Q1705486): Difference between revisions

Let \(G\) be a finite subgroup of \(\mathrm{SL}(3,\mathbb C)\), and let \(X=\mathbb C^3/G\) be the quotient variety with the nonsingular crepant resolution \(Y=G\)-Hilb\((\mathbb C^3)\). The famous theorem of Bridgeland-King-Reid proves an equivalence of derived categories \(D^b(\text{coh}([\mathbb C^3/G])) \cong D^b(\text{coh}(Y ))\) via a Fourier-MuKai transform. The left hand side of this equivalence is the bounded derived category of \(G\)-equivariant coherent sheaves on \(\mathbb C^3\) or equivalently the bounded derived category of the Deligne-Mumford stack \([\mathbb C^3/G]\). The right hand side of this equivalence is the bounded derived category of coherent sheaves on \(Y\). The paper under review obtains a generalization of Bridgeland-King-Reid theorem in the case \(G\) is a finite subgroup of \(\mathrm{GL}(3, \mathbb C)\). Suppose that a \(\mathbb Q\)-divisor \(B\) on \(X\) is defined by \(\pi^*(K_X + B) = K_{\mathbb C^3}\), where \(\pi: \mathbb C^3\to X\) is the natural projection. Let \(V_j\subset \mathbb C^3 \quad (j = 1,\dots, m)\) be all the proper linear subspaces whose inertia subgroups \(I_j\) are non-trivial and not contained in \(\mathrm{SL}(3,\mathbb C)\), and let \(D_j <G\) be the subgroup keeping \(V_j\) invariant. The paper under review proves that there exist smooth affine varieties \(Z_i \quad (i = 1,\dots, l)\) and a projective birational morphism \(f:Y\to X\) from a normal variety \(Y\) with only terminal quotient singularities, which is called a maximal \(\mathbb Q\)-factorial terminalization for the pair \((X, B)\), such that there are fully faithful functors \[ \phi_i : D^b(\text{coh}(Z_i)) \to D^b(\text{coh}([\mathbb C^3/G])) \] for \(i = 1,\dots, l\) and \[ \phi : D^b(\text{coh}(\tilde Y )) \to D^b(\text{coh}([\mathbb C^3/G])), \] where \(\tilde Y\) is the smooth Deligne-Mumford stack associated to \(Y\). Moreover, these give a semi-orthogonal decomposition \[ D^b(\text{coh}([\mathbb C^3/G]))\cong \langle \phi_1( D^b(\text{coh}(Z_1))),\dots, \phi_l ( D^b(\text{coh}(Z_l))),\phi( D^b(\text{coh}(Z))) \rangle. \] Finally, one of the following hold: {\parindent=6mm \begin{itemize}\item[(0)] \(\dim Z_i = 0\), and \(Z_i\cong V_j\) is the origin for some \(j\). \item[(1)] \(\dim Z_i = 1\), and \(Z_i\) is a smooth rational affine curve, and there is a finite morphism \(Z_i \to V_j/G_j\) for some \(j\), where \(G_j:=D_j/I_j\). \item[(2)] \(\dim Z_i = 2\), and \(Z_i \to V_j/G_j\) is the minimal resolution of singularities of the quotient surface for some \(j\). \end{itemize}} The correspondence \(\{1, \dots, l\} \to \{1, \dots, m\}\) given by \(i \mapsto j\) from the last part of the result above is not necessarily injective nor surjective. This result is an example of DK-hypothesis saying that equalities and inequalities of canonical divisors correspond to equivalences and semi-orthogonal decompositions of derived categories.