« Variété de Stein » : différence entre les versions

Un article de Wikipédia, l'encyclopédie libre.
Contenu supprimé Contenu ajouté
Else If Then (discuter | contributions)
Créé en traduisant la page « Stein manifold »
Balises : Nowiki dans un article [de contenu] [de contenu 2]
 
Else If Then (discuter | contributions)
Aucun résumé des modifications
Ligne 12 : Ligne 12 :


== Les surfaces de Riemann non compactes sont des variétés de Stein ==
== Les surfaces de Riemann non compactes sont des variétés de Stein ==
Soit ''X'' une [[surface de Riemann]] connexe non compacte. Un [[Théorème de Behnke-Stein|théorème]] profond de [[Heinrich Behnke]] et Stein (1948) affirme que ''X'' est une variété de Stein.
Soit ''X'' une [[surface de Riemann]] connexe non compacte. Un {{Lien|langue=en|trad=Behnke-Stein theorem|fr=Théorème de Behnke-Stein|texte=théorème}} profond de [[Heinrich Behnke]] et Stein (1948) affirme que ''X'' est une variété de Stein.


Un autre résultat, attribué à [[Hans Grauert]] et [[Helmut Röhrl]] (1956), stipule de plus que tout [[fibré vectoriel holomorphe]] sur ''X'' est trivial. En particulier, chaque faisceau de droite est trivial, donc <math>H^1(X, \mathcal O_X^*) =0 </math>. La [[Séquence de faisceaux exponentielle|suite exponentielle de faisceaux]] conduit à la suite exacte suivante :
Un autre résultat, attribué à [[Hans Grauert]] et {{Lien|langue=en|trad=Helmut Röhrl|fr=Helmut Röhrl}} (1956), stipule de plus que tout {{Lien|langue=en|trad=Holomorphic vector bundle|fr=fibre vectoriel holomorphe}} sur ''X'' est trivial. En particulier, chaque faisceau de droite est trivial, donc <math>H^1(X, \mathcal O_X^*) =0 </math>. La {{Lien|langue=en|trad=exponential sheaf sequence|fr=suite exponentielle de faisceaux}} conduit à la suite exacte suivante :


: <math>H^1(X, \mathcal O_X) \longrightarrow H^1(X, \mathcal O_X^*) \longrightarrow H^2(X, \Z) \longrightarrow H^2(X, \mathcal O_X) </math>
: <math>H^1(X, \mathcal O_X) \longrightarrow H^1(X, \mathcal O_X^*) \longrightarrow H^2(X, \Z) \longrightarrow H^2(X, \mathcal O_X) </math>


