List of cohomology theories

List of cohomology theories

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

*"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 equivalence 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"

Ordinary homology theories

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.

Homology and cohomology with integer coefficients.

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

Coefficient ring: π"n"(H) = Z if "n"=0, 0 otherwise.

The original homology theory.

Homology and cohomology with rational (or real or complex) coefficients.

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.

Homology and cohomology with mod "p" coefficients.

Spectrum: HZp (Eilenberg-Maclane spectrum of the integers mod "p".)

Coefficient ring: π"n"(HZp) = Zp (Integers mod "p") if "n"=0, 0 otherwise.

K-theories

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.

Real K-theory

Spectrum: KO

Coefficient ring: The coefficient groups π"i"(KO) have period 8 in "i", given by the sequence Z, Z2, Z2,0, Z, 0, 0, 0, repeated. As a ring, it is generated by a class η in degree 1, a class x4 in degree 4, and an invertible class v14 in degree 8, subject to the relations that 2η=η3=ηx4=0, and x42=4v14.

KO0("X") is the ring of stable equivalence classes of real vector bundles over "X". Bott periodicity implies that the K-groups have period 8.

Complex K-theory

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

Coefficient ring: The coefficient ring K*(point) is the ring of formal Laurent series in a generator of degree 2.

K0("X") is the ring of stable equivalence classes of complex vector bundles over "X". Bott periodicity implies that the K-groups have period 2.

Quaternionic K-theory

Spectrum: KSp

Coefficient ring: The coefficient groups π"i"(KSp) have period 8 in "i", given by the sequence Z, 0, 0, 0,Z, Z2, Z2,0, repeated.

KSp0("X") is the ring of stable equivalence classes of quaternionic vector bundles over "X". Bott periodicity implies that the K-groups have period 8.

K theory with coefficients

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.

elf conjugate K-theory

Spectrum: KSC

Coefficient ring: "to be written..."

The coefficient groups π"i"(KSC) have period 4 in "i", given by the sequence Z, Z2, 0, Z, repeated. Introduced by D. Anderson in his unpublished 1964 Berkeley Ph.D. dissertation, "A new cohomology theory".

Connective K-theories

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 v1 in dimension 2. For ko, the coefficient ring is the quotient of a polynomial ring on three generators, η in dimension 1, x4 in dimension 4, and v14 in dimension 8, the periodicity generator, modulo the relations that 2η=0, x4²=4v14, η³=0, and ηx=0.

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

Bordism and cobordism theories

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.


=Stable homotopy and cohomotopy=

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).

Unoriented cobordism

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.

Unoriented bordism is 2-torsion, since "2M" is the boundary of M imes I.

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

Complex cobordism

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.

Oriented cobordism

Spectrum: MSO (Thom spectrum of special orthogonal group)

Coefficient ring:

pecial unitary cobordism

Spectrum: MSU (Thom spectrum of special unitary group)

Coefficient ring:

pin cobordism (and variants)

Spectrum: MSpin (Thom spectrum of spin group)

Coefficient ring: See harvs|first=D. W.|last= Anderson|first2= E. H. |last2= Brown|first3= F. P. |last3=Peterson|year=1967.

ymplectic cobordism

Spectrum: MSp (Thom spectrum of symplectic group)

Coefficient ring:

Clifford algebra cobordism

PL cobordism and topological cobordism

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.

Brown–Peterson cohomology

Spectrum: BP

Coefficient ring: π*(BP) is a polynomial algebra over Z(p) on generators "vn" 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.

Morava K-theory

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

Coefficient ring: F"p" ["vn", "vn"−1] , where "vn" has degree 2("p""n"−1).

These theories have period 2("p""n"−1). Named for Jack Morava.

Theories related to elliptic curves

Elliptic cohomology

Spectrum: Ell

"Description to appear here..."

Topological modular forms

Spectra: tmf, TMF (previously called eo2.)

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 242=576. At the prime p=2, the completion of tmf is the spectrum eo2, and the K(2)-localization of tmf is the Hopkins-Miller Higher Real K-theory spectrum EO2.

See also


* Alexander-Spanier cohomology
* Algebraic K-theory
* BRST cohomology
* Cell cohomology
* Čech cohomology
* Crystalline cohomology
* De Rham cohomology
* Étale cohomology
* Floer homology
* Galois cohomology
* Group cohomology
* Hodge structure
* Intersection cohomology
* L2 cohomology
* l-adic cohomology
* Lie algebra cohomology
* Sheaf cohomology
* Singular homology
* Quantum cohomology

References

*"Stable Homotopy and Generalised Homology" (Chicago Lectures in Mathematics) by J. F. Adams University Of Chicago Press; Reissue edition (February 27, 1995) ISBN 0-226-00524-0
*citation|title=The Structure of the Spin Cobordism Ring
first=D. W.|last= Anderson|first2= E. H. Jr.|last2= Brown|first3= F. P. |last3=Peterson
journal=The Annals of Mathematics > 2nd Ser.|volume=86|issue=2|year= 1967|pages= 271-298
url=http://links.jstor.org/sici?sici=0003-486X%28196709%292%3A86%3A2%3C271%3ATSOTSC%3E2.0.CO%3B2-%23

*"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


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • List of mathematical theories — This is a list of mathematical theories, by Wikipedia page.*Algebraic K theory *Approximation theory *Automata theory *Braid theory *Brill Noether theory *Catastrophe theory *Category theory *Character theory *Choquet theory *Class field theory… …   Wikipedia

  • Cohomology — In mathematics, specifically in algebraic topology, cohomology is a general term for a sequence of abelian groups defined from a co chain complex. That is, cohomology is defined as the abstract study of cochains, cocycles, and coboundaries.… …   Wikipedia

  • List of mathematics articles (L) — NOTOC L L (complexity) L BFGS L² cohomology L function L game L notation L system L theory L Analyse des Infiniment Petits pour l Intelligence des Lignes Courbes L Hôpital s rule L(R) La Géométrie Labeled graph Labelled enumeration theorem Lack… …   Wikipedia

  • List of algebraic topology topics — This is a list of algebraic topology topics, by Wikipedia page. See also: topology glossary List of topology topics List of general topology topics List of geometric topology topics Publications in topology Topological property Contents 1… …   Wikipedia

  • Brown–Peterson cohomology — In mathematics, Brown–Peterson cohomology is a generalized cohomology theory introduced byharvtxt|Brown|Peterson|1966, depending on a choice of prime p . It is described in detail by harvtxt|Ravenel|2003|loc=Chapter 4.Its spectrum is usually… …   Wikipedia

  • List of important publications in mathematics — One of the oldest surviving fragments of Euclid s Elements, found at Oxyrhynchus and dated to circa AD 100. The diagram accompanies Book II, Proposition 5.[1] This is a list of important publications in mathematics, organized by field. Some… …   Wikipedia

  • List of Russian people — The Millennium of Russia monument in Veliky Novgorod, featuring the statues and reliefs of the most celebrated people in the first 1000 years of Russian history …   Wikipedia

  • List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… …   Wikipedia

  • Cobordism — A cobordism (W;M,N). 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 are cobordant if their disjoint… …   Wikipedia

  • Homology theory — In mathematics, homology theory is the axiomatic study of the intuitive geometric idea of homology of cycles on topological spaces. It can be broadly defined as the study of homology theories on topological spaces. Simple explanation At the… …   Wikipedia

Share the article and excerpts

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