# Easier ways to compute homology/cohomology by adding extra structure

Suppose $$X$$ is a topological space and I want to talk about its “homology”.

There is this notion of singular homology obtained from singular chain complex. This is not very easy to compute.

Suppose we assume that there is an extra structure on the topological space $$X$$, namely the structure of a CW complex, then, we can talk about the notion of cellular chain complex and from there the notion of cellular homology. This is easier than computing singular homology.

Suppose further that this topological space $$X$$ (that we assumed to have CW structure) has an extra structure of a simplicial complex, then, we can talk about the notion of simplicial chain complex and then the notion of simplicial homology. This is easier to compute than cellular homology.

Then it is standard result that any two homology groups coming from different approaches coincide when both of them makes sense.

Question : Is there an extra structure (non trivial) I can add on a space having simplicial structure that makes it easier to compute homology in terms of chain complex simpler than simplicial chain complex?

Same is the situation with cohomology. Suppose I have a topological space $$X$$, I can talk about its singular cochain complex and the corresponding singular cohomology.

Suppose that this topological space $$X$$ has structure of a manifold, then, we can talk about the cochain complex of differential forms and use it to compute the cohomology of the topological space $$X$$. It is a standard result that, with correct coefficients, singular cohomology is same as deRham cohomology (deRham’s theorem).

Question : Is there an extra structure that I can add on a manifold that gives a simpler cochain complex than cochain complex of differential forms that gives an easier way to compute cohomology of the manifold? For example, suppose I fix a connection on the tangent bundle $$TM\rightarrow M$$ of the manifold $$M$$ (or a Riemannian metric on the manifold $$M$$), can I produce a simpler cochain complex using the connection that computes cohomology easily?

If I am trying to make sense of notion of cohomology theory fixing a connection on the tangent bundle $$TM\rightarrow M$$ (a metric on the manifold $$M$$) then it is reasonable to expect that this notion should not be dependent on the choice of connection I have fixed. Does assuming that there exists a flat connection on the tangent bundle suggest some obvious cochain complex?

Suppose I ask that the manifold $$M$$ has an extra structure of a Lie group then there is a simpler cochain complex that computes the cohomology of the manifold easier than deRham cohomology. This is too much to ask, I am looking for results that comes in between deRham cohomology of manifold and strictly lesser structure than the notion of Lie groups.

Any references are welcome.

Edit : May be it is clear from the way I have written but by "an extra structure on manifold $$M$$", I do not mean for example, an action of a Lie group $$G$$ on the manifold $$M$$, that gives the equivariant cohomology $$H^k((EG\times M)/G)$$.

Edit : I am really interested in knowing the answer for what I asked above. Any pointers to references are also welcome.

• On a manifold, I might have a Morse function procuding the Morse chain complex. On a simplicial complex I might have a discrete Morse function, which can drastically simplify the simplicial chain complex. – Lennart Meier Oct 14 '19 at 6:27
• @LennartMeier I do not know much about Morse function.. Is it reasonable to ask a manifold has a Morse function, I mean does it happens quite often that a manifold I choose has a Morse function.. please see if you can add it as an answer.. can you suggest some references, I am already seeing Wikipedia page.. – Praphulla Koushik Oct 14 '19 at 6:35
• Please let me know reason for downvote.. what is the use of that downvote if it does not reach me anything – Praphulla Koushik Oct 15 '19 at 2:32
• Read reach as teach – Praphulla Koushik Oct 15 '19 at 3:24
• Often times computing homology via a CW-structure, triangulation or a Morse function are equally difficult. For example, with triangulations your attaching maps are simpler, but you have far more of them than with a CW-complex. Is one "easier" than the other? This is analogous to the trade-off between runtime and memory usage in software optimization. A slower algorithm that uses less memory is best if you have little memory, but a fast algorithm that's a memory hog could be better if you have access to unlimited memory. – Ryan Budney Oct 17 '19 at 5:46