Cited by 651Algebraic Geometry and Number TheoryGeometry and complex manifoldsAdvanced Algebra and Geometry

The DOI matches its Crossref record; 5 of the 5 references it cites were found in a registry or an index; 1 of the 27 sources its claims cite were checked for support.

Géométrie algébrique et géométrie analytique

Open access
Serre, Jean-Pierre·1956·Annales de l'Institut Fourier

Abstract

Toute variété algébrique X sur le corps des nombres complexes peut être munie, de façon canonique, d’une structure d’espace analytique ; tout faisceau algébrique cohérent sur X détermine un faisceau analytique cohérent. Lorsque X est une variété projective, nous montrons que, réciproquement, tout faisceau analytique cohérent sur X peut être obtenu ainsi, et de façon unique ; de plus, cette correspondance préserve les groupes de cohomologie. Ces résultats contiennent comme cas particuliers des théorèmes classiques de Chow et Lefschetz, et permettent d’aborder la comparaison entre espaces fibrés algébriques et espaces fibrés analytiques de base une variété algébrique projective.

Overview

AI snapshot

Written from the paper’s full text.

TL;DR

Serre proves that for a projective complex algebraic variety, coherent algebraic sheaves and coherent analytic sheaves correspond bijectively and have isomorphic cohomology. This GAGA equivalence yields algebraic-versus-analytic comparison results, including Chow’s theorem and algebraicity criteria for certain principal bundles.

Key findings

  • For projective \(X\) over \(\mathbb C\) and any coherent algebraic sheaf \(\mathcal F\), the natural map \(H^q(X,\mathcal F)\to H^q(X^{\mathrm{an}},\mathcal F^{\mathrm{an}})\) is bijective for every \(q\ge 0\) (Theorem 1). Theorems 2 and 3 add that analytic morphisms between associated sheaves come from algebraic morphisms, and every coherent analytic sheaf comes from a coherent algebraic sheaf, uniquely up to isomorphism.
  • Applications include invariance of Betti numbers of nonsingular varieties under automorphisms of \(\mathbb C\) (Proposition 12), algebraicity of compact analytic subsets of algebraic varieties (Proposition 14), regularity of holomorphic maps from compact algebraic varieties to algebraic varieties (Proposition 15), and uniqueness of an algebraic structure on a compact analytic space (corollary).
  • For principal bundles, the algebraic-to-analytic comparison map is injective for compact \(X\) (Proposition 16) and bijective for the additive group \(\mathbb C\) (Proposition 17), for \(\mathrm{GL}_n(\mathbb C)\) (Proposition 18), and for groups satisfying a rational-section condition (R), including solvable groups, \(\mathrm{SL}_n(\mathbb C)\), and \(\mathrm{Sp}_{2m}(\mathbb C)\) (Proposition 20 examples).
  • Locally, the algebraic local ring and the ring of holomorphic germs at a point have the same completion and form a flat couple; consequently they have the same dimension (Proposition 3, Corollaries 1–2).

Methods

  • The paper is a mathematical proof study: it defines analytic spaces following H. Cartan, constructs the analytic space \(X^{\mathrm{an}}\) associated to a complex algebraic variety, and compares local rings and sheaves on \(X\) and \(X^{\mathrm{an}}\).
  • The main arguments use coherent algebraic sheaf theory, Cartan’s Theorems A and B, exact sequences of sheaves, the five lemma, induction on cohomological degree and dimension, and Dolbeault theory for Betti-number applications.
  • There is no empirical sample or dataset; the analysis is local and global sheaf cohomology together with commutative algebra of local rings, completions, and flat couples.

Limitations

  • The author states that the fiber-space applications are incomplete: among semisimple groups, only the unimodular linear group and the symplectic group are treated, and applications to automorphic functions are left aside.
  • The author notes uncertainty about whether \(X\) and its transform \(X^\sigma\) are always homeomorphic; a genus-1 curve example shows they are not always analytically isomorphic. The rational-section condition (R) fails for \(\mathrm{O}_n(\mathbb C)\) when \(n\ge 3\), and bijectivity in that case is unknown.
  • Evident from the text: the main equivalence theorems require projectivity and fail even for affine varieties; several applications also assume nonsingularity or compactness.

