Sphère exotique

Sphère exotique

En mathématiques, et plus précisément en topologie différentielle, une sphère exotique est une variété différentielle M qui est homéomorphe, mais non difféomorphe, à la n-sphère euclidienne standard. Autrement dit, M est une sphère du point de vue de ses propriétés topologiques, mais sa structure différentielle (qui définit, par exemple, la notion de vecteur tangent) n'est pas la structure usuelle (d'où l'adjectif « exotique »).

Sommaire

Introduction

La n-sphère unité, Sn, est l'ensemble de tous les n+1-uplets (x1, x2, ...xn+1) de nombres réels tels que x12 + x22 + ... + xn+12 = 1. (S1 est un cercle; S2 est la sphère (usuelle) de centre l'origine et de rayon 1). D'un point de vue topologique, un espace X est une n-sphère s'il existe une bijection continue entre X et la n-sphère unité.

En topologie différentielle, une condition plus contraignante est demandée : la bijection doit être « lisse », c'est-à-dire qu'elle doit posséder en tout point des dérivées de tout ordre. La notion exacte de dérivée dans ce contexte demande la définition d'une structure de variété différentielle, munissant X de cartes locales, c'est-à-dire de systèmes de coordonnées (locales) satisfaisant à des conditions de compatibilité entre eux ; on démontre alors que l'existence de dérivées d'ordre un continues suffit pour qu'on puisse construire une bijection lisse au sens précédent.

En 1956, John Milnor montra, contrairement à ce qui était conjecturé jusque-là, qu'il pouvait exister différents systèmes de coordonnées sur la 7-sphère, équivalents au sens de la continuité, mais non de la différentiabilité. Par la suite, on tenta de clarifier la question de l'existence et du nombre de ces structures « exotiques », mais les résultats obtenus sont encore fragmentaires. Ainsi, il n'existe pas de structure exotique sur les sphères de dimension 1, 2, 3, 5, 6, 12 ou 61 ; dans d'autres cas (comme pour n= 8 ou 14), il n'existe qu'une structure distincte de la structure usuelle, tandis que pour d'autres dimensions encore (comme n = 15), on en connait plusieurs milliers. Enfin, la question de l'existence de structures exotiques sur la 4-sphère reste, en 2011, un important problème ouvert.

Le monoïde des structures différentielles

Le monoïde des structures différentielles de la n-sphère est l'ensemble des classes d'équivalence de variétés différentielles homéomorphes à la n-sphère, considérées à difféomorphisme (conservant l'orientation) près ; la loi de composition entre (classes d'équivalence de) variétés étant la somme connexe. Si n ≠ 4, ce monoïde est un groupe, isomorphe au groupe Θn de h-cobordisme des classes de section « Sphères exotiques de dimension 4… ». En fait, toutes les n-sphères d'homotopie sont homéomorphes à la n-sphère : c'est la conjecture de Poincaré généralisée, qui fut démontrée par Stephen Smale en dimensions supérieures à 4, par Michael Freedman en dimension 4, et par Grigori Perelman en dimension 3. D'autre part, en dimension 3, Edwin E. Moise (en) a démontré que toute variété topologique possède une structure différentielle essentiellement unique ; aussi, en dimension 3, le monoïde est trivial.

Le groupe Θn possède un sous-groupe cyclique bPn+1, représenté par les n-sphères frontières de variétés parallélisables. Les structures de bPn+1 et du quotient Θn / bPn + 1 sont décrites dans un article de Kervaire (en) et Milnor[1], qui joua un rôle important dans le développement de la théorie de la chirurgie (en). En fait, ces calculs peuvent désormais être formulés en utilisant la suite exacte de chirurgie (en).

Le groupe bPn+1 est trivial si n est pair. Si n est de la forme 4m+1, il est d'ordre 1 ou 2 ; en particulier, il est d'ordre 1 si n est 1, 5, 13, 29, ou 61, et Browder a démontré[2] qu'il est d'ordre 2 si m n'est pas de la forme 2k –1. Enfin, l'ordre de bP4n (pour n ≥ 2) est

2^{2n-2}(2^{2n-1}-1)B~

B est le numérateur de |4B2n/n|, B2n étant un nombre de Bernoulli.

Le groupe quotient Θn/bPn+1 peut être décrit à l'aide des groupes d'homotopie stable des sphères modulo l'image du J-homomorphisme (en). Plus précisément, il existe une injection

