Usuária:Francieli Triches/Testes/Coomologia

Co-homologia: https://pt.wikipedia.org/wiki/Co-homologia

Em matemática, especificamente em teoria de homologia e topologia algébrica, co-homologia ou cohomologia é um termo geral para uma sequência de grupos abelianos associados a espaços topológicos, frequentemente definidos por um complexo de co-cadeias. A cohomologia pode ser vista como um método de atribuir invariantes algébricos mais valiosos a um espaço do que a homologia. Algumas versões de cohomologia surgem dualizando a construção de homologia. Em outras palavras, co-cadeias são funções no grupo de cadeias na teoria da homologia.

Desde seu início na topologia, esta ideia se tornou um método dominante na matemática da segunda metade do século XX. A partir da ideia inicial de homologia como um método de construção de invariantes algébricos de espaços topológicos, a gama de aplicações das teorias de homologia e cohomologia se espalharam por toda a geometria e álgebra. A terminologia tende a esconder o fato de que a cohomologia, uma teoria de contra-variância, é mais natural do que a homologia em muitas aplicações. Em um nível básico, isso tem a ver com funções e pullbacks em situações geométricas: dados espaços X e Y, e algum tipo de função F em Y, para qualquer função f: X → Y, a composição com f dá origem a um Função F∘f em X. As teorias de cohomologia mais importantes têm um produto, o produto cup, que lhes dá uma estrutura anel. Devido a esta característica, cohomologia é geralmente um invariante mais forte do que a homologia.

Cohomologia Singular

Cohomologia singular é um poderoso invariante em topologia, associando um anel graduado-comutativo a qualquer espaço topológico. Qualquer função contínua f: X → Y determina um homomorfismo do anel de cohomologia de Y para o de X; isso coloca fortes restrições nas possíveis funções de X para Y. Ao contrário de invariantes mais sutis, como o grupo de homotopia, o anel de cohomologia tende a ser computável na prática para espaços de interesse.

Para um espaço topológico X, a definição de cohomologia singular começa com o complexo da cadeia singular:

$\cdots \to C_{i+1}{\stackrel {\partial _{i+1}}{\to }}C_{i}{\stackrel {\partial _{i}}{\to }}\ C_{i-1}\to \cdots$

Por definição, a homologia singular de X é a homologia deste complexo de cadeia (o núcleo de um homomorfismo módulo a imagem do anterior). Mais detalhadamente, C_i é o grupo abeliano livre no conjunto das funções contínuas do padrão i-simplexo para X ( chamado "Singular i -simplexo em X"), e ∂_i é o i-ésimo homomorfismo de fronteira. Os grupos C_i são zero para i negativo.

Agora fixe um grupo abeliano A, e substitua cada grupo C_i pelo seu grupo dual C_i* := Hom(C_i, A), e ∂_i por seu homomorfismo dual

$d_{i-1}:C_{i-1}^{*}\rightarrow C_{i}^{*},$

para obter o complexo de cocadeias

$\cdots \to C_{i-1}^{*}{\stackrel {d_{i-1}}{\to }}\ C_{i}^{*}{\stackrel {d_{i}}{\to }}C_{i+1}^{*}\to \cdots$

Para um inteiro i, o i-ésimo grupo de cohomologia de X com coeficientes em A é definido como sendo ker(d_i)/im(d_i−1) e denotado por Hⁱ(X, A). O grupo Hⁱ(X, A) é zero para i negativo. Os elementos de C_i* são chamados i-cocadeia singular com coeficientes em A. (Equivalentemente, uma i-cocadeia sobre X pode ser identificada como uma função de um conjunto do singular i-simplexo em X para A.) Elementos do Ker(d) e im(d) são chamados cociclos e colimites, respectivamente, enquanto elementos de ker(d)/im(d) = Hⁱ(X, A) são chamados de classes de cohomologia (porque eles são classes de equivalência dos cociclos).

No que se segue, o grupo de coeficientes A algumas vezes não é escrito. É comum tomar A para ser um anel comutativo R; então os grupos de cohomologia são R - módulos. Uma escolha padrão é o anel Z dos inteiros.

