Abstract:Convolution in Borel-Moore homology plays an important role in Nakajima's construction of representations of the Heisenberg algebra and of modified enveloping algebras of Kac-Moody algebras. In its most basic form, convolution between two quiver varieties is given by pullback and then pushforward via the Hecke correspondence for quivers. In previous work we showed that the Hecke correspondence has a Morse-theoretic interpretation in terms of spaces of flow lines. The goal of this paper is to show that the topological information that defines generators for Nakajima's representations can be encoded in the cup product for a Morse complex defined on the smooth space of representations of a quiver without relations, and then pulling back to the subvariety of representations that do satisfy a given set of relations. The results are valid for the main motivating example of Nakajima quivers, as well as other quivers with relations derived from these (for example handsaw quivers). For the norm square of a moment map on the space of representations of a quiver, the usual Morse-Bott-Smale transversality condition on the space of flow lines fails, however a weaker version of transversality is still satisfied. A major part of the paper is spent developing a general theory in this setting of weak transversality from which one can recover the usual construction of the differentials and cup product on the Morse complex by adding an intermediate step of taking cup product with a certain Euler class, which is explicitly computable for the space of representations of a quiver.

Quiver varieties and fusion products for sl_2

Quiver Varieties and Framed Sheaves on Compactified Kleinian Singularities

Noncommutative projective partial resolutions and quiver varieties

Quiver presentations and Schur--Weyl duality for Khovanov arc algebras

Loday-Quillen-Tsygan theorem on Quivers

Classification of finite type fusion quivers

Geometric realisations of the unipotent enveloping algebra of a quiver

Derived preprojective algebras and spherical twist functors

Convolution for quiver varieties via cup product on a Morse complex

Quiver varieties of type A

Generalized juggling patterns, quiver Grassmannians and affine flag varieties

Equivariant geometry of symmetric quiver orbit closures

More on Affine Dynkin Quiver Yangians

Affine Non-Reductive GIT and moduli of representations of quivers with multiplicities

Categorical Cell Decomposition of Quantized Symplectic Algebraic Varieties

Coxeter quiver representations in fusion categories and Gabriel's theorem

Mirror Construction for Nakajima Quiver Varieties

Associated varieties of simple affine VOAs $L_k(sl_3)$ and $W$-algebras $W_k(sl_3,f)$

The Le Bruyn-Procesi theorem and Hilbert schemes

The product of simple modules over KLR algebras and quiver Grassmannians