Holomorphic chains on a Riemann surface arise naturally as fixed points of the natural C*-action on the moduli space of Higgs bundles. In this paper we associate a new quiver bundle to the Hom-complex of two chains, and prove that stability of the chains implies stability of this new quiver bundle. Our approach uses the Hitchin-Kobayashi correspondence for quiver bundles. Moreover, we use our result to give a new proof of a key lemma on chains (due to Álvarez-Cónsul, García-Prada and Schmitt), which has been important in the study of Higgs bundle moduli; this proof relies on stability and thus avoids the direct use of the chain vortex equations.
In this note we prove a new explicit formula for the invariants of moduli spaces of twisted Higgs bundles over P^1 and we relate these invariants to the invariants of moduli spaces of representations of some infinite symmetric quiver. The formula can be easily implemented for computations and it is in agreement with the existing conjectures for the invariants of twisted Higgs bundles over curves. Results of this note were presented in Oberwolfach in May 2014.
We prove that every toric quiver flag variety $Y$ is isomorphic to a fine moduli space of cyclic modules over the algebra $\text{End}(T)$ for some tilting bundle $T$ on $Y$. This generalises the well known fact that $\mathbb{P}^n$ can be recovered from the endomorphism algebra of $\bigoplus_{0\leq i\leq n} \mathcal{O}_{\mathbb{P}^n}(i)$.
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 …
In his work on deformation quantization of algebraic varieties Kontsevich introduced the notion of algebroid as a certain generalization of a sheaf of algebras. We construct algebroids which are given locally by NC-smooth thickenings in the sense of Kapranov, over two classes of smooth varieties: the bases of miniversal families of vector bundles on projective curves, and the bases of miniversal families of quiver representations.
We introduce the notion of filtered representations of quivers, which is related to usual quiver representations, but is a systematic generalization of conjugacy classes of $n\times n$ matrices to (block) upper triangular matrices up to conjugation by invertible (block) upper triangular matrices. With this notion in mind, we describe the ring of invariant polynomials for interesting families of quivers, namely, finite $ADE$-Dynkin quivers and affine type $\widetilde{A}$-Dynkin quivers. We then study their relation to an important and fundamental object in representation theory called the Groth…
We review the theory of quiver bundles over a Kähler manifold, and then introduce the concept of generalized quiver bundles for an arbitrary reductive group G. We first study the case when G=O(V) or Sp(V), interpreting them as orthogonal (resp. symplectic) bundle representations of the symmetric quivers introduced by Derksen-Weyman. We also study supermixed quivers, which simultaneously involve both orthogonal and symplectic symmetries. Finally, we discuss Hitchin-Kobayashi correspondences for these objects.
We study the principal parts bundles $P^k (L)$ of the degree $d$ line bundle $L$ on the $n$ dimensional projective space as homogeneous bundles and we describe their associated quiver representations. We use this approach to show that if $n$ is greater or equal that 2, and $0\leq d<k$, then there exists an invariant splitting $P^k(L)=Q\oplus (S^dV\otimes \OO_{\PP^n})$ with $Q$ a stable homogeneous vector bundle. The splitting properties of such bundles were previously known only for n=1 or $k\leq d$ or $d<0$. Moreover we show that for any $d$ and any $h<k$ the canonical map from $P^k(L)$ to $P…
Given a collection of line bundles on a complete toric variety, the Macaulay2 package QuiversToricVarieties contains functions to construct its quiver of sections and check whether the collection is strong exceptional. It contains a database of full strong exceptional collections of line bundles for smooth Fano toric varieties of dimension less than or equal to 4.
Several important cases of vector bundles with extra structure (such as Higgs bundles and triples) may be regarded as examples of twisted representations of a finite quiver in the category of sheaves of modules on a variety/manifold/ringed space. We show that the category of such representations is an abelian category with enough injectives by constructing an explicit injective resolution. Using this explicit resolution, we find a long exact sequence that computes the Ext groups in this new category in terms of the Ext groups in the old category. The quiver formulation is directly reflected in…
We present equivalences between certain categories of vector bundles on projective varieties, namely cokernel bundles, Steiner bundles, syzygy bundles, and monads, and full subcategories of representations of certain quivers. As an application, we provide decomposability criteria for such bundles.
We prove the equivalence of (a slightly modified version of) the wall-crossing formula of Manschot, Pioline and Sen and the wall-crossing formula of Kontsevich and Soibelman. The former involves abelian analogues of the motivic Donaldson-Thomas type invariants of quivers with stability introduced by Kontsevich and Soibelman, for which we derive positivity and geometricity properties.
In "Quantization of Hitchin's Integrable System and Hecke Eigensheaves", Beilinson and Drinfeld introduced the "very good" property for a smooth complex equidimensional stack. They prove that for a semisimple complex group G, the moduli stack of G-bundles over a smooth complex projective curve X is "very good", as long as X has genus g > 1. In the case of the projective line, when g = 0, this is not the case. However, the result can sometimes be extended to the projective line by introducing additional parabolic structure at a collection of marked points and slightly modifying the definition o…
In this paper, we prove the categorical wall-crossing formula for certain quivers containing the three loop quiver, which we call DT/PT quivers. These quivers appear as Ext-quivers for the wall-crossing of DT/PT moduli spaces on Calabi-Yau 3-folds. The resulting formula is a semiorthogonal decomposition which involves quasi-BPS categories studied in our previous papers, and we regard it as a categorical analogue of the numerical DT/PT correspondence. As an application, we prove a categorical DT/PT correspondence for sheaves supported on reduced plane curves in the affine three dimensional spac…
We prove a closed formula counting semistable twisted (or meromorphic) Higgs bundles of fixed rank and degree over a smooth projective curve of genus g, defined over a finite field, when the degree of the twisting line bundle is at least 2g-2; this includes the case of usual Higgs bundles. We obtain at the same time a closed expression for the Donaldson-Thomas invariants of the moduli spaces of twisted Higgs bundles. We similarly deal with twisted quiver bundles of type A (affine or finite), obtaining in particular a Harder-Narasimhan-type formula counting semistable U(p,q)-bundles over any sm…
We give a moduli-theoretic treatment of the existence and properties of moduli spaces of semistable quiver representations, avoiding methods from geometric invariant theory. Using the existence criteria of Alper--Halpern-Leistner--Heinloth, we show that for many stability functions, the stack of semistable representations admits an adequate moduli space, and prove that this moduli space is proper over the moduli space of semisimple representations. We construct a natural determinantal line bundle that descends to a semiample line bundle on the moduli space and provide new effective bounds for …
Given a double quiver, we study homological algebra of twisted quiver sheaves with the moment map relation using the short exact sequence of Crawley-Boevey, Holland, Gothen, and King. Then in a certain one-parameter space of the stability conditions, we obtain a wall-crossing formula for the generalized Donaldson-Thomas invariants of the abelian category of framed twisted quiver sheaves on a smooth projective curve. To do so, we closely follow the approach of Chuang, Diaconescu, and Pan in the ADHM quiver case, which makes use of the theory of Joyce and Song. The invariants virtually count fra…
We study the BPS particle spectrum of five-dimensional superconformal field theories (SCFTs) on $\mathbb{R}^4\times S^1$ with one-dimensional Coulomb branch, by means of their associated BPS quivers. By viewing these theories as arising from the geometric engineering within M-theory, the quivers are naturally associated to the corresponding local Calabi-Yau threefold. We show that the symmetries of the quiver, descending from the symmetries of the Calabi-Yau geometry, together with the affine root lattice structure of the flavor charges, provide equations for the Kontsevich-Soibelman wall-cros…
Starting from a collection of line bundles on a projective toric orbifold X, we introduce a stacky analogue of the classical linear series. Our first main result extends work of King by building moduli stacks of refined representations of labelled quivers. We associate one such stack to any collection of line bundles on X to obtain our notion of a stacky linear series; as in the classical case, X maps to the ambient stack by evaluating sections of line bundles in the collection. As a further application, we describe a finite sequence of GIT wall crossings between [A^n/G] and G-Hilb(A^n) for a …
Let Q be a finite quiver without oriented cycles. Denote by U --> M the fine moduli space of stable thin sincere representations of Q with respect to the canonical stability notion. We prove Ext^i(U,U) = 0 for all i >0 and compute the endomorphism algebra of the universal bundle U. Moreover, we obtain a necessary and sufficient condition for when this algebra is isomorphic to the path algebra kQ of the quiver Q. If so, then the bounded derived category of finitely generated right kQ-modules is embedded into that of coherent sheaves on M.
A twisted quiver bundle is a set of holomorphic vector bundles over a complex manifold, labelled by the vertices of a quiver, linked by a set of morphisms twisted by a fixed collection of holomorphic vector bundles, labelled by the arrows. When the manifold is Kaelher, quiver bundles admit natural gauge-theoretic equations, which unify many known equations for bundles with extra structure. In this paper we prove a Hitchin--Kobayashi correspondence for twisted quiver bundles over a compact Kaehler manifold, relating the existence of solutions to the gauge equations to a stability criterion, and…
We describe the cohomology groups of a homogeneous vector bundle $E$ on any Hermitian symmetric variety $X=G/P$ of ADE type as the cohomology of a complex explicitly described. The main tool is the equivalence between the category of homogeneous bundles and the category of representations of a certain quiver ${\cal Q}_X$ with relations, whose vertices are the dominant weights of the reductive part of $P$. This equivalence was found in some cases by Bondal, Kapranov and Hille and we find the appropriate relations for any Hermitian symmetric variety, computing them explicitly for Grassmannians.
We study motivic Donaldson-Thomas invariants in the sense of Behrend-Bryan-Szendroi. A wall-crossing formula under a mutation is proved for a certain class of quivers with potentials.
We study moduli spaces of Ulrich bundles of rank $r \geq 2$ on the Fano 3-fold $V_5$ of Picard number 1, degree 5 and index 2. We prove that the moduli space of stable Ulrich bundles of rank $r$ on $V_5$ can be identified with a smooth $(r^2+1)$-dimensional open subset of the moduli space of stable quiver representations with dimension vector $(r, r)$ of the Kronecker quiver with 2 vertices and 3 arrows.
We extend the scope of a former paper to vector bundle problems involving more than one vector bundle. As the main application, we obtain the solution of the well-known moduli problems of vector bundles associated with general quivers.
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…
We study the algebraic geometry of twisted Higgs bundles of cyclic type along complex curves. These objects, which generalize ordinary cyclic Higgs bundles, can be identified with representations of a cyclic quiver in a twisted category of coherent sheaves. Referring to the Hitchin fibration, we produce a fibre-wise geometric description of the locus of such representations within the ambient twisted Higgs moduli space. When the genus is 0, we produce a concrete geometric identification of the moduli space as a vector bundle over an associated (twisted) A-type quiver variety; we count the numb…
In this paper a formula is proved for the general degeneracy locus associated to an oriented quiver of type A_n. Given a finite sequence of vector bundles with maps between them, these loci are described by putting rank conditions on arbitrary composites of the maps. Our answer is a polynomial in Chern classes of the bundles involved, depending on the given rank conditions. It can be expressed as a linear combination of products of Schur polynomials in the differences of the bundles. The coefficients are interesting generalizations of Littlewood-Richardson numbers. These polynomials specialize…
Ordinarily, quiver varieties are constructed as moduli spaces of quiver representations in the category of vector spaces. It is also natural to consider quiver representations in a richer category, namely that of vector bundles on some complex variety equipped with a fixed sheaf that twists the morphisms. Representations of A-type quivers in this twisted category --- known in the literature as "holomorphic chains" --- have practical use in questions concerning the topology of the moduli space of Higgs bundles. In that problem, the variety is a Riemann surface of genus at least 2, and the twist…
University of Science and Technology of China（中国科学技术大学）；Facultad de Ciencias Matemáticas, Universidade de Santiago de Compostela（圣地亚哥-德孔波斯特拉大学数学科学学院）；School of Mathematics, University of Birmingham（伯明翰大学数学学院）
In the setting of a variety $X$ admitting a tilting bundle $T$ we consider the problem of constructing $X$ as a quiver GIT quotient of the endomorphism algebra $A=\textrm{End}_X(T)^{\textrm{op}}$ corresponding to the tilting bundle. We prove that if the tilting equivalence restricts to a bijection between the skyscraper sheaves of $X$ and the closed points of a quiver GIT moduli functor for $A$ then $X$ is indeed a fine moduli space for this quiver GIT moduli functor, and we prove this result without any assumptions on the singularities of $X$. As an application we consider varieties which are…
We prove wall-crossing formulas for the motivic invariants of the moduli spaces of framed objects in the ind-constructible abelian categories. Developed techniques are applied in the case of the motivic Donaldson-Thomas invariants of quivers with potentials. Another application is a new proof of the formula for the motivic invariants of smooth models of quiver moduli spaces.
In this paper we give a complete description of the Hitchin fibration on all 2-dimensional moduli spaces of rank 2 irregular Higgs bundles with two poles on the projective line. We describe the dependence of the singular fibers of the fibration on the eigenvalues of the Higgs fields, and describe the corresponding motivic wall-crossing phenomenon in the parameter space of parabolic weights.
The so-called Hitchin-Kobayashi correspondence, proved by Donaldson, Uhlenbeck and Yau, establishes that an indecomposable holomorphic vector bundle over a compact Kahler manifold admits a Hermitian-Einstein metric if and only if the bundle satisfies the Mumford-Takemoto stability condition. In this paper we consider a variant of this correspondence for G-equivariant vector bundles on the product of a compact Kahler manifold X by a flag manifold G/P, where G is a complex semisimple Lie group and P is a parabolic subgroup. The modification that we consider is determined by a filtration of the v…
The BPS state spectrum in four-dimensional gauge theories or string vacua with N=2 supersymmetries is well known to depend on the values of the parameters or moduli at spatial infinity. The BPS index is locally constant, but discontinuous across real codimension-one walls where some of the BPS states decay. By postulating that BPS states are bound states of more elementary constituents carrying their own degrees of freedom and interacting via supersymmetric quantum mechanics, we provide a physically transparent derivation of the universal wall-crossing formula which governs the jump of the ind…
We study the spectrum of BPS D-branes on a Calabi-Yau manifold using the 0+1 dimensional quiver gauge theory that describes the dynamics of the branes at low energies. The results of Kontsevich and Soibelman predict how the degeneracies change. We argue that Seiberg dualities of the quiver gauge theories, which change the basis of BPS states, correspond to crossing the "walls of the second kind." There is a large class of examples, including local del Pezzo surfaces, where the BPS degeneracies of quivers corresponding to one D6 brane bound to arbitrary numbers of D4, D2 and D0 branes are count…
Let P be a parabolic subgroup of a simple affine algebraic group G defined over C and X a compact connected Kähler manifold. L. Álvarez-Cónsul and O. García-Prada associated to these a quiver Q and representations of Q into holomorphic vector bundles on X. Our aim here is to investigate the differential geometric properties of the moduli spaces representations of Q into vector bundles on X. In particular, we construct a Hermitian form on these moduli spaces. A fiber integral formula is proved for this Hermitian form; this fiber integral formula implies that the Hermitian form is Kähler. We com…
Motivated by the counting of BPS states in string theory with orientifolds, we study moduli spaces of self-dual representations of a quiver with contravariant involution. We develop Hall module techniques to compute the number of points over finite fields of moduli stacks of semistable self-dual representations. Wall-crossing formulas relating these counts for different choices of stability parameters recover the wall-crossing of orientifold BPS/Donaldson-Thomas invariants predicted in the physics literature. In finite type examples the wall-crossing formulas can be reformulated in terms of id…
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.
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.
This paper introduces a class of smooth projective varieties that generalise and share many properties with partial flag varieties of type A. The quiver flag variety M_\vartheta(Q,r) of a finite acyclic quiver Q (with a unique source) and a dimension vector r is a fine moduli space of stable representations of Q. Quiver flag varieties are Mori Dream Spaces, they are obtained via a tower of Grassmann bundles, and their bounded derived category of coherent sheaves is generated by a tilting bundle. We define the multigraded linear series of a weakly exceptional sequence of locally free sheaves E …
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 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.
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.
We study the stability of some homogeneous bundles on P^3 by using their representations of the quiver associated to the homgeneous bundles on P^3. In particular we show that homogeneous bundles on P^3 whose support of the quiver representation is a parallelepiped are stable, for instance the bundles E whose minimal free resolution is of the kind 0 --> S^{l_1, l_2, l_3} V (t) --> S^{l_1 +s, l_2, l_3} V (t+s) --> E --> 0 are stable.
In this article, we use the relationship between cluster scattering diagrams and stability scattering diagrams to relate quiver representations with these diagrams. With a notion of positive crossing of a path $γ$, we show that if $γ$ has positive crossing in the scattering diagram, then it goes in the opposite direction of the Auslander-Reiten quiver of $Q$. We then give the Hall algebra theta functions which recover the cluster character formula by the Euler characteristic map. At last, we define the Hall algebra broken lines and then are able to give the stratification of the quiver Grassma…
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.