Some of the formal properties of cohomology are only minor variants of the properties of homology:

• A continuous map f: X → Y determines a pushforward homomorphism f_*: H_i(X) → H_i(Y) on homology and a pullback homomorphism f^*: Hⁱ(Y) → Hⁱ(X) on cohomology. This makes cohomology into a contravariant functor from topological spaces to abelian groups (or R-modules).
• Two homotopic maps from X to Y induce the same homomorphism on cohomology (just as on homology).
• The Mayer–Vietoris sequence is an important computational tool in cohomology, as in homology. Note that the boundary homomorphism increases (rather than decreases) degree in cohomology. That is, if a space X is the union of open subsets U and V, then there is a long exact sequence:

$\cdots \to H^{i}(X)\to H^{i}(U)\oplus H^{i}(V)\to H^{i}(U\cap V)\to H^{i+1}(X)\to \cdots$

• There are relative cohomology groups Hⁱ(X,Y;A) for any subspace Y of a space X. They are related to the usual cohomology groups by a long exact sequence:

$\cdots \to H^{i}(X,Y)\to H^{i}(X)\to H^{i}(Y)\to H^{i+1}(X,Y)\to \cdots$

• The universal coefficient theorem describes cohomology in terms of homology, using Ext groups. Namely, there is a short exact sequence

$0\to \operatorname {Ext} _{\mathbf {Z} }^{1}(\operatorname {H} _{i-1}(X,\mathbf {Z} ),A)\to H^{i}(X,A)\to \operatorname {Hom} _{\mathbf {Z} }(H_{i}(X,\mathbf {Z} ),A)\to 0.$

A related statement is that for a field F, Hⁱ(X,F) is precisely the dual space of the vector space H_i(X,F).

• If X is a topological manifold or a CW complex, then the cohomology groups Hⁱ(X,A) are zero for i greater than the dimension of X. If X is a compact manifold (possibly with boundary), or a CW complex with finitely many cells in each dimension, and R is a commutative Noetherian ring, then the R-module Hⁱ(X,R) is finitely generated for each i.

On the other hand, cohomology has a crucial structure that homology does not: for any topological space X and commutative ring R, there is a bilinear map, called the cup product:

$H^{i}(X,R)\times H^{j}(X,R)\to H^{i+j}(X,R),$

defined by an explicit formula on singular cochains. The product of cohomology classes u and v is written as u ∪ v or simply as uv. This product makes the direct sum

$H^{*}(X,R)=\oplus _{i}H^{i}(X,R)$

into a graded ring, called the cohomology ring of X. It is graded-commutative in the sense that

$uv=(-1)^{ij}vu$

for u in Hⁱ(X,R) and v in H^j(X,R).

For any continuous map f: X → Y, the pullback f^*: H^*(Y,R) → H^*(X,R) is a homomorphism of graded R-algebras. It follows that if two spaces are homotopy equivalent, then their cohomology rings are isomorphic.

Here are some of the geometric interpretations of the cup product. In what follows, manifolds are understood to be without boundary, unless stated otherwise. A closed manifold means a compact manifold (without boundary), whereas a closed submanifold N of a manifold M means a submanifold that is a closed subset of M, not necessarily compact (although N is automatically compact if M is).

• Let X be a closed oriented manifold of dimension n. Then Poincaré duality gives an isomorphism HⁱX ≅ H_n−iX. As a result, a closed oriented submanifold S of codimension i in X determines a cohomology class in HⁱX, called [S]. In these terms, the cup product describes the intersection of submanifolds. Namely, if S and T are submanifolds of codimension i and j that intersect transversely, then

$[S][T]=[S\cap T]\in H^{i+j}(X),$

where the intersection S ∩ T is a submanifold of codimension i + j, with an orientation determined by the orientations of S, T, and X. In the case of smooth manifolds, if S and T do not intersect transversely, this formula can still be used to compute the cup product [S][T], by perturbing S or T to make the intersection transverse.

