2
$\begingroup$

We want to calculate $H^{k}_{S^1}(S^2)$. We can choose two open sets $U=S^{2} \setminus p_{+}$ and $V = S^{2} \setminus p_{-}$, where $p_{+}$ and $p_{-}$ are the north and south pole of $S^{2}$. They are fixed points of the action ($S^{1}$-invariant).
So $U \cap V$ is homotopic to $S^{1} \hookrightarrow S^{2}$ on which $S^{1}$ acts freely. So $$ H^{*}_{S^{1}}(U \cap V) \simeq H^{*}_{S^{1}}(S^{1}) \simeq H^{*}\left(\frac{S^{1}}{S^{1}} \right) \simeq H^{*}(pt) .$$ Moreover $$ H^{*}_{S^{1}}(U) \simeq H^{*}_{S^{1}}(p_{-}) \simeq H^{*}(BS^{1}) = \mathbb{R}[x_{-}] $$ where $x_{-}$ has degree $2$ end $H^{*}_{S^{1}}(V)= \mathbb{R}[x_{+}]$.

So when $k>1$ $$ H^{*}_{S^{1}}(S^{2}) \simeq \mathbb{R}[x_{+}] \oplus \mathbb{R}[x_{+}] $$ and if $k=1$ or $k=0$?

$\endgroup$
3
  • $\begingroup$ Presumably the action is rotation on the north-south axis. $\endgroup$ Commented Jan 20, 2013 at 0:59
  • $\begingroup$ Up to conjugacy the unique maximal compact subgroup of $Diff(S^2)$ is $SO(3)$, within which $S^1$ is a maximal torus, so yes! $\endgroup$ Commented Jan 20, 2013 at 21:41
  • $\begingroup$ Well, up to multiple. $\endgroup$ Commented Jan 20, 2013 at 21:41

1 Answer 1

2
$\begingroup$

This is fine for $\mathbb Z$-coefficients; you don't need to go to $\mathbb R$.

The part of the sequence you need is $$0\to H_{S^1}^0(S^2) \to H_{S^1}^0(U) \oplus H_{S^1}^0(V) \to H_{S^1}^0(U\cap V) \to H_{S^1}^1(S^2) \to H_{S^1}^1(U) \oplus H_{S^1}^1(V) $$ which you worked out to $$ 0\to H_{S^1}^0(S^2) \to {\mathbb Z}^2 \to {\mathbb Z} \to H_{S^1}^1(S^2) \to 0 \oplus 0 $$ so it is enough to notice that the restriction map $H_{S^1}^0(V) \to H_{S^1}^0(U\cap V)$, aka $H^0({\mathbb CP}^{\infty}) \to H^0(pt)$, is onto. Then $H^0_{S^1}(S^2) = \mathbb Z$ and $H^1 = 0$.

$\endgroup$
1
  • $\begingroup$ But if I take $\mathbb{R}$ it is still true... Why $\mathbb{Z}^{2}$? $\endgroup$
    – MiliskWall
    Commented Jan 20, 2013 at 1:07

You must log in to answer this question.

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