\Theta_n/bP_{n+1}\to \pi_n^S/J\,

où πnS est le n-ème groupe stable d'homotopie, et J est l'image du J-homomorphisme. Browder[2] montra que cette injection est en fait un isomorphisme si n n'est pas de la forme 2k – 2, et que si n est de cette forme, l'image de cette injection est le groupe entier ou un sous-groupe d'indice 2 ; c'est effectivement un sous-groupe d'indice 2 dans le cas des premières valeurs de cette forme, avec n valant 2, 6, 14, 30, ou 62. L'utilisation de l'invariant de Kervaire (en) a permis à Mike Hill, Michael Hopkins (en) et Doug Ravenel de montrer que la liste précédente était complète (et donc que pour les autres valeurs de n, l'injection était un isomorphisme) à l'exception éventuelle du cas n = 126.

L'ordre du groupe Θn est donné dans cette table provenant de (Kervaire et Milnor 1963) ; elle correspond à la suite A001676 de l’OEIS

Dimension n 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
ordre de Θn 1 1 1 1 1 1 28 2 8 6 992 1 3 2 16256 2 16 16 523264 24
bPn+1 1 1 1 1 1 1 28 1 2 1 992 1 1 1 8128 1 2 1 261632 1
Θn/bPn+1 1 1 1 1 1 1 1 2 2×2 6 1 1 3 2 2 2 2×2×2 8×2 2 24
πnS/J 1 2 1 1 1 2 1 2 2×2 6 1 1 3 2×2 2 2 2×2×2 8×2 2 24

D'autres entrées peuvent être calculées grâce aux résultats précédents, et à la table des groupes d'homotopie des sphères.

Exemples explicites de sphères exotiques

Un des premiers exemples de sphère exotique découvert par Milnor[3] provenait de la construction suivante : prenant deux copies de B4×S3, ayant pour frontière S3×S3, on les recolle en identifiant le point (a,b) de l'une des frontières avec le point (a,a2ba−1) de l'autre (où chaque S3 est identifié au groupe des quaternions unités). La variété résultante possède une structure différentielle naturelle et est homéomorphe à S7, mais ne lui est pas difféomorphe : Milnor montra qu'elle n'est pas le bord d'une variété différentielle de dimension 8 dont le quatrième nombre de Betti serait nul, et ne possède pas de difféomorphisme vers elle-même renversant l'orientation, deux propriétés montrant que ce n'est pas une 7-sphère standard ; il montra également qu'elle possède une fonction de Morse n'admettant que deux points critiques non dégénérés, ce qui est caractéristique d'une sphère topologique.

Ultérieurement, Brieskorn montra[4] que l'intersection de la variété complexe formée des points de C5 tels que

a^2 + b^2 + c^2 + d^3 + e^{6k-1} = 0\

avec une petite sphère autour de l'origine, pour k = 1, 2, ..., 28, donne les 28 structures différentielles possibles sur la 7-sphère orientée.

Sphères tordues

Étant donné un difféomorphisme fSn−1Sn−1, préservant l'orientation, identifier les frontières de deux copies du disque standard Dn à l'aide de f construit une variété appelée une sphère tordue (de torsion f). Elle est homotope à la n-sphère standard parce que f est homotope à l'identité (étant de degré 1), mais n'est pas en général difféomorphe à la sphère standard[5].

