Castelnuovo's Theorem
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. Structure Every non-singular rational surface can be obtained by repeatedly blowing up a minimal rational surface. The minimal rational surfaces are the projective plane and the Hirzebruch surfaces Σ''r'' for ''r'' = 0 or ''r'' ≥ 2. Invariants: The plurigenera are all 0 and the fundamental group is trivial. Hodge diamond: where ''n'' is 0 for the projective plane, and 1 for Hirzebruch surfaces and greater than 1 for other rational surfaces. The Picard group is the odd unimodular lattice I1,''n'', except for the Hirzebruch surfaces Σ2''m'' when it is the even unimodular lattice II1,1. Castelnuovo's theorem Guido Caste ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Algebraic Geometry
Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical problems about these sets of zeros. The fundamental objects of study in algebraic geometry are algebraic varieties, which are geometric manifestations of solutions of systems of polynomial equations. Examples of the most studied classes of algebraic varieties are: plane algebraic curves, which include lines, circles, parabolas, ellipses, hyperbolas, cubic curves like elliptic curves, and quartic curves like lemniscates and Cassini ovals. A point of the plane belongs to an algebraic curve if its coordinates satisfy a given polynomial equation. Basic questions involve the study of the points of special interest like the singular points, the inflection points and the points at infinity. More advanced questions involve the topology of the ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Federigo Enriques
Abramo Giulio Umberto Federigo Enriques (5 January 1871 – 14 June 1946) was an Italian mathematician, now known principally as the first to give a classification of algebraic surfaces in birational geometry, and other contributions in algebraic geometry. Biography Enriques was born in Livorno, and brought up in Pisa, in a Sephardi Jewish family of Portuguese descent. His younger brother was zoologist Paolo Enriques who was also the father of Enzo Enriques Agnoletti and Anna Maria Enriques Agnoletti. He became a student of Guido Castelnuovo (who later became his brother-in-law after marrying his sister Elbina), and became an important member of the Italian school of algebraic geometry. He also worked on differential geometry. He collaborated with Castelnuovo, Corrado Segre and Francesco Severi. He had positions at the University of Bologna, and then the University of Rome La Sapienza. He lost his position in 1938, when the Fascist government enacted the "leggi razziali" (racial ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Veronese Surface
In mathematics, the Veronese surface is an algebraic surface in five-dimensional projective space, and is realized by the Veronese embedding, the embedding of the projective plane given by the complete linear system of conics. It is named after Giuseppe Veronese (1854–1917). Its generalization to higher dimension is known as the Veronese variety. The surface admits an embedding in the four-dimensional projective space defined by the projection from a general point in the five-dimensional space. Its general projection to three-dimensional projective space is called a Steiner surface. Definition The Veronese surface is the image of the mapping :\nu:\mathbb^2\to \mathbb^5 given by :\nu: :y:z\mapsto ^2:y^2:z^2:yz:xz:xy/math> where :\cdots/math> denotes homogeneous coordinates. The map \nu is known as the Veronese embedding. Motivation The Veronese surface arises naturally in the study of conics. A conic is a degree 2 plane curve, thus defined by an equation: :Ax^2 + Bxy + Cy^2 ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
White Surface
In algebraic geometry, a White surface is one of the rational surfaces in ''P''''n'' studied by , generalizing cubic surface 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 a ...s and Bordiga surfaces, which are the cases ''n'' = 3 or 4. A White surface in ''P''''n'' is given by the embedding of ''P''2 blown up in ''n''(''n'' + 1)/2 points by the linear system of degree ''n'' curves through these points. References *{{citation, first=F. P. , last=White, title=On certain nets of plane curves, journal=Proceedings of the Cambridge Philosophical Society, volume=22, year=1923, pages=1–10, doi=10.1017/S0305004100000037 Complex surfaces Algebraic surfaces ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Steiner Surface
In mathematics, the Roman surface or Steiner surface is a self-intersecting mapping of the real projective plane into three-dimensional space, with an unusually high degree of symmetry. This mapping is not an immersion of the projective plane; however, the figure resulting from removing six singular points is one. Its name arises because it was discovered by Jakob Steiner when he was in Rome in 1844. The simplest construction is as the image of a sphere centered at the origin under the map f(x,y,z)=(yz,xz,xy). This gives an implicit formula of : x^2 y^2 + y^2 z^2 + z^2 x^2 - r^2 x y z = 0. \, Also, taking a parametrization of the sphere in terms of longitude () and latitude (), gives parametric equations for the Roman surface as follows: :x=r^ \cos \theta \cos \varphi \sin \varphi :y=r^ \sin \theta \cos \varphi \sin \varphi :z=r^ \cos \theta \sin \theta \cos^ \varphi The origin is a triple point, and each of the -, -, and -planes are tangential to the surface there. The ot ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Segre Surface
In algebraic geometry, a Segre surface, studied by and , is an intersection of two quadrics in 4-dimensional projective space. They are rational surfaces isomorphic to a projective plane blown up in 5 points with no 3 on a line, and are del Pezzo surface In mathematics, a del Pezzo surface or Fano surface is a two-dimensional Fano variety, in other words a non-singular projective algebraic surface with ample anticanonical divisor class. They are in some sense the opposite of surfaces of general ...s of degree 4, and have 16 rational lines. The term "Segre surface" is also occasionally used for various other surfaces, such as a quadric in 3-dimensional projective space, or the hypersurface :x_1 x_2 x_3 + x_2 x_3 x_4 + x_3 x_4 x_5 + x_4 x_5 x_1 + x_5 x_1 x_2 = 0. \, References * *{{Citation , doi=10.1093/qmath/2.1.216 , last1=Segre , first1=Beniamino , title=On the inflexional curve of an algebraic surface in S4 , mr=0044861 , year=1951 , journal=The Quarterly Journa ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Enneper Surface
In differential geometry and algebraic geometry, the Enneper surface is a self-intersecting surface that can be described parametrically by: \begin x &= \tfrac u \left(1 - \tfracu^2 + v^2\right), \\ y &= \tfrac v \left(1 - \tfracv^2 + u^2\right), \\ z & = \tfrac \left(u^2 - v^2\right). \end It was introduced by Alfred Enneper in 1864 in connection with minimal surface theory.Ulrich Dierkes, Stefan Hildebrandt, Friedrich Sauvigny (2010). Minimal Surfaces. Berlin Heidelberg: Springer. . The Weierstrass–Enneper parameterization is very simple, f(z)=1, g(z)=z, and the real parametric form can easily be calculated from it. The surface is conjugate to itself. Implicitization methods of algebraic geometry can be used to find out that the points in the Enneper surface given above satisfy the degree-9 polynomial equation \begin & 64 z^9 - 128 z^7 + 64 z^5 - 702 x^2 y^2 z^3 - 18 x^2 y^2 z + 144 (y^2 z^6 - x^2 z^6)\\ & + 162 (y^4 z^2 - x^4 z^2) + 27 (y^6 - x^6) + 9 (x^4 z + y^4 ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Del Pezzo Surface
In mathematics, a del Pezzo surface or Fano surface is a two-dimensional Fano variety, in other words a non-singular projective algebraic surface with ample anticanonical divisor class. They are in some sense the opposite of surfaces of general type, whose canonical class is big. They are named for Pasquale del Pezzo who studied the surfaces with the more restrictive condition that they have a very ample anticanonical divisor class, or in his language the surfaces with a degree ''n'' embedding in ''n''-dimensional projective space , which are the del Pezzo surfaces of degree at least 3. Classification A del Pezzo surface is a complete non-singular surface with ample anticanonical bundle. There are some variations of this definition that are sometimes used. Sometimes del Pezzo surfaces are allowed to have singularities. They were originally assumed to be embedded in projective space by the anticanonical embedding, which restricts the degree to be at least 3. The degree ''d ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Clebsch Diagonal Surface
In mathematics, the Clebsch diagonal cubic surface, or Klein's icosahedral cubic surface, is a non-singular cubic surface, studied by and , all of whose 27 exceptional lines can be defined over the real numbers. The term Klein's icosahedral surface can refer to either this surface or its blowup at the 10 Eckardt points. Definition The Clebsch surface is the set of points (''x''0:''x''1:''x''2:''x''3:''x''4) of P4 satisfying the equations :x_0 + x_1 + x_2 + x_3 + x_4 = 0, :x_0^3 + x_1^3 + x_2^3 + x_3^3 + x_4^3 = 0. Eliminating ''x''0 shows that it is also isomorphic to the surface :x_1^3 + x_2^3 + x_3^3 + x_4^3 = (x_1 + x_2 + x_3 + x_4)^3 in P3. Properties The symmetry group of the Clebsch surface is the symmetric group ''S''5 of order 120, acting by permutations of the coordinates (in ''P''4). Up to isomorphism, the Clebsch surface is the only cubic surface with this automorphism group. The 27 exceptional lines are: * The 15 images (under ''S''5) of the line of points o ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Cayley's Nodal Cubic Surface
In algebraic geometry, the Cayley surface, named after Arthur Cayley, is a cubic nodal surface in 3-dimensional projective space with four conical points. It can be given by the equation : wxy+ xyz+ yzw+zwx =0\ when the four singular points are those with three vanishing coordinates. Changing variables gives several other simple equations defining the Cayley surface. As a del Pezzo surface of degree 3, the Cayley surface is given by the linear system of cubics in the projective plane passing through the 6 vertices of the complete quadrilateral. This contracts the 4 sides of the complete quadrilateral to the 4 nodes of the Cayley surface, while blowing up its 6 vertices to the lines through two of them. The surface is a section through the Segre cubic. The surface contains nine lines, 11 tritangents and no double-sixes. A number of affine forms of the surface have been presented. Hunt uses (1-3 x-3y-3z)(xy+xz+yz)+6xyz = 0 by transforming coordinates (u_0, u_1, u_2, u_3) ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Fermat Cubic
In geometry, the Fermat cubic, named after Pierre de Fermat, is a surface defined by : x^3 + y^3 + z^3 = 1. \ Methods of algebraic geometry Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical ... provide the following parameterization of Fermat's cubic: : x(s,t) = : y(s,t) = : z(s,t) = . In projective space the Fermat cubic is given by :w^3+x^3+y^3+z^3=0. The 27 lines lying on the Fermat cubic are easy to describe explicitly: they are the 9 lines of the form (''w'' : ''aw'' : ''y'' : ''by'') where ''a'' and ''b'' are fixed numbers with cube −1, and their 18 conjugates under permutations of coordinates. ::::''Real points of Fermat cubic surface.'' References * * Algebraic surfaces {{algebraic-geometry-stub ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Cubic Surface
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 \mathbf^3. 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 :x^3+y^3+z^3+w^3=0 in \mathbf^3. Many properties of cubic surfaces hold more generally for del Pezzo surfaces. Rationality of cubic 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 \mathbf^2 minus a lower-dimensional subset and ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |