Let r be an orbit of the quiver representation of type A_n (equioriented case). In this paper we study the Poincare dual of the closure of r (a.c.a. Thom polynomial/degeneracy loci formula) in equivariant cohomology. Using general Thom polynomial theory we prove the component formula and its stable version of [Knutson-Miller-Shimozono] as well as the positivity of the quiver coefficients of [Buch-Fulton]. We also show how the component formula follows from Grobner degeneration easily. In relation with the K-theory counterpart of the formula we give a new description of KMS factorizations based on transformations of lace diagrams.
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 study Legendrian singularities arising in complex contact geometry. We define a one-parameter family of bases in the ring of Legendrian characteristic classes such that any Legendrian Thom polynomial has nonnegative coefficients when expanded in these bases. The method uses a suitable Lagrange Grassmann bundle on the product of projective spaces. This is an extension of a nonnegativity result for Lagrangian Thom polynomials obtained by the authors previously. For a fixed pecialization, other specializations of the parameter lead to upper bounds for the coefficients of the given basis. One g…
We describe the positivity of Thom polynomials of singularities of maps, Lagrangian Thom polynomials and Legendrian Thom polynomials. We show that these positivities come from Schubert calculus.
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…
Combining the Kazarian approach to Thom polynomials via classifying spaces of singularities with the Fulton-Lazarsfeld theory of numerical positivity for ample vector bundles, we show that the coefficients of various Schur function expansions of the Thom polynomials of stable and unstable singularities are nonnegative.
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…
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 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.
We generalize the notion of Thom polynomials from singularities of maps between two complex manifolds to invariant cones in representations, and collections of vector bundles. We prove that the generalized Thom polynomials, expanded in the products of Schur functions of the bundles, have nonnegative coefficients. For classical Thom polynomials associated with maps of complex manifolds, this gives an extension of our former result for stable singularities to nonnecessary stable ones. We also discuss some related aspects of Thom polynomials, which makes the article expository to some extent.
We show that Thom polynomials of Lagrangian singularities have nonnegative coefficients in the basis consisting of Q-functions. The main tool in the proof is nonnegativity of cone classes for globally generated bundles.
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 provide a reduction formula for the motivic Donaldson-Thomas invariants associated to a quiver with superpotential. The method is valid provided the superpotential has a linear factor, it allows us to compute virtual motives in terms of ordinary motivic classes of simpler quiver varieties. We outline an application, giving explicit formulas for the motivic Donaldson-Thomas invariants of the orbifolds $[\CC \times \CC^2/\ZZ_n]$.
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…
Consider a smooth quasiprojective variety X equipped with a C*-action, and a regular function f: X -> C which is C*-equivariant with respect to a positive weight action on the base. We prove the purity of the mixed Hodge structure and the hard Lefschetz theorem on the cohomology of the vanishing cycle complex of f on proper components of the critical locus of f, generalizing a result of Steenbrink for isolated quasi-homogeneous singularities. Building on work of Kontsevich-Soibelman, Nagao and Efimov, we use this result to prove the quantum positivity conjecture for cluster mutations for all q…
$F$-polynomials are integer coefficient polynomials encoding the mutations of cluster variables inside a cluster algebra. In this article, we study the $F$-polynomials associated with the action of Donaldson-Thomas transformations on cluster variables. For acyclic quivers, quivers of surface types, and quivers associated with triples of flags, we give explicit descriptions of their Donaldson-Thomas $F$-polynomials in terms of generating functions for ideals inside a labeled poset. We also describe the combinatorial procedure needed to modify these labeled posets to obtain Donaldson-Thomas $F$-…
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.
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…
Let $X$ be a smooth projective surface and $D$ a smooth rational ample divisor in $X$. We prove an all-genus generalization of the genus $0$ WDVV equation for primary Gromov--Witten invariants of the local 3-fold $\mathcal{O}_X(-D)$. The proof relies on a correspondence between all-genus Gromov--Witten invariants and refined Donaldson--Thomas invariants of acyclic quivers. In particular, the corresponding BPS invariants are expressed in terms of Betti numbers of moduli spaces of quiver representations.
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 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.
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 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 present paper is an extension of a previous paper written in collaboration with Markus Reineke dealing with quiver representations. The aim of the paper is to generalize the theory and to provide a comprehensive theory of Donaldson-Thomas invariants for abelian categories of homological dimension one (without potential) satisfying some technical conditions. The theory will apply for instance to representations of quivers, coherent sheaves on smooth projective curves, and some coherent sheaves on smooth projective surfaces. We show that the (motivic) Donaldson-Thomas invariants satisfy the …
The Green-Griffiths-Lang conjecture says that for every complex projective algebraic variety $X$ of general type there exists a proper algebraic subvariety of $X$ containing all nonconstant entire holomorphic curves $f:\mathbb{C} \to X$. We construct a compactification of the invariant jet differentials bundle over complex manifolds motivated by an algebraic model of Morin singularities and we develop an iterated residue formula using equivariant localisation for tautological integrals over it. We show that the polynomial GGL conjecture for a generic projective hypersurface of degree $\mathrm{…
We study the Grothendieck classes of quiver cycles, i.e. invariant closed subvarieties of the representation space of a quiver. For quivers without oriented loops we show that the class of a quiver cycle is determined by quiver coefficients, which generalize the earlier studied quiver coefficients for equioriented quivers of type A. We conjecture that quiver coefficients satisfy positivity and finiteness properties. Our main result is a formula for the quiver coefficients for orbit closures of Dynkin type with rational singularities, which confirms the finiteness conjecture. This formula is ba…
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.
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 propose a systematic study of Thom polynomials for group actions defined by M. Kazarian. On one hand we show that Thom polynomials are first obstructions for the existence of a section and are connected to several problems of topology, global geometry and enumerative algebraic geometry. On the other hand we describe a way to calculate Thom polynomials: the method of restriction equations. It turned out that though the idea is quite simple the method is very powerful. We reproduced and improved earlier result in several directions (singularities, Schubert calculus, quivers). Ho…
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 first prove semi-orthogonal decompositions of derived factorization categories arising from sums of potentials of gauged Landau-Ginzburg models, where the sums are not necessarily Thom--Sebastiani type. We then apply the result to the category ${\rm HMF}^{L_f}(f)$ of maximally graded matrix factorizations of an invertible polynomial $f$ of chain type, and explicitly construct a full strong exceptional collection $E_1$,..., $E_μ$ in ${\rm HMF}^{L_f}(f)$ whose length $μ$ is the Milnor number of the Berglund--Hübsch transpose $\widetilde{f}$ of $f$. This proves a conjecture, which postulates t…
R. Rimányi defined the incidence class of two singularities X and Y as $[X]|_Y$, the restriction of the Thom polynomial of X to Y. He conjectured that (under mild conditions) the incidence is not zero if and only if Y is in the closure of X. Generalizing this notion we define the incidence class of two orbits X and Y of a representation. We give a sufficient condition (positivity) for Y to have the property that the incidence class $[X]|_Y$ is not zero if and only if Y is in the closure of X for any other orbit X. We show that for many interesting cases, e.g. the quiver representations of Dynk…
