Torsion-free rank one sheaves over del Pezzo orders (Q1675077)

Let \(e,e'\) and \(f\) be positive integers with \(e'\) dividing \(e\) and let \(R:= \mathbb{C}[[u,v]]\) where \(\mathbb{C}\) is the field of complex numbers. Let \(S:= R<x,y>/I\) where \(I\) is the ideal generated by \(x^{e'}-u, y^{e'}-v, yx- \beta xy\) where \(\beta\) is a primitive \(e'\)'th root of unity. It follows \(S\) is of finite rank as free left \(R\)-module. The authors define a sub-\(R\)-algebra \(B\) of the full matrix ring \(\mathrm{Mat}^{e/e',e/e'}(S)\). And defines \(A(e,e',f)\) to be the full matrix ring \(\mathrm{Mat}^{f,f}(B)\). Note: It is not immediate that \(\mathrm{Mat}^{f,f}(B)\) is an associative ring. Let \(X\) be a smooth projective surface over \(\mathbb{C}\) -the field of complex numbers. The authors define an ``order'' on \(X\) to be a sheaf of associative \(O_X\)-algebras \(A\) satisfying the following properties: {\parindent=6mm \begin{itemize}\item[1.] \(A\) is coherent and torsion free as left \(O_X\)-module. \item[2.] The stalk \(A_{\eta}\) at the generic point is a central division algebra over \(\mathbb{C}(x):=O_{X,\eta}\) -- the function field of \(X\). \end{itemize}} The authors claim that the ``set of orders in \(A_{\eta}\)'' has an ordering defined by inclusion and defines a ``maximal order on \(X\)'' to be an order on \(X\) that is maximal with respect to this ordering. The authors define a maximal order \(A\) on a smooth projective surface \(X\) over \(\mathbb{C}\) to be ``terminal'' if the following conditions hold: Let \(x \in X\) be a closed point. {\parindent=6mm \begin{itemize}\item[1.] There is an isomorphism \(\tilde{O}_{X,x} \cong \mathbb{C}[[u,v]]\) of rings. \item[2.] There is a \(\mathbb{C}[[u,v]]\)-algebra isomorphism \(A_x \otimes \tilde{O}_{X,x} \cong A(e,e',f)\) for some positive integers \(e,e',f\) where \(e'\) divides \(e\). \end{itemize}} Note: Since \(X\) is assumed to be smooth the condition 1 automatically satisfied. The main theorem of the paper is the following: Theorem. Let \(X\) be a smooth projective surface over \(\mathbb{C}\). Let \(A \neq O_{\mathbb{P}^2}\) be a terminal order on \(X\) with \(-K_A\) ample. Then every torsion free \(A\)-module \(E\) can be deformed to a locally free \(A\)-module \(E'\). They use this result to prove that the space \(M^{lf}_{A/\mathbb{P}^2;c_1,c_2}\) of locally free \(A\)-modules with Chern classes \(c_1,c_2\) is a dense open subset of \(M_{A/ \mathbb{P}^2,c_1,c_2}\).