Homotopy groups of spheres

File:Sphere wrapped round itself.png

Illustration of how a 2-sphere can be wrapped twice around another 2-sphere. Edges should be identified.

In the mathematical field of algebraic topology, the homotopy groups of spheres describe how spheres of various dimensions can wrap around each other. They are examples of topological invariants, which reflect, in algebraic terms, the structure of spheres viewed as topological spaces, forgetting about their precise geometry. Unlike homology groups, which are also topological invariants, the homotopy groups are surprisingly complex and difficult to compute.

File:Hopf Fibration.png

The Hopf fibration is a nontrivial mapping of the 3-sphere to the 2-sphere, and generates the third homotopy group of the 2-sphere.

File:Hopfkeyrings.jpg

This picture mimics part of the Hopf fibration, an interesting mapping from the three-dimensional sphere to the two-dimensional sphere. This mapping is the generator of the third homotopy group of the 2-sphere.

The Template:Mvar-dimensional unit sphere — called the Template:Mvar-sphere for brevity, and denoted as Template:Math — generalizes the familiar circle (Template:Math) and the ordinary sphere (Template:Math). The Template:Mvar-sphere may be defined geometrically as the set of points in a Euclidean space of dimension Template:Math located at a unit distance from the origin. The Template:Mvar-th homotopy group Template:Math summarizes the different ways in which the Template:Mvar-dimensional sphere Template:Math can be mapped continuously into the Template:Nowrap sphere Template:Math. This summary does not distinguish between two mappings if one can be continuously deformed to the other; thus, only equivalence classes of mappings are summarized. An "addition" operation defined on these equivalence classes makes the set of equivalence classes into an abelian group.

The problem of determining Template:Math falls into three regimes, depending on whether Template:Mvar is less than, equal to, or greater than Template:Mvar:

• For Template:Math, any mapping from Template:Math to Template:Math is homotopic (i.e., continuously deformable) to a constant mapping, i.e., a mapping that maps all of Template:Math to a single point of Template:Math. In the smooth case, it follows directly from Sard's Theorem. Therefore the homotopy group is the trivial group.
• When Template:Math, every map from Template:Math to itself has a degree that measures how many times the sphere is wrapped around itself. This degree identifies the homotopy group Template:Math with the group of integers under addition. For example, every point on a circle can be mapped continuously onto a point of another circle; as the first point is moved around the first circle, the second point may cycle several times around the second circle, depending on the particular mapping.
• The most interesting and surprising results occur when Template:Math. The first such surprise was the discovery of a mapping called the Hopf fibration, which wraps the 3-sphere Template:Math around the usual sphere Template:Math in a non-trivial fashion, and so is not equivalent to a one-point mapping.

The question of computing the homotopy group Template:Math for positive Template:Mvar turned out to be a central question in algebraic topology that has contributed to development of many of its fundamental techniques and has served as a stimulating focus of research. One of the main discoveries is that the homotopy groups Template:Math are independent of Template:Mvar for Template:Math. These are called the stable homotopy groups of spheres and have been computed for values of Template:Mvar up to 90.Template:Sfn The stable homotopy groups form the coefficient ring of an extraordinary cohomology theory, called stable cohomotopy theory. The unstable homotopy groups (for Template:Math) are more erratic; nevertheless, they have been tabulated for Template:Math. Most modern computations use spectral sequences, a technique first applied to homotopy groups of spheres by Jean-Pierre Serre. Several important patterns have been established, yet much remains unknown and unexplained.

Background

The study of homotopy groups of spheres builds on a great deal of background material, here briefly reviewed. Algebraic topology provides the larger context, itself built on topology and abstract algebra, with homotopy groups as a basic example.

Template:Mvar-sphere

An ordinary sphere in three-dimensional space—the surface, not the solid ball—is just one example of what a sphere means in topology. Geometry defines a sphere rigidly, as a shape. Here are some alternatives.

• Implicit surface: Template:Math

This is the set of points in 3-dimensional Euclidean space found exactly one unit away from the origin. It is called the 2-sphere, Template:Math, for reasons given below. The same idea applies for any dimension Template:Mvar; the equation Template:Math produces the [[n-sphere|Template:Mvar-sphere]] as a geometric object in (Template:Math)-dimensional space. For example, the 1-sphere Template:Math is a circle.Template:Sfn

• Disk with collapsed rim: written in topology as Template:Math

This construction moves from geometry to pure topology. The disk Template:Math is the region contained by a circle, described by the inequality Template:Math, and its rim (or "boundary") is the circle Template:Math, described by the equality Template:Math. If a balloon is punctured and spread flat it produces a disk; this construction repairs the puncture, like pulling a drawstring. The slash, pronounced "modulo", means to take the topological space on the left (the disk) and in it join together as one all the points on the right (the circle). The region is 2-dimensional, which is why topology calls the resulting topological space a 2-sphere. Generalized, Template:Math produces Template:Math. For example, Template:Math is a line segment, and the construction joins its ends to make a circle. An equivalent description is that the boundary of an Template:Mvar-dimensional disk is glued to a point, producing a CW complex.Template:Sfn

• Suspension of equator: written in topology as Template:Math

This construction, though simple, is of great theoretical importance. Take the circle Template:Math to be the equator, and sweep each point on it to one point above (the North Pole), producing the northern hemisphere, and to one point below (the South Pole), producing the southern hemisphere. For each positive integer Template:Mvar, the Template:Mvar-sphere Template:Math has as equator the (Template:Math)-sphere Template:Math, and the suspension Template:Math produces Template:Math.Template:Sfn

Some theory requires selecting a fixed point on the sphere, calling the pair Template:Math a pointed sphere. For some spaces the choice matters, but for a sphere all points are equivalent so the choice is a matter of convenience.Template:Sfn For spheres constructed as a repeated suspension, the point Template:Math, which is on the equator of all the levels of suspension, works well; for the disk with collapsed rim, the point resulting from the collapse of the rim is another obvious choice.

