|
Noether's Theorem On Rationality For Surfaces
In mathematics, Noether's theorem on rationality for surfaces is a classical result of Max Noether on complex algebraic surfaces, giving a criterion for a rational surface. Let ''S'' be an algebraic surface that is non-singular and projective. Suppose there is a morphism φ from ''S'' to the projective line, with ''general fibre'' also a projective line. Then the theorem states that ''S'' is rational. See also * Hirzebruch surface *List of complex and algebraic surfaces This is a list of named algebraic surfaces, compact complex surfaces, and families thereof, sorted according to their Kodaira dimension following Enriques–Kodaira classification. Kodaira dimension −∞ Rational surfaces * Projective plane Qu ... ReferencesCastelnuovo’s Theorem Notes Algebraic surfaces Theorems in algebraic geometry {{algebraic-geometry-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Max Noether
Max Noether (24 September 1844 – 13 December 1921) was a German mathematician who worked on algebraic geometry and the theory of algebraic functions. He has been called "one of the finest mathematicians of the nineteenth century". He was the father of Emmy Noether. Biography Max Noether was born in Mannheim in 1844, to a Jewish family of wealthy wholesale hardware dealers. His grandfather, Elias Samuel, had started the business in Bruchsal in 1797. In 1809 the Grand Duchy of Baden established a "Tolerance Edict", which assigned a hereditary surname to the male head of every Jewish family which did not already possess one. Thus the Samuels became the Noether family, and as part of this Christianization of names, their son Hertz (Max's father) became Hermann. Max was the third of five children Hermann had with his wife Amalia Würzburger. At 14, Max contracted polio and was afflicted by its effects for the rest of his life. Through self-study, he learned advanced mathematics ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Surface
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). Many results were obtained, but, in the Italian school of algebraic geometry , and are up to 100 years old. Classification by the Kodaira dimension In the case of dimension one, varieties are classified by only the topological genus, but, in dimension two, one needs to distinguish the arithmetic genus p_a and the geometric genus p_g because one cannot distinguish birationally only the topological genus. Then, irregularity is introduced for the classification of varieties. A summary of the results (in detail, for ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rational Surface
In algebraic geometry, a branch of mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ..., 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 plan ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Curve
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 homogenization of a polynomial, homogenizing its defining polynomial. Conversely, a projective algebraic plane curve of homogeneous equation can be restricted to the affine algebraic plane curve of equation . These two operations are each inverse function, 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. If the defining polynomial of a plane algebraic curve is irreducible polynomial, irreducible, then one has an ''irreducible plane algebraic curve''. Otherwise, the algebraic curve is the union of one or several irreducible curves, called its ''Irreduc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Projective Line
In projective geometry and mathematics more generally, a projective line is, roughly speaking, the extension of a usual line by a point called a '' point at infinity''. The statement and the proof of many theorems of geometry are simplified by the resultant elimination of special cases; for example, two distinct projective lines in a projective plane meet in exactly one point (there is no "parallel" case). There are many equivalent ways to formally define a projective line; one of the most common is to define a projective line over a field ''K'', commonly denoted P1(''K''), as the set of one-dimensional subspaces of a two-dimensional ''K''-vector space. This definition is a special instance of the general definition of a projective space. The projective line over the reals is a manifold; see '' Real projective line'' for details. Homogeneous coordinates An arbitrary point in the projective line P1(''K'') may be represented by an equivalence class of '' homogeneous coordi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hirzebruch Surface
In mathematics, a Hirzebruch surface is a ruled surface over the projective line. They were studied by . Definition The Hirzebruch surface \Sigma_n is the \mathbb^1-bundle (a projective bundle) over the projective line \mathbb^1, associated to the sheaf\mathcal\oplus \mathcal(-n).The notation here means: \mathcal(n) is the -th tensor power of the Serre twist sheaf \mathcal(1), the invertible sheaf or line bundle with associated Cartier divisor a single point. The surface \Sigma_0 is isomorphic to \mathbb P^1\times \mathbb P^1; and \Sigma_1 is isomorphic to the projective plane \mathbb P^2 blown up at a point, so it is not minimal. GIT quotient One method for constructing the Hirzebruch surface is by using a GIT quotient: \Sigma_n = (\Complex^2-\)\times (\Complex^2-\)/(\Complex^*\times\Complex^*) where the action of \Complex^*\times\Complex^* is given by (\lambda, \mu)\cdot(l_0,l_1,t_0,t_1) = (\lambda l_0, \lambda l_1, \mu t_0,\lambda^\mu t_1)\ . This action can be interpreted as ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
List Of Complex And Algebraic Surfaces
This is a list of named algebraic surfaces, compact complex surfaces, and families thereof, sorted according to their Kodaira dimension following Enriques–Kodaira classification. Kodaira dimension −∞ Rational surfaces * Projective plane Quadric surfaces *Cone (geometry) *Cylinder *Ellipsoid *Hyperboloid *Paraboloid *Sphere *Spheroid Rational cubic surfaces * Cayley nodal cubic surface, a certain cubic surface with 4 nodes * Cayley's ruled cubic surface * Clebsch surface or Klein icosahedral surface * Fermat cubic * Monkey saddle * Parabolic conoid * Plücker's conoid * Whitney umbrella Rational quartic surfaces * Châtelet surfaces * Dupin cyclides, inversions of a cylinder, torus, or double cone in a sphere * Gabriel's horn * Right circular conoid * Roman surface or Steiner surface, a realization of the real projective plane in real affine space * Tori, surfaces of revolution generated by a circle about a coplanar axis Other rational surfaces in space * B ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Surfaces
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). Many results were obtained, but, in the Italian school of algebraic geometry , and are up to 100 years old. Classification by the Kodaira dimension In the case of dimension one, varieties are classified by only the topological genus, but, in dimension two, one needs to distinguish the arithmetic genus p_a and the geometric genus p_g because one cannot distinguish birationally only the topological genus. Then, irregularity is introduced for the classification of varieties. A summary of the results (in detail, for each ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
