MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Is the local fundamental group of an elliptic singularity virtually solvable ? Here (the terminology is sometimes divergent) an elliptic singularity is a (germ of) normal surface $(X,x)$ such that $X$ is Gorenstein ($K_X$ is Cartier) and $R^1\pi_* \mathcal{O}_Y=\mathbb{C}_x$ where $\pi:Y\to X$ is a resolution of the singularity.

Equivalently: $\pi_*\omega_Y=m_x\omega_X$.

Thanks in advance, Benoit

share|cite|improve this question
To motivate my question, recall that the rational Gorenstein singularities of surfaces are exactly the ADE singularities and in this case the local fundamental group is finite. – Benoît Nov 3 '12 at 9:00
up vote 3 down vote accepted

Well it is not always the case: elliptic singularities of surfaces can have very complicated local fundamental group. For instance, the following example $$x^2+y^3+z^7=0$$ has a finite index subgroup which the fundamental group of a curve of genus 3 curve. To see this, note that it can be realized as a finite quotient of the cone over the Kein quartic $C$. This curve has the biggest automorphism group among curves of genus 3 ($\mathrm{Aut}(C)$ has order 168) and it acts naturally on the cone over $C$. This description can be found in some old papers of Dolgachev "Conic quotient singularities of complex surfaces" (see also some unpublished paper of Miles Reid).

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.