Abstract
There are multiple conjectures relating the cohomological Hall algebras (CoHAs) of certain substacks of the moduli stack of representations of a quiver Q to the Yangian \(Y^{Q}_\textrm{MO}\) by Maulik–Okounkov, whose construction is based on the notion of stable envelopes of Nakajima varieties. In this article, we introduce the cohomological Hall algebra of the moduli stack of framed representations of a quiver Q (framed CoHA), and we show that the equivariant cohomology of the disjoint union of the Nakajima varieties \({\mathcal {M}}_Q(\text {v},\text {w})\) for all dimension vectors \(\text {v}\) and framing vectors \(\text {w}\) has a canonical structure of subalgebra of the framed CoHA. Restricted to this subalgebra, the algebra multiplication is identified with the stable envelope map. As a corollary, we deduce an explicit inductive formula to compute stable envelopes in terms of tautological classes.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 Overview
The purpose of this article is to establish a connection between the theory of stable envelopes and the world of cohomological Hall algebras.
The theory of stable envelopes, developed by Okounkov and its coauthors in the last decade [1, 19, 24,25,26], is the geometric answer to the problem of constructing a quantum group associated with an arbitrary quiver and of studying the monodromy of the associated quantum differential and difference equations. In a nutshell, the stable envelopes of a sufficiently nice variety X equipped with a torus action are certain axiomatically defined correspondences in cohomology that encode the equivariant geometry of X. Stable envelopes can be defined for many different varieties X. Still, the case of Nakajima varieties is particularly relevant. Indeed, not only are the latter one of the richest sources of symplectic resolutions, for which stable envelopes enjoy nicer properties, but they also bridge the gap between the abstract theory of stable envelopes and the Lie-theoretic realm of quantum groups. This follows from the fact that a choice of Nakajima variety is, first and foremost, a choice of a quiver, and its associated stable envelopes give rise to R-matrices for the corresponding quantum group.
The second fundamental ingredient for this article is the theory of cohomological Hall algebras (CoHAs). In the literature, many different constructions go under the name of CoHAs. Their common feature is being certain associative algebras whose underlying vector space encodes irreducible representations of a quiver and whose multiplication encodes extensions of representations. The adjective “cohomological” distinguishes them from the previous notion of Hall algebras [33], highlighting that their construction depends on the choice of a generalized cohomology theory. Schiffmann and Vasserot introduced the first example of CoHA for the Jordan quiver [10]. Since then, the theory of CoHAs has rapidly developed and proved influential in many areas of mathematics. There are two main approaches to CoHAs. The first one, initiated by Kontsevich and Soibelman [18] and often referred to as 3d CoHAs, is deeply connected with Donaldson–Thomas theory and BPS invariants. The second one, known as 2d CoHAs, is related to the first via dimensional reduction [9] but can be more directly related to quantum groups [34, 35, 41].
In this article, we introduce a variant of Kontsevich–Soibelman’s CoHA that involves moduli stacks of framed representations, and we argue that this algebra governs the stable envelopes of Nakajima varieties. More precisely, we realize the cohomology of the disjoint union of all possible Nakajima varieties associated with a quiver Q as a subalgebra of the framed CoHA, and we show that on this subalgebra CoHA’s multiplication reduces to stable envelopes. As an application, we exploit the shuffle description of the CoHA product to derive an inductive formula producing tautological presentations of the stable envelopes.
The general philosophy of the geometric representation theory of CoHAs is that taking framings corresponds to studying modules over the (unframed) CoHA. As a consequence, one can interpret this article’s result as evidence of the fact that the modules themselves, considered altogether, admit an algebra structure, which we call framed CoHA and that this algebra contains the algebra of stable envelopes of Nakajima varieties.
1.1.1 Framed cohomological Hall algebras
The acronym CoHA hints at a large class of algebras constructed from quiver representations and a given cohomology theory, possibly with some extra data such as some potential. The conceptual starting point of this article is one of the most elementary instances of CoHA, namely Kontsevich–Soibelman’s CoHA associated with a doubled quiver \(({\overline{Q}}, I)\) without potential. Here, I is the set of vertices of the quiver Q. As a vector space, the CoHA is simply defined as
where \(H([T^*\text {Rep}(\text {v})/G_{\text {v}}])\) is the singular cohomology of \([T^*\text {Rep}(\text {v})/G_{\text {v}}]\), the moduli stack of representations of the path algebra \(\mathbb {C}{\overline{Q}}\) with dimension vector \(\text {v}\in \mathbb {N}^I\). The multiplication \({\textsf{m}}={\textsf{q}}_*\circ {\textsf{p}}^*\) is obtained using the stack Z parametrizing pairs of representations \(x\subset y\) of dimension \(\text {v}_1\) and \(\text {v}_1+\text {v}_2\) and the natural maps
With this construction in mind, we introduce a framed CoHA
by replacing representations \(T^*\text {Rep}(\text {v})\) with framed representations \(T^*\text {Rep}(\text {v},\text {w})\) and ordinary cohomology with equivariant cohomology with respect to the residual action of the torus \(T_\text {w}\) acting on the framing and rescaling the cotangent directions by some additional parameter \(\hbar \). The multiplication is defined with a correspondence analogous to the previous one, and hence consists of a collection of maps
In this way, the unframed CoHA \({\mathcal {H}}^{{\overline{Q}}}\) can be naturally identified with the specialization for \({\hbar }=0\) of the subalgebra of \({\mathcal {H}}^{{\overline{Q}}_{\text {fr}}}\) with trivial framing \(\text {w}=0\).
1.1.2 Stable envelopes of Nakajima varieties
An important class of symplectic varieties associated with framed representations of a quiver is given by Nakajima quiver varieties [14, 21,22,23]. These are defined as the GIT-symplectic reduction of the cotangent bundle \(T^*\text {Rep}(\text {v},\text {w})\) with respect to the Hamiltonian action of \(G_\text {v}\). This means that if we denote the moment map by
then we can describe a Nakajima variety as the quotient
By construction, \({\mathcal {M}}(\text {v},\text {w})\) comes with a torus \(T_\text {w}\) acting on the framing and rescaling the symplectic form with weight \({\hbar ^{-1}}\). Stable envelopes of Nakajima quiver varieties are certain axiomatically defined maps
depending on the choice of a subtorus \(A\subset T_\text {w}\) fixing the symplectic form of \({\mathcal {M}}(\text {v},\text {w})\) and on the extra piece of data \({\mathfrak {C}}\), called chamber. Remarkably, each fixed component of \({\mathcal {M}}(\text {v},\text {w})^A\) is itself a product of Nakajima varieties and, for an appropriate choice of A, it takes the form
with \(\text {v}_1+\text {v}_2=\text {v}\) and \(\text {w}_1+\text {w}_2=\text {w}\). In this particular case, the stable envelope becomes a collection of maps
1.1.3 R-matrices and Yangians
Stable envelopes of Nakajima varieties give rise to R-matrices [19, Chapter 4]. We now briefly review their construction. Taking direct sums of (3) with respect to \(\text {v}_1\) and \(\text {v}_2\) and \(\text {v}\), one gets a map (which we denote in the same way)
where \({\mathcal {M}}(\text {w}_i)=\bigsqcup _{\text {v}_i} {\mathcal {M}}(\text {v}_i,\text {w}_i)\). Given a pair of different chambers \(\mathfrak {C_1}\) and \(\mathfrak {C_2}\), the composition
is called geometric R-matrix. Here, the subscript loc stands for localization with respect to the equivariant parameters coming from the framing. In other words, we set
Localization is required to define the inverse \( \text {Stab}_{\mathfrak {C_1}}^{-1}\) of a stable envelope.
A foundational result of Maulik–Okounkov’s theory is that these R-matrices satisfy the Yang–Baxter equation with spectral parameter. The associated quantum group, defined via RTT relations, is the Maulik–Okounkov’s Yangian \(Y^Q_\textrm{MO}\) associated with the quiver Q [19, Chapter 5]. The subalgebra of \(Y^Q_\textrm{MO}\) spanned by the matrix elements of the classical r-matrix r, defined as the equivariant residue of
is the Maulik–Okounkov’s Lie algebra \({\mathfrak {g}}_Q\).
1.1.4 Framed preprojective semistable CoHA
The apparent similarity with (2) suggests tentatively defining an algebra structure on
via the stable envelopes maps (3). Indeed, this construction defines a graded associative algebra structure on \(\mathbb {H}^{{{\overline{Q}}}_{\text {fr}}}\), which we call the framed semistable preprojective cohomological Hall algebra of Q. The choice of the name can be partially understood by observing that the vector space \(\mathbb {H}^{{{\overline{Q}}}_{\text {fr}}}\) consists of cohomologies of Nakajima varieties, which are exactly moduli spaces of semistable representations of the preprojective path algebra \(\mathbb {C}{\overline{Q}}_{\text {fr}}/ J_\mu \) of the doubled framed quiver \({\overline{Q}}_{\text {fr}}\), but of course, more is needed to justify this definition. Namely, one must show that the multiplication defined by stable envelopes has something to do with CoHA’s multiplication. This is the main goal of the article. To accomplish this, we exploit Aganagic and Okounkov’s non-abelian stable envelope [2], a map of \( H_{T_\text {w}}(*)\)-modules
that solves, in analogy with the ordinary stable envelopes, an interpolation problem for cohomology classes [26]. In a nutshell, the assignment \(\alpha \mapsto \varvec{\psi }(\alpha )\) can be thought of as a distinguished extension of the cohomology class \(\alpha \) from \({\mathcal {M}}(\text {v},\text {w})\) to the whole stack of representations \([T^*\text {Rep}(\text {v},\text {w})/ G_{\text {v}}]\). The extension \(\varvec{\psi }(\alpha )\) is characterized by a precise support condition, namely being supported on \([\mu _{\text {v},\text {w}}^{-1}(0)/G_{\text {v}}]\subset [T^*\text {Rep}(\text {v},\text {w})/ G_{\text {v}}]\). As a result, \(\varvec{\psi }\) is, up to a multiplicative factor, a section of the tautological pullback
associated with the inclusion
With this background, we can finally compare the algebra structures on \(\mathbb {H}^{{{\overline{Q}}}_{\text {fr}}}\) and \({\mathcal {H}}^{{{\overline{Q}}}_{\text {fr}}}\). Firstly, consider the map \(\varvec{\psi }: \mathbb {H}^{{{\overline{Q}}}_{\text {fr}}}\rightarrow {\mathcal {H}}^{{{\overline{Q}}}_{\text {fr}}}\) obtained by taking direct sums of (5). The main result of the article is the following:
Theorem
(5.6) The map \(\varvec{\psi }: \mathbb {H}^{{{\overline{Q}}}_{\text {fr}}}\rightarrow {\mathcal {H}}^{{{\overline{Q}}}_{\text {fr}}}_{\tau }\) is an injective morphism of graded algebras.
The subscript \(\tau \) in the notation refers to the fact that the algebra structure on \({\mathcal {H}}^{{{\overline{Q}}}_{\text {fr}}}\) is appropriately twisted, although in a simple and geometrically meaningful way. In words, the theorem above says that the map \(\varvec{\psi }\) realizes the cohomology of Nakajima varieties as a subalgebra of the framed CoHA \({\mathcal {H}}^{{{\overline{Q}}}_{\text {fr}}}_{\tau }\), and on this subalgebra, CoHA’s multiplication is identified with taking stable envelopes.
As an interesting application of the previous theorem, we produce an explicit inductive formula for the stable envelopes of Nakajima varieties. The map \(\varvec{\psi }\) allows giving a tautological presentation of the stable envelopes by setting
This map has as target a localization of the tautological ring \(H_{T_\text {w}}([T^*\text {Rep}(\text {v},\text {w})/G_\text {v}])\) and it restricts to \(\text {Stab}_{{\mathfrak {C}}}\) on \({\mathcal {M}}(\text {v},\text {w})\subset [T^*\text {Rep}(\text {v},\text {w})/G_\text {v}]\).
Applying Theorem 5.6, we show that for every fixed component \(F\subset {\mathcal {M}}(\text {v},\text {w})^A\) and chamber \({\mathfrak {C}}\), there are \(k=\text {dim}(A)\) decompositions \(\text {v}=\text {v}_1+\text {v}_2\), \(\text {w}=\text {w}_1+\text {w}_2\), fixed components \(F_1\subset {\mathcal {M}}(\text {v}_1,\text {w}_1)^{A_1}\), \(F_2\subset {\mathcal {M}}(\text {v}_2,\text {w}_2)^{A_2}\) and chambers \({\mathfrak {C}}^1\), \({\mathfrak {C}}^2\) such that \(A=A_1\times A_2\) and
All the classes in the formula have an explicit tautological presentation. By induction on the dimension of A, this formula gives an explicit presentation of the stable envelopes of Nakajima varieties for the action of a torus \(A\subset A_\text {w}\). This formula can be seen as the cohomological limit of the main result of [6], where an analogous formula is presented in the elliptic setting.
1.2 Further directions
This article can be seen as the starting point of a larger project aimed at establishing a connection between the geometric theory of quantum groups initiated with the introduction of stable envelopes and cohomological Hall algebras. We conclude this introduction with a brief discussion of the prospective directions of development of the author’s current work.
1.2.1 K-theory, elliptic cohomology and qKZB equations
First of all, the results of the present paper will be extended to K-theory and elliptic cohomology in the companion paper [5]. While the results in K-theory are very close to the cohomological ones and can be essentially guessed from this article, the elliptic setting requires a more sophisticated approach. This is partly due to features intrinsic to elliptic cohomology and partly because the elliptic stable envelopes depend on extra parameters called dynamical (or Kähler) parameters. In view of this, the algebras of this article will be replaced by certain algebra objects in an appropriate monoidal category, whose tensor product involves some shifts of the dynamical parameters. Because of that, this construction can be seen as a dynamical version of the sheafified elliptic cohomological Hall algebra of Yang and Zhao [40].
An important application of the CoHA’s structure of stable envelopes is in the world of difference equations. Integral solutions for the quantum Knizhnik–Zamolodchikov equations (qKZ) associated with arbitrary quivers can be expressed as:
where \(\Gamma _q\) is a product of q-gamma functions and \(\text {Stab}^K \) is a K-theoretic stable envelope. The proof of this result is due to Okounkov and his coauthors [2, 24, 27], and is based on the equivalence of certain enumerative counts in K-theory. As these methods cannot be easily transferred to elliptic cohomology, the problem of finding solutions for the quantum Knizhnik–Zamolodchikov–Bernard equations (qKZB), which are the elliptic incarnation of the qKZ equations, is still open for general quivers.
In a joint work of the author with Giovanni Felder and Keyu Wang, the CoHA’s algebras structure of the elliptic stable envelopes will be exploited to produce such solutions. This project widely generalizes the results of Felder, Tarasov, and Varchenko [11, 12], who had already obtained solutions for type-A quivers.
1.2.2 Cohomological Hall algebras and stable envelopes of bow varieties
The elliptic stable envelope of a Nakajima variety X can be interpreted as the transformation matrix that relates the vertex functions of X, which are certain enumerative invariants that provide q-holonomic modules for a wide class of difference equations such as the q-KZ equations [1], with the vertex functions of its 3d mirror dual \(X^!\). Consequently, stable envelopes can be considered an adequate topological invariant to test 3D mirror symmetry. The first affirmative results were obtained in [31, 32], but only in the fortunate case when the 3D-dual of the Nakajima variety X is itself a Nakajima variety. Indeed, the class of Nakajima varieties is not closed under mirror symmetry, so to work in full generality, one needs to consider a larger class, namely bow varieties, which have been introduced in the context of enumerative geometry in [30]. In joint work with Richárd Rimányi [8], it is shown that all the main ideas of this paper, namely stable envelopes, cohomological Hall algebras, and their interplay, can be extended to bow varieties. Moreover, these results are exploited to prove fusion rules for R-matrices and 3D mirror symmetry of elliptic stable envelopes [7].
1.2.3 Preprojective CoHA and Yangians
Going back to the cohomological level, another version of CoHA can be related to those discussed in this article. Namely, one can consider the preprojective version of (1) by setting
where \(H^\text {{BM}}\) stands for Borel–Moore homology. As shown in [41], \({\mathcal {P}}^{{\overline{Q}}}\) acts on cohomology of Nakajima varieties by maps
Davison in [9] and Schiffmann and Vasserot in [34] conjectured in that \({\mathcal {P}}^{{\overline{Q}}}\) is isomorphic to \(Y_\textrm{MO}^{Q,+}\), the positive half of the Maulik–Okounkov Yangian \(Y_\textrm{MO}^{Q}\). This was first shown for the 1-loop quiver in [10, 19]. In parallel, Yang and Zhao [37, 40, 41] showed that an appropriate subalgebra of \({\mathcal {P}}^{{\overline{Q}}}\) is isomorphic to the positive half of Drinfel’d Yangians of type ADE.
More recently, Schiffmann and Vasserot [34, 35] proved half the conjecture by building an injective map from \({\mathcal {P}}^{\overline{Q}}\otimes _\Bbbk \text {Frac}(\Bbbk )\) to \(Y_\textrm{MO}^{Q,+} \otimes \text {Frac}(\Bbbk )\), which intertwines the actions of these algebras on the cohomology of Nakajima varieties. The key technical step in their work consisted in identifying certain generators of \({\mathcal {P}}^{{\overline{Q}}}\otimes _\Bbbk \text {Frac}(\Bbbk )\), expressed in terms of Hecke correspondences acting on the cohomology of Nakajima varieties, with the matrix coefficients of the classical r-matrix of \(Y_\textrm{MO}^{Q,+}\), which in turn is generated by stable envelopes. In other words, Schliffman and Vasserot identify the appropriate pull–push diagrams of certain matrix coefficients of the equivariant residue of the stable envelope.
The main result of the present paper goes in a similar but independent direction by showing that the whole stable envelope comes from the pull–push diagram defining the multiplication map (2) of the framed CoHA \({\mathcal {H}}^{{{\overline{Q}}}_{\text {fr}}}_{\tau }\).
Since \({\mathcal {P}}^{{\overline{Q}}}\) admits a canonical algebra morphism to \({\mathcal {H}}^{{\overline{Q}}}\subset {\mathcal {H}}^{{\overline{Q}}_{\text {fr}}}\), we expect Schliffman–Vasserot’s result to be compatible with ours and hope that a positive answer to this prediction would allow shedding more light on the connection between the preprojective CoHA and Maulik–Okounkov’s Yangians \(Y_\textrm{MO}^{Q,+}\).
1.2.4 Elliptic quantum groups
Of course, preprojective CoHAs can be also constructed in K-theory and elliptic cohomology [28, 40]. On the other hand, a definition of the elliptic quantum group of an arbitrary quiver is missing in the literature. As a consequence, an identification of the preprojective CoHA with the positive half of quantum groups in cohomology and K-theory could be used to define the elliptic quantum group itself as a Drinfel’d double of the elliptic preprojective CoHA.
2 Setup
2.1 Cohomology functors
Let G be an algebraic group. The cohomology functor that we consider in this article is equivariant cohomology
taken with complex coefficients. Given a G-space X, its G-equivariant cohomology \(H_G(X)\) is defined as the ordinary cohomology of the space
where \(EG\rightarrow BG\) is the classifying space of G. By construction, it is an \(H_G(*)=H(BG)\)-algebra.
In this article, we only consider the case when G is either a torus T, a parabolic subgroup P of \(\text {GL}(n)\), or \(\text {GL}(n)\) itself. In these cases, EG and BG admit explicit representatives. The infinite Grassmannian
is a model for the classifying space of \(B\text {GL}(v)\) with universal bundle given by its tautological bundle of rank n. Similarly, a model for the classifying space of a n-dimensional torus \(T\cong (\mathbb {C}^\times )^n\) is \((\mathbb {P}^\infty )^n\), with \(\mathbb {P}^\infty =\text {Gr}({1},{\infty })\), and the universal bundle ET is the direct sum of the tautological line bundles living on each copy of \(\mathbb {P}^\infty \). As a consequence, we have
where \({\mathfrak {t}}\) is the Lie algebra of T and W is the Weyl group of \(\text {GL}(n)\). Let now P be a parabolic subgroup of \(\text {GL}(n)\) containing the Levi subgroup \(L\cong \prod _i GL(n_i)\). Its classifying space fits in the Cartesian squares
Additionally, notice that BP is homotopy equivalent to BL and a fibration over BGL(n) by partial flags \(\text {GL}(n)/P\).
Beyond the standard pullback in cohomology, there are also pushforward maps
associated with proper equivariant morphisms between smooth varieties \(f: X\rightarrow Y\). Their construction is standard and is obtained through Poincaré duality in Borel–Moore homology.
In the article, we will also consider the cohomology of quotients stacks [X/G], which is the algebraic counterpart of equivariant cohomology. As discussed in [3], the cohomology of [X/G] coincides with the equivariant cohomology of the prequotient:
More generally, if we are given an action of \(G\times H\) on X, we can define the H-equivariant cohomology of [X/G] as
2.2 Stacks of quiver representations
Let (Q, I) be a quiver, i.e., an oriented graph, with finite vertex set I, where edge-loops and multiple edges are allowed. The quiver data are encoded in the adjacency matrix \(Q=\lbrace Q_{ij} \rbrace \), where
By abuse of notation, we identify the set of oriented edges with the matrix Q. There are two natural “head" and “tail" maps \(h,t:Q\rightarrow I\) that associate with an oriented edge \(e\in Q\) its head and tail vertices h(e) and t(e), respectively.
A representation of a quiver(Q, I) is an assignment of a vector space \(V_i\) to every vertex \(i\in I\) and a linear map \(x_{h(e),t(e)}\in \text {Hom}(V_{t(e)},V_{h(e)})\) to every edge \(e\in Q\). The space of representations \(\text {Rep}(\text {v})\) is
where \(V_i=\mathbb {C}^{\text {v}_i}\).
Given a quiver (Q, I), we also introduce the space of framed representations
with dimension
Equivalently, this can be seen as the space of representations of the framed quiver \(( Q_{\text {fr}}, I_{\text {fr}})\), which is the quiver whose set of vertices \( I_{\text {fr}}\) consists of two copies of I and whose adjacency matrix is
Also notice that the cotangent bundle \(T^*\text {Rep}(\text {v},\text {w})\) can be identified, via trace pairing, with the representations of the framed doubled quiver \((\overline{Q_\text {fr}}, \overline{I}_{\text {fr}})\), defined by \({\overline{I}}_\text {fr}=I_\text {fr}\) and \(\overline{Q}_\text {fr}=Q_\text {fr}+Q_\text {fr}^T\).
Finally, we remark that \(\text {Rep}(\text {v},0)\) is naturally identified with \(\text {Rep}(\text {v})\) and, similarly, \(T^*\text {Rep}(\text {v},0)\) is identified with \(T^*\text {Rep}(\text {v})\), the space of representations of the (unframed) doubled quiver \((\overline{Q},\overline{I})=(Q+Q^T, I)\).
The groups
act naturally on \(T^*\text {Rep}(\text {v},\text {w})\) by change of basis. There is also an action of \(\mathbb {C}_{\hbar }^\times \) rescaling the cotangent directions of \(T^*\text {Rep}(\text {v},\text {w})\), and we denote the corresponding weight by \({\hbar }\). Overall, we get an action of \(G_\text {v}\times G_\text {w}\times \mathbb {C}^\times _{\hbar }\) on \(T^*\text {Rep}(\text {v},\text {w})\).
Notice that the vector space \(T^*\text {Rep}(\text {v},\text {w})\) admits a canonical symplectic structure, which is preserved by the action of \(G_\text {v}\times T_\text {w}\) and is shifted by \(\mathbb {C}^\times _{\hbar }\) with weight \({\hbar ^{-1}}\).
Definition 2.1
The moduli space \({\mathfrak {R}}(\text {v},\text {w})\) is the quotient stack \([T^*\text {Rep}(\text {v},\text {w})/G_\text {v}]\).
Since we will never consider the stack \([\text {Rep}(\text {v},\text {w})/G_\text {v}]\), no confusion should arise from the notation.
Notice that we only take the quotient with respect to \(G_\text {v}\), so \({\mathfrak {R}}(\text {v},\text {w})\) admits a residual action by \(G_\text {w}\times \mathbb {C}^\times _{\hbar }\). We will be actually interested in the action of a maximal torus \(T_\text {w}\subset G_\text {w}\times \mathbb {C}^\times _{\hbar }\), which we factor as \(T_\text {w}=A_\text {w}\times \mathbb {C}^\times _{\hbar }\) where \(A_\text {w}=\prod _{i\in I} A_{\text {w}_i}\) is a maximal torus in \(G_\text {w}\).
2.3 Nakajima quiver varieties
By \({\mathcal {M}}_{Q,\theta }(\text {v},\text {w})\), we denote the Nakajima variety associated with a quiver (Q, I), dimension vectors \(\text {v},\text {w}\in \mathbb {N}^I\) and stability condition \(\theta \in \mathbb {Z}^{I}\cong \text {Char}(G_\text {v})\), cf. [14, 21,22,23]. Namely, \({\mathcal {M}}_{Q,\theta }(\text {v},\text {w})\) is realized as the GIT-symplectic reduction of the space of representations \(T^*\text {Rep}(\text {v},\text {w})\) by the Hamiltonian action of \(G_{\text {v}}\):
Equivalently, \({\mathcal {M}}_{Q,\theta }(\text {v},\text {w})\) is the quotient
where
is the moment map of the \(G_{\text {v}}\)-action and \(\mu _{\text {v},\text {w}}^{-1}(0)^{\theta -ss}\) is the open subset of \(\theta \)-semistable representations in \(\mu _{\text {v},\text {w}}^{-1}(0)\). Since the action of \(T_\text {w}=A_\text {w}\times \mathbb {C}^\times _{\hbar }\) commutes with the one of \(G_{\text {v}}\), it descends to an action on \({\mathcal {M}}_{\theta }(\text {v},\text {w})\). In particular, the subgroup \(\mathbb {C}^\times _{\hbar }\) rescales the symplectic form while all the other actions preserve it.
A striking feature of Nakajima varieties is that the fixed components of the action of a subtorus of \(A_\text {w}\) are still quiver varieties [19, Section 2.4.1].
Proposition 2.2
Let \(\mathbb {C}^\times \) be a one-dimensional subtorus of \(A_\text {w}\) acting trivially on the subspaces \(W^{(1)}_i\subset W_i\), and with weight one on their complements \(W^{(2)}_i\). Then
where \(\text {w}_1\) and \(\text {w}_2\) are the dimension vectors of \(W^{(1)}\) and \(W^{(2)}\) and the isomorphism is induced by the diagonal inclusion
By iteration, one gets a decomposition of the connected components of \({\mathcal {M}}(\text {v},\text {w})^{A_\text {w}}\) as a product of Nakajima varieties.
A representation U of \(G_\text {v}\times T_\text {w}\) allows defining the vector bundle
over X, which, by abuse of notation, we denote in the same way. In particular, this gives tautological bundles \(V_i\) and \(W_i\) for all \(i\in I\).
Kirwan surjectivity, proved by McGerty and Nevins in [20] and by Schiffmann and Vasseort in an appendix of [34], states that the restriction map
is surjective, and, as a consequence, the cohomology ring \(H_{T_\text {w}}({\mathcal {M}}(\text {v},\text {w}))\) is generated as a \(H_{\mathbb {C}_\hbar ^\times }(*)\)-algebra by the Chern roots of the tautological bundles \(V_i\) and \(W_i\).
3 Framed CoHA
3.1 The basic construction
Fix a quiver (Q, I) and consider once again a pair of decompositions \(\text {v}=\text {v}_1+\text {v}_2\) and \(\text {w}=\text {w}_1+\text {w}_2\) and the inclusion
For \(j=1,2\), set
where \(\text {v}_j=(\dim V_i^{(j)})_{i\in I}\) and \(\text {w}_j=(\dim W_i^{(j)})_{i\in I}\). Interpreting the decompositions above as the introduction of an additional grading
we can identify the image of (7) with the degree zero subspace in the induced grading
The space
naturally lives on a Lagrangian correspondence
where the first map is projection and the second one is inclusion. By Lagrangian, here we mean that Z can be seen as a Lagrangian subspace of the symplectic space
with symplectic form given by the sum of the standard symplectic form of the first factor and the opposite of the standard symplectic form of the second one.
Remark 3.1
The previous grading is equivalent to an action of a one-dimensional torus \(\mathbb {C}^\times \) acting on the various spaces with the weights prescribed by their degrees. From this point of view, the zero-degree subspace
is just the fixed locus of the action of \(\mathbb {C}^\times \) on \(T^*\text {Rep}(\text {v},\text {w})\) and Z is the attracting set of \(T^*\text {Rep}(\text {v},\text {w})[0]\).
It is important to note that
is a vector bundle whose fibers \(Z_{(x_1,x_2)}\) can be identified with the Ext-groups
Here we see the elements \(x_1\) and \(x_2\) as modules over the path algebra of the framed doubled quiver \((\overline{Q}_\text {fr}, {\overline{I}}_{\text {fr}})\) and the Ext-group is taken in this category.
The subspace \(Z\subset T^*\text {Rep}(\text {v},\text {w})\) is preserved by the action of
i.e., the product of the parabolic subgroups preserving \(V_i^{(2)}\subset V_i\). Notice in particular that
Passing to quotients, we get a correspondence
Following the general construction of Kontsevich and Soibelman, we will define an algebra via pullback–pushforward along these maps.
For later reference, we record some formulas for certain K-theory classes of \({\mathfrak {R}}(\text {v},\text {w})\) and \({\mathcal {M}}(\text {v},\text {w})\). Firstly, the tangent class
can be written as
The inclusion (7) descends a \(T_\text {w}\)-equivariant closed immersion of stacks
whose normal class
can be rewritten as \({\mathfrak {N}}={\mathfrak {N}}[1]+{\mathfrak {N}}[-1]\), where
Similarly, we have
and the normal class of
is \(N=N[1]+N[-1]\), where
3.2 Framed cohomological Hall Algebras
From now on, we denote the \(\mathbb {C}^\times _{\hbar }\)-equivariant cohomology of the point by \(\Bbbk \). This means that \(\Bbbk \) is the polynomial ring \(\mathbb {C}[{\hbar }]\). Let now (Q, I) be a quiver. We define a \(\mathbb {N}^I\times \mathbb {N}^I\)-graded \(\Bbbk \)-module
by setting
As a \(\Bbbk \)-module, \({\mathcal {H}}^{{{\overline{Q}}}_{\text {fr}}}(\text {v},\text {w})\) is just the ring
where \({\mathfrak {a}}_\text {w}\) and \({\mathfrak {s}}_\text {v}\) are the Lie algebras of \(A_\text {w}\subset T_\text {w}\) and of some maximal torus \(S_\text {v}\subset G_\text {v}\), respectively. Whenever convenient, we will drop the reference to the quiver by simply writing \({\mathcal {H}}\) instead of \({\mathcal {H}}^{{{\overline{Q}}}_{\text {fr}}}\). Clearly, instead of defining \({\mathcal {H}}(\text {v},\text {w})\) as the \(T_\text {w}\)-equivariant cohomology of \({\mathfrak {R}}(\text {v},\text {w})=[T^*\text {Rep}(\text {v},\text {w})/G_\text {v}]\), we could have taken the non-equivariant cohomology of the stack \([T^*\text {Rep}(\text {v},\text {w})/(G_\text {v}\times T_\text {w})]\). However, we believe that the former is the right perspective, especially when it comes to studying the relation between stable envelopes and CoHAs.
Following Kontsevich and Soibelman [18], we define a multiplication map
that turns \({\mathcal {H}}\) into a \(\mathbb {N}^I\times \mathbb {N}^I\)-graded \(\Bbbk \)-algebra. Each graded component
is defined by means of correspondence (9). Explicitly, \({\textsf{m}}\) is defined as the composition of the following maps:
-
1.
the Künneth isomorphism
$$\begin{aligned} H_{T_{\text {w}_1}}^*({\mathfrak {R}}(\text {v}_1,\text {w}_1))\otimes _{\Bbbk }H_{T_{\text {w}_2}}^*({\mathfrak {R}}(\text {v}_2,\text {w}_2))\cong H_{T_\text {w}}^*({\mathfrak {R}}(\text {v}_1,\text {w}_1)\times {\mathfrak {R}}(\text {v}_2,\text {w}_2)), \end{aligned}$$ -
2.
the pullback
$$\begin{aligned} {\textsf{p}}^*: H_{T_\text {w}}^*({\mathfrak {R}}(\text {v}_1,\text {w}_1)\times {\mathfrak {R}}(\text {v}_2,\text {w}_2))\rightarrow H_{T_\text {w}}([Z/P]), \end{aligned}$$ -
3.
the pushforward
$$\begin{aligned} {\textsf{q}}_*: H_{T_\text {w}}([Z/P])\rightarrow H_{T_\text {w}}({\mathfrak {R}}(\text {v}_1+\text {v}_2,\text {w}_1+\text {w}_2)). \end{aligned}$$
The proof of [18, Theorem 1] extends to our framed setting and gives the following
Theorem 3.2
The map \({\textsf{m}}\) defines an \(\mathbb {N}^I\times \mathbb {N}^I\)-graded associative unital \(\Bbbk \)-algebra structure on \({\mathcal {H}}^{{{\overline{Q}}}_{\text {fr}}}\) with unit element given by \(1\in \Bbbk ={\mathcal {H}}^{{{\overline{Q}}}_{\text {fr}}}(0,0)\).
Definition 3.3
We call the associative unital \(\mathbb {N}^I\times \mathbb {N}^I\)-graded algebra \(({\mathcal {H}}^{{{\overline{Q}}}_{\text {fr}}},{\textsf{m}})\) the framed doubled cohomological Hall algebra associated with the quiver (Q, I).
Notice that, seen as a \(\Bbbk \)-module, \({\mathcal {H}}^{{{\overline{Q}}}_{\text {fr}}}\) does not depend on the edges of Q, encoded in the multiplication map \({\textsf{m}}\) nonetheless.
Remark 3.4
The (unframed) CoHA associated with the doubled quiver \((\overline{Q}, {\overline{I}})\) defined by Kontsevich–Soibelman is recovered as the \(\text {w}=0\) subalgebra of our framed CoHA \({\mathcal {H}}^{{{\overline{Q}}}_{\text {fr}}}\). Indeed, the \(\Bbbk \)-submodule with trivial \(\text {w}\)-grading is preserved by the multiplication, which reduces to the one defined in [18, Section 2.2]. On the other hand, the algebra \({\mathcal {H}}^{{{\overline{Q}}}_{\text {fr}}}\) should not be confused with Kontsevich–Soiblelman cohomological Hall algebra associated with the framed doubled quiver \(({\overline{Q}}_{\text {fr}},{\overline{I}}_{\text {fr}})\). Indeed, the graded component of the latter is identified with \(H^*_{G_{\text {v}}\times G_{\text {w}}\times \mathbb {C}^\times _{\hbar }}(T^*\text {Rep}(\text {v},\text {w}))\) rather than \(H^*_{G_{\text {v}}\times T_{\text {w}}}(T^*\text {Rep}(\text {v},\text {w}))\), and also the multiplication is affected by the change of group.
To relate \({\mathcal {H}}^{{{\overline{Q}}}_{\text {fr}}}\) with stable envelopes, we need to twist the multiplication
This is done as follows: multiplication by the class
gives an endomorphism that can be inserted between the maps at points 1. and 2. in the definition of \({\textsf{m}}\) to get a twisted multiplication \({\textsf{m}}_\tau \). It is easy to see that \({\textsf{m}}_\tau \) also defines unital associative \(\Bbbk \)-algebra structure on the \(\Bbbk \)-module \({\mathcal {H}}^{{{\overline{Q}}}_{\text {fr}}}\). To distinguish the twisted algebra structure on \({\mathcal {H}}^{{{\overline{Q}}}_{\text {fr}}}\) without explicitly referring to the multiplication map \({\textsf{m}}_\tau \), we add a subscript to the \(\Bbbk \)-module itself: \({\mathcal {H}}^{{{\overline{Q}}}_{\text {fr}}}_\tau \).
Definition 3.5
We call the associative unital \(\mathbb {N}^I\times \mathbb {N}^I\)-graded \(\Bbbk \)-algebra \(({\mathcal {H}}^{{{\overline{Q}}}_{\text {fr}}}_\tau , {\textsf{m}}_\tau )\) the twisted framed doubled cohomological Hall algebra associated with the quiver (Q, I).
Remark 3.6
The introduction of the twist is not new in the literature. Indeed, Yang and Zhao introduced in [41] the same twist to define a canonical morphism between the CoHA associated with the preprojective path algebra \(\mathbb {C}{\overline{Q}}/J_{\mu }\) and the twisted version of Kontsevich–Soibelman CoHA for the doubled quiver \({\overline{Q}}\). Here \(J_{\mu }\) is the ideal associated with the moment map of the action of \(G_\text {v}\) on \(T^*\text {Rep}(\text {v})\). Equivalently, via dimensional reduction [9, Appendix A], the twist in the multiplication map \(m_\tau \) can be also detected in the critical CoHA for the tripled quiver with a non-trivial potential [13, 29, 39].
We also remark that, following Yang–Zhao’s construction, one could define a framed version of their preprojective cohomological Hall algebra together with an algebra morphism to \({\mathcal {H}}^{{{\overline{Q}}}_{\text {fr}}}_\tau \).
3.3 Shuffle description for the product
The framed CoHA admits a very explicit description under the identifications
An element \(f\in {\mathcal {H}}(\text {v},\text {w})\) is simply a polynomial f(a, s), symmetric in each set of Chern roots associated with the groups \(\text {GL}(\text {v}_i)\subset G_{\text {v}}\).
Fix decompositions \(\text {v}=\text {v}_1+\text {v}_2\) and \(\text {w}=\text {w}_1+\text {w}_2\) and view both \({\mathcal {H}}(\text {v},\text {w})\) and \({\mathcal {H}}(\text {v}_1,\text {w}_1)\otimes _{\Bbbk }{\mathcal {H}}(\text {v}_2,\text {w}_2)\) as subalgebras of
Let
be the symmetrization map by shuffles and recall the definitions of the classes in Sect. 3.1.4.
Theorem 3.7
The product \({\textsf{m}}(f_1,f_2)\) of two elements \(f_1(a_1,s_1)\in {\mathcal {H}}(\text {v}_1,\text {w}_1)\) and \(f_2(a_2,s_2)\in {\mathcal {H}}(\text {v}_2,\text {w}_2)\) is given by
Similarly, the twisted product \({\textsf{m}}_\tau (f_1,f_2)\) is given by:
Notice that the kernel \(e(T^*\text {Rep}(\text {v},\text {w})[-1])/e({\mathfrak {g}}_{\text {v}}[-1])\) of the multiplication map \({\textsf{m}}\) coincides with \(e({\mathfrak {N}}[-1])\), the Euler class of the negative part of the normal bundle defined in Sect. 3.1.4.
Proof
We decompose the correspondence (9) giving rise to the multiplication map \({\textsf{m}}\) as follows:
All the maps are the obvious ones. In particular, \(p_1\) is induced by the projection \(Z\rightarrow T^*\text {Rep}(\text {v}_1,\text {w}_1)\times T^*\text {Rep}(\text {v}_2,\text {w}_2) \) and \(p_2\) is an affine bundle, so \({\textsf{p}}^*=(p_2^*)^{-1}\circ p_1^*\) is just the identity map in the tautological presentation. The map i is induced by the inclusion \(Z\hookrightarrow T^*\text {Rep}(\text {v},\text {w})\) so \(i_*\) is multiplication by \(e(T^*\text {Rep}(\text {v},\text {w})[-1])\), the Euler class of its normal bundle. Finally, the map \(\pi _*\) is modeled by the map
which is a fibration by partial flags \(G_{\text {v}}/P\), and hence, \(\text {Ker}(d{\tilde{\pi }})={\mathfrak {g}}_\text {v}[-1]\). Thus
Altogether,
as claimed.
Finally, since \({\textsf{m}}_\tau \) is defined as the composition of \({\textsf{m}}\) with cup product by \(e({\hbar }{\mathfrak {g}}_{\text {v}}[1])\), also its formula follows. \(\square \)
Remark 3.8
In [38, Section 2.3], Yang and Zhao define a framed shuffle algebra similar to the one introduced in Theorem 3.7. The only significant difference from our construction is that in their work the torus \(A_\text {w}\) is replaced with \(G_{\text {w}}\supseteq A_{\text {w}}\). Consequently, in [38] an additional shuffle symmetrizing the equivariant parameters a associated with \(A_\text {w}\) is considered.
Almost at the same time, Konno introduced an elliptic (and dynamical) version of the shuffle product from Theorem 3.7 in the case of type-A quivers with one framing vertex [17]. This structure was then extended in [6] to arbitrary quivers and framings.
3.4 CoHA via abelian quotients
Choose a maximal torus \(S\subset G_\text {v}\) with Lie algebra \({\mathfrak {s}}\). In this section, we introduce an abelianized version of the CoHA using S-equivariant rather than \(G_\text {v}\)-equivariant cohomology.
Let B be a Borel subgroup containing S with Lie algebra \({\mathfrak {b}}={\mathfrak {s}}\oplus {\mathfrak {n}}\). We have \({\mathfrak {g}}_{\text {v}}={\mathfrak {s}}_{\text {v}}\oplus {\mathfrak {n}}\oplus {\mathfrak {n}}^{\vee }\) and hence \({\mathfrak {s}}^\perp ={\mathfrak {n}}\oplus {\mathfrak {n}}^\vee \). Consider the following diagram
Here, Q is an affine bundle with fiber B/S, and q is a fibration by flags \(G_{\text {v}}/B\). As usual, the label \({\hbar }\) indicates the presence of an action of \(\mathbb {C}_{\hbar }^\times \) with weight one.
All the maps are clearly \(T_\text {w}\)-equivariant. Passing to cohomology, notice that
-
The map q is proper, and the pushforward \(q_*\) is surjectiveFootnote 1.
-
The pullback \(Q^*\) is an isomorphism.
From now on, we always assume that the maximal tori S and the Borel subgroups B are chosen compatibly, in the sense that if \(S_1\), \(S_2\), \(B_1\) and \(B_2\) are the chosen maximal tori and Borel subgroups of \(G_{\text {v}_1}\) and \(G_{\text {v}_2}\) then \(S_1\times S_2\subset G_{\text {v}_1}\times G_{\text {v}_2}\) is the chosen maximal torus of \(G_\text {v}\supset G_{\text {v}_1}\times G_{\text {v}_2}\) and, similarly, \(B_1\times B_2\) is the subgroup of B such that
or, equivalently, such that
We now introduce the \(\Bbbk \)-module
by setting
The goal of this section is to promote this module to a \(\mathbb {N}^I\times \mathbb {N}^I\)-graded algebra and to recover the twisted CoHA \({\mathcal {H}}_\tau \) from \({\mathcal {H}}_{\text {ab},\tau }\). For similar constructions in a different framework, see [9, 28]. We remark that the need to add the factor \({\mathfrak {s}}^\perp \) and to introduce the horizontal maps in the diagram (11) is because we want to reproduce \({\mathcal {H}}_\tau \) rather than the untwisted \({\mathcal {H}}\).
3.4.2
Let \(\text {v}=\text {v}_1+\text {v}_2\) and \(\text {w}=\text {w}_1+\text {w}_2\). The analog of the correspondence (8) now is
where
Quotienting by \(S=S_1\times S_2\), we get
We now define multiplication maps
as the composition of the following morphisms
-
1.
the Künneth isomorphism
$$\begin{aligned} {\mathcal {H}}_{\text {ab},\tau }(\text {v}_1,\text {w}_1)\otimes _\Bbbk {\mathcal {H}}_{\text {ab},\tau }(\text {v}_2,\text {w}_2)\cong & {} H_{T_\text {w}}^*([T^*\text {Rep}(\text {v}_1,\text {w}_1)\oplus {\hbar }{\mathfrak {s}}_1^\perp /S_1]\\{} & {} \times [T^*\text {Rep}(\text {v}_2,\text {w}_2)\oplus {\hbar }{\mathfrak {s}}_2^\perp /S_2]), \end{aligned}$$ -
2.
the pullback
$$\begin{aligned} {\textsf{p}}_S^*: H_{T_\text {w}}^*([T^*\text {Rep}(\text {v}_1,\text {w}_1)\oplus {\hbar }{\mathfrak {s}}_1^\perp /S_1]\times [T^*\text {Rep}(\text {v}_2,\text {w}_2)\oplus {\hbar }{\mathfrak {s}}_2^\perp /S_2])\rightarrow H_{T_\text {w}}([Z_S/S]), \end{aligned}$$ -
3.
the pushforward
$$\begin{aligned} ({\textsf{q}}_S)_*: H_{T_\text {w}}([Z_S/S])\rightarrow H_{T_\text {w}}([T^*\text {Rep}(\text {v},\text {w})\oplus {\hbar }{\mathfrak {s}}^\perp /S])={\mathcal {H}}_{\text {ab},\tau }(\text {v},\text {w}). \end{aligned}$$
An argument similar to that of Theorem 3.7, but simpler, shows that the multiplication map (12) is simply given by cup product by the class
Similarly to Theorem 3.2, we also have:
Proposition 3.9
The maps \({\textsf{m}}_{\text {ab},\tau }\) define an \(\mathbb {N}^I\times \mathbb {N}^I\)-graded associative unital \(\Bbbk \)-algebra structure on \({\mathcal {H}}_{\text {ab},\tau }\) with unit element given by \(1\in \Bbbk ={\mathcal {H}}(0,0)\).
We now relate \({\mathcal {H}}_\tau \) with \({\mathcal {H}}_{\text {ab},\tau }\). For simplicity, let us denote
Theorem 3.10
The multiplication map \({\textsf{m}}_{\text {ab},\tau }\) uniquely factors through the following commutative diagram
Denote the dashed arrow by \({\textsf{m}}_{\text {ab},\tau }^{{\mathfrak {b}}}\). Then, the following diagram
is also commutative.
Proof
We claim that the dashed arrow of the first diagram is given by the correspondence
with
It fits in the following pair of Cartesian squares
where the central arrow i is induced by the inclusion map
By compatibility of pullback and pushforward on Cartesian squares, we deduce that
as claimed. Notice that this implies that the map \({\textsf{m}}_{\text {ab},\tau }^{{\mathfrak {b}}}\) is the cup product operation by
We now prove the commutativity of the second diagram. Firstly, notice that the pullbacks \((i_+)^*\) and \((i_{1,+})^*\otimes (i_{2,+})^*\) are isomorphisms, and the composition \((i_+)^*\circ {\textsf{m}}_{\text {ab},\tau }^{{\mathfrak {b}}}\circ ((i_{1,+})^*\otimes (i_{2,+})^*)^{-1}\) is given by \((\tilde{{\textsf{q}}}_S)_*\circ (\tilde{{\textsf{p}}}_S)^*\circ e({\hbar }{\mathfrak {g}}_{\text {v}}[1])\), where \(\tilde{{\textsf{p}}}_S\) and \(\tilde{{\textsf{q}}}_S\) are maps fitting in the correspondence
Since \({\textsf{m}}_{\tau }\) is by definition \({\textsf{m}}\circ e({\hbar }{\mathfrak {g}}_{\text {v}}[1])\), to complete the proof, it suffices to show that the following diagram
is commutative. Consider the commutative diagram
where the unlabeled maps are the obvious ones. The squares in the lower left and upper right are Cartesian, so the commutativity of diagram (14) follows from the compatibility of pushforward and pullback on Cartesian squares. Details are left to the reader. \(\square \)
4 Cohomological stable envelopes
4.1 Chambers, attracting sets and polarization
Let X be a smooth quasi-projective symplectic variety with an action a torus T rescaling the symplectic form with weight \({\hbar }^{-1}\) and let \(A\subset \ker ({\hbar })\). In this work, we will be interested in the case when
where H is either \(G_\text {v}\) or a maximal torus \(S\subset G_\text {v}\) thereof.
Definition 4.1
([19]) A chamber \({\mathfrak {C}}\) is a connected component of \((\text {Cochar}(A)\otimes _\mathbb {Z}\mathbb {R})\setminus \Delta \), where \(\Delta \) is the hyperplane arrangement determined by the A-weights of the normal bundles of \(X^A\). One says that a weight \(\chi \in \text {Char}(A)\) is attracting (resp. repelling) with respect to \({\mathfrak {C}}\) if \(\lim _{t\rightarrow 0} \chi \circ \sigma (t)=0\) (resp. if \(\lim _{t\rightarrow 0} \chi \circ \sigma (t)=\infty \)) for any \(\sigma \in {\mathfrak {C}}\). The trivial character is called the A-fixed character.
Restricted to some fixed component \(F\subset X^A\), any A-equivariant K-theoretic class V of X decomposes according to the characters of A in attracting, A-fixed and repelling classes
with respect to a chosen chamber \({\mathfrak {C}}\). For instance, we have that
where \(N_F^+={ \left. \hspace{0.0pt}TX \right| _{F,+} }\) and \(N_F^-={ \left. \hspace{0.0pt}TX \right| _{F,-} }\) are the attracting and repelling parts of the normal bundle \(N_F\) to F in X.
If X is a Nakajima variety and \(A=A_\text {w}\), these geometrically defined chambers coincide with the Lie-theoretic chambers. Indeed, the \(A_\text {w}\)-weights of the normal bundles of the \(A_\text {w}\)-fixed components of a Nakajima variety X are the roots of the group \(\text {GL}(\sum _j \text {w}_j)\), and hence, the hyperplane arrangement \(\Delta \) coincides with the one that defines the Lie-theoretic chambers of a maximal torus of \(\text {GL}(\sum _j \text {w}_j)\).
Let F be a fixed component in \(X^{A}\). The attracting set
is well defined, i.e., independent of the choice of \(\sigma \in {\mathfrak {C}}\), and it is also an affine bundle over F. This follows from the standard results in [4]. Notice in particular that \({ \left. \hspace{0.0pt}T(\text {Att}_{\mathfrak {C}}({F})) \right| _{F} }=N^+_F\).
We also recall the following key definition:
Definition 4.2
The full attracting set \(\text {Att}^f_{{\mathfrak {C}}}(F)\) is the minimal closed subset of X containing F and closed under taking \(\text {Att}_{\mathfrak {C}}({-})\).
The choice of a chamber determines a partial ordering on the set of fixed components of \(X^A\) by taking the transitive closure of the relation
See [19, Section 3.2.3] for a proof of the fact that this is really a partial order.
4.2 Stable envelopes
We now recall Maulik–Okounkov’s definition of stable envelopes.
Since A acts trivially on \(X^A\), we have
where \(H_A(*)\) is the ring of polynomials in equivariant parameters in A. Although the isomorphism above is not canonical, different isomorphisms give the same filtration of \(H_T(X^A)\) by the degree \(\deg _A\) in the equivariant parameters.
With this observation, we can recall the definition of cohomological stable envelope.
Theorem 4.3
([19], Theorem 3.3.4) Let \({\mathfrak {C}}\) be a chamber for the action of A on X. There exist a unique map of \(H_{T}(*)\)-modules
such that
-
1.
For every fixed component \(F\subset X^A\), then
$$\begin{aligned} { \left. \hspace{0.0pt}\text {Stab}^{}_{\mathfrak {C}}(F) \right| _{F} }= e(N^-_F), \end{aligned}$$where \(\text {Stab}^{}_{\mathfrak {C}}(F)\) is the restriction of \(\text {Stab}_{{\mathfrak {C}}}\) to \(H_{T}(F)\subset H_T(X^A) \).
-
2.
\(\text {Stab}^{}_{\mathfrak {C}}(F)\) is supported on \(\text {Att}^f_{{\mathfrak {C}}}(F)\), i.e.
$$\begin{aligned} { \left. \hspace{0.0pt}\text {Stab}^{}_{\mathfrak {C}}(F) \right| _{U} }=0, \end{aligned}$$where \(U=X\setminus \text {Att}^f_{{\mathfrak {C}}}(F)\).
-
3.
\(\deg _A({ \left. \hspace{0.0pt}\text {Stab}^{}_{\mathfrak {C}}(F)(\gamma ) \right| _{F'} })< \frac{1}{2}\text {codim}_{X}(F')\) for all \(\gamma \in H_{T/A}(F)\) and \(F'< F\).
The next lemma is a key result for the application of stable envelopes in the geometric representation theory of Yangians, see [19], and it also lies at the heart of the interpretation of stable envelopes in terms of CoHAs that we shall give.
Lemma 4.4
([19, Section 3.6]) Let \({\mathfrak {C}}\) be a chamber for the action of A on X, and let \({\mathfrak {C}}'\subset {\mathfrak {C}}\) be a face of some dimension. Let \(A'\) be torus whose Lie algebra is the span of \({\mathfrak {C}}'\) in the Lie algebra of A and let \({\mathfrak {C}}/{\mathfrak {C}}'\) be the projection of \({\mathfrak {C}}\) on the Lie algebra of \(A/A'\). Then, the following diagram
is commutative.
4.3 Stable envelopes of Nakajima varieties: R-matrices
Let now X be a Nakajima variety \(X={\mathcal {M}}(\text {v},\text {w})\) equipped with the action of the torus \(T=T_\text {w}\). A decomposition \(\text {w}=\text {w}_1+\text {w}_2\dots +\text {w}_k\) gives a homomorphism
By iteration of Proposition 2.2, we get
and hence the stable envelope is a collection of maps
For this torus action, there are k! possible chambers, namely
The change of basis matrix relating stable envelopes for two different chambers \({\mathfrak {C}}_{\sigma }\) and \({\mathfrak {C}}_{\tau }\), namely the map
is called R-matrix and is a fundamental object in the geometric representation theory of Yangians developed by Maulik and Okounkov [19]. In particular, when \(k=3\) different factorizations of \(R_{{\mathfrak {C}}_{\tau }, {\mathfrak {C}}_{\sigma }}\) provide solutions of the classical Yang–Baxter equation with spectral parameters.
4.4 Stable envelopes of hypertoric varieties: explicit formulas
If we consider the GIT-symplectic reduction of \(T^*\text {Rep}(\text {v},\text {w})\) by a maximal torus \(S\subset G_\text {v}\) with stability condition \(\theta \in \text {Char}(S)\)
we produce a hypertoric variety rather than a Nakajima quiver variety. Like quiver varieties, they come equipped with an action of \(T_\text {w}\) and, for a generic stability condition, they are smooth symplectic varieties, so it makes sense to talk about their stable envelopes. Moreover, also for hypertoric varieties, Kirwan surjectivity holds [16], and hence,
where I is some ideal. For an explicit description of the generators of I, see [16].
Remarkably, stable envelopes of hypertoric varieties admit a very explicit description in terms of tautological classes. This description was originally developed in full generality by Shenfeld [36], but for our interests, it suffices to have an explicit formula for the stable envelope map of the form
Here, \(S=S_1\times S_2\) and the torus action considered is the one of the one-dimensional torus \(\mathbb {C}^\times \subset A_\text {w}\) acting with weight one on \(W_1\) and trivially elsewhere. For this one-dimensional torus action, the chamber arrangement is particularly easy. Indeed, we have \(\text {Cochar}(\mathbb {C}^\times )\otimes _\mathbb {Z}\mathbb {R}=\mathbb {R}\), so are only two chambers: the positive axis \(\lbrace a>0 \rbrace \) and the negative axis \(\lbrace a<0 \rbrace \).
Notice that the cohomology
of the fixed component \({\mathcal {M}}_{S_1}(\text {v}_1,\text {w}_1)\times {\mathcal {M}}_{S_2}(\text {v}_2,\text {w}_2)\subset {\mathcal {M}}_{S}(\text {v}_1+\text {v}_2,\text {w}_1+\text {w}_2)^{\mathbb {C}^\times }\) is isomorphic to
hence both the domain and the codomain of the stable envelope map \(\text {Stab}_{\lbrace a<0\rbrace }\) are quotients of the same ring \(\Bbbk [{\mathfrak {a}}_\text {w}\times {\mathfrak {s}}]\).
Proposition 4.5
Let \(p_\gamma \in \Bbbk [{\mathfrak {a}}_\text {w}\times {\mathfrak {s}}] \) be a polynomial representing a class \(\gamma \in H_{T_\text {w}}({\mathcal {M}}_{S_1}(\text {v}_1,\text {w}_1)\times {\mathcal {M}}_{S_2}(\text {v}_2,\text {w}_2))\). Then, the polynomial
represents the class \(\text {Stab}_{\lbrace a< 0\rbrace }(\gamma )\).
For the proof, see [36, Section 4.3]. The fact that this assignment gives a well-defined map can be also seen as follows: by equivariant formality, the \(H_{T_\text {w}}(*)\)-module (16) is free,Footnote 2 so one can pick a set of polynomials \(\lbrace {p_{\gamma _i}\rbrace }_{i}\) representing a basis \(\lbrace {\gamma _i\rbrace }_{i}\) of \(H_{T_\text {w}}({\mathcal {M}}_{S_1}(\text {v}_1,\text {w}_1)\times {\mathcal {M}}_{S_2}(\text {v}_2,\text {w}_2))\) and use the assignment
to define a \(H_{T_\text {w}}(*)\)-linear map to \(H_{T_\text {w}}({\mathcal {M}}_S(\text {v}_1+\text {v}_2,\text {w}_1+\text {w}_2))\). Since this map satisfies the axioms of a stable envelope (see [36]), by uniqueness of the latter, it is actually independent of the choice of the basis and of its polynomial representatives.
4.5 Abelianization of stable envelopes
In this section, we recall the abelianization of stable envelopes, which is a procedure that relates the stable envelopes of a Nakajima variety
with the ones of the abelian quotient
In the following, we assume that the stability condition \(\theta \in \text {Char}(G_\text {v})\subset \text {Char}(S)\), which determines the \((\theta , G_\text {v})\)-semistable locus \(\mu _{\text {v},\text {w}}^{-1}(0)^{G_{\text {v}}-ss}\) and \((\theta , S)\)-semistable locus \(\mu _{S}^{-1}(0)^{S-ss}\), respectively, is chosen generically, in such a way that both the varieties above are smooth. Abelianization of stable envelopes was first developed by Shenfeld [36] for singular cohomology and then reproduced in elliptic cohomology by Aganagic and Okounkov in [1]. The following version is the cohomological limit of abelianization in elliptic cohomology. Let B be a Borel subgroup of \(G_\text {v}\) containing S, and let \({\mathfrak {s}}\subset {\mathfrak {b}}\subset {\mathfrak {g}}_{\text {v}}\) be the corresponding Lie algebras. Since \(\mu _S\) is the projection of \(\mu _{\text {v},\text {w}}\) to \({\mathfrak {s}}^*\), which we identify with \({\mathfrak {s}}\) via trace pairing, we have
where \({\mathfrak {s}}^\perp ={\mathfrak {n}}\oplus {\mathfrak {n}}^\vee \) is the subspace of \({\mathfrak {g}}_{\text {v}}\) vanishing on \({\mathfrak {s}}\). Consider the diagram
Notice the similarity with the abelianization diagram for the CoHA (11). Indeed, the latter was inspired by diagram (17).
Notice that \(\Pi \) is an affine bundle with fiber B/S, \(\pi \) is a fibration by flags \(G_{\text {v}}/B\), and \(j_-\) is a closed embedding.
All the maps in the diagram are \(T_\text {w}\)-equivariant, so the diagram above restricts to fixed components of the action of some torus \(A\subset T_\text {w}\). Let \(\pi ^A\), \(\Pi ^A\), etc. be the restrictions of the maps above. Passing to cohomology, notice that
-
The maps \(\pi \) and \(\pi ^A\) are proper, and the pushforwards \(\pi _*\) and \(\pi ^A_*\) are surjectiveFootnote 3
-
The pullbacks \(\Pi ^*\) and \((\Pi ^A)^*\) are isomorphisms.
Fix some component \(F\subset {\mathcal {M}}(\text {v},\text {w})^A\) and a chamber \({\mathfrak {C}}\) for the action of A. Let \(F_B\) be the (unique) A-fixed component in \(\pi ^{-1}(F)\) whose normal weights in \(\pi ^{-1}(F)\) are non-attracting, i.e.
Overall, we get a diagram
whose vertices are A-fixed components.
We can now review the statement of the abelianization theorem.
Theorem 4.6
([1, Section 4.3]) The composition \(\text {Stab}^{}_{\mathfrak {C}}(F_S)\circ (j^A_-)_*\) factors through \((j_-)_*\), i.e., there exists a map making the diagram
commute. Denote a choice of dashed arrow by \(\text {Stab}^{{\mathfrak {b}}}_{\mathfrak {C}}(F_S)\). Then the following diagram also commutes
Since each of the maps in the composition \((\pi ^A)_*\circ ((\Pi ^A)^*)^{-1}\circ (j^A_+)^* \) is surjective, the previous theorem expresses the stable envelopes of the Nakajima variety \({\mathcal {M}}(\text {v},\text {w})\) in terms of those of the hypertoric variety \({\mathcal {M}}_S(\text {v},\text {w})\).
Remark 4.7
Actually, in the original reference [1] Theorem 4.6 is presented in a slightly different way. Indeed, the composition \((\Pi ^*)^{-1}\circ (j_+)^*\) is replaced with pullback by a single map
which is the canonical map obtained from the \(C^\infty \)-isomorphism of \(G/B\cong U/U\cap S\) bundles
and the inclusion
Here U is a compact form of \(G_\text {v}\) and the real moment map \(\mu _{\mathbb {R}}^{-1}(\eta )\) plays the role of the stability condition [21]. Similarly, also the composition \(((\Pi ^A)^*)^{-1}\circ (j^A_+)^*\) is replaced with \(({\tilde{j}}_-^A)^*\). Despite appearances, it is easy to see that \(({\tilde{j}}_+)^*=(\Pi ^*)^{-1}\circ (j_+)^*\) and \(((\Pi ^A)^*)^{-1}\circ (j^A_+)^*=({\tilde{j}}_-^A)^*\) under the identification (18). Indeed, the cohomology of \( \mu _{\text {v},\text {w}}^{-1}(0)^{G_{\text {v}}-ss}/B\) is generated by the Chern roots of the tautological bundles, and both \(({\tilde{j}}_+)^*\) and \((\Pi ^*)^{-1}\circ (j_+)^*\) send Chern roots to Chern roots. Hence, they are the same map. This argument proves the first equality; the proof of the second one is similar. Therefore, the statement of the theorem above differs from the original one [1] only in the notation. However, in this article, we avoid using the maps \({\tilde{j}}_+\) and \({\tilde{j}}^A_+\) because they are not algebraic.
5 Framed semistable CoHA via stable envelopes
5.1 The framed semistable preprojective CoHA
Fix a quiver Q and consider the graded \(\Bbbk \)-module
where
As usual, we will drop the reference to the quiver whenever this is clear from the context.
We now define a graded multiplication on \(\mathbb {H}\) via stable envelopes
Theorem 5.1
The previous multiplication map defines an associative unital \(\mathbb {N}^I\times \mathbb {N}^I\)-graded \(\Bbbk \)-algebra structure on \(\mathbb {H}\) with unit given by the element \(1\in \Bbbk =\mathbb {H}_{0,0}\).
Proof
Let \(\text {v}=\text {v}_1+\text {v}_2+\text {v}_3\) and \(\text {w}=\text {w}_1+\text {w}_2+\text {w}_3\) and consider the stable envelope map
Applying Lemma 4.4 twice with \({\mathfrak {C}}=\lbrace { a_1<a_2<a_3 \rbrace }\) and \({\mathfrak {C}}/{\mathfrak {C}}'\) equal either to \(\lbrace { a_1<a_2 \rbrace }\) or to \(\lbrace { a_2<a_3 \rbrace }\), we get exactly the commutative diagram
that proves the claim. \(\square \)
Definition 5.2
We call the associative unital \(\mathbb {N}^I\times \mathbb {N}^I\)-graded \(\Bbbk \)-algebra \((\mathbb {H}^{{{\overline{Q}}}_{\text {fr}}}, \text {Stab})\) the framed semistable preprojective cohomological Hall algebra of Q.
Remark 5.3
Unlike in \({\mathcal {H}}\), some graded components \(\mathbb {H}_{\text {v},\text {w}}\) of \(\mathbb {H}\) are zero. This is a consequence of the fact that, because of the stability condition, some Nakajima varieties \({\mathcal {M}}(\text {v},\text {w})\) are empty. However, the Nakajima variety \({\mathcal {M}}(0,0)\) is a singleton for every quiver Q and stability condition, and hence, \(\mathbb {H}(0,0)\) is always equal to \(\Bbbk \).
Remark 5.4
One could naively try to define a CoHA structure on \(\mathbb {H}^{{{\overline{Q}}}_{\text {fr}}}\) by means of a correspondence of the form
which is the restriction of (8) to the appropriate zero loci and semistable loci. However, it is easy to check that the dashed map is generally not well defined because it does not respect semistability. Substituting \((Z\cap \mu _{\text {v},\text {w}}^{-1}(0))^{ss}\) with the open subset for which the dashed map is well defined does not solve the problem because then the inclusion inside \( (\mu _{\text {v},\text {w}}^{-1}(0))^{ss}\) is not proper anymore, and hence, it does not descend to a pushforward in cohomology. Stable envelopes can be interpreted as a refined correspondence, obtained by iterated corrections on lower strata, that guarantees both the existence of a dashed map and the properness of the solid arrow (the corrections come with multiplicities, so, in general, the variety \((Z\cap \mu _{\text {v},\text {w}}^{-1}(0))^{ss}\) is replaced with a Borel–Moore cycle, i.e., a collection of varieties with multiplicities). As a consequence, one can look at \(\text {Stab}_{{\mathfrak {C}}}\) as the natural substitute of the correspondence giving rise to a CoHA structure on the cohomology of Nakajima varieties.
5.2 Framed CoHA versus framed semistable preprojective CoHA
In this section, we review Aganagic–Okounkov’s construction of a mapFootnote 4
that is, up to a multiplicative factor, a section of the restriction map
associated with the inclusion
Like the stable envelopes, the map \(\varvec{\psi }\) solves an extension problem, which goes under the name of non-abelian stable envelope [26]. One can think of the ordinary “abelian” stable envelopesFootnote 5
as a map extending a topological class defined on some attracting locus \(\text {Att}_{\mathfrak {C}}({F})\subset {\mathcal {M}}(\text {v},\text {w})\) to a class on \({\mathcal {M}}(\text {v},\text {w})\) supported on \(\text {Att}_{{\mathfrak {C}}}^{f}(F)\). This extension is obtained by iteration, progressively adding attracting sets sprouting up from the boundary. Analogously, the non-abelian stable envelope \(\varvec{\psi }\) extends a topological class \(\alpha \) on \({\mathcal {M}}(\text {v},\text {w})= \mu ^{-1}_{\text {v},\text {w}}(0)^{G_{\text {v}}-ss}/G_{\text {v}}\) to a class \(\varvec{\psi }(\alpha )\) on the ambient stack \({\mathfrak {R}}(\text {v},\text {w})\). As for the ordinary stable envelope, the non-abelian extension problem is characterized by a support condition, namely by requiring the class \(\varvec{\psi }(\alpha )\) to be supported on \([\mu ^{-1}_{\text {v},\text {w}}(0)/G_{\text {v}}]\subset {\mathfrak {R}}(\text {v},\text {w})\). The map \(\varvec{\psi }\) can be built inductively using a stratification of the unstable locus of \(\mu ^{-1}_{\text {v},\text {w}}(0)\) [26]. This makes the analogy with the abelian stable envelope even more transparent since the strata of the unstable locus can be described in terms of attracting sets for the \(G_\text {v}\)-action.
As shown by Aganagic and Okounkov in [2], non-abelian stable envelopes of Nakajima varieties can be reduced to the abelian case. This approach slightly hides the geometric intuition behind the abovementioned extension problem but allows the known tools developed for ordinary stable envelopes to transfer to this non-abelian setting. For this reason, in this article, we focus on Aganagic–Okounkov’s approachFootnote 6 to non-abelian stable envelopes.
The key idea behind the construction of \(\varvec{\psi }\) is to enlarge the space \(\mu ^{-1}_{\text {v},\text {w}}(0)^{G_{\text {v}}-ss}\) in such a way that it hosts a copy of \(T^*\text {Rep}(\text {v},\text {w})\). To this end, consider the space of representations \(T^*\text {Rep}(\text {v},\text {w}+\text {v})\), which we visualize vertex-wise as
Notice that the framing extension produces an extra action of a copy of \(G_\text {v}\) on the framing, which we denote by \(G_\text {v}'\). Define
as the open subset of \(\mu ^{-1}_{\text {v},\text {w}+\text {v}}(0)\) determined by the requirement that for every \(i\in I \) either \(\phi _i\) or \(\psi _i\) is an isomorphism, in such a way that we have a factorization
For simplicity, we assume from now on that the stability condition is such that \(\phi _i\) is an isomorphism for every \(i\in I\). It is straightforward how to modify the construction below to deal with the most general case.
Choose an isomorphism \(\phi _i\) for all \(i\in I\) and consider the \(G_\text {v}\times T_\text {w}\)-equivariant inclusion
where \(\chi _i(x,y,i,j)=-\mu _{\text {v},\text {w}}(x,y,i,j)\circ \phi _i^{-1}\). Notice that this formula for \(\chi \) is forced by the moment map condition on the codomain. To get rid of the dependence on the isomorphisms \(\phi _i\), we compose \(\iota _\phi \) with the quotient by \(G_{\text {v}}'\):
Quotienting further by \(G_{\text {v}}\), we get a \(T_\text {w}\)-equivariant map
Passing to cohomology, we get a map
Notice that this map factors as
Because of the \(G_\text {v}'\) action, the dependence of the bottom horizontal map on \(\phi \) is only apparent. Moreover, since by definition of \(\mu ^{-1}_{\text {v},\text {w}+\text {v}}(0)^{iso}\) the maps \(\phi _i\) as in (20) are isomorphisms, the Chern roots of \(G_\text {v}\) are identified with those of \(G_{\text {v}}'\) in
To complete the construction of \(\varvec{\psi }\), we need a map
Once again this map is provided by stable envelopes. First of all, notice that the trivial identity
allows us to think of \({\mathcal {M}}(\text {v},\text {w})\) as a fixed component of \({\mathcal {M}}(\text {v},\text {w}+\text {v})\) by the action of the one-dimensional subtorus \(A\subset A_{\text {w}+\text {v}}\) acting on \(W_i\) with weight one and trivially elsewhere. Now consider the stable envelope map
for the distinguished component \({\mathcal {M}}(\text {v},\text {w})\times {\mathcal {M}}(0,\text {v})\subset {\mathcal {M}}(\text {v},\text {w}+\text {v})^{\mathbb {C}^\times }\). Notice that although we have defined stable envelopes for the action of some torus T on \({\mathcal {M}}(\text {v},\text {w})\), the correspondence \(\text {Stab}_{\lbrace a< 0\rbrace }\) actually gives a map even in \(T_\text {w}\times G_\text {v}'\) equivariant cohomology. This follows from the explicit construction of \(\text {Stab}_{\lbrace a< 0\rbrace }\) as a Lagrangian correspondence, and the fact that the action of A commutes with the one of \(T_\text {w}\times G_\text {v}'\).
Finally, noticing that \({\mathcal {M}}(0,\text {v})\) is a singleton and composing (22) with
we get the desired map (21).
Putting it all together, we get the sought-after non-abelian stable envelope map
The support condition of (22) implies the following:
Lemma 5.5
([2, Proposition 1,3]) The map \(\varvec{\psi }\) is supported on \([\mu _{\text {v},\text {w}}^{-1}(0)/G_{\text {v}}]\subset [T^*\text {Rep}(\text {v},\text {w})/G_{\text {v}}]\). Moreover, the restriction \(\varvec{j}^*(\varvec{\psi }(\alpha ))\) is divisible by \(e({\hbar }{\mathfrak {g}}_{\text {v}})\) and
We can now state the main theorem of this article.
Theorem 5.6
The map \(\varvec{\psi }: \mathbb {H}^{{{\overline{Q}}}_{\text {fr}}}\rightarrow {\mathcal {H}}^{{{\overline{Q}}}_{\text {fr}}}_{\tau }\) is an injective morphism of \(\mathbb {N}^I\times \mathbb {N}^I\)-graded \(\Bbbk \)-algebras.
In words, the theorem above says that the map \(\varvec{\psi }\) realizes the equivariant cohomology of Nakajima varieties as a subalgebra of the framed CoHA, and on this subalgebra CoHA’s multiplication is identified with taking stable envelopes.
Remark 5.7
The map \(\varvec{\psi }\) is not compatible with the cup products \((\alpha ,\beta )\mapsto \alpha \beta \) on its domain and codomain. This can be easily seen as follows. By contradiction, fix a non-trivial graded component \(\mathbb {H}^{{{\overline{Q}}}_{\text {fr}}}(\text {v},\text {w})\) with \(\text {v}\ne 0\) and assume that \(\varvec{\psi }(\alpha \beta )=\varvec{\psi }(\alpha )\varvec{\psi }(\beta )\). Composing with \(\varvec{j}^*\), which is clearly compatible with the cup product, and applying Lemma 5.5, we get
for all \(\alpha \) and \(\beta \). This equation would imply \(e({\hbar }{\mathfrak {g}}_{\text {v}})^2=e({\hbar }{\mathfrak {g}}_{\text {v}})\), which is a contradiction since \(e({\hbar }{\mathfrak {g}}_{\text {v}})\ne 0\).
5.3 Proof of Theorem 5.6: Step one
First of all, notice that injectivity follows at once from Lemma 5.5, so it remains to prove that \(\varvec{\psi }\) is a morphism of graded algebras. The proof can be conceptually divided into two parts. In the first part, we prove an “abelianized” version of the statement and in the second we apply Theorems 3.10 and 4.6 to reduce the claim to its abelianized version.
Define
where
With the same arguments of Sect. 5.1, one proves that the stable envelope maps
give \(\mathbb {H}_{\text {ab}}\) the structure of a \(\mathbb {N}^I\times \mathbb {N}^I\)-graded associative \(\Bbbk \)-algebra.
We now mimic the construction of Sect. 5.2.2 to define an abelianized version of \(\varvec{\psi }\), i.e., a map
Let \(S\subset G_{\text {v}}\) be a maximal torus. As in Sect. 5.2.2, choose an isomorphism \(\phi _i\) for all \(i\in I\) and consider \(S\times T_\text {w}\)-equivariant inclusion
by
where \(\chi _i(x,y,i,j)=-\mu _{\text {v},\text {w}}(x,y,i,j)\circ \phi _i^{-1}\).
To get rid of the dependence by the isomorphisms \(\phi _i\), we compose \(\iota _{\text {ab},\phi }\) with the quotient by \(G_{\text {v}}'\) to get a map
Quotienting further by S, we get a \(T_\text {w}\)-equivariant map
which we denote in the same way.
Passing to cohomology, we get a map
that, composed with the top horizontal map of the diagram
gives the sought-after map
Lemma 5.8
The map \(\varvec{\psi }_{\text {ab}}\) is an algebra morphism.
Proof
Let \(\text {v}_1+\text {v}_2=\text {w}\) and \(\text {w}_1+\text {w}_2=\text {w}\). We have to show that the diagram
commutes. Let \(\gamma =\gamma _1\otimes \gamma _2\in \mathbb {H}_{\text {ab}}(\text {v}_1,\text {w}_2)\otimes _\Bbbk \mathbb {H}_{\text {ab}}(\text {v}_2,\text {w}_2)\) and let \(p_\gamma =p_{\gamma _1}\otimes p_{\gamma _2}\) be a tautological presentation. Applying Proposition 4.5 and the definition of \(\varvec{\psi }_{\text {ab}}\), we get
Similarly, applying Proposition 4.5 and equation (13) we get
Since \({\mathfrak {g}}_\text {v}={\mathfrak {g}}_{\text {v}_1}\oplus {\mathfrak {g}}_{\text {v}_2}\oplus {\mathfrak {g}}_{\text {v}}[-1]\oplus {\mathfrak {g}}_{\text {v}}[1]\) and \(p_\gamma =p_{\gamma _1}p_{\gamma _2}\), the result follows. \(\square \)
5.4 Proof of Theorem 5.6: Step two
We can now complete the proof by combining abelianization of stable envelopes and abelianization of CoHA. Applying the first part of Theorems 3.10 and 4.6, one gets the commutative diagram
where \({\mathcal {M}}_{{\mathfrak {b}}_i}:=\mu _{\text {v},\text {w}}^{-1}({\mathfrak {b}}_i^\perp )^{S-ss}/S_i\). We now construct horizontal maps that fill the two missing edges of the cube above.
Lemma 5.9
There exist dashed maps
making the diagram commute.
Proof
We begin with the lower edge. Unraveling the definition of \(\varvec{\psi }_{\text {ab}}\), one sees that we need to find a dashed map that makes the following diagram commute
The fiber squaresFootnote 7
gives the following commutative diagram when passing to \(S\times T_\text {w}\)-equivariant cohomology
The tilde in the map
is chosen to distinguish it from
Applying again the first part of Theorem 4.6, now with \(F_S={\mathcal {M}}_S(\text {v},\text {w})={\mathcal {M}}_S(\text {v},\text {w})\times {\mathcal {M}}_S(0,\text {w})\), we get the commutative square
that, glued with the previous diagram along \(({\tilde{j}}_-)_*\), completes the construction of the dashed arrow in diagram (23). The construction of the other edge of the cube is completely analogous and consists of performing the construction above twice, once for each side of the tensor products. Overall, we have shown that all the sides of the cube commute, except from the outermost face (i.e., the one where both the dashed arrows lie). However, commutativity of this last face follows from the following lemma together with the observation that the map \((i_-)_*\) is injective because it is given by multiplication by the Euler class of the normal bundle to the inclusion \(i_-\) and its source is an integral domain. \(\square \)
Lemma 5.10
Consider the following diagram of modules:
Assume that all the faces commute except the outermost and that the map \(\delta \) is injective. Then also the outermost face commute.
Proof
By injectivity of \(\delta \), it suffices to check that \(\delta \circ k\circ f =\delta \circ h\circ g\). Indeed, we have
\(\square \)
Applying now the second parts of Theorems 3.10 and 4.6, we get the solid diagram
while the dashed arrows are those constructed in the previous section. Commutativity of the outermost face is our final goal. The top left oblique map is \((\pi _{1}\times \pi _{2})_*\circ ((\Pi _1\times \Pi _2)^*)^{-1}\circ (j_{1,+}\times j_{2,+})^*\), and the top right oblique map is \((q_{1}\times q_{2})_*\circ ((Q_1\times Q_2)^*)^{-1}\circ (i_{1,+}\times i_{2,+})^*\). By construction, the two lateral sides and the back of the diagram commute. Moreover, the oblique arrows are surjective, so to complete the proof it suffices to show that the two remaining faces, the top and the bottom of the cube, are commutative. Therefore, the following lemma concludes the proof.
Lemma 5.11
The top and bottom faces of the cubic diagram above commute.
Proof
As for the previous lemma, the top face is just two copies of the bottom face tensored together, so it suffices to prove the commutativity of the bottom face. Recall that the dashed arrow in the bottom face is built from diagram (24), on which we now build up the following commutative diagram
Passing to \(S\times T_\text {w}\)-equivariant cohomology, we get the commutative diagram
Taking quotients by B and \(G_\text {v}\), we can enlarge the previous commutative diagram as follows
Notice that the right side of the square consists of the maps appearing in the lower right side of diagram (25). Similarly, the maps on the left side of the square are the ones appearing in the diagram
As before, this diagram is the second abelianization diagram for the fixed component \({\mathcal {M}}(\text {v},\text {w})={\mathcal {M}}(\text {v},\text {w})\times {\mathcal {M}}(0,\text {v})\subset {\mathcal {M}}(\text {v},\text {w}+\text {v})\), see Theorem 4.6. Combining the last diagram with the outer frame of the penultimate one, we get the following commutative diagram
The two unlabeled horizontal maps are simply the canonical change of group maps. The commuting outer frame of this diagram was exactly what we had to prove that commutes. Therefore we are done. \(\square \)
5.5 Application: Shuffle product of stable envelopes
One of the main reasons for Aganagic and Okounkov to define the map
was to give a systematic way to produce tautological presentations of stable envelopes
Indeed, by Lemma 5.5, the assignment
defines a function
that, restricted to \({\mathcal {M}}(\text {v},\text {w})\subset {\mathfrak {R}}(\text {v},\text {w})\), is an integral class, i.e., defined in the non-localized ring, and it coincides with \(\text {Stab}_{{\mathfrak {C}}}\).
With this preliminary observation, Theorem 5.6 can be applied to obtain explicit inductive formulas for the stable envelopes of a Nakajima variety \({\mathcal {M}}(\text {v},\text {w})\).
As in Sect. 4.3, consider a fixed component F for the action of a subtorus
associated with a decomposition \(\text {w}=\text {w}_1+\text {w}_2\dots +\text {w}_k\) and a chamber
A partition \(k=k_1+k_2\) gives rise to a decomposition
where \(F_1\) is a fixed component of a Nakajima variety \({\mathcal {M}}(\text {v}_1,\text {w}_1)\) with respect to the action of the torus
and similarly \(F_2\) is a fixed component of another variety \({\mathcal {M}}(\text {v}_2,\text {w}_2)\) with respect to the action of
By construction, \(A=A_1\times A_2\) and we get the following commutative diagram
where all the maps are \(A_\text {w}\) equivariant. As usual, the product \({\mathcal {M}}(\text {v}_1,\text {w}_1)\times {\mathcal {M}}(\text {v}_2,\text {w}_2)\) can be also seen as a fixed component of \({\mathcal {M}}(\text {v},\text {w})\), this time with respect to the action of a two-dimensional torus inside A. Let us now introduce the chambers
for the actions of \(A_1\) and \(A_2\) on \({\mathcal {M}}(\text {v}_1,\text {w}_1)\) and \({\mathcal {M}}(\text {v}_2,\text {w}_2)\), respectively.
Theorem 5.12
With the notation above, we have
Notice that the kernel \(e(T^*\text {Rep}(\text {v},\text {w})[-1])/(e({\mathfrak {g}}_{\text {v}}[-1])e({\hbar }{\mathfrak {g}}_{\text {v}}[-1])\) of the shuffle formula above coincides with \(e(N[-1])\), the Euler class of the negative part of the normal bundle defined in Sect. 3.1.4.
Proof
Consider the diagram
Here \(\text {Stab}\) stands for \(\text {Stab}_{{\mathfrak {C}}_\sigma /{\mathfrak {C}}^1_\sigma \times {\mathfrak {C}}^2_\sigma }\). Commutativity of the central square is exactly the statement of Theorem 5.6, while commutativity of the upper triangle follows from Lemma 4.4. Therefore, applying Theorem 3.7 we get
In the penultimate step, we used the fact that \(e({\hbar }{\mathfrak {g}}_\text {v})\) is symmetric to move it inside the shuffle, and then, the factorization \(e({\hbar }{\mathfrak {g}}_\text {v})=e({\hbar }{\mathfrak {g}}_\text {v}[1])e({\hbar }{\mathfrak {g}}_\text {v}[-1])e({\hbar }{\mathfrak {g}}_{\text {v}_1})e({\hbar }{\mathfrak {g}}_{\text {v}_2})\) associated with the decomposition \({\mathfrak {g}}_\text {v}={\mathfrak {g}}_{\text {v}_1}\oplus {\mathfrak {g}}_{\text {v}_2}\oplus {\mathfrak {g}}_\text {v}[1]\oplus {\mathfrak {g}}_\text {v}[-1]\) to simplify it with the class \(e({\hbar }{\mathfrak {g}}_{\text {v}}[1])\) in the numerator. \(\square \)
Data Availability
Data sharing was not applicable to this article as no datasets were generated or analyzed during the current study.
Notes
Surjectivity can be deduced from the explicit presentation of \(q_*\). In analogy with (10), we have \(q_*(f)=\text {Sym}\left( \frac{f}{e({\mathfrak {n}}^\vee )}\right) \) for any \(f\in \Bbbk [a_\text {w}\times {\mathfrak {s}}_{\text {v}}]\cong H_{T_\text {w}}([T^*\text {Rep}(\text {v},\text {w})/B]) \). As a consequence, given any symmetric function \(g\in \Bbbk [a_\text {w}\times {\mathfrak {s}}_{\text {v}}]^{W_{G_{\text {v}}}}\cong H_{T_\text {w}}([T^*\text {Rep}(\text {v},\text {w})/G])\), the function \(f=\frac{1}{|W_{G_{\text {v}}}|}e({\mathfrak {n}}^{\vee })g\in \Bbbk [a_\text {w}\times {\mathfrak {s}}_{\text {v}}]\) satisfies \(q_*(f)=g\).
Indeed, hypertoric varieties are GKM, which is a stronger condition than equivariant formality, see [15].
Since the map \(\pi \) is the restriction of \(q: [T^*\text {Rep}(\text {v},\text {w}/B]\rightarrow [T^*\text {Rep}(\text {v},\text {w}/G]\), its surjecticity follows from surjectivity of \(q_*\) and Kirwan surjectivity, discussed in Sects. 3.4.1 and 2.3.3, respectively. By Proposition 2.2, surjectivity of \(\pi \) for arbitrary dimension vectors \((\text {v},\text {w})\) implies surjectivity of \(\pi ^A_*\).
AO denoted this map by \({\textbf{s}}\). The letter “s” being overused in this paper, we substitute it with \({\varvec{\psi }}\).
Although AO worked in K-theory, their construction easily adapts in ordinary cohomology.
Notice that the central square is Cartesian because the action of \(G_{\text {v}}'\) is free on the iso-locus.
References
Aganagic, M., Okounkov, A.: Elliptic stable envelopes (2016). arXiv:1604.00423
Aganagic, M., Okounkov, A.: Quasimap counts and Bethe eigenfunctions (2017). arXiv:1704.08746
Behrend, K.: Cohomology of stacks. Adv. Math. 198, 583–622 (2005). https://doi.org/10.1016/j.aim.2005.05.025
Bialynicki-Birula, A.: Some theorems on actions of algebraic groups. Ann. Math. 98(3), 480–497 (1973)
Botta, T.M.: Framed cohomological hall algebras and stable envelopes: K-theory and elliptic cohomology (in preparation)
Botta, T.M.: Shuffle products for elliptic stable envelopes of Nakajima varieties. arXiv:2104.00976 (2021)
Botta, T.M., Rimányi, R.: Bow varieties: stable envelopes and their 3d mirror symmetry. arXiv:2308.07300. (2023)
Botta, T.M., Rimányi, R.: Hall algebra structure of elliptic stable envelopes on bow varieties (2023) (in preparation)
Davison, B.: The critical CoHA of a quiver with potential. Quart. J. Math. Oxford Ser. 68(2), 635–703. arXiv:1311.7172, https://doi.org/10.1093/qmath/haw053 (2017)
Olivier, F., Vasserot, Eric: Cherednik algebras, W algebras and the equivariant cohomology of the moduli space of instantons on \(A^2\). arXiv:1202.2756 (2012)
Felder, G., Varchenko, A.: Resonance relations for solutions of the elliptic QKZB equations, fusion rules, and eigenvectors of transfer matrices of restricted interaction- round-a-face models. arXiv:math/9901111 (1999)
Felder, G., Varchenko, A., Tarasov, V.: Solutions of the elliptic qKZB equations and Bethe ansatz I. arXiv:q-alg/9606005 (1996)
Ginzburg, V.: Calabi-Yau algebras. arXiv:math/0612139 (2007)
Ginzburg, V.: Lectures on Nakajima’s Quiver Varieties. arXiv:0905.0686 (2009)
Harada, M., Holm, T.S.: The equivariant cohomology of hypertoric varieties and their real loci (2004)
Harada, M., Proudfoot, N.: Properties of the residual circle action on a hypertoric variety. Pac. J. Math. 214(2), 263–284 (2004). https://doi.org/10.2140/pjm.2004.214.263
Konno, H.: Elliptic Weight Functions and Elliptic q-KZ Equation. arXiv:1706.07630 (2017)
Kontsevich, M., Soibelman, Y.: Cohomological Hall algebra, exponential Hodge structures and motivic Donaldson-Thomas invariants. arXiv:1006.2706 (2011)
Maulik, D., Okounkov, A.: Quantum groups and quantum cohomology. arXiv:1211.1287 (2012)
McGerty, K., Nevins, T.: Kirwan surjectivity for quiver varieties. Invent. Math. 212(1), 161–187 (2017)
Nakajima, H.: Instantons on ALE spaces, quiver varieties, and Kac–Moody algebras. Duke Math. J. 76, 365–416 (1994)
Nakajima, H.: Quiver varieties and Kac–Moody algebras. Duke Math.J. 91, 515–560 (1998)
Nakajima, H.: Quiver varieties and tensor products. Invent. Math. 146(2), 399–449 (2001). ISSN: 0020-9910
Okounkov, A.: Enumerative geometry and geometric representation theory. arXiv:1701.00713 (2017)
Okounkov, A.: Inductive construction of stable envelopes. Lett. Math. Phys. 111(6), 141–197. https://doi.org/10.1007/s11005-021-01472-4 (2021)
Okounkov, A.: Nonabelian stable envelopes, vertex functions with descendents, and integral solutions of q-difference equations. arXiv:2010.13217 (2021)
Okounkov, A., Smirnov, A.: Quantum difference equation for Nakajima varieties. arXiv:1602.09007 (2016)
Pădurariu, T.: Categorical and K-theoretic Hall algebras for quivers with potential. arXiv:2107.13642 (2021)
Ren, J., Soibelman, Y.: Cohomological Hall algebras, semicanonical bases and Donaldson–Thomas invariants for 2-dimensional Calabi–Yau categories (with an appendix by Ben Davison). arXiv:1508.06068 (2016)
Rimányi, R., Shou, Y.: Bow varieties—geometry, combinatorics, characteristic classes. arXiv:2012.07814 (2020)
Rimányi, R., et al.: Three-dimensional mirror self-symmetry of the cotangent bundle of the full flag variety. Symmetry Integrability Geom. Methods Appl. 15, 093 (2019). ISSN:1815-0659
Rimányi, Richárd, et al.: Three-dimensional mirror symmetry and elliptic stable envelopes. Int. Math. Res. Not. 2022(13), 10016–10094 (2021)
Ringel, C.M.: Hall algebras and quantum groups. Invent. Math. 101(3), 583–592 (1990)
Schiffmann, O., Vasserot, E.: On cohomological Hall algebras of quivers: Generators. Journal für die reine und angewandte Mathematik 2020 (760), 59–132. https://doi.org/10.1515/crelle-2018-0004 (2020)
Schiffmann, O., Vasserot, E.: On cohomological Hall algebras of quivers:Yangians. arXiv:1705.07491 (2017)
Shenfeld, D.: Abelianization of Stable Envelopes in Symplectic Resolutions. P.h.D. Princeton University (2013). http://arks.princeton.edu/ark:/88435/dsp01ws859f77c
Yang, Y., Zhao, G.: Cohomological Hall algebras and affine quantum groups. Selecta Mathematica 24, 1093–1119 (2018). https://doi.org/10.1007/s00029-017-0366-y
Yang, Y., Zhao, G.: How to sheafify an elliptic quantum group. arXiv:1803.06627 (2018)
Yang, Y., Zhao, G.: On two cohomological Hall algebras. Proc. R. Soc. Edinb. Sect. A Math. 150(3), 1581–1607 (2019)
Yang, Y., Zhao, G.: Quiver varieties and elliptic quantum groups. arXiv: 1708.01418 (2017)
Yang, Y., Zhao, G.: The cohomological Hall algebra of a preprojective algebra. Proc. Lond. Math. Soc. 116(5), 1029–1074 (2018). ISSN: 0024-6115
Acknowledgements
I want to thank my advisor Giovanni Felder for his guidance and constant attention throughout the development of this project. I also thank Richard Rimanyi for drawing my attention to CoHAs and Stefano D’Alesio for useful conversations. This work was supported as a part of NCCR SwissMAP, a National Centre of Competence in Research, funded by the Swiss National Science Foundation (grant number 205607) and grant \(200021\_196892\) of the Swiss National Science Foundation.
Funding
Open access funding provided by Swiss Federal Institute of Technology Zurich.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author states that there is no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Botta, T.M. Framed cohomological Hall algebras and cohomological stable envelopes. Lett Math Phys 113, 95 (2023). https://doi.org/10.1007/s11005-023-01716-5
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11005-023-01716-5