Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I'm studying the following problem: Let

  • $({\mathbb S}^N,\theta)$ be the $n$-sphere (in ${\mathbb R}^{N+1}$) endowed with the antipodal action $\theta:(x_0,\ldots,x_N)\to (-x_0,\ldots,-x_N)$;

  • $({\mathbb S}^1,\tau)$ the $1$-sphere endowed with the antipodal action $\tau:(y_0,y_1)\to (y_0,-y_1)$.

On the cartesian product ${\mathbb S}^N\times {\mathbb S}^1$ I consider the diagonal action ${\rm T}:=\theta\times\tau$ in order to have a space with involution $({\mathbb S}^N\times {\mathbb S}^1,{\rm T})$.

I'm interesting in the orbit space $$ Q^1_N\;:=\;{\mathbb S}^N\times {\mathbb S}^1\;/\;\sim_{\rm T}\;. $$ I read in some papers that $$ Q^1_N\simeq {\mathbb R}P^{N+1}\;\sharp\; {\mathbb R}P^{N+1}\;,\qquad\; Q^1_\infty\simeq {\mathbb R}P^{\infty}\;\vee\; {\mathbb R}P^{\infty}\;,\qquad\quad {\rm (a)} $$ where in the first case $\sharp$ denotes the connected sum and in the case $N=\infty$ the symbol $\vee$ is the sum.

[1] Can someone explain me the proof of the identifications (a)?

Now, let me consider the torus ${\mathbb T}^d:={\mathbb S}^1\times\ldots\times{\mathbb S}^1$ with the (diagonal) involution $\tau\times\ldots\times\tau$ and the product space ${\mathbb S}^N\times {\mathbb T}^d$ with involution ${\rm T}:=\theta\times \tau\times\ldots\times\tau$. As before let $$ Q^d_N\;:=\;{\mathbb S}^N\times {\mathbb S}^1\;/\;\sim_{\rm T} $$ be the orbit space.

[2] Is it possible to have a description for $Q^d_N$ of the type of the one in equation (a) when $d>1$? I am particularly interested to the cases $d=2,3$ and $N=\infty$.

Unfortunately I do not have much experience in topology and I really need these information to finish an important job. Thanks in advance, Giuseppe

share|improve this question
add comment

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.