Rational variety

Last updated December 24, 2023

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

Rationality and parameterization

Let V be an affine algebraic variety of dimension d defined by a prime ideal I = ⟨f₁, ..., f_k⟩ in $K[X_{1},\dots ,X_{n}]$ . If V is rational, then there are n + 1 polynomials g₀, ..., g_n in $K(U_{1},\dots ,U_{d})$ such that $f_{i}(g_{1}/g_{0},\ldots ,g_{n}/g_{0})=0.$ In order words, we have a rational parameterization $x_{i}={\frac {g_{i}}{g_{0}}}(u_{1},\ldots ,u_{d})$ of the variety.

Conversely, such a rational parameterization induces a field homomorphism of the field of functions of V into $K(U_{1},\dots ,U_{d})$ . But this homomorphism is not necessarily onto. If such a parameterization exists, the variety is said to be unirational. Lüroth's theorem (see below) implies that unirational curves are rational. Castelnuovo's theorem implies also that, in characteristic zero, every unirational surface is rational.

Rationality questions

A rationality question asks whether a given field extension is rational, in the sense of being (up to isomorphism) the function field of a rational variety; such field extensions are also described as purely transcendental. More precisely, the rationality question for the field extension $K\subset L$ is this: is $L$ isomorphic to a rational function field over $K$ in the number of indeterminates given by the transcendence degree?

There are several different variations of this question, arising from the way in which the fields $K$ and $L$ are constructed.

For example, let $K$ be a field, and let

\{y_{1},\dots ,y_{n}\}

be indeterminates over K and let L be the field generated over K by them. Consider a finite group $G$ permuting those indeterminates over K. By standard Galois theory, the set of fixed points of this group action is a subfield of $L$ , typically denoted $L^{G}$ . The rationality question for $K\subset L^{G}$ is called Noether's problem and asks if this field of fixed points is or is not a purely transcendental extension of K. In the paper ( Noether 1918 ) on Galois theory she studied the problem of parameterizing the equations with given Galois group, which she reduced to "Noether's problem". (She first mentioned this problem in ( Noether 1913 ) where she attributed the problem to E. Fischer.) She showed this was true for n = 2, 3, or 4. R. G.Swan ( 1969 ) found a counter-example to the Noether's problem, with n = 47 and G a cyclic group of order 47.

Lüroth's theorem

A celebrated case is Lüroth's problem, which Jacob Lüroth solved in the nineteenth century. Lüroth's problem concerns subextensions L of K(X), the rational functions in the single indeterminate X. Any such field is either equal to K or is also rational, i.e. L = K(F) for some rational function F. In geometrical terms this states that a non-constant rational map from the projective line to a curve C can only occur when C also has genus 0. That fact can be read off geometrically from the Riemann–Hurwitz formula.

Even though Lüroth's theorem is often thought as a non elementary result, several elementary short proofs have been known for a long time. These simple proofs use only the basics of field theory and Gauss's lemma for primitive polynomials (see e.g.^[1]).

Unirationality

A unirational varietyV over a field K is one dominated by a rational variety, so that its function field K(V) lies in a pure transcendental field of finite type (which can be chosen to be of finite degree over K(V) if K is infinite). The solution of Lüroth's problem shows that for algebraic curves, rational and unirational are the same, and Castelnuovo's theorem implies that for complex surfaces unirational implies rational, because both are characterized by the vanishing of both the arithmetic genus and the second plurigenus. Zariski found some examples (Zariski surfaces) in characteristic p > 0 that are unirational but not rational. Clemens & Griffiths (1972) showed that a cubic three-fold is in general not a rational variety, providing an example for three dimensions that unirationality does not imply rationality. Their work used an intermediate Jacobian. Iskovskih & Manin (1971) showed that all non-singular quartic threefolds are irrational, though some of them are unirational. Artin & Mumford (1972) found some unirational 3-folds with non-trivial torsion in their third cohomology group, which implies that they are not rational.

For any field K, János Kollár proved in 2000 that a smooth cubic hypersurface of dimension at least 2 is unirational if it has a point defined over K. This is an improvement of many classical results, beginning with the case of cubic surfaces (which are rational varieties over an algebraic closure). Other examples of varieties that are shown to be unirational are many cases of the moduli space of curves.^[2]

Rationally connected variety

A rationally connected variety (or uniruled variety) V is a projective algebraic variety over an algebraically closed field such that through every two points there passes the image of a regular map from the projective line into V. Equivalently, a variety is rationally connected if every two points are connected by a rational curve contained in the variety.^[3]

This definition differs from that of path connectedness only by the nature of the path, but is very different, as the only algebraic curves which are rationally connected are the rational ones.

