- #1
- 4,807
- 32
Compute the fundamental group of the space
[tex]X:=((S^1\times S^1) \sqcup (S^1\times S^1))/\sim[/tex]
where ~ is the equivalence relation
[tex] (e^{it},e^{it}) \sim (1,e^{2it})[/tex]
meaning the diagonal of the first torus is identified and wrapped around twice the second generating circles.
Call T_A the first torus and T_B the second one. I tried using Van Kampen with U=[T_A u (nbhd of the 2nd generating circle of T_B)]/~ and V = [(nbhd of the diagonal in T_A) u T_B]/~.
We have that U n V had the homotopy type of a cicle and V has the homotopy type of a torus, but U has the homotopy type of T_A/~ i.e. a torus with the first half of its diagonal identified with the second half. What is the pi_1 of that? :(
Anyone sees a way to compute pi_1(X) by Van Kampen or otherwise?
[tex]X:=((S^1\times S^1) \sqcup (S^1\times S^1))/\sim[/tex]
where ~ is the equivalence relation
[tex] (e^{it},e^{it}) \sim (1,e^{2it})[/tex]
meaning the diagonal of the first torus is identified and wrapped around twice the second generating circles.
Call T_A the first torus and T_B the second one. I tried using Van Kampen with U=[T_A u (nbhd of the 2nd generating circle of T_B)]/~ and V = [(nbhd of the diagonal in T_A) u T_B]/~.
We have that U n V had the homotopy type of a cicle and V has the homotopy type of a torus, but U has the homotopy type of T_A/~ i.e. a torus with the first half of its diagonal identified with the second half. What is the pi_1 of that? :(
Anyone sees a way to compute pi_1(X) by Van Kampen or otherwise?