The coherent component conjecture for McKay quiver moduli

About 21 years old · traced to

Let G⊂GL⁡(n,k)G\subset \operatorname{GL}(n,\Bbbk) be a finite subgroup. For all θ\theta in the rational character space, let Mθ=Z/\tslash⁡θH\mathcal{M}_\theta=Z{\operatorname{/\tslash}}_\theta H be the GIT quotient of an affine scheme ZZ by an algebraic group HH, and let z∈Zz\in Z be the quiver representation defined by the GG-orbit of (1,…,1)∈Akn(1,\dots,1)\in \mathbb{A}^n_\Bbbk. Let VV be the subscheme of ZZ obtained as the closure of the (k∗)n×H(\Bbbk^*)^n\times H-orbit of zz. For generic θ∈H∗⊗Q\theta\in H^*\otimes \mathbb{Q}, the GIT quotient

Yθ:=V/\tslash⁡θHY_\theta:=V{\operatorname{/\tslash}}_\theta H

is a reduced irreducible component of Mθ\mathcal{M}_\theta and admits a projective birational morphism

Yθ⟶Y0≅Akn/GY_\theta\longrightarrow Y_{\bf 0}\cong \mathbb{A}^n_\Bbbk/G

obtained by variation of GIT quotient. Coherent component conjecture. The component obtained by taking the closure of the torus-and-group orbit of the distinguished representation should have these reduced, irreducible, and birational properties for generic stability parameter. This conjecture extends the construction beyond the abelian case and predicts a canonical component of the moduli space governing the birational geometry of the quotient singularity.

References

Primary source

Alastair Craw, Diane Maclagan and Rekha R. Thomas, “Moduli of McKay quiver representations I: the coherent component”, arXiv:math/0505115 (2006).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.