Every rational variety, including the projective spaces, is rationally connected, but the converse is false. The class of the rationally connected varieties is thus a generalization of the class of the rational varieties. Unirational varieties are rationally connected, but it is not known if the converse holds.

Stably rational varieties

A variety V is called stably rational if $V\times \mathbf {P} ^{m}$ is rational for some $m\geq 0$ . Any rational variety is thus, by definition, stably rational. Examples constructed by Beauville et al. (1985) show, that the converse is false however.

Schreieder (2019) showed that very general hypersurfaces $V\subset \mathbf {P} ^{N+1}$ are not stably rational, provided that the degree of V is at least $\log _{2}N+2$ .

Notes

↑ Bensimhoun, Michael (May 2004). "Another elementary proof of Luroth's theorem" (PDF). Jerusalem.{{cite journal}}: Cite journal requires |journal= (help)
↑ János Kollár (2002). "Unirationality of cubic hypersurfaces". Journal of the Institute of Mathematics of Jussieu. 1 (3): 467–476. arXiv: math/0005146 . doi:10.1017/S1474748002000117. MR 1956057. S2CID 6775041.
↑ Kollár, János (1996), Rational Curves on Algebraic Varieties, Berlin, New York: Springer-Verlag .

Related Research Articles

Algebraic geometry is a branch of mathematics which uses abstract algebraic techniques, mainly from commutative algebra, to solve geometrical problems. Classically, it studies zeros of multivariate polynomials; the modern approach generalizes this in a few different aspects.

<span class="mw-page-title-main">Diophantine equation</span> Polynomial equation whose integer solutions are sought

In mathematics, a Diophantine equation is an equation, typically a polynomial equation in two or more unknowns with integer coefficients, for which only integer solutions are of interest. A linear Diophantine equation equates to a constant the sum of two or more monomials, each of degree one. An exponential Diophantine equation is one in which unknowns can appear in exponents.

Bézout's theorem is a statement in algebraic geometry concerning the number of common zeros of $n$ polynomials in $n$ indeterminates. In its original form the theorem states that in general the number of common zeros equals the product of the degrees of the polynomials. It is named after Étienne Bézout.

Faltings's theorem is a result in arithmetic geometry, according to which a curve of genus greater than 1 over the field $of rational numbers has only finitely many rational points. This was conjectured in 1922 by Louis Mordell, and known as the Mordell conjecture until its 1983 proof by Gerd Faltings. The conjecture was later generalized by replacing by any number field.$

In mathematics, the Hodge conjecture is a major unsolved problem in algebraic geometry and complex geometry that relates the algebraic topology of a non-singular complex algebraic variety to its subvarieties.

In mathematics, an affine algebraic plane curve is the zero set of a polynomial in two variables. A projective algebraic plane curve is the zero set in a projective plane of a homogeneous polynomial in three variables. An affine algebraic plane curve can be completed in a projective algebraic plane curve by homogenizing its defining polynomial. Conversely, a projective algebraic plane curve of homogeneous equation $h (x, y, t) = 0$ can be restricted to the affine algebraic plane curve of equation $h (x, y, 1) = 0$ . These two operations are each inverse to the other; therefore, the phrase algebraic plane curve is often used without specifying explicitly whether it is the affine or the projective case that is considered.

In algebraic geometry, an affine algebraic set is the set of the common zeros over an algebraically closed field $k$ of some family of polynomials in the polynomial ring $An affine variety or affine algebraic variety, is an affine algebraic set such that the ideal generated by the defining polynomials is prime.$

In algebraic geometry, a projective variety over an algebraically closed field k is a subset of some projective n-space $over k that is the zero-locus of some finite family of homogeneous polynomials of n + 1 variables with coefficients in k, that generate a prime ideal, the defining ideal of the variety. Equivalently, an algebraic variety is projective if it can be embedded as a Zariski closed subvariety of .$

<span class="mw-page-title-main">Birational geometry</span> Field of algebraic geometry

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.

In mathematics, and especially in algebraic geometry, the intersection number generalizes the intuitive notion of counting the number of times two curves intersect to higher dimensions, multiple curves, and accounting properly for tangency. One needs a definition of intersection number in order to state results like Bézout's theorem.

In mathematics, the Brauer group of a field K is an abelian group whose elements are Morita equivalence classes of central simple algebras over K, with addition given by the tensor product of algebras. It was defined by the algebraist Richard Brauer.

In mathematics, a Cohen–Macaulay ring is a commutative ring with some of the algebro-geometric properties of a smooth variety, such as local equidimensionality. Under mild assumptions, a local ring is Cohen–Macaulay exactly when it is a finitely generated free module over a regular local subring. Cohen–Macaulay rings play a central role in commutative algebra: they form a very broad class, and yet they are well understood in many ways.

