Return to Answer

The definition of an orbifold in terms of a groupoid is flexible and technically useful and gives very clean definitions, but it's not so close to geometric intuition. Perhaps it is once you've mastered the art of thinking simplicially, which I probably haven't. I tend to think of orbifolds like this: the simplest orbifolds are the global quotients $[X/G]$. In this case the formalism has been cooked up so that geometry of $[X/G]$ is exactly the same as $G$-equivariant geometry on $X$ (whatever this means in a given context). Another catchphrase for this is that all group actions behave like free group actions. All other orbifolds can be obtained by gluing together ones of the above form. This leads to the definition in terms of coordinate patches of the form $[U/G]$.

The easiest example of an orbifold fundamental group is when your orbifold has the form $[X/G]$ with $X$ simply connected. Since every group action behaves like a free one, the map $X \to [X/G]$ is a covering map, which exhibits $X$ as the universal cover of the orbifold and $G$ as the group of deck transformations. So $\pi_1([X/G]) = G$.

The second simplest example is, I think, an (effective) orbifold Riemann surface. Fortunately you asked precisely about this one. Here you can really think concretely about loops on your surface. Fix an orbifold point $x$ of order $n$. The idea is that an orbifold point of order $n$ is $(1/n)$th of a point, so that an orbifold point is something inbetween an ordinary point and a puncture. The higher order stabilizer the point has, the closer it is to being an actual puncture. More concretely, what this means is that a loop on your surface that winds exactly $n$ times around $x$ can be shrunk across $x$. It's like the $n$ turns together add up to one whole point, which your loop can then slide across.

To see this slightly more formally, think in a chart centered on $x$, where your orbifold looks like $[D/\mu_n]$, with $D$ the unit disk and $\mu_n$ the group of $n$th roots of unity. Any loop in $D$ around the origin can be shrunk to a point, which should imply that the image of this loop in our orbifold is also homotopically trivial. But the image is just a loop that goes $n$ times around $x$. To see that no fewer than $n$ turns suffice, you need to think a bit about the definition of a loop on an orbifold. In any case, once we accept this fact we can obtain the presentation of the fundamental group that you gave in your question, in the same way as for the ordinary fundamental group of a punctured Riemann surface.

An example is $[S^2 / \mu_n]$ with $\mu_n$ acting by rotations along the equator. You have orbifold points at the north and south pole. Either of the two descriptions above immediately imply that the fundamental group is cyclic of order $n$: in terms of the second description, a generator is a simple loop around one of the poles, which becomes trivial when it is wound around itself $n$ times.

You might also find my recent question, and the answer by Jeffrey Giansiracusa, useful: Homotopy theory of topological stacks/orbifolds

The definition of an orbifold in terms of a groupoid is flexible and technically useful and gives very clean definitions, but it's not so close to geometric intuition. Perhaps it is once you've mastered the art of thinking simplicially, which I probably haven't. I tend to think of orbifolds like this: the simplest orbifolds are the global quotients $[X/G]$. In this case the formalism has been cooked up so that geometry of $[X/G]$ is exactly the same as $G$-equivariant geometry on $X$ (whatever this means in a given context). Another catchphrase for this is that all group actions behave like free group actions. All other orbifolds can be obtained by gluing together ones of the above form. This leads to the definition in terms of coordinate patches of the form $[U/G]$.

The easiest example of an orbifold fundamental group is when your orbifold has the form $[X/G]$ with $X$ simply connected. Since every group action behaves like a free one, the map $X \to [X/G]$ is a covering map, which exhibits $X$ as the universal cover of the orbifold and $G$ as the group of deck transformations. So $\pi_1([X/G]) = G$.

