Exotic sphere

Exotic sphere

In differential topology, a mathematical discipline, an exotic sphere is a differentiable manifold M that is homeomorphic but not diffeomorphic to the standard Euclidean n-sphere. That is, M is a sphere from the point of view of all its topological properties, but carrying a smooth structure that is not the familiar one (hence the name "exotic").

The first exotic spheres were constructed by John Milnor (1956) in dimension n = 7 as S3-bundles over S4. He showed that there are at least 7 differentiable structures on the 7-sphere. In any dimension Milnor (1959) showed that the diffeomorphism classes of oriented exotic spheres form the non-trivial elements of an abelian monoid under connected sum, which is a finite abelian group if the dimension is not 4. The classification of exotic spheres by Michel Kervaire and John Milnor (1963) showed that the oriented exotic 7-spheres are the non-trivial elements of a cyclic group of order 28 under the operation of connected sum.

Contents

Introduction

The unit n-sphere, Sn, is the set of all n+1-tuples (x1, x2, ... xn+1) of real numbers, such that the sum x12 + x22 + ... + xn+12 = 1. (S1 is a circle; S2 is the surface of an ordinary ball of radius one in 3 dimensions.) Topologists consider a space, X, to be an n-sphere if every point in X can be assigned to exactly one point in the unit n-sphere in a continuous way, which means that sufficiently nearby points in X get assigned to nearby points in Sn and vice-versa. For example a point x on an n-sphere of radius r can be matched with a point on the unit n-sphere by adjusting its distance from the origin by 1/r.

In differential topology, a more stringent condition is added, that the functions matching points in X with points in Sn should be smooth, that is they should have derivatives of all orders everywhere. To calculate derivatives, one needs to have local coordinate systems defined consistently in X. Mathematicians were surprised in 1956 when John Milnor showed that consistent coordinate systems could be set up on the 7-sphere in two different ways that were equivalent in the continuous sense, but not in the differentiable sense. Milnor and others set about trying to discover how many such exotic spheres could exist in each dimension and to understand how they relate to each other. No exotic structures are possible on the 1-, 2-, 3-, 5-, 6- or 12-spheres. Some higher dimensional spheres have only two possible differentiable structures, others have thousands. Whether exotic 4-spheres exist, and if so how many, is an important unsolved problem in mathematics.

The monoid of smooth structures on spheres in a given dimension