Notant Γn le groupe des n-sphères tordues (pour l'opération de somme connexe), on a la suite exacte

\pi_0\,\text{Diff}^+(D^n) \to \pi_0\,\text{Diff}^+(S^{n-1}) \to \Gamma_n \to 0. \,\!.

Stephen Smale a démontré que, pour n > 4, toute sphère exotique est difféomorphe à une sphère tordue. Le groupe Γn des sphères tordues est en fait topujours isomorphe au groupe Θn ; les notations sont différentes parce qu'on ignorait initialement si ces groupes étaient les mêmes pour n=3 ou 4 (le cas n=3 est équivalent à la conjecture de Poincaré ).

En 1970, Jean Cerf (de) démontra le théorème de pseudo-isotopie (en), qui implique que \pi_0\,\text{Diff}^+(D^n) est le groupe trivial si n est supérieur ou égal à 6, et donc que pour un tel n, \Gamma_n \simeq \pi_0\,\text{Diff}^+(S^{n-1}).

Sphères exotiques de dimension 4 et torsions de Gluck

On ignore s'il existe une structure lisse exotique sur la 4-sphère. L'hypothèse qu'il n'en existe pas est connue comme la "conjecture différentielle de Poincaré" (smooth Poincaré conjecture) ; elle est discutée par Michael Freedman et d'autres auteurs[6], qui la tiennent pour fausse.

Les torsions de Gluck[7] permettent de construire d'éventuelles 4-sphères exotiques : elles sont obtenues en retirant un voisinge tubulaire d'une 2-sphère S de S4, et en le recollant à l'aide d'un difféomorphisme de sa frontière S×S1. Le résultat est toujours homéomorphe à S4, mais on ignore le plus souvent s'il lui est difféomorphe (c'est effectivement le cas si S est non nouée, ou résulte de la rotation d'un nœud de la 3-sphère, mais il y a beaucoup d'autres façons de nouer une 2-sphère dans S4, pour lesquelles, le plus souvent, on ne sait pas déterminer si le résultat est ou non une sphère exotique).

En 2009, Abkulut a démontré qu'une certaine famille de candidats au titre de 4-sphères exotiques, construite par Cappell et Shaneson, était en fait formée de sphères standard[8].

Historique

Les premières sphères exotiques furent construites en 1956 par John Milnor[9] en dimension 7 comme des fibrés de fibre S3 et de base S4. Il montra qu'il existe au moins 7 structures différentiables distinctes sur la 7-sphère. En 1959, Milnor montra[10] que l'ensemble des classes de difféomorphismes de sphères exotiques (orientées) sont les éléments non-triviaux d'un monoïde abélien (pour la somme connexe), et que ce monoïde est un groupe fini en toute dimension autre que 4. En 1963, une classification plus complète des sphères exotiques due à Kervaire et Milnor montra que dans le cas des 7-sphères orientées, ce groupe est un groupe cyclique d'ordre 28. En général, on ne sait pas pour quelles valeurs de la dimension existent des sphères exotiques (ni a fortiori combien elles sont) ; ainsi, il n'en existe pas en dimension 12 ; le cas de la dimension 4, en particulier, est en 2011 un problème ouvert.

Notes

Références

  • (en) Selman Akbulut, Cappell-Shaneson homotopy spheres are standard, 2009 , arXiv:0907.0136
  • (en) Egbert V. Brieskorn, « Examples of singular normal complex spaces which are topological manifolds », dans PNAS, vol. 55, no 6, 1966, p. 1395–1397 [lien DOI] 
  • (de) Egbert Brieskorn, « Beispiele zur Differentialtopologie von Singularitäten », dans Invent. Math., vol. 2, no 1, 1966b, p. 1–14 [lien DOI] 
  • (en) William Browder, « The Kervaire invariant of framed manifolds and its generalization », dans Ann. of Math., vol. 90, no 1, 1969, p. 157–186 [lien DOI] 
  • (en) Michael Freedman, Robert Gompf, Scott Morrison et Kevin Walker, « Man and machine thinking about the smooth 4-dimensional Poincaré conjecture », dans Quantum Topology, vol. 1, no 2, 2010, p. 171–208 , arXiv:0906.5177
  • (en) Herman Gluck, « The embedding of two-spheres in the four-sphere », dans Trans. Amer. Math. Soc., vol. 104, no 2, 1962, p. 308–333 [lien DOI] 
  • (de) Friedrich Hirzebruch et Karl Heinz Mayer, O(n)-Mannigfaligkeiten, Exotische Sphären und Singularitäten, vol. 57, Springer-Verlag, 1968 
    Ce livre décrit les relations entre les sphères exotiques et les singularités des variétés complexes.
  • (en) Michel A. Kervaire et John W. Milnor, « Groups of homotopy spheres: I », dans Ann. of Math., vol. 77, no 3, 1963, p. 504–537 [texte intégral] 
    Cet article décrit le groupe des structures différentielles de la n-sphère pour n > 4. L'article qui devait lui faire suite, Groups of Homotopy Spheres: II, ne parut hélas jamais, mais les notes de conférence de Levine contiennent les résultats qui auraient dû y figurer.
  • (en) J. P. Levine, « Lectures on groups of homotopy spheres », dans Algebraic and geometric topology, Springer-Verlag, 1985, p. 62–95 
  • (en) John W. Milnor, « On manifolds homeomorphic to the 7-sphere », dans Ann. of Math., vol. 64, no 2, 1956, p. 399–405 [lien DOI] 
  • John W. Milnor, « Sommes de variétes différentiables et structures différentiables des sphères », dans Bulletin de la Société Mathématique de France, vol. 87, 1959, p. 439–444 [texte intégral] 
  • (en) John W. Milnor, « Differentiable structures on spheres », dans Amer. J. Math. (en), vol. 81, no 4, 1959b, p. 962–972 [lien DOI] 
  • (en) John Milnor, « Classification of (n-1)-connected 2n-dimensional manifolds and the discovery of exotic spheres », dans Annals of Mathematics Studies, vol. 145 : Surveys on surgery theory, 2000, p. 25–30 .
  • (en) John Milnor, « Fifty years ago: topology of manifolds in the 50's and 60's », dans Lecture notes from the 15th Park City Mathematics Institute (PCMI) Graduate Summer School held in Park City, UT, Summer 2006, coll. « IAS/Park City Math. Ser. » (no 15) (ISBN 978-0-8218-4766-4) [lire en ligne], p. 9–20 
  • (en) John W. Milnor, « Differential topology forty-six years later », dans Notices Amer. Math. Soc., vol. 58, no 6, 2011, p. 804–809 [texte intégral] 
  • (en) Yu. B. Rudyak, « Milnor sphere », dans Michiel Hazewinkel, Encyclopædia of Mathematics, Springer, 2001 (ISBN 978-155608010-4) [lire en ligne] 