Homotopy group

File:Homotopy of pointed circle maps.png

Homotopy of two circle maps keeping base point fixed

File:Homotopy group addition.svg

Addition of two circle maps keeping base point fixed

The distinguishing feature of a topological space is its continuity structure, formalized in terms of open sets or neighborhoods. A continuous map is a function between spaces that preserves continuity. A homotopy is a continuous path between continuous maps; two maps connected by a homotopy are said to be homotopic.Template:Sfn The idea common to all these concepts is to discard variations that do not affect outcomes of interest. An important practical example is the residue theorem of complex analysis, where "closed curves" are continuous maps from the circle into the complex plane, and where two closed curves produce the same integral result if they are homotopic in the topological space consisting of the plane minus the points of singularity.Template:Sfn

The first homotopy group, or fundamental group, Template:Math of a (path connected) topological space Template:Mvar thus begins with continuous maps from a pointed circle Template:Math to the pointed space Template:Math, where maps from one pair to another map Template:Mvar into Template:Mvar. These maps (or equivalently, closed curves) are grouped together into equivalence classes based on homotopy (keeping the "base point" Template:Mvar fixed), so that two maps are in the same class if they are homotopic. Just as one point is distinguished, so one class is distinguished: all maps (or curves) homotopic to the constant map Template:Math are called null homotopic. The classes become an abstract algebraic group with the introduction of addition, defined via an "equator pinch". This pinch maps the equator of a pointed sphere (here a circle) to the distinguished point, producing a "bouquet of spheres" — two pointed spheres joined at their distinguished point. The two maps to be added map the upper and lower spheres separately, agreeing on the distinguished point, and composition with the pinch gives the sum map.Template:Sfn

More generally, the Template:Mvar-th homotopy group, Template:Math begins with the pointed Template:Mvar-sphere Template:Math, and otherwise follows the same procedure. The null homotopic class acts as the identity of the group addition, and for Template:Mvar equal to Template:Math (for positive Template:Mvar) — the homotopy groups of spheres — the groups are abelian and finitely generated. If for some Template:Mvar all maps are null homotopic, then the group Template:Math consists of one element, and is called the trivial group.

A continuous map between two topological spaces induces a group homomorphism between the associated homotopy groups. In particular, if the map is a continuous bijection (a homeomorphism), so that the two spaces have the same topology, then their Template:Mvar-th homotopy groups are isomorphic for all Template:Mvar. However, the real plane has exactly the same homotopy groups as a solitary point (as does a Euclidean space of any dimension), and the real plane with a point removed has the same groups as a circle, so groups alone are not enough to distinguish spaces. Although the loss of discrimination power is unfortunate, it can also make certain computations easier.Template:Cn

Low-dimensional examples

The low-dimensional examples of homotopy groups of spheres provide a sense of the subject, because these special cases can be visualized in ordinary 3-dimensional space. However, such visualizations are not mathematical proofs, and do not capture the possible complexity of maps between spheres.

Template:Math

File:Fundamental group of the circle.svg

Elements of Template:Math

The simplest case concerns the ways that a circle (1-sphere) can be wrapped around another circle. This can be visualized by wrapping a rubber band around one's finger: it can be wrapped once, twice, three times and so on. The wrapping can be in either of two directions, and wrappings in opposite directions will cancel out after a deformation. The homotopy group Template:Math is therefore an infinite cyclic group, and is isomorphic to the group Template:Math of integers under addition: a homotopy class is identified with an integer by counting the number of times a mapping in the homotopy class wraps around the circle. This integer can also be thought of as the winding number of a loop around the origin in the plane.Template:Sfn

The identification (a group isomorphism) of the homotopy group with the integers is often written as an equality: thus Template:Math.<ref>See, e.g., Template:Harvnb, Section 8.1, "<math display=inline>\pi_1(S^1)</math>".</ref>

Template:Math

File:Sphere wrapped round itself.png

Illustration of how a 2-sphere can be wrapped twice around another 2-sphere. Edges should be identified.

Mappings from a 2-sphere to a 2-sphere can be visualized as wrapping a plastic bag around a ball and then sealing it. The sealed bag is topologically equivalent to a 2-sphere, as is the surface of the ball. The bag can be wrapped more than once by twisting it and wrapping it back over the ball. (There is no requirement for the continuous map to be injective and so the bag is allowed to pass through itself.) The twist can be in one of two directions and opposite twists can cancel out by deformation. The total number of twists after cancellation is an integer, called the degree of the mapping. As in the case mappings from the circle to the circle, this degree identifies the homotopy group with the group of integers, Template:Math.Template:Citation needed

These two results generalize: for all Template:Math, Template:Math (see below).

Template:Math

File:P1S2all.jpg

A homotopy from a circle around a sphere down to a single point

Any continuous mapping from a circle to an ordinary sphere can be continuously deformed to a one-point mapping, and so its homotopy class is trivial. One way to visualize this is to imagine a rubber-band wrapped around a frictionless ball: the band can always be slid off the ball. The homotopy group is therefore a trivial group, with only one element, the identity element, and so it can be identified with the subgroup of Template:Math consisting only of the number zero. This group is often denoted by 0. Showing this rigorously requires more care, however, due to the existence of space-filling curves.Template:Sfn

This result generalizes to higher dimensions. All mappings from a lower-dimensional sphere into a sphere of higher dimension are similarly trivial: if Template:Math, then Template:Math. This can be shown as a consequence of the cellular approximation theorem.Template:Sfn

Template:Math

