1
$\begingroup$

enter image description here

This is well known Seifert-van Kampen theorem for which I am asking any help in order to make a clear picture of it.

Now, in most of my "first" exercises I'm working in such a way that I am usually able to find "only" two such open, path-connected subsets of $X$, usually denoted by $U$ and $V$.

I am given a space $X$ to be $X:=\mathbb D^2/\sim$ where $\sim$ stands as a relation such that $x\sim ix$ for each $x\in\mathbb S^1$.

My idea is to take for one set a small nbh. of $0$ and for another the complement of zero.

Okay, for the first case I know that the image of the generator of $\pi_1$ of the intersection is trivial since the other space is contractible to a point,

but what confuses me is how can I "read" what is the image of this generator in the other

and, at the end, how to conclude what my final fundamental group is?

$\endgroup$
  • $\begingroup$ I think it is helpful to look at the square model and see how the identification looks like in this case all four sides are identified because multiplication by $i$ rotates by $90$ degrees also you can try and compute fundamental group of torus using this same idea $\endgroup$ – happymath Mar 17 '17 at 18:26
  • 1
    $\begingroup$ Sorry, to clarify, your $S^1$ is the boundary of your disk $D^2$, right? $\endgroup$ – Kenny Wong Mar 17 '17 at 18:31
0
$\begingroup$

Can I suggest you view your topological space in a slightly different way?

Take a unit circle, $$S^1 = \{ w \in \mathbb C : |w| = 1 \}.$$ Also take a closed unit disk, $$D^2 = \{ z \in \mathbb C : |z| \leq 1 \}.$$ Glue the boundary circle $\partial D^2$ of the disk $D^2$ to the circle $S^1$ by identifying each $z \in \partial D^2$ with the point $w = z^4 \in S^1$.

Thus $$ X = (S^1 \sqcup D^2)/\sim$$ where $$w \in S^1 \ \sim \ z \in D^2 \ \ \iff \ \ |z| = 1 { \rm \ and \ } w = z^4.$$

Can you convince yourself that this is the same space as what you described?

First, I recommend that we try to guess the fundamental group of this space using only our visual intuition! The idea is very simple: If we have a loop that wraps once, twice or three times around the $S^1$, then the loop is non-trivial. But if we have a loop that wraps four times around the $S^1$, then the loop can "slip off" into the interior of the disk $D^2$, and contract. So the fundamental group should be $\mathbb Z_4$.

Now, let's prove this intuition is correct using Van Kampen. Take $U$ to be an open neighbourhood of the $S^1$, $$ U = \{ z \in \mathbb C : 1-\epsilon_1 < |z| \leq 1 \}.$$ Take $V$ to be the interior of the $D^2$, $$ V = \{ z \in \mathbb C : |z| < 1-\epsilon_2 \},$$ where $\epsilon_2 < \epsilon_1$.

So what does the overlap region $U \cap V$ look like? In $z$ coordinates, we can write this overlap region as $$ U \cap V = \{ z \in \mathbb C : 1-\epsilon_1 < |z| < 1-\epsilon_2 \}.$$ This is an annulus. It shouldn't be hard to see that the fundamental group of $U \cap V$ is generated by the loop $\gamma_{U \cap V}$, defined by $$ z = r e^{2\pi i t}, \ \ \ \ \ t \in [0,1],$$ where $r$ is any radius between $1-\epsilon_1$ and $ 1-\epsilon_2$.

Now let us think about $\gamma_{U \cap V}$ as a loop in $U$ (rather than only as a loop in $U \cap V$). By expanding it to radius $1$, you can see that $\gamma_{U \cap V}$ is homotopic to the loop $$ z = e^{2\pi i t}, \ \ \ \ \ t \in [0,1]. $$ Since we identify $w \in S^1$ with $z \in \partial D^2$ when $w = z^4$, this loop can also be written as $$ w = e^{8\pi i t}, \ \ \ \ \ t \in [0,1]. $$

Since $U$ deformation retracts onto the circle $S^1$, the fundamental group of $U$ is generated by the loop $\gamma_U$, defined by $$ w = e^{2\pi i t}, \ \ \ \ \ t \in [0,1].$$

Thus, $\gamma_{U \cap V} \sim 4 \gamma_{U}$ in $\pi_1(U)$.

Meanwhile $V$ is a open disk, which has trivial fundamental group. So $\gamma_{U \cap V} \sim 0$ in $\pi_1(V)$.

Finally, Van Kampen tells you that $\pi_1(X)$ is generated by $\gamma_U$, except that the element $4\gamma_U$ should be identified with the element $0$. This group is precisely $\mathbb Z_4$.

$\endgroup$
  • $\begingroup$ Thanks, I also understand the identifying part where, for example, all four points (1,0), (0,1), (-1,0), (0,-1) are identified, it's just hard to imagine this "wrapping" part, how do I conclude that one turn in the intersection corresponds to 4 turns in the fundamental group of $U$.. $\endgroup$ – edward_scissorhands Mar 17 '17 at 18:36
  • 1
    $\begingroup$ That's a good question. Give me a few moments to think of a good way to explain this... $\endgroup$ – Kenny Wong Mar 17 '17 at 18:38
  • $\begingroup$ Okay, but what do you precisely mean by $w$ coordinate and how does it become $e^{8\pi it}$ $\endgroup$ – edward_scissorhands Mar 17 '17 at 19:14
  • 1
    $\begingroup$ The coordinates should be clearer now - see the first few lines. $\endgroup$ – Kenny Wong Mar 17 '17 at 19:20
  • $\begingroup$ Yes, they are. Thanks a lot! $\endgroup$ – edward_scissorhands Mar 17 '17 at 19:31
0
$\begingroup$

As often happens with applications of Van Kampen's Theorem, you'll need to carry out some intermediate steps to settle this. I suggest the following two steps.

First, you'll need to understand that there is a deformation retraction from the complement of zero in $X$ and the subset of $X$ represented as $\mathbb{S}^1 / \sim$. This let's you set up an isomorphism between their fundamental groups.

Second, you'll need to figure out the fundamental group of $\mathbb{S}^1 / \sim$.

Combining these, you will obtain the understanding of the fundamental group of the complement of zero that you need to continue the problem.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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