This is a list of some of the ordinary and generalized (or extraordinary) homology and cohomology theories in algebraic topology that are defined on the categories of CW complexes or spectra. For other sorts of homology theories see the links at the end of this article.

- Notation
- Ordinary homology theories
- Homology and cohomology with integer coefficients.
- Homology and cohomology with rational (or real or complex) coefficients.
- Homology and cohomology with mod p coefficients.
- K-theories
- Real K-theory
- Complex K-theory
- Quaternionic K-theory
- K theory with coefficients
- Self conjugate K-theory
- Connective K-theories
- KR-theory
- Bordism and cobordism theories
- Stable homotopy and cohomotopy
- Unoriented cobordism
- Complex cobordism
- Oriented cobordism
- Special unitary cobordism
- Spin cobordism (and variants)
- Symplectic cobordism
- Clifford algebra cobordism
- PL cobordism and topological cobordism
- Brown–Peterson cohomology
- Morava K-theory
- Johnson–Wilson theory
- String cobordism
- Theories related to elliptic curves
- Elliptic cohomology
- Topological modular forms
- See also
- References

*S*= π =*S*^{0}is the sphere spectrum.*S*^{n}is the spectrum of the*n*-dimensional sphere*S*^{n}*Y*=*S*^{n}∧*Y*is the*n*th suspension of a spectrum*Y*.- [
*X*,*Y*] is the abelian group of morphisms from the spectrum*X*to the spectrum*Y*, given (roughly) as homotopy classes of maps. - [
*X*,*Y*]_{n}= [*S*^{n}*X*,*Y*] - [
*X*,*Y*]_{*}is the graded abelian group given as the sum of the groups [*X*,*Y*]_{n}. - π
_{n}(*X*) = [*S*^{n},*X*] = [*S*,*X*]_{n}is the*n*th stable homotopy group of*X*. - π
_{*}(*X*) is the sum of the groups π_{n}(*X*), and is called the**coefficient ring**of*X*when*X*is a ring spectrum. *X*∧*Y*is the smash product of two spectra.

If *X* is a spectrum, then it defines generalized homology and cohomology theories on the category of spectra as follows.

*X*_{n}(*Y*) = [*S*,*X*∧*Y*]_{n}= [*S*^{n},*X*∧*Y*] is the generalized homology of*Y*,*X*^{n}(*Y*) = [*Y*,*X*]_{−n}= [*S*^{−n}*Y*,*X*] is the generalized cohomology of*Y*

These are the theories satisfying the "dimension axiom" of the Eilenberg–Steenrod axioms that the homology of a point vanishes in dimension other than 0. They are determined by an abelian coefficient group *G*, and denoted by H(*X*, *G*) (where *G* is sometimes omitted, especially if it is **Z**). Usually *G* is the integers, the rationals, the reals, the complex numbers, or the integers mod a prime *p*.

The cohomology functors of ordinary cohomology theories are represented by Eilenberg–MacLane spaces.

On simplicial complexes, these theories coincide with singular homology and cohomology.

**Spectrum:** H (Eilenberg–MacLane spectrum of the integers.)

**Coefficient ring:** π_{n}(H) = **Z** if *n* = 0, 0 otherwise.

The original homology theory.

**Spectrum:** HQ (Eilenberg–Mac Lane spectrum of the rationals.)

**Coefficient ring:** π_{n}(HQ) = **Q** if *n* = 0, 0 otherwise.

These are the easiest of all homology theories. The homology groups HQ_{n}(*X*) are often denoted by H_{n}(*X*, *Q*). The homology groups H(*X*, **Q**), H(*X*, **R**), H(*X*, **C**) with rational, real, and complex coefficients are all similar, and are used mainly when torsion is not of interest (or too complicated to work out). The Hodge decomposition writes the complex cohomology of a complex projective variety as a sum of sheaf cohomology groups.

**Spectrum:** HZ_{p} (Eilenberg–Maclane spectrum of the integers mod *p*.)

**Coefficient ring:** π_{n}(HZ_{p}) = **Z**_{p} (Integers mod *p*) if *n* = 0, 0 otherwise.

The simpler K-theories of a space are often related to vector bundles over the space, and different sorts of K-theories correspond to different structures that can be put on a vector bundle.

**Spectrum:** KO

