Ruled variety

Last updated

In algebraic geometry, a variety over a field k is ruled if it is birational to the product of the projective line with some variety over k. A variety is uniruled if it is covered by a family of rational curves. (More precisely, a variety X is uniruled if there is a variety Y and a dominant rational map Y × P1 – → X which does not factor through the projection to Y.) The concept arose from the ruled surfaces of 19th-century geometry, meaning surfaces in affine space or projective space which are covered by lines. Uniruled varieties can be considered to be relatively simple among all varieties, although there are many of them.

Contents

Properties

Every uniruled variety over a field of characteristic zero has Kodaira dimension −∞. The converse is a conjecture which is known in dimension at most 3: a variety of Kodaira dimension −∞ over a field of characteristic zero should be uniruled. A related statement is known in all dimensions: Boucksom, Demailly, Păun and Peternell showed that a smooth projective variety X over a field of characteristic zero is uniruled if and only if the canonical bundle of X is not pseudo-effective (that is, not in the closed convex cone spanned by effective divisors in the Néron-Severi group tensored with the real numbers). [1] As a very special case, a smooth hypersurface of degree d in Pn over a field of characteristic zero is uniruled if and only if d ≤ n, by the adjunction formula. (In fact, a smooth hypersurface of degree d ≤ n in Pn is a Fano variety and hence is rationally connected, which is stronger than being uniruled.)

A variety X over an uncountable algebraically closed field k is uniruled if and only if there is a rational curve passing through every k-point of X. By contrast, there are varieties over the algebraic closure k of a finite field which are not uniruled but have a rational curve through every k-point. (The Kummer variety of any non-supersingular abelian surface over Fp with p odd has these properties. [2] ) It is not known whether varieties with these properties exist over the algebraic closure of the rational numbers.

Uniruledness is a geometric property (it is unchanged under field extensions), whereas ruledness is not. For example, the conic x2 + y2 + z2 = 0 in P2 over the real numbers R is uniruled but not ruled. (The associated curve over the complex numbers C is isomorphic to P1 and hence is ruled.) In the positive direction, every uniruled variety of dimension at most 2 over an algebraically closed field of characteristic zero is ruled. Smooth cubic 3-folds and smooth quartic 3-folds in P4 over C are uniruled but not ruled.

Positive characteristic

Uniruledness behaves very differently in positive characteristic. In particular, there are uniruled (and even unirational) surfaces of general type: an example is the surface xp+1 + yp+1 + zp+1 + wp+1 = 0 in P3 over Fp, for any prime number p ≥ 5. [3] So uniruledness does not imply that the Kodaira dimension is −∞ in positive characteristic.

A variety X is separably uniruled if there is a variety Y with a dominant separable rational map Y × P1 – → X which does not factor through the projection to Y. ("Separable" means that the derivative is surjective at some point; this would be automatic for a dominant rational map in characteristic zero.) A separably uniruled variety has Kodaira dimension −∞. The converse is true in dimension 2, but not in higher dimensions. For example, there is a smooth projective 3-fold over F2 which has Kodaira dimension −∞ but is not separably uniruled. [4] It is not known whether every smooth Fano variety in positive characteristic is separably uniruled.

Notes

  1. ↑ Boucksom, Demailly, Păun and Peternell. J. Alg. Geom. 22 (2013), 201-248. Corollary 0.3.
  2. ↑ F. Bogomolov and Y. Tschinkel, Amer. J. Math. 127 (2005), 825-835. Theorem 1.1.
  3. ↑ T. Shioda, Math. Ann. 211 (1974), 233-236. Proposition 1.
  4. ↑ E. Sato, Tohoku Math. J. 45 (1993), 447-460. Theorem.

Related Research Articles

Birational geometry field of algebraic geometry to determine when two algebraic varieties are isomorphic

In mathematics, birational geometry is a field of algebraic geometry in which the goal is to determine when two algebraic varieties are isomorphic outside lower-dimensional subsets. This amounts to studying mappings that are given by rational functions rather than polynomials; the map may fail to be defined where the rational functions have poles.

David Mumford American mathematician

David Bryant Mumford is an American mathematician known for distinguished work in algebraic geometry, and then for research into vision and pattern theory. He won the Fields Medal and was a MacArthur Fellow. In 2010 he was awarded the National Medal of Science. He is currently a University Professor Emeritus in the Division of Applied Mathematics at Brown University.

Cubic surface algebraic surface defined by a single quaternary cubic polynomial which is homogeneous of degree 3

