On cohomological Hall algebras of quivers: generators (Q2303067)

There are different flavors of Hall algebras; finitary Hall algebras, motivic Hall algebras, cohomological Hall algebras to name a few. Cohomological Hall algebras (COHA) were introduced by [\textit{M. Kontsevich} and \textit{Y. Soibelman}, Commun. Number Theory Phys. 5, No. 2, 231--352 (2011; Zbl 1248.14060)] as an alternative to motivic Hall algebras. Let \(M\) be a smooth projective variety and \(\mathcal{A}=\text{coh}(\mathcal{M})\), the category of coherent sheaves with \(\mathcal{M}^{(n)}\), the moduli stack of \(n\)-flags of coherent sheaves on \(M\). The motivic Hall algebra of \(\mathcal{A}\) denoted \(\text{Hall}_{\mathrm{mot}}(\mathcal{A})\) is defined to be \(k(St/\mathcal{M})\), the Grothendieck group of free abelian group of isomorphism classes of sheaves on \(M\) modulo the scissor relations. While motivic Hall algebras uses constructible sheaves, COHA of quivers for instance, uses cohomology of moduli stack of representations of the preprojective algebra of the quiver. Denote by \(\text{Rep}(\mathbb{C}Q,v)/G(v)\), the moduli stack of complex representations of the quiver \(Q\) of dimension \(v\), with \(G(v)\) denoting groups of dimensions \(v\). Take \(\Pi_Q\) to the preprojective algebra of \(Q\), then \(\text{Rep}(\Pi_Q,v)/G(v)\) is the moduli stack of complex \(\Pi_Q\)-representations of dimension \(v\). One way to define the cohomological Hall algebra associated with \(Q\) is by taking the equivariant cohomology of the stack \(\text{Rep}(\Pi_Q,v)/G(v)\), that is \[ \mathbb{Y} := \bigoplus_{v} \text{H}_{*}^{T\times G(v)}(\text{Rep}(\Pi_Q,v)),\] where \(T\) is the torus acting on \(\text{Rep}(\Pi_Q,v)\). The paper under review presents an equivalent definition of COHA denoted \(\mathbb{Y}^b, b\in\{0,1\},\) using Langrangian substack \(\bigwedge^{b}(v)\) of the quotient stack of representation of preprojective algebra. Furthermore, the paper describes \(\mathbb{Y}, \mathbb{Y}^{0}, \mathbb{Y}^{1}\) as convolution algebras acting on the equivariant Borel-Moore homology groups of arbitrary Nakajima quiver varieties \(\mathbb{F}_w\). These algebras are \(\mathbb{K}\)-algebras, where \(\mathbb{K}\) is the \(T\)-equivariant cohomology ring. It is shown that after extending the scalars in \(\mathbb{K}\) to the field of fraction of \(\mathbb{K}\), the algebras are all isomorphic. As a corollary, the paper gives a variant of Okounkov's conjecture by showing that after suitable extension of scalars, \(\mathbb{Y}^b\) is equal to the Yangian introduced by [\textit{D. Maulik} and \textit{A. Okounkov}, Quantum groups and quantum cohomology. Paris: Société Mathématique de France (SMF) (2019; Zbl 1422.14002)].