More generally, without assuming that X has an orientation, a closed submanifold of X with an orientation on its normal bundle determines a cohomology class on X. If X is a noncompact manifold, then a closed submanifold (not necessarily compact) determines a cohomology class on X. In both cases, the cup product can again be described in terms of intersections of submanifolds.

Note that Thom constructed an integral cohomology class of degree 7 on a smooth 14-manifold that is not the class of any smooth submanifold. On the other hand, he showed that every integral cohomology class of positive degree on a smooth manifold has a positive multiple that is the class of a smooth submanifold. Also, every integral cohomology class on a manifold can be represented by a "pseudomanifold", that is, a simplicial complex that is a manifold outside a closed subset of codimension at least 2.

• For a smooth manifold X, de Rham's theorem says that the singular cohomology of X with real coefficients is isomorphic to the de Rham cohomology of X, defined using differential forms. The cup product corresponds to the product of differential forms. This interpretation has the advantage that the product on differential forms is graded-commutative, whereas the product on singular cochains is only graded-commutative up to chain homotopy. In fact, it is impossible to modify the definition of singular cochains with coefficients in the integers Z or in Z/p for a prime number p to make the product graded-commutative on the nose. The failure of graded-commutativity at the cochain level leads to the Steenrod operations on mod p cohomology.

Very informally, for any topological space X, elements of HⁱX can be thought of as represented by codimension-i subspaces of X that can move freely on X. For example, one way to define an element of HⁱX is to give a continuous map f from X to a manifold M and a closed codimension-i submanifold N of M with an orientation on the normal bundle. Informally, one thinks of the resulting class f^*([N]) ∈ Hⁱ(X) as lying on the subspace f⁻¹(N) of X; this is justified in that the class f^*([N]) restricts to zero in the cohomology of the open subset X − f⁻¹(N). The cohomology class f^*([N]) can move freely on X in the sense that N could be replaced by any continuous deformation of N inside M.

Exemplos

In what follows, cohomology is taken with coefficients in the integers Z, unless stated otherwise.

• The cohomology ring of a point is the ring Z in degree 0. By homotopy invariance, this is also the cohomology ring of any contractible space, such as Euclidean space Rⁿ.

• 

  The first cohomology group of the 2-dimensional torus has a basis given by the classes of the two circles shown.

  For a positive integer n, the cohomology ring of the sphere Sⁿ is Z[x]/(x²) (the quotient ring of a polynomial ring by the given ideal), with x in degree n. In terms of Poincaré duality as above, x is the class of a point on the sphere.
• The cohomology ring of the torus (S¹)ⁿ is the exterior algebra over Z on n generators in degree 1. For example, let P denote a point in the circle S¹, and Q the point (P,P) in the 2-dimensional torus (S¹)². Then the cohomology of (S¹)² has a basis as a free Z-module of the form: the element 1 in degree 0, x := [P × S¹] and y := [S¹ × P] in degree 1, and xy = [Q] in degree 2. (Implicitly, orientations of the torus and of the two circles have been fixed here.) Note that yx = −xy = −[Q], by graded-commutativity.
• More generally, let R be a commutative ring, and let X and Y be any topological spaces such that H^*(X,R) is a finitely generated free R-module in each degree. (No assumption is needed on Y.) Then the Künneth formula gives that the cohomology ring of the product space X × Y is a tensor product of R-algebras:

$H^{*}(X\times Y,R)\cong H^{*}(X,R)\otimes _{R}H^{*}(Y,R).$

• The cohomology ring of real projective space RPⁿ with Z/2 coefficients is Z/2[x]/(xⁿ⁺¹), with x in degree 1. Here x is the class of a hyperplane RPⁿ⁻¹ in RPⁿ; this makes sense even though RP^j is not orientable for j even and positive, because Poincaré duality with Z/2 coefficients works for arbitrary manifolds.

With integer coefficients, the answer is a bit more complicated. The Z-cohomology of RP^2a has an element y of degree 2 such that the whole cohomology is the direct sum of a copy of Z spanned by the element 1 in degree 0 together with copies of Z/2 spanned by the elements yⁱ for i=1,...,a. The Z-cohomology of RP^2a+1 is the same together with an extra copy of Z in degree 2a+1.