All the interesting cases of homotopy groups of spheres involve mappings from a higher-dimensional sphere onto one of lower dimension. Unfortunately, the only example which can easily be visualized is not interesting: there are no nontrivial mappings from the ordinary sphere to the circle. Hence, Template:Math. This is because Template:Math has the real line as its universal cover which is contractible (it has the homotopy type of a point). In addition, because Template:Math is simply connected, by the lifting criterion,Template:Sfn any map from Template:Math to Template:Math can be lifted to a map into the real line and the nullhomotopy descends to the downstairs space (via composition).

Template:Math

File:Hopf Fibration.png

The Hopf fibration is a nontrivial mapping of the 3-sphere to the 2-sphere, and generates the third homotopy group of the 2-sphere. Each colored circle maps to the corresponding point on the 2-sphere shown bottom right.

The first nontrivial example with Template:Math concerns mappings from the 3-sphere to the ordinary 2-sphere, and was discovered by Heinz Hopf, who constructed a nontrivial map from Template:Math to Template:Math, now known as the Hopf fibration.Template:Sfn This map generates the homotopy group Template:Math.Template:Sfn

History

In the late 19th century Camille Jordan introduced the notion of homotopy and used the notion of a homotopy group, without using the language of group theory.Template:Sfn A more rigorous approach was adopted by Henri Poincaré in his 1895 set of papers Analysis situs where the related concepts of homology and the fundamental group were also introduced.Template:Sfn

Higher homotopy groups were first defined by Eduard Čech in 1932.Template:Sfn (His first paper was withdrawn on the advice of Pavel Sergeyevich Alexandrov and Heinz Hopf, on the grounds that the groups were commutative so could not be the right generalizations of the fundamental group.) Witold Hurewicz is also credited with the introduction of homotopy groups in his 1935 paper.Template:Sfn An important method for calculating the various groups is the concept of stable algebraic topology, which finds properties that are independent of the dimensions. Typically these only hold for larger dimensions. The first such result was Hans Freudenthal's suspension theorem, published in 1937. Stable algebraic topology flourished between 1945 and 1966 with many important results.Template:Sfn In 1953 George W. Whitehead showed that there is a metastable range for the homotopy groups of spheres. Jean-Pierre Serre used spectral sequences to show that most of these groups are finite, the exceptions being Template:Math and Template:Math. Others who worked in this area included José Adem, Hiroshi Toda, Frank Adams, J. Peter May, Mark Mahowald, Daniel Isaksen, Guozhen Wang, and Zhouli Xu. The stable homotopy groups Template:Math are known for Template:Mvar up to 90, and, as of 2023, unknown for larger Template:Mvar.Template:Sfn

General theory

As noted already, when Template:Mvar is less than Template:Mvar, Template:Math, the trivial group. The reason is that a continuous mapping from an Template:Mvar-sphere to an Template:Mvar-sphere with Template:Math can always be deformed so that it is not surjective. Consequently, its image is contained in Template:Math with a point removed; this is a contractible space, and any mapping to such a space can be deformed into a one-point mapping.Template:Sfn

When Template:Math, Template:Math, the infinite cyclic group, generated by the identity map from the Template:Mvar-sphere to itself. It follows from the definition of homotopy groups that the identity map and its multiples are elements of Template:Math. That these are the only elements can be shown using the Freudenthal suspension theorem, which relates the homotopy groups of a space and its suspension. In the case of spheres, the suspension of an Template:Mvar-sphere is an Template:Math-sphere, and the suspension theorem states that there is a group homomorphism Template:Math which is an isomorphism for all Template:Math and is surjective for Template:Math. This implies that there is a sequence of group homomorphisms

<math>\pi_1(S^1) \to \pi_2(S^2) \to \pi_3(S^3) \to \cdots</math>

in which the first homomorphism is a surjection and the rest are isomorphisms. As noted already, Template:Math, and Template:Math contains a copy of Template:Math generated by the identity map, so the fact that there is a surjective homomorphism from Template:Math to Template:Math implies that Template:Math. The rest of the homomorphisms in the sequence are isomorphisms, so Template:Math for all Template:Mvar.Template:Sfn

The homology groups Template:Math, with Template:Math, are all trivial. It therefore came as a great surprise historically that the corresponding homotopy groups are not trivial in general.Template:Cn This is the case that is of real importance: the higher homotopy groups Template:Math, for Template:Math, are surprisingly complex and difficult to compute, and the effort to compute them has generated a significant amount of new mathematics.Template:Cn

Table

The following table gives an idea of the complexity of the higher homotopy groups even for spheres of dimension 8 or less. In this table, the entries are either a) the trivial group 0, the infinite cyclic group Template:Math, b) the finite cyclic groups of order Template:Mvar (written as Template:Math), or c) the direct products of such groups (written, for example, as Template:Math or Template:Math). Extended tables of homotopy groups of spheres are given at the end of the article.

	π1	π2	π3	π4	π5	π6	π7	π8	π9	π10	π11	π12	π13	π14	π15
S1	Z	0	0	0	0	0	0	0	0	0	0	0	0	0	0
S2	0	Z	Z	Z2	Z2	Z12	Z2	Z2	Z3	Z15	Z2	ZTemplate:Su	Z12×Z2	Z84×ZTemplate:Su	ZTemplate:Su
S3	0	0	Z	Z2	Z2	Z12	Z2	Z2	Z3	Z15	Z2	ZTemplate:Su	Z12×Z2	Z84×ZTemplate:Su	ZTemplate:Su
S4	0	0	0	Z	Z2	Z2	Z×Z12	ZTemplate:Su	ZTemplate:Su	Z24×Z3	Z15	Z2	ZTemplate:Su	Template:Su	Z84×ZTemplate:Su
S5	0	0	0	0	Z	Z2	Z2	Z24	Z2	Z2	Z2	Z30	Z2	ZTemplate:Su	Z72×Z2
S6	0	0	0	0	0	Z	Z2	Z2	Z24	0	Z	Z2	Z60	Z24×Z2	ZTemplate:Su
S7	0	0	0	0	0	0	Z	Z2	Z2	Z24	0	0	Z2	Z120	ZTemplate:Su
S8	0	0	0	0	0	0	0	Z	Z2	Z2	Z24	0	0	Z2	Z×Z120

