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.

Median quasimorphisms on CAT(0) cube complexes and their cup products

A vanishing criterion for cup products and Massey products in bounded cohomology

On the Cuspidal Cohomology of Arithmetic Groups

Median Sets of Isometries in CAT(0) Cube Complexes and Some Applications

Vanishing of quaternionic cohomology groups and applications

Relative Cubulation of Small Cancellation Free Products

Cups Products in Z2-Cohomology of 3D Polyhedral Complexes

An algebraic criterion for the vanishing of bounded cohomology

Coarse obstructions to cocompact cubulation

The weak categorical quiver minor theorem and its applications: matchings, multipaths, and magnitude cohomology

Quasimorphisms on free racks and free quandles

Cup and cap products for cohomology and homology groups of ample groupoids

Injectivity, cubical approximations and equivariant wall structures beyond CAT(0) cube complexes

Cup-product in Hom-Leibniz cohomology and Hom-Zinbiel algebras

CAT(0) cubical complexes for graph products of finitely generated abelian groups

CAT(0) cube complexes and asymptotically rigid mapping class groups

The abstract cotangent complex and Quillen cohomology of enriched categories

The space of non-extendable quasimorphisms

Convolution for quiver varieties via cup product on a Morse complex

Automorphism groups of cocompact CAT(0) cube complexes and simplicity

Higher cup products on hypercubic lattices: Application to lattice models of topological phases