• The cohomology ring of complex projective space CPⁿ is Z[x]/(xⁿ⁺¹), with x in degree 2. Here x is the class of a hyperplane CPⁿ⁻¹ in CPⁿ. More generally, x^j is the class of a linear subspace CP^n−j in CPⁿ.
• The cohomology ring of the closed oriented surface X of genus g ≥ 0 has a basis as a free Z-module of the form: the element 1 in degree 0, A₁,...,A_g and B₁,...,B_g in degree 1, and the class P of a point in degree 2. The product is given by: A_iA_j = B_iB_j = 0 for all i and j, A_iB_j = 0 if i ≠ j, and A_iB_i = P for all i. By graded-commutativity, it follows that B_iA_i = −P.
• On any topological space, graded-commutativity of the cohomology ring implies that 2x² = 0 for all odd-degree cohomology classes x. It follows that for a ring R containing 1/2, all odd-degree elements of H^*(X,R) have square zero. On the other hand, odd-degree elements need not have square zero if R is Z/2 or Z, as one sees in the example of RP² (with Z/2 coefficients) or RP⁴ × RP² (with Z coefficients).

A diagonal

O cup produto em cohomologia pode ser visto como proveniente da função diagonal Δ: X → X × X, x ↦ (x,x). Ou seja, para quaisquer espaços X e Y com classes de cohomologia u ∈ Hⁱ(X,R) e v ∈ H^j(Y,R), existe um produto externo (ou cross produto) classes de homologia u × v ∈ H^i+j(X × Y,R). O cup produto de classes u ∈ Hⁱ(X,R) e v ∈ H^j(X,R) pode ser definido como o pullback do produto externo pela diagonal:

$uv=\Delta ^{*}(u\times v)\in H^{i+j}(X,R).$

Alternativamente, o produto externo pode ser definido em termos do cup produto. Para espaços X e Y, escrevemos f: X × Y → X e g: X × Y → Y para as duas projeções. Então o produto externos das classes u ∈ Hⁱ(X,R) e v ∈ H^j(Y,R) é:

$u\times v=(f^{*}(u))(g^{*}(v))\in H^{i+j}(X\times Y,R).$

Dualidade de Poincaré

Outra interpretação da dualidade de Poincaré é que o anel de cohomologia de uma variedade orientada fechada é auto-dual em um sentido forte. Isto é, seja X uma variedade orientada conexa e fechada de dimensão n, e seja F um corpo. Então Hⁿ(X,F) é isomorfo a F , e o produto

$H^{i}(X,F)\times H^{n-i}(X,F)\to H^{n}(X,F)\cong F$

é um emparelhamento perfeito para cada número inteiro i. Em particular, o espaço vetorial Hⁱ(X,F) e Hⁿ⁻ⁱ(X,F) tem a mesma dimensão (finita). Do mesmo modo, o produto sobre a cohomologia integral modulo torção com valores em Hⁿ(X,Z) ≅ Z é um emparelhamento perfeito sobre Z.

Classes características

Um fibrado vetorial orientado real E de classificação r sobre um espaço topológico X determina uma classe de cohomologia em X, a Classe de Euler χ(E) ∈ H^r(X,Z). Informalmente, a classe de Euler é a classe do conjunto zero de uma seção geral de E . Essa interpretação pode ser mais explícita quando E é um feixe de vetorial diferenciável sobre uma variedade diferenciável X, uma vez que uma seção diferenciável geral de X desaparece em uma subvariedade de codimensão-r de X.

Existem vários outros tipos de classes características para feixes vetoriais que tomam valores em cohomologia, incluindo Classe de Chern, Classes de Stiefel-Whitney e Classes de Pontryagin.

Espaços Eilenberg–MacLane

For each abelian group A and natural number j, there is a space K(A,j) whose jth homotopy group is isomorphic to A and whose other homotopy groups are zero. Such a space is called an Eilenberg–MacLane space. This space has the remarkable property that it is a classifying space for cohomology: there is a natural element u of H^j(K(A,j),A), and every cohomology class of degree j on every space X is the pullback of u by some continuous map X → K(A,j). More precisely, pulling back the class u gives a bijection