**Coefficient ring:** The coefficient groups π_{i}(KO) have period 8 in *i*, given by the sequence **Z**, **Z**_{2}, **Z**_{2},0, **Z**, 0, 0, 0, repeated. As a ring, it is generated by a class *η* in degree 1, a class *x*_{4} in degree 4, and an invertible class *v*_{1}^{4} in degree 8, subject to the relations that 2*η* = *η*^{3} = *ηx*_{4} = 0, and *x*_{4}^{2} = 4*v*_{1}^{4}.

KO^{0}(*X*) is the ring of stable equivalence classes of real vector bundles over *X*. Bott periodicity implies that the K-groups have period 8.

**Spectrum:** KU (even terms BU or **Z** × BU, odd terms *U*).

**Coefficient ring:** The coefficient ring *K*^{*}(point) is the ring of Laurent polynomials in a generator of degree 2.

*K*^{0}(*X*) is the ring of stable equivalence classes of complex vector bundles over *X*. Bott periodicity implies that the K-groups have period 2.

**Spectrum:** KSp

**Coefficient ring:** The coefficient groups π_{i}(KSp) have period 8 in *i*, given by the sequence **Z**, 0, 0, 0,**Z**, **Z**_{2}, **Z**_{2},0, repeated.

KSp^{0}(*X*) is the ring of stable equivalence classes of quaternionic vector bundles over *X*. Bott periodicity implies that the K-groups have period 8.

**Spectrum:** KG

*G* is some abelian group; for example the localization **Z**_{(p)} at the prime *p*. Other K-theories can also be given coefficients.

**Spectrum:** KSC

**Coefficient ring:***to be written...*

The coefficient groups (KSC) have period 4 in *i*, given by the sequence **Z**, **Z**_{2}, 0, **Z**, repeated. Introduced by Donald W. Anderson in his unpublished 1964 University of California, Berkeley Ph.D. dissertation, "A new cohomology theory".

**Spectrum:** ku for connective K-theory, ko for connective real K-theory.

**Coefficient ring:** For ku, the coefficient ring is the ring of polynomials over *Z* on a single class *v*_{1} in dimension 2. For ko, the coefficient ring is the quotient of a polynomial ring on three generators, *η* in dimension 1, *x*_{4} in dimension 4, and *v*_{1}^{4} in dimension 8, the periodicity generator, modulo the relations that 2*η* = 0, *x*_{4}^{2} = 4*v*_{1}^{4}, *η*^{3} = 0, and *ηx* = 0.

Roughly speaking, this is K-theory with the negative dimensional parts killed off.

This is a cohomology theory defined for spaces with involution, from which many of the other K-theories can be derived.

Cobordism studies manifolds, where a manifold is regarded as "trivial" if it is the boundary of another compact manifold. The cobordism classes of manifolds form a ring that is usually the coefficient ring of some generalized cohomology theory. There are many such theories, corresponding roughly to the different structures that one can put on a manifold.

The functors of cobordism theories are often represented by Thom spaces of certain groups.

**Spectrum:** S (sphere spectrum).

**Coefficient ring:** The coefficient groups π_{n}(*S*) are the stable homotopy groups of spheres, which are notoriously hard to compute or understand for *n* > 0. (For *n* < 0 they vanish, and for *n* = 0 the group is **Z**.)

Stable homotopy is closely related to cobordism of framed manifolds (manifolds with a trivialization of the normal bundle).

**Spectrum:** MO (Thom spectrum of orthogonal group)

**Coefficient ring:** π_{*}(MO) is the ring of cobordism classes of unoriented manifolds, and is a polynomial ring over the field with 2 elements on generators of degree *i* for every *i* not of the form 2^{n}−1. That is: where can be represented by the classes of while for odd indices one can use appropriate Dold manifolds.

Unoriented bordism is 2-torsion, since *2M* is the boundary of .

MO is a rather weak cobordism theory, as the spectrum MO is isomorphic to H(π_{*}(MO)) ("homology with coefficients in π_{*}(MO)") – MO is a product of Eilenberg–MacLane spectra. In other words, the corresponding homology and cohomology theories are no more powerful than homology and cohomology with coefficients in **Z**/2**Z**. This was the first cobordism theory to be described completely.

**Spectrum:** MU (Thom spectrum of unitary group)

**Coefficient ring:** π_{*}(*MU*) is the polynomial ring on generators of degree 2, 4, 6, 8, ... and is naturally isomorphic to Lazard's universal ring, and is the cobordism ring of stably almost complex manifolds.

**Spectrum:** MSO (Thom spectrum of special orthogonal group)

