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 accessAbstract
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
Cites
Statistics
Verification
Claims the paper makes
1 of 27 cited sources checked · 0 supported · 0 flagged · accuracy not yet measured
In the paper
“COROLLAIRE 1. -Le couple £ anneaux (Q^ 3€^) est un couple plat”
§ ANNALES DE L'INSTITUT FOURIER > 5. Définition de l'espace analytique associé à une variété algébrique.
What the sources say
- Not matchedcites Annexe, déf.4
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passes- Not matched
In the paper
“LEMME 3. -Soit A un anneau commutatif, dans lequel Vidéal 0 soit intersection Sun nombre fini d^idéaux premiers minimaux distincts p;; soit K^ le corps des fractions de A/p^, et soit S V ensemble des éléments de A qui ^appartiennent à aucun des pc U anneau de fractions As est alors isomorphe au composé direct des K,.”
§ ANNALES DE L'INSTITUT FOURIER > As c As.
What the sources say
- Not matchedcites [15] [15] P. Samuel. Commutative Algebra (Notes by D. Herzig). Cornell Univ., 1953.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passes- Not matched
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“La topologie de X^ est plus fine que la topologie de X”
§ ANNALES DE L'INSTITUT FOURIER > 5. Définition de l'espace analytique associé à une variété algébrique.
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesNone of the sources cited for this claim could be matched to a paper in Crossref, so there is nothing to check it against.
In the paper
“b) 5i Y est un sous-espace analytique fermé de X, le faisceau .^)(Y)est un faisceau analytique cohérent”
§ ANNALES DE L'INSTITUT FOURIER > 3. Faisceaux analytiques.
What the sources say
- Not matchedcites [1] [1] H. Cartan. Idéaux et modules de fonctions analytiques de variables complexes. Bull. Soc. Math. France, 78, 1950, pp. 29-64.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [2] [2] H. Cartan. Séminaire E. N. S., 1951-1952.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passes- Not matched
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“COROLLAIRE 3. -Si X est une variété algébrique irréductible de dimension r, l'espace analytique X^ est de dimension analytique r en chacun de ses points”
§ ANNALES DE L'INSTITUT FOURIER > COROLLAIRE 2. -Les anneaux Oy; et Mp ont même dimension.
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesIn the paper
“COROLLAIRE 2. -Les anneaux Oy; et Mp ont même dimension.”
§ ANNALES DE L'INSTITUT FOURIER > COROLLAIRE 2. -Les anneaux Oy; et Mp ont même dimension.
What the sources say
- Not matchedcites [16] [16] P. Samuel. Algèbre locale. Mém. Sci. Math., 123, Paris, 1953.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Load-bearingStrength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passes- Not matched
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“la correspondance entre ces deux catégories de faisceaux laisse invariants les groupes de cohomologie”
§ ANNALES DE L'INSTITUT FOURIER > INTRODUCTION
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesThe paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“II existe sur X une structure d'espace analytique et une seule telle que, pour toute carte ç : V ->-U, Fensemble Z-owert V soit ouvert, et y soit un isomorphisme analytique de V”
§ ANNALES DE L'INSTITUT FOURIER > 5. Définition de l'espace analytique associé à une variété algébrique.
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passes- Rests on an assumption: A polynomial is continuous for the usual topology and holomorphic.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“PROPOSITION 5. -Soient X une variété algébrique^ et U une partie de X. Si U est ï-owerte et ï-dense dans X, alors U est dense dans X.”
§ ANNALES DE L'INSTITUT FOURIER > COROLLAIRE 2. -Les anneaux Oy; et Mp ont même dimension.
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesNone of the sources cited for this claim could be matched to a paper in Crossref, so there is nothing to check it against.
In the paper
“PROPOSITION 6. ^-Pour qu'une variété algébrique X soit complète, il faut et il suffit quelle soit compacte.”
§ ANNALES DE L'INSTITUT FOURIER > PROPOSITION 6. ^-Pour qu'une variété algébrique X soit complète, il faut et il suffit quelle soit compacte.
What the sources say
- Not matchedcites [7] [7] W-L. Chow. On the projective embedding of homogeneous varieties. Lefschetz's volume, Princeton, 1956.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Not matchedcites [19] [19] J.-P. Serre. Sur la cohomologie des variétés algébriques. J. de Maths. Pures et Appl., 35, 1956.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passes- Rests on an assumption: Every projective algebraic variety is compact in the usual topology.
- Not matched
- It may state two separate claims as one. 7
- The quote only partly states this claim. 4
The cited sources support only part of this claim — read each source’s verdict below.
In the paper
“Pour n = 1, GL^(C) coïncide avec le groupe multiplicatif C*; si l'on suppose que X est une variété normale, le groupe H 1 (X, fî) coïncide avec le groupe des classes de diviseurs localement linéairement équivalents à zéro (cf.[20], § 3) et la proposition 18 signifie que tout espace fibre analytique de base X et de groupe structural C* provient d'un tel diviseur.”
§ ANNALES DE L'INSTITUT FOURIER > 20. Espaces fibres algébriques et espaces fibres analytiques.
What the sources say
- Not matchedcites [20] [20] A. Weil. Fibre-spaces in algebraic geometry (Notes by A. Wallace). Chicago Univ., 1952.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Partly supportedcites [12] [12] K. Kodaira and D. C. Spencer. Divisor class groups on algebraic varieties. Proc. Nat. Acad. Sci. U. S. A., 39, 1953, pp. 872-877. sourceExperimental — accuracy not yet measured
In the opening discussion and Theorem 1 (pages not supplied), the paper identifies divisor classes with complex line bundles and proves that every such bundle comes from a divisor. Its stated setting is a non-singular projective algebraic variety, however; it does not establish the cited identification of H¹(X,O*) with those divisor classes for an arbitrary normal X. The statement about Proposition 18 is the citing author's own interpretation, not a result attributed to this source. (LLM, conf=0.84)
Tests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
- Not matched
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“X^ est un espace localement compact dénombrable à Vinfini.”
§ ANNALES DE L'INSTITUT FOURIER > 5. Définition de l'espace analytique associé à une variété algébrique.
Strength:plain· not yet calibratedCausal:correlational· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes? Load-bearing: unclear✓ Based: passesIt may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“faisceaux algébriques cohérents et faisceaux analytiques cohérents se correspondent biunivoquement”
§ ANNALES DE L'INSTITUT FOURIER > INTRODUCTION
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesThe quote only partly states this claim.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Le faisceau 3^ est un faisceau de 3-6-modules, c'est-à-dire un faisceau analytique', l'injection 0'-^ 3^ définit un homomorphisme canonique a : 9' ->-9^.”
§ ANNALES DE L'INSTITUT FOURIER > As c As.
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesIt may state two separate claims as one. The quote only partly states this claim.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“THÉORÈME 3 . -Pour tout faisceau analytique cohérent jll» sur X 71 , il existe un faisceau algébrique cohérent ^ sur X tel que ^ soit isomorphe à JIL.De plus, cette propriété détermine 9 de façon unique, à un isomorphisme près.”
§ ANNALES DE L'INSTITUT FOURIER > £: E^JL^Ê.
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesIt may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Pour tout a;çX, on a donc 3^ == 3^; les faisceaux 9 et y ne diffèrent que par leur topologie (9' n'est pas autre chose que V image réciproque de 9 par l'application continue X^X).”
§ ANNALES DE L'INSTITUT FOURIER > As c As.
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesIt may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“En vertu du lemme 8, il existe un entier n tel que M)(n) soit isomorphe à un faisceau quotient d'un faisceau 3^, et M) est donc isomorphe à un quotient de Wo (-n^.”
§ ANNALES DE L'INSTITUT FOURIER > 16. Démonstration du théorème 3. Les faisceaux ll(n).
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesIt may state two separate claims as one.
In the paper
“Les deux faisceaux en question sont nuls en dehors de Y^; il nous suffira donc de montrer que leurs restrictions à Y 71 sont isomorphes.”
§ ANNALES DE L'INSTITUT FOURIER > 10. Prolongement d'un faisceau.
What the sources say
- Not matchedcites [18] [18] J.-P. Serre. Faisceaux algébriques cohérents. Ann. of Maths., 61, 1955, pp. 197-278.
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Load-bearingStrength:plain· not yet calibratedTests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesThe quote only partly states this claim.
- Not matched
A conclusion the paper draws from its own results — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Ces trois théorèmes signifient que la théorie des faisceaux analytiques cohérents sur X^ coïncide essentiellement avec celle des faisceaux algébriques cohérents sur X. Bien entendu, ils tiennent à ce que X est une variété projectile, et sont inexacts même pour une variété affine.”
§ ANNALES DE L'INSTITUT FOURIER > On a alors :
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesIt may state two separate claims as one.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“c) lorsque G == Sj^(C), n = 2m; dans ce cas, l'espace homogène GL^(C)/G est l'espace des formes alternées non dégénérées”
§ ANNALES DE L'INSTITUT FOURIER > £: E^JL^Ê.
Tests✓ Asserted: passes✓ Checkable: passes✓ Load-bearing: passes✓ Based: passesThe quote only partly states this claim.
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)”
Citations
Cites
Some Basic Theorems on Algebraic Groups
Rosenlicht, M. (1956) · American Journal of Mathematics · doi:10.2307/2372523 · Cited by 495
On Compact Complex Analytic Varieties
Chow, W.-L. (1949) · American Journal of Mathematics · doi:10.2307/2372375 · Cited by 132
Divisor class groups on algebraic varieties
Kodaira, K., & Spencer, D. C. (1953) · Proceedings of the National Academy of Sciences · doi:10.1073/pnas.39.8.872 · Cited by 39
Zum Eliminationsproblem der Potenzreihenideale
Rückert, W. (1932) · Springer eBooks · doi:10.1007/978-3-662-41142-1_1 · Cited by 23
Fibre-spaces in algebraic geometry
WEIL, A. A. (1979) · Springer eBooks · doi:10.1007/978-1-4757-1705-1_51 · Cited by 9
Flagged first, then by citations
Research works printed but not linked: 7
- [1] H. Cartan. Idéaux et modules de fonctions analytiques de variables complexes. Bull. Soc. Math. France, 78, 1950, pp. 29-64.
- [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.
- [8] P. Dolbeault. Sur la cohomologie des variétés analytiques complexes. C. R., 236, 1953, pp. 175-177.
- [9] J. Frenkel. Cohomologie à valeurs dans un faisceau non abélien. C. R., 240, 1955, pp. 2368-2370.
- [11] K. Kodaira. On Kähler varieties of restricted type (an intrinsic characterization of algebraic varieties). Ann. of Maths., 60, 1954, pp. 28-48.
- [17] P. Samuel. Méthodes d'algèbre abstraite en géométrie algébrique. Ergebn. der Math., Springer, 1955.
- [18] J.-P. Serre. Faisceaux algébriques cohérents. Ann. of Maths., 61, 1955, pp. 197-278.
Cited by
Sorted by citations
Items 301–400 of 651
Algebraic varieties biholomorphic to ${\bf C}^{^{\ast}}\times {\bf C}^{^{\ast}}$
Simha, R. R. (1978) · Tohoku Mathematical Journal · doi:10.2748/tmj/1178229980 · Cited by 6
Hodge cohomology on blow-ups along subvarietiesPreprint
Rao, S., Yang, S., Yang, X., et al. (2019) · arXiv (Cornell University) · doi:10.48550/arxiv.1907.13281 · Cited by 6
Berezin quantization of noncommutative projective varietiesPreprint
Andersson, A. (2015) · arXiv (Cornell University) · doi:10.48550/arxiv.1506.01454 · Cited by 6
Jumps in the Archimedean height
Brosnan, P., & Pearlstein, G. (2019) · Duke Mathematical Journal · doi:10.1215/00127094-2018-0056 · Cited by 5
“Here, by GAGA [39], we have Pic X = Pic E.”
BackgroundMethodAn Introduction to Motivic Feynman Integrals
Universit&, Rella, C., #233, de Gen&, #232, & ve, S. (2021) · Symmetry Integrability and Geometry Methods and Applications · doi:10.3842/sigma.2021.032 · Cited by 6
“These developments followed the work by Serre [62] on the existence and faithfulness of the analytification of a complex algebraic variety.”
BackgroundHartogs-type theorems in real algebraic geometry, I
Bilski, M., Bochnak, J., & Kucharz, W. (2022) · Journal für die reine und angewandte Mathematik (Crelles Journal) · doi:10.1515/crelle-2022-0037 · Cited by 5
Stable mappings and logarithmic relative symplectic forms
Holland, M. P., & Mond, D. (1999) · Mathematische Zeitschrift · doi:10.1007/pl00004748 · Cited by 5
DG-resolutions of NC-smooth thickenings and NC-Fourier–Mukai transforms
Polishchuk, A., & Tu, J. (2014) · Mathematische Annalen · doi:10.1007/s00208-014-1030-x · Cited by 5
Réalisation de Hodge des motifs de Voevodsky
Lecomte, F., & Wach, N. (2012) · manuscripta mathematica · doi:10.1007/s00229-012-0587-5 · Cited by 5
Abelian varieties over finite fields
Oort, F. J. (2005) · Cited by 9
A relative GAGA principle for families of curves
Hall, J. (2014) · Journal of the London Mathematical Society · doi:10.1112/jlms/jdu012 · Cited by 6
Topological Realisations of Absolute Galois Groups
Kucharczyk, R. A., & Scholze, P. (2018) · Springer proceedings in mathematics & statistics · doi:10.1007/978-3-319-95549-0_8 · Cited by 5
Quasi-projectivity of images of mixed period maps
Bakker, B., Brunebarbe, Y., & Tsimerman, J. (2023) · Journal für die reine und angewandte Mathematik (Crelles Journal) · doi:10.1515/crelle-2023-0070 · Cited by 5
“By definable GAGA we may assume X is reduced.”
BackgroundInfluentialLocalization formulas of cohomology intersection numbers
Matsubara-Heo, S.-J. (2022) · Journal of the Mathematical Society of Japan · doi:10.2969/jmsj/87738773 · Cited by 5
“In view of GAGA principle ([43]), we obtain a canonical isomorphism H± ' H(ΩU (U),∇±).”
Unlikely intersections of curves with algebraic subgroups in semiabelian varieties
Barroero, F., Kühne, L., & Schmidt, H. (2023) · Selecta Mathematica · doi:10.1007/s00029-022-00823-w · Cited by 5
“We identify smooth subvarieties X ⊆ G with the complex analytic manifolds associated to them through analytification [50].”
Method6 The Rationality of the Roots of b-Functions
(1979) · North-Holland mathematical library · doi:10.1016/s0924-6509(08)70647-0 · Cited by 5
Positive line modules over the irreducible quantum flag manifolds
García, F. D., Krutov, A., Buachalla, R. Ó., et al. (2022) · Letters in Mathematical Physics · doi:10.1007/s11005-022-01619-x · Cited by 5
“Under the GAGA (géometrie algébrique et géométrie analytique) correspondence [47], positive and ample line bundles are equivalent.”
De Rham Comparison and Poincaré Duality for Rigid Varieties
Lan, K., Liu, R., & Zhu, X. (2022) · Peking Mathematical Journal · doi:10.1007/s42543-020-00031-5 · Cited by 10
Building Noetherian and Non‐Noetherian Integral Domains Using Power Series
Heinzer, W., Rotthaus, C., & Wiegand, S. (2019) · CRC Press eBooks · doi:10.1201/9780429187902-19 · Cited by 5
Huisman, J. (2002) · Communications in Algebra · doi:10.1081/agb-120014664 · Cited by 5
Hitchin System on Singular Curves
Talalaev, D. V., & Chervov, A. V. (2004) · Theoretical and Mathematical Physics · doi:10.1023/b:tamp.0000036537.38312.04 · Cited by 6
Esnault, H. (1990) · Mathematische Zeitschrift · doi:10.1007/bf02571250 · Cited by 5
Compact Kähler quotients of algebraic varieties and Geometric Invariant Theory
Greb, D. (2009) · Advances in Mathematics · doi:10.1016/j.aim.2009.11.013 · Cited by 5
Algorithmic Aspects of Elliptic Curves
Silverman, J. H. (2009) · Graduate texts in mathematics · doi:10.1007/978-0-387-09494-6_11 · Cited by 6
On the Cohomology of Algebraic Varieties
Voisin, C. (2011) · International Congress of Mathematicians (ICM) · doi:10.1142/9789814324359_0022 · Cited by 5
Comparing algebraic and topological K-theory
Gillet, H. (1992) · Lecture notes in mathematics · doi:10.1007/bfb0088879 · Cited by 5
Some remarks on the semi-local extension of Nash maps
Tancredi, A. (1997) · ANNALI DELL UNIVERSITA DI FERRARA · doi:10.1007/bf02837228 · Cited by 5
Methods in the Theory of Sheaves and Stein Spaces
Onishchick, A. L. (1990) · Encyclopaedia of mathematical sciences · doi:10.1007/978-3-642-61263-3_1 · Cited by 5
ALGEBRAIC CONNECTIONS ON ELLIPSOID SURFACESPreprint
Maakestad, H. Ø. (2012) · arXiv (Cornell University) · doi:10.13140/rg.2.2.13367.57761 · Cited by 5
All toric l.c.i.-singularities admit projective crepant resolutionsPreprint
Dais, D. I., Haase, C., & Berlin, G. M. Z. (1998) · arXiv (Cornell University) · doi:10.48550/arxiv.math/9812025 · Cited by 5
Reduction of everywhere convergent power series with respect to Gröbner bases
Apel, J., Stückrad, J., Tworzewski, P., et al. (1996) · Journal of Pure and Applied Algebra · doi:10.1016/0022-4049(95)00102-6 · Cited by 5
Homotopie f�r Okasche Paare von Garben homogener R�ume
Hayes, S. (1974) · Mathematische Annalen · doi:10.1007/bf01350598 · Cited by 5
The Galois action on Origami curves and a special class of Origamis
Nisbach, F. (2011) · Repository KITopen (Karlsruhe Institute of Technology) · doi:10.5445/ir/1000025252 · Cited by 5
Kähler-Ricci solitons on horospherical varietyPreprint
Delgove, F. (2017) · arXiv (Cornell University) · doi:10.48550/arxiv.1710.05623 · Cited by 5
Tame topology of arithmetic quotients and algebraicity of Hodge lociPreprint
Klingler, B. (2018) · arXiv (Cornell University) · doi:10.48550/arxiv.1803.09384 · Cited by 5
Vizio, L. D., & Hardouin, C. (2010) · arXiv (Cornell University) · doi:10.48550/arxiv.1002.4839 · Cited by 5
Symplectic reflection algebras and Poisson geometry
Martino, M. (2006) · Enlighten: Theses (The University of Glasgow) · Cited by 5
Enumerative invariants and wall-crossing formulae in abelian categoriesPreprint
Joyce, D. (2021) · arXiv (Cornell University) · doi:10.48550/arxiv.2111.04694 · Cited by 65
Positive Geometries and Canonical Forms via Mixed Hodge Theory
Brown, F., & Dupont, C. (2025) · Communications in Mathematical Physics · doi:10.1007/s00220-025-05399-y · Cited by 21
Hall, J. (2023) · Journal de Mathématiques Pures et Appliquées · doi:10.1016/j.matpur.2023.05.004 · Cited by 4
Automorphism groups of $\mathbb{P}^1$-bundles over a non-uniruled base
Bandman, T., & Zarhin, Y. G. (2023) · Russian Mathematical Surveys · doi:10.4213/rm10093e · Cited by 4
The complex Monge–Ampère equation, Zoll metrics and algebraization
Burns, D. M., & Leung, K. K. (2017) · Mathematische Annalen · doi:10.1007/s00208-017-1547-x · Cited by 4
The Super Gaga Principle and Families of Super Riemann Surfaces
Topiwala, P., & Rabin, J. M. (1991) · Proceedings of the American Mathematical Society · doi:10.1090/s0002-9939-1991-1057963-8 · Cited by 6
Tribonacci numbers and primes of the form p = x 2 + 11y 2
Evink, T., & Helminck, P. A. (2019) · Mathematica Slovaca · doi:10.1515/ms-2017-0244 · Cited by 4
Asymptotic multiplicities and Monge–Ampère masses (with an appendix by Sébastien Boucksom)
Kim, D., & Rashkovskii, A. (2022) · Mathematische Annalen · doi:10.1007/s00208-022-02394-9 · Cited by 4
“For some standard relations between algebraic and analytic local rings at a point of a complex algebraic variety, we refer to [52].”
BackgroundRelative internality and definable fibrations
Jaoui, R., Jimenez, L., & Pillay, A. (2023) · Advances in Mathematics · doi:10.1016/j.aim.2023.108870 · Cited by 7
“This follows from GAGA [22], namely the fact that a projective bundle over an algebraic variety is itself an algebraic variety.”
BackgroundOne dimensional representations of finite $W$-algebras, Dirac reduction and the orbit method
Topley, L. (2023) · Inventiones mathematicae · doi:10.1007/s00222-023-01215-3 · Cited by 4
ALGEBRAIC ISOMONODROMIC DEFORMATIONS AND THE MAPPING CLASS GROUP
Cousin, G., & Heu, V. (2019) · Journal of the Institute of Mathematics of Jussieu · doi:10.1017/s1474748019000562 · Cited by 4
Recent Progresses in Kähler and Complex Algebraic Geometry
Voisin, C. (2009) · doi:10.4171/009-1/50 · Cited by 4
On graded bundles and their moduli spaces
Czyż, J. (1986) · Reports on Mathematical Physics · doi:10.1016/0034-4877(86)90021-2 · Cited by 4
Sur les structures fibrées osculatrices d'une surface deRiemann
Teleman, C. (1960) · Commentarii Mathematici Helvetici · doi:10.1007/bf02565934 · Cited by 4
A Remark on Hörmander’s Isomorphism
Ohsawa, T. (2015) · Springer proceedings in mathematics & statistics · doi:10.1007/978-4-431-55744-9_20 · Cited by 4
The de Rham functor for logarithmic D-modules
Koppensteiner, C. (2020) · Selecta Mathematica · doi:10.1007/s00029-020-00576-4 · Cited by 4
Algebraic and analytic cohomology of quasiprojective varieties
Peternell, M. (1990) · Mathematische Annalen · doi:10.1007/bf01453585 · Cited by 4
Status of the Algebraic Approach to Super Riemann Surfaces
Rabin, J. M. (1990) · NATO ASI series. Series B : Physics · doi:10.1007/978-1-4684-9148-7_63 · Cited by 4
Rawnsley, J. H. (1979) · Lecture notes in mathematics · doi:10.1007/bfb0069809 · Cited by 4
A Fourier transform for Higgs bundlesPreprint
Bonsdorff, J. (2001) · arXiv (Cornell University) · doi:10.48550/arxiv.math/0104253 · Cited by 4
The trace formula for equivariant $$\mathfrak{D}$$ -modules and perverse sheavesand perverse sheaves
Joshua⋆, R. (1991) · Mathematische Zeitschrift · doi:10.1007/bf02571344 · Cited by 4
A priori bounds of Castelnuovo type for cohomological Hilbert functions
Brodmann, M. (1990) · Commentarii Mathematici Helvetici · doi:10.1007/bf02566622 · Cited by 4
Basic properties of heights of subvarieties
Gubler, W. (2002) · Repository for Publications and Research Data (ETH Zurich) · doi:10.3929/ethz-a-004606854 · Cited by 4
Araujo, C., & Ramón-Marí, J. J. (2014) · Bulletin of the Brazilian Mathematical Society New Series · doi:10.1007/s00574-014-0054-x · Cited by 3
Monodromy representations and surfaces with maximal Albanese dimension
Polizzi, F. (2017) · Bollettino Della Unione Matematica Italiana · doi:10.1007/s40574-017-0131-3 · Cited by 3
Beggs, E. J., & Majid, S. (2020) · Grundlehren der mathematischen Wissenschaften · doi:10.1007/978-3-030-30294-8_1 · Cited by 3
On the hard Lefschetz theorem for pseudoeffective line bundles
Wu, X. (2021) · International Journal of Mathematics · doi:10.1142/s0129167x2150035x · Cited by 3
On Endomorphisms of Algebraic Varieties
Das, N. (2021) · International Mathematics Research Notices · doi:10.1093/imrn/rnab223 · Cited by 3
Modular embeddings and automorphic Higgs bundles
Kucharczyk, R. A. (2018) · Algebraic geometry · doi:10.14231/ag-2018-007 · Cited by 3
On the arithmetical rank of certain segre embeddings
Varbaro, M. (2012) · Transactions of the American Mathematical Society · doi:10.1090/s0002-9947-2012-05435-3 · Cited by 3
Criteria for Algebraicity of Analytic Functions
Bochnak, J., Gwoździewicz, J., & Kucharz, W. (2019) · International Mathematics Research Notices · doi:10.1093/imrn/rnz222 · Cited by 3
Automorphism groups of $\mathbb{P}^1$-bundles over a non-uniruled base
Bandman, T., & Zarhin, Y. G. (2023) · Успехи математических наук · doi:10.4213/rm10093 · Cited by 3
“If X is projective, Bim(X) = Bir(X) is the group of all birational transformations of X (see [74]).”
BackgroundA boundedness theorem for nearby slopes of holonomic -modules
Teyssier, J.-B. (2016) · Compositio Mathematica · doi:10.1112/s0010437x16007533 · Cited by 3
A note on Noetherian Hilbert rings
藤田, 和., & Itoh, S. (1980) · Hiroshima Mathematical Journal · doi:10.32917/hmj/1206134580 · Cited by 3
Fake real planes: exotic affine algebraic models of $$\mathbb {R}^{2}$$ R 2
Dubouloz, A., & Mangolte, F. (2017) · Selecta Mathematica · doi:10.1007/s00029-017-0326-6 · Cited by 3
Normalization of Complex Analytic Spaces from a Global Viewpoint
Acquistapace, F., Broglia, F., & Fernando, J. F. (2018) · Journal of Geometric Analysis · doi:10.1007/s12220-018-00098-8 · Cited by 3
Vector Bundles and Connections
Beggs, E. J., & Majid, S. (2020) · Grundlehren der mathematischen Wissenschaften · doi:10.1007/978-3-030-30294-8_3 · Cited by 3
Differential operators on a polarized abelian variety
Biswas, I. (2002) · Transactions of the American Mathematical Society · doi:10.1090/s0002-9947-02-03067-2 · Cited by 3
On saturations of embedded analytic rings
Nóbile, A. (1980) · Illinois Journal of Mathematics · doi:10.1215/ijm/1256047618 · Cited by 3
On the projectively almost-factorial varieties
Beltrametti, M. C., & Odetti, F. (1977) · Annali di Matematica Pura ed Applicata (1923 -) · doi:10.1007/bf02418376 · Cited by 3
Intuitionistic Logic and Local Mathematical Theories
Gauthier, Y. (1977) · Mathematical logic quarterly · doi:10.1002/malq.19770232704 · Cited by 3
Erratum: Hodge Cycles on Abelian Varieties
Deligne, P. (1982) · Lecture notes in mathematics · doi:10.1007/978-3-540-38955-2_12 · Cited by 3
Dubouloz, A., Freudenburg, G., & Moser-Jauslin, L. (2018) · arXiv (Cornell University) · Cited by 3
Much ado about nothing: The superconformal index and Hilbert series of three dimensional N =4 vacua
Barns-Graham, A. E. (2018) · Apollo (University of Cambridge) · doi:10.17863/cam.35266 · Cited by 3
Onishchik, A. L. (1975) · Journal of Mathematical Sciences · doi:10.1007/bf01084049 · Cited by 3
Autour de l'irrégularité des connexions méromorphes.
Teyssier, J.-B. (2013) · HAL (Le Centre pour la Communication Scientifique Directe) · Cited by 3
On Drinfeld modular forms of higher rank VII: Expansions at the boundary
Gekeler, E.-U. (2024) · Journal of Number Theory · doi:10.1016/j.jnt.2024.09.015 · Cited by 2
Stratifications of the moduli space of curves and related questions
Mondello, G. (2014) · IRIS Research product catalog (Sapienza University of Rome) · Cited by 2
Beggs, E. J., & Majid, S. (2020) · Grundlehren der mathematischen Wissenschaften · doi:10.1007/978-3-030-30294-8_8 · Cited by 2
On the motivic oscillation index and bound of exponential sums modulo p via analytic isomorphisms
Nguyen, K. H., & Veys, W. (2021) · Journal de Mathématiques Pures et Appliquées · doi:10.1016/j.matpur.2021.05.009 · Cited by 2
“But h −1 1 (0) and h −1 2 (0) can be viewed as algebraic closed subsets of suitable complex projective spaces, and then, by the GAGA theorem [37], we can suppose that φ is a C-isomorphism of two algebraic varieties.”
BackgroundMethodOn the Jacobian scheme of a plane curve
Canino, S., Gimigliano, A., & Idà, M. (2024) · Communications in Algebra · doi:10.1080/00927872.2024.2384056 · Cited by 3
“See [17] prop.3 p.9 for the first statement and [17] prop.22 p.36 and prop.28 p.40 for the second one.”
Rescalability of Integrable Mixed Twistor D-Modules
Mochizuki, T. (2024) · Progress in mathematics · doi:10.1007/978-3-031-66234-8_2 · Cited by 2
Intrinsic Approach to Galois Theory of 𝑞-Difference Equations
Vizio, L. D., Hardouin, C., & Granier, A. (2022) · Memoirs of the American Mathematical Society · doi:10.1090/memo/1376 · Cited by 2
Integral Points on Elliptic Curves
Silverman, J. H. (2009) · Graduate texts in mathematics · doi:10.1007/978-0-387-09494-6_9 · Cited by 2
Sur les relations de Plücker dans le cas d'une super algèbre de lie basique classique complexe
Gruson, C. (1994) · Journal of Geometry and Physics · doi:10.1016/0393-0440(94)90053-1 · Cited by 2
Normal crossing singularities and Hodge theory over Artin rings
Lehn, C. (2015) · Asian Journal of Mathematics · doi:10.4310/ajm.2015.v19.n2.a2 · Cited by 2
“from (1) because analytication is an exact functor by [SGA1, Exp XII, Prop 1.3.1] and compatible with taking the wedge product. Moreover, (3) implies (4) by [SGA1, Exp XII, Thm 4.2]. Remark 4.12. In [Ser56] several comparison theorems are proven for projective varieties over C. A generalization of Serre’s work to prop…”
BackgroundInfluentialThe theorem of Torelli for singular curves
Jambois, T. (1978) · Transactions of the American Mathematical Society · doi:10.1090/s0002-9947-1978-0498584-3 · Cited by 2
Coherence and other properties of sheaves in the Kohn algorithm
Nicoara, A. C. (2014) · International Journal of Mathematics · doi:10.1142/s0129167x14500773 · Cited by 3
Some aspects of homological algebra
Grothendieck, A. (2010) · Cited by 2
Karoubi, M., & Weibel, C. A. (2019) · The Quarterly Journal of Mathematics · doi:10.1093/qmathj/haz037 · Cited by 2
Local geometry of Jordan classes in semisimple algebraic groups
Ambrosio, F., Carnovale, G., & Esposito, F. (2020) · Journal of the London Mathematical Society · doi:10.1112/jlms.12385 · Cited by 3
Deforming cyclic covers in towers
Dang, H. (2026) · Algebraic geometry · doi:10.14231/ag-2026-010 · Cited by 4
Integral Domains Inside Noetherian Power Series Rings
Heinzer, W., Rotthaus, C., & Wiegand, S. (2021) · Mathematical surveys and monographs · doi:10.1090/surv/259 · Cited by 2
Metadata
- Authors
- Serre, J.-P.
- Corresponding author
- Serre, Jean-Pierre
- ORCID
- Serre, Jean-Pierre
- Venue
- Annales de l'Institut Fourier
- Publisher
- MathDoc/Centre Mersenne
- 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
- bronze
- doi.org
- 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
