Let $X$ be a complex manifold with quotient singularities, and let $\tilde X$ be its resolution (that exists, for example, by Hironaka). Then I am pretty sure that $\pi_1(X)\cong \pi_1(\tilde X)$.

  • Question. Is there a reference for such a statement? At least in dimension 3?

The reason why this should be true is that it should be possible to find such a resolution of $X$ that the preimage of each point in $\tilde X$ is simply connected ($\mathbb CP^n/G$ is simply-connected for finite $G$). Then everything follows from a standard topological lemma. I guess this statement should be true as well if $X$ is a complex analytic variety with arbitrary Kawamata log terminal singularities (because Fano manifolds are simply connected). I would be grateful for a reference for any kind of such statement.

ADDED. As Francesco says in his answer, this statement is classical for surfaces. I would like to have a reference what would cover at least the case of $3$-folds with non-isolated quotient singularities (say with abelian stabilisers).

UPD. The question is now 100% settled by the reference provided by the answer of Benoit.


A reference is Theorem 7.8 of the article by Kollar: "Shafarevich maps and plurigenera of algebraic varieties", Invent. Math. 113. This proves the equality of fundamental groups for quotient singualrities in all dimensions and also for algebraic fundamental groups in the case of klt singularities.

  • $\begingroup$ Would you mind to give me your name, for example by sending an email to dmitri.panov@kcl.ac.uk ? I will cite this result in an article and would like to thank you. $\endgroup$ – Dmitri Panov Jan 3 '11 at 2:10

The proof of simple connectedness of a resolution of quotient singularities is in this paper of mine http://arxiv.org/abs/math/9903175 Theorem 4.1 (published in Asian J. Math. 4, 2000, no. 3, 553-563), but I guess it was known to Bogomolov long ago (and maybe even published in some of his papers)

  • $\begingroup$ I did not know about Kollar's proof - it would save me much bother. Thanks to the anonymous commenter in the first answer. $\endgroup$ – Misha Verbitsky Jan 7 '11 at 12:34
  • $\begingroup$ Misha, spasibo! $\endgroup$ – Dmitri Panov Jan 7 '11 at 13:09

Dear Dmitri, the result you hope is also true (ie when X has only klt singularities, its fundamental group is isomorphic to the one of any of its desingularization). This theorem is due to Takayama (Local simple connectedness of resolution of log-terminal singularities, International journal of Math 2003).

Bests, Benoît

  • $\begingroup$ Benoit, thanks a lot! Nice to know that this result is proved by now. $\endgroup$ – Dmitri Panov Apr 29 '11 at 17:43

Your statement is surely true in the following two cases:

  1. $\dim X=2$. In this case something stronger is true; in fact, if $X$ is a surface with only rational singularities and $\tilde{X}$ is a resolution of singularities, then $\pi_1(\tilde{X})=\pi_1(X)$. This because the resolution of a rational $2$-dimensional singularity is alwais given by a bunch of rational curves, in particular the exceptional locus is simply connected, so you can conclude by Seifert-Van Kampen theorem. Thi argument is used for instance in the paper of R. Barlow

"A symply connected surface of general type with $p_g=0$", Invent. Math.79.

  1. $\dim X$ is arbitrary and all singularities of $X$ are isolated cyclic quotient singularities. In fact, by a result of Fujiki, an isolated cyclic quotient singularity can always be resolved by a normal crossing divisor whose components are smooth rational varieties, so you can apply again Seifert-Van Kampen theorem.

This argument is used in the paper of Bauer, Catanese, Pignatelli, Grunewald

Quotients of products of curves, new surfaces with $p_g=0$ and their fundamental groups

in order to compute the fundamental group of a quotient of the form $(C_1 \times C_2 \times \cdots \times C_n)/G$, where the $C_i$ are smooth curves (see in particular Remark 2.4).

I do not know whether the result is true in full generality. In fact, given a finite group $G$ acting on a simply connected manifold $V$, by a result of Armstrong (Proc. Amer. Math. Soc. 84) one has


where $E$ is the subgroup of elements having fixed points.

In your case $V=\mathbb{C}^n$, and if $\mathbb{C}^n/G$ is simply connected, i.e. if $G=E$, then you can apply Seifert-Van Kampen again. Therefore it seems to me that your question is related to the following one:

Does any cyclic group $\langle g \rangle$ acting on $\mathbb{C}^n$ have a fixed point?

If $g$ is a polynomial automorphism then the answer is yes, but in general this is an open problem for $n \geq 3$ (for $n=2$ it is true since any finite group acting on $\mathbb{C}^2$ is linearizable by a result of Suzuki).

You can find more on this topic (and several related references) in the paper by Kraft and Schwarz "Finite automorphisms of affine $n$-spaces".

  • $\begingroup$ Francesco, thanks a lot for your detailed answer! I'll have a look on the result of Fujiki. I do believe that the statement is always true, for example because the result of Fujiki should hold not only for isolated cyclic quotient singularities. (Though, if BCPG only have a reference to this result, maybe it is the best one written down... :( ). I have not quite got what you mean when you say that in my case $V=\mathbb C^n$ ... (maybe I have not formulated my question properly, but my question is about Any complex manifold with quotient singularities). $\endgroup$ – Dmitri Panov Dec 29 '10 at 13:22
  • $\begingroup$ Dimitri, I just meant that locally analitically a quotient singularity is of the form $\mathbb{C}^n/G$, where $G \subset \textrm{Aut}(\mathbb{C}^n)$. So if for every singular point you know the local $G$-action and you are able to verify that $G=E$, then it seems to me that you can apply the usual Seifert-Van Kampen argument to conclude... $\endgroup$ – Francesco Polizzi Dec 29 '10 at 13:53
  • $\begingroup$ Francesco, sorry, I try to understand what you say. I just have not got what is conclusion of the second part of the answer... (starting form the result of Armstrong) $\endgroup$ – Dmitri Panov Dec 29 '10 at 14:15
  • $\begingroup$ dimitri, you are right, my argument using armstrong result only proves that if G=E then there exists a neighborhood of the singularity which is simply connected, but it says nothing about the resolution... $\endgroup$ – Francesco Polizzi Dec 29 '10 at 21:17

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.