$[X,K(A,j)]{\stackrel {\cong }{\to }}H^{j}(X,A)$

for every space X with the homotopy type of a CW complex. Here [X,Y] denotes the set of homotopy classes of continuous maps from X to Y.

For example, the space K(Z,1) (defined up to homotopy equivalence) can be taken to be the circle S¹. So the description above says that every element of H¹(X,Z) is pulled back from the class u of a point on S¹ by some map X → S¹.

There is a related description of the first cohomology with coefficients in any abelian group A, say for a CW complex X. Namely, H¹(X,A) is in one-to-one correspondence with the set of isomorphism classes of Galois covering spaces of X with group A, also called principal A-bundles over X. For X connected, it follows that H¹(X,A) is isomorphic to Hom(π₁X,A), where π₁X is the fundamental group of X. For example, H¹(X,Z/2) classifies the double covering spaces of X, with the element 0 ∈ H¹(X,Z/2) corresponding to the trivial double covering, the disjoint union of two copies of X.

Cap produto

For any topological space X, the cap product is a bilinear map

$\cap :H^{i}(X,R)\times H_{j}(X,R)\to H_{j-i}(X,R)$

for any integers i and j and any commutative ring R. The resulting map

$H^{*}(X,R)\times H_{*}(X,R)\to H_{*}(X,R)$

makes the singular homology of X into a module over the singular cohomology ring of X.

For i = j, the cap product gives the natural homomorphism

$H^{i}(X,R)\to \operatorname {Hom} _{R}(H_{i}(X,R),R),$

which is an isomorphism for R a field.

For example, let X be an oriented manifold, not necessarily compact. Then a closed oriented codimension-i submanifold Y of X (not necessarily compact) determines an element of Hⁱ(X,R), and a compact oriented j-dimensional submanifold Z of X determines an element of H_j(X,R). The cap product [Y] ∩ [Z] ∈ H_j−i(X,R) can be computed by perturbing Y and Z to make them intersect transversely and then taking the class of their intersection, which is a compact oriented submanifold of dimension j − i.

A closed oriented manifold X of dimension n has a fundamental class [X] in H_n(X,R). The Poincaré duality isomorphism

$H^{i}(X,R){\stackrel {\cong }{\to }}H_{n-i}(X,R)$

is defined by cap product with the fundamental class of X.

História, para o nascimento de cohomologia singular

Although cohomology is fundamental to modern algebraic topology, its importance was not seen for some 40 years after the development of homology. The concept of dual cell structure, which Henri Poincaré used in his proof of his Poincaré duality theorem, contained the germ of the idea of cohomology, but this was not seen until later.

There were various precursors to cohomology. In the mid-1920s, J. W. Alexander and Solomon Lefschetz founded the intersection theory of cycles on manifolds. On a closed oriented n-dimensional manifold M, an i-cycle and a j-cycle with nonempty intersection will, if in general position, have intersection an (i + j − n)-cycle. This leads to a multiplication of homology classes

$H_{i}(M)\times H_{j}(M)\to H_{i+j-n}(M),$

which in retrospect can be identified with the cup product on the cohomology of M.

Alexander had by 1930 defined a first notion of a cochain, by thinking of an i-cochain on a space X as a function on small neighborhoods of the diagonal in Xⁱ⁺¹.

In 1931, Georges de Rham related homology and differential forms, proving de Rham's theorem. This result can be stated more simply in terms of cohomology.

In 1934, Lev Pontryagin proved the Pontryagin duality theorem; a result on topological groups. This (in rather special cases) provided an interpretation of Poincaré duality and Alexander duality in terms of group characters.

At a 1935 conference in Moscow, Andrey Kolmogorov and Alexander both introduced cohomology and tried to construct a cohomology product structure.

In 1936, Norman Steenrod constructed Čech cohomology by dualizing Čech homology.

