Topology/Cohomology

Introduction
Cohomology is a strongly related concept to homology, it is a contravariant in the sense of a branch of mathematics known as category theory. In homology theory we study the relationship between mappings going down in dimension from n-dimensional structure to its (n-1)-dimensional border. However, in cohomology the maps are reversed, and instead of chain groups we study groups of mappings from those groups.

Although this description may imply that somehow cohomology theory is no more or less powerful than homology theory, this impression would be wrong, as it turns out that the cohomology of a space is often more powerful. Further knowing the homology of a space gives us the cohomology and the cohomology greatly restricts what homology a space can have.

Hom(A,B) and Categorical Duals
This construction is at the core of category theory which has been successful in acting as a foundational theory for large parts of algebraic topology. For now what we need is the idea that the dual of a group $$C$$ is $$C^*=Hom(C,G)$$ and $$(C^*)^*=Hom(Hom(C,G),G)$$

Cochain Complex
In homology theory we used the chain complex


 * $$\cdots C_n \xrightarrow{\partial_n} C_{n-1} \cdots$$

to form our homology groups $$H_n(X)=Ker(\partial_n) / Im(\partial_{n+1})$$. Using that as our inspiration, we form


 * $$\delta^n:C^*_{n-1}\to C^*_n$$

where $$C^*_n=Hom(C_n,G)$$ for a given group G. Our cochain complex is as follows


 * $$\cdots Hom(C_n,G) \xrightarrow{\delta^n} Hom(C_{n-1},G) \cdots$$

To find our cohomology groups $$H^n(X;G)$$ note that this is relative to our chosen group $$G$$ so for a given method we have to choose $$G$$ appropriately.

Examples
(under construction)

Exercises
(under construction)