Deformations of canonical triple covers

In this paper, we show that if X is a smooth variety of general type of dimension m≥3 for which the canonical map induces a triple cover onto Y, where Y is a projective bundle over P1 or onto a projective space or onto a quadric hypersurface, embedded by a complete linear series (except Q3 embedded in P4), then the general deformation of the canonical morphism of X is again canonical and induces a triple cover. The extremal case when Y is embedded as a variety of minimal degree is of interest, due to its appearance in numerous situations. For instance, by looking at threefolds Y of minimal degree we find components of the moduli of threefolds X of general type with KX3=3pg−9,KX3≠6, whose general members correspond to canonical triple covers. Our results are especially interesting as well because they have no lower dimensional analogues.

Deformations of canonical double covers

In this paper we show that if X is a smooth variety of general type of dimension m≥2 for which its canonical map induces a double cover onto Y, where Y is the projective space, a smooth quadric hypersurface or a smooth projective bundle over P1, embedded by a complete linear series, then the general deformation of the canonical morphism of X is again canonical and induces a double cover. The second part of the article proves the non-existence of canonical double structures on the rational varieties above mentioned. Our results have consequences for the moduli of varieties of general type of arbitrary dimension, since they show that infinitely many moduli spaces of higher dimensional varieties of general type have an entire “hyperelliptic” component. This is in sharp contrast with the case of curves or surfaces of lower Kodaira dimension.