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

Introduction

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 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 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 (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 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

$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

$\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 (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 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

$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 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

$\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 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^[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 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^[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

1. ↑ Kervaire et Milnor 1963
2. ↑ ^{a et b} Browder 1969
3. ↑ Milnor 1956, section 3
4. ↑ Brieskorn 1966b (voir aussi Hirzebruch et Mayer 1968)
5. ↑ Milnor 1959b
6. ↑ Freedman et al. 2010
7. ↑ Gluck 1962
8. ↑ Akbulut 2009
9. ↑ Milnor 1956
10. ↑ Milnor 1959

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, n^o 6, 1966, p. 1395–1397 [lien DOI] 
• (de) Egbert Brieskorn, « Beispiele zur Differentialtopologie von Singularitäten », dans Invent. Math., vol. 2, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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, n^o 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. » (n^o 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, n^o 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

• (en) Exotic spheres dans l'Atlas des Variétés (Manifold Atlas).
• (en) Exotic sphere home page sur la page personnelle de Andrew Ranicki.

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Exotic sphere » (voir la liste des auteurs)