The first row of this table is straightforward. The homotopy groups Template:Math of the 1-sphere are trivial for Template:Math, because the universal covering space, <math>\mathbb{R}</math>, which has the same higher homotopy groups, is contractible.Template:Sfn

Beyond the first row, the higher homotopy groups (Template:Math) appear to be chaotic, but in fact there are many patterns, some obvious and some very subtle.

• The groups below the jagged black line are constant along the diagonals (as indicated by the red, green and blue coloring).
• Most of the groups are finite. The only infinite groups are either on the main diagonal or immediately above the jagged line (highlighted in yellow).
• The second and third rows of the table are the same starting in the third column (i.e., Template:Math for Template:Math). This isomorphism is induced by the Hopf fibration Template:Math.
• For Template:Math and Template:Math the homotopy groups Template:Math do not vanish. However, Template:Math for Template:Math.

These patterns follow from many different theoretical results.Template:Cn

Stable and unstable groups

The fact that the groups below the jagged line in the table above are constant along the diagonals is explained by the suspension theorem of Hans Freudenthal, which implies that the suspension homomorphism from Template:Math to Template:Math is an isomorphism for Template:Math. The groups Template:Math with Template:Math are called the stable homotopy groups of spheres, and are denoted Template:Math: they are finite abelian groups for Template:Math, and have been computed in numerous cases, although the general pattern is still elusive.Template:Sfn For Template:Math, the groups are called the unstable homotopy groups of spheres.Template:Cn

Hopf fibrations

The classical Hopf fibration is a fiber bundle:

<math>S^1\hookrightarrow S^3\rightarrow S^2.</math>

The general theory of fiber bundles Template:Math shows that there is a long exact sequence of homotopy groups

<math> \cdots \to \pi_i(F) \to \pi_i(E) \to \pi_i(B) \to \pi_{i-1}(F) \to \cdots.</math>

For this specific bundle, each group homomorphism Template:Math, induced by the inclusion Template:Math, maps all of Template:Math to zero, since the lower-dimensional sphere Template:Math can be deformed to a point inside the higher-dimensional one Template:Math. This corresponds to the vanishing of Template:Math. Thus the long exact sequence breaks into short exact sequences,

<math>0\rightarrow \pi_i(S^3)\rightarrow \pi_i(S^2)\rightarrow \pi_{i-1}(S^1)\rightarrow 0 .</math>

Since Template:Math is a suspension of Template:Math, these sequences are split by the suspension homomorphism Template:Math, giving isomorphisms

<math>\pi_i(S^2)= \pi_i(S^3)\oplus \pi_{i-1}(S^1) .</math>

Since Template:Math vanishes for Template:Mvar at least 3, the first row shows that Template:Math and Template:Math are isomorphic whenever Template:Mvar is at least 3, as observed above.

The Hopf fibration may be constructed as follows: pairs of complex numbers Template:Math with Template:Math form a 3-sphere, and their ratios Template:Math cover the complex plane plus infinity, a 2-sphere. The Hopf map Template:Math sends any such pair to its ratio.Template:Cn

Similarly (in addition to the Hopf fibration <math>S^0\hookrightarrow S^1\rightarrow S^1</math>, where the bundle projection is a double covering), there are generalized Hopf fibrations

<math>S^3\hookrightarrow S^7\rightarrow S^4</math>

<math>S^7\hookrightarrow S^{15}\rightarrow S^8</math>

constructed using pairs of quaternions or octonions instead of complex numbers.Template:Sfn Here, too, Template:Math and Template:Math are zero. Thus the long exact sequences again break into families of split short exact sequences, implying two families of relations.

<math>\pi_i(S^4)= \pi_i(S^7)\oplus \pi_{i-1}(S^3) ,</math>

<math>\pi_i(S^8)= \pi_i(S^{15})\oplus \pi_{i-1}(S^7) .</math>

The three fibrations have base space Template:Math with Template:Math, for Template:Math. A fibration does exist for Template:Math (Template:Math) as mentioned above, but not for Template:Math (Template:Math) and beyond. Although generalizations of the relations to Template:Math are often true, they sometimes fail; for example,

<math>\pi_{30}(S^{16})\neq \pi_{30}(S^{31})\oplus \pi_{29}(S^{15}) .</math>

Thus there can be no fibration

<math>S^{15}\hookrightarrow S^{31}\rightarrow S^{16} ,</math>

the first non-trivial case of the Hopf invariant one problem, because such a fibration would imply that the failed relation is true.Template:Cn

Framed cobordism

Homotopy groups of spheres are closely related to cobordism classes of manifolds. In 1938 Lev Pontryagin established an isomorphism between the homotopy group Template:Math and the group Template:Math of cobordism classes of differentiable Template:Mvar-submanifolds of Template:Math which are "framed", i.e. have a trivialized normal bundle. Every map Template:Math is homotopic to a differentiable map with Template:Math a framed Template:Mvar-dimensional submanifold. For example, Template:Math is the cobordism group of framed 0-dimensional submanifolds of Template:Math, computed by the algebraic sum of their points, corresponding to the degree of maps Template:Math. The projection of the Hopf fibration Template:Math represents a generator of Template:Math which corresponds to the framed 1-dimensional submanifold of Template:Math defined by the standard embedding Template:Math with a nonstandard trivialization of the normal 2-plane bundle. Until the advent of more sophisticated algebraic methods in the early 1950s (Serre) the Pontrjagin isomorphism was the main tool for computing the homotopy groups of spheres. In 1954 the Pontrjagin isomorphism was generalized by René Thom to an isomorphism expressing other groups of cobordism classes (e.g. of all manifolds) as homotopy groups of spaces and spectra. In more recent work the argument is usually reversed, with cobordism groups computed in terms of homotopy groups.Template:Sfn