The monoid of smooth structures on n-spheres is the collection of oriented smooth n-manifolds which are homeomorphic to the n-sphere, taken up to orientation-preserving diffeomorphism. The monoid operation is the connected sum. Provided n ≠ 4, this monoid is a group and is isomorphic to the group Θn of h-cobordism classes of oriented homotopy n-spheres, which is finite and abelian. In dimension 4 almost nothing is known about the monoid of smooth spheres, beyond the facts that it is finite or countably infinite, and abelian, though it is suspected to be infinite; see the section on Gluck twists. All homotopy n-spheres are homeomorphic to the n-sphere by the generalized Poincaré conjecture, proved by Stephen Smale in dimensions bigger than 4, Michael Freedman in dimension 4, and Grigori Perelman in dimension 3. In dimension 3, Edwin E. Moise proved that every topological manifold has an essentially unique smooth structure (see Moise's theorem), so the monoid of smooth structures on the 3-sphere is trivial.

The group Θn has a cyclic subgroup

bP_{n+1}\

represented by n-spheres that bound parallelizable manifolds. The structures of bPn+1 and the quotient

\Theta_n/bP_{n+1}\

are described separately in the paper (Michel Kervaire & John Milnor 1963), which was influential in the development of surgery theory. In fact, these calculations can be formulated in a modern language in terms of the surgery exact sequence as indicated here.

The group bPn+1 is trivial if n is even. If n is 1 mod 4 it has order 1 or 2; in particular it has order 1 if n is 1, 5, 13, 29, or 61, and Browder (1969) proved that it has order 2 if n = 1 mod 4 is not of the form 2k – 3. The order of bP4n for n ≥ 2 is

2^{2n-2}(2^{2n-1}-1)B \,\!

where B is the numerator of |4B2n/n|, and B2n is a Bernoulli number. (The formula in the topological literature differs slightly because topologists use a different convention for naming Bernoulli numbers; this article uses the number theorists' convention.)

The quotient group Θn/bPn+1 has a description in terms of stable homotopy groups of spheres modulo the image of the J-homomorphism). More precisely there is an injective map

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

where πnS is the nth stable homotopy group of spheres, and J is the image of the J-homomorphism. Browder (1969) proved this is an isomorphism if n is not of the form 2k – 2, and if n is of this form its image is either the whole group or a subgroup of index 2, and is a subgroup of index 2 in the first few cases when n is 2, 6, 14, 30, or 62. This index is 2 if and only if there exists an n-dimensional framed manifold with Kervaire invariant 1. Finding the dimensions n in which this index is 2 is the Kervaire invariant problem, whose solution for all larger n except 126 was announced by Mike Hill, Michael Hopkins and Doug Ravenel: the above list of dimensions can be extended by at most one, at most including 126.

The order of the group Θn is given in this table (sequence A001676 in OEIS) from (Kervaire & Milnor 1963) (except that the entry for n = 19 is wrong by a factor of 2 in their paper; see the correction in volume III p. 97 of Milnor's collected works).

Dim n 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
order Θ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

Further entries in this table can be computed from the information above together with the table of stable homotopy groups of spheres.

Explicit examples of exotic spheres

When I came upon such an example in the mid-50s, I was very puzzled and didn’t know what to make of it. At first, I thought I’d found a counterexample to the generalized Poincaré conjecture in dimension seven. But careful study showed that the manifold really was homeomorphic to S7. Thus, there exists a differentiable structure on S7 not diffeomorphic to the standard one.

John Milnor (2009, p.12)

One of the first examples of an exotic sphere found by Milnor (1956, section 3) was the following: Take two copies of B4×S3, each with boundary S3×S3, and glue them together by identifying (a,b) in the boundary with (a, a2ba−1), (where we identify each S3 with the group of unit quaternions). The resulting manifold has a natural smooth structure and is homeomorphic to S7, but is not diffeomorphic to S7. Milnor showed that it is not the boundary of any smooth 8-manifold with vanishing 4th Betti number, and has no orientation-reversing diffeomorphism to itself; either of these properties implies that it is not a standard 7-sphere. Milnor showed that this manifold has a Morse function with just two critical points, both non-degenerate, which implies that it is topologically a sphere.

As shown by Egbert Brieskorn (1966, 1966b) (see also (Hirzebruch & Mayer 1968)) the intersection of the complex manifold of points in C5 satisfying

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

with a small sphere around the origin for k = 1, 2, ..., 28 gives all 28 possible smooth structures on the oriented 7-sphere.

Twisted spheres

Given an (orientation-preserving) diffeomorphism fSn−1Sn−1, gluing the boundaries of two copies of the standard disk Dn together by f yields a manifold called a twisted sphere (with twist f). It is homotopy equivalent to the standard n-sphere because the gluing map is homotopic to the identity (being an orientation-preserving diffeomorphism, hence degree 1), but not in general diffeomorphic to the standard sphere. (Milnor 1959b) Setting Γn to be the group of twisted n-spheres (under connect sum), one obtains the exact sequence

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

For n > 4, every exotic sphere is diffeomorphic to a twisted sphere, a result proven by Stephen Smale. (In contrast, in the piecewise linear setting the left-most map is onto via radial extension: there are no piecewise-linear-twisted spheres.) The group Γn of twisted spheres is always isomorphic to the group Θn. The notations are different because it was not known at first that they were the same for n=3 or 4; for example, the case n=3 is equivalent to the Poincaré conjecture.

In 1970 Jean Cerf proved the pseudoisotopy theorem which implies that \pi_0\,\text{Diff}^+(D^n) is the trivial group provided n \geq 6, so \Gamma_n \simeq \pi_0\,\text{Diff}^+(S^{n-1}) provided n \geq 6.

Applications

If M is a piecewise linear manifold then the problem of finding the compatible smooth structures on M depends on knowledge of the groups Γk = Θk. More precisely, the obstructions to the existence of any smooth structure lie in the groups Hk+1(M, Γk) for various values of k, while if such a smooth structure exists then all such smooth structures can be classified using the groups Hk(M, Γk). In particular the groups Γk vanish if k<7, so all PL manifolds of dimension at most 7 have a smooth structure, which is essentially unique if the manifold has dimension at most 6.

The following finite abelian groups are essentially the same:

  • The group Θn of h-cobordism classes of oriented homotopy n-spheres.
  • The group of h-cobordism classes of oriented n-spheres.
  • The group Γn of twisted oriented n spheres.
  • The homotopy group πn(PL/DIFF)
  • If n ≠ 3, the homotopy πn(TOP/DIFF) (if n=3 this group has order 2; see Kirby–Siebenmann invariant).
  • The group of smooth structures of an oriented PL n-sphere.
  • If n≠4, the group of smooth structures of an oriented topological n-sphere.
  • If n≠5, the group of components of the group of all orientation-preserving diffeomorphisms of Sn−1.

4-dimensional exotic spheres and Gluck twists

In 4 dimensions it is not known whether there are any exotic smooth structures on the 4-sphere. The statement that they do not exist is known as the "smooth Poincaré conjecture", and is discussed by Michael Freedman, Robert Gompf, and Scott Morrison et al. (2010) who say that it is believed to be false.

Some candidates for exotic 4-spheres are given by Gluck twists (Gluck 1962). These are constructed by cutting out a tubular neighborhood of a 2-sphere S in S4 and gluing it back in using a diffeomorphism of its boundary S2×S1. The result is always homeomorphic to S4. But in most cases it is unknown whether or not the result is diffeomorphic to S4. (If the 2-sphere is unknotted, or given by spinning a knot in the 3-sphere, then the Gluck twist is known to be diffeomorphic to S4, but there are plenty of other ways to knot a 2-sphere in S4.)

Akbulut (2009) showed that a certain family of candidates for 4-dimensional exotic spheres constructed by Cappell and Shaneson are in fact standard.

See also

References

External links


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • exotic sphere — noun A manifold (of any dimension) homeomorphic to a sphere but not diffeomorphic to the standard sphere …   Wiktionary

  • Exotic — can mean:*In mathematics: **Exotic R4 differentiable manifold homeomorphic but not diffeomorphic to the Euclidean space R4 **Exotic sphere differentiable manifold homeomorphic but not diffeomorphic to the ordinary sphere*In physics: **Exotic atom …   Wikipedia

  • 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… …   Wikipédia en Français

  • Exotic R4 — In mathematics, an exotic R4 is a differentiable manifold that is homeomorphic to the Euclidean space R4, but not diffeomorphic. The first examples were found by Robion Kirby and Michael Freedman, by using the contrast between Freedman s theorems …   Wikipedia

  • Sphere theorem — This article is about sphere theorem for Riemannian manifolds. For a different result by the same name, see Sphere theorem (3 manifolds). In Riemannian geometry, the sphere theorem, also known as the quarter pinched sphere theorem, strongly… …   Wikipedia

  • n-sphere — 2 sphere wireframe as an orthogonal projection Just as a …   Wikipedia

  • John Milnor — For those of a similar name, see John Milner (disambiguation). John Willard Milnor Born February 20, 1931 ( …   Wikipedia

  • Generalized Poincaré conjecture — In the mathematical area of topology, the term Generalized Poincaré conjecture refers to a statement that a manifold which is a homotopy sphere is a sphere. More precisely, one fixes a category of manifolds: topological (Top), differentiable… …   Wikipedia

  • Differential structure — In mathematics, an n dimensional differential structure (or differentiable structure) on a set M makes M into an n dimensional differential manifold, which is a topological manifold with some additional structure that allows us to do differential …   Wikipedia

  • List of manifolds — This is a list of particular manifolds, by Wikipedia page. See also list of geometric topology topics. For categorical listings see and its subcategories.Generic families of manifolds*Euclidean space, R n * n sphere, S n * n torus, T n *Real… …   Wikipedia

Share the article and excerpts

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