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 . Many properties of cubic surfaces hold more generally for del Pezzo surfaces.
A central feature of smooth cubic surfaces X over an algebraically closed field is that they are all rational, as shown by Alfred Clebsch in 1866. That is, there is a one-to-one correspondence defined by rational functions between the projective plane minus a lower-dimensional subset and X minus a lower-dimensional subset. More generally, every irreducible cubic surface (possibly singular) over an algebraically closed field is rational unless it is the projective cone over a cubic curve. In this respect, cubic surfaces are much simpler than smooth surfaces of degree at least 4 in , which are never rational. In characteristic zero, smooth surfaces of degree at least 4 in are not even uniruled.
More strongly, Clebsch showed that every smooth cubic surface in over an algebraically closed field is isomorphic to the blow-up of at 6 points. As a result, every smooth cubic surface over the complex numbers is diffeomorphic to the connected sum , where the minus sign refers to a change of orientation. Conversely, the blow-up of at 6 points is isomorphic to a cubic surface if and only if the points are in general position, meaning that no three points lie on a line and all 6 do not lie on a conic. As a complex manifold (or an algebraic variety), the surface depends on the arrangement of those 6 points.
Most proofs of rationality for cubic surfaces start by finding a line on the surface.
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
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 (as a complex manifold, when it is non-singular) and so of dimension four as a smooth manifold. The theory of algebraic surfaces is much more complicated than that of algebraic curves (including the compact Riemann surfaces, which are genuine surfaces of (real) dimension two).
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. Recently techniques in differential geometry have been applied to the study of Fano varieties over the complex numbers, and success has been found in constructing moduli spaces of Fano varieties and proving the existence of Kähler–Einstein metrics on them through the study of K-stability of Fano varieties.
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. A rational map from one variety (understood to be irreducible) to another variety , written as a dashed arrow X Y, is defined as a morphism from a nonempty open subset to .
We classify simple groups that act by birational transformations on compact complex Kahler surfaces. Moreover, we show that every finitely generated simple group that acts non-trivially by birational transformations on a projective surface over an arbitrar ...
We state conditions under which the set S(k) of k-rational points on a del Pezzo surface S of degree 1 over an infinite field k of characteristic not equal to 2 or 3 is Zariski dense. For example, it suffices to require that the elliptic fibration S -> P-1 ...
In this article we prove two cases of the abundance conjecture for 3-folds in characteristic p>5: (i) (X,Delta) is klt and kappa(X,KX+Delta)=1, and (ii) (X,Delta) is klt, KX+Delta equivalent to 0 and X is not uniruled. ...