Consider non-negative integers assigned to the vertexes of an oriented graph. To this combinatorial data we associate a so-called quiver representation. We will study the geometry and the algebra of this representation, when the underlying un-oriented graph is of Dynkin type ADE.
A remarkable object we will consider is Kazarian's equivariant cohomology spectral sequence. The edge homomorphism of this spectral sequence defines the so-called quiver polynomials. These polynomials are generalizations of remarkable polynomials in algebraic combinatorics (Giambelli-Thom-Porteous, Schur, Schubert, their double, universal, and quantum versions). Quiver polynomials measure degeneracy loci of maps among vector bundles over a common base space. We will present interpolation, residue, and (conjectured) positivity properties of these polynomials.
The quiver polynomials are also encoded in the Cohomological Hall Algebra (COHA) associated with the oriented graph. This is a non-commutative algebra defined by Kontsevich and Soibelman in relation with Donaldson-Thomas invariants. The above mentioned spectral sequence has a structure identity expressing the fact that the sequence converges to explicit groups. We will show the role of this structure identity in understanding the structure of the COHA. The obtained identities are equivalent to Reineke's quantum dilogarithm identities associated to ADE quivers and certain stability conditions.