- Algebraic geometry and analytic geometry
In mathematics, algebraic geometry and analytic geometry are two closely related subjects. While algebraic geometry studies algebraic varieties, analytic geometry deals with complex manifolds and the more general analytic spaces defined locally by the vanishing of analytic functions of several complex variables. The deep relation between these subjects has numerous applications in which algebraic techniques are applied to analytic spaces and analytic techniques to algebraic varieties.
Algebraic varieties are locally defined as the common zero sets of polynomials and since polynomials over the complex numbers are holomorphic functions, algebraic varieties over C can be interpreted as analytic spaces. Similarly, regular morphisms between varieties are interpreted as holomorphic mappings between analytic spaces. Somewhat surprisingly, it is often possible to go the other way, to interpret analytic objects in an algebraic way.
For example, it is easy to prove that the analytic functions from the Riemann sphere to itself are either the rational functions or the identically infinity function (an extension of Liouville's theorem). For if such a function f is nonconstant, then since the set of z where f(z) is infinity is isolated and the Riemann sphere is compact, there are finitely many z with f(z) equal to infinity. Consider the Laurent expansion at all such z and subtract off the singular part: we are left with a function on the Riemann sphere with values in C, which by Liouville's theorem is constant. Thus f is a rational function. This fact shows there is no essential difference between the complex projective line as an algebraic variety, or as the Riemann sphere.
There is a long history of comparison results between algebraic geometry and analytic geometry, beginning in the nineteenth century and still continuing today. Some of the more important advances are listed here in chronological order.
Riemann's existence theorem
Riemann surface theory shows that a compact Riemann surface has enough meromorphic functions on it, making it an algebraic curve. Under the name Riemann's existence theorem a deeper result on ramified coverings of a compact Riemann surface was known: such finite coverings as topological spaces are classified by permutation representations of the fundamental group of the complement of the ramification points. Since the Riemann surface property is local, such coverings are quite easily seen to be coverings in the complex-analytic sense. It is then possible to conclude that they come from covering maps of algebraic curves — that is, such coverings all come from finite extensions of the function field.
The Lefschetz principle
In the twentieth century, the Lefschetz principle, named for Solomon Lefschetz, was cited in algebraic geometry to justify the use of topological techniques for algebraic geometry over any algebraically closed field K of characteristic 0, by treating K as if it were the complex number field. It roughly asserts that true statements in algebraic geometry over C are true over any algebraically closed field K of characteristic zero. A precise principle and its proof are due to Alfred Tarski and are based in mathematical logic.
This principle permits the carrying over of results obtained using analytic or topological methods for algebraic varieties over C to other algebraically closed ground fields of characteristic 0.
Chow's theorem, proved by W. L. Chow. is an example of the most immediately useful kind of comparison available. It states that an analytic subspace of complex projective space that is closed (in the ordinary topological sense) is an algebraic subvariety. This can be rephrased concisely as "any analytic subspace of complex projective space which is closed in the strong topology is closed in the Zariski topology." This allows quite a free use of complex-analytic methods within the classical parts of algebraic geometry.
Foundations for the many relations between the two theories were put in place during the early part of the 1950s, as part of the business of laying the foundations of algebraic geometry to include, for example, techniques from Hodge theory. The major paper consolidating the theory was Géometrie Algébrique et Géométrie Analytique by Serre, now usually referred to as GAGA. It proves general results that relate classes of algebraic varieties, regular morphisms and sheaves with classes of analytic spaces, holomorphic mappings and sheaves. It reduces all of these to the comparison of categories of sheaves.
Nowadays the phrase GAGA-style result is used for any theorem of comparison, allowing passage between a category of objects from algebraic geometry, and their morphisms, to a well-defined subcategory of analytic geometry objects and holomorphic mappings.
Formal statement of GAGA
- Let be a scheme of finite type over C. Then there is a topological space Xan which as a set consists of the closed points of X with a continuous inclusion map λX: Xan → X. The topology on Xan is called the "complex topology" (and is very different from the subspace topology).
- Suppose φ: X → Y is a morphism of schemes of locally finite type over C. Then there exists a continuous map φan: Xan → Yan such λY ° φan = φ ° λX.
- There is a sheaf on Xan such that is a ringed space and λX: Xan → X becomes a map of ringed spaces. The space is called the "analytification" of and is an analytic space. For every φ: X → Y the map φan defined above is a mapping of analytic spaces. Furthermore, the map φ ↦ φan maps open immersions into open immersions. If X = C[x1,...,xn] then Xan = Cn and for every polydisc U is a suitable quotient of the space of holomorphic functions on U.
- For every sheaf on X (called algebraic sheaf) there is a sheaf on Xan (called analytic sheaf) and a map of sheaves of -modules . The sheaf is defined as . The correspondence defines an exact functor from the category of sheaves over to the category of sheaves of .
The following two statements are the heart of Serre's GAGA theorem (as extended by Grothendieck, Neeman et al.)
- If f: X → Y is an arbitrary morphism of schemes of finite type over C and is coherent then the natural map is injective. If f is proper then this map is an isomorphism. One also has isomorphisms of all higher direct image sheaves in this case.
- Now assume that Xan is hausdorff and compact. If are two coherent algebraic sheaves on and if is a map of sheaves of modules then there exists a unique map of sheaves of modules with f = φan. If is a coherent analytic sheaf of modules over Xan then there exists a coherent algebraic sheaf of -modules and an isomorphism .
A Moishezon manifold M is a compact connected complex manifold such that the field of meromorphic functions on M has transcendence degree equal to the complex dimension of M. Complex algebraic varieties have this property, but the converse is not (quite) true. The converse is true in the setting of algebraic spaces. In 1967, Boris Moishezon showed that a Moishezon manifold is a projective algebraic variety if and only if it admits a Kähler metric.
- ^ For discussions see A. Seidenberg, Comments on Lefschetz's Principle, The American Mathematical Monthly, Vol. 65, No. 9 (Nov., 1958), pp. 685-690; 'Gerhard Frey and Hans-Georg Rück, The strong Lefschetz principle in algebraic geometry, Manuscripta Mathematica, Volume 55, Numbers 3-4, September, 1986, pp. 385-401.
- ^ Hazewinkel, Michiel, ed. (2001), "Transfer principle", Encyclopaedia of Mathematics, Springer, ISBN 978-1556080104, http://eom.springer.de/T/t110050.htm
Wikimedia Foundation. 2010.
Look at other dictionaries:
Algebraic geometry — This Togliatti surface is an algebraic surface of degree five. Algebraic geometry is a branch of mathematics which combines techniques of abstract algebra, especially commutative algebra, with the language and the problems of geometry. It… … Wikipedia
algebraic geometry — Math. the study of sets that are defined by algebraic equations. [1895 1900] * * * Study of geometric objects expressed as equations and represented by graphs in a given coordinate system. In contrast to Euclidean geometry, algebraic geometry… … Universalium
List of algebraic geometry topics — This is a list of algebraic geometry topics, by Wikipedia page. Contents 1 Classical topics in projective geometry 2 Algebraic curves 3 Algebraic surfaces 4 … Wikipedia
Flop (algebraic geometry) — In algebraic geometry, a flop is a special sort of birational map between varieties. The first example, known as the Atiyah flop, was found in harv|Atiyah|1958.ee also*FlipReferences*Citation | last1=Atiyah | first1=Michael Francis | author1 link … Wikipedia
Geometry — (Greek γεωμετρία ; geo = earth, metria = measure) is a part of mathematics concerned with questions of size, shape, and relative position of figures and with properties of space. Geometry is one of the oldest sciences. Initially a body of… … Wikipedia
analytic geometry — a branch of mathematics in which algebraic procedures are applied to geometry and position is represented analytically by coordinates. Also called coordinate geometry. [1820 30] * * * Investigation of geometric objects using coordinate systems.… … Universalium
Analytic geometry — Cartesian coordinates. Analytic geometry, or analytical geometry has two different meanings in mathematics. The modern and advanced meaning refers to the geometry of analytic varieties. This article focuses on the classical and elementary meaning … Wikipedia
geometry — /jee om i tree/, n. 1. the branch of mathematics that deals with the deduction of the properties, measurement, and relationships of points, lines, angles, and figures in space from their defining conditions by means of certain assumed properties… … Universalium
Algebraic curve — In algebraic geometry, an algebraic curve is an algebraic variety of dimension one. The theory of these curves in general was quite fully developed in the nineteenth century, after many particular examples had been considered, starting with… … Wikipedia
Algebraic number field — In mathematics, an algebraic number field (or simply number field) F is a finite (and hence algebraic) field extension of the field of rational numbers Q. Thus F is a field that contains Q and has finite dimension when considered as a vector… … Wikipedia