Finiteness and torsion

In 1951, Jean-Pierre Serre showed that homotopy groups of spheres are all finite except for those of the form Template:Math or Template:Math (for positive Template:Mvar), when the group is the product of the infinite cyclic group with a finite abelian group.Template:Sfn In particular the homotopy groups are determined by their Template:Mvar-components for all primes Template:Mvar. The 2-components are hardest to calculate, and in several ways behave differently from the Template:Mvar-components for odd primes.Template:Cn

In the same paper, Serre found the first place that Template:Mvar-torsion occurs in the homotopy groups of Template:Mvar dimensional spheres, by showing that Template:Math has no Template:Mvar-torsion if Template:Math, and has a unique subgroup of order Template:Mvar if Template:Math and Template:Math. The case of 2-dimensional spheres is slightly different: the first Template:Mvar-torsion occurs for Template:Math. In the case of odd torsion there are more precise results; in this case there is a big difference between odd and even dimensional spheres. If Template:Mvar is an odd prime and Template:Math, then elements of the Template:Mvar-component of Template:Math have order at most Template:Math.Template:Sfn This is in some sense the best possible result, as these groups are known to have elements of this order for some values of Template:Mvar.Template:Sfn Furthermore, the stable range can be extended in this case: if Template:Mvar is odd then the double suspension from Template:Math to Template:Math is an isomorphism of Template:Mvar-components if Template:Math, and an epimorphism if equality holds.Template:Sfn The Template:Mvar-torsion of the intermediate group Template:Math can be strictly larger.Template:Cn

The results above about odd torsion only hold for odd-dimensional spheres: for even-dimensional spheres, the James fibration gives the torsion at odd primes Template:Mvar in terms of that of odd-dimensional spheres,

<math>\pi_{2m+k}(S^{2m})(p) = \pi_{2m+k-1}(S^{2m-1})(p)\oplus \pi_{2m+k}(S^{4m-1})(p)</math>

(where Template:Math means take the Template:Mvar-component).Template:Sfn This exact sequence is similar to the ones coming from the Hopf fibration; the difference is that it works for all even-dimensional spheres, albeit at the expense of ignoring 2-torsion. Combining the results for odd and even dimensional spheres shows that much of the odd torsion of unstable homotopy groups is determined by the odd torsion of the stable homotopy groups.Template:Cn

For stable homotopy groups there are more precise results about Template:Mvar-torsion. For example, if Template:Math for a prime Template:Mvar then the Template:Mvar-primary component of the stable homotopy group Template:Math vanishes unless Template:Math is divisible by Template:Math, in which case it is cyclic of order Template:Mvar.Template:Sfn

The J-homomorphism