The second simplest example is, I think, an (effective) orbifold Riemann surface. Fortunately you asked precisely about this one. Here you can really think concretely about loops on your surface. Fix an orbifold point $x$ of order $n$. The idea is that an orbifold point of order $n$ is $(1/n)$th of a point, so that an orbifold point is something inbetween an ordinary point and a puncture. The higher order stabilizer the point has, the closer it is to being an actual puncture. More concretely, what this means is that a loop on your surface that winds exactly $n$ times around $x$ can be shrunk across $x$. It's like the $n$ turns together add up to one whole point, which your loop can then slide across.

To see this slightly more formally, think in a chart centered on $x$, where your orbifold looks like $[D/\mu_n]$, with $D$ the unit disk and $\mu_n$ the group of $n$th roots of unity. Any loop in $D$ around the origin can be shrunk to a point, which should imply that the image of this loop in our orbifold is also homotopically trivial. But the image is just a loop that goes $n$ times around $x$. To see that no fewer than $n$ turns suffice, you need to think a bit about the definition of a loop on an orbifold. In any case, once we accept this fact we can obtain the presentation of the fundamental group that you gave in your question, in the same way as for the ordinary fundamental group of a punctured Riemann surface.

An example is $[S^2 / \mu_n]$ with $\mu_n$ acting by rotations along the equator. You have orbifold points at the north and south pole. Either of the two descriptions above immediately imply that the fundamental group is cyclic of order $n$: in terms of the second description, a generator is a simple loop around one of the poles, which becomes trivial when it is wound around itself $n$ times.

You might also find my recent question, and the answer by Jeffrey Giansiracusa, useful: Homotopy theory of topological stacks/orbifolds

The definition of an orbifold in terms of a groupoid is flexible and technically useful and gives very clean definitions, but it's not so close to geometric intuition. Perhaps it is once you've mastered the art of thinking simplicially, which I probably haven't. I tend to think of orbifolds like this: the simplest orbifolds are the global quotients $[X/G]$. In this case the formalism has been cooked up so that geometry of $[X/G]$ is exactly the same as $G$-equivariant geometry on $X$ (whatever this means in a given context). Another catchphrase for this is that all group actions behave like free group actions. All other orbifolds can be obtained by gluing together ones of the above form. This leads to the definition in terms of coordinate patches of the form $[U/G]$.

The easiest example of an orbifold fundamental group is when your orbifold has the form $[X/G]$ with $X$ simply connected. Since every group action behaves like a free one, the map $X \to [X/G]$ is a covering map, which exhibits $X$ as the universal cover of the orbifold and $G$ as the group of deck transformations. So $\pi_1([X/G]) = G$.

The second simplest example is, I think, an (effective) orbifold Riemann surface. Fortunately you asked precisely about this one. Here you can really think concretely about loops on your surface. Fix an orbifold point $x$ of order $n$. The idea is that an orbifold point of order $n$ is $(1/n)$th of a point, so that an orbifold point is something inbetween an ordinary point and a puncture. The higher order stabilizer the point has, the closer it is to being an actual puncture. More concretely, what this means is that a loop on your surface that winds exactly $n$ times around $x$ can be shrunk across $x$. It's like the $n$ turns together add up to one whole point, which your loop can then slide across.

To see this slightly more formally, think in a chart centered on $x$, where your orbifold looks like $[D/\mu_n]$, with $D$ the unit disk and $\mu_n$ the group of $n$th roots of unity. Any loop around the origin can be shrunk to a point, which should imply that the image of this loop in our orbifold is also homotopically trivial. But the image is just a loop that goes $n$ times around $x$. To see that no fewer than $n$ turns suffice, you need to think a bit about the definition of a loop on an orbifold. In any case, once we accept this fact we can obtain the presentation of the fundamental group that you gave in your question, in the same way as for the ordinary fundamental group of a punctured Riemann surface.

An example is $[S^2 / \mu_n]$ with $\mu_n$ acting by rotations along the equator. You have orbifold points at the north and south pole. Either of the two descriptions above immediately imply that the fundamental group is cyclic of order $n$: in terms of the second description, a generator is a simple loop around one of the poles, which becomes trivial when it is wound around itself $n$ times.

