Search results
Results from the WOW.Com Content Network
The Veronese surface arises naturally in the study of conics.A conic is a degree 2 plane curve, thus defined by an equation: + + + + + = The pairing between coefficients (,,,,,) and variables (,,) is linear in coefficients and quadratic in the variables; the Veronese map makes it linear in the coefficients and linear in the monomials.
Every irreducible complex algebraic curve is birational to a unique smooth projective curve, so the theory for curves is trivial. The case of surfaces was first investigated by the geometers of the Italian school around 1900; the contraction theorem of Guido Castelnuovo essentially describes the process of constructing a minimal model of any smooth projective surface.
Basic results on algebraic surfaces include the Hodge index theorem, and the division into five groups of birational equivalence classes called the classification of algebraic surfaces. The general type class, of Kodaira dimension 2, is very large (degree 5 or larger for a non-singular surface in P 3 lies in it, for example).
Quotient surfaces, surfaces that are constructed as the orbit space of some other surface by the action of a finite group; examples include Kummer, Godeaux, Hopf, and Inoue surfaces; Zariski surfaces, surfaces in finite characteristic that admit a purely inseparable dominant rational map from the projective plane
The emphasis on algebraic surfaces—algebraic varieties of dimension two—followed on from an essentially complete geometric theory of algebraic curves (dimension 1). The position in around 1870 was that the curve theory had incorporated with Brill–Noether theory the Riemann–Roch theorem in all its refinements (via the detailed geometry of the theta-divisor).
A map is a function, as in the association of any of the four colored shapes in X to its color in Y. In mathematics, a map or mapping is a function in its general sense. [1] These terms may have originated as from the process of making a geographical map: mapping the Earth surface to a sheet of paper. [2]
In algebraic geometry, a branch of mathematics, a Zariski surface is a surface over a field of characteristic p > 0 such that there is a dominant inseparable map of degree p from the projective plane to the surface. In particular, all Zariski surfaces are unirational.
Bombieri (1973) proved that the multicanonical map φ nK for a complex surface of general type is a birational isomorphism onto its image whenever n≥5, and Ekedahl (1988) showed that the same result still holds in positive characteristic. There are some surfaces for which it is not a birational isomorphism when n is 4.