MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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

This is a direct consequence of my previous question: Extending group actions on varieties

In his answer, inkspot said that group actions can be extended if the variety has ample canonical class and is smooth, but mentions that canonical singularities can be allowed. Now, my situation doesn't involve a smooth variety, but instead I have an orbifold.

However, I know that for surfaces, the canonical singularities are the duVal singularities, and are all orbifold points (they're all $\mathbb{C}^2$ modulo a finite subgroup of $\mathrm{Sl}_2$.)

Now, I've not studied general singular points of surfaces, so I could be wrong already with surfaces, but are orbifold singularities canonical?

share|cite|improve this question
up vote 9 down vote accepted

For quotient singularities there is the so-called Reid-Tai criterion to check whether the singularity is canonical or not. Suppose $G$ is a finite subgroup of $GL_n(\mathbb{C})$ without quasi-reflections. Let $m=|G|$ and fix a primitive $m$-th root of unity $\zeta$. Let $g\in G$ and let $0\leq a_i < m$ be such that $\zeta^{a_1},\dots,\zeta^{a_n}$ are the eigenvalues of $g$. Then the Reid-Tai sum of $g$ is defined as $\Sigma(g):=1/m(\sum a_i)$.

The Reid-Tai criterion states that $\mathbb{C}^n/G$ has a canonical singularity at 0 if and only if $\Sigma(g)\geq 1$ for all $g\in G, g\neq id$.

(Taking a quotient by quasi-reflections does not yield a singularity, the Reid-Tai sum depends on the choice of $\zeta$, the criterion does not.)

For more on this see e.g. M. Reid's Young person's guide to canonical singularities (Bowdoin 1985 proceedings).

share|cite|improve this answer

In 2 dimensions canonical singularities are the du Val singularities, which are quotients by finite subgroups of SL2, so quotients by finite subgroups of GL2 that are not in SL2 are a good place to look for counterexamples. (However the quotients by some of these subgroups can be nonsingular, so you have to be a bit careful.) Unless I've misunderstood what is going on, most of the cyclic quotient singularities are non-canonical (these are quotients of C2 by a cyclic group acting as (x,y) → (xζ,yζn) for ζ a root of 1).

Reid's paper gives more details

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.