From cohomology to representation theory
This is a survey article still in the making, and may contain some factual or conceptual errors. Please take it with a pinch of salt
What is cohomology and what is representation theory
Given a topological space (or a manifold, or an algebraic variety) we are sometimes able to assiciate with that a chain complex of Abelian groups. We can then look at functions from the Abelian groups in this chain complex, to a certain ring, and use these functions to obtain a dual, cochain complex.
Cohomology is about studying the homology of this complex (in other words, the quotient of the kernel of each map by the image of the previous map).
We are given a group (any group, may be finite or infinite). The representation theory of this group is the story of homomorphisms from the group to general linear groups of vector spaces over fields. Equivalently, it is about the theory of modules over the group ring of the given group over a given field.
The representation theory of a group over a field , is defined as the theory of all homomorphisms where is a -vector space. Equivalently, it is the theory of all -modules, viz modules over the group ring of over .
When we use the group ring language, we can generalize representation theory to work over any ring. The representation theory of a group over a ring is the story of -modules.
Suppose a group acts on a space . This may be:
- is a topological space and acts as self-homeomorphisms of
- is a differential manifold and acts as self-diffeomorphisms of
- is an algebraic variety and acts as algebraic automorphisms of
Then, for any , we have an automorphism of (which may be a self-homeomorphism, self-diffeomorphism, or algebraic automorphism). By the functoriality of cohomology, each induces a map from to itself (for every ). If our cohomology theory is with coefficients in , the induced map is an -module map.
Thus, for every , we have a map from to the set of -module automorphisms of . This map thus defines a group action of on the -module , and hence, makes into a -module. Thus, we obtain a representation of .
An action of a group on a space, gives a family of representations of the group over any base ring, via the use of a cohomology theory of the space with coefficients in that base ring.
Some particular simple cases
For a discrete set of points
The cohomology theory of a discrete finite set of points has, as its first cohomology group, the free module over the base ring with rank equal to the number of points. Later cohomology groups are trivial.
Thus, any permutation representation over the finite set of points gives a representation on the free module on that many points. This, incidentally, is the same as the original permutation representation, viewing the permutations as matrices.
Thus, in some sense, the passage from actions on spaces, to representations over rings, is a generalization of the passage from a permutation representation to the associated linear representation.
For a finite simplicial complex
For a simplicial complex, we can use simplicial cohomology.
A favourite tool of cohomology theorists is to take signed summations, and then to say that the quantities obtained by the signed summations are some sort of invariant. We do look at various signed summations, typically of:
- The characters of representations, varying over but keeping an element constant. Remember that the character of a representation is the same as the trace, when written in a suitable matrix form (we can make sense of all these notions when the modules are all free)
- The dimensions of the representations (which is really a special case of the above, setting )
Important instances of such trace formulae (also called character formulae) are: