# Tagged Questions

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

760 views

### how to compute the de Rham cohomology of the punctured plane just by Calculus?

I have a classmate learning algebra.He ask me how to compute the de Rham cohomology of the punctured plane $\mathbb{R}^2\setminus\{0\}$ by an elementary way,without homotopy type,without ...
128 views

### Top de Rham cohomology

I just realized that I never really understood why $H_{dR}^n(M, \mathbb{R}) = \mathbb{R}$ if $M$ is compact and $H_{dR}^n(M, \mathbb{R}) = \{0\}$ if $M$ is not compact (provided that's true?). I'm ...
75 views

### de Rham cohomology of $\mathbb{R}P^n$ via action by $SO(m+1)$

In lecture, my teacher proved the theorem that given a smooth $G$-action by a compact, connected Lie group on a manifold $M$, the de Rham cohomology of the $G$-invariant differential forms $H^p_G(M)$ ...
66 views

26 views

### Problem with cohomology (II)

Let $G$ be a group and $K$ be subgroup of $G$, Let $A$ be $G$ module. Let $X=\{X_n\}$ be free resolution of $\mathbb{Z}$. Let $\delta$ represents collectively the homomorphism induced in Hom sequence ...
46 views

75 views

### simple question about cohomology group

Let's consider compact 4-manifold $M^{4}$ and point $P \in M$. Then (use Mayer-Vietoris) inclusion $i\colon M\setminus P \to M$ induce isomorphism $i^{*}\colon H^2(M) \to H^2(M\setminus P)$. Let's ...
57 views

### Differential forms as functionals on curves

Please give me a reference to a book or lecture notes where the following stuff is studied. Let $M$ be a Riemann surface with boundary $\partial M$ (but not necessarily, any smooth $n$-dimensional ...
50 views

### Definition of the relative de-Rham cohomology and its generalization

Let $M$ be a smooth manifold and $N$ be its smooth submanifold. We say that two closed forms $\omega_1$ and $\omega_2 \in \Lambda^k(M)$ are equivalent if their difference is an exact form from ...
79 views

### Cohomological ($p$-)dimension of a pro-$p$ group

I have a question concerning the cohomological dimension and $p$-dimension of a pro-$p$-group. Let's first recall the definitions of that The cohomological dimension $cd \ G$ of a pro-finite group ...
37 views

### Do the cyclic or Hochschild homologies satisfy the addition axiom of Eilenberg Steenrod?

Do the cyclic or Hochschild homologies satisfy the addition axiom of ES? If so please provide a reference or proof (reference is preferable).
47 views

### Relative de Rahm cohomology computation for two disjoint circles embedded in R^2

Consider a submanifold $Y$ of $\mathbb{R}^2$ formed by two disjoint embedded copies of $S^1.$ Compute $H^{\bullet}_{dR}(\mathbb{R}^2,Y).$ In this case the long exact sequence splits, and we can ...
86 views

### Finite generation of Tate cohomology groups

Let $G$ be a finite group, and let $F$ be a complete resolution for $G$. In other words, $F$ is an acyclic chain complex of projective $\mathbb{Z}G$-modules together with a map ...
55 views

73 views

### Non abelian $H^1(G,A)$ problem.

Let $G,A$ be groups. We do not assume that $A$ is abelian. For $f,g\in Z^1(G,A)$, we write $f\backsim g$ if there is an $a\in A$ such that $g(x)=a^{-1}f(x)\ ^xa$ (we use the pre-exponential notation ...
52 views

### confused, Universal Coefficient Theorem (cohomology)

This is bad, but I was applying the UCT to a small complex and didn't seem to work. Namely the chain complex $0 \rightarrow \mathbb{Z} \rightarrow \mathbb{Z} \rightarrow 0$ where the nonzero map is, ...
96 views

### Sufficient condition for a direct limit of abelian groups to be infinitely generated

I have the following setup. The CW-complexes $\Gamma_n$ are equipped with maps $\gamma_n\colon\Gamma_{n+1}\rightarrow\Gamma_{n}$ and it is known that the rank of their first cohomology groups is ...
427 views

### Long exact sequence for cohomology with compact supports

Related to my previous question here. Let $X$ be a topological space and let $H_c^{\bullet}(X)$ denote its singular cohomology with compact supports (rational coefficients). Let $U$ be an open subset ...
I am trying to understand the definition of (singular) cohomology with compact supports. My understanding of singular cohomology goes like this. Let $X$ be a topological space. Define the singular ...
In line 5, Page 394 of Allen Hatcher's book Algebraic Topology, it is claimed that $H^n(K(G,n);G)=Hom(H_n(K(G,n),\mathbb{Z});G)$ for any abelian group $G$. How to get it? I have tried but cannot ...