From 1936 to 1938, Hassler Whitney and Eduard Čech developed the cup product (making cohomology into a graded ring) and cap product, and realized that Poincaré duality can be stated in terms of the cap product. Their theory was still limited to finite cell complexes.

In 1944, Samuel Eilenberg overcame the technical limitations, and gave the modern definition of singular homology and cohomology.

In 1945, Eilenberg and Steenrod stated the axioms defining a homology or cohomology theory, discussed below. In their 1952 book, Foundations of Algebraic Topology, they proved that the existing homology and cohomology theories did indeed satisfy their axioms.

In 1946, Jean Leray defined sheaf cohomology.

In 1948 Edwin Spanier, building on work of Alexander and Kolmogorov, developed Alexander–Spanier cohomology.

Cohomologia de Sheaf

Sheaf cohomology is a rich generalization of singular cohomology, allowing more general "coefficients" than simply an abelian group. For every sheaf of abelian groups E on a topological space X, one has cohomology groups Hⁱ(X,E) for integers i. In particular, in the case of the constant sheaf on X associated to an abelian group A, the resulting groups Hⁱ(X,A) coincide with singular cohomology for X a manifold or CW complex (though not for arbitrary spaces X). Starting in the 1950s, sheaf cohomology has become a central part of algebraic geometry and complex analysis, partly because of the importance of the sheaf of regular functions or the sheaf of holomorphic functions.

Grothendieck elegantly defined and characterized sheaf cohomology in the language of homological algebra. The essential point is to fix the space X and think of sheaf cohomology as a functor from the abelian category of sheaves on X to abelian groups. Start with the functor taking a sheaf E on X to its abelian group of global sections over X, E(X). This functor is left exact, but not necessarily right exact. Grothendieck defined sheaf cohomology groups to be the right derived functors of the left exact functor E ↦ E(X).

That definition suggests various generalizations. For example, one can define the cohomology of a topological space X with coefficients in any complex of sheaves, earlier called hypercohomology (but usually now just "cohomology"). From that point of view, sheaf cohomology becomes a sequence of functors from the derived category of sheaves on X to abelian groups.

In a broad sense of the word, "cohomology" is often used for the right derived functors of a left exact functor on an abelian category, while "homology" is used for the left derived functors of a right exact functor. For example, for a ring R, the Tor groups Tor_i^R(M,N) form a "homology theory" in each variable, the left derived functors of the tensor product M⊗_RN of R-modules. Likewise, the Ext groups Extⁱ_R(M,N) can be viewed as a "cohomology theory" in each variable, the right derived functors of the Hom functor Hom_R(M,N).

Sheaf cohomology can be identified with a type of Ext group. Namely, for a sheaf E on a topological space X, Hⁱ(X,E) is isomorphic to Extⁱ(Z_X, E), where Z_X denotes the constant sheaf associated to the integers Z, and Ext is taken in the abelian category of sheaves on X.

Axiomas e generalização da teoria de cohomologia

Ver também: List of cohomology theories

There are various ways to define cohomology for topological spaces (such as singular cohomology, Čech cohomology, Alexander–Spanier cohomology or sheaf cohomology). (Here sheaf cohomology is considered only with coefficients in a constant sheaf.) These theories give different answers for some spaces, but there is a large class of spaces on which they all agree. This is most easily understood axiomatically: there is a list of properties known as the Eilenberg–Steenrod axioms, and any two constructions that share those properties will agree at least on all CW complexes. There are versions of the axioms for a homology theory as well as for a cohomology theory. Some theories can be viewed as tools for computing singular cohomology for special topological spaces, such as simplicial cohomology for simplicial complexes, cellular cohomology for CW complexes, and de Rham cohomology for smooth manifolds.

One of the Eilenberg–Steenrod axioms for a cohomology theory is the dimension axiom: if P is a single point, then Hⁱ(P) = 0 for all i ≠ 0. Around 1960, Whitehead observed that it is fruitful to omit the dimension axiom completely: this gives the notion of a generalized homology theory or a generalized cohomology theory, defined below. There are generalized cohomology theories such as K-theory or complex cobordism that give rich information about a topological space, not directly accessible from singular cohomology. (In this context, singular cohomology is often called "ordinary cohomology".)