Or [[Théorèmes de Cartan A et B|le théorème B de Cartan]] montre que <math>H^1(X,\mathcal{O}_X)= H^2(X,\mathcal{O}_X)=0 </math>, Donc <math>H^2(X,\Z) =0</math> .
Or le {{Lien|langue=en|trad=Cartan's theorems A and B|fr=Théorèmes A et B de Cartan|texte=théorème B de Cartan}} montre que <math>H^1(X,\mathcal{O}_X)= H^2(X,\mathcal{O}_X)=0 </math>, Donc <math>H^2(X,\Z) =0</math> .


Ceci est lié à la solution du [[Problèmes de cousins|second problème de Cousin]].
Ceci est lié à la solution du {{Lien|langue=en|trad=Cousin problems|fr=Problèmes de Cousin|texte=second problème de Cousin}}.


== Propriétés et exemples de variétés de Stein ==
== Propriétés et exemples de variétés de Stein ==
Ligne 38 : Ligne 38 :
* À une dimension complexe, la condition de Stein peut être simplifiée : une [[surface de Riemann]] connexe est une variété de Stein si et seulement si elle n'est pas compacte. Cela peut être prouvé en utilisant une version du [[théorème de Runge]] pour les surfaces de Riemann, due à Behnke et Stein.
* À une dimension complexe, la condition de Stein peut être simplifiée : une [[surface de Riemann]] connexe est une variété de Stein si et seulement si elle n'est pas compacte. Cela peut être prouvé en utilisant une version du [[théorème de Runge]] pour les surfaces de Riemann, due à Behnke et Stein.


* Être une variété de Stein équivaut à être une variété (complexe) ''fortement pseudoconvexe''. Cela signifie qu'il existe une fonction fortement pseudo-convexe (ou {{Lien|langue=en|trad=Plurisubharmonic function|fr=Fonction plurisous-harmonique|texte=plurisous-harmonique}}), c'est-à-dire une fonction réelle lisse <math>\psi</math> sur <math>X</math> (qui peut être supposée être une [[Théorie de Morse|fonction Morse]]) avec <math>i \partial \bar \partial \psi >0</math>, de sorte que les sous-ensembles <math>\{z \in X \mid \psi (z)\leq c \}</math> sont compacts dans <math>X</math> pour tout nombre réel <math>c</math> .
*


* Être une variété de Stein équivaut à être une variété (complexe) ''fortement pseudoconvexe''. Cela signifie qu'il existe une fonction fortement pseudo-convexe (ou [[Fonction plurisous-harmonique|plurisous]] -harmonique), c'est-à-dire une fonction réelle lisse <math>\psi</math> sur <math>X</math> (qui peut être supposée être une [[Théorie de Morse|fonction Morse]]) avec <math>i \partial \bar \partial \psi >0</math>, de sorte que les sous-ensembles <math>\{z \in X \mid \psi (z)\leq c \}</math> sont compacts dans <math>X</math> pour tout nombre réel <math>c</math> . Il s'agit d'une solution au '''problème de Levi''', nommé d'après [[Eugenio Elia Levi|EE Levi]] (1911).
Dans l'ensemble d'analogies de l'article ''GAGA'' de [[Jean-Pierre Serre|Serre]], les variétés de Stein correspondent à des [[Variété algébrique affine|variétés algébriques affines]].

*


Dans l'ensemble d'analogies de l'article <nowiki><i>GAGA</i></nowiki> de [[Jean-Pierre Serre|Serre]], les variétés de Stein correspondent à des [[Variété algébrique affine|variétés algébriques affines]].


== Remarques ==
== Remarques ==
Ligne 53 : Ligne 49 :
{{Traduction/Référence|lang1=en|art1=Stein manifold}}
{{Traduction/Référence|lang1=en|art1=Stein manifold}}


* {{cite journal|first1=Rafael|last1=Andrist|title=Stein spaces characterized by their endomorphisms|journal=Transactions of the American Mathematical Society|volume=363|issue=5|year=2010|doi=10.1090/S0002-9947-2010-05104-9|pages=2341–2355|s2cid=14903691}}
*
* {{Ouvrage|last1=Forster|first1=Otto|author1-link=Otto Forster|title=Lectures on Riemann surfaces|publisher=Springer Verlag|location=New-York|series=Graduate Text in Mathematics|isbn=0-387-90617-7|year=1981|volume=81}} (including a proof of Behnke-Stein and Grauert–Röhrl theorems)
* {{Ouvrage|doi=10.1007/978-3-642-22250-4|title=Stein Manifolds and Holomorphic Mappings|year=2011|last1=Forstnerič|first1=Franc|isbn=978-3-642-22249-8}}
* {{Ouvrage|last1=Hörmander|first1=Lars|author1-link=Lars Hörmander|title=An introduction to complex analysis in several variables|publisher=North-Holland Publishing Co.|location=Amsterdam|series=North-Holland Mathematical Library|isbn=978-0-444-88446-6|mr=1045639|year=1990|volume=7}} (including a proof of the embedding theorem)
* {{Ouvrage|last1=Gompf|first1=Robert E.|title=Handlebody construction of Stein surfaces|mr=1668563|year=1998|journal=[[Annals of Mathematics]]|series=Second Series|issn=0003-486X|volume=148|issue=2|pages=619–693|doi=10.2307/121005|jstor=121005|publisher=The Annals of Mathematics, Vol. 148, No. 2|arxiv=math/9803019|s2cid=17709531}} (definitions and constructions of Stein domains and manifolds in dimension 4)
* {{Ouvrage|mr=0580152|last1=Grauert|first1=Hans|last2=Remmert|first2=Reinhold|title=Theory of Stein spaces|series=Grundlehren der Mathematischen Wissenschaften|volume=236|publisher=Springer-Verlag|place=Berlin-New York|year=1979|isbn=3-540-90388-7}}
* {{cite journal|first1=Liviu|last1=Ornea|first2=Misha|last2=Verbitsky|title=Locally conformal Kähler manifolds with potential|journal=Mathematische Annalen|volume=348|year=2010|doi=10.1007/s00208-009-0463-0|pages=25–33|s2cid=10734808}}
* {{cite journal|first1=Hej|last1=Iss'Sa|title=On the Meromorphic Function Field of a Stein Variety|journal=Annals of Mathematics|volume=83|issue=1|year=1966|doi=10.2307/1970468|jstor=1970468|pages=34–46}}
* {{Ouvrage|mr=0043219|last=Stein|first=Karl|title=Analytische Funktionen mehrerer komplexer Veränderlichen zu vorgegebenen Periodizitätsmoduln und das zweite Cousinsche Problem|language=German|journal=Math. Ann.|volume=123|year=1951|pages=201–222|doi=10.1007/bf02054949|s2cid=122647212}}
* {{cite journal|first1=Jing|last1=Zhang|title=Algebraic Stein Varieties|year=2006|bibcode=2006math.....10886Z|arxiv=math/0610886}}

[[Catégorie:Géométrie complexe]]
[[Catégorie:Géométrie complexe]]

Version du 16 juillet 2022 à 15:06

En mathématiques, et plus précisément en théorie des variétés complexes en plusieurs variables, une variété de Stein est une sous-variété complexe de l'espace vectoriel de dimension complexe n. Ils ont été présentés par et nommés d'après Karl Stein. Un espace de Stein est similaire à une variété de Stein mais est autorisé à avoir des singularités. Les espaces de Stein sont les analogues des variétés affines ou des schémas affines en géométrie algébrique.

Définition

Soient une variété complexe de dimension complexe et l'anneau des fonctions holomorphes sur Nous dirons que est une variété de Stein si les conditions suivantes sont vérifiées :

est également un sous-ensemble compact de .
  • est holomorphiquement séparable, c'est-à-dire si sont deux points dans , alors il existe tel que

Les surfaces de Riemann non compactes sont des variétés de Stein

Soit X une surface de Riemann connexe non compacte. Un théorème profond de Heinrich Behnke et Stein (1948) affirme que X est une variété de Stein.

Un autre résultat, attribué à Hans Grauert et Helmut Röhrl (en) (1956), stipule de plus que tout fibre vectoriel holomorphe (en) sur X est trivial. En particulier, chaque faisceau de droite est trivial, donc . La suite exponentielle de faisceaux (en) conduit à la suite exacte suivante :

Or le théorème B de Cartan montre que , Donc .

Ceci est lié à la solution du second problème de Cousin.

Propriétés et exemples de variétés de Stein

  • L'espace complexe standard est une variété de Stein.
  • On peut montrer assez facilement que chaque sous-variété complexe fermée d'une variété de Stein est aussi une variété de Stein.
  • Le théorème de plongement des variétés de Stein énonce ce qui suit : Chaque variété de Stein de dimension complexe peut être plongé dans par une application propre biholomorphe.

Ces faits impliquent qu'une variété de Stein est une sous-variété complexe fermée d'espace complexe, dont la structure complexe est celle de l'espace ambiant (car le plongement est biholomorphe).

  • Chaque variété de Stein de dimension (complexe) n a le type d'homotopie d'un complexe CW à n dimensions.
  • À une dimension complexe, la condition de Stein peut être simplifiée : une surface de Riemann connexe est une variété de Stein si et seulement si elle n'est pas compacte. Cela peut être prouvé en utilisant une version du théorème de Runge pour les surfaces de Riemann, due à Behnke et Stein.
  • Être une variété de Stein équivaut à être une variété (complexe) fortement pseudoconvexe. Cela signifie qu'il existe une fonction fortement pseudo-convexe (ou plurisous-harmonique (en)), c'est-à-dire une fonction réelle lisse sur (qui peut être supposée être une fonction Morse) avec , de sorte que les sous-ensembles sont compacts dans pour tout nombre réel .


Dans l'ensemble d'analogies de l'article GAGA de Serre, les variétés de Stein correspondent à des variétés algébriques affines.

Remarques


Références

  • Rafael Andrist, « Stein spaces characterized by their endomorphisms », Transactions of the American Mathematical Society, vol. 363, no 5,‎ , p. 2341–2355 (DOI 10.1090/S0002-9947-2010-05104-9, S2CID 14903691)
  • Otto Forster, Lectures on Riemann surfaces, vol. 81, New-York, Springer Verlag, coll. « Graduate Text in Mathematics », (ISBN 0-387-90617-7) (including a proof of Behnke-Stein and Grauert–Röhrl theorems)
  • Franc Forstnerič, Stein Manifolds and Holomorphic Mappings, (ISBN 978-3-642-22249-8, DOI 10.1007/978-3-642-22250-4)
  • Lars Hörmander, An introduction to complex analysis in several variables, vol. 7, Amsterdam, North-Holland Publishing Co., coll. « North-Holland Mathematical Library », (ISBN 978-0-444-88446-6, MR 1045639) (including a proof of the embedding theorem)
  • Robert E. Gompf, Handlebody construction of Stein surfaces, vol. 148, The Annals of Mathematics, Vol. 148, No. 2, coll. « Second Series », , 619–693 p. (ISSN 0003-486X, DOI 10.2307/121005, JSTOR 121005, MR 1668563, arXiv math/9803019, S2CID 17709531) (definitions and constructions of Stein domains and manifolds in dimension 4)
  • Hans Grauert et Reinhold Remmert, Theory of Stein spaces, vol. 236, Springer-Verlag, coll. « Grundlehren der Mathematischen Wissenschaften », (ISBN 3-540-90388-7, MR 0580152)
  • Liviu Ornea et Misha Verbitsky, « Locally conformal Kähler manifolds with potential », Mathematische Annalen, vol. 348,‎ , p. 25–33 (DOI 10.1007/s00208-009-0463-0, S2CID 10734808)
  • Hej Iss'Sa, « On the Meromorphic Function Field of a Stein Variety », Annals of Mathematics, vol. 83, no 1,‎ , p. 34–46 (DOI 10.2307/1970468, JSTOR 1970468)
  • (de) Karl Stein, Analytische Funktionen mehrerer komplexer Veränderlichen zu vorgegebenen Periodizitätsmoduln und das zweite Cousinsche Problem, vol. 123, , 201–222 p. (DOI 10.1007/bf02054949, MR 0043219, S2CID 122647212)
  • Jing Zhang, « Algebraic Stein Varieties », {{Article}} : paramètre « périodique » manquant,‎ (Bibcode 2006math.....10886Z, arXiv math/0610886)