How spheres of various dimensions can wrap around each other
This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations.(September 2022) (Learn how and when to remove this message)
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.
The n-dimensional unit sphere — called the n-sphere for brevity, and denoted as Sn — generalizes the familiar circle (S1) and the ordinary sphere (S2). The n-sphere may be defined geometrically as the set of points in a Euclidean space of dimension n + 1 located at a unit distance from the origin. The i-th homotopy groupπi(Sn) summarizes the different ways in which the i-dimensional sphere Si can be mapped continuously into the n-dimensional sphere Sn. 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 πi(Sn) falls into three regimes, depending on whether i is less than, equal to, or greater than n:
For 0 < i < n, any mapping from Si to Sn is homotopic (i.e., continuously deformable) to a constant mapping, i.e., a mapping that maps all of Si to a single point of Sn. Therefore the homotopy group is the trivial group.
When i = n, every map from Sn to itself has a degree that measures how many times the sphere is wrapped around itself. This degree identifies the homotopy group πn(Sn) 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 i > n. The first such surprise was the discovery of a mapping called the Hopf fibration, which wraps the 3-sphere S3 around the usual sphere S2 in a non-trivial fashion, and so is not equivalent to a one-point mapping.
The question of computing the homotopy group πn+k(Sn) for positive k 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 πn+k(Sn) are independent of n for n ≥ k + 2. These are called the stable homotopy groups of spheres and have been computed for values of k up to 64. The stable homotopy groups form the coefficient ring of an extraordinary cohomology theory, called stable cohomotopy theory. The unstable homotopy groups (for n < k + 2) are more erratic; nevertheless, they have been tabulated for k < 20. 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.
and 24 Related for: Homotopy groups of spheres information
field of algebraic topology, the homotopygroupsofspheres describe how spheresof various dimensions can wrap around each other. They are examples of topological...
mathematics, homotopygroups are used in algebraic topology to classify topological spaces. The first and simplest homotopygroup is the fundamental group, denoted...
(as of February 2019[update]) whether or not there are non-trivial smooth homotopyspheres in dimension 4. Homology sphereHomotopygroupsofspheres Poincaré...
for n {\displaystyle n} sufficiently large. In particular, the homotopygroupsofspheres π n + k ( S n ) {\displaystyle \pi _{n+k}(S^{n})} stabilize for...
research, in particular in K-theory of stable complex vector bundles, as well as the stable homotopygroupsofspheres. Bott periodicity can be formulated...
exotic spheres to singularities of complex manifolds. Kervaire, Michel A.; Milnor, John W. (1963). "Groupsofhomotopyspheres: I" (PDF). Annals of Mathematics...
homotopy groups using an inverse system of topological spaces whose homotopy type at degree k {\displaystyle k} agrees with the truncated homotopy type of the...
applications of the Steenrod algebra were calculations by Jean-Pierre Serre of some homotopygroupsofspheres, using the compatibility of transgressive...
{\displaystyle p} -local sphere spectrum. This is a key observation for studying stable homotopygroupsofspheres using chromatic homotopy theory. Elliptic cohomology...
homotopygroups and cohomotopy groups, important invariants in algebraic topology. In practice, there are technical difficulties in using homotopies with...
2-fold cover). Generally, the homotopygroups πk(O) of the real orthogonal group are related to homotopygroupsofspheres, and thus are in general hard...
{\displaystyle p} -torsion of the homotopygroupsof the sphere spectrum, i.e. the stable homotopygroupsof the spheres. Also, because for any CW-complex...
homotopy classes of maps, in particular on homotopygroupsofspheres, named after Hiroshi Toda, who defined them and used them to compute homotopy groups...
spaces that are homotopy equivalent (or the stronger case of homeomorphic) have isomorphic fundamental groups. The fundamental groupof a topological space...
In mathematics, homotopy theory is a systematic study of situations in which maps can come with homotopies between them. It originated as a topic in algebraic...
perfect field is isomorphic to the motivic stable homotopygroupofspheres π0,0(S0,0) (see "A¹ homotopy theory"). Two fields are said to be Witt equivalent...
which one can use in order to deduce information about the higher homotopygroupsofspheres. Consider the following fibration which is an isomorphism on π...
topology, rational homotopy theory is a simplified version ofhomotopy theory for topological spaces, in which all torsion in the homotopygroups is ignored....
(unstable) homotopygroupsofspheres. In a 1957 paper he showed the first non-existence result for the Hopf invariant 1 problem. This period of his work...
bundle shows that the higher homotopygroupsofspheres are not trivial in general. It also provides a basic example of a principal bundle, by identifying...