8
$\begingroup$

My problem originates from the following classical result, proved, as far as I know, by Grauert and Remmert:

Theorem. Let $Y$ be a compact complex manifold, $B \subset Y$ be a connected submanifold of codimension one and $G$ a finite group. Then isomorphism classes of connected analytic Galois covers $$f \colon X \longrightarrow Y,$$ with Galois group $G$ and branched at most over $B$, correspond to group epimorphisms $$\varphi \colon \pi_1(Y - B) \longrightarrow G,$$
up to automorphisms of $G$.

I would be glad to have a reference answering the following very basic topological question:

Question. How can we compute the fundamental group $\pi_1(X)$ in terms of the algebraic data above? For instance, in terms of the epimorphism $\varphi$ and of the homomorphism $\iota_* \colon \pi_1(Y-B) \to \pi_1(Y)$?

Elementary remark. If $D=f^{-1}(B)$, then $\pi_1(X-D)$ is isomorphic to $\ker \varphi$.

$\endgroup$
  • 2
    $\begingroup$ Small comment: presumably you need to know more than just $\phi$; e.g. some knowledge of the map $\pi_1(Y-B) \to \pi_1(Y)$ would be useful (e.g. think about the case $G = 1$). $\endgroup$ – R. van Dobben de Bruyn Jul 19 at 20:03
  • $\begingroup$ @R.vanDobbendeBruyn: this seems reasonable, thanks. I will edit the question. $\endgroup$ – Francesco Polizzi Jul 19 at 21:15
6
$\begingroup$

Consider a small complex 1-dimensional disk $D\subset Y$ transversal to $B$ and let $c$ denote the image in $\pi=\pi_1(Y-B)$ of the oriented loop $\partial D$. Let $n$ denote the order of the image of $c$ under $\varphi$. Now, form a complex orbifold ${\mathcal O}$ (a stack in your language) with the underlying space $Y$ and orbi-data ${\mathbb Z}/n$ along $B$. (I am sure, you know what I mean.) Then $$ \pi_1({\mathcal O})\cong \pi/ \langle c^n\rangle^{\pi}, $$ where $\langle c^n \rangle^{\pi}$ denotes the normal closure of the subgroup $\langle c^n \rangle$ in $\pi$. The homomorphism $\varphi$ descends to a homomorphsm
$$ \psi: \pi_1({\mathcal O})\to G. $$ Then $\pi_1(X)$ is isomorphic to the kernel of $\psi$.

In fact, this works in much greater generality, as the divisor $B$ need not be a smooth submanifold and need not be connected, but instead of a single disk $D$ you have to take a collection of disks transversal to the components of the smooth locus of $B$.

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ Thank you for the answer, it is useful. Do you have any reference for this? $\endgroup$ – Francesco Polizzi Jul 19 at 21:51
  • $\begingroup$ I think this follows from Seifert–van Kampen and from the observation that a handle decomposition of a neighbourhood of $\pi^{-1}(B)$ has a cell decomposition with one $2n-2$-cell for each component. (Then the trick is to look at the dual decomposition: now only 2-cells can influence the fundamental group.) $\endgroup$ – Marco Golla Jul 20 at 8:04
1
$\begingroup$

Ciao Francesco.

The more general version of this Theorem that I know is in

Fox, Ralph H. Covering spaces with singularities 1957 A symposium in honor of S. Lefschetz pp. 243–257 Princeton University Press, Princeton, N.J.

see the Theorem at page 254, for branched covering of topological spaces.

The proof follows the same lines of the answer by Moishe Kohan.

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ Dear Roberto, thank you very much for the useful reference. A presto! $\endgroup$ – Francesco Polizzi Jul 21 at 15:35

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.