The definition of an orbifold in terms of a groupoid is flexible and technically useful and gives very clean definitions, but it's not so close to geometric intuition. Perhaps it is once you've mastered the art of thinking simplicially, which I probably haven't. I tend to think of orbifolds like this: the simplest orbifolds are the global quotients $[X/G]$. In this case the formalism has been cooked up so that geometry of $[X/G]$ is exactly the same as $G$-equivariant geometry on $X$ (whatever this means in a given context). Another catchphrase for this is that all group actions behave like free group actions. All other orbifolds can be obtained by gluing together ones of the above form. This leads to the definition in terms of coordinate patches of the form $[U/G]$.

The easiest example of an orbifold fundamental group is when your orbifold has the form $[X/G]$ with $X$ simply connected. Since every group action behaves like a free one, the map $X \to [X/G]$ is a covering map, which exhibits $X$ as the universal cover of the orbifold and $G$ as the group of deck transformations. So $\pi_1([X/G]) = G$.

The second simplest example is, I think, an (effective) orbifold Riemann surface. Fortunately you asked precisely about this one. Here you can really think concretely about loops on your surface. Fix an orbifold point $x$ of order $n$. The idea is that an orbifold point of order $n$ is $(1/n)$th of a point, so that an orbifold point is something inbetween an ordinary point and a puncture. The higher order stabilizer the point has, the closer it is to being an actual puncture. More concretely, what this means is that a loop on your surface that winds exactly $n$ times around $x$ can be shrunk across $x$. It's like the $n$ turns together add up to one whole point, which your loop can then slide across.

To see this slightly more formally, think in a chart centered on $x$, where your orbifold looks like $[D/\mu_n]$, with $D$ the unit disk and $\mu_n$ the group of $n$th roots of unity. Any loop in $D$ around the origin can be shrunk to a point, which should imply that the image of this loop in our orbifold is also homotopically trivial. But the image is just a loop that goes $n$ times around $x$. To see that no fewer than $n$ turns suffice, you need to think a bit about the definition of a loop on an orbifold. In any case, once we accept this fact we can obtain the presentation of the fundamental group that you gave in your question, in the same way as for the ordinary fundamental group of a punctured Riemann surface.

An example is $[S^2 / \mu_n]$ with $\mu_n$ acting by rotations along the equator. You have orbifold points at the north and south pole. Either of the two descriptions above immediately imply that the fundamental group is cyclic of order $n$: in terms of the second description, a generator is a simple loop around one of the poles, which becomes trivial when it is wound around itself $n$ times.

You might also find my recent question, and the answer by Jeffrey Giansiracusa, useful: Homotopy theory of topological stacks/orbifolds

The definition of an orbifold in terms of a groupoid is flexible and technically useful and gives very clean definitions, but it's not so close to geometric intuition. Perhaps it is once you've mastered the art of thinking simplicially, which I probably haven't. I tend to think of orbifolds like this: the simplest orbifolds are the global quotients $[X/G]$. In this case the formalism has been cooked up so that geometry of $[X/G]$ is exactly the same as $G$-equivariant geometry on $X$ (whatever this means in a given context). Another catchphrase for this is that all group actions behave like free group actions. All other orbifolds can be obtained by gluing together ones of the above form. This leads to the definition in terms of coordinate patches of the form $[U/G]$.

The easiest example of an orbifold fundamental group is when your orbifold has the form $[X/G]$ with $X$ simply connected. Since every group action behaves like a free one, the map $X \to [X/G]$ is a covering map, which exhibits $X$ as the universal cover of the orbifold and $G$ as the group of deck transformations. So $\pi_1([X/G]) = G$.

