Reflexive modules on quotient surface singularities (Q1821153): Difference between revisions

Let (X,x) be a germ of an analytic quotient surface singularity. Let \(\pi: \tilde X\to X\) be the minimal desingularization of X with exceptional system \(\{E_ i\}_{1\leq i\leq r}\) and fundamental cycle \(Z=\sum ^{r}_{i=1}r_ iE_ i.\quad For\) each reflexive module M on X the sheaf \~M\(=\pi ^ *M/torsion\quad is\) locally free on \~X and the first Chern class is represented by a divisor which is transversal to the exceptional set E of \(\pi\). - The subject of this article is a generalization of the theorem of Artin-Verdier and the multiplication formula of Esnault-Knörrer on the McKay correspondence for rational double points to the case of an arbitrary quotient surface singularity. Main result: (i) For \(E_ i\) there is exactly one isomorphism class of an indecomposable reflexive module \(M_ i\) on (X,x) with \(c_ 1(\tilde M_ i).E_ j=\delta _{ij}\), \(1\leq i,j\leq r\), and \(R^ 1\pi _ *(\tilde M_ i^{\vee})=0\) for the dual sheaf \~M\({}_ i^{\vee}\) of \~M\({}_ i\). The rank of \(M_ i\) is \(r_ i\). - \((ii)\quad If\) \(0\to \tau (M)\to N_ M\to M\to 0\) is an almost split exact sequence then \(c_ 1(\tilde N_ M)=c_ 1(\tau (M)^{\sim})+c_ 1(\tilde M)\) if \(M\neq M_ 1,...,M_ r\), and \(c_ 1(\tilde N_ M)=c_ 1(\tau (M)^{\sim})+c_ 1(\tilde M)+E_ i\) if \(M=M_ i\). The fundamental sequence \(0\to \omega _ X\to N_{{\mathcal O}_ X}\to {\mathcal O}_ X\to {\mathbb{C}}\to 0\) induces \(c_ 1(\tilde N_{{\mathcal O}_ X})=c_ 1(\omega _{\tilde X})-Z\).