In mathematics, a cubic surface is a surface in 3-dimensional space defined by one polynomial equation of degree 3. Cubic surfaces are fundamental examples in algebraic geometry. The theory is simplified by working in projective space rather than affine space, and so cubic surfaces are generally considered in projective 3-space . The theory also becomes more uniform by focusing on surfaces over the complex numbers rather than the real numbers; note that a complex surface has real dimension 4. A simple example is the Fermat cubic surface

K3 surface A type of smooth complex surface of kodaira dimension 0

In mathematics, a complex analytic K3 surface is a compact connected complex manifold of dimension 2 with trivial canonical bundle and irregularity zero. An (algebraic) K3 surface over any field means a smooth proper geometrically connected algebraic surface that satisfies the same conditions. In the Enriques–Kodaira classification of surfaces, K3 surfaces form one of the four classes of minimal surfaces of Kodaira dimension zero. A simple example is the Fermat quartic surface

In mathematics, the canonical bundle of a non-singular algebraic variety of dimension over a field is the line bundle , which is the nth exterior power of the cotangent bundle Ω on V.

In mathematics, a rational variety is an algebraic variety, over a given field K, which is birationally equivalent to a projective space of some dimension over K. This means that its function field is isomorphic to

In algebraic geometry, divisors are a generalization of codimension-1 subvarieties of algebraic varieties. Two different generalizations are in common use, Cartier divisors and Weil divisors. Both are ultimately derived from the notion of divisibility in the integers and algebraic number fields.

In algebraic geometry, the Kodaira dimensionκ(X) measures the size of the canonical model of a projective variety X.

In algebraic geometry, a branch of mathematics, a rational surface is a surface birationally equivalent to the projective plane, or in other words a rational variety of dimension two. Rational surfaces are the simplest of the 10 or so classes of surface in the Enriques–Kodaira classification of complex surfaces, and were the first surfaces to be investigated.

In number theory and algebraic geometry, a rational point of an algebraic variety is a point whose coordinates belong to a given field. If the field is not mentioned, the field of rational numbers is generally understood. If the field is the field of real numbers, a rational point is more commonly called a real point.

In mathematics, the Enriques–Kodaira classification is a classification of compact complex surfaces into ten classes. For each of these classes, the surfaces in the class can be parametrized by a moduli space. For most of the classes the moduli spaces are well understood, but for the class of surfaces of general type the moduli spaces seem too complicated to describe explicitly, though some components are known.

In mathematics, an elliptic surface is a surface that has an elliptic fibration, in other words a proper morphism with connected fibers to an algebraic curve such that almost all fibers are smooth curves of genus 1. This is equivalent to the generic fiber being a smooth curve of genus one. This follows from proper base change.

In algebraic geometry, a Fano variety, introduced by Gino Fano in, is a complete variety X whose anticanonical bundle KX* is ample. In this definition, one could assume that X is smooth over a field, but the minimal model program has also led to the study of Fano varieties with various types of singularities, such as terminal or klt singularities.

In algebraic geometry, a line bundle on a projective variety is nef if it has nonnegative degree on every curve in the variety. The classes of nef line bundles are described by a convex cone, and the possible contractions of the variety correspond to certain faces of the nef cone. In view of the correspondence between line bundles and divisors, there is an equivalent notion of a nef divisor.

In algebraic geometry, a supersingular K3 surface is a K3 surface over a field k of characteristic p > 0 such that the slopes of Frobenius on the crystalline cohomology H2(X,W ) are all equal to 1. These have also been called Artin supersingular K3 surfaces. Supersingular K3 surfaces can be considered the most special and interesting of all K3 surfaces.

Resolution of singularities problem asking whether every algebraic variety V has a resolution

In algebraic geometry, the problem of resolution of singularities asks whether every algebraic variety V has a resolution, a non-singular variety W with a proper birational map W→V. For varieties over fields of characteristic 0 this was proved in Hironaka (1964), while for varieties over fields of characteristic p it is an open problem in dimensions at least 4.

In mathematics and especially complex geometry, the Kobayashi metric is a pseudometric intrinsically associated to any complex manifold. It was introduced by Shoshichi Kobayashi in 1967. Kobayashi hyperbolic manifolds are an important class of complex manifolds, defined by the property that the Kobayashi pseudometric is a metric. Kobayashi hyperbolicity of a complex manifold X implies that every holomorphic map from the complex line C to X is constant.

This is a glossary of algebraic geometry.

Jean-Pierre Demailly French mathematician

Jean-Pierre Demailly is a French mathematician working in complex analysis and differential geometry.

Sébastien Boucksom is a French mathematician.

References

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.