On the classification of OADP varieties

The main purpose of this paper is to show that OADP varieties stand at an important crossroad of various main streets in different disciplines like projective geometry, birational geometry and algebra. This is a good reason for studying and classifying them. Main specific results are: (a) the classification of all OADP surfaces (regardless to their smoothness); (b) the classification of a relevant class of normal OADP varieties of any dimension, which includes interesting examples like lagrangian grassmannians. Following [PR], the equivalence of the classification in (b) with the one of quadro-quadric Cremona transformations and of complex, unitary, cubic Jordan algebras are explained.Comment: 13 pages. Dedicated to Fabrizio Catanese on the occasion of his 60th birthday. To appear in a special issue of Science in China Series A: Mathematic

The implicit equation of a canal surface

A canal surface is an envelope of a one parameter family of spheres. In this paper we present an efficient algorithm for computing the implicit equation of a canal surface generated by a rational family of spheres. By using Laguerre and Lie geometries, we relate the equation of the canal surface to the equation of a dual variety of a certain curve in 5-dimensional projective space. We define the \mu-basis for arbitrary dimension and give a simple algorithm for its computation. This is then applied to the dual variety, which allows us to deduce the implicit equations of the the dual variety, the canal surface and any offset to the canal surface.Comment: 26 pages, to be published in Journal of Symbolic Computatio

Spacelike intersection curve of three spacelike hypersurfaces in E14E_1^4

In this paper, we compute the Frenet vectors and the curvatures of the spacelike intersection curve of three spacelike hypersurfaces given by their parametric equations in four-dimensional Minkowski space $E_1^4$