Osculation for conic fibrations.

Smooth projective surfaces fibered in conics over a smooth curve are investigated with respect to their k-th osculatory behavior. Due to the bound for the dimension of their osculating spaces they do not differ at all from a general surface for k = 2, while their structure plays a significant role for k >= 3. The dimension of the osculating space at any point is studied taking into account the possible existence of curves of low degree transverse to the fibers, and several examples are discussed to illustrate concretely the various situations arising in this analysis. As an application, a complete description of the osculatory behavior of Castelnuovo surfaces is given. The case k = 3 for del Pezzo surfaces is also discussed, completing the analysis done for k = 2 in a previous paper by the authors (2001). Moreover, for conic fibrations X subset of P-N whose k-th inflectional locus has the expected codimension, a precise description of this locus is provided in terms of Chern classes. In particular, for N = 8, it turns out that either X is hypo-osculating for k = 3, or its third inflectional locus is 1-dimensional

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.