Model-written summary. Check it against the paper before relying on it.

Integrity signals

Registry

Crossref · 10.5802/aif.59

Cites

5 of 5 references verified0 citation errors · 0 not checkable

Statistics

Nothing to recompute.

Verification

Claims the paper makes

1 of 27 cited sources checked · 0 supported · 0 flagged · accuracy not yet measured

Show all 58 claims

  • It may state two separate claims as one. 7
  • The quote only partly states this claim. 4
10 of 10
  • The paper relies on this without support.

    Every projective algebraic variety is compact in the usual topology.

    “comme toute variété projective est compacte pour la topologie usuelle”
  • The paper relies on this without support.

    The fraction field of the local ring of an irreducible component of an algebraic variety at a point is the field of rational functions on that component.

    “le corps des quotients de A;, soit K(, n'est donc pas autre chose que le corps des fonctions rationnelles sur la variété irréductible X^.”
  • The paper relies on this without support.

    A polynomial is continuous for the usual topology and holomorphic.

    “comme un polynôme est continu pour la topologie usuelle (resp.holomorphe)”
3 of 3

Citations

Cites

Flagged first, then by citations

Show all 4 references

Research works printed but not linked: 7

  1. [1] H. Cartan. Idéaux et modules de fonctions analytiques de variables complexes. Bull. Soc. Math. France, 78, 1950, pp. 29-64.
  2. [5] H. Cartan et J.-P. Serre. Un théorème de finitude concernant les variétés analytiques compactes. C. R., 237, 1953, pp. 128-130.
  3. [8] P. Dolbeault. Sur la cohomologie des variétés analytiques complexes. C. R., 236, 1953, pp. 175-177.
  4. [9] J. Frenkel. Cohomologie à valeurs dans un faisceau non abélien. C. R., 240, 1955, pp. 2368-2370.
  5. [11] K. Kodaira. On Kähler varieties of restricted type (an intrinsic characterization of algebraic varieties). Ann. of Maths., 60, 1954, pp. 28-48.
  6. [17] P. Samuel. Méthodes d'algèbre abstraite en géométrie algébrique. Ergebn. der Math., Springer, 1955.
  7. [18] J.-P. Serre. Faisceaux algébriques cohérents. Ann. of Maths., 61, 1955, pp. 197-278.

Cited by

Sorted by citations

Items 601–651 of 651

Metadata

Authors
Serre, J.-P.
Corresponding author
Serre, Jean-Pierre
Venue
Annales de l'Institut Fourier
Published
1956
Volume
6
Pages
1-42
ISSN
  • 0373-0956 (ISSN-L)
  • 1777-5310
OpenAlex
W2092940386
Cited by
645
References
4
Citations by year
2026: 6 · 2025: 12 · 2024: 15 · 2023: 22 · 2022: 19 · 2021: 62 · 2020: 28 · 2019: 26 · 2018: 27 · 2017: 20 · 2016: 16 · 2015: 9 · 2014: 15 · 2013: 10 · 2012: 12
FWCI
6.67
Type
journal article
Language
en
Open access
Locations
  • Annales de l’institut Fourier (publishedVersion)
  • Annals of the Fourier Institute (Institut Fourier) (submittedVersion)
  • French digital mathematics library (Numdam) (submittedVersion)
Topics
  • Physical Sciences › Mathematics › Geometry and Topology › Algebraic Geometry and Number Theory
  • Physical Sciences › Mathematics › Geometry and Topology › Geometry and complex manifolds
  • Physical Sciences › Mathematics › Algebra and Number Theory › Advanced Algebra and Geometry
Keywords
analytic spaces, coherent sheaves, projective varieties, cohomology groups, Lefschetz theorem

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

A language model drew the claims from the paper on 2026-09-28, under version 3 of the claim definition (model deepseek-v4.1-flash, prompt extract-v3).

A second model labelled each claim on 2026-09-28 (model jev-1.13-20260917, definition revision gold-guideline-v0.2).

Cited sources are checked with a language model’s help (gpt-6-sol).

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review