Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Why I can look at $H^{*}(S^{3})$ as the exterior algebra $\Lambda(x_{3})$? Where $x_{3} \in H^{3}(S^{3})$ is a cohomology class (I suppose...).

share|cite|improve this question
What makes you think you can? – Michael Albanese Feb 3 '13 at 10:48
@MichaelAlbanese I red that $SU(2) \simeq S^{3}$ (and I am agree), but I don't understand why $H^{*}(SU(2)) \simeq \Lambda(x_{3})$, where $x_{3} \in H^{3}(S^{3})$... – ArthurStuart Feb 3 '13 at 11:21
@MichaelAlbanese… Page 4 first row... – ArthurStuart Feb 3 '13 at 11:41
up vote 1 down vote accepted

I assume you are working over a fixed field $k$, to simplify the matters.

By the universal property of exterior algebra (see wikipedia) there is a unique homomorphism of algebras $\tilde{i}: \Lambda(x_{3}) \rightarrow H^{*}(S^{3})$ induced by the inclusion $i: span(x_{3}) \rightarrow H^{*}(S^{3})$, because $x_{3} ^{2} = 0$ in $H^{*}(S^{3})$.

This is an isomorphism by dimension count. Since $dim _{k}(\Lambda(x _{3})) = dim _{k}(H^{*}(S^{3})) = 2$, it is enough to show that $\tilde{i}$ is surjective. Notice that $1 \in H^{0}(S^{3})$ is in the image of $\tilde{i}$, because it is an algebra homomorphism and $x_{3} \in H^{3}(S^{3})$ is in the image by construction. These together span $H^{*}(S^{3})$, ending the argument. (This works for all positive-dimensional spheres, there is nothing special about $S^{3}$).

share|cite|improve this answer
So can I use that to calculate the cohomology of the bundle $U(n-1) \hookrightarrow U(n) \rightarrow S^{2n-1}$? – ArthurStuart Feb 3 '13 at 12:43
Pstagowski But what is in this example $x_{3}$ and $\Lambda(x_{3})$? And why $x_{3}^{2}=0$? – ArthurStuart Feb 3 '13 at 13:58
I used your notation, so $x_3$ is a non-zero cohomology class in $H^{3}(S^{3})$. It you are working over a field, it must generate it, so $\Lambda(x_{3}) = \Lambda(span(x_{3})) = \Lambda(H^{3}(S^{3}))$. We have $x_{3}^{2} = 0$, because it has degree $6$, but $H^{6}(S^{3}) = 0$. About the computation of the cohomology of the bundle - I guess you can work that out, but I know of no easy way to compute cohomology of a fibre bundle. You can google for Serre spectral sequence. – Piotr Pstrągowski Feb 4 '13 at 11:08

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.