3
$\begingroup$

Let $S^2=\{(x,y,z)\in \mathbb{R}^3|x^2+y^2+z^2=1\}$ and $S^1=\{(s,t)\in \mathbb{R}^2|s^2+t^2=1\}$. Suppose that $\mathbb{Z}/2\mathbb{Z}$ acts on $S^2\times S^1$ in such a way that the generator of $\mathbb{Z}/2\mathbb{Z}$ maps $$ (x,y,z)\mapsto(-x,-y,-z) \ \ \ and \ \ \ (s,t)\mapsto (-s,t) $$ (Note that $t$ is invariant). I would like to know what the free quotient space $(S^2\times S^1)/\mathbb{Z}/2\mathbb{Z}$ looks like. Since the action preserves orientation of $S^2\times S^1$, it should be oriented 3-manifold.

1 Answers 1

-1

$S^2/\mathbb{Z}_2 \simeq \mathbb{R}P^2$ this is the definition of projective space.

$S^1/\mathbb{Z}_2 \simeq [0,1]$. You fold the circle, it is homeomorphic to a line segment.

Your resulting space is $(S^2 \times S^1)/\mathbb{Z}_2 \simeq \mathbb{R}P^2 \times [0,1]$.

This 3-manifold is not oriented since $\vec{x} \mapsto -\vec{x}$ preserves orientation of $S^2$.

  • 0
    Why do you assume that $(A\times B)/C \cong (A/C)\times(B/C)$?2012-10-11
  • 1
    (Specifically (since my earlier comment expired), the original question makes it clear that the two actions aren't acting independently; the poster wants their spaced 'chopped in half', not chopped in quarters.)2012-10-11
  • 1
    Thanks for the answer and comments. I don't think the answer is not the product of the quotients. I think that the quotient 3-fold should be oriented without boundary.2012-10-11