Finiteness theorems

From Encyclopedia of Mathematics
Revision as of 17:07, 7 February 2011 by (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

A finiteness theorem in algebraic geometry is an assertion about the various objects in algebraic geometry (cohomology spaces, algebraic varieties, schemes, fibrations, etc.), stating that these objects depend on finitely many parameters or even form finite sets.

The first circle of finiteness theorems relates to cohomology spaces of coherent algebraic sheaves. The fundamental theorem states that these spaces are finite-dimensional over the ground field if the variety is proper (for this property is equivalent to compactness) (see [2]). Far-reaching generalizations of this theorem have been obtained in the theory of schemes. One of them generalizes the theorem to the case of proper morphisms of schemes and asserts that the direct image of a coherent sheaf under such a mapping is coherent (see [3], [4]). Another generalization relates to the study of the cohomology of improper varieties. It turns out that if the variety under discussion is obtained by the excision of some subvariety from a proper variety, then it is possible to estimate the dimensions in which the cohomology groups are finite-dimensional. These estimates depend on the codimension of and on properties of its singular points (see [5], [6]). Corresponding results are known for étale cohomology.

Another circle of finiteness theorems relates to subschemes and, more generally, to coherent sheaves over a fixed proper scheme. These objects can be parametrized in a very general situation by Hilbert schemes (or by Picard schemes in the case of invertible sheaves, cf. Hilbert scheme; Picard scheme). The most general of these finiteness theorems asserts that such schemes are quasi-projective if one restricts oneself to subschemes or to sheaves with one and the same Hilbert polynomial [4]. A special case is the fact that algebraic subvarieties of given degree in a projective space depend on finitely many parameters, as well as the theorem stating that the Néron–Severi group has a finite basis.

These theorems find application in a wide range of finiteness problems that arise in Diophantine geometry. Among them are: the question of the finiteness of the set of rational points of an algebraic variety defined over a global field (the multi-dimensional analogue of the Mordell conjecture); Shafarevich's conjecture concerning the finiteness of the number of algebraic curves defined over a given global field and with fixed degeneracies; and the question about the finite generation of the group of rational points of an algebraic group.


[1] J.-P. Serre, "Sur la cohomologie des variétés algébriques" J. Math. Pures Appl. , 36 : 5 (1957) pp. 1–16
[2] J.-P. Serre, "Faisceaux algébriques coherents" Ann. of Math. , 61 (1955) pp. 197–238
[3] A. Grothendieck, "Eléments de géométrie algébrique III" Publ. Math. IHES , 17 (1963) pp. Chapt. 3, Part 2
[4] A. Grothendieck, "Fondements de la géométrie algébrique" , Secr. Math. Univ. Paris (1961/62) (Extracts Sem. Bourbaki 1957–1962)
[5] R. Hartshorne, "Ample subvarieties of algebraic varieties" , Springer (1970)
[6] A. Ogus, "Local cohomological dimension of algebraic varieties" Ann. of Math. , 98 : 2 (1973) pp. 327–365
[7] I.R. Shafarevich, "Algebraic number fields" , Proc. Internat. Congress mathematicians (Stockholm, 1962) , Inst. Mittag-Leffler (1963) pp. 163–176
[8] S.Yu. Arakelov, "Families of algebraic curves with fixed degeneracies" Math. USSR Izv. , 5 : 6 (1971) pp. 1277–1302 Izv. Akad. Nauk SSSR Ser. Math. , 35 : 6 (1971) pp. 1269–1293


A major recent development is the proof by G. Faltings (cf. [a1]) of the conjectures of Mordell and Shafarevich (in the case of number fields). The functional case was settled before by S.Yu. Arakelov [8]. See [a3] for a brief description of Faltings' work. See [a4] for finiteness results for algebraic cycles.


[a1] G. Faltings, "Endlichkeitssätze für abelsche Varietäten über Zahlkörpern" Invent. Math. , 73 (1983) pp. 349–366 (Erratum: Invent. Math. (1984), 381)
[a2] R. Hartshorne, "Algebraic geometry" , Springer (1977) pp. Sect. IV.2
[a3] B. Mazur, "On some of the mathematical contributions of Gerd Faltings" , Proc. Internat. Congress Mathematicians (Berkeley, 1986) , Amer. Math. Soc. (1987) pp. 7–12
[a4] S.L. Kleiman, "Finiteness theorem for algebraic cycles" , Proc. Internat. Congress Mathematicians (Nice, 1970) , 1 , Gauthier-Villars (1971) pp. 445–449

Finiteness theorems in the theory of analytic spaces are criteria for the finite dimensionality of cohomology groups with values in coherent analytic sheaves (cf. Coherent analytic sheaf). The first general theorem of this kind was the Cartan–Serre finiteness theorem [1]: If is a compact complex space and is a coherent analytic sheaf on , then the cohomology spaces are finite-dimensional and Hausdorff for all . A generalization of this theorem to the case of convex-concave spaces [2], [3] asserts: If is a strictly -convex-concave space (see Pseudo-convex and pseudo-concave) and is a coherent analytic sheaf on , then is finite-dimensional for and Hausdorff for , while is finite-dimensional for and Hausdorff for .

Generalizations of the above theorems to the relative case are also finiteness theorems, that is, criteria for the coherence of the direct images of coherent sheaves. The following theorem of Grauert [4], [5] is a generalization of the Cartan–Serre theorem: If is a proper analytic mapping between complex spaces and is a coherent analytic sheaf over , then the direct images are coherent for all . This property turns out to be sufficient for to be a proper mapping. Similar finiteness theorems have been proved for strictly -convex and strictly -concave mappings (see [6]). The analogue of Grauert's theorem has been proved also for rigid analytic spaces (cf. Rigid analytic space) over a field with a non-Archimedean valuation [7].

Closely connected with finiteness theorems are theorems about estimates for the transcendence degree of fields of meromorphic functions on various classes of complex spaces (see Siegel theorem). A simple consequence of Grauert's theorem is the following theorem of Remmert [4]: If is a proper analytic mapping between complex spaces and is an analytic set in , then is an analytic set in . This theorem carries over to the case of rigid spaces [7].


[1] H. Cartan, J.-P. Serre, "Une théorème de finitude concernant les variétés analytiques compactes" C.R. Acad. Sci. Paris , 237 (1953) pp. 128–130
[2] A. Andreotti, G. Grauert, "Théorèmes de finitude pour la cohomologie des espaces complexes" Bull. Soc. Math. France , 90 (1962) pp. 193–259
[3] J.P. Ramis, "Théorèmes de séparation et de finitude pour l'homologie et la cohomologie des espaces -convexes-concaves" Ann. Scuola Norm. Sup. Pisa Sci. Fis. Mat. Ser. 3 , 27 : 4 (1973) pp. 933–997
[4] G. Grauert, "Ein Theorem der analytischen Garbentheorie und die Modulräume Komplexer Strukturen" Publ. Math. IHES , 5 (1960)
[5] O. Stănăşilă, "Algebraic methods in the global theory of complex spaces" , Wiley (1976) (Translated from Rumanian)
[6] A.L. Onishchik, "Pseudoconvexity in the theory of complex spaces" J. Soviet Math. , 14 : 4 (1980) pp. 1363–1428 Itogi Nauk. Algebra Topol. Geom. , 15 (1977) pp. 93–171
[7] R. Kiehl, "Der Endlichkeitssatz für eigentliche Abbildungen in der nichtarchimedischen Funktionentheorie" Invent. Math. , 2 : 3 (1966) pp. 191–214

A.L. Onishchik



[a1] H. Grauert, R. Remmert, "Coherent analytic sheaves" , Springer (1984) (Translated from German)
How to Cite This Entry:
Finiteness theorems. Encyclopedia of Mathematics. URL:
This article was adapted from an original article by A.N. Parshin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article