Reflexive modules on minimally elliptic singularities (Q1113965): Difference between revisions

Let \(\pi: (\tilde X,E)\to (X,x)\) be a resolution of a normal surface singularity. Then there exists a positive cycle Z on \(\tilde X\) supported on E such that reflexive \({\mathcal O}_{X,x}\)-modules corresond bijectively up to isomorphism to locally free \({\mathcal O}_ Z\)-sheaves F which are generically generated by global sections and which admit extensions over \(\tilde X\) such that the induced map \(H^ 0(E,F(Z))\to H^ 1(E,F)\) is injective. If (X,x) is minimally elliptic, then the fundamental cycle on the minimal resolution can serve for Z and the locally free sheaves on Z corresponding to indecomposable reflexive modules \(\not\cong {\mathcal O}_{X,x}\) are precisely the \(F\cong n{\mathcal O}_ Z\oplus G\) with (i) G indecomposable, (ii) G generically spanned by global sections, (iii) \(H^ 1(E,G)=0,\) and (iv) \(n=h^ 0(E,G(Z)).\) If, moreover, \(0\to \tau G\to G'\to G\to 0\) is an almost split sequence of locally free sheaves on Z with G satisfying (i)-(iii) and n is as in (iv), then \(0\to n{\mathcal O}_ Z\oplus \tau G\to 2n{\mathcal O}_ Z\oplus G'\to n{\mathcal O}_ Z\oplus G\to 0\) corresponds to an almost split sequence of reflexive modules. For simply-elliptic singularities this implies that the Auslander-Reiten quivers of reflexive modules are countably infinite unions of families of tubes of rank 1 where all families are parametrized by the points of an elliptic curve.