Soit un espace analytique complexe normal, soit un sous-ensemble analytique fermé de , de codimension , et soit un faisceau analytique cohérent sans torsion sur . On démontre l’équivalence des trois propriétés suivantes :
(i) L’image directe de par l’injection est un faisceau cohérent sur .
(ii) Il existe un faisceau analytique cohérent sur qui prolonge .
(iii) Pour tout , il existe un voisinage ouvert de tel que la restriction de à soit engendrée par ses sections (sur ).
Les implications (i) (ii) (iii) sont triviales. L’implication (iii) (i) utilise le théorème de Remmert-Stein sur le prolongement des sous-variétés.
Lorsque est une variété projective, les conditions (i), (ii) et (iii) équivalent à dire que le faisceau est “algébrique”.
@article{AIF_1966__16_1_363_0,
author = {Serre, Jean-Pierre},
title = {Prolongement de faisceaux analytiques coh\'erents},
journal = {Annales de l'Institut Fourier},
pages = {363--374},
year = {1966},
publisher = {Institut Fourier},
address = {Grenoble},
volume = {16},
number = {1},
doi = {10.5802/aif.234},
zbl = {0144.08003},
mrnumber = {35 #3088},
language = {fr},
url = {https://aif.centre-mersenne.org/articles/10.5802/aif.234/}
}
TY - JOUR AU - Serre, Jean-Pierre TI - Prolongement de faisceaux analytiques cohérents JO - Annales de l'Institut Fourier PY - 1966 SP - 363 EP - 374 VL - 16 IS - 1 PB - Institut Fourier PP - Grenoble UR - https://aif.centre-mersenne.org/articles/10.5802/aif.234/ DO - 10.5802/aif.234 LA - fr ID - AIF_1966__16_1_363_0 ER -
Serre, Jean-Pierre. Prolongement de faisceaux analytiques cohérents. Annales de l'Institut Fourier, Volume 16 (1966) no. 1, pp. 363-374. doi: 10.5802/aif.234
[1] et , Compactification of arithmetic quotients of bounded symmetric domains. Ann. of Maths., 84 (1966). | Zbl | MR
[2] et , Le théorème de Riemann-Roch (d'après des résultats inédits de A. Grothendieck). Bull. Soc. Math. France, 86 (1958), 97-136. | Zbl | Numdam
[3] , Idéaux de fonctions analytiques de n variables complexes. Ann. Ecole Norm. Sup., 61 (1944), 149-197. | Zbl | MR | Numdam
[4] , Variétés analytiques complexes et fonctions automorphes. Séminaire E.N.S., Paris, 1953-1954. | Zbl
[5] , Familles d'espaces complexes et fondements de la géométrie analytique. Séminaire E.N.S., Paris, 1960-1961.
[6] , Le problème des modules pour les sous-espaces analytiques compacts d'un espace analytique donné. Ann. Inst. Fourier, 16 (1966), 1-98. | Zbl | MR | Numdam
[7] , Cohomologie non abélienne et espaces fibrés. Bull. Soc. Math. France, 83 (1957), 135-218. | Zbl | MR | Numdam
[8] , Local cohomology (Notes by Robin Hartshorne). Harvard Univ., 1961.
[9] , Séminaire de géométrie algébrique (Notes prises par un groupe d'auditeurs). Paris, I.H.E.S., 1962.
[10] et , Analytic functions of several complex variables. Prentice-Hall, 1965. | Zbl | MR
[11] et , Ueber die wesentlichen Singularitäten analytischer Mengen. Math. Annalen, 126 (1953), 263-306. | Zbl | MR
[12] , Fortsetzungssätze der komplex-analytischen Cohomologie und ihre algebraische Charakterisierung. Math. Annalen, 157 (1964), 75-94. | Zbl | MR
[13] , Géométrie algébrique et géométrie analytique. Ann. Inst. Fourier, 6 (1956), 1-42. | Zbl | MR | Numdam
Cited by Sources:



