9
$\begingroup$

I just recently know that there are topology with finite nontrivial fundamental group (homotopy curve). I just can't wrap my mind around it at all.

If you have a curve, and somehow cannot shrunk it to null, then there must be a hole blocking the curve from shrinking. And since there is a hole there, you can just wrap the curve around the hole as many times as you like, producing more non-homotopic curve. So the fundamental group, if nontrivial, must contains a copy of $\mathbb{Z}$, right?

Apparently that reasoning do not work, but I cannot wrap my mind about what went wrong here. So if it's not a hole that's blocking the shrinking, then what, exactly is that? What's a concrete way to visualize such thing?

Thank you for your help.

$\endgroup$
  • $\begingroup$ Related: An intuitive idea about fundamental group of $\mathbb{RP}^2$ $\endgroup$ – Grigory M Jan 6 '14 at 23:33
  • $\begingroup$ Even more related: Intuition on finite homotopy groups @ MO $\endgroup$ – Grigory M Jan 6 '14 at 23:35
  • $\begingroup$ Think to $\mathbb{P}^2$ as the quotient of a square and look at the equivalence relation on the boundary of this square... $\endgroup$ – Sabino Di Trani Jan 6 '14 at 23:35
  • 4
    $\begingroup$ The point is that you cannot contract a loop while keeping the endpoints fixed. But if you glue a second loop onto the first loop, then the former end point of the first loop is now in the middle of the loop and can be moved away from the base point. So you have won a certain amount of freedom. $\endgroup$ – Stefan Hamcke Jan 6 '14 at 23:42
  • $\begingroup$ @StefanHamcke i believe that's exactly the point, well formulated! $\endgroup$ – Joachim Jan 6 '14 at 23:44
8
$\begingroup$

$\mathrm{SO}(3)$ (which is also $\mathbb{R}P^3$) is a famous 'basic' example for physicists. (See Fundamental group of $SO(3)$, Visualizing the fundamental group of SO(3), https://mathoverflow.net/questions/38219/intuition-on-finite-homotopy-groups and An intuitive idea about fundamental group of $\mathbb{RP}^2$ as linked to above - these last two tie in more with what I'm talking about). The Dirac belt or plate trick is one suggestive way of approaching the fundamental group for this manifold.

In order to make things concrete, we describe $\mathbb{R}P^2$ as a square as Joseph pointed out in the comments:

Projective Plane

We would similarly describe $\mathrm{SO}(3)$ as being a solid ball with antipodal points identified. Then intuitively you can probably convince yourself quickly that

  • any loop lying within the 'interior' of the square/ball (i.e. not reaching any antipodal points) is contractible.
  • any loop which leaves the centre, goes 'over the boundary' once and continues back to the origin is not contractible.

The trick, however, is in considering following this last loop twice. It turns out that by bending one of the crossings around you can cancel out the boundary-crossing.

I'm not going to open up Paint just now, but imagine a line which crosses from left to right twice very close by. (They should form a pair of parallel lines symmetrically placed around the middle.) Call the 'two' lines you draw $L,M$, going from $l_1 \to l_2$ and $m_1 \to m_2$ left to right respectively.

Now $l_2$ is constrained to lie antipodal to $m_1$ and similarly the other two points, but (as Stefan pointed out) there is freedom to move these pairs independently. Start sliding $l_2$ around the square anticlockwise. $m_1$ moves anticlockwise opposite it. This makes $L$ start to bend upwards on the right, and $M$ start to bend downwards on the left.

Continuing this, one brings $l_2$ all the way round to $m_2$ (and $m_1$ all the way to $l_2$). Now $L$ and $M$ just form a little loop over the boundary, and can be contracted away by bringing all four points together.

Just draw the intermediate stages and you might convince yourself!


It's this freedom to slide stuff around which screws with your intuition. You really can't visualize projective planes as nice, oriented embedded surfaces, so your intuition of fundamental groups as being determined by genus is... horrifically broken to say the least.

$\endgroup$
6
$\begingroup$

Here's an illustrated version of Sharkos' answer. We'll use the disk model of ℝP2: consider a disk with antipodal points on its boundary identified.

We can imagine a closed path that starts at the center, goes straight up (1st part in light blue) hits the topmost point of the disk's boundary - which is also the lowermost point of the disk's boundary - and then continues upwards (now from the bottom, 2nd part in dark blue) to reach the center again and close the loop:

We cannot shrink this loop to a point: we can modify it within the interior of the disk, but that doesn't get us very far. And if we try to change the loop at the point it crosses the boundary, we have to move the top and the bottom of the loop so that they cross at antipodal points, otherwise we brake the loop. For instance, doing the following breaks the loop:

We can slide both points so they stay opposite each other:

enter image description here

But that doesn't allow us to shrink this loop to a point.

Next we consider a loop that crosses the boundary twice:

The loops starts from the center, goes straight up to the top of the disk (1st part in light blue), comes up from the bottom to the center (2nd part in dark blue), continues up to the top of the disk (3rd part in pink) and finally comes up from the bottom of the disk back to the center to close the loop (4th part in red).

As in the previous example, if we move a point where the path crosses the boundary we have to move the opposite point in the opposite direction so they remain antipodal to one another. We can start to rotate the 1st and 2nd parts of the path counter-clockwise in a continuous way until it looks like this:

The loop is not broken in any way. We continue to rotate it:

enter image description here

Until we've rotated the first half of the path 180 degrees:

enter image description here

And this is where the magic happens: if we imagine a particle following along the loop, it travels down part 2 (in dark blue) and when it reaches the center it turns around and travels up part three (in pink). That means that we can pull the point where the end of part 2 and the beginning of part 3 meet upwards without breaking the loop:

enter image description here

We can now pull the 2-3 part of the loop past the boundary:

enter image description here

At which points it's evident that the loop is contractible.

As Sharkos said, it's sliding points around on the boundary that messes with our intuition: when there is only one point where the path crosses the boundary we cannot shrink the loop to a point because any time we move that point it must be "reflected" in the opposite side of the circle (this is more of an appeal to our intuition rather than a rigorous proof). When the path crosses the boundary twice we can slide one pair of opposite points around to effectively "untangle" the loop.

$\endgroup$
  • $\begingroup$ Really nice illustration. $\endgroup$ – user98602 Jul 26 '18 at 15:11
4
$\begingroup$

Consider the map $z \mapsto z^2$ of the unit circle in the complex plane. This gives us a fibration $S^1 \to S^1$ of degree two. If you travel around the target circle once then this will take you to $-1$ in the source circle. You really need to run around the target circle twice to obtain an honest loop in the source circle.

Now consider the fibration $S^2 \to {\bf R}P^2$ given by identifying antipodal points. The intuition from the paragraph above applies again. You need to go around any non-trivial loop in ${\bf R}P^2$ twice to obtain an honest loop in $S^2$, which is then of course contractible because $S^2$ is simply connected. If you only travel once, you'll get a half-circle in $S^2$ connecting antipodal points and you can check yourself that there's no way to shrink this half-circle to a point.

$\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.