**Coefficient ring:** The oriented cobordism class of a manifold is completely determined by its characteristic numbers: its Stiefel–Whitney numbers and Pontryagin numbers, but the overall coefficient ring, denoted is quite complicated. Rationally, and at 2 (corresponding to Pontryagin and Stiefel–Whitney classes, respectively), MSO is a product of Eilenberg–MacLane spectra – and – but at odd primes it is not, and the structure is complicated to describe. The ring has been completely described integrally, due to work of John Milnor, Boris Averbuch, Vladimir Rokhlin, and C. T. C. Wall.

**Spectrum:** MSU (Thom spectrum of special unitary group)

**Coefficient ring:**

**Spectrum:** MSpin (Thom spectrum of spin group)

**Coefficient ring:** See (D. W.Anderson,E. H. Brown&F. P. Peterson 1967 ).

**Spectrum:** MSp (Thom spectrum of symplectic group)

**Coefficient ring:**

**Spectrum:** MPL, MSPL, MTop, MSTop

**Coefficient ring:**

The definition is similar to cobordism, except that one uses piecewise linear or topological instead of smooth manifolds, either oriented or unoriented. The coefficient rings are complicated.

**Spectrum:** BP

**Coefficient ring:** π_{*}(BP) is a polynomial algebra over *Z*_{(p)} on generators *v*_{n} of dimension 2(*p*^{n} − 1) for *n* ≥ 1.

Brown–Peterson cohomology BP is a summand of MU_{p}, which is complex cobordism MU localized at a prime *p*. In fact MU_{(p)} is a sum of suspensions of BP.

**Spectrum:** K(*n*) (They also depend on a prime *p*.)

**Coefficient ring:****F**_{p}[*v*_{n}, *v*_{n}^{−1}], where *v*_{n} has degree 2(*p*^{n} -1).

These theories have period 2(*p*^{n} − 1). They are named after Jack Morava.

**Spectrum***E*(*n*)