The second simplest example is, I think, an (effective) orbifold Riemann surface. Fortunately you asked precisely about this one. Here you can really think concretely about loops on your surface. Fix an orbifold point $x$ of order $n$. The idea is that an orbifold point of order $n$ is $(1/n)$th of a point, so that an orbifold point is something inbetween an ordinary point and a puncture. The higher order stabilizer the point has, the closer it is to being an actual puncture. More concretely, what this means is that a loop on your surface that winds exactly $n$ times around $x$ can be shrunk across $x$. It's like the $n$ turns together add up to one whole point, which your loop can then slide across.

To see this slightly more formally, think in a chart centered on $x$, where your orbifold looks like $[D/\mu_n]$, with $D$ the unit disk and $\mu_n$ the group of $n$th roots of unity. Any loop around the origin can be shrunk to a point, which should imply that the image of this loop in our orbifold is also homotopically trivial. But the image is just a loop that goes $n$ times around $x$. To see that no fewer than $n$ turns suffice, you need to think a bit about the definition of a loop on an orbifold. In any case, once we accept this fact we can obtain the presentation of the fundamental group that you gave in your question, in the same way as for the ordinary fundamental group of a punctured Riemann surface.

An example is $[S^2 / \mu_n]$ with $\mu_n$ acting by rotations along the equator. You have orbifold points at the north and south pole. Either of the two descriptions above immediately imply that the fundamental group is cyclic of order $n$: in the second example, a generator is a simple loop around one of the poles, which becomes trivial when it is wound around itself $n$ times.

The definition of an orbifold in terms of a groupoid is flexible and technically useful and gives very clean definitions, but it's not so close to geometric intuition. Perhaps it is once you've mastered the art of thinking simplicially, which I probably haven't. I tend to think of orbifolds like this: the simplest orbifolds are the global quotients $[X/G]$. In this case the formalism has been cooked up so that geometry of $[X/G]$ is exactly the same as $G$-equivariant geometry on $X$ (whatever this means in a given context). Another catchphrase for this is that all group actions behave like free group actions. All other orbifolds can be obtained by gluing together ones of the above form. This leads to the definition in terms of coordinate patches of the form $[U/G]$.

The easiest example of an orbifold fundamental group is when your orbifold has the form $[X/G]$ with $X$ simply connected. Since every group action behaves like a free one, the map $X \to [X/G]$ is a covering map, which exhibits $X$ as the universal cover of the orbifold and $G$ as the group of deck transformations. So $\pi_1([X/G]) = G$.

The second simplest example is, I think, an (effective) orbifold Riemann surface. Fortunately you asked precisely about this one. Here you can really think concretely about loops on your surface. Fix an orbifold point $x$ of order $n$. The idea is that an orbifold point of order $n$ is $(1/n)$th of a point, so that an orbifold point is something inbetween an ordinary point and a puncture. The higher order stabilizer the point has, the closer it is to being an actual puncture. More concretely, what this means is that a loop on your surface that winds exactly $n$ times around $x$ can be shrunk across $x$. It's like the $n$ turns together add up to one whole point, which your loop can then slide across.

To see this slightly more formally, think in a chart centered on $x$, where your orbifold looks like $[D/\mu_n]$, with $D$ the unit disk and $\mu_n$ the group of $n$th roots of unity. Any loop around the origin can be shrunk to a point, which should imply that the image of this loop in our orbifold is also homotopically trivial. But the image is just a loop that goes $n$ times around $x$. To see that no fewer than $n$ turns suffice, you need to think a bit about the definition of a loop on an orbifold. In any case, once we accept this fact we can obtain the presentation of the fundamental group that you gave in your question, in the same way as for the ordinary fundamental group of a punctured Riemann surface.

An example is $[S^2 / \mu_n]$ with $\mu_n$ acting by rotations along the equator. You have orbifold points at the north and south pole. Either of the two descriptions above immediately imply that the fundamental group is cyclic of order $n$: in terms of the second description, a generator is a simple loop around one of the poles, which becomes trivial when it is wound around itself $n$ times.