A ruled surface in differential geometry is a surface formed by a motion of a straight line. The lines that belongs to this surface are called (rectilinear) generators, and every curve that intersects all the generators is called a directrix. If is the position vector of the directrix and is the unit vector of the generator passing through , then the position vector of the ruled surface is
where is the coordinate of a point on the generator. The line element of the ruled surface is
A ruled surface is characterized by the fact that its asymptotic net is semi-geodesic. A ruled surface can always be bent in a unique way so that an arbitrary curve on it becomes asymptotic (Beltrami's theorem). Moreover, if a ruled surface that is not developable is bent into another ruled surface, then either their generators coincide or they can both be bent into a quadric on which the net corresponding to the families of generators is asymptotic (Bonnet's theorem).
The set of points of a ruled surface at which the geodesic curvature of the orthogonal trajectories of the generators vanishes is called the line of striction of the ruled surface (or line of contraction, since through each point of it, a point of striction, in the limit there passes the common perpendicular of two infinitely close generators). The coordinate of a point of striction is ; on a cylinder the line of striction is undefined, and on a developable surface it is the edge of regression. The limit of the ratio of the shortest distance between two infinitely-close generators of a ruled surface to the angle between them is called the distribution parameter of the ruled surface: ; a developable surface is characterized by the fact that for it. The Gaussian curvature of a ruled surface is
The only minimal ruled surface is the helicoid. A ruled surface of revolution is a one-sheet hyperboloid, possibly degenerating to a cylinder, a cone or a plane. If all the generators of a ruled surface are parallel to one plane, then the surface is a Catalan surface.
|||V.F. Kagan, "Foundations of the theory of surfaces in a tensor setting" , 1–2 , Moscow-Leningrad (1947–1948) (In Russian)|
|||V.I. Shulikovskii, "Classical differential geometry in a tensor setting" , Moscow (1963) (In Russian)|
|||P.K. Rashevskii, "A course of differential geometry" , Moscow (1956) (In Russian)|
|[a1]||H. Brauner, "Differentialgeometrie" , Vieweg (1981) MR0616082 Zbl 0466.53001|
|[a2]||J. Hoschek, "Liniengeometrie" , B.I. Wissenschaftverlag Mannheim (1971) MR0353164 Zbl 0227.53007|
|[a3]||M. Berger, B. Gostiaux, "Differential geometry: manifolds, curves, and surfaces" , Springer (1988) (Translated from French) MR0917479 Zbl 0629.53001|
|[a4]||G. Darboux, "Leçons sur la théorie générale des surfaces et ses applications géométriques du calcul infinitésimal" , 1–4 , Chelsea, reprint (1972)|
|[a5]||M.P. Do Carmo, "Differential geometry of curves and surfaces" , Prentice-Hall (1976) pp. 145 Zbl 0326.53001|
A ruled surface in algebraic geometry is a smooth projective surface over an algebraically closed field that is birationally equivalent to a surface , where is the projective line and is a smooth projective curve of genus . An example of a ruled surface is the projectivization of a sheaf of rank 2 on that is locally free in the Zariski topology.
If there is a smooth morphism each fibre of which is isomorphic to , then is called a geometrically-ruled surface with base . When is a curve of genus , a geometrically-ruled surface is called a rational ruled surface; when the genus of is equal to , it is called a geometrically-ruled surface of genus . By the Noether–Enriques theorem, the morphism always has a section (see , , ).
over if and only if there is an invertible sheaf on such that .
b) All rational geometrically-ruled surfaces are exhausted up to an isomorphism by the countable series of surfaces
where is an integer and is an invertible sheaf on of degree ; except for the Veronese surface (cf. Veronese mapping), all surfaces of degree in are rational geometrically-ruled surfaces or cones over normal rational curves.
c) If is a minimal smooth projective surface over that is birationally equivalent to , where is a curve of genus , then is a geometrically-ruled surface with base , and is uniquely determined by up to an isomorphism.
d) If is a geometrically-ruled surface with base and is the corresponding morphism, then
, where is the class of some section; and
, , for any , and
where is the genus of , is the irregularity, is the geometric genus, is the -fold genus, and is the canonical divisor of .
e) If is a geometrically-ruled surface with base and is the class of some section of the morphism , then there is an invertible sheaf on such that the invertible sheaf determines an isomorphic imbedding for which the fibres of are mapped onto straight lines lying on and covering , that is, is a ruled surface in the usual sense.
Ruled surfaces form a distinguished class in the Enriques classification of algebraic surfaces (see , , ). They are characterized by any of the following criteria for being ruled (see , , , , ):
) The Kodaira dimension .
) The -fold genus for .
) For some (equivalently, for any) minimal model of the condition for termination of adjunction is satisfied, that is, for any divisor there is an integer such that the linear system is empty for all , where is the canonical divisor.
) On some (equivalently, on any) minimal model there is a curve with .
|||I.R. (ed.) Shafarevich, "Algebraic surfaces" Proc. Steklov Inst. Math. , 75 (1965) Trudy Mat. Inst. Akad. Nauk SSSR , 75 (1965) MR1392959 MR1060325 Zbl 0154.21001|
|||A. Beauville, "Surfaces algébriques complexes" Astérisque , 54 (1978) MR0485887 Zbl 0394.14014|
|||D. Husemoller, "Classification and embeddings of surfaces" R. Hartshorne (ed.) , Algebraic geometry (Arcata, 1974) , Proc. Symp. Pure Math. , 29 , Amer. Math. Soc. (1975) pp. 329–420 MR0506292 Zbl 0326.14009|
|||E. Bombieri, D. Mumford, "Enriques' classification of surfaces in char . II" W.L. Baily jr. (ed.) T. Shioda (ed.) , Complex Analysis and Algebraic geometry , Cambridge Univ. Press & Iwanami Shoten (1977) pp. 23–42 MR0491719 MR0491720|
|||F. Enriques, "Lezioni sulla teoria geometrica delle superficie algebriche" , CEDAM (1932)|
|||R. Hartshorne, "Algebraic geometry" , Springer (1977) MR0463157 Zbl 0367.14001|
|||K. Kodaira, "On the structure of complex analytic surfaces IV" Amer. J. Math. , 90 : 4 (1968) pp. 1048–1066 MR0239114 Zbl 0193.37702|
|[a1]||W. Edge, "The theory of ruled surfaces" , Cambridge Univ. Press (1931) MR1522836 Zbl 0001.40405 Zbl 57.0842.05|
|[a2]||A. van de Ven, "Compact complex surfaces" , Springer (1984) Zbl 0718.14023|
Ruled surface. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Ruled_surface&oldid=42130