John R. Stallings

De testwiki
Aller à la navigation Aller à la recherche

Modèle:Infobox biographie2 John Robert Stallings junior né le Modèle:Date- à Morrilton (Arkansas), mort le Modèle:Date- à Berkeley (Californie)) est un mathématicien américain qui a travaillé en topologie géométrique et en algèbre. Il est connu pour sa contribution à la conjecture de Poincaré, et sa théorie des bouts dans les groupes.

Biographie scientifique

Stallings étudie à l’université de Princeton (un de ses condisciples est John Milnor) et il obtient un Ph. D. en 1959 à Princeton sous la direction de Ralph H. Fox[1] (titre de la thèse Modèle:Citation étrangère). Stallings est Alfred P. Sloan Research fellow de 1962–65 et un Miller Institute fellow de 1972-73[2]. Il est nommé professeur à l'université de Californie à Berkeley en 1967, et est émérite en 1994. En 1961-62 et en 1971, il séjourne à l'Institute for Advanced Study.

Travaux

Les contributions de Stallings sont dans les domaines de la théorie géométrique des groupes et de la topologie en basses dimensions (notamment la topologie des 3-variétés) et dans l'interaction entre ces deux domaines.

En 1960, Stallings démontre, indépendamment de Stephen Smale, la conjecture de Poincaré pour les dimensions supérieures à 6[3]. Sa démonstration est étendue en 1962 par Erik Christopher Zeeman aux dimensions 5 et 6. Stallings formule aussi des conjectures purement algébriques (en théorie des groupes) qui sont équivalentes à la conjecture de Poincaré, comme démontré dans un travail avec Jaco[4].

D'après Stallings, la conjecture de Poincaré est, maintenant qu'elle est prouvée, équivalente au théorème suivant (la conjecture de Stallings) :

Soit T une variété orientable de dimension 2 de genre n≥1, soient F1 et F2 deux groupes libres de rang n et soit ν un épimorphisme du groupe fondamental π1T sur F1×F2. Alors il existe un élément non trivial du noyau de ν, qui est représenté sur T par une courbe simple fermée, c'est-à-dire sn point double.

Le théorème le plus connu de Stallings en théorie des groupes est une caractérisation de groupes qui ont plus d'un bout (c'est-à-dire plus d'une « composante connexe à l'infini »), connu sous le nom de théorème de Stallings. Stallings prouve qu'un groupe finiment engendré a plus d'un bout si et seulement s'il s'écrit comme produit libre amalgamé ou comme une extension HNN sur un groupe fini.

Un autre article important de Stalling est Modèle:Citation étrangère[5]. Alors que traditionnellement la structure algébrique des sous-groupes du groupe libre est étudiée en théorie combinatoire des groupes par des méthodes combinatoires, telles que le lemme de Schreier et la transformation de Nielsen[6], l'article de Stallings met en avant une approche topologique basé sur les méthodes de revêtement qui utilisent des notions simples de théorie des graphes. L'article introduit la notion de graphe de sous-groupes une technique de pliage qui permette d'exprimer simplement de nombreux résultats[7]. En particular, les techniques de graphe et pliage ont été utilisés dans des tentatives de démonstration de la conjecture de Hanna Neumann[8]Modèle:,[9].

Les graphes de sous-groupes de Stallings peuvent aussi être vus comme des automates finis[7] et ont des applications en théorie des demi-groupes et en informatique théorique[10]Modèle:,[11]Modèle:,[12]Modèle:,[13].

Prix et distinctions

En 1970, Stallings reçoit le Prix Frank Nelson Cole en algèbre avec Richard Swan pour la démonstration de la caractérisation des groupes libres finiment engendrés par la propriété d'avoir une dimension cohomologique égale à 1 (théorème de Stallings-Swan)[14].

En 1970, Stallings est Invited Speaker au Congrès international des mathématiciens à Nice (Group theory and 3-manifolds) et en 1962 à Stockholm (Topological unknottedness of certain spheres).

Écrits (sélection)

Notes et références

Modèle:Traduction/Référence Modèle:Références

Liens externes

Modèle:Liens

Modèle:Portail

  1. ↑ Modèle:MathGenealogy.
  2. ↑ * Modèle:Lien web.
  3. ↑ Modèle:Harvsp.
  4. ↑ Modèle:Harvsp.
  5. ↑ Modèle:Harvsp.
  6. ↑ Modèle:Ouvrage. — Réimpression de l'édition de 1977.
  7. ↑ 7,0 et 7,1 Modèle:Article
  8. ↑ Modèle:Article (Proceedings of the Conference on Geometric and Combinatorial Group Theory, Part I, Haifa, 2000).
  9. ↑ Modèle:Article.
  10. ↑ Modèle:Article.
  11. ↑ Modèle:Article.
  12. ↑ Modèle:Article
  13. ↑ Modèle:Article.
  14. ↑ Modèle:Harvsp.
Récupérée de "https://fr.wiki.beta.math.wmflabs.org/w/index.php?title=John_R._Stallings&oldid=17117"