I am trying to do this calculus and I have a guest, but I don't if it is right:

Supposing $n >k$ then:

If $r=0$ then

$$H_{dR}^0(S^k\times S^n) = \mathbb{R}$$

$$H_{dR}^r(S^k\times S^n) = 0,$$ if $0 <r<k.$

If $r=k$ then $$H_{dR}^k(S^k\times S^n)= \mathbb{R}$$

If $r >k$ and $r < n$ then

$$H_{dR}^r(S^k\times S^n) = 0$$

If $r=n$

$$H_{dR}^n(S^k\times S^n) = \mathbb{R}$$

Is this right???


  • 1
    $\begingroup$ What a complicated way of saying «$H^r(S^k\times S^n)$ is isomorphic to $\mathbb R$ if $r\in\{0, k,n\}$ and zero otherwise»! $\endgroup$ Jun 1, 2016 at 16:00
  • 1
    $\begingroup$ In any case, all the groups you wrote are correct. There is one more $r$ for which $H^r$ is nonzero, though. $\endgroup$ Jun 1, 2016 at 16:01
  • $\begingroup$ @MarianoSuárez-Alvarez, $r=k+n?$ $\endgroup$ Jun 1, 2016 at 16:03
  • $\begingroup$ Indeed. ${}{}{}$ $\endgroup$ Jun 1, 2016 at 16:06
  • $\begingroup$ @MarianoSuárez-Alvarez, thanks a lot! $\endgroup$ Jun 1, 2016 at 16:11

1 Answer 1


Intuitively do you have closed forms that are not exact?

Certainly the dimensions must be $0, n, k , n+K$. For example, the volume (or surface area) form in each of those dimensions.

To prove there are no other examples requires Mayer Vietoris.


You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .