Skip to main content
MathOverflow

Return to Question

typo in title
Link
Jukka Kohonen
Jukka Kohonen
  • 4.2k
  • 2
  • 21
  • 49

Fundamental group of a qutioentquotient by a group action

added 3 characters in body
Source Link
Manenky
Manenky
  • 21
  • 2

Suppose I have a quotient $X \to S$ by a finite abelian group $G$ action (I have several cases, but in all of them the group $G$ and the action could be written explicitly), where $X,S$ are surfaces (smooth and path connected) over the complex numbers field. I also know $\pi_1(X)$, which is $\mathbb{Z}^4$ in my case and that the covering $X \to S$ is unramified. Is this data enough to compute $\pi_1(S)$? As far as I understand, it is known from general theory of coverings, that there is an injection $\pi_1(X) \to \pi_1(S)$, so I believe that $\pi_1(S)$ should be of the form $\pi_1(X) \rtimes G$, but I do not know what can I use to prove it (if this is correct).

Any input or advice is appreciated, thank you in advance.

Suppose I have a quotient $X \to S$ by a finite abelian group $G$ action (I have several cases, but in all of them the group $G$ and the action could written explicitly), where $X,S$ are surfaces (smooth and path connected) over the complex numbers field. I also know $\pi_1(X)$, which is $\mathbb{Z}^4$ in my case and that the covering $X \to S$ is unramified. Is this data enough to compute $\pi_1(S)$? As far as I understand, it is known from general theory of coverings, that there is an injection $\pi_1(X) \to \pi_1(S)$, so I believe that $\pi_1(S)$ should be of the form $\pi_1(X) \rtimes G$, but I do not know what can I use to prove it (if this is correct).

Any input or advice is appreciated, thank you in advance.

Suppose I have a quotient $X \to S$ by a finite abelian group $G$ action (I have several cases, but in all of them the group $G$ and the action could be written explicitly), where $X,S$ are surfaces (smooth and path connected) over the complex numbers field. I also know $\pi_1(X)$, which is $\mathbb{Z}^4$ in my case and that the covering $X \to S$ is unramified. Is this data enough to compute $\pi_1(S)$? As far as I understand, it is known from general theory of coverings, that there is an injection $\pi_1(X) \to \pi_1(S)$, so I believe that $\pi_1(S)$ should be of the form $\pi_1(X) \rtimes G$, but I do not know what can I use to prove it (if this is correct).

Any input or advice is appreciated, thank you in advance.

Source Link
Manenky
Manenky
  • 21
  • 2

Fundamental group of a qutioent by a group action

Suppose I have a quotient $X \to S$ by a finite abelian group $G$ action (I have several cases, but in all of them the group $G$ and the action could written explicitly), where $X,S$ are surfaces (smooth and path connected) over the complex numbers field. I also know $\pi_1(X)$, which is $\mathbb{Z}^4$ in my case and that the covering $X \to S$ is unramified. Is this data enough to compute $\pi_1(S)$? As far as I understand, it is known from general theory of coverings, that there is an injection $\pi_1(X) \to \pi_1(S)$, so I believe that $\pi_1(S)$ should be of the form $\pi_1(X) \rtimes G$, but I do not know what can I use to prove it (if this is correct).

Any input or advice is appreciated, thank you in advance.