Sphère exotique — Wikipédia

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 ».

La n-sphère unité, Sⁿ, est l'ensemble de tous les n+1-uplets (x₁, x₂, ...x_n+1) de nombres réels tels que x₁² + x₂² + ... + x_n+1² = 1. (S¹ est un cercle; S² 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 connaît plusieurs milliers. Enfin, la question de l'existence de structures exotiques sur la 4-sphère reste, en 2017, un important problème ouvert.

Le monoïde S_n 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 S_n est un groupe abélien fini, isomorphe au groupe Θ_n de h-cobordisme des classes de n-sphères d'homotopie (en). On ne sait presque rien du monoïde S₄, sinon qu'il est fini ou dénombrable (bien qu'il soit conjecturé qu'il est infini)^{[réf. nécessaire]}, et qu'il est abélien ; voir à ce sujet la 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 a démontré que toute variété topologique possède une structure différentielle essentiellement unique, si bien que le monoïde S₃ est trivial.

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

Le groupe bP_n+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 2^k –1. Enfin, l'ordre de bP_4n (pour n ≥ 2) est

${\displaystyle 2^{2n-2}(2^{2n-1}-1)B~}$

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

Le groupe quotient Θ_n/bP_n+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

${\displaystyle \Theta _{n}/bP_{n+1}\to \pi _{n}^{S}/J\,}$

où π_n^S 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 2^k – 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 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.

Un des premiers exemples de sphère exotique découvert par Milnor^[3] provenait de la construction suivante : prenant deux copies de B⁴×S³, ayant pour frontière S³×S³, on les recolle en identifiant le point (a,b) de l'une des frontières avec le point (a,a²ba⁻¹) de l'autre (où chaque S³ est identifié au groupe des quaternions unités). La variété résultante possède une structure différentielle naturelle et est homéomorphe à S⁷, 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 C⁵ tels que

${\displaystyle 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.

Étant donné un difféomorphisme f: Sⁿ⁻¹→Sⁿ⁻¹, préservant l'orientation, identifier les frontières de deux copies du disque standard Dⁿ à 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

${\displaystyle \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 donc dans ce cas isomorphe au groupe Θ_n. Il l'est aussi pour n = 3, puisqu'on montre assez facilement que Γ₃ est trivial or, d'après la conjecture de Poincaré aujourd'hui résolue, Θ₃ l'est aussi. Il l'est également pour n = 4 puisque (cf. supra) Θ₄ est trivial or — d'après un théorème difficile de Jean Cerf^[6] — Γ₄ aussi. Notons cependant que cela ne fournit aucune information sur l'éventuelle trivialité du monoïde S₄.

En 1970, Jean Cerf démontra le théorème de pseudo-isotopie (en), qui implique que ${\displaystyle \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, ${\displaystyle \Gamma _{n}\simeq \pi _{0}\,{\text{Diff}}^{+}(S^{n-1})}$.

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^[7], qui la tiennent pour fausse.

Les torsions de Gluck^[8] permettent de construire d'éventuelles 4-sphères exotiques : elles sont obtenues en retirant un voisinage tubulaire d'une 2-sphère S de S⁴, et en le recollant à l'aide d'un difféomorphisme de sa frontière S×S¹. Le résultat est toujours homéomorphe à S⁴, 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 S⁴, 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^[9].

Les premières sphères exotiques furent construites en 1956 par John Milnor^[10] en dimension 7 comme des fibrés de fibre S³ et de base S⁴. Il montra qu'il existe au moins 7 structures différentiables distinctes sur la 7-sphère. En 1959, Milnor montra^[11] 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 2017 un problème ouvert.

• (en) Selman Akbulut (en), Cappell-Shaneson homotopy spheres are standard, 2009, arXiv:0907.0136
• (en) Egbert V. Brieskorn, « Examples of singular normal complex spaces which are topological manifolds », PNAS, vol. 55, n^o 6,‎ 1966, p. 1395–1397 (DOI 10.1073/pnas.55.6.1395, MR 0198497)
• (de) Egbert Brieskorn, « Beispiele zur Differentialtopologie von Singularitäten », Invent. Math., vol. 2, n^o 1,‎ 1966b, p. 1–14 (DOI 10.1007/BF01403388, MR 0206972)
• (en) William Browder, « The Kervaire invariant of framed manifolds and its generalization », Ann. of Math., vol. 90, n^o 1,‎ 1969, p. 157–186 (DOI 10.2307/1970686, JSTOR 1970686, MR 0251736)
• (en) Michael Freedman, Robert Gompf, Scott Morrison et Kevin Walker, « Man and machine thinking about the smooth 4-dimensional Poincaré conjecture », Quantum Topology, vol. 1, n^o 2,‎ 2010, p. 171–208, arXiv:0906.5177
• (en) Herman Gluck, « The embedding of two-spheres in the four-sphere », Trans. Amer. Math. Soc., vol. 104, n^o 2,‎ 1962, p. 308–333 (DOI 10.2307/1993581, JSTOR 1993581, MR 0146807)
• (de) Friedrich Hirzebruch et Karl Heinz Mayer, O(n)-Mannigfaligkeiten, Exotische Sphären und Singularitäten, vol. 57, Springer-Verlag, 1968 (DOI 10.1007/BFb0074355, MR 0229251)
  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 », Ann. of Math., vol. 77, n^o 3,‎ 1963, p. 504–537 (lire en ligne)
  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 le Lecture Notes de Levine contient les résultats qui auraient dû y figurer.
• (en) Jerome Levine, « Lectures on groups of homotopy spheres », dans Algebraic and geometric topology, Springer-Verlag, 1985 (DOI 10.1007/BFb0074439, MR 8757031), p. 62–95
• (en) John W. Milnor, « On manifolds homeomorphic to the 7-sphere », Ann. of Math., vol. 64, n^o 2,‎ 1956, p. 399–405 (DOI 10.2307/1969983, JSTOR 1969983, MR 0082103)
• John W. Milnor, « Sommes de variétes différentiables et structures différentiables des sphères », Bulletin de la Société Mathématique de France, vol. 87,‎ 1959, p. 439–444 (MR 0117744, lire en ligne)
• (en) John W. Milnor, « Differentiable structures on spheres », Amer. J. Math., vol. 81, n^o 4,‎ 1959b, p. 962–972 (DOI 10.2307/2372998, JSTOR 2372998, MR 0110107)
• (en) John Milnor, « Classification of (n-1)-connected 2n-dimensional manifolds and the discovery of exotic spheres », Annals of Mathematics Studies, vol. 145 : Surveys on surgery theory,‎ 2000, p. 25–30 (MR 1747528).
• (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, Providence, R.I., Amer. Math. Soc., coll. « IAS/Park City Math. Ser. » (n^o 15), 2009 (ISBN 978-0-8218-4766-4, MR 2503491, lire en ligne), p. 9–20
• (en) John W. Milnor, « Differential Topology Forty-six Years Later », Notices Amer. Math. Soc., vol. 58, n^o 6,‎ 2011, p. 804-809 (lire en ligne)
• (en) Yu. B. Rudyak, « Milnor sphere », dans Michiel Hazewinkel, Encyclopædia of Mathematics, Springer, 2002 (ISBN 978-1556080104, lire en ligne)

• (en) « Exotic spheres »^{(Archive.org • Wikiwix • Archive.is • Google • Que faire ?)} dans l'Atlas des Variétés (Manifold Atlas)
• (en) Exotic sphere home page sur la page personnelle de Andrew Ranicki

• Portail de la géométrie