|
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, however, 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 dimension two, the difference between the arithmetic genus p_a and the geometric genus p_g turns to be important because we cannot distinguish birationally only the topological genus. Then we introduce the irregularity for the classification of them. A summary of the results (in detai ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complex Projective Plane
In mathematics, the complex projective plane, usually denoted P2(C), is the two-dimensional complex projective space. It is a complex manifold of complex dimension 2, described by three complex coordinates :(Z_1,Z_2,Z_3) \in \mathbf^3,\qquad (Z_1,Z_2,Z_3)\neq (0,0,0) where, however, the triples differing by an overall rescaling are identified: :(Z_1,Z_2,Z_3) \equiv (\lambda Z_1,\lambda Z_2, \lambda Z_3);\quad \lambda\in \mathbf,\qquad \lambda \neq 0. That is, these are homogeneous coordinates in the traditional sense of projective geometry. Topology The Betti numbers of the complex projective plane are :1, 0, 1, 0, 1, 0, 0, ..... The middle dimension 2 is accounted for by the homology class of the complex projective line, or Riemann sphere, lying in the plane. The nontrivial homotopy groups of the complex projective plane are \pi_2=\pi_5=\mathbb. The fundamental group is trivial and all other higher homotopy groups are those of the 5-sphere, i.e. torsion. Algebraic geometry ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Birationally Equivalent
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. Birational maps Rational maps A rational map from one variety (understood to be irreducible) X to another variety Y, written as a dashed arrow , is defined as a morphism from a nonempty open subset U \subset X to Y. By definition of the Zariski topology used in algebraic geometry, a nonempty open subset U is always dense in X, in fact the complement of a lower-dimensional subset. Concretely, a rational map can be written in coordinates using rational functions. Birational maps A birational map from ''X'' to ''Y'' is a rational map such that there is a rational map inverse to ''f''. A birational map induces an isomorphism from a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
List Of 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 * Boy's s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Surface Of General Type
In algebraic geometry, a surface of general type is an algebraic surface with Kodaira dimension 2. Because of Chow's theorem any compact complex manifold of dimension 2 and with Kodaira dimension 2 will actually be an algebraic surface, and in some sense most surfaces are in this class. Classification Gieseker showed that there is a coarse moduli scheme for surfaces of general type; this means that for any fixed values of the Chern numbers c_1^2, c_2, there is a quasi-projective scheme classifying the surfaces of general type with those Chern numbers. It remains a very difficult problem to describe these schemes explicitly, and there are few pairs of Chern numbers for which this has been done (except when the scheme is empty). There are some indications that these schemes are in general too complicated to write down explicitly: the known upper bounds for the number of components are very large, some components can be non-reduced everywhere, components may have many different ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Elliptic Surface
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. (Over an algebraically closed field such as the complex numbers, these fibers are elliptic curves, perhaps without a chosen origin.) This is equivalent to the generic fiber being a smooth curve of genus one. This follows from proper base change. The surface and the base curve are assumed to be non-singular ( complex manifolds or regular schemes, depending on the context). The fibers that are not elliptic curves are called the singular fibers and were classified by Kunihiko Kodaira. Both elliptic and singular fibers are important in string theory, especially in F-theory. Elliptic surfaces form a large class of surfaces that contains many of the interesting examples of surfaces, and are relatively well understood in the theories of complex manifolds and smooth 4-manifo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hyperelliptic Surface
In mathematics, a hyperelliptic surface, or bi-elliptic surface, is a surface whose Albanese morphism is an elliptic fibration. Any such surface can be written as the quotient of a product of two elliptic curves by a finite abelian group. Hyperelliptic surfaces form one of the classes of surfaces of Kodaira dimension 0 in the Enriques–Kodaira classification. Invariants The Kodaira dimension is 0. Hodge diamond: Classification Any hyperelliptic surface is a quotient (''E''×''F'')/''G'', where ''E'' = C/Λ and ''F'' are elliptic curves, and ''G'' is a subgroup of ''F'' ( acting on ''F'' by translations). There are seven families of hyperelliptic surfaces as in the following table. Here ω is a primitive cube root of 1 and i is a primitive 4th root of 1. Quasi hyperelliptic surfaces A quasi-hyperelliptic surface is a surface whose canonical divisor is numerically equivalent to zero, the Albanese mapping maps to an elliptic curve, and all its fibers are rational with a cus ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Enriques Surface
In mathematics, Enriques surfaces are algebraic surfaces such that the irregularity ''q'' = 0 and the canonical line bundle ''K'' is non-trivial but has trivial square. Enriques surfaces are all projective (and therefore Kähler over the complex numbers) and are elliptic surfaces of genus 0. Over fields of characteristic not 2 they are quotients of K3 surfaces by a group of order 2 acting without fixed points and their theory is similar to that of algebraic K3 surfaces. Enriques surfaces were first studied in detail by as an answer to a question discussed by about whether a surface with ''q'' = ''p''''g'' = 0 is necessarily rational, though some of the Reye congruences introduced earlier by are also examples of Enriques surfaces. Enriques surfaces can also be defined over other fields. Over fields of characteristic other than 2, showed that the theory is similar to that over the complex numbers. Over fields of characteristic 2 the definition is modified, and there are two ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abelian Surface
In mathematics, an abelian surface is a 2-dimensional abelian variety. One-dimensional complex tori are just elliptic curves and are all algebraic, but Riemann discovered that most complex tori of dimension 2 are not algebraic via the Riemann bilinear relations. Essentially, these are conditions on the parameter space of period matrices for complex tori which define an algebraic subvariety. This subvariety contains all of the points whose period matrices correspond to a period matrix of an abelian variety. The algebraic ones are called abelian surfaces and are exactly the 2-dimensional abelian varieties. Most of their theory is a special case of the theory of higher-dimensional tori or abelian varieties. Finding criteria for a complex torus of dimension 2 to be a product of two elliptic curves (up to isogeny) was a popular subject of study in the nineteenth century. Invariants: The plurigenera are all 1. The surface is diffeomorphic to ''S''1×''S''1×''S''1×''S''1 so the funda ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
K3 Surface
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 :x^4+y^4+z^4+w^4=0 in complex projective 3-space. Together with two-dimensional compact complex tori, K3 surfaces are the Calabi–Yau manifolds (and also the hyperkähler manifolds) of dimension two. As such, they are at the center of the classification of algebraic surfaces, between the positively curved del Pezzo surfaces (which are easy to classify) and the negatively curved surfaces of general type (which are essentially unclassifiable). K3 surfaces can be considered the simplest algebraic va ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ruled Surface
In geometry, a surface is ruled (also called a scroll) if through every point of there is a straight line that lies on . Examples include the plane, the lateral surface of a cylinder or cone, a conical surface with elliptical directrix, the right conoid, the helicoid, and the tangent developable of a smooth curve in space. A ruled surface can be described as the set of points swept by a moving straight line. For example, a cone is formed by keeping one point of a line fixed whilst moving another point along a circle. A surface is ''doubly ruled'' if through every one of its points there are two distinct lines that lie on the surface. The hyperbolic paraboloid and the hyperboloid of one sheet are doubly ruled surfaces. The plane is the only surface which contains at least three distinct lines through each of its points . The properties of being ruled or doubly ruled are preserved by projective maps, and therefore are concepts of projective geometry. In algebraic geom ... [...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] |
