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

Let $X = \operatorname{Spec}(R)$ be a conical Poisson variety over $\mathbb{C}$. This means that $R$ is a non-negatively graded Poisson algebra over $\mathbb{C}$ with $R_0 = \mathbb{C}$ and that the Poisson bracket is homogeneous of negative degree. Assume that $X$ admits a conical symplectic resolution. Examples to keep in mind are:

  • the nilpotent cone in a simple Lie algebra
  • a Slodowy slice to a nilpotent orbit inside the nilpotent cone
  • the symmetric scheme of $n$ points on a Kleinian singularity
  • a hypertoric variety
  • a quiver variety.

Let $S$ be a symplectic leaf of $X$.

Q: Is it possible for the fundamental group of $S$ to be infinite?

In the first four examples listed above, the fundamental group of every symplectic leaf is finite. I don't know whether or not this property holds for quiver varieties, or for other examples.

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

I do not know the answer. I believe that it is so. See for algebraic fundamental groups.

If you consider quiver varieties of affine types, they are moduli spaces of instantons on ALE spaces. If you replace the base space by $\mathbb R^4$ and assume rank is $2$, then the finiteness follows from Atiyah-Jones conjecture for rank $2$. The Atiyah-Jones conjecture actually says much stronger: there is a homotopy equivalence between moduli spaces and the infinite dimensional space of all connections up to dimension explicitly given by the instanton number. The conjecture was proved by Boyer et al.

There are lots of generalizations of the Atiyah-Jones conjecture. So it probably applies to quiver varieties of affine types.

share|cite|improve this answer
Thanks, your reference to Namikawa's paper is very helpful! In fact, finiteness of the algebraic fundamental group is sufficient for the application that I have in mind, so this is perfect. – Nicholas Proudfoot Mar 18 '13 at 5:31

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.