10
votes
3answers
341 views

Take contraction wrt a vector field twice and define kernel mod image. Does that give anything interesting?

I apologize in advance if this question is too vague for mathoverflow. My main aim is to get some references for a concept. First, we make the following observation: let $X: M \rightarrow TM $ be a ...
1
vote
2answers
181 views

The cohomology groups of $\Omega U(n)$

Let $\Omega U(n)$ be the loop space of $U(n)$. Is it true that the cohomology groups $H^*(\Omega U(n); \mathbb{Z})$ are torsion-free? How can one calculate these groups?
1
vote
1answer
148 views

What are finite groups $H$ such that $H^n(H,\mathbb{Q/Z}) \cong H_n(G,\mathbb{Z})$?

Let $G$ be a finite group and $G^{\prime}$ be its commutator subgroup. Let $\mathbb{Z}$ and $\mathbb{Q}$ denote the integers and rationals. $\mathbb{Z}$ and $\mathbb{Q/Z}$ treated as trivial ...
8
votes
1answer
211 views

worked out examples in borel-moore homology

I'm trying to learn about BM homology. I've found a few references and they are all quite abstract and high-powered. I am actually familiar with derived categories and sheaves so I don't mind thinking ...
6
votes
6answers
1k views

reference for (co)homology theories

Hi everyone, Every now and then, I find myself dealing with such or such (co)homology theory, and I'm frustrated I don't feel more comfortable around it. I was wondering if someone could recommend a ...
1
vote
2answers
409 views

Hyper(co)homology of exact (acyclic) complexes

Let $\mathcal{A}$ be an abelican category with enough injectives, let $K^\bullet \in Kom^+(\mathcal{A})$ be a complex, where $Kom^+(\mathcal{A})$ is the category of cochain complexes over ...
6
votes
1answer
281 views

Torsion in $H^2(X,\mathbb{Z})$ induced by torsion in $H_1(X,\mathbb{Z})$

Let $X$ be a topological space. The universal coefficient theorem says that there is a short exact sequence $$ 0\rightarrow Ext(H_{k-1}(X,\mathbb{Z}),\mathbb{Z})\rightarrow ...
11
votes
1answer
912 views

Is it true that all real projective space $RP^n$ can not be smoothly embedded in $R^{n+1}$ for n >1

So first for n even, $RP^n$ is not orientable, hence can not be embedded in $\mathbb{R}^{n+1}$. For odd n, $RP^{n}$ is orientable, hence the normal bundle is trivial. Now using stiefel-Whitney ...
1
vote
1answer
265 views

Coboundary map on the cochain complex of abelian cosimplicial groups?

Maybe I'm looking at the wrong places, but I can't find a definition of the coboundary map on the cochain complex of abelian cosimplicial groups. What I have in mind is something similar to the ...
1
vote
0answers
257 views

connection between non-orientable manifolds and torsion in 1D (co) homology

I'm interested in understanding the probability that given a prime $p$, $p$ divides the order of the torsional part of $H^k(X,Z)$, where $X$ is a finite simplicial complex. Lets say you have a ...
1
vote
1answer
660 views

Is there a connection between the theory of motives and homotopy theory?

I have read that motives were designed to be the common part of the many homology theories, a way of unifying them. But as I understand it: homotopy is closely related to homology, there is only 1 ...
15
votes
2answers
1k views

Is there a map of spectra implementing the Thom isomorphism?

A well known theorem in algebraic topology relates the (co)homology of the Thom space $X^\mu$ of a orientable vector bundle $\mu$ of dimension $n$ over a space $X$ to the (co)homology of $X$ itself: ...
7
votes
2answers
775 views

Are the homology and cohomology Serre spectral sequences dual to each other?

If we use homology and cohomology over a field $k$, if a space has homology and cohomology groups of finite type in each degree, then $H_\ast(X;k)$ is dual to $H^\ast(X;k)$ using the universal ...
5
votes
1answer
1k views

quasi-isomorphism

Is the distinction between quasi-isomorphism and `weak homotopy equivalence' ONLY that the first means inducing an isomorphism in homology and the second to an isomorphism of homotopy groups?
3
votes
3answers
928 views

When are the homology and cohomology Hopf algebras of topological groups equal?

Suppose we have a topological group $G$, then the multiplication map $\mu$ and the diagonal map $\Delta$ provide the cohomology $H^\ast(G;R)$ (with Pontryagin coproduct and cup coproduct) and homology ...
4
votes
2answers
2k views

Singular homology of a graph.

By a graph I will understand an undirected graph without multiple edges or loops. By a morphism of graphs I will understand a map $f$ between the underlying sets of vertices, such that if $x$ and $y$ ...
1
vote
1answer
308 views

When is there a deRham duality relation between the fundamental class and a top form.?

Hi, everyone: I am reading a small expository paper on properties of CP2, in which the intersection form is defined as an integral of the wedge of two forms $w_1$, $w_2$, and these forms ...
33
votes
11answers
5k views

Why torsion is important in (co)homology ?

I've once been told that "torsion in homology and cohomology is regarded by topologists as a very deep and important phenomenon". I presume an analogous statement could be said in the context of ...
4
votes
2answers
1k views

De Rham homology

Suppose M is an arbitrary smooth manifold and D is its bundle of 1-densities. On the category of finite-dimensional vector bundles over M and linear differential operators between them there is a ...
7
votes
1answer
431 views

Is it always possible to compute the Betti numbers of a nice space with a well-chosen Lefschetz zeta function?

Let $X$ be a smooth projective variety. If I've understood correctly, the Weil conjectures imply that it is possible to compute the Betti numbers of $X(\mathbb{C})$ by computing the local zeta ...
6
votes
4answers
379 views

Examples of the varying strengths of topological invariants

In my first algebraic topology class, I remember being told that the simplest reason for homology was to distinguish spaces. For example, if is X=circle and a Y= wedge of a circle and a 2-sphere then ...
3
votes
1answer
240 views

disagreement between two definitions of the singular boundary map

Hi everyone, I have a little problem with the definition of singular boundary map in singular homology theory. It appears to be some disagreement between two authors. The first one is Hatcher in his ...
14
votes
3answers
979 views

Cohomology of associative algebras

Let $A$ be an associative algebra over a commutative ring $k$. I've read statements saying that Hochschild (co)homology is the "right" notion of (co)homology for associative algebras. When $A$ is ...
30
votes
5answers
4k views

What is a cohomology theory (seriously)?

This question has bugged me for a long time. Is there a unifying concept behind everything that is called a "cohomology theory"? I know that there exist generalized cohomology theories, Weil ...
6
votes
2answers
380 views

Can one calculate the (co)homology of the loopspace of a Lie group from its Lie algebra?

Compact connected simply-connected Lie groups have so much structure that you can calculate their cohomology from their Lie algebras using Lie algebra cohomology (certain Ext-groups) and similarly ...
22
votes
10answers
6k views

What is (co)homology, and how does a beginner gain intuition about it?

This question comes along with a lot of associated sub-questions, most of which would probably be answered by a sufficiently good introductory text. So a perfectly acceptable answer to this question ...