For a finite abelian group G in GL(n,k), we describe the coherent component Y_theta of the moduli space M_theta of theta-stable McKay quiver representations. This is a not-necessarily-normal toric variety that admits a projective birational morphism to A^n/G obtained by variation of GIT quotient. As a special case, this gives a new construction of Nakamura's G-Hilbert scheme that avoids the (typically highly singular) Hilbert scheme of |G|-points in A^n. To conclude, we describe the toric fan of Y_theta and hence calculate the quiver representation corresponding to any point of Y_theta.
In this paper we introduce several computational techniques for the study of moduli spaces of McKay quiver representations, making use of Groebner bases and toric geometry. For a finite abelian group G in GL(n,k), let Y_θbe the coherent component of the moduli space of θ-stable representations of the McKay quiver. Our two main results are as follows: we provide a simple description of the quiver representations corresponding to the torus orbits of Y_θ, and, in the case where Y_θequals Nakamura's G-Hilbert scheme, we present explicit equations for a cover by local coordinate charts. The latter …
We construct a family of McKay quiver representations on the Danilov resolution of the 1/r(1,a,r - a) singularity. It follows that the resolution is the normalization of the coherent component of the moduli space of stable McKay quiver representations for a suitable stability condition. We describe explicitly the corresponding chamber of stability conditions for any coprime numbers r, a.
For a domestic finite group scheme, we give a direct description of the Euclidean components in its Auslander-Reiten quiver via the McKay-quiver of a finite linearly reductive subgroup scheme of $SL(2)$. Moreover, for a normal subgroup scheme $\mathcal{N}$ of a finite group scheme $\mathcal{G}$, we show that there is a connection between the ramification indices of the restriction morphism $\mathbb{P}(\mathcal{V}_{\mathcal{N}})\rightarrow\mathbb{P}(\mathcal{V}_{\mathcal{G}})$ between their projectivized cohomological support varieties and the ranks of the tubes in their Auslander-Reiten quiver…
For a given small binary dihedral group G we use the classification of G-graphs to describe explicitly G-Hilb(C^2) by giving an affine open cover of M(Q,R), the moduli space of stable quiver representations.
We give one formulation of an algorithm of Hanany and Vegh which takes a lattice polygon as an input and produces a set of isoradial dimer models. We study the case of lattice triangles in detail and discuss the relation with coamoebas following Feng, He, Kennaway and Vafa.
We present a method based on mutations of helices which leads to the construction (in the large volume limit) of exceptional coherent sheaves associated with the $(\sum_al_a=0)$ orbits in Gepner models. This is explicitly verified for a few examples including some cases where the ambient weighted projective space has singularities not inherited by the Calabi-Yau hypersurface. The method is based on two conjectures which lead to the analog,in the general case, of the Beilinson quiver for $\BP^n$. We discuss how one recovers the McKay quiver using the gauged linear sigma model (GLSM) near the or…
We consider the moduli space of the McKay quiver representations associated to the binary polyhedral groups G < SU(2) < SU(3). The derived category of such representations is equivalent to the derived category of coherent sheaves on the corresponding ADE resolution Y=G-Hilb(C^3). Following the ideas of Nagao and Nakajima, by making particular choices of parameters in the space of stability conditions on the equivalent derived categories above, we recover Donaldson-Thomas (DT), Pandharipande-Thomas (PT) and Szendroi (NCDT) moduli spaces. We also compute the Gromov-Witten (GW) partition function…
Kirillov has described a McKay correspondence for finite subgroups of PSL_{2}(C) that associates to each `height' function an affine Dynkin quiver together with a derived equivalence between equivariant sheaves on the projective line P^1 and representations of this quiver. The equivalences for different height functions are then related by reflection functors for quiver representations. The main goal of this paper is to develop an analogous story for the cotangent bundle of P^1. We show that each height function gives rise to a derived equivalence between equivariant sheaves on the cotangent b…
Let $Γ$ be a finite group acting linearly on $\C^n$, freely outside the origin. In previous work a generalisation of Kronheimer's construction of moduli of Hermitian-Yang-Mills bundles with certain invariance properties was given. This produced varieties $X_ζ$ (parameterised by $ζ\in\Q^N$) which are partial resolutions of $\C^n/Γ$. In this article, it is shown the same $X_ζ$ can be described as moduli spaces of representations of the McKay quiver associated to the action of $Γ$. It it shown that, for abelian groups, $X_ζ$ are toric varieties defined by convex polyhedra which are the solution s…
For a finite subgroup $Γ\subset \mathrm{SL}(2,\mathbb{C})$ and $n\geq 1$, we construct the (reduced scheme underlying the) Hilbert scheme of $n$ points on the Kleinian singularity $\mathbb{C}^2/Γ$ as a Nakajima quiver variety for the framed McKay quiver of $Γ$, taken at a specific non-generic stability parameter. We deduce that this Hilbert scheme is irreducible (a result previously due to Zheng), normal, and admits a unique symplectic resolution. More generally, we introduce a class of algebras obtained from the preprojective algebra of the framed McKay quiver by a process called cornering, a…
Let $G\subset SL_2(C)\subset SL_3(C)$ be a finite group. We compute motivic Pandharipande-Thomas and Donaldson-Thomas invariants of the crepant resolution $Hilb^G(C^3)$ of $C^3/G$ generalizing results of Gholampour and Jiang who computed numerical DT/PT invariants using localization techniques. Our formulas rely on the computation of motivic Donaldson-Thomas invariants for a special class of quivers with potentials. We show that these motivic Donaldson-Thomas invariants are closely related to the polynomials counting absolutely indecomposable quiver representations over finite fields introduce…
We give a new moduli construction of the minimal resolution of the singularity of type 1/r(1,a) by introducing the Special McKay quiver. To demonstrate that our construction trumps that of the G-Hilbert scheme, we show that the induced tautological line bundles freely generate the bounded derived category of coherent sheaves on X by establishing a suitable derived equivalence. This gives a moduli construction of the Special McKay correspondence for abelian subgroups of GL(2).
We present a local computation of deformations of the tangent bundle for a resolved orbifold singularity C^d/G. These correspond to (0,2)-deformations of (2,2)-theories. A McKay-like correspondence is found predicting the dimension of the space of first-order deformations from simple calculations involving the group. This is confirmed in two dimensions using the Kronheimer-Nakajima quiver construction. In higher dimensions such a computation is subject to nontrivial worldsheet instanton corrections and some examples are given where this happens. However, we conjecture that the special crepant …
In this paper, we give a construction of the moduli space of filtered representations of a given quiver of fixed dimension vector with the appropriate notion of stability. The construction of the moduli of filtered representations uses the moduli of representations of ladder quiver. The ladder quiver is introduced using a given quiver and a linear type quiver. We also study determinantal theta functions on such moduli spaces.
Noncommutative Donaldson-Thomas invariants for abelian orbifold singularities can be studied via the enumeration of instanton solutions in a six-dimensional noncommutative N=2 gauge theory; this construction is based on the generalized McKay correspondence and identifies the instanton counting with the counting of framed representations of a quiver which is naturally associated to the geometry of the singularity. We extend these constructions to compute BPS partition functions for higher-rank refined and motivic noncommutative Donaldson-Thomas invariants in the Coulomb branch in terms of gauge…
In the 1980s Drézet and Le Potier realized moduli spaces of Gieseker-semistable sheaves on $\mathbb{P}^2$ as what are now called quiver moduli spaces. We discuss how this construction can be understood using t-structures and exceptional collections on derived categories, and how it can be extended to a similar result on $\mathbb{P}^1\times\mathbb{P}^1$.
We generalize the notion of multi-Gieseker semistability for coherent sheaves, introduced by Greb, Ross, and Toma, to quiver sheaves for a quiver $Q$. We construct coarse moduli spaces for semistable quiver sheaves using a functorial method that realizes these as subschemes of moduli spaces of representations of a twisted quiver, depending on $Q$, with relations. We also show the projectivity of the moduli space in the case when $Q$ has no oriented cycles. Finally, we investigate the parameter dependence of the moduli.
We construct small desingularizations of moduli spaces of semistable quiver representations for indivisible dimension vectors using deformations of stabilites and a dimension estimate for nullcones. We apply this construction to several classes of GIT quotients.
We study the relationship between two stratifications on parameter spaces for coherent sheaves and for quiver representations: a stratification by Harder-Narasimhan types and a stratification arising from the geometric invariant theory construction of the associated moduli spaces of semistable objects. For quiver representations, both stratifications coincide, but this is not quite true for sheaves. We explain why the stratifications on various Quot schemes do not coincide and see that the correct parameter space to compare such stratifications is the stack of coherent sheaves. Then we relate …
This is a review article exploring similarities between moduli of quiver representations and moduli of vector bundles over a smooth projective curve. After describing the basic properties of these moduli problems and constructions of their moduli spaces via geometric invariant theory and symplectic reduction, we introduce their hyperkähler analogues: moduli spaces of representations of a doubled quiver satisfying certain relations imposed by a moment map and moduli spaces of Higgs bundles. Finally, we survey a surprising link between the counts of absolutely indecomposable objects over finite …
For a perfect field $k$, we study actions of the absolute Galois group of $k$ on the $\bar{k}$-valued points of moduli spaces of quiver representations over $k$; the fixed locus is the set of $k$-rational points and we obtain a decomposition of this fixed locus indexed by elements in the Brauer group of $k$. We provide a modular interpretation of this decomposition using quiver representations over division algebras, and we reinterpret this description using twisted quiver representations. We also see that moduli spaces of twisted quiver representations give different forms of the moduli space…
The fixed point set under a natural torus action on projectivized moduli spaces of simple representations of quivers is described. As an application, the Euler characteristic of these moduli is computed.
This article describes some complex-analytic aspects of the moduli space of the finite-dimensional complex representations of a finite quiver, which are stable with respect to a fixed rational weight. We construct a natural structure of a complex manifold on this moduli space, and a Kähler metric on the complex manifold. We then define a Hermitian holomorphic line bundle on the moduli space, and show that its curvature is a rational multiple of the Kähler form.
Any moduli space of representations of a quiver (possibly with oriented cycles) has an embedding as a dense open subvariety into a moduli space of representations of a bipartite quiver having the same type of singularities. A connected quiver is Dynkin or extended Dynkin if and only if all moduli spaces of its representations are smooth.
It is shown that rational points over finite fields of moduli spaces of stable quiver representations are counted by polynomials with integer coefficients. These polynomials are constructed recursively using an identity in the Hall algebra of a quiver.
We explore several variations of the notion of purity for the action of Frobenius on schemes defined over finite fields. In particular, we study how these notions are preserved under certain natural operations like quotients for principal bundles and also geometric quotients for reductive group actions. We then apply these results to study the cohomology of quiver moduli. We prove that a natural stratification of the space of representations of a quiver with a fixed dimension vector is equivariantly perfect and from it deduce that each of the $l$-adic cohomology groups of the quiver moduli spa…
We show that the moduli stacks of semistable sheaves on smooth projective varieties are analytic locally on their coarse moduli spaces described in terms of representations of the associated Ext-quivers with convergent relations. When the underlying variety is a Calabi-Yau 3-fold, our result describes the above moduli stacks as critical locus analytic locally on the coarse moduli spaces. The results in this paper will be applied to the wall-crossing formula of Gopakumar-Vafa invariants defined by Maulik and the author.
Framed quiver moduli parametrize stable pairs consisting of a quiver representation and a map to a fixed graded vector space. Geometric properties and explicit realizations of framed quiver moduli for quivers without oriented cycles are derived, with emphasis on their cohomology. Their use for quantum group constructions is discussed.
We give a sufficient condition for the moduli space of quiver representations associated with a dimer model to be smooth for a general stability parameter. We also show that the moduli space in this case is a crepant resolution of the toric variety determined by the Newton polygon of the characteristic polynomial.
These lecture notes consist of an introduction to moduli spaces in algebraic geometry, with a strong emphasis placed on examples related to the theory of quiver representations. The goal is to provide the background necessary to understand the construction of the moduli spaces of stable and semistable quiver representations due to King, Nakajima's quiver varieties, as well as some 'quiver versions' of existing moduli spaces of algebra-geometric objects.
We construct the moduli space of finite dimensional representations of generalized quivers for arbitrary connected complex reductive groups using Geometric Invariant Theory as well as Symplectic reduction methods. We explicit characterize stability and instability for generalized quivers in terms of Jordan-Hölder and Harder Narasimhan objects, reproducing well-known results for classical case of quiver representations. We define and study the Hesselink and Morse stratifications on the parameter space for representations, and bootstrap them to an inductive formula for the equivariant Poincaré P…
We construct moduli spaces of representations of quivers over arbitrary schemes and show how moduli spaces of pointed curves of genus zero like the Grothendieck-Knudsen moduli spaces $\overline{M}_{0,n}$ and the Losev-Manin moduli spaces $\overline{L}_n$ can be interpreted as inverse limits of moduli spaces of representations of certain bipartite quivers. We also investigate the case of more general Hassett moduli spaces $\overline{M}_{0,a}$ of weighted pointed stable curves of genus zero.
Let αbe a Schur root; let h=hcf_v(α(v)) and let p = 1 - < α/h,α/h >. Then a moduli space of representations of dimension vector αis birational to p h by h matrices up to simultaneous conjugacy. Therefore, if h=1,2,3 or 4, then such a moduli space is a rational variety and if h divides 420 it is a stably rational variety.
A system of functional equations relating the Euler characteristics of moduli spaces of stable representations of quivers and the Euler characteristics of (Hilbert scheme-type) framed versions of quiver moduli is derived. This is applied to wall-crossing formulas for the Donaldson-Thomas type invariants of M. Kontsevich and Y. Soibelman, in particular confirming their integrality.
We show that a semi-stable moduli space of representations of an acyclic quiver can be identified with two GIT quotients by reductive groups. One of a quiver Grassmannian of a projective representation, the other of a quiver Grassmannian of an injective representation. This recovers as special cases the classical Gelfand-MacPherson correspondence and its generalization by Hu and Kim to bipartite quivers, as well as the Zelevinsky map for a quiver of Dynkin type A with the linear orientation.
Suppose $P^n_m$ is the blow up of $\mathbb{P}^n$ at a linear subspace of dimension $m$, $\mathcal{L}=\{L_1,\ldots,L_r\}$ is a (not necessarily full) strong exceptional collection of line bundles on $P^n_m$. Let $Q$ be the quiver associated to this collection. One might wonder when is $P^n_m$ the moduli space of representations of $Q$ with dimension vector $(1,\ldots,1)$ for a suitably chosen stability condition $θ$: $S\cong M_θ$. In this paper, we achieve such isomorphism using $\mathcal{L}$ of length $3$. As a result, $P^n_m$ is the moduli space of representations of a very simple quiver. Mor…
A factorization formula for certain automorphisms of a Poisson algebra associated to a quiver is proved, which involves framed versions of moduli spaces of quiver representations. This factorization formula is related to wall-crossing formulas for Donaldson-Thomas type invariants of M. Kontsevich and Y. Soibelman.
A result of A. King and C. Walter asserts that the Chow ring of a fine quiver moduli space is generated by the Chern classes of universal bundles if the quiver is acyclic. We will show that defining relations between these Chern classes arise geometrically as degeneracy loci associated to the universal representation.
We describe weighted projective lines in the sense of Geigle and Lenzing by a moduli problem on the canonical algebra of Ringel. We then go on to study generators of the derived categories of coherent sheaves on the total spaces of their canonical bundles, and show that they are rarely tilting. We also give a moduli construction for these total spaces for weighted projective lines with three orbifold points.
We compute rational equivariant Chow rings with respect to a torus of quiver moduli spaces. We derive a presentation in terms of generators and relations, use torus localization to identify it as a subring of the Chow ring of the fixed point locus, and we compare the two descriptions.
Torus fixed points of quiver moduli spaces are given by stable representations of the universal (abelian) covering quiver. As far as the Kronecker quiver is concerned they can be described by stable representations of certain bipartite quivers coming along with a stable colouring. By use of the glueing method it is possible to construct a huge class of such quivers implying a lower bound for the Euler characteristic. For certain roots it is even possible to construct all torus fixed points.
The aim of this paper is to study the singularities of certain moduli spaces of sheaves on K3 surfaces by means of Nakajima quiver varieties. The singularities in question arise from the choice of a non--generic polarization, with respect to which we consider stability, and admit natural symplectic resolutions corresponding to choices of general polarizations. For sheaves that are pure of dimension one, we show that these moduli spaces are, locally around a singular point, isomorphic to a quiver variety and that, via this isomorphism, the natural symplectic resolutions correspond to variations…
We study torus actions on moduli spaces of quivers. First we give a description of the weight spaces of the induced action of the tangent space to a torus-fixed point. Then we focus on actions of tori of rank one and derive an explicit form for the attractors in the Białynicki-Birula decomposition.
