Questions tagged [de-rham-cohomology]

This a cohomology theory for smooth manifolds, where the (co)chain complex is defined by differential forms on a smooth manifold with differential given by exterior derivative. Then $n^{th}$ de Rham cohomology group is the quotient "closed $n$-forms/exact $n$-forms". Use in conjunction with other algebraic topology and differential geometry related tags if necessary.

Given a smooth $n$-dimensional manifold $M$, there is a cochain complex

$$0 \to \Omega^0(M) \xrightarrow{d} \Omega^1(M) \xrightarrow{d} \Omega^2(M) \xrightarrow{d} \dots \xrightarrow{d} \Omega^{n-1}(M) \xrightarrow{d} \Omega^n(M) \to 0$$

of differential forms with exterior derivative as the differential, called the de Rham complex (named after Georges de Rham). The cohomology of this complex is called de Rham cohomology: $$H^k_{\text{dR}}(M) = H^k(\Omega^{\bullet}(M), d)$$

These quotient abelian groups (in fact, real vector spaces) measures the extent to which closed $k$-forms to be exact. As a consequence of Hodge theorem if $M$ is compact, $H^k_{\text{dR}}(M)$ is a finite-dimensional vector space for every $k$. Also, by Poincaré lemma, every closed differential form is locally exact and therefore contractible spaces have trivial de Rham cohomology.

By Stokes' theorem, integration of differential forms along singular chains induces, for any compact smooth manifold $M,$ a bilinear pairing

$$H^k_{\text{Sing}}(M)\times H^k_{\text{dR}}(M)\to\mathbb{R}$$

de Rham's theorem asserts that this pairing induces an isomorphism between singular cohomology with real coefficients and de Rham cohomology by showing each vector space in above pairing is dual to one another. Moreover, it coincides with the Čech cohomology.

391 questions
2
votes
1 answer

Calculation of de Rham complex for real projective space

I've been studying de Rham cohomology and the use of the Mayer-Vietoris sequence to compute the de Rham complex for the real projective space $\mathbb P^d$. First, I divided $\mathbb P^d$ in two open sets: a set $U=\{[x^0,...,x^d]|x^d\neq0\}$ and a…
1
vote
0 answers

Homotopy equivalence and top deRham cohomology group of closed disk

On one hand, a closed disk $D^2$ is contractible so that it has the same cohomology as a point, so $H^2(D^2)=0$. On the other hand, $D^2$ is a compact orientable manifold (isn't it?). According to Top deRham cohomology group of a compact orientable…
jizhou
  • 309
0
votes
0 answers

How do I show the connecting homomorphism is well defined?

Is the connecting homomorphism $ d^* : H^k(\mathcal C) \to H^{k+1}(\mathcal A) $ well defined? $0 \to \mathcal A \to \mathcal B \to \mathcal C \to 0$ is short exact. $\mathcal A$, $ \mathcal C$ are cochain complexes, while $H^k(\mathcal X) =…
oxedex
  • 105
  • 6
0
votes
1 answer

Question about short exact sequence of differential complexes

$0—>A—>B—>C—>0$ is a short exact sequence of differential complexes. I wonder why for any element $c$ belonging to $C$, it is true that $dc=0$.
Midas Hu
  • 159
0
votes
3 answers

Terminology regarding deRham cohomology "group"

This is quite an elementary question, but I'm confused over terminology and whether $H_{dR}^k(M)$ is a module, or vector space (this confusion is exacerbated when it's often called the de Rham "group"). Since $\Omega^k(M)$ is the space of $(k,0)-$…
Nico
  • 1,493
0
votes
1 answer

First de Rham cohomology group of $\mathbb C\setminus \mathbb Z$

I'm wondering what $H^1 (\mathbb C\setminus \mathbb Z)$ could be. I have an idea but I did not succeeded in proving it properly. I think $$H^1 (\mathbb C\setminus \mathbb Z )\simeq \mathbb R \langle \mathbb Z \rangle=\{\displaystyle \sum_{i=0}^m…
Blumer
  • 600
  • 2
  • 12