H-space

Last updated

In mathematics, an H-space [1] is a homotopy-theoretic version of a generalization of the notion of topological group, in which the axioms on associativity and inverses are removed.

Contents

Definition

An H-space consists of a topological space X, together with an element e of X and a continuous map μ : X × X → X, such that μ(e, e) = e and the maps x ↦ μ(x, e) and x ↦ μ(e, x) are both homotopic to the identity map through maps sending e to e. [2] This may be thought of as a pointed topological space together with a continuous multiplication for which the basepoint is an identity element up to basepoint-preserving homotopy.

One says that a topological space X is an H-space if there exists e and μ such that the triple (X, e, μ) is an H-space as in the above definition. [3] Alternatively, an H-space may be defined without requiring homotopies to fix the basepoint e, or by requiring e to be an exact identity, without any consideration of homotopy. [4] In the case of a CW complex, all three of these definitions are in fact equivalent. [5]

Examples and properties

The standard definition of the fundamental group, together with the fact that it is a group, can be rephrased as saying that the loop space of a pointed topological space has the structure of an H-group, as equipped with the standard operations of concatenation and inversion. [6] Furthermore a continuous basepoint preserving map of pointed topological space induces a H-homomorphism of the corresponding loop spaces; this reflects the group homomorphism on fundamental groups induced by a continuous map. [7]

It is straightforward to verify that, given a pointed homotopy equivalence from a H-space to a pointed topological space, there is a natural H-space structure on the latter space. [8] As such, the existence of an H-space structure on a given space is only dependent on pointed homotopy type.

The multiplicative structure of an H-space adds structure to its homology and cohomology groups. For example, the cohomology ring of a path-connected H-space with finitely generated and free cohomology groups is a Hopf algebra. [9] Also, one can define the Pontryagin product on the homology groups of an H-space. [10]

The fundamental group of an H-space is abelian. To see this, let X be an H-space with identity e and let f and g be loops at e. Define a map F: [0,1] × [0,1] → X by F(a,b) = f(a)g(b). Then F(a,0) = F(a,1) = f(a)e is homotopic to f, and F(0,b) = F(1,b) = eg(b) is homotopic to g. It is clear how to define a homotopy from [f][g] to [g][f].

Adams' Hopf invariant one theorem, named after Frank Adams, states that S0, S1, S3, S7 are the only spheres that are H-spaces. Each of these spaces forms an H-space by viewing it as the subset of norm-one elements of the reals, complexes, quaternions, and octonions, respectively, and using the multiplication operations from these algebras. In fact, S0, S1, and S3 are groups (Lie groups) with these multiplications. But S7 is not a group in this way because octonion multiplication is not associative, nor can it be given any other continuous multiplication for which it is a group.

See also

Notes

  1. ↑ The H in H-space was suggested by Jean-Pierre Serre in recognition of the influence exerted on the subject by Heinz Hopf (see J. R. Hubbuck. "A Short History of H-spaces", History of topology, 1999, pages 747–755).
  2. ↑ Spanier p.34; Switzer p.14
  3. ↑ Hatcher p.281
  4. ↑ Stasheff (1970), p.1
  5. ↑ Hatcher p.291
  6. ↑ Spanier pp.37-39
  7. ↑ Spanier pp.37-39
  8. ↑ Spanier pp.35-36
  9. ↑ Hatcher p.283
  10. ↑ Hatcher p.287

Related Research Articles

In the mathematical field of algebraic topology, the fundamental group of a topological space is the group of the equivalence classes under homotopy of the loops contained in the space. It records information about the basic shape, or holes, of the topological space. The fundamental group is the first and simplest homotopy group. The fundamental group is a homotopy invariant—topological spaces that are homotopy equivalent have isomorphic fundamental groups.

Algebraic topology Branch of mathematics

Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariants that classify topological spaces up to homeomorphism, though usually most classify up to homotopy equivalence.

In mathematics, a chain complex is an algebraic structure that consists of a sequence of abelian groups and a sequence of homomorphisms between consecutive groups such that the image of each homomorphism is included in the kernel of the next. Associated to a chain complex is its homology, which describes how the images are included in the kernels.