By definition, a generalized homology theory is a sequence of functors h_i (for integers i) from the category of CW-pairs (X, A) (so X is a CW complex and A is a subcomplex) to the category of abelian groups, together with a natural transformation ∂_i: h_i(X, A) → h_i−1(A) called the boundary homomorphism (here h_i−1(A) is a shorthand for h_i−1(A,∅)). The axioms are:

1. Homotopy: If f:(X,A) → (Y,B) is homotopic to g: (X,A) → (Y,B), then the induced homomorphisms on homology are the same.
2. Exactness: Each pair (X,A) induces a long exact sequence in homology, via the inclusions f: A → X and g: (X,∅) → (X,A):Predefinição:Paragraph break$\cdots \to h_{i}(A)\to ^{\!\!\!\!\!\!f_{*}}h_{i}(X)\to ^{\!\!\!\!\!\!g_{*}}h_{i}(X,A)\to ^{\!\!\!\!\!\!\partial }h_{i-1}(A)\to \cdots .$
3. Excision: If X is the union of subcomplexes A and B, then the inclusion f: (A,A∩B) → (X,B) induces an isomorphism Predefinição:Paragraph break$h_{i}(A,A\cap B)\to ^{\!\!\!\!\!\!f_{*}}h_{i}(X,B)$Predefinição:Paragraph breakfor every i.
4. Additivity: If (X,A) is the disjoint union of a set of pairs (X_α,A_α), then the inclusions (X_α,A_α) → (X,A) induce an isomorphism from the direct sum: Predefinição:Paragraph break$\bigoplus _{\alpha }h_{i}(X_{\alpha },A_{\alpha })\to h_{i}(X,A)$Predefinição:Paragraph breakfor every i.

The axioms for a generalized cohomology theory are obtained by reversing the arrows, roughly speaking. In more detail, a generalized cohomology theory is a sequence of contravariant functors hⁱ (for integers i) from the category of CW-pairs to the category of abelian groups, together with a natural transformation d: hⁱ(A) → hⁱ⁺¹(X,A) called the boundary homomorphism (writing hⁱ(A) for hⁱ(A,∅)). The axioms are:

1. Homotopy: Homotopic maps induce the same homomorphism on cohomology.
2. Exactness: Each pair (X,A) induces a long exact sequence in cohomology, via the inclusions f: A → X and g: (X,∅) → (X,A): Predefinição:Paragraph break$\cdots \to h^{i}(X,A)\to ^{\!\!\!\!\!\!g^{*}}h^{i}(X)\to ^{\!\!\!\!\!\!f^{*}}h^{i}(A)\to ^{\!\!\!\!\!\!d}h^{i+1}(X,A)\to \cdots .$
3. Excision: If X is the union of subcomplexes A and B, then the inclusion f: (A,A∩B) → (X,B) induces an isomorphism Predefinição:Paragraph break$h^{i}(X,B)\to ^{\!\!\!\!\!\!f^{*}}h^{i}(A,A\cap B)$Predefinição:Paragraph breakfor every i.
4. Additivity: If (X,A) is the disjoint union of a set of pairs (X_α,A_α), then the inclusions (X_α,A_α) → (X,A) induce an isomorphism to the product group: Predefinição:Paragraph break$h^{i}(X,A)\to \prod _{\alpha }h^{i}(X_{\alpha },A_{\alpha })$Predefinição:Paragraph breakfor every i.

A spectrum determines both a generalized homology theory and a generalized cohomology theory. A fundamental result by Brown, Whitehead, and Adams says that every generalized homology theory comes from a spectrum, and likewise every generalized cohomology theory comes from a spectrum. This generalizes the representability of ordinary cohomology by Eilenberg–MacLane spaces.

A subtle point is that the functor from the stable homotopy category (the homotopy category of spectra) to generalized homology theories on CW-pairs is not an equivalence, although it gives a bijection on isomorphism classes; there are nonzero maps in the stable homotopy category (called phantom maps) that induce the zero map between homology theories on CW-pairs. Likewise, the functor from the stable homotopy category to generalized cohomology theories on CW-pairs is not an equivalence. It is the stable homotopy category, not these other categories, that has good properties such as being triangulated.

