4
$\begingroup$

Is it known when a Nakajima quiver variety happens to be a local complete intersection?

[For simplicity consider an affine quiver variety, i.e. the categorical quotient of the zero set of the moment map on the space of representations of a doubled quiver]

$\endgroup$

1 Answer 1

6
$\begingroup$

By Proposition 1.3 of Beauville's original article on symplectic singularities, any variety with symplectic singularities (in particular, a Nakajima quiver variety) is rational and Gorenstein, which is pretty close to a lci.

However, I don't think most non-smooth quiver varieties are actually lci's, since by 1.4 of the same paper of Beauville, any such quiver variety must have singular locus which is pure of dimension 2, a pretty weird condition.

EDIT: Perhaps I should expand on this a little bit. In order for a conic symplectic singularity like an affine quiver variety to be an lci, any deformation of it must be lci as well. The deformation theory of conic affine symplectic varieties is very nice; there is a universal deformation (amongst those keeping the symplectic structure!) whose base is a vector space, and there are certain walls, which are codimension 1 pieces of the locus where the deformation is not Q-factorial and terminal (in most cases, this is means smooth, but not always). In essence the ``badness'' at these points is controlled by a single slice singularity. If for any of the walls, this singularity is not an lci, you're out of luck.

For a quiver variety, the walls correspond to roots, and the characteristic singularity you expect is the affinization of the cotangent bundle of a Grassmannian (which is the same as the closure of operators with square 0 of a given rank in the space of nilpotent matrices). The only one of these that the codimension 2 condition doesn't rule out is all matrices with square 0, or the point. These correspond to the weight associated by Nakajima being highest, lowest, or weight 0 for this root. That looks like a pretty weird condition to me.

$\endgroup$
1
  • 1
    $\begingroup$ Thanks for reference. I am not convinced though that the codimension 2 condition should be thought of as weird, it does hold in many examples. A Kleinian singularity is an example of a complete intersection affine quiver variety. $\endgroup$
    – Roman
    Commented Aug 25, 2013 at 0:50

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .