On infinitesimal deformations of minimally elliptic singularities (Q3973653)

[For the entire collection see Zbl 0723.00028.] The author computes the dimension of the space \(T^ 1_ X\) of first order infinitesimal deformations for most of the minimally elliptic surface singularities \((X,0)\). This is a generalisation of a result of himself and \textit{Knörrer} for rational singularities. In the first part, he gives for a Gorenstein singularity \(X\) a description of the dual \((T^ 1_ X)^*\) as the cokernel of \(\mu:H^ 0(X',{\mathcal O}^ n_{X'})\to H^ 0(X',\Omega^ 1_{X'})\), where \(X'\) is the smooth part \(X\backslash\{0\}\). This map is induced by the natural epimorphism \({\mathcal O}^ n_ X\to\Omega^ 1_ X\), where \((X,0)\hookrightarrow(\mathbb{C}^ n,0)\). --- In the second part the author gives a factorization of the map \(\mu\). Let \(\pi:\tilde X\to X\) be a good desingularization of \((X,0)\), such that the pullback of the maximal ideal is invertible: \(\pi^*({\mathcal M}_{X,0})\cong{\mathcal O}_{\tilde X}(-Z)\), then there is a map \(\tilde\mu:{\mathcal O}^ n_{\tilde X}\to{\mathcal I}_ Z\Omega^ 1_{\tilde X}(\log(E))\), and \(\mu=\rho\circ\tilde\mu\) where \(\rho\) is the restriction \(H^ 0(\tilde X,{\mathcal I}_ Z\Omega^ 1_{\tilde X}(\log(E)))\to H^ 0(X',\Omega^ 1_{X'})\). When \(H^ 1(\tilde X,{\mathcal I}_ Z\Omega^ 1_{\tilde X}(\log(E)))=0\), the author computes the dimension of the cokernel of \(\rho\) from the irregularity \(q\) of \((X,0)\) and some invariants \(g\) and \(\beta\) introduced by J. Wahl. He gives also the dimension of the cokernel of \(\tilde\mu\) from the dimension of some cohomology groups of the sheaves \({\mathcal C}=\hbox{Coker}(\tilde\mu)\) and \({\mathcal R}=\hbox{Ker}(\tilde\mu)\) on \(\tilde X\). In the next part, the author shows that for most of minimally elliptic singularities, the group \(H^ 1(\tilde X,{\mathcal I}_ Z\Omega^ 1_{\tilde X}(\log(E)))\) vanishes and the invariants \(q\), \(g\) and \(\beta\) are easy to handle. To compute the sheaves \({\mathcal C}\) and \({\mathcal R}\), he must study the irreducible components of the exceptional divisor \(E\) of the minimal good resolution. He finds the following theorem: Let \(X\) be a minimally elliptic singularity of degree \(d\) such that all the components \(E_ i\), \(1\leq i\leq r\), of the exceptional divisor of the minimal good resolution are rational curves with \(E_ iE_ i<-2\), and with \(E_ iE_ i\leq-5\) for at least one \(i\), then \[ \dim(T^ 1_ X)=q+r+b-1+\dim H^ 0(| Z-E|,{\mathcal I}_ Z\Omega^ 1_{\tilde X}(\log(E)))-(d+\chi({\mathcal R}\otimes{\mathcal O}_ Z)) \] where \(b\) is the number of cycles of the dual graph of \(E\). He deduces for \((X,0)\) a \(D(r-2:b_ 1,\ldots,b_ r)\) singularity, with some conditions on \(r\) and the \(b_ i\), the result \(\dim(T^ 1_ X)=(q-1)+d+3(r-2)\).