If one prefers homology or cohomology theories to be defined on all topological spaces rather than on CW complexes, one standard approach is to include the axiom that every weak homotopy equivalence induces an isomorphism on homology or cohomology. (That is true for singular homology or singular cohomology, but not for sheaf cohomology, for example.) Since every space admits a weak homotopy equivalence from a CW complex, this axiom reduces homology or cohomology theories on all spaces to the corresponding theory on CW complexes.

Some examples of generalized cohomology theories are:

• Stable cohomotopy groups π_S*(X). The corresponding homology theory is used more often: stable homotopy groups π_*^S(X).
• Various different flavors of cobordism groups, based on studying a space by considering all maps from it to manifolds: unoriented cobordism MO^*(X), oriented cobordism MSO^*(X), complex cobordism MU^*(X), and so on. Complex cobordism has turned out to be especially powerful in homotopy theory. It is closely related to formal groups, via a theorem of Daniel Quillen.
• Various different flavors of topological K-theory, based on studying a space by considering all vector bundles over it: KO*(X) (real periodic K-theory), ko*(X) (real connective K-theory), K*(X) (complex periodic K-theory), ku*(X) (complex connective K-theory), and so on.
• Brown–Peterson cohomology, Morava K-theory, Morava E-theory, and other theories built from complex cobordism.
• Various flavors of elliptic cohomology.

Many of these theories carry richer information than ordinary cohomology, but are harder to compute.

A cohomology theory E is said to be multiplicative if E^*(X) has the structure of a graded ring for each space X. In the language of spectra, there are several more precise notions of a ring spectrum, such as an E_∞ ring spectrum, where the product is commutative and associative in a strong sense.

Outras teorias de cohomologia

Cohomology theories in a broader sense (invariants of other algebraic or geometric structures, rather than of topological spaces) include:

• Algebraic K-theory
• André–Quillen cohomology
• BRST cohomology
• Coherent sheaf cohomology
• Crystalline cohomology
• Cyclic cohomology
• Deligne cohomology
• Equivariant cohomology
• Étale cohomology
• Ext groups
• Flat cohomology
• Floer homology
• Galois cohomology
• Group cohomology
• Hochschild cohomology
• Intersection cohomology
• Khovanov homology
• Lie algebra cohomology
• Local cohomology
• Motivic cohomology
• Non-abelian cohomology
• Quantum cohomology

Referências

• Dieudonné, Jean (1989), History of Algebraic and Differential Topology, ISBN 0-8176-3388-X, Birkhäuser, MR 0995842 
• Dold, Albrecht (1972), Lectures on Algebraic Topology, ISBN 978-3-540-58660-9, Springer-Verlag, MR 0415602 
• Eilenberg, Samuel; Steenrod, Norman (1952), Foundations of Algebraic Topology, ISBN 9780691627236, Princeton University Press, MR 0050886 
• Hartshorne, Robin (1977), Algebraic Geometry, ISBN 0-387-90244-9, Graduate Texts in Mathematics, 52, New York, Heidelberg: Springer-Verlag, MR 0463157 
• Hatcher, Allen (2001), Algebraic Topology, ISBN 0-521-79540-0, Cambridge University Press, MR 1867354 
• Hazewinkel, Michiel, ed. (2001), «Cohomology», Enciclopédia de Matemática, ISBN 978-1-55608-010-4 (em inglês), Springer .
• May, J. Peter (1999), A Concise Course in Algebraic Topology (PDF), ISBN 0-226-51182-0, University of Chicago Press, MR 1702278 
• Switzer, Robert (1975), Algebraic Topology — Homology and Homotopy, ISBN 3-540-42750-3, Springer-Verlag, MR 0385836 
• Thom, René (1954), «Quelques propriétés globales des variétés différentiables», Commentarii Mathematici Helvetici, 28: 17–86, MR 0061823, doi:10.1007/BF02566923