In geometry, a hypersurface is a generalization of the concepts of hyperplane, plane curve, and surface. A hypersurface is a manifold or an algebraic variety of dimension $n - 1$ , which is embedded in an ambient space of dimension $n$ , generally a Euclidean space, an affine space or a projective space. Hypersurfaces share, with surfaces in a three-dimensional space, the property of being defined by a single implicit equation, at least locally, and sometimes globally.

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$

In algebraic geometry, Brill–Noether theory, introduced by Alexander von Brill and Max Noether (1874), is the study of special divisors, certain divisors on a curve $C$ that determine more compatible functions than would be predicted. In classical language, special divisors move on the curve in a "larger than expected" linear system of divisors.

In mathematics, an algebraic surface is an algebraic variety of dimension two. In the case of geometry over the field of complex numbers, an algebraic surface has complex dimension two and so of dimension four as a smooth manifold.

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 algebraic geometry, a Fano variety, introduced by Gino Fano in, is an algebraic variety that generalizes certain aspects of complete intersections of algebraic hypersurfaces the sum of whose degree is at most the total dimension of the ambient projective space. Such complete intersections have important applications in geometry and number theory, because they typically admit rational points, an elementary case of which is the Chevalley–Warning theorem. Fano varieties provide an abstract generalization of these basic examples for which rationality questions are often still tractable.

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. 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.

This is a glossary of algebraic geometry.

References

Artin, Michael; Mumford, David (1972), "Some elementary examples of unirational varieties which are not rational", Proceedings of the London Mathematical Society, Third Series, 25: 75–95, CiteSeerX 10.1.1.121.2765 , doi:10.1112/plms/s3-25.1.75, ISSN 0024-6115, MR 0321934
Beauville, Arnaud; Colliot-Thélène, Jean-Louis; Sansuc, Jean-Jacques; Swinnerton-Dyer, Peter (1985), "Variétés stablement rationnelles non rationnelles", Annals of Mathematics, Second Series, 121 (2): 283–318, doi:10.2307/1971174, JSTOR 1971174, MR 0786350
Clemens, C. Herbert; Griffiths, Phillip A. (1972), "The intermediate Jacobian of the cubic threefold", Annals of Mathematics , Second Series, 95 (2): 281–356, CiteSeerX 10.1.1.401.4550 , doi:10.2307/1970801, ISSN 0003-486X, JSTOR 1970801, MR 0302652
Iskovskih, V. A.; Manin, Ju. I. (1971), "Three-dimensional quartics and counterexamples to the Lüroth problem", Matematicheskii Sbornik , Novaya Seriya, 86 (1): 140–166, Bibcode:1971SbMat..15..141I, doi:10.1070/SM1971v015n01ABEH001536, MR 0291172
Kollár, János; Smith, Karen E.; Corti, Alessio (2004), Rational and nearly rational varieties, Cambridge Studies in Advanced Mathematics, vol. 92, Cambridge University Press, doi:10.1017/CBO9780511734991, ISBN 978-0-521-83207-6, MR 2062787
Noether, Emmy (1913), "Rationale Funktionenkörper", J. Ber. d. DMV, 22: 316–319.
Noether, Emmy (1918), "Gleichungen mit vorgeschriebener Gruppe", Mathematische Annalen , 78 (1–4): 221–229, doi:10.1007/BF01457099, S2CID 122353858 .
Swan, R. G. (1969), "Invariant rational functions and a problem of Steenrod", Inventiones Mathematicae, 7 (2): 148–158, Bibcode:1969InMat...7..148S, doi:10.1007/BF01389798, S2CID 121951942
Martinet, J. (1971), "Exp. 372 Un contre-exemple à une conjecture d'E. Noether (d'après R. Swan);", Séminaire Bourbaki. Vol. 1969/70: Exposés 364–381, Lecture Notes in Mathematics, vol. 189, Berlin, New York: Springer-Verlag, MR 0272580
Schreieder, Stefan (2019), "Stably irrational hypersurfaces of small slopes", Journal of the American Mathematical Society, 32 (4): 1171–1199, arXiv: 1801.05397 , doi:10.1090/jams/928, S2CID 119326067

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.

[1] Bensimhoun, Michael (May 2004). "Another elementary proof of Luroth's theorem" (PDF). Jerusalem.{{cite journal}}: Cite journal requires |journal= (help)

[2] János Kollár (2002). "Unirationality of cubic hypersurfaces". Journal of the Institute of Mathematics of Jussieu. 1 (3): 467–476. arXiv: math/0005146 . doi:10.1017/S1474748002000117. MR 1956057. S2CID 6775041.

[3] Kollár, János (1996), Rational Curves on Algebraic Varieties, Berlin, New York: Springer-Verlag .

[1]

[2]

[3]