Liens externes



Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Sphère exotique de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • John Milnor — John Willard Milnor, né le 20 février 1931, est un mathématicien connu pour son travail en topologie différentielle et en K théorie. Sommaire 1 Biographie …   Wikipédia en Français

  • Difféomorphisme — En mathématiques, un difféomorphisme est un isomorphisme dans la catégorie des variétés différentielles : c est une bijection différentiable d une variété dans une autre, dont la bijection réciproque est aussi différentiable. Image d une… …   Wikipédia en Français

  • Variété différentielle — En mathématiques, les variétés différentielles ou variétés différentiables sont les objets de base de la topologie différentielle et de la géométrie différentielle. Il s agit de variétés sur lesquelles il est possible d effectuer les opérations… …   Wikipédia en Français

  • John W. Milnor — John Milnor John Milnor John Willard Milnor (né le 20 février, 1931) est un mathématicien connu pour son travail en …   Wikipédia en Français

  • John Willard Milnor — John Milnor John Milnor John Willard Milnor (né le 20 février, 1931) est un mathématicien connu pour son travail en …   Wikipédia en Français

  • 900 (nombre) — Nombres 900 à 999 Cet article recense les nombres qui ont des propriétés remarquables allant de neuf cents (900) à neuf cent quatre vingt dix neuf (999). Sommaire 1 Entiers de 900 à 909 2 Entiers de 910 à 919 3 Entiers de 920 à 929 …   Wikipédia en Français

  • 905 (nombre) — Nombres 900 à 999 Cet article recense les nombres qui ont des propriétés remarquables allant de neuf cents (900) à neuf cent quatre vingt dix neuf (999). Sommaire 1 Entiers de 900 à 909 2 Entiers de 910 à 919 3 Entiers de 920 à 929 …   Wikipédia en Français

  • Nombres 900 a 999 — Nombres 900 à 999 Cet article recense les nombres qui ont des propriétés remarquables allant de neuf cents (900) à neuf cent quatre vingt dix neuf (999). Sommaire 1 Entiers de 900 à 909 2 Entiers de 910 à 919 3 Entiers de 920 à 929 …   Wikipédia en Français

  • Nombres 900 À 999 — Cet article recense les nombres qui ont des propriétés remarquables allant de neuf cents (900) à neuf cent quatre vingt dix neuf (999). Sommaire 1 Entiers de 900 à 909 2 Entiers de 910 à 919 3 Entiers de 920 à 929 …   Wikipédia en Français

  • Nombres 900 à 999 — Cet article recense les nombres qui ont des propriétés remarquables allant de neuf cents (900) à neuf cent quatre vingt dix neuf (999). Sommaire 1 Entiers de 900 à 909 2 Entiers de 910 à 919 3 Entiers de 920 à 929 4 …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”