In this work we obtain a version of the Procesi-Rasmyslov Theorem for the algebra of semi-invariants of representations of an arbitrary quiver with dimension vector (2,2,...,2).
We derive a combinatorial formula for quantized Donaldson-Thomas invariants of the m-loop quiver. Our main tools are the combinatorics of noncommutative Hilbert schemes and a degenerate version of the Cohomological Hall algebra of this quiver.
In this paper we give a simple description of DT-invariants of double quivers without potential as the multiplicity of the Steinberg character in some representation associated with the quiver. When the dimension vector is indivisible we use this description to express these DT-invariants as the Poincaré polynomial of some singular quiver varieties. Finally we explain the connections with previous work of Hausel-Letellier-Villegas where DT-invariants are expressed as the graded multiplicities of the trivial representation of some Weyl group in the cohomology of some non-singular quiver varieti…
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.
This paper is a survey on invariants of representations of quivers and their generalizations. We present the description of generating systems for invariants and relations between generators.
We study motivic Donaldson-Thomas invariants for a class of quivers with potentials using the strategy of Behrend, Bryan, and Szendroi. This class includes quivers with potentials arising from consistent brane tilings and quivers with zero potential. Our construction is an alternative to the constructions of Kontsevich and Soibelman. We construct an integration map from the equivariant Hall algebra to the quantum torus and show that our motivic Donaldson-Thomas invariants are images of the natural elements in the equivariant Hall algebra. We show that the inegration map is an algebra homomorph…
We present some theorems and algorithms for calculating perpendicular categories and locally semi-simple decompositions. We implemented a computer program {\sc TETIVA} based on these algorithms and we offer this program for everybody's use.
This paper studies the geometric and algebraic aspects of the moduli spaces of quivers of fence type. We first provide two quotient presentations of the quiver varieties and interpret their equivalence as a generalized Gelfand-MacPherson correspondence. Next, we introduce parabolic quivers and extend the above from the actions of reductive groups to the actions of parabolic subgroups. Interestingly, the above geometry finds its natural counterparts in the representation theory as the branching rules and transfer principle in the context of the reciprocity algebra. The last half of the paper es…
The semi-stable ChowHa of a quiver with stability is defined as an analog of the Cohomological Hall algebra of Kontsevich and Soibelman via convolution in equivariant Chow groups of semi-stable loci in representation varieties of quivers. We prove several structural results on the semi-stable ChowHa, namely isomorphism of the cycle map, a tensor product decomposition, and a tautological presentation. For symmetric quivers, this leads to an identification of their quantized Donaldson-Thomas invariants with the Chow-Betti numbers of moduli spaces.
We suggest a geometrical approach to the semi-invariants of quivers based on Luna's slice theorem and the Luna-Richardson theorem. The locally semi-simple representations are defined in this spirit but turn out to be connected with stable representations in the sense of GIT, Schofield's perpendicular categories, and Ringel's regular representations. As an application of this method we obtain an independent short proof of the theorem of Skowronsky and Weyman about semi-invariants of the tame quivers.
The main result of this paper is the statement that the Hodge theoretic Donaldson-Thomas invariant for a quiver with zero potential and a generic stability condition agrees with the compactly supported intersection cohomology of the closure of the stable locus inside the associated coarse moduli space of semistable quiver representations. In fact, we prove an even stronger result relating the Donaldson-Thomas "function" to the intersection complex. The proof of our main result relies on a relative version of the integrality conjecture in Donaldson-Thomas theory. This will be the topic of the s…
A quiver is an oriented graph. Quiver mutation is an elementary operation on quivers. It appeared in physics in Seiberg duality in the nineties and in mathematics in the definition of cluster algebras by Fomin-Zelevinsky in 2002. We show, for large classes of quivers Q, using quiver mutation and quantum dilogarithms, one can construct the combinatorial DT-invariant, a formal power series intrinsically associated with Q. When defined, it coincides with the "total" Donaldson-Thomas invariant of Q (with a generic potential) provided by algebraic geometry (work of Joyce, Kontsevich-Soibelman, Szen…
We introduce the notion of a super-representation of a quiver. For super-representations of quivers over a field of characteristic zero, we describe the corresponding (super)algebras of polynomial semi-invariants and polynomial invariants.
We use recent results on matrix semi-invariants to give degree bounds on generators for the ring of semi-invariants for quivers with no oriented cycles.
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.
We give a new short proof of Skowronski and Weyman's theorem about the structure of the algebras of semi-invariants of Euclidean quivers, in the case of quivers without oriented cycles. Our proof is based essentially on Derksen and Weyman's result about the generators of these algebras and properties of Schofield semi-invariants.
We give a cohomological interpretation of both the Kac polynomial and the refined Donaldson-Thomas- invariants of quivers. This interpretation yields a proof of a conjecture of Kac from 1982 and gives a new perspective on recent work of Kontsevich-Soibelman. This is achieved by computing, via an arithmetic Fourier transform, the dimensions of the isoytpical components of the cohomology of associated Nakajima quiver varieties under the action of a Weyl group. The generating function of the corresponding Poincaré polynomials is an extension of Hua's formula for Kac polynomials of quivers involvi…
In this article we study a conjecture of Geiss-Leclerc-Schr{ö}er, which is an analogue of a classical conjecture of Lusztig in the Weyl group case. It concerns the relation between canonical basis and semi-canonical basis through the characteristic cycles. We formulate an approach to this conjecture and prove it for type $A_2$ quiver. In general type A case, we reduce the conjecture to show that certain nearby cycles have vanishing Euler characteristic.
The notion of mixed representations of quivers can be derived from ordinary quiver representations by considering the dual action of groups on "vertex" vector spaces together with the usual action. A generating system for the algebra of semi-invariants of mixed representations of a quiver is determined. This is done by reducing the problem to the case of bipartite quivers of the special form and by introducing a function DP on three matrices, which is a mixture of the determinant and two pfaffians.
Given a brane tiling, that is a bipartite graph on a torus, we can associate with it a quiver potential and a quiver potential algebra. Under certain consistency conditions on a brane tiling, we prove a formula for the Donaldson-Thomas type invariants of the moduli space of framed cyclic modules over the corresponding quiver potential algebra. We relate this formula with the counting of perfect matchings of the periodic plane tiling corresponding to the brane tiling. We prove that the same consistency conditions imply that the quiver potential algebra is a 3-Calabi-Yau algebra. We also formula…
In this paper we compute b-functions (or Bernstein-Sato polynomials) of various semi-invariants of quivers. The main tool is an explicit relation for the b-functions between semi-invariants that correspond to each other under reflection functors (or castling transforms). This enables us to compute recursively the b-functions for all Dynkin quivers, and extended Dynkin quivers with prehomogeneous dimension vectors.
A large class of N=2 quantum field theories admits a BPS quiver description and the study of their BPS spectra is then reduced to a representation theory problem. In such theories the coupling to a line defect can be modelled by framed quivers. The associated spectral problem characterises the line defect completely. Framed BPS states can be thought of as BPS particles bound to the defect. We identify the framed BPS degeneracies with certain enumerative invariants associated with the moduli spaces of stable quiver representations. We develop a formalism based on equivariant localization to com…
Stability conditions play an important role in the study of representations of a quiver. In the present paper, we study semistable representations of quivers. In particular, we describe the slopes of semistable representations of a tame quiver for a fixed stability condition.
A minimal (by inclusion) generating set for the algebra of semi-invariants of a quiver of dimension (2,...,2) is established over an infinite field of arbitrary characteristic. The mentioned generating set consists of the determinants of generic matrices and the traces of tree paths of pairwise different multidegrees, where in the case of characteristic different from two we take only admissible paths. As a consequence, we describe relations modulo decomposable semi-invariants.
A pathway from one vertex of a quiver to another is a reduced path. We modify the classical definition of quiver representations and we prove that semi-invariant polynomials for filtered quiver representations come from diagonal entries if and only if the quiver has at most two pathways between any two vertices. Such class of quivers includes finite $ADE$-Dynkin quivers, affine $\widetilde{A}\widetilde{D}\widetilde{E}$-Dynkin quivers, star-shaped and comet-shaped quivers. Next, we explicitly write all semi-invariant generators for filtered quiver representations for framed quivers with at most…
We introduce a new concept of mixed representations of quivers that is a generalization of ordinary representations of quivers and orthogonal (symplectic) representations of symmetric quivers introduced recently by Derksen and Weyman. We describe the generating invariants of mixed representations of quivers (First Fundamental Theorem) and prove additional results that allow us to describe the defining relations between them in the second article.
It is well known that the ring of polynomial invariants of a reductive group is finitely generated. However, it is difficult to give strong upper bounds on the degrees of the generators, especially over fields of positive characteristic. In this paper, we make use of the theory of good filtrations along with recent results on the null cone to provide polynomial bounds for matrix semi-invariants in arbitrary characteristic, and consequently for matrix invariants. Our results generalize to invariants and semi-invariants of quivers.
We consider a generalization of representations of quivers that can be derived from the ordinary representations of quivers by considering a product of arbitrary classical groups instead of a product of the general linear groups and by considering the dual action of groups on "vertex" vector spaces together with the usual action. A generating system for the corresponding algebra of invariants is found. In particular, a generating system for the algebra of SO(n)-invariants of several matrices is constructed over a field of characteristic different from 2. The proof uses the reduction to semi-in…
In this paper, we solve a problem raised by V. Kac in \cite{Kac} on locally semi-simple quiver representations. Specifically, we show that an acyclic quiver $Q$ is of tame representation type if and only if every representation of $Q$ with a semi-simple ring of endomorphisms is locally semi-simple.
We derive some combinatorial consequences from the positivity of Donaldson-Thomas invariants for symmetric quivers conjectured by Kontsevich and Soibelman and proved recently by Efimov. These results are used to prove the Kac conjecture for quivers having at least one loop at every vertex.
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 …
An upper bound on degrees of elements of a minimal generating system for invariants of quivers of dimension (2,...,2) is established over a field of arbitrary characteristic and its precision is estimated. The proof is based on the reduction to the problem of description of maximal paths satisfying certain condition.
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.
In the previous article we introduced the new concept of mixed representations of quivers and described the generators of their algebras of invariants. In this article we describe the defining relations of these algebras. Some applications for the invariants of orthogonal or symplectic groups acting on several matrices are given.
We prove the flow tree formula conjectured by Alexandrov and Pioline which computes Donaldson-Thomas invariants of quivers with potentials in terms of a smaller set of attractor invariants. This result is obtained as a particular case of a more general flow tree formula reconstructing a consistent scattering diagram from its initial walls.
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…
Let $Q$ be a quiver with dimension vector $α$ prehomogeneous under the action of the product of general linear groups $\operatorname{GL}(α)$ on the representation variety $\operatorname{Rep}(Q,α)$. We study geometric properties of zero sets of semi-invariants of this space. It is known that for large numbers $N$, the nullcone in $\operatorname{Rep}(Q,N\cdot α)$ becomes a complete intersection. First, we show that it also becomes reduced. Then, using Bernstein-Sato polynomials, we discuss some criteria for zero sets to have rational singularities. In particular, we show that for Dynkin quivers …
Let $(Q,σ)$ be a symmetric quiver, where $Q=(Q_0,Q_1)$ is a finite quiver without oriented cycles and $σ$ is a contravariant involution on $Q_0\sqcup Q_1$. The involution allows us to define a nondegenerate bilinear form $<,>$ on a representation $V$ of $Q$. We shall call the representation orthogonal if $<,>$ is symmetric and symplectic if $<,>$ is skew-symmetric. Moreover we can define an action of products of classical groups on the space of orthogonal representations and on the space of symplectic representations. For symmetric quivers of finite type, we prove that the rings of semi-invari…
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 introduce a new class of representations of the cohomological Hall algebras of Kontsevich and Soibelman, which we call cohomological Hall modules, or CoHM for short. These representations are constructed from self-dual representations of a quiver with contravariant involution $σ$ and provide a mathematical model for the space of BPS states in orientifold string theory. We use the CoHM to define a generalization of the cohomological Donaldson-Thomas theory of quivers which allows the quiver representations to have orthogonal and symplectic structure groups. The associated invariants are call…
In previous work we have shown that the equivariant index of multi-centered N=2 black holes localizes on collinear configurations along a fixed axis. Here we provide a general algorithm for enumerating such collinear configurations and computing their contribution to the index. We apply this machinery to the case of black holes described by quiver quantum mechanics, and give a systematic prescription -- the Coulomb branch formula -- for computing the cohomology of the moduli space of quiver representations. For quivers without oriented loops, the Coulomb branch formula is shown to agree with t…
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 show that a finite, connected quiver Q without oriented cycles is a Dynkin or Euclidean quiver if and only if all orbit semigroups of representations of Q are saturated.
In this paper we study the construction of holomorphic gauge invariant operators for general quiver gauge theories with flavour symmetries. Using a characterisation of the gauge invariants in terms of equivalence classes generated by permutation actions, along with representation theory results in symmetric groups and unitary groups, we give a diagonal basis for the 2-point functions of holomorphic and anti-holomorphic operators. This involves a generalisation of the previously constructed Quiver Restricted Schur operators to the flavoured case. The 3-point functions are derived and shown to b…
We prove that the generating functions for the colored HOMFLY-PT polynomials of rational links are specializations of the generating functions of the motivic Donaldson-Thomas invariants of appropriate quivers that we naturally associate with these links. This shows that the conjectural links-quivers correspondence of Kucharski-Reineke-Stošić-Sułkowski as well as the LMOV conjecture hold for rational links. Along the way, we extend the links-quivers correspondence to tangles and, thus, explore elements of a skein theory for motivic Donaldson-Thomas invariants.
Gromov-Witten invariants of weighted projective planes and Euler characteristics of moduli spaces of representations of bipartite quivers are related via the tropical vertex, a group of formal automorphisms of a torus. On the Gromov-Witten side, this uses the work of Gross, Pandharipande and Siebert. The quiver moduli side features quiver wall-crossing formulas, functional equations for Euler characteristics, and localization techniques. We derive several explicit formulas for Gromov-Witten invariants.
Let G denote either a special orthogonal group or a symplectic group defined over the complex numbers. We prove the following saturation result for G: given dominant weights λ^1, ..., λ^r such that the tensor product V_{Nλ^1} \otimes ... \otimes V_{Nλ^r} contains nonzero G-invariants for some N \ge 1, we show that the tensor product V_{2λ^1} \otimes ... \otimes V_{2λ^r} also contains nonzero G-invariants. This extends results of Kapovich-Millson and Belkale-Kumar and complements similar results for the general linear group due to Knutson-Tao and Derksen-Weyman. Our techniques involve the invar…
In this paper, we answer the question of when the subcategory of semi-stable representations is the same for two rational vectors for an acyclic quiver. This question has been previously answered by Ingalls, Paquette, and Thomas in the tame case in [10]. Here we take a more invariant theoretic approach, to answer this question in general. We recover the known result in the tame case.
We apply the method of orbit harmonics to the set of break divisors and orientable divisors on graphs to obtain the central and external zonotopal algebras respectively. We then relate a construction of Efimov in the context of cohomological Hall algebras to the central zonotopal algebra of a graph $G_{Q,γ}$ constructed from a symmetric quiver $Q$ with enough loops and a dimension vector $γ$. This provides a concrete combinatorial perspective on the former work, allowing us to identify the quantum Donaldson-Thomas invariants as the Hilbert series of the space of $S_γ$-invariants of the Postnik…
We prove a family of factorization formulas for the combinatorial Donaldson--Thomas invariant for an acyclic quiver. A quantum dilogarithm identity due to Reineke, later interpreted by Rimanyi by counting codimensions of quiver loci, gives two extremal cases of our formulation in the Dynkin case. We establish our interpolating factorizations explicitly with a dimension counting argument by defining certain stratifications of the space of representations for the quiver and calculating Betti numbers in the corresponding equivariant cohomology algebras.