For any acyclic quiver, we establish a family of structure isomorphisms for its cohomological Hall algebra (CoHA). The family is parameterized by partitions of the quiver into Dynkin subquivers. For each such partition, we write the domain of our isomorphism as a tensor product of subalgebras in two ways. In the first, each tensor factor is isomorphic to the CoHA of the quiver with a single vertex and no arrows. In the second, the tensor factors are each isomorphic to the CoHAs of the corresponding Dynkin subquivers. When the quiver is already an orientation of a simply-laced Dynkin diagram, our results interpolate between isomorphisms proved by Rimanyi. Such CoHA decompositions appear in prior work of Davison--Meinhardt and Franzen--Reineke, but our proof gives an explicit topological realization of these results. As a consequence of our method, we deduce that certain structure constants in the CoHA naturally arise as CoHA products of classes of Dynkin quiver polynomials.
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.
We give a short introduction to Cohomological Hall algebras of quivers and describe the semistable Cohomological Hall algebra of central slope of the Kronecker quiver in terms of generators and relations.
For an acyclic quiver, we establish a connection between the cohomology of quiver Grassmannians and the dual canonical bases of the algebra $U_q^-(\mathfrak{g})$, where $U_q^-(\mathfrak{g})$ is the negative half of the quantized enveloping algebra associated with the quiver. In order to achieve this goal, we study the cohomology of quiver Grassmannians by Lusztig's category. As a consequence, we describe explicitly the Poincaré polynomials of rigid quiver Grassmannians in terms of the coefficients of dual canonical bases, which are viewed as elements of quantum shuffle algebras. By this result…
This paper aims at a geometric realization of the Yangian of non-simply laced type in terms of quiver with potentials. For every quiver with symmetrizer, there is an extended quiver with superpotential, whose Jacobian algebra is the generalized preprojective algebra of Geiß, Leclerc, and Schröer arXiv:1410.1403. We study the cohomological Hall algebra of Kontsevich and Soibelman associated to this quiver with potential. In particular, we prove a dimensional reduction result, and provide a shuffle formula of this cohomological Hall algebra. In the case when the quiver with symmetrizer comes fro…
Let A be the path algebra of a quiver Q with no oriented cycle. We study geometric properties of the Grassmannians of submodules of a given A-module M. In particular, we obtain some sufficient conditions for smoothness, polynomial cardinality and we give different approaches to Euler characteristics. Our main result is the positivity of Euler characteristics when M is an exceptional module. This solves a conjecture of Fomin and Zelevinsky for acyclic cluster algebras.
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…
We introduce a new class of algebraic varieties which we call frieze varieties. Each frieze variety is determined by an acyclic quiver. The frieze variety is defined in an elementary recursive way by constructing a set of points in affine space. From a more conceptual viewpoint, the coordinates of these points are specializations of cluster variables in the cluster algebra associated to the quiver. We give a new characterization of the finite--tame--wild trichotomy for acyclic quivers in terms of their frieze varieties. We show that an acyclic quiver is representation finite, tame, or wild, re…
Using results in a previous paper "Non-semistable exceptional objects in hereditary categories", we focus here on studying the topology of the space of Bridgeland stability conditions on $D^b(Rep_k(Q ))$, where $Q$ is the acyclic triangular quiver (the underlying graph is the extended Dynkin diagram $\widetilde{\mathbb A}_2$). In particular, we prove that this space is contractible (in the previous paper it was shown that it is connected).
Pursuing the similarity between the Kontsevich--Soibelman construction of the cohomological Hall algebra of BPS states and Lusztig's construction of canonical bases for quantum enveloping algebras, and the similarity between the inetgrality conjecture for motivic Donaldson--Thomas invariants and the PBW theorem for quantum enveloping algebras, we build a coproduct on the cohomological Hall algebra associated to a quiver with potential. We also prove a cohomological dimensional reduction theorem, further linking a special class of cohomological Hall algebras with Yangians, and explaining how to…
Consider the Cohomological Hall Algebra as defined by Kontsevich and Soibelman, associated with a Dynkin quiver. We reinterpret the geometry behind the multiplication map in the COHA, and give an iterated residue formula for it. We show natural subalgebras whose product is the whole COHA (except in the $E_8$ case). The dimension count version of this statement is an identity for quantum dilogarithm series, first proved by Reineke. We also show that natural structure constants of the COHA are universal polynomials representing degeneracy loci, a.k.a. quiver polynomials.
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.
This paper concerns the cohomological aspects of Donaldson-Thomas theory for Jacobi algebras and the associated cohomological Hall algebra, introduced by Kontsevich and Soibelman. We prove the Hodge-theoretic categorification of the integrality conjecture and the wall crossing formula, and furthermore realise the isomorphism in both of these theorems as Poincaré-Birkhoff-Witt isomorphisms for the associated cohomological Hall algebra. We do this by defining a perverse filtration on the cohomological Hall algebra, a result of the "hidden properness" of the semisimplification map from the moduli…
The moduli stack of representations of a quiver, or coherent sheaves on a proper curve, carries two structures on its cohomology: a Hall algebra and braided vertex coalgebra. We show that they are compatible, by developing a formulation of abelian localisation which works in the derived/singular setting. An application of these techniques gives an explicit formula for the cohomological Hall algebra products.
We establish a geometric interpretation of orientifold Donaldson-Thomas invariants of $σ$-symmetric quivers with involution. More precisely, we prove that the cohomological orientifold Donaldson-Thomas invariant is isomorphic to the rational Chow group of the moduli space of $σ$-stable self-dual quiver representations. As an application we prove that the Chow Betti numbers of moduli spaces of stable $m$-tuples in classical Lie algebras can be computed numerically. We also prove a cohomological wall-crossing formula relating semistable Hall modules for different stabilities.
In the paper \cite{KS}, Kontsevich and Soibelman in particular associate to each finite quiver $Q$ with a set of vertices $I$ the so-called Cohomological Hall algebra $\cH,$ which is $\Z_{\geq 0}^I$-graded. Its graded component $\cH_γ$ is defined as cohomology of Artin moduli stack of representations with dimension vector $γ.$ The product comes from natural correspondences which parameterize extensions of representations. In the case of symmetric quiver, one can refine the grading to $\Z_{\geq 0}^I\times\Z,$ and modify the product by a sign to get a super-commutative algebra $(\cH,\star)$ (wit…
For a stability condition $σ$ on a triangulated category, Dimitrov-Katzarkov introduced the notion of a $σ$-exceptional collection. In this paper, we study full $σ$-exceptional collections in the derived category of an acyclic quiver. In particular, we prove that any stability condition $σ$ on the derived category of a Dynkin quiver admits a full $σ$-exceptional collection.
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.
We provide a new proof of the Kac positivity conjecture for an arbitrary quiver $Q$. The ingredients are the cohomological integrality theorem in Donaldson-Thomas theory, dimensional reduction, and an easy purity result. These facts imply the purity of the cohomological Donaldson-Thomas invariants for a quiver with potential $(\tilde{Q},W)$ associated to $Q$, which in turn implies positivity of the Kac polynomials for $Q$.
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 study the relation between Donaldson-Thomas theory of Calabi-Yau threefolds and a six-dimensional topological Yang-Mills theory. Our main example is the topological U(N) gauge theory on flat space in its Coulomb branch. To evaluate its partition function we use equivariant localization techniques on its noncommutative deformation. As a result the gauge theory localizes on noncommutative instantons which can be classified in terms of N-coloured three-dimensional Young diagrams. We give to these noncommutative instantons a geometrical description in terms of certain stable framed coherent she…
Let $Q$ be the doubled of a quiver. According to Efimov, Kontsevich and Soibelman, the cohomological Hall algebra (CoHA) associated to $Q$ is a free super-commutative algebra. In this short note, we confirm a conjecture of Hausel which gives a geometric realisation of the generators of the CoHA.
Given a quiver with potential associated to a toric Calabi-Yau threefold, the numerical Donaldson-Thomas invariants for the moduli space of framed representations can be computed by using toric localization, which reduces the problem to the enumeration of molten crystals. We provide a refinement of this localization procedure, which allows to compute motivic Donaldson-Thomas invariants. Using this approach, we prove a universal formula which gives the BPS invariants of any toric quiver, up to undetermined contributions which are invariant under Poincaré duality. When the toric Calabi-Yau three…
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…
This review gives an introduction to cohomological Donaldson-Thomas theory: the study of a cohomology theory on moduli spaces of sheaves on Calabi-Yau threefolds, and of complexes in 3-Calabi-Yau categories, categorifying their numerical DT invariant. Local and global aspects of the theory are both covered, including representations of quivers with potential. We will discuss the construction of the DT sheaf, a nontrivial topological coefficient system on such a moduli space, along with some cohomology computations. The Cohomological Hall Algebra, an algebra structure on cohomological DT spaces…
For an acyclic quiver with three vertices, we consider the canonical decomposition of a non-Schurian root and associate certain representations of a generalized Kronecker quiver. These representations correspond to points contained in the intersection of two subvarieties of a Grassmannian and give rise to representations of the original quiver, preserving indecomposability. We show that these subvarieties intersect using Schubert calculus. Provided that the intersection contains a Schurian representation, it already contains an open subset of Schurian representations whose dimension is what we…
The equivariant Chern-Schwartz-MacPherson (CSM) class and the equivariant Motivic Chern (MC) class are important characteristic classes of singular varieties in cohomology and K theory---and their theory overlaps with the theory of Okounkov's stable envelopes. We study CSM and MC classes for the orbits of Dynkin quiver representations. We show that the problem of computing the CSM and MC classes of all these orbits can be reduced to some basic classes $c^o_β$, $C^o_β$ parameterized by positive roots $β$. We prove an identity in a deformed version of Kontsevich-Soibelman's Cohomological (and K-…
We prove a formula for the structure sheaf of a quiver variety in the Grothendieck ring of its embedding variety. This formula generalizes and gives new expressions for Grothendieck polynomials. We furthermore conjecture that the coefficients in our formula have signs which alternate with degree. The proof of our formula involves $K$-theoretic generalizations of several useful cohomological tools, including the Thom-Porteous formula, the Jacobi-Trudi formula, and a Gysin formula of Pragacz.
The famous pentagon identity for quantum dilogarithms has a generalization for every Dynkin quiver, due to Reineke. A more advanced generalization is associated with a pair of alternating Dynkin quivers, due to Keller. The description and proof of Keller's identities involves cluster algebras and cluster categories, and the statement of the identity is implicit. In this paper we describe Keller's identities explicitly, and prove them by a dimension counting argument. Namely, we consider quiver representations $\boldsymbol{\mathrm{Rep}}_γ$ together with a superpotential function $W_γ$, and calc…
We define a new type of Hall algebras associated e.g. with quivers with polynomial potentials. The main difference with the conventional definition is that we use cohomology of the stack of representations instead of constructible sheaves or functions. In order to take into account the potential we introduce a generalization of theory of mixed Hodge structures, related to exponential integrals. Generating series of our Cohomological Hall algebra is a generalization of the motivic Donaldson-Thomas invariants introduced in arXiv:0811.2435. Also we prove a new integrality property of motivic Dona…
The paper includes a new proof of the fact that quiver Grassmannians associated with rigid representations of Dynkin quivers do not have cohomology in odd degrees. Moreover, it is shown that they do not have torsion in homology. A new proof of the Caldero--Chapoton formula is provided. As a consequence a new proof of the positivity of cluster monomials in the acyclic clusters associated with Dynkin quivers is obtained. The methods used here are based on joint works with Markus Reineke and Evgeny Feigin.
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…
