Everywhere non reduced moduli spaces (Q913879): Difference between revisions

The first explicit example of non-reduced local moduli for algebraic surface of general type was found by the reviewer in the class of surface with \(p_ g=4\), \(K^ 2=6\) [Invent. Math. 47, 209-248 (1978; Zbl 0409.14005)]. Then, \textit{R. Miranda} [Math. Z. 198, No.1, 83-93 (1988; Zbl 0622.14028)] exhibited another example of this kind with \(p_ g=7\) and \(K^ 2=14\) (which was known to the reviewer already in 1976, but remained unpublished). These two surfaces have non-ample canonical bundle, and this fact is related to the non-reducedness of the moduli space. The result of \textit{D. M. Burns} jun. and \textit{J. M. Wahl} [Invent. Math. 26, 67-88 (1974; Zbl 0288.14010)] says that these should be infinitesimally deformed to surfaces with ample canonical bundle. But this is not true for analytic deformation, as is seen from the classification of the possible candidates for deformations. In the paper under review the author put these two examples in a series of hypersurfaces in a weighted projective space P(1,1,p,q) (with p,q relatively prime) which all have non-reduced moduli. This is based on a theorem which relates, under some conditions, deformations of a smooth surface Z and those of the desingularization of a finite quotient Z/G with rational double points.