In mathematics, specifically in homology theory and algebraic topology, cohomology is a general term for a sequence of abelian groups, usually one associated with a topological space, often defined from a cochain complex. Cohomology can be viewed as a method of assigning richer algebraic invariants to a space than homology. Some versions of cohomology arise by dualizing the construction of homology. In other words, cochains are functions on the group of chains in homology theory.

Homotopy Continuous deformation between two continuous functions

In topology, a branch of mathematics, two continuous functions from one topological space to another are called homotopic if one can be "continuously deformed" into the other, such a deformation being called a homotopy between the two functions. A notable use of homotopy is the definition of homotopy groups and cohomotopy groups, important invariants in algebraic topology.

In mathematics, homotopy groups are used in algebraic topology to classify topological spaces. The first and simplest homotopy group is the fundamental group, which records information about loops in a space. Intuitively, homotopy groups record information about the basic shape, or holes, of a topological space.

In topology, a branch of mathematics, a fibration is a generalization of the notion of a fiber bundle. A fiber bundle makes precise the idea of one topological space being "parameterized" by another topological space. A fibration is like a fiber bundle, except that the fibers need not be the same space, nor even homeomorphic; rather, they are just homotopy equivalent. Weak fibrations discard even this equivalence for a more technical property.

In mathematics, particularly algebraic topology and homology theory, the Mayer–Vietoris sequence is an algebraic tool to help compute algebraic invariants of topological spaces, known as their homology and cohomology groups. The result is due to two Austrian mathematicians, Walther Mayer and Leopold Vietoris. The method consists of splitting a space into subspaces, for which the homology or cohomology groups may be easier to compute. The sequence relates the (co)homology groups of the space to the (co)homology groups of the subspaces. It is a natural long exact sequence, whose entries are the (co)homology groups of the whole space, the direct sum of the (co)homology groups of the subspaces, and the (co)homology groups of the intersection of the subspaces.

In algebraic topology, singular homology refers to the study of a certain set of algebraic invariants of a topological space X, the so-called homology groups Intuitively, singular homology counts, for each dimension n, the n-dimensional holes of a space. Singular homology is a particular example of a homology theory, which has now grown to be a rather broad collection of theories. Of the various theories, it is perhaps one of the simpler ones to understand, being built on fairly concrete constructions.

In mathematics, particularly algebraic topology, cohomotopy sets are particular contravariant functors from the category of pointed topological spaces and basepoint-preserving continuous maps to the category of sets and functions. They are dual to the homotopy groups, but less studied.

Homotopy groups of spheres how spheres of various dimensions can wrap around each other

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.

Contractible space

In mathematics, a topological space X is contractible if the identity map on X is null-homotopic, i.e. if it is homotopic to some constant map. Intuitively, a contractible space is one that can be continuously shrunk to a point within that space.

In mathematics, the homotopy category is a category built from the category of topological spaces which in a sense identifies two spaces that have the same shape. The phrase is in fact used for two different categories, as discussed below.

In mathematics, in particular in algebraic topology, the Hopf invariant is a homotopy invariant of certain maps between n-spheres.

In the theory of operads in algebra and algebraic topology, an A∞-operad is a parameter space for a multiplication map that is homotopy coherently associative.

In mathematics, especially in the area of topology known as algebraic topology, an induced homomorphism is a homomorphism derived in a canonical way from another map. For example, a continuous map from a topological space X to a space Y induces a group homomorphism from the fundamental group of X to the fundamental group of Y.

In mathematics, more specifically algebraic topology, a pair is shorthand for an inclusion of topological spaces . Sometimes is assumed to be a cofibration. A morphism from to is given by two maps and such that .

This is a glossary of properties and concepts in algebraic topology in mathematics.

In mathematics, homotopy theory is a systematic study of situations in which maps come with homotopies between them. It originated as a topic in algebraic topology but nowadays is studied as an independent discipline. Besides algebraic topology, the theory has also been used in other areas of mathematics such as algebraic geometry (e.g., A1 homotopy theory) and category theory (specifically the study of higher categories).

References

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.