Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
A branch of algebraic topology concerning the study of cocycles and coboundaries. It is in some sense a dual theory to homology theory. This tag can be further specialized by using it in conjunction with the tags group-cohomology, etale-cohomology, sheaf-cohomology, galois-cohomology, lie-algebra-cohomology, motivic-cohomology, equivariant-cohomology, ...
31
votes
2
answers
2k
views
A manifold is a homotopy type and _what_ extra structure?
The takeaway is this: I've come to believe that surfaces are essentially homotopy types with extra structure on cohomology and homology that comes from the manifold structure. … What is really relevant here is the homotopy type of the boundary inclusion $\partial M \hookrightarrow M$, and the corresponding relative cohomology. …
23
votes
A manifold is a homotopy type and _what_ extra structure?
Igor is giving a good reference to the topic. For completeness, my education, and satisfaction of other reader's laziness, I'm going to give a rough outline here.
A Poincaré complex is, very similar …
5
votes
0
answers
95
views
Pull back group cohomology onto handle decomposition
in the Dijkgraaf-Witten invariant uses the following ingredients:
An oriented, (assumed here to be smooth) manifold $M^n$
A finite group $G$ (and a field, chosen to be $\mathbb{C}$ here)
An $n$-th cohomology … We can then abstractly construct the cohomology class $c^* \phi^* ([\omega]) \in H^n(M, U(1))$.
I'm interested describing this cohomology class very concretely. …
4
votes
0
answers
273
views
Cap product for (co)homology from handle decompositions/Kirby diagrams
It is known how to compute the cup product $\smile\,\colon H^i(M) \otimes H^j(M) \to H^{i+j}(M)$ for the Morse cohomology $H^*$ of a smooth manifold $M$. …
13
votes
1
answer
638
views
A cohomology theory for fusion categories
Ideally, the cohomology theory could just be formulated given the based fusion ring. … I.e. is such a cohomology related to the cohomology of the Brauer-Picard groupoid? In which way is its "tangent cohomology" the Davydov-Yetter cohomology (as discussed here? …