**Coefficient ring****Z**_{(2)}[*v*_{1}, ..., *v*_{n}, 1/*v*_{n}] where *v*_{i} has degree 2(2^{i}−1)

**Spectrum:**

**Coefficient ring:**

**Spectrum:** Ell

**Spectra:** tmf, TMF (previously called eo_{2}.)

The coefficient ring π_{*}(tmf) is called the ring of topological modular forms. TMF is tmf with the 24th power of the modular form Δ inverted, and has period 24^{2}=576. At the prime *p* = 2, the completion of tmf is the spectrum eo_{2}, and the K(2)-localization of tmf is the Hopkins-Miller Higher Real K-theory spectrum EO_{2}.

- Alexander–Spanier cohomology
- Algebraic K-theory
- BRST cohomology
- Cellular homology
- Čech cohomology
- Crystalline cohomology
- De Rham cohomology
- Deligne cohomology
- Étale cohomology
- Floer homology
- Galois cohomology
- Group cohomology
- Hodge structure
- Intersection cohomology
- L
^{2}cohomology - l-adic cohomology
- Lie algebra cohomology
- Quantum cohomology
- Sheaf cohomology
- Singular homology
- Spencer cohomology

In mathematics, specifically in homology theory and algebraic topology, **cohomology** is a general term for a sequence of abelian groups associated to 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.

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 mathematics, **cobordism** is a fundamental equivalence relation on the class of compact manifolds of the same dimension, set up using the concept of the boundary of a manifold. Two manifolds of the same dimension are *cobordant* if their disjoint union is the *boundary* of a compact manifold one dimension higher.

In algebraic topology, a branch of mathematics, **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, the **Poincaré duality** theorem, named after Henri Poincaré, is a basic result on the structure of the homology and cohomology groups of manifolds. It states that if *M* is an *n*-dimensional oriented closed manifold, then the *k*th cohomology group of *M* is isomorphic to the th homology group of *M*, for all integers *k*

In mathematics, **complex cobordism** is a generalized cohomology theory related to cobordism of manifolds. Its spectrum is denoted by MU. It is an exceptionally powerful cohomology theory, but can be quite hard to compute, so often instead of using it directly one uses some slightly weaker theories derived from it, such as Brown–Peterson cohomology or Morava K-theory, that are easier to compute.

In algebraic topology, a branch of mathematics, a **spectrum** is an object representing a generalized cohomology theory. There are several different categories of spectra, but they all determine the same homotopy category, known as the **stable homotopy category**.

In mathematics, and algebraic topology in particular, an **Eilenberg–MacLane space** is a topological space with a single nontrivial homotopy group. As such, an Eilenberg–MacLane space is a special kind of topological space that can be regarded as a building block for homotopy theory; general topological spaces can be constructed from these via the Postnikov system. These spaces are important in many contexts in algebraic topology, including constructions of spaces, computations of homotopy groups of spheres, and definition of cohomology operations. The name is for Samuel Eilenberg and Saunders Mac Lane, who introduced such spaces in the late 1940s.

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.

In mathematics, the **Thom space,****Thom complex,** or **Pontryagin–Thom construction** of algebraic topology and differential topology is a topological space associated to a vector bundle, over any paracompact space.

In mathematics, specifically in algebraic topology, the **Eilenberg–Steenrod axioms** are properties that homology theories of topological spaces have in common. The quintessential example of a homology theory satisfying the axioms is singular homology, developed by Samuel Eilenberg and Norman Steenrod.

In mathematics, specifically in algebraic geometry and algebraic topology, the **Lefschetz hyperplane theorem** is a precise statement of certain relations between the shape of an algebraic variety and the shape of its subvarieties. More precisely, the theorem says that for a variety *X* embedded in projective space and a hyperplane section *Y*, the homology, cohomology, and homotopy groups of *X* determine those of *Y*. A result of this kind was first stated by Solomon Lefschetz for homology groups of complex algebraic varieties. Similar results have since been found for homotopy groups, in positive characteristic, and in other homology and cohomology theories.

In mathematics, the **Adams spectral sequence** is a spectral sequence introduced by J. Frank Adams (1958). Like all spectral sequences, it is a computational tool; it relates homology theory to what is now called stable homotopy theory. It is a reformulation using homological algebra, and an extension, of a technique called 'killing homotopy groups' applied by the French school of Henri Cartan and Jean-Pierre Serre.

In mathematics, specifically in geometric topology, **surgery theory** is a collection of techniques used to produce one finite-dimensional manifold from another in a 'controlled' way, introduced by John Milnor (1961). Originally developed for differentiable manifolds, surgery techniques also apply to piecewise linear (PL-) and topological manifolds.

In mathematics, **Brown–Peterson cohomology** is a generalized cohomology theory introduced by Edgar H. Brown and Franklin P. Peterson (1966), depending on a choice of prime *p*. It is described in detail by Douglas Ravenel . Its representing spectrum is denoted by BP.

In mathematics and specifically in topology, **rational homotopy theory** is a simplified version of homotopy theory for topological spaces, in which all torsion in the homotopy groups is ignored. It was founded by Dennis Sullivan (1977) and Daniel Quillen (1969). This simplification of homotopy theory makes calculations much easier.

In mathematics, a **normal map** is a concept in geometric topology due to William Browder which is of fundamental importance in surgery theory. Given a Poincaré complex *X*, a normal map on *X* endows the space, roughly speaking, with some of the homotopy-theoretic global structure of a closed manifold. In particular, *X* has a good candidate for a stable normal bundle and a Thom collapse map, which is equivalent to there being a map from a manifold *M* to *X* matching the fundamental classes and preserving normal bundle information. If the dimension of *X* is 5 there is then only the algebraic topology surgery obstruction due to C. T. C. Wall to *X* actually being homotopy equivalent to a closed manifold. Normal maps also apply to the study of the uniqueness of manifold structures within a homotopy type, which was pioneered by Sergei Novikov.

In mathematics, and particularly homology theory, **Steenrod's Problem** is a problem concerning the realisation of homology classes by singular manifolds.

In mathematics, the **Landweber exact functor theorem**, named after Peter Landweber, is a theorem in algebraic topology. It is known that a complex orientation of a homology theory leads to a formal group law. The Landweber exact functor theorem can be seen as a method to reverse this process: it constructs a homology theory out of a formal group law.

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

*Stable Homotopy and Generalised Homology*(Chicago Lectures in Mathematics) by J. Frank Adams, University Of Chicago Press; Reissue edition (February 27, 1995) ISBN 0-226-00524-0- Anderson, Donald W.; Brown, Edgar H. Jr.; Peterson, Franklin P. (1967), "The Structure of the Spin Cobordism Ring",
*Annals of Mathematics*, Second Series,**86**(2): 271–298, doi:10.2307/1970690, JSTOR 1970690 *Notes on cobordism theory*, by Robert E. Stong, Princeton University Press (1968) ASIN B0006C2BN6*Elliptic Cohomology*(University Series in Mathematics) by Charles B. Thomas, Springer; 1 edition (October, 1999) ISBN 0-306-46097-1

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.

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.