# Tagged Questions

This tag is for questions relating to cohomology groups and cochain complexes.

67 views

### Decomposition of cohomology group on $S^{n}$

If we have decomposition of cohomology group on $S^{n}$ it looks like $H^{n}(S^{n})=H^{n}(S^{n})_{+}\oplus H^{n}(S^{n})_{-}$, where $H^{n}(S^{n})_{\pm}$ cohomology of invariant or anti-invariant $n$ ...
208 views

### Relative de Rham Cohomology is Homotopy Invariant

Suppose $f:N\rightarrow M$ is a smooth map between two manifolds. Relative de Rham cohomology is defined through the complex $\Omega^{q}(f)=\Omega^{q}(M)\oplus\Omega^{q-1}(N)$ with ...
45 views

52 views

### Recommended textbooks for Hamiltonian group actions?

I am doing a project on Hamiltonian group actions on symplectic manifolds, and my supervisor was able to list several good books on Riemannian geometry to start me off, but he didn't know of any ...
74 views

### De Rham cohomology for $\mathbb{R^2}$

De Rham cohomology groups for $\mathbb{R^2}$. $H^{0}_{dR}(\mathbb{R}^{2})=\mathbb{R}$ since $Z^{0}(\mathbb{R}^{2})$ is the one dimensional space of locally constant functions on $\mathbb{R}^{2}$ and ...
45 views

### Prove that $H^{2}(S^{2})\neq 0$

Prove that $H^{2}(S^{2})\neq 0$ Suppose $\omega$ is an area form of $S^{2}$. An arbitrary two form on $S^{2}$ is closed as if $f(x,y)dx\wedge dy\in\Omega^{2}(S^{2})$ then $d(f(x,y)dx\wedge dy)=0$. I ...
87 views

### Total dimension of the cohomology of a homogeneous space (or of a graded Tor)

I want to calculate the cohomology ring with rational coefficients of a homogeneous space, but would be happy enough to know its total dimension. Let $G$ be a compact Lie group, $T$ a maximal torus, ...
50 views

### Intuition of higher push-forward constant sheaves.

Let us consider the higher phsh-forward sheaves $R^if_*\mathbb{R}$ of a map $f:X\rightarrow Y$ between two compact manifolds. We assume that the fibers has a constant dimension, say $n$. I think ...
34 views

146 views

### Thom–Gysin long exact sequence

I have read about the following exact sequence of cohomology: Let $V$ be an algebraic variety over $\mathbb{C}$. If $U\subset V$ is an open subvariety, then there is a long exact sequence for ...
84 views

### Long Exact Sequence Cohomology with Compact Support

I found in this topic or (question) a reason for my question, but i do not understand it. As this question is quite old, I hope someone else can help me. Assume $U$ is an open subset of a topological ...
43 views

202 views

### Universal coefficient theorem with ring coefficients

The universal coefficient theorem for cohomology reads: $$0 \to Ext(H_{n-1}(C), R) \to H^n(C;R) \to Hom(H_n(C), R) \to 0,$$ where $C$ is a chain complex of free abelian groups and $R$ is a ring. It ...
56 views

### Is there any simple example that $lim^1$ terms appear?

limit of cohomology does not behave well in the sense that there will be $lim^1$ term. Is there any simple example that $lim^1$ terms appear? Thanks!
116 views

### Cohomology groups of real projective space

My question concerns the cohomology groups $H^k(RP^n,\mathbb{Z}_2)$. We know that $H_k(RP^n,\mathbb{Z}_2) = \mathbb{Z}_2$ if $0 \leq k \leq n$ and is trivial otherwise. I looked up the solution and it ...
63 views