{{#invoke:Labelled list hatnote|labelledList|Main article|Main articles|Main page|Main pages}}

An important subgroup of Template:Math, for Template:Math, is the image of the J-homomorphism Template:Math, where Template:Math denotes the special orthogonal group.Template:Sfn In the stable range Template:Math, the homotopy groups Template:Math only depend on Template:Math. This period 8 pattern is known as Bott periodicity, and it is reflected in the stable homotopy groups of spheres via the image of the Template:Mvar-homomorphism which is:

• a cyclic group of order 2 if Template:Mvar is congruent to 0 or 1 modulo 8;
• trivial if Template:Mvar is congruent to 2, 4, 5, or 6 modulo 8; and
• a cyclic group of order equal to the denominator of Template:Math, where Template:Math is a Bernoulli number, if Template:Math.

This last case accounts for the elements of unusually large finite order in Template:Math for such values of Template:Mvar. For example, the stable groups Template:Math have a cyclic subgroup of order 504, the denominator of Template:Math.Template:Cn

The stable homotopy groups of spheres are the direct sum of the image of the Template:Mvar-homomorphism, and the kernel of the Adams Template:Mvar-invariant, a homomorphism from these groups to Template:Math. Roughly speaking, the image of the Template:Mvar-homomorphism is the subgroup of "well understood" or "easy" elements of the stable homotopy groups. These well understood elements account for most elements of the stable homotopy groups of spheres in small dimensions. The quotient of Template:Math by the image of the Template:Mvar-homomorphism is considered to be the "hard" part of the stable homotopy groups of spheres Template:Harv. (Adams also introduced certain order 2 elements Template:Math of Template:Math for Template:Math, and these are also considered to be "well understood".) Tables of homotopy groups of spheres sometimes omit the "easy" part Template:Math to save space.Template:Cn

Ring structure

The direct sum

<math>\pi_{\ast}^S=\bigoplus_{k\ge 0}\pi_k^S</math>

of the stable homotopy groups of spheres is a supercommutative graded ring, where multiplication is given by composition of representing maps, and any element of non-zero degree is nilpotent;Template:Sfn the nilpotence theorem on complex cobordism implies Nishida's theorem.Template:Cn

Example: If Template:Mvar is the generator of Template:Math (of order 2), then Template:Math is nonzero and generates Template:Math, and Template:Math is nonzero and 12 times a generator of Template:Math, while Template:Math is zero because the group Template:Math is trivial.Template:Cn

If Template:Mvar and Template:Mvar and Template:Mvar are elements of Template:Math with Template:Math and Template:Math, there is a Toda bracket Template:Math of these elements.Template:Sfn The Toda bracket is not quite an element of a stable homotopy group, because it is only defined up to addition of products of certain other elements. Hiroshi Toda used the composition product and Toda brackets to label many of the elements of homotopy groups. There are also higher Toda brackets of several elements, defined when suitable lower Toda brackets vanish. This parallels the theory of Massey products in cohomology.Template:Cn Every element of the stable homotopy groups of spheres can be expressed using composition products and higher Toda brackets in terms of certain well known elements, called Hopf elements.Template:Sfn

Computational methods

If Template:Mvar is any finite simplicial complex with finite fundamental group, in particular if Template:Mvar is a sphere of dimension at least 2, then its homotopy groups are all finitely generated abelian groups. To compute these groups, they are often factored into their [[component (group theory)|Template:Mvar-components]] for each prime Template:Mvar, and calculating each of these [[p-group|Template:Mvar-groups]] separately. The first few homotopy groups of spheres can be computed using ad hoc variations of the ideas above; beyond this point, most methods for computing homotopy groups of spheres are based on spectral sequences.Template:Sfn This is usually done by constructing suitable fibrations and taking the associated long exact sequences of homotopy groups; spectral sequences are a systematic way of organizing the complicated information that this process generates.Template:Cn

• "The method of killing homotopy groups", due to Template:Harvs involves repeatedly using the Hurewicz theorem to compute the first non-trivial homotopy group and then killing (eliminating) it with a fibration involving an Eilenberg–MacLane space. In principle this gives an effective algorithm for computing all homotopy groups of any finite simply connected simplicial complex, but in practice it is too cumbersome to use for computing anything other than the first few nontrivial homotopy groups as the simplicial complex becomes much more complicated every time one kills a homotopy group.
• The Serre spectral sequence was used by Serre to prove some of the results mentioned previously. He used the fact that taking the loop space of a well behaved space shifts all the homotopy groups down by 1, so the Template:Mvarth homotopy group of a space Template:Mvar is the first homotopy group of its (Template:Math)-fold repeated loop space, which is equal to the first homology group of the (Template:Math)-fold loop space by the Hurewicz theorem. This reduces the calculation of homotopy groups of Template:Mvar to the calculation of homology groups of its repeated loop spaces. The Serre spectral sequence relates the homology of a space to that of its loop space, so can sometimes be used to calculate the homology of loop spaces. The Serre spectral sequence tends to have many non-zero differentials, which are hard to control, and too many ambiguities appear for higher homotopy groups. Consequently, it has been superseded by more powerful spectral sequences with fewer non-zero differentials, which give more information.Template:Cn
• The EHP spectral sequence can be used to compute many homotopy groups of spheres; it is based on some fibrations used by Toda in his calculations of homotopy groups.Template:SfnTemplate:Sfn
• The classical Adams spectral sequence has Template:Math term given by the Ext groups Template:Math over the mod Template:Mvar Steenrod algebra Template:Math, and converges to something closely related to the Template:Mvar-component of the stable homotopy groups. The initial terms of the Adams spectral sequence are themselves quite hard to compute: this is sometimes done using an auxiliary spectral sequence called the May spectral sequence.Template:Sfn
• At the odd primes, the Adams–Novikov spectral sequence is a more powerful version of the Adams spectral sequence replacing ordinary cohomology mod Template:Mvar with a generalized cohomology theory, such as complex cobordism or, more usually, a piece of it called Brown–Peterson cohomology. The initial term is again quite hard to calculate; to do this one can use the chromatic spectral sequence.Template:Sfn

File:BorromeanRings.svg

Borromean rings

• A variation of this last approach uses a backwards version of the Adams–Novikov spectral sequence for Brown–Peterson cohomology: the limit is known, and the initial terms involve unknown stable homotopy groups of spheres that one is trying to find.Template:Sfn

• The motivic Adams spectral sequence converges to the motivic stable homotopy groups of spheres. By comparing the motivic one over the complex numbers with the classical one, Isaksen gives rigorous proof of computations up to the 59-stem. In particular, Isaksen computes the Coker J of the 56-stem is 0, and therefore by the work of Kervaire-Milnor, the sphere Template:Math has a unique smooth structure.Template:Sfn

• The Kahn–Priddy map induces a map of Adams spectral sequences from the suspension spectrum of infinite real projective space to the sphere spectrum. It is surjective on the Adams Template:Math page on positive stems. Wang and Xu develops a method using the Kahn–Priddy map to deduce Adams differentials for the sphere spectrum inductively. They give detailed argument for several Adams differentials and compute the 60 and 61-stem. A geometric corollary of their result is the sphere Template:Math has a unique smooth structure, and it is the last odd dimensional one – the only ones are Template:Math, Template:Math, Template:Math, and Template:Math.Template:Sfn

• The motivic cofiber of Template:Math method is so far the most efficient method at the prime 2. The class Template:Math is a map between motivic spheres. The Gheorghe–Wang–Xu theorem identifies the motivic Adams spectral sequence for the cofiber of Template:Math as the algebraic Novikov spectral sequence for Template:Math, which allows one to deduce motivic Adams differentials for the cofiber of Template:Math from purely algebraic data. One can then pullback these motivic Adams differentials to the motivic sphere, and then use the Betti realization functor to push forward them to the classical sphere.Template:Sfn Using this method, Template:Harvtxt computes up to the 90-stem.Template:Sfn

The computation of the homotopy groups of Template:Math has been reduced to a combinatorial group theory question. Template:Harvtxt identify these homotopy groups as certain quotients of the Brunnian braid groups of Template:Math. Under this correspondence, every nontrivial element in Template:Math for Template:Math may be represented by a Brunnian braid over Template:Math that is not Brunnian over the disk Template:Math. For example, the Hopf map Template:Math corresponds to the Borromean rings.Template:Sfn

Applications

• The winding number (corresponding to an integer of Template:Math can be used to prove the fundamental theorem of algebra, which states that every non-constant complex polynomial has a zero.Template:Sfn
• The fact that Template:Math implies the Brouwer fixed point theorem that every continuous map from the Template:Mvar-dimensional ball to itself has a fixed point.Template:Sfn
• The stable homotopy groups of spheres are important in singularity theory, which studies the structure of singular points of smooth maps or algebraic varieties. Such singularities arise as critical points of smooth maps from Template:Math to Template:Math. The geometry near a critical point of such a map can be described by an element of Template:Math, by considering the way in which a small Template:Math sphere around the critical point maps into a topological Template:Math sphere around the critical value.Template:Cn
• The fact that the third stable homotopy group of spheres is cyclic of order 24, first proved by Vladimir Rokhlin, implies Rokhlin's theorem that the signature of a compact smooth spin 4-manifold is divisible by 16.Template:Sfn
• Stable homotopy groups of spheres are used to describe the group Template:Math of h-cobordism classes of oriented homotopy Template:Mvar-spheres (for Template:Math, this is the group of smooth structures on Template:Mvar-spheres, up to orientation-preserving diffeomorphism; the non-trivial elements of this group are represented by exotic spheres). More precisely, there is an injective map

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

where Template:Math is the cyclic subgroup represented by homotopy spheres that bound a parallelizable manifold, Template:Math is the Template:Mvarth stable homotopy group of spheres, and Template:Mvar is the image of the [[J homomorphism|Template:Mvar-homomorphism]]. This is an isomorphism unless Template:Mvar is of the form Template:Math, in which case the image has index 1 or 2.Template:Sfn

• The groups Template:Math above, and therefore the stable homotopy groups of spheres, are used in the classification of possible smooth structures on a topological or piecewise linear manifold.Template:Sfn
• The Kervaire invariant problem, about the existence of manifolds of Kervaire invariant 1 in dimensions Template:Math can be reduced to a question about stable homotopy groups of spheres. For example, knowledge of stable homotopy groups of degree up to 48 has been used to settle the Kervaire invariant problem in dimension Template:Math. (This was the smallest value of Template:Mvar for which the question was open at the time.)Template:Sfn
• The Barratt–Priddy theorem says that the stable homotopy groups of the spheres can be expressed in terms of the plus construction applied to the classifying space of the symmetric group, leading to an identification of K-theory of the field with one element with stable homotopy groups.Template:Sfn

Table of homotopy groups

Tables of homotopy groups of spheres are most conveniently organized by showing Template:Math.

The following table shows many of the groups Template:Math. The stable homotopy groups are highlighted in blue, the unstable ones in red. Each homotopy group is the product of the cyclic groups of the orders given in the table, using the following conventions:<ref>These tables are based on the table of homotopy groups of spheres in Template:Harvtxt.</ref>

• The entry "⋅" denotes the trivial group.
• Where the entry is an integer, Template:Mvar, the homotopy group is the cyclic group of that order (generally written Template:Math).
• Where the entry is ∞, the homotopy group is the infinite cyclic group, Template:Math.
• Where entry is a product, the homotopy group is the cartesian product (equivalently, direct sum) of the cyclic groups of those orders. Powers indicate repeated products. (Note that when Template:Mvar and Template:Mvar have no common factor, Template:Math is isomorphic to Template:Math.)

Example: Template:Math, which is denoted by Template:Math in the table.

Sn →	S0	S1	S2	S3	S4	S5	S6	S7	S8	S9	S10	S11	S12	S≥13
π<n(Sn)		⋅	⋅	⋅	⋅	⋅	⋅	⋅	⋅	⋅	⋅	⋅	⋅	⋅
π0+n(Sn)	2	∞	∞	∞	∞	∞	∞	∞	∞	∞	∞	∞	∞	∞
π1+n(Sn)	⋅	⋅	∞	2	2	2	2	2	2	2	2	2	2	2
π2+n(Sn)	⋅	⋅	2	2	2	2	2	2	2	2	2	2	2	2
π3+n(Sn)	⋅	⋅	2	12	∞⋅12	24	24	24	24	24	24	24	24	24
π4+n(Sn)	⋅	⋅	12	2	22	2	⋅	⋅	⋅	⋅	⋅	⋅	⋅	⋅
π5+n(Sn)	⋅	⋅	2	2	22	2	∞	⋅	⋅	⋅	⋅	⋅	⋅	⋅
π6+n(Sn)	⋅	⋅	2	3	24⋅3	2	2	2	2	2	2	2	2	2
π7+n(Sn)	⋅	⋅	3	15	15	30	60	120	∞⋅120	240	240	240	240	240
π8+n(Sn)	⋅	⋅	15	2	2	2	24⋅2	23	24	23	22	22	22	22
π9+n(Sn)	⋅	⋅	2	22	23	23	23	24	25	24	∞⋅23	23	23	23
π10+n(Sn)	⋅	⋅	22	12⋅2	Template:Resize	72⋅2	72⋅2	24⋅2	242⋅2	24⋅2	12⋅2	6⋅2	6	6
π11+n(Sn)	⋅	⋅	12⋅2	84⋅22	84⋅25	504⋅22	504⋅4	504⋅2	504⋅2	504⋅2	504	504	∞⋅504	504
π12+n(Sn)	⋅	⋅	84⋅22	22	26	23	240	⋅	⋅	⋅	12	2	22	See below
π13+n(Sn)	⋅	⋅	22	6	24⋅6⋅2	6⋅2	6	6	6⋅2	6	6	6⋅2	6⋅2
π14+n(Sn)	⋅	⋅	6	30	Template:Resize	6⋅2	12⋅2	24⋅4	240⋅24⋅4	16⋅4	16⋅2	16⋅2	48⋅4⋅2
π15+n(Sn)	⋅	⋅	30	30	30	30⋅2	60⋅6	120⋅23	120⋅25	240⋅23	240⋅22	240⋅2	240⋅2
π16+n(Sn)	⋅	⋅	30	6⋅2	62⋅2	22	504⋅22	24	27	24	240⋅2	2	2
π17+n(Sn)	⋅	⋅	6⋅2	12⋅22	Template:Resize	4⋅22	24	24	6⋅24	24	23	23	24
π18+n(Sn)	⋅	⋅	12⋅22	12⋅22	Template:Resize	24⋅22	24⋅6⋅2	24⋅2	504⋅24⋅2	24⋅2	24⋅22	8⋅4⋅2	480⋅42⋅2
π19+n(Sn)	⋅	⋅	12⋅22	132⋅2	132⋅25	264⋅2	1056⋅8	264⋅2	264⋅2	264⋅2	264⋅6	264⋅23	264⋅25

Sn →	S13	S14	S15	S16	S17	S18	S19	S20	S≥21
π12+n(Sn)	2	⋅	⋅	⋅	⋅	⋅	⋅	⋅	⋅
π13+n(Sn)	6	∞⋅3	3	3	3	3	3	3	3
π14+n(Sn)	16⋅2	8⋅2	4⋅2	22	22	22	22	22	22
π15+n(Sn)	480⋅2	480⋅2	480⋅2	∞⋅480⋅2	480⋅2	480⋅2	480⋅2	480⋅2	480⋅2
π16+n(Sn)	2	24⋅2	23	24	23	22	22	22	22
π17+n(Sn)	24	24	25	26	25	∞⋅24	24	24	24
π18+n(Sn)	82⋅2	82⋅2	82⋅2	24⋅82⋅2	82⋅2	8⋅4⋅2	8⋅22	8⋅2	8⋅2
π19+n(Sn)	264⋅23	264⋅4⋅2	264⋅22	264⋅22	264⋅22	264⋅2	264⋅2	∞⋅264⋅2	264⋅2

Table of stable homotopy groups

The stable homotopy groups Template:Math are the products of cyclic groups of the infinite or prime power orders shown in the table. (For largely historical reasons, stable homotopy groups are usually given as products of cyclic groups of prime power order, while tables of unstable homotopy groups often give them as products of the smallest number of cyclic groups.) For Template:Math, the part of the Template:Mvar-component that is accounted for by the Template:Mvar-homomorphism is cyclic of order Template:Mvar if Template:Math divides Template:Math and 0 otherwise.<ref>Template:Harvnb. The 2-components can be found in Template:Harvtxt, and the 3- and 5-components in Template:Harvtxt.</ref> The mod 8 behavior of the table comes from Bott periodicity via the J-homomorphism, whose image is underlined.

n →	0	1	2	3	4	5	6	7
π0+nS	∞	2	2	8⋅3	⋅	⋅	2	16⋅3⋅5
π8+nS	2⋅2	2⋅22	2⋅3	8⋅9⋅7	⋅	3	22	32⋅2⋅3⋅5
π16+nS	2⋅2	2⋅23	8⋅2	8⋅2⋅3⋅11	8⋅3	22	2⋅2	16⋅8⋅2⋅9⋅3⋅5⋅7⋅13
π24+nS	2⋅2	2⋅2	22⋅3	8⋅3	2	3	2⋅3	64⋅22⋅3⋅5⋅17
π32+nS	2⋅23	2⋅24	4⋅23	8⋅22⋅27⋅7⋅19	2⋅3	22⋅3	4⋅2⋅3⋅5	16⋅25⋅3⋅3⋅25⋅11
π40+nS	2⋅4⋅24⋅3	2⋅24	8⋅22⋅3	8⋅3⋅23	8	16⋅23⋅9⋅5	24⋅3	32⋅4⋅23⋅9⋅3⋅5⋅7⋅13
π48+nS	2⋅4⋅23	2⋅2⋅3	23⋅3	8⋅8⋅2⋅3	23⋅3	24	4⋅2	16⋅3⋅3⋅5⋅29
π56+nS	2	2⋅22	22	8⋅22⋅9⋅7⋅11⋅31	4	⋅	24⋅3	128⋅4⋅22⋅3⋅5⋅17
π64+nS	2⋅4⋅25	2⋅4⋅28⋅3	8⋅26	8⋅4⋅23⋅3	23⋅3	24	42⋅25	16⋅8⋅4⋅26⋅27⋅5⋅7⋅13⋅19⋅37
π72+nS	2⋅27⋅3	2⋅26	43⋅2⋅3	8⋅2⋅9⋅3	4⋅22⋅5	4⋅25	42⋅23⋅3	32⋅4⋅26⋅3⋅25⋅11⋅41

References

Sources

• Template:Citation. See also Template:Citation.
• Template:Citation.
• Template:Citation.
• Template:Citation.
• Template:Citation.
• Template:Citation.
• Template:Citation.
• Template:Citation.
• Template:Citation
• Template:Springer.
• Template:Citation
• Template:Citation.
• Template:Citation.
• Template:Citation.
• Template:Citation Also see the corrections in Template:Harv
• Template:Citation
• Template:Citation
• Template:Springer.
• Template:Citation
• Template:Citation
• Template:Citation.
• Pontrjagin, Lev, Smooth manifolds and their applications in homotopy theory American Mathematical Society Translations, Ser. 2, Vol. 11, pp. 1–114 (1959)
• Template:Citation.
• Template:Citation.
• Template:Citation.
• Template:Citation.
• Template:Citation.
• Template:Citation
• Template:Citation.
• Template:Citation.
• Template:Citation

General algebraic topology references

• Template:Citation.
• Template:Citation.

Historical papers

• Template:Citation.
• Template:Citation.
• Template:Citation.

External links

• Template:Citation
• Template:Citation
• Template:Citation in MacTutor History of Mathematics archive.
• Template:Citation in MacTutor History of Mathematics archive.