Algebraic geometry and analytic geometry

Last updated

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.

Contents

Main statement

Let X be a projective complex algebraic variety. Because X is a complex variety, its set of complex points X(C) can be given the structure of a compact complex analytic space. This analytic space is denoted Xan. Similarly, if is a sheaf on X, then there is a corresponding sheaf on Xan. This association of an analytic object to an algebraic one is a functor. The prototypical theorem relating X and Xan says that for any two coherent sheaves and on X, the natural homomorphism:

is an isomorphism. Here is the structure sheaf of the algebraic variety X and is the structure sheaf of the analytic variety Xan. More precisely, the category of coherent sheaves on the algebraic variety X is equivalent to the category of analytic coherent sheaves on the analytic variety Xan, and the equivalence is given on objects by mapping to . (Note in particular that itself is coherent, a result known as the Oka coherence theorem, [1] and also, it was proved in “Faisceaux Algebriques Coherents” [2] that the structure sheaf of the algebraic variety is coherent. [3]

Another important statement is as follows: For any coherent sheaf on an algebraic variety X the homomorphisms

are isomorphisms for all q's. This means that the q-th cohomology group on X is isomorphic to the cohomology group on Xan.

The theorem applies much more generally than stated above (see the formal statement below). It and its proof have many consequences, such as Chow's theorem, the Lefschetz principle and Kodaira vanishing theorem.

Background

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.

Important results

There is a long history of comparison results between algebraic geometry and analytic geometry, beginning in the nineteenth century. 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 (smooth projective) algebraic curve. Under the name Riemann's existence theorem [4] [5] [6] [7] 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 curvesthat 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. An elementary form of it asserts that true statements of the first order theory of fields about C are true for 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. [8] [9] [10]

This principle permits the carrying over of some results obtained using analytic or topological methods for algebraic varieties over C to other algebraically closed ground fields of characteristic 0. (e.g. Kodaira type vanishing theorem. [11] )

Chow's theorem

Chow (1949), proved by Wei-Liang 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. [12] This can be rephrased as "any analytic subspace of complex projective space that 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.

GAGA

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 Jean-Pierre Serre, [13] 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

  1. Let be a scheme of finite type over C. Then there is a topological space Xan that as a set consists of the closed points of X with a continuous inclusion map λX: XanX. The topology on Xan is called the "complex topology" (and is very different from the subspace topology).
  2. Suppose φ: XY is a morphism of schemes of locally finite type over C. Then there exists a continuous map φan: XanYan such that λY ∘ φan = φ ∘ λX.
  3. There is a sheaf on Xan such that is a ringed space and λX: XanX becomes a map of ringed spaces. The space is called the "analytification" of and is an analytic space. For every φ: XY the map φan defined above is a mapping of analytic spaces. Furthermore, the map φ ↦ φan maps open immersions into open immersions. If X = Spec(C[x1,...,xn]) then Xan = Cn and for every polydisc U is a suitable quotient of the space of holomorphic functions on U.
  4. 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 [14] [15] (as extended by Alexander Grothendieck, Amnon Neeman, and others).
  5. If f: XY 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. [16]
  6. 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 . If is a coherent analytic sheaf of -modules over Xan then there exists a coherent algebraic sheaf of -modules and an isomorphism .

In slightly lesser generality, the GAGA theorem asserts that the category of coherent algebraic sheaves on a complex projective variety X and the category of coherent analytic sheaves on the corresponding analytic space Xan are equivalent. The analytic space Xan is obtained roughly by pulling back to X the complex structure from Cn through the coordinate charts. Indeed, phrasing the theorem in this manner is closer in spirit to Serre's paper, seeing how the full scheme-theoretic language that the above formal statement uses heavily had not yet been invented by the time of GAGA's publication.

See also

Notes

  1. Hall 2023.
  2. Serre 1955.
  3. Remmert 1994.
  4. Grauert & Remmert 1958.
  5. Harbater 2003.
  6. Grothendieck & Raynaud 2002, EXPOSE XII, Théorème 5.1 (« Théorème d’existence de Riemann »).
  7. Hartshorne 1977, Appendix B, Theorem 3.1 (Part (b)) and 3.2.
  8. Seidenberg 1958, Comments on Lefschetz's Principle.
  9. Frey & Rück 1986, The strong Lefschetz principle in algebraic geometry.
  10. Kuhlmann 2001.
  11. Kawamata, Matsuda & Matsuki 1987.
  12. Hartshorne 1970.
  13. Serre 1956.
  14. Grothendieck & Raynaud 2002, EXPOSE XII..
  15. Neeman 2007.
  16. Grothendieck & Raynaud 2002, EXPOSE XII, 4. Théorèmes de comparaison cohomologique et théorèmes d’existence.
  17. Hartshorne 2010.

Related Research Articles

In mathematics, complex geometry is the study of geometric structures and constructions arising out of, or described by, the complex numbers. In particular, complex geometry is concerned with the study of spaces such as complex manifolds and complex algebraic varieties, functions of several complex variables, and holomorphic constructions such as holomorphic vector bundles and coherent sheaves. Application of transcendental methods to algebraic geometry falls in this category, together with more geometric aspects of complex analysis.

In mathematics, a sheaf is a tool for systematically tracking data attached to the open sets of a topological space and defined locally with regard to them. For example, for each open set, the data could be the ring of continuous functions defined on that open set. Such data are well behaved in that they can be restricted to smaller open sets, and also the data assigned to an open set are equivalent to all collections of compatible data assigned to collections of smaller open sets covering the original open set.

The Riemann–Roch theorem is an important theorem in mathematics, specifically in complex analysis and algebraic geometry, for the computation of the dimension of the space of meromorphic functions with prescribed zeros and allowed poles. It relates the complex analysis of a connected compact Riemann surface with the surface's purely topological genus g, in a way that can be carried over into purely algebraic settings.

<span class="mw-page-title-main">Projective variety</span>

In algebraic geometry, a projective variety over an algebraically closed field k is a subset of some projective n-space over k that is the zero-locus of some finite family of homogeneous polynomials of n + 1 variables with coefficients in k, that generate a prime ideal, the defining ideal of the variety. Equivalently, an algebraic variety is projective if it can be embedded as a Zariski closed subvariety of .

In algebraic geometry, a branch of mathematics, Serre duality is a duality for the coherent sheaf cohomology of algebraic varieties, proved by Jean-Pierre Serre. The basic version applies to vector bundles on a smooth projective variety, but Alexander Grothendieck found wide generalizations, for example to singular varieties. On an n-dimensional variety, the theorem says that a cohomology group is the dual space of another one, . Serre duality is the analog for coherent sheaf cohomology of Poincaré duality in topology, with the canonical line bundle replacing the orientation sheaf.

The theory of functions of several complex variables is the branch of mathematics dealing with functions defined on the complex coordinate space, that is, n-tuples of complex numbers. The name of the field dealing with the properties of these functions is called several complex variables, which the Mathematics Subject Classification has as a top-level heading.

In mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaves are a class of sheaves closely linked to the geometric properties of the underlying space. The definition of coherent sheaves is made with reference to a sheaf of rings that codifies this geometric information.

In mathematics, a distinctive feature of algebraic geometry is that some line bundles on a projective variety can be considered "positive", while others are "negative". The most important notion of positivity is that of an ample line bundle, although there are several related classes of line bundles. Roughly speaking, positivity properties of a line bundle are related to having many global sections. Understanding the ample line bundles on a given variety X amounts to understanding the different ways of mapping X into projective space. In view of the correspondence between line bundles and divisors, there is an equivalent notion of an ample divisor.

<span class="mw-page-title-main">Grothendieck–Riemann–Roch theorem</span>

In mathematics, specifically in algebraic geometry, the Grothendieck–Riemann–Roch theorem is a far-reaching result on coherent cohomology. It is a generalisation of the Hirzebruch–Riemann–Roch theorem, about complex manifolds, which is itself a generalisation of the classical Riemann–Roch theorem for line bundles on compact Riemann surfaces.

In algebraic geometry, divisors are a generalization of codimension-1 subvarieties of algebraic varieties. Two different generalizations are in common use, Cartier divisors and Weil divisors. Both are derived from the notion of divisibility in the integers and algebraic number fields.

In mathematics, coherent duality is any of a number of generalisations of Serre duality, applying to coherent sheaves, in algebraic geometry and complex manifold theory, as well as some aspects of commutative algebra that are part of the 'local' theory.

In mathematics, Verdier duality is a cohomological duality in algebraic topology that generalizes Poincaré duality for manifolds. Verdier duality was introduced in 1965 by Jean-Louis Verdier as an analog for locally compact topological spaces of Alexander Grothendieck's theory of Poincaré duality in étale cohomology for schemes in algebraic geometry. It is thus one instance of Grothendieck's six operations formalism.

In mathematics, Arakelov theory is an approach to Diophantine geometry, named for Suren Arakelov. It is used to study Diophantine equations in higher dimensions.

In mathematics, and in particular differential geometry and complex geometry, a complex analytic variety or complex analytic space is a generalization of a complex manifold that allows the presence of singularities. Complex analytic varieties are locally ringed spaces that are locally isomorphic to local model spaces, where a local model space is an open subset of the vanishing locus of a finite set of holomorphic functions.

In mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaf cohomology is a technique for producing functions with specified properties. Many geometric questions can be formulated as questions about the existence of sections of line bundles or of more general coherent sheaves; such sections can be viewed as generalized functions. Cohomology provides computable tools for producing sections, or explaining why they do not exist. It also provides invariants to distinguish one algebraic variety from another.

This is a glossary of algebraic geometry.

In mathematics, a sheaf of O-modules or simply an O-module over a ringed space (X, O) is a sheaf F such that, for any open subset U of X, F(U) is an O(U)-module and the restriction maps F(U) → F(V) are compatible with the restriction maps O(U) → O(V): the restriction of fs is the restriction of f times the restriction of s for any f in O(U) and s in F(U).

In algebra, a perfect complex of modules over a commutative ring A is an object in the derived category of A-modules that is quasi-isomorphic to a bounded complex of finite projective A-modules. A perfect module is a module that is perfect when it is viewed as a complex concentrated at degree zero. For example, if A is Noetherian, a module over A is perfect if and only if it is finitely generated and of finite projective dimension.

In mathematics, the base change theorems relate the direct image and the inverse image of sheaves. More precisely, they are about the base change map, given by the following natural transformation of sheaves:

References