## A FAMILY OF STRUCTURE ISOMORPHISMS FOR THE COHOMOLOGICAL HALL ALGEBRA OF AN ACYCLIC QUIVER

## JUSTIN ALLMAN

Abstract. For any acyclic quiver, we establish a family of structure isomorphisms for its cohomological Hall algebra (CoHA). The family is parameterized by partitions of the quiver into Dynkin subquivers. For each such partition, we write the domain of our isomorphism as a tensor product of subalgebras in two ways. In the first, each tensor factor is isomorphic to the CoHA of the quiver with a single vertex and no arrows. In the second, the tensor factors are each isomorphic to the CoHAs of the corresponding Dynkin subquivers. When the quiver is already an orientation of a simply-laced Dynkin diagram, our results interpolate between isomorphisms proved by Rim´nyi. a Such CoHA decompositions appear in prior work of Davison-Meinhardt and Franzen-Reineke, but our proof gives an explicit topological realization of these results. As a consequence of our method, we deduce that certain structure constants in the CoHA naturally arise as CoHA products of classes of Dynkin quiver polynomials.

## 1. Introduction

To every quiver Q , one can associate its cohomological Hall algebra (CoHA) H ( Q ) = H , which Kontsevich and Soibelman defined in their seminal paper [KS11]. The CoHA is inspired by physics; it is designed to model the algebra of BPS states in string theory. Mathematically speaking, let γ denote a dimension vector for Q . As a vector space, the CoHA is a direct sum over all dimension vectors H = ⊕ γ H γ . The summands are the equivariant cohomology algebras H γ = H · GL γ ( Rep γ ) where Rep γ is the space of Q -representations of dimension γ and GL γ is the algebraic group which acts naturally on Rep γ by simultaneously changing basis at each vertex. The novel multiplication (generally noncommutative) endowed by Kontsevich-Soibelman on the CoHA, and which we denote by ∗ throughout the paper, respects the dimension vector grading and encodes important combinatorial, algebraic, and geometric aspects of the quiver and its representations, see [KS11, Efi12, Rim13, Dav17, FR18].

The structure of H (and its modules) has been the subject of much study [KS11, Efi12, Rim13, Che14, Dav17, Fra16, Fra18, FR18, FR19]. In this paper, we restrict to the case of quivers Q which are acyclic, i.e., have no oriented cycles. Given a quiver, one problem is to determine subalgebras over which H is generated. Our main results provide one possible point of view on the CoHA isomorphism problem; it is our hope that readers familiar with characteristic classes of singular varieties (specifically the story of quiver polynomials) will find our description of the CoHA approachable. For example, we state one of our main results below.

Corollary 6.6 . For certain choices of Dynkin subquivers Q ,. . . , Q 1 /lscript of Q (we call such a choice an admissible Dynkin subquiver partition ) the (left to right) ∗ -multiplication induces an isomorphism

$$\mathcal { H } ( Q ^ { 1 } ) \otimes \cdots \otimes \mathcal { H } ( Q ^ { \ell } ) \xrightarrow { \cong } \mathcal { H } ( Q ).$$

As in the statement above, the main results in this paper live in a family parameterized by a choice of an admissible Dynkin subquiver partition of Q [All18]. The seminal work of Gabriel

2010 Mathematics Subject Classification. Primary 16G20; Secondary 55R40, 57R20.

Key words and phrases. Cohomological Hall Algebra, Dynkin quiver, acyclic quiver, quiver polynomial.

[Gab72] established the Dynkin quivers (orientations of simply-laced Dynkin diagrams of type A , D , or E ) as the 'base case' for considering the representations of acyclic quivers. An important chapter in the study of Dynkin quiver representations is the theory of quiver polynomials . These are characteristic fundamental classes associated to the closure (in Rep γ ) of a GL γ -orbit (equivalently, the locus of quiver representations of a fixed isomorphism type). Their remarkable positivity and stability properties have been explored by many authors, and have remained at the frontiers of algebraic combinatorics for two decades; see [BF99, Buc02, BKTY04, Buc05, BKTY05, BSY05, Mil05, KMS06, Buc08, Rim14, All14, KKR19]. In fact, the quiver polynomials are distinguished elements of the CoHA since, given a quiver orbit Ω ⊂ Rep γ , we have

$$[ \overline { \Omega } ] \in \text{H} _ { \text{GL} _ { \gamma } } ( \text{Rep} _ { \gamma } ) = \mathcal { H } _ { \gamma }.$$

For Dynkin quivers, the GL γ -orbits in Rep γ correspond to so-called Kostant partitions m /turnstileleft γ (see Section 2.2). Given an admissible Dynkin subquiver partition { Q ,. . . , Q 1 /lscript } for Q , let Ω m j denote the Dynkin quiver orbit in Rep γ j ( Q j ) corresponding to the Kostant partition m j /turnstileleft γ j , where γ j is a dimension vector for Q j , and so γ = ∑ j γ j is a dimension vector for Q . The following formula in the CoHA shows that the Dynkin quiver polynomials play a central role in the algebra structure of any acyclic CoHA.

Corollary 6.7 . In terms of the isomorphism of Corollary 6.6, we have where η m ⊂ Rep γ ( Q ) is a distinguished subvariety we call a quiver stratum (see Section 4). /square

$$\text{Corollary $b.i. $ in terms of the isomorphism of Corollary $b.b$, we have} \\ \left ( \left [ \overline { \Omega _ { \mathbf m ^ { 1 } } ( Q ^ { 1 } ) } \right ] \in \mathcal { H } _ { \gamma ^ { 1 } } ( Q ^ { 1 } ) \right ) * \dots * \left ( \left [ \overline { \Omega _ { \mathbf m ^ { \ell } } ( Q ^ { \ell } ) } \right ] \in \mathcal { H } _ { \gamma ^ { \ell } } ( Q ^ { \ell } ) \right ) = [ \overline { \eta } _ { \mathbf m } ] \in \mathcal { H } _ { \gamma } ( Q ) \\ \text{where $\eta_{\mathbf m} \subset \text{Rep}_{\gamma}(Q)$ is a distinct subvariable subvariableity $we$ call a quiver stratum $(see $Section 4$).} \quad \Box$$

We now describe some historical advances for CoHA isomorphisms to put our results in context. The structure of H for the quiver with one vertex and no loops, i.e., the Dynkin diagram of type A 1 , was determined already in the original work of Kontsevich and Soibelman [KS11, Section 2.5]. H ( A 1 ) is an exterior algebra on countably many generators; we recount this example in Section 3.4. Efimov proved an analogous result, conjectured by Kontsevich-Soibelman, for any symmetric quiver [Efi12]. Efimov found primitive generators for the CoHA of a symmetric quiver, and the description in this case established the positive integrality of the associated Donaldson-Thomas invariants. We highlight three other relevant points in this story (at times considering non-acyclic quivers).

I. Kontsevich and Soibelman also considered the quiver 1 ← 2 (an orientation of the A 2 Dynkin diagram). They gave a decomposition of H ( A 2 ) in two ways: first as a tensor product of subalgebras parameterized by simple roots of the corresponding root system, and second as a tensor product of subalgebras parameterized by the positive roots [KS11, Section 2.8]. That is, they described subalgebras A 1 0 , , A 0 1 , , and A 1 1 , such that each is isomorphic to H ( A 1 ) and furthermore

$$\mathcal { A } _ { 1, 0 } \otimes \mathcal { A } _ { 0, 1 } \stackrel { \cong } { \longrightarrow } \mathcal { H } ( A _ { 2 } ) \stackrel { \cong } { \longleftarrow } \mathcal { A } _ { 0, 1 } \otimes \mathcal { A } _ { 1, 1 } \otimes \mathcal { A } _ { 1, 0 }$$

when the ∗ -multiplication is carried out from left to right. Here, the passage to Poincar´ series e reproduces the quantum pentagon identity, going back to the work of Faddeev-Kashaev [FK94].

II. Rim´nyi [Rim13] proved that the two decompositions from (1) generalized to the case when a Q is an orientation of any simply-laced Dynkin diagram (i.e., of type A D , , or E ). In particular, there are subalgebras A β for each positive root β (and hence for every simple root) such that where the arrows over the tensor products indicate the ∗ -multiplications must be carried out in a certain prescribed order. Each tensor factor subalgebra in (2) is isomorphic to H ( A 1 ).

$$\text{subalgebras} & \mathcal { A } _ { \beta } \text{ for each positive root } \beta \text{ (and hence for every simple root) such that} \\ & \text{(} \bigotimes _ { \alpha \text{ a simple root} } \mathcal { A } _ { \alpha } \right ) \xrightarrow { \simeq } \mathcal { H } \xleftarrow { \simeq } \left ( \bigotimes _ { \beta \text{ a positive root} } \mathcal { A } _ { \beta } \right ) \\ \text{arrows over the tensor products indicate the *-multiplications must be carried out in a} \\ \dots \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \end{array} \text{(} 2 )$$

III. More recently, works of Davison-Meinhardt [DM16] and Franzen-Reineke [FR18] give more refined tensor product decompositions which hold for any quiver. In the case of Davison-Meinhardt, the result generalizes completely to any so-called quiver with potential (for acyclic quivers, any potential must necessarily be zero). Their CoHA isomorphisms are parameterized by a fixed stability condition θ and the tensor product is over the associated semi-stable CoHAs (with potential) taken in descending order of slope µ (see [FR18, Theorem 6.1] and [DM16, Theorem D])

$$\cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cd. \end{array}$$

In the case of orientations of type A D , , or E Dynkin diagrams, the isomorphisms (3) interpolate between Rim´ anyi's isomorphisms (2), but in general not all semistable CoHAs H θ -sst ,µ are isomorphic to H ( A 1 ). The algebras H θ -sst ,µ do admit understood presentations even if explicit descriptions are difficult in particular cases [FR18, Section 8]. For example, Franzen and Reineke considered the application of (3) to the so-called Kroneker quiver 1 ⇔ 2 [FR19].

Our main theorem, from which Corollaries 6.6 and 6.7 follow, is the following decomposition result which, in the case when Q is Dynkin, interpolates between the lefthand and righthand decompositions of (2).

Theorem 6.3 . Let { Q ,. . . , Q 1 /lscript } be an admissible Dynkin subquiver partition of the acyclic quiver Q . If r j denotes the number of positive roots for Q j and r = ∑ j r j , there exist subalgebras A 1 , . . . , A r ⊂ H ( Q ) such that each A u is isomorphic to H ( A 1 ) , and such that the left to right ∗ -multiplication induces an isomorphism

$$\mathcal { A } _ { 1 } \otimes \cdots \otimes \mathcal { A } _ { r } \longrightarrow \mathcal { H } ( Q ).$$

In the context of the results of Franzen-Reineke and Davison-Meinhardt, we comment that the methods of our paper adopt a fundamentally topological viewpoint , whereas the stability condition approach is a fundamentally representation theoretical viewpoint . Each of our admissible Dynkin subquiver partitions corresponds to a stability condition from the representation theory viewpoint. In this sense, our Theorem 6.3 is implicit in the work of Franzen-Reineke and Davison-Meinhardt.

Thus, the major accomplishment of our paper is an explicit topological realization, in the language of characteristic classes, of the isomorphism of Equation (3). It would be interesting to consider if there exists stability conditions for which each factor H θ -sst ,µ is isomorphic to H ( A 1 ), but which can not be realized topologically by an admissible Dynkin subquiver partition.

The structure of the paper is as follows. In Section 2 we lay out notations, definitions, and relevant preliminary results related to quivers and the equivariant cohomology algebras H γ . In Section 3 we recall the definition of the CoHA and describe the ∗ -multiplication explicitly. In Section 4 we describe several important varieties which are parameterized by combinatorial data associated to the quiver, and prove several results about their structure and relevance to the present setting. In Section 5 we recall results regarding quantum dilogarithm identities from [All18] and describe their interpretation as Poincar´ series for the CoHA. Our main results appear in Section e 6 and we complete the proof of Theorem 6.3 in Section 7.

Acknowledgements. We thank Rich´ ard Rim´nyi, who introduced us first to the topic of CoHAs a and quantum dilogarithm identities in 2014 at Chapel Hill, NC. Further, we acknowledge support in Summer 2019 from an Office of Naval Research Junior NARC grant.

2.1. Preliminaries. A quiver Q = ( Q ,Q ,h,t 0 1 ) is a directed graph where Q 0 is a finite set of vertices, Q 1 is a finite set of edges whose elements are called arrows , and h : Q 1 → Q 0 and t : Q 1 → Q 0 are maps respectively called head and tail . The maps h and t encode the orientation of the arrows. A dimension vector γ = ( γ i ( )) i ∈ Q 0 is a list of non-negative integers, one for each quiver vertex. In the sequel, we let D denote the monoid of all dimension vectors. ∗ In the rest of the paper, we use the notation [ p ] := { 1 2 , , . . . , p } for any p ∈ N , and e i ∈ D is the simple dimension vector with 1 at vertex i and zeros elsewhere. Thus, assuming our quiver has n vertices, we identify Q 0 = [ n ] and write D ∼ = ⊕ n i =1 Z ≥ 0 · e i . For γ ∈ D , we form the space of quiver representations with action of the base change group GL γ := ∏ i ∈ Q 0 GL( C γ i ( ) ) given by

$$\i \text{ write } D \cong \bigoplus _ { i = 1 } ^ { \nu } \mathbb { Z } _ { \geq 0 } \cdot e _ { i }. \text{ for } \gamma \in D, \, \text{ we form the space of quiver representation} \\ \text{ Rep} _ { \gamma } ( Q ) = \text{ Rep} _ { \gamma } \coloneqq \bigoplus _ { a \in Q _ { 1 } } \text{ Hom} \left ( \mathbb { C } ^ { \gamma ( t a ) }, \mathbb { C } ^ { \gamma ( h a ) } \right ) \\ \i f \text{ the hase change around} \, \text{$\mathbf C$} \coloneqq \Pi. \ \sim \ \mathbf C \i \text{.} \left ( \mathbb { C } ^ { \gamma ( i ) } \right ) \, \text{ overflow} \, \text{hv}$$

$$( g _ { i } ) _ { i \in Q _ { 0 } } \cdot ( \phi _ { a } ) _ { a \in Q _ { 1 } } = ( g _ { h a } \phi _ { a } g _ { t a } ^ { - 1 } ) _ { a \in Q _ { 1 } }.$$

We let χ : D × D → Z denote the bilinear Euler form for Q , given by the formula for any γ , γ 1 2 ∈ D . We also consider the opposite antisymmetrization of χ ,

$$\to \mathbb { Z } \text{ denote the bilinear Euler form for } Q, \text{ given by the formu} \\ \chi ( \gamma _ { 1 }, \gamma _ { 2 } ) = \sum _ { i \in Q _ { 0 } } \gamma _ { 1 } ( i ) \gamma _ { 2 } ( i ) - \sum _ { a \in Q _ { 1 } } \gamma _ { 1 } ( t a ) \gamma _ { 2 } ( h a ) \\. \text{ We also consider the opposite antisvmmetrization of } y.$$

$$\langle \gamma _ { 1 }, \gamma _ { 2 } \rangle \coloneqq \chi ( \gamma _ { 2 }, \gamma _ { 1 } ) - \chi ( \gamma _ { 1 }, \gamma _ { 2 } ).$$

Observe that for any i, i ′ ∈ Q 0

$$\langle e _ { i }, e _ { i ^ { \prime } } \rangle = \# \{ a \in Q _ { 1 } \, \colon t a = i, \, h a = i ^ { \prime } \} - \# \{ a \in Q _ { 1 } \, \colon t a = i ^ { \prime }, \, h a = i \},$$

that is, 〈 e , e i i ′ 〉 equals the number of arrows i → i ′ minus the number of arrows i ′ → i .

A path in Q is a concatenation of arrows a /lscript · · · a 2 a 1 such that ha j = ta j +1 for all j ∈ [ /lscript -1]. Such a path is an oriented cycle if ha /lscript = ta 1 . A quiver is called acyclic if it contains no oriented cycles. In particular, acyclic quivers contain no loop arrows. Observe that the underlying non-directed graph associated to Q may contain cycles, even if Q is acyclic.

In the rest of the paper, we assume Q is an acyclic quiver, and we further assume that the set of vertices Q 0 = [ n ] is ordered so that for every arrow a ∈ Q 1 , we have ha &lt; ta . Such an ordering is always possible in an acyclic quiver, but is not unique in general; see e.g., [DW17, Exercise 1.5.2]. Moreover, when Q is acyclic note that (6) exactly counts (with a sign, but no cancellation) the number of arrows between the vertices i and i ′ . Therefore, our assumption on the ordering of Q 0 implies that 〈 e , e i i ′ 〉 ≤ 0 whenever i &lt; i ′ .

2.2. Dynkin quivers. A quiver Q is a Dynkin quiver if it is an orientation of a simply-laced Dynkin diagram (i.e., of type A D , , or E ). We identify the simple roots of the associated root system with the set of simple dimension vectors e i for each i ∈ Q 0 . Hence each element, β , of the set of positive roots Φ ( + Q ) = Φ + has the form for some non-negative integers d i β . In this way, we realize positive roots as dimension vectors. As is our convention, we will suppress Q in the notation when it is clear from context.

$$\ e \, \text{form} \\ \beta = \sum _ { i \in Q _ { 0 } } d _ { \beta } ^ { i } e _ { i } \\ \text{is swap we realize}$$

We have already described an ordering on the vertices Q 0 , and hence on the simple roots. Namely we require that e ha precedes e ta for every arrow a ∈ Q 1 . We call this the 'head before tail' order on simple roots. We describe an order on the positive roots Φ + by forcing the condition that

$$\beta ^ { \prime } \text{ precedes } \beta ^ { \prime \prime } \implies \langle \beta ^ { \prime }, \beta ^ { \prime \prime } \rangle \geq 0.$$

∗ When understood from context, we will omit reference to Q in our notations; e.g., although the monoid of dimension vectors depends on Q 0 , we opt to write D instead of, say, D Q .

The above condition on positive roots defines a partial order, from which we adopt any linear extension as a total order. The choice is not unique, but always exists for Dynkin quivers (see [Rei10, Rim13, AR18, All18] for more details and equivalent formulations). Because this order was first utilized in Reineke's work [Rei10] to prove Donaldson-Thomas type identities (a connection we will exploit later), we call the resulting total order on Φ + a Reineke order ; this terminology is also consistent with [Rim18].

Example 2.1 . Consider the equioriented A 3 quiver 1 ← 2 ← 3. Note that we have already chosen the names of the vertices so that the simple roots are in 'head before tail' order e 1 ≺ e 2 ≺ e 3 . A Reineke order for the associated positive roots is given by

$$\beta _ { 1 } & = e _ { 3 }, \quad \beta _ { 2 } = e _ { 2 } + e _ { 3 }, \quad \beta _ { 3 } = e _ { 2 }, \\ \beta _ { 4 } & = e _ { 1 } + e _ { 2 } + e _ { 3 }, \quad \beta _ { 5 } = e _ { 1 } + e _ { 2 }, \quad \beta _ { 6 } = e _ { 1 },$$

where one can check that u &lt; v implies 〈 β , β u v 〉 ≥ 0. Observe we can obtain another Reineke order by interchanging e 2 and e 1 + e 2 + e 3 above, since 〈 e , e 2 1 + e 2 + e 3 〉 = 0.

Given a dimension vector γ ∈ D , a choice of non-negative integers m = ( m β ) β ∈ Φ + is called a Kostant partition of γ if

$$\gamma = \sum _ { \beta \in \Phi _ { + } } m _ { \beta } \, \beta. \\ \tilde { \alpha } h r i e l ^ { \subset } \, t h e o r e m \, \mathbb { I }.$$

When this happens, we write m /turnstileleft γ . Gabriel's theorem [Gab72] that the orbits are in one-to-one correspondence with Kostant partitions. In the sequel, we will denote the orbit corresponding to m /turnstileleft γ by Ω m ( Q ) = Ω m ⊂ Rep γ . When Φ + is in Reineke order β 1 ≺ · · · ≺ β r , we will abuse notation and write m u = m β u .

Example 2.2 . For Q the equioriented A 3 quiver of Example 2.1, take the Reineke order in (8). Consider the Kostant partition with m 1 = m 5 = 0, m 2 = 2, and all other m u = 1. For type A quivers, one can draw a lacing diagram (originally due to [ADF85]), corresponding to the orbit Ω m . In this case, we have that Ω m corresponds to the lacing diagram

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00567v3-figure-b89aa50d-f6cf-4d59-a986-c0cb197faaad.jpg)

which says that Ω m consists of those quiver representations in Rep (2 4 3) , , for which the lefthand mapping C 4 → C 2 from vertex 2 to vertex 1 has rank 1, the righthand mapping C 3 → C 4 from vertex 3 to vertex 2 has full rank, and the intersection of the kernel of the lefthand map and the image of the righthand map has dimension 2.

In the case of Dynkin quivers, the closure of the orbit Ω m ⊂ Rep γ is called a quiver locus and its equivariant fundamental class [Ω m ] ∈ H · GL γ ( Rep γ ) is called a quiver polynomial . These characteristic classes (and their K-theoretic analogues) have a rich history in their own right; they exhibit remarkable combinatorial and geometric properties and have connections to many other areas of algebraic combinatorics and algebraic geometry. The author suggests the seminal work of Buch-Fulton [BF99], as well as the more recent papers [Buc08] and [KKR19] (and references therein), as a starting point on quiver polynomials.

We observe that the quiver polynomial [Ω m ] is an element of H γ , and hence an element of the CoHA. Rim´ anyi proved that the Dynkin quiver polynomials are akin to structure constants in Dynkin CoHAs [Rim13, Theorem 10.1]. In the sequel, we will see that these geometrically distinguished elements still play an interesting role in the algebraic structure of any acyclic CoHA.

Figure 1. An admissible Dynkin subquiver partition which becomes ordered by the assignments: Q 1 = A 1 , Q 2 an orientation of A 3 , and Q 3 an orientation of D 4 . Observe that the underlying non-oriented graph associated to Q has a cycle, but that the quiver Q is acyclic.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00567v3-figure-05852aa9-7468-4045-b9ff-2145921eabe4.jpg)

## 2.3. Equivariant cohomology algebras and their elements. Fix the dimension vector γ ∈ D .

In this paper, a central object we study is the equivariant cohomology algebra associated to the vector space (4) and group action (5); explicitly we set

$$\mathcal { H } _ { \gamma } ( Q ) = \mathcal { H } _ { \gamma } \coloneqq \mathsf H _ { \text{GL} _ { \gamma } } ( \text{Rep} _ { \gamma } )$$

where here and throughout the paper we assume cohomology algebras have rational coefficients. As before, we omit Q from the notation when it is clear from context. Now, for each quiver vertex i ∈ Q 0 , let { ω i,j : j ∈ [ γ i ( )] } denote a set of indeterminates (each with cohomological degree two), which we allow to represent the Chern roots of GL( C γ i ( ) ). Since Rep γ is a GL γ -equivariantly contractible vector space, we further identify where B denotes the Borel construction for equivariant cohomology and S p is the symmetric group on p letters. The action of each S γ i ( ) is by permuting the variables { ω i,j : j ∈ [ γ i ( )] } . Hence, in the sequel we realize elements of H γ as polynomials f ( ω i,j ) which are separately symmetric in the variables ω i,j for each i ∈ Q 0 .

$$\text{vector space, we further identity} \\ \mathcal { H } _ { \gamma } \cong H ^ { \bullet } ( B G L _ { \gamma } ) \cong \bigotimes _ { i \in Q _ { 0 } } \mathbb { Q } [ \omega _ { i, 1 }, \dots, \omega _ { i, \gamma ( i ) } ] ^ { \mathfrak { S } _ { \gamma ( i ) } } & & ( 1 0 ) \\ \text{tes the Borel construction for equivariant cohomologv and $\mathfrak { S }_{n}$ is the symmetric group}$$

/negationslash

- 2.4. Subquiver partitions. Aquiver Q is nonempty if Q 0 = , and ∅ Q is connected if its underlying non-oriented graph is connected. A subquiver Q ′ of Q is a quiver with Q ′ 0 ⊆ Q 0 and Q ′ 1 ⊆ Q 1 .

Definition 2.3. Let Q · = { Q ,. . . , Q 1 /lscript } be a set of subquivers of Q .

- (a) We say that Q · is a subquiver partition if each Q j is a non-empty connected subquiver, and Q 0 is the disjoint union of the Q j 0 vertex sets.
- (b) We say that Q · is a Dynkin subquiver partition if it is a subquiver partition and each Q j is a Dynkin quiver.
- (c) We say that Q · is an admissible subquiver partition if it is a subquiver partition and the quiver obtained from Q by contracting each subquiver Q j to a single vertex is also acyclic.
- (d) In the contracted quiver described by 2.3(c), note that the vertices are identified with the subquivers Q j ∈ Q · . We say that an admissible subquiver partition Q · is ordered if a is an arrow in the contracted quiver with ha = Q i and ta = Q j , then i &lt; j .

Definition 2.3(d) can be rephrased as saying that the subquivers are ordered so that they are in 'head before tail' order in contracted quiver of 2.3(c). Hence every admissible subquiver partition can be ordered. Figure 1 provides an example. We further introduce the notation Q · 1 = ⋃ j ∈ [ /lscript ] Q j 1 to denote the set of arrows in Q which appear in one of the Q j subquivers. Thus, the arrows of the contracted quiver described in Definition 2.3(c) are identified with Q 1 \ Q · 1 .

Given a dimension vector γ for Q we define the support of γ to be the set { i ∈ Q 0 : γ i ( ) = 0 } . If Q ′ is a subquiver of Q then we say γ has its support in Q ′ if the support of γ is a subset of Q ′ 0 .

/negationslash

Definition 2.4. Let Q · = { Q ,. . . , Q 1 /lscript } be an admissible, ordered subquiver partition of Q . We say that the list of dimension vectors γ , . . . , γ 1 r is consistent with Q · if

- · for each u ∈ [ r ], there exists j ( u ) ∈ [ /lscript ] such that γ u has its support in Q j ( u ) , and
- · if 1 ≤ u &lt; v ≤ r , then 1 ≤ j ( u ) ≤ j ( v ) ≤ /lscript .

Example 2.5 . For the equioriented A 3 quiver 1 ← 2 ← 3, we have the admissible, ordered, Dynkin subquiver partition Q · = { Q ,Q 1 2 } where Q 1 is the A 1 -subquiver consisting of the singleton vertex 1 and Q 2 is the A 2 -subquiver 2 ← 3. Consider the following lists of dimension vectors for Q :

- (i) γ 1 = (1 0 0), , , γ 2 = (0 0 1), , , γ 3 = (0 1 1), , , γ 4 = (0 1 0); , ,
- (ii) γ 1 = (0 1 3), , , γ 2 = (1 0 0), , , γ 3 = (0 2 1), , , γ 4 = (0 2 0); , ,
- (iii) γ 1 = (1 1 0), , , γ 2 = (0 3 3), , , γ 3 = (0 0 1). , ,

Only (i) is consistent with Q · . While (ii) satisfies the first bullet point of Definition 2.4, it fails the second with u = 1 and v = 2. The list (iii) fails the first bullet point since γ 1 = (1 1 0) is not , , supported on either of the subquivers Q 1 or Q 2 .

For the remainder of the subsection, we require that Q · is an admissible, ordered, Dynkin subquiver partition of Q . Hence each subquiver Q j has an associated set of positive roots Φ + ( Q j ) which are also naturally dimension vectors of Q with entries of zero at each i / Q ∈ j 0 . Let Φ + ( Q · ) = ⋃ j ∈ [ /lscript ] Φ ( + Q j ), and we extend the notion of a Reineke order on each Φ + ( Q j ) to the union Φ + ( Q · ) as follows. Write r j = #Φ ( + Q j ) and Φ + ( Q j ) = { β , . . . , β j 1 j r j } in a Reineke order for the Dynkin subquiver Q j . Then a Reineke order on Φ + ( Q · ) has the form

$$( \beta _ { 1 } ^ { 1 } \prec \dots \prec \beta _ { r _ { 1 } } ^ { 1 } ) \prec ( \beta _ { 1 } ^ { 2 } \prec \dots \prec \beta _ { r _ { 2 } } ^ { 2 } ) \prec \dots \prec ( \beta _ { 1 } ^ { \ell } \prec \dots \prec \beta _ { r _ { \ell } } ^ { \ell } ).$$

Observe that the ordering condition on Q · and the ordering condition (7) together imply that if β ′ precedes β ′′ where β , β ′ ′′ are

- · positive roots from the same subquiver, then 〈 β , β ′ ′′ 〉 ≥ 0;
- · positive roots from different subquivers, then 〈 β , β ′ ′′ 〉 ≤ 0.

From the above, we see that this Reineke order convention on Φ + ( Q · ) is equivalent to the ordering convention on the same set in [All18, Section 2.5].

## 3. Cohomological Hall algebras of quivers

As a D -graded vector space, the cohomological Hall algebra (aka CoHA) of a quiver Q is where we recall that H γ is the equivariant cohomology algebra from (9) and we think of the elements of H γ as polynomials via (10).

$$\mathfrak { e c o h o m o l o g i c a l } \ H a l l \ a l g e b r a \ ( a \\ \mathcal { H } ( Q ) = \mathcal { H } \coloneqq \bigoplus _ { \gamma \in D } \mathcal { H } _ { \gamma } \\ \text{ivariant} \, \cothom o m o l o s v \, a l g e h r a \, \text{from}$$

3.1. Equivariant localization formula for CoHA multiplication. For γ , γ 1 2 ∈ D and f 1 ∈ H γ 1 , f 2 ∈ H γ 2 , we obtain f 1 ∗ f 2 ∈ H γ 1 + γ 2 via the formula (see [KS11, Theorem 2])

$$( f _ { 1 } * f _ { 2 } ) ( \omega _ { 1, 1 }, \dots, \omega _ { 1, \gamma _ { 1 } ( 1 ) + \gamma _ { 2 } ( 1 ) } ; \dots ; \omega _ { n, 1 }, \dots, \omega _ { n, \gamma _ { 1 } ( n ) + \gamma _ { 2 } ( n ) } )$$

To compute a term in the sum above, for each vertex i ∈ Q 0 we must choose a set

$$& \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \ \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \

 & \quad = \sum _ { S _ { 1 } \in \left ( \begin{matrix} \left ( \gamma _ { 1 } ( 1 ) + \gamma _ { 2 } ( 1 ) \right ) \\ \gamma _ { 1 } ( 1 ) \end{matrix} \right ) } \cdots \cdots \sum _ { N _ { n } \in \left ( \begin{matrix} \left ( \gamma _ { 1 } ( N _ { n } ) + \gamma _ { 2 } ( N _ { n } ) \right ) \\ \gamma _ { 1 } ( N _ { n } \end{matrix} \right ) } \cdots \cdots \sum _ { S _ { n } \in \left ( \begin{matrix} \left ( \gamma _ { 1 } ( N _ { n } ) + \gamma _ { 2 } ( N _ { n } ) \right ) \\ \gamma _ { 1 } ( N _ { n } \end{matrix} \right ) } \frac { \prod _ { a } \in Q _ { 1 } ( \omega _ { h a, \overline { S _ { h a } } } - \omega _ { t a, S _ { t a } } ) } { \prod _ { i } \in Q _ { 0 } ( \omega _ { i, \overline { S _ { i } } } - \omega _ { i, S _ { i } } ) }. \quad ( 1 1 ) \\ & \text{compute a term in the sum above, for each vertex } i \in Q _ { 0 } \text{ we must choose a set}$$

$$\text{ve, for each vertex } i \in Q _ { 0 } \text{ we } \\ S _ { i } \in \begin{pmatrix} [ \gamma _ { 1 } ( i ) + \gamma _ { 2 } ( i ) ] \\ \gamma _ { 1 } ( i ) \end{pmatrix} \\ \text{ith} \sim L i \llom \text{elements and } \overline { S } \cdot \text{done}$$

which is a subset of [ γ 1 ( )+ i γ 2 ( )] with i γ 1 ( ) elements, and i S i denotes its complement in [ γ 1 ( )+ i γ 2 ( )] i (and so has γ 2 ( ) elements). i Since f 1 ∈ H γ 1 (respectively f 2 ∈ H γ 2 ) it is a polynomial separately symmetric in n families of indeterminates, one family for each i ∈ Q 0 , each with γ 1 ( ) (resp. i γ 2 ( )) i

variables. Hence, it makes sense to let f 1 ( S · ) denote the specialization f 1 ( ω i,j ) for all i ∈ Q 0 and j ∈ S i (resp. f 2 ( S · ) denotes the specialization f 2 ( ω i,j ) for all i ∈ Q 0 and j ∈ S i ). Finally, the products in the numerator and denominator should be interpreted according to the convention

We comment that if U or V is empty, then the value of the product (12) is 1. From the supersymmetry of f 1 and f 2 , and the fact that we sum over all possible choices for ( S , . . . , S 1 n ), we see that the result of (11) will indeed have the supersymmetry required to be an element of H γ 1 + γ 2 .

$$\text{interator and denominator should be interpreted according to the convention} \\ \left ( \omega _ { x, U } - \omega _ { y, V } \right ) \coloneqq \prod _ { u \in U } \prod _ { v \in V } \left ( \omega _ { x, u } - \omega _ { y, v } \right ). \quad & ( 1 2 ) \\ \text{if $U$ or $V$ is emtv. then the value of the product (12) is 1. From the supersvm-}$$

Example 3.1 . Let Q be the equioriented A 3 quiver 1 ← 2 ← 3 as in Examples 2.1 and 2.2. Consider f ( ω 1 1 , , ω 1 2 , ) ∈ H (2 0 0) , , and g ω ( 2 1 , , ω 3 1 , ) ∈ H (0 1 1) , , . We have that

$$( f * g ) ( \omega _ { 1, 1 }, \omega _ { 1, 2 }, \omega _ { 2, 1 }, \omega _ { 3, 1 } ) & = f \left ( \omega _ { 1, 1 }, \omega _ { 1, 2 } \right ) g \left ( \omega _ { 2, 1 }, \omega _ { 3, 1 } \right ) \\ ( g * f ) ( \omega _ { 1, 1 }, \omega _ { 1, 2 }, \omega _ { 2, 1 }, \omega _ { 3, 1 } ) & = f \left ( \omega _ { 1, 1 }, \omega _ { 1, 2 } \right ) g \left ( \omega _ { 2, 1 }, \omega _ { 3, 1 } \right ) \left ( \omega _ { 1, 1 } - \omega _ { 2, 1 } \right ) \left ( \omega _ { 1, 2 } - \omega _ { 2, 1 } \right ).$$

From this we observe that the product appears simpler when we multiply in an order which, when reading from left to right, goes against the direction of an arrow. In this case, we mean that the dimension vector for f is supported on the subquiver Q 1 consisting only of the vertex 1, while the dimension vector for g is supported on the subquiver Q 2 = 2 ← 3, and these two subquivers have the property that Q 1 sits at the head of an arrow from Q 2 .

Example 3.2 . Again we let Q be the quiver 1 ← 2 ← 3. This time, take ω 2 1 , ∈ H (0 1 0) , , and ω 3 1 , ∈ H (0 0 1) , , to see that

$$\omega _ { 2, 1 } * \omega _ { 3, 1 } & = \omega _ { 2, 1 } \omega _ { 3, 1 } \in \mathcal { H } _ { ( 0, 1, 1 ) } \\ \omega _ { 3, 1 } * \omega _ { 2, 1 } & = \omega _ { 2, 1 } \omega _ { 3, 1 } ( \omega _ { 2, 1 } - \omega _ { 3, 1 } ) \in \mathcal { H } _ { ( 0, 1, 1 ) }$$

$$\tilde { \tau } _ { ( 0, 1, 1 ) }$$

where we again observe that going 'against' the direction of an arrow (this time the arrow 2 ← 3) makes the multiplication simpler. Now, consider ω 3 1 , not as an element of H (0 0 1) , , , but instead as an element of H (0 1 1) , , . This results in the products

$$\omega _ { 2, 1 } * \omega _ { 3, 1 } = - \omega _ { 3, 1 } \in \mathcal { H } _ { ( 0, 2, 1 }$$

$$\cdot \omega _ { 3, 1 } ^ { 2 } \in \mathcal { H } _ { ( 0, 2, 1 ) },$$

$$\omega _ { 2, 1 } * \omega _ { 3, 1 } & = - \omega _ { 3, 1 } \in \mathcal { H } _ { ( 0, 2, 1 ) } \\ \omega _ { 3, 1 } * \omega _ { 2, 1 } & = \left ( \omega _ { 2, 1 } + \omega _ { 2, 2 } \right ) \omega _ { 3, 1 } - \omega _ { 3, 1 } ^ { 2 } \in \mathcal { H } _ { ( 0, 2, 1 ) },$$

illustrating the dependence on the dimension vector grading.

- 3.2. Geometric definition for CoHA multiplication. The fact that (11) produces an honest polynomial (not a rational function) can be realized as a consequence of geometry. We will make only implicit use of the geometric definition of the CoHA multiplication in the sequel, but mention some relevant details here from [KS11, Section 2.2].

First, denote γ = γ 1 + γ 2 . Set P γ ,γ 1 2 to be the parabolic subgroup of GL γ which preserves, for each vertex i ∈ Q 0 , the subspace C γ 1 ( ) i ⊆ C γ i ( ) . That is, in the standard basis at each vertex, P γ ,γ 1 2 consists of upper block triangular matrices that, for each vertex factor, have diagonal blocks of sizes γ 1 ( ) and i γ 2 ( ) for each i i ∈ Q 0 . Moreover, we let Rep γ ,γ 1 2 denote the subspace of Rep γ consisting of quiver representations which, for each arrow a ∈ Q 1 , send the subspace C γ 1 ( ta ) ⊆ C γ ta ( ) into the subspace C γ 1 ( ha ) ⊆ C γ ha ( ) . The multiplication mapping H γ 1 ⊗ H γ 2 → H γ is defined to be the result of the following compositions [KS11, Section 2.2]

$$H ^ { \bullet } _ { G L _ { \gamma _ { 1 } } } ( \text{Rep} _ { \gamma _ { 1 } } ) \otimes H ^ { \bullet } _ { G L _ { \gamma _ { 2 } } } ( \text{Rep} _ { \gamma _ { 2 } } ) & \stackrel { \cong } { \longrightarrow } H ^ { \bullet } _ { P _ { \gamma _ { 1 }, \gamma _ { 2 } } } ( \text{Rep} _ { \gamma _ { 1 }, \gamma _ { 2 } } ) & \stackrel { \iota _ { \ast } } { \longrightarrow } H ^ { \bullet + 2 c _ { 1 } } _ { P _ { \gamma _ { 1 }, \gamma _ { 2 } } } ( \text{Rep} _ { \gamma } ) & \stackrel { p _ { \ast } } { \longrightarrow } H ^ { \bullet + 2 c _ { 1 } - 2 c _ { 2 } } _ { G L _ { \gamma } } ( \text{Rep} _ { \gamma } ).$$

$$\dashrightarrow r _ { \gamma _ { 1 }, \gamma _ { 2 } } \wedge \dashrightarrow r _ { \gamma _ { 1 }, \gamma _ { 2 } } \wedge \dashrightarrow$$

The first isomorphism is the K¨nneth formula and the second isomorphism follows from homotopy u equivalence. The third map is the pushforward mapping along the closed equivariant embedding

ι : Rep γ ,γ 1 2 ↪ → Rep γ , and the fourth is the pushforward along the fibration p : BP γ ,γ 1 2 → B GL γ with fiber GL γ /P γ ,γ 1 2 (using that Rep γ is contractible). In particular, the fiber is a product of Grassmannians ∏ i ∈ Q 0 Gr( γ 1 ( ) i , C γ i ( ) ).

Thus, the formula (11) follows from the Atiyah-Bott, Berline-Vergne localization formula ([AB84, (3.8)], [BV82]) for equivariant pushforward mappings where p ∗ is integration on a Grassmannian at each vertex. It is for this reason that we follow the terminology of [Rim13] and call the formula (11) the equivariant localization formula for the CoHA multiplication. The shifts in cohomological degree are

$$c _ { 1 } = \dim _ { \mathbb { C } } ( \text{Rep} _ { \gamma } ) - \dim _ { \mathbb { C } } ( \text{Rep} _ { \gamma _ { 1 }, \gamma _ { 2 } } ) & & c _ { 2 } = \dim _ { \mathbb { C } } ( \text{GL} _ { \gamma } / P _ { \gamma _ { 1 }, \gamma _ { 2 } } ).$$

From this we see that while the ∗ -multiplication respects the dimension vector grading of H , its relation to cohomological degree grading is

$$H ^ { b _ { 1 } } _ { G L _ { \gamma _ { 1 } } } ( \text{Rep} _ { \gamma _ { 2 } } ) * H ^ { b _ { 2 } } _ { G L _ { \gamma _ { 2 } } } ( \text{Rep} _ { \gamma _ { 2 } } ) \subseteq H ^ { b _ { 1 } + b _ { 2 } - 2 \chi ( \gamma _ { 1 }, \gamma _ { 2 } ) } _ { G L _ { \gamma } } ( \text{Rep} _ { \gamma } )$$

where one checks that c 2 = ∑ i ∈ Q 0 γ 1 ( ) i γ 2 ( ) i and c 1 = ∑ a ∈ Q 1 γ 1 ( ta γ ) 2 ( ha ) so that c 2 -c 1 = χ γ , γ ( 1 2 ); e.g., compare this with the cohomological degree shifts in Examples 3.1 and 3.2.

- 3.3. Multifactor products in the CoHA. Aremarkable achievement of the seminal KontsevichSoibelman paper on CoHAs is the fact that the above multiplication is associative [KS11, Theorem 1]. Hence, the formula (11) has a well-defined multifactor version for products of the form

$$( f _ { 1 } \in \mathcal { H } _ { \gamma _ { 1 } } ) * \cdots * ( f _ { r } \in \mathcal { H } _ { \gamma _ { r } } ) \in \mathcal { H } _ { \sum _ { u \in [ r ] } \gamma _ { u } }.$$

Given the required notational complexity, we do not write the general multifactor formula explicitly here. However we do mention that the rational functions which appear in the resulting formula match the equivariant localization formula for integration along multi-step flag manifolds (instead of simply Grassmannians), a connection we exploit in Section 4.

- 3.4. The CoHA for A 1 . In this subsection we let Q = A 1 , the quiver with a single vertex and no arrows. This example first appeared in Kontsevich-Soibelman's seminal work [KS11, Section 2.5], and is replicated in introductory sections to many papers on CoHA. We reproduce it here for completion since the tensor product factors in our main theorem (Theorem 6.3) are each subalgebras isomorphic to H ( A 1 ).

For the quiver A 1 , a dimension vector amounts to a choice of non-negative integer, and hence we have a decomposition H ( A 1 ) = ⊕ r ≥ 0 H r , where H r = H ( · B GL( C r )) = ∼ Q [ ω 1 1 , , . . . , ω 1 ,r ] S r . (13)

Throughout the remainder of the subsection, write x i = ω 1 ,i , where we warn that x i could refer to a variable in H n for any n ≥ i . The location of x i will be clear from context or stated explicitly. We set ψ i = x i 1 ∈ H 1 . Now, let λ = ( λ , . . . , λ 1 r ) be a partition, i.e., with each λ u an integer such that λ 1 ≥ · · · ≥ λ r ≥ 0. Applying the multi-factor multiplication gives

$$\psi _ { \lambda _ { r } } * \psi _ { \lambda _ { r - 1 } + 1 } * \dots * \psi _ { \lambda _ { 1 } + r - 1 } = s _ { \lambda } ( x _ { 1 }, \dots, x _ { r } ) \in \mathcal { H } _ { r }$$

where s λ ( x , . . . , x 1 r ) is the Schur symmetric function. Since the set

$$\{ s _ { \lambda } ( x _ { 1 }, \dots, x _ { r } ) \colon \lambda \text{ a partition} \}$$

is an additive basis for the ring of symmetric functions Q [ x , . . . , x 1 r ] S r ∼ = H r we see that H ( A 1 ) is generated by H 1 . Moreover, a calculation with (11) shows that ψ i ∗ ψ j = -ψ j ∗ ψ i for all i and j . From this, one shows that H ( A 1 ) is the exterior algebra on countably many generators, namely the elements ψ i ∈ H 1 . That is, H ( A 1 ) = ∧ ( ψ , ψ 0 1 , ψ 2 , . . . ).

## 4. Important varieties from quiver data

The ideas underlying the definitions and results of this section go back at least to the work of Reineke [Rei03] where desingularizations of quiver orbit closures were first described as incidence varieties in quiver flag varieties. These desingularizations appeared in [Rim13] in the context of CoHAs for Dynkin quivers. Here, we extend the relevant results to the present general context of any acyclic quiver.

4.1. Definitions. Let λ = ( λ , . . . , λ 1 r ) be a list of non-negative integers (not necessarily a partition) and let | λ | = ∑ i λ i . We write Fl λ to denote the flag variety where E u is a C -vector space and dim C ( E /E u u -1 ) = λ u for each u ∈ [ r ]. Now, given a list of dimension vectors γ , . . . , γ 1 r for Q , we define the quiver flag variety

$$\Lambda _ { i }. \text{ we write $r_{\lambda}$ to remove the $mag$ variety} \\ \text{Fl} _ { \lambda } = \left \{ 0 = E _ { 0 } \subseteq E _ { 1 } \subseteq \dots \subseteq E _ { r } = \mathbb { C } ^ { | \lambda | } \right \} \\ \text{or space and dim} _ { \mathbb { C } } ( E _ { u } / E _ { u - 1 } ) \, = \, \lambda _ { u } \text{ for each } u \, \in \, [ r ].$$

$$& \text{or} \, \mathcal { Q }, \, \text{we assume the quavre} \, \text{may vary} \\ & \text{Fl} _ { \gamma _ { 1 }, \dots, \gamma _ { r } } = \prod _ { i \in Q _ { 0 } } \text{Fl} _ { \gamma _ { 1 } ( i ), \dots, \gamma _ { r } ( i ) }. \\ & \text{e} \, \text{let of} \, \mathcal { Q } _ { \text{vector one} } ( E. \ \, \mathbb { u } \text{ with } i$$

That is, a point in Fl γ ,...,γ 1 r is a list of C -vector spaces ( E i,u ) with i ∈ Q 0 , u ∈ [ r ], and for each i we have E i, 1 ⊆ · · · ⊆ E i,r (we assume E i, 0 = 0) and such that dim C ( E i,u /E i,u -1 ) = γ u ( ). i

For each i ∈ Q 0 , there are tautological bundles E i,u over Fl γ 1 ( ) i ,...,γ r ( ) i whose fiber over the point ( E i, 1 ⊆ · · · ⊆ E i,r ) is E i,u . Moreover, for each i and u , we obtain the rank γ i ( u ) quotient bundles F i,u = E i,u / E i,u -1 . We also denote the pullbacks of these bundles (along the projections to each factor) to Fl γ ,...,γ 1 r by E i,u and F i,u .

$$\text{paulin} \mathcal { X } = \{ \mathcal { Q } \, \dots, \mathcal { Q } \ \text{for} \ \mathcal { Q }, \, we \ e m e \ o u m a \\ \mathcal { G } ( \mathcal { Q } ^ { \bullet } ) = \bigoplus _ { a \in \mathcal { Q } _ { 1 } } \bigoplus _ { 1 \leq u < v \leq r } \text{Hom} ( \mathcal { F } _ { t a, u }, \mathcal { F } _ { h a, v } ). \\ \text{two two second} \ \text{$\mathcal{P}$}, \, \text{$\mathcal{L}$}, \, \text{$\mathcal{L}$}, \, \text{$\mathcal{L}$}, \, \text{$\mathcal{L}$}, \, \text{$\mathcal{L}$}, \, \text{$\mathcal{L}$}, \, \text{$\mathcal{L}$}, \, \text{$\mathcal{L}$}, \, \text{$\mathcal{L}$}, \, \text{$\mathcal{L}$}, \, \text{$\mathcal{L}$}, \, \text{$\mathcal{L}$}, \, \text{$\mathcal{L}$}, \, \text{$\mathcal{L}$},$$

Given a subquiver partition Q · = { Q ,. . . , Q 1 /lscript } for Q , we define the bundle on Fl γ ,...,γ 1 r

$$\begin{array} {$$

denote the projection to the second factor. Moreover, we see that GL γ also acts naturally on Fl γ ,...,γ 1 r by the standard action of GL( C γ i ( ) ) on C γ i ( ) at each vertex. Hence, we have a pushforward mapping π ∗ in equivariant cohomology, whose target is H γ .

Definition 4.1. Given Q · = { Q ,. . . , Q 1 /lscript } an admissible, ordered, subquiver partition, and the consistent list of dimension vectors γ , . . . , γ 1 r (with γ = ∑ u γ u ), define the associated consistency subset of Fl γ ,...,γ 1 r × Rep γ to be

$$\sigma _ { \gamma _ { 1 }, \dots, \gamma _ {$$

We comment on the similarity of this incidence variety to that of [Rei03, Section 2] and [Rim13, Section 8]. In [Rim13], the variety above appears in the special case of Q a Dynkin quiver and Q · = { Q } . In that scenario, the seminal work of [Rei03] provides an algorithm so that for appropriate choices of the dimension vectors γ , . . . , γ 1 r , the consistency subset is a desingularization for a Dynkin quiver orbit closure. That is, the map π gives a resolution of the singularities for a Dynkin quiver orbit when restricted to the consistency subset (we will utilize this result in our proofs of Propositions 4.7 and 4.8).

When Q · is a Dynkin subquiver partition, write Φ + ( Q · ) = { β , . . . , β 1 r } . A list m = ( m u u ) ∈ [ r ] is a Q · -partition of γ if ∑ u m β u u = γ . This generalizes the notion of Kostant partition (see Section

2.2) since if Q is Dynkin and Q · = { Q } , then m /turnstileleft γ is exactly the condition that m is a Q · -partition. We also write m /turnstileleft γ when m is Q · -partition of γ . Further, analogous to our abuse of notation in Section 2.2, we write

$$m _ { u } = m _ { \beta _ { k } ^ { j } } ^ {$$

since for each u ∈ [ r ] we have that β u ∈ Φ ( + Q · ) is uniquely identified with some β j k ∈ Φ ( + Q j ) with j ∈ [ /lscript ] and k ∈ [ r j ]. We further observe that m j := ( m j b ) b ∈ Φ + ( Q j ) is a Kostant partition of the dimension vector γ restricted to the vertices of Q j . Let γ j denote the resulting dimension vector for Q j . Hence, for each j , we see that a Q · -partition m /turnstileleft γ amounts to a choice of a Dynkin quiver orbits Ω m j ( Q j ) ⊂ Rep γ j ( Q j ).

Definition 4.2. Suppose Q · is a Dynkin subquiver partition and m /turnstileleft γ is a Q · -partition. The quiver stratum associated to m is the subspace

That is, η m consists of those quiver representations of Q which, when restricted to the subquiver Q j , lie in a specified Dynkin quiver orbit for all j ∈ [ /lscript ].

$$\text{$\text{$cer$ stratum associated to $\mathbf m$ is the sub$$

Notation 4.3 (Polynomials evaluated on bundles) . Suppose that we have a polynomial in many variables f ( x ij ) where i ∈ [ n ] and j ∈ [ r i ( )] (for some natural numbers n and r i ( )) which is separately symmetric, for each i , in the set of variables x i, · = { x ij : j ∈ [ r i ( )] } . Then, given G -equivariant vector bundles V 1 , . . . , V n on a G -space X with the property that rank( V i ) = r i ( ), we let f ( V · ) ∈ H ( · G X ) represent the class obtained by evaluating f on the Chern roots of the bundles V 1 , . . . , V n .

4.2. Results for the important varieties. We again turn our attention to the varieties, bundles, and mappings defined in Section 4.1.

Proposition 4.4. Let γ , . . . , γ 1 r be a list of dimension vectors which is consistent with the admissible, ordered, subquiver partition Q · (the Dynkin condition is not required here). Then

Proof. The formula of [Rim13, Lemma 8.1] applies to the multiplication in our H , even though our quiver Q is not assumed to be Dynkin. That is, we have from the equivariant localization description of the multifactor multiplication that

$$\mathcal { Z }, \, \text{ordered, subquiver partition} \, \$$

where G is the bundle

$$\imath \text{ multiactor multiplication that} \\ f _ { 1 } * \dots * f _ { r } = \int _ { \mathbf F l _ { \gamma _ { 1 }, \dots, \gamma _ { r } } } e ( \mathcal { G } ) \cdot \prod _ { u = 1 } ^ { r } f _ { u } ( \mathcal { F } _ { \bullet, u } ) \\ \text{ undle}$$

and

$$\mathcal { G } = \bigoplus _ { a \in Q _ { 1 } } \bigoplus _ { 1 \leq u < v \leq r } \text{Hom} ( \mathcal { F } _ { t a, u }, \mathcal { F } _ { h a, v } ) \\.$$

is the pushforward mapping in equivariant cohomology to a point. Observe that this G differs from G Q ( · ) only in that the Whitney sum in G Q ( · ) is over (possibly) fewer arrows. To justify the removal of these arrows from the sum, we prove Lemma 4.5; cf. Example 3.1.

$$\stackrel { \dots \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot } { \int _ { \mathbf F l _ { \gamma _ { 1 }, \dots, \gamma _ { r } } } } \colon H _ { \text{GL} _ { \gamma } } ^ { \bullet } ( \mathbf F l _ { \gamma _ { 1 }, \dots, \gamma _ { r } } ) \to H _ { \text{GL} _ { \gamma } } ^ { \bullet } ( p t ) & & ( 1 7 ) \\ \text{rd mapping in equivalent cohomology to a point.                                                                                                                                                                                                        
                                                                                                                                                                                                        }                                                                                                                                                                                                        \end{                                                                                                                                                                                                       }                                                                                                                                                                                                        |                                                                                                                                                                                                        -                                                                                                                                                                                                        +                                                                                                                                                                                                        <                                                                                                                                                                                                        >                                                                                                                                                                                                        </                                                                                                                                                                                                       .                                                                                                                                                                                                        (                                                                                                                                                                                                        )                                                                                                                                                                                                        ]                                                                                                                                                                                                       ,                                                                                                                                                                                                        ;                                                                                                                                                                                                        :                                                                                                                                                                                                        "$$

In fact, we comment that one key point of our definitions up to now is that our ordering and admissibility criteria are chosen specifically to guarantee the truth of this lemma. In the statement below, we need the following definition. Given subquivers Q ′ and Q ′′ of Q , we can form the subquiver Q ′ ∪ Q ′′ by taking the respective unions of their vertex and arrow sets.

Lemma 4.5. Suppose Q · = { Q j : j ∈ [ /lscript ] } is an admissible, ordered, subquiver partition. Let γ ′ and γ ′′ be dimension vectors with their respective supports in the subquivers Q ′ = ⋃ j 1 j =1 Q j and Q ′′ = ⋃ /lscript j = j 2 Q j with j 1 ≤ j 2 . Consider the product formula for g 1 ∗ g 2 where g 1 ∈ H γ ′ and g 2 ∈ H γ ′′ . For any a / ∈ Q · 1 , we have that the numerator factor

Proof of Lemma 4.5. Take a / ∈ Q · 1 . In each case below, we argue that at least one of S ta or S ha is empty. We consider the cases

$$\colon n u m e r a t o r \, f a c t o r \\ \left ( \omega _ { h a, \overline { S _ { h a } } } - \omega _ { t a, S _ { t a } } \right ) = 1. \\ \bullet. \, \text{ In each case below, we argue}$$

$$\left ( I \right ) \, j _ { 1 } < j _ { 2 } \text{ and } \left ( I I \right ) \, j _ { 1 } = j _ { 2 }.$$

In case (I), the ordered condition on Q · implies that we can not have both ha ∈ Q ′′ 0 and ta ∈ Q ′ 0 . If ha / Q ∈ ′′ 0 , then the support hypothesis implies γ ′′ ( ha ) = 0. Thus the only choice for S ha is the set [ γ ′ ( ha )], and so S ha = . Similarly, if ∅ ta / Q ∈ ′ , we get γ ′ ( ta ) = 0 and thus S ta = . ∅

In case (II), write j = j 1 = j 2 . The admissibility condition on Q · implies that we can not have both ha ∈ Q j 0 and ta ∈ Q j 0 , otherwise we would have a loop in the contracted quiver from Definition 2.3(c). Suppose ha / Q ∈ j 0 (the case ta / Q ∈ j 0 is similar), and we consider two cases: ha ∈ Q ′ 0 or ha ∈ Q ′′ 0 . If ha ∈ Q ′ 0 , then ha ∈ Q j ′ 0 for some j ′ &lt; j , and in particular the support hypothesis implies that γ ′′ ( ha ) = 0; i.e., S ha = ∅ . If ha ∈ Q ′′ 0 , then the ordering condition implies that ta ∈ Q j ′′ 0 with j ′′ &gt; j . Then the support condition implies that γ ′ ( ta ) = 0 from whence it follows that S ta = . ∅ /square

Proof of Proposition 4.4 continued : Using the associativity of the ∗ -multiplication, the consistency restriction on γ , . . . , γ 1 r implies that any two-factor product we encounter in the computation of f 1 ∗ · · · ∗ f r will satisfy the hypotheses of Lemma 4.5 for some j 1 and j 2 . Hence by repeated application of the lemma we see that e ( G ) in (16) can be replaced with e ( G Q ( · )). The theorem then follows from the observation that Rep γ is GL γ -equivariantly contractible, which identifies the integral map (17) with the π ∗ map. /square

Remark 4.6 . It is an illustrative exercise in the definitions up to this point in the paper to check that the polynomials f u are being evaluated on the appropriate number of variables on the righthand side of Equation (15).

We prefer the formula (15), as opposed to the integral formula (16) in the proof of Proposition 4.4, because we can identify the Euler class of G Q ( · ) with the (equivariant) fundamental class of the consistency subset.

$$\text{Proposition } 4. 7. \ [ \Sigma _ { \gamma _ { 1 }, \dots, \gamma _ { r } } ( \mathcal { Q } ^ { \bullet } ) ] = e ( \mathcal { G } ( \mathcal { Q } ^ { \bullet } ) ).$$

Proof. Weexpand on the proof of [Rim13, Lemma 8.3]. Consider a torus fixed point t ∈ Σ γ ,...,γ 1 r ( Q · ). On some neighborhood of t , say U t ⊂ Fl γ ,...,γ 1 r × Rep γ , we can (locally) choose subbundles F i,u ⊂ E i,u for all i ∈ Q 0 and u ∈ [ r ], such that F i,u ⊕E i,u -1 = E i,u . In particular, this means that on U t we have E i,u = ⊕ w ≤ u F i,w for all i and u . We can form a vector bundle on U t (which is locally identified with G Q ( · )) by

Recall that the Euler class corresponds to the fundamental class for a vanishing locus of a generic section (i.e., transverse to the zero section). Let F i,u denote the fiber of F i,u (it is a subspace of E i,u ). We have a natural section σ : U t →G given by

$$\text{ndle on $U_{t}$ (which is locally identified with $\{$} \\ \overline { \mathcal { G } } = \bigoplus _ { a \in \mathcal { Q } _ { 1 } ^ { \bullet } } \bigoplus \text{Hom} \left ( \overline { \mathcal { F } } _ { t a, u }, \mathcal { F } _ { h a, v } \right ). \\ \text{corresponds to the fundamental class for a } \, \text{$}$$

↦

$$\text{natural section } \sigma \colon U _ { t } \to \zeta \text{ given by} \\ \left ( ( E _ { i, u } ) _ { i \in Q _ { 0 }, u \in [ r ] }, ( \phi _ { a } ) _ { a \in Q _ { 1 } } \right ) & \longmapsto \sum _ { a \in Q _ { 1 } ^ { \bullet }, \ u < v } \overline { \phi } _ { a, u, v }$$

/negationslash with φ a,u,v defined to be the composition of the inclusion F ta,u ↪ → E ta,r and the given linear map φ a : E ta,r → E ha,r , followed by the quotient mapping to E ha,r / ( ⊕ w = v F ha,w ). The section σ satisfies the genericity condition and, moreover, we now show that the zero locus of σ is exactly Σ γ ,...,γ 1 r ( Q · ) ∩ U t .

/negationslash

$$\text{itrary, we have} \\ \phi _ { a } ( E _ { t a, u } ) = \phi _ { a } \left ( \bigoplus _ { w \leq u } F _ { t a, w } \right ) & \subseteq \bigoplus _ { w \leq u } F _ { h a, w } = E _ { h a, u }. \\ \text{his holds for all choices of $a$, we have $((E_{i,u)}),(\phi_{a})) \in U_{t}$ must be}$$

Indeed, it immediately follows from the definitions that if (( E i,u ) , ( φ a )) ∈ U t has φ a ( E ta,u ) ⊆ E ha,u for all a ∈ Q · 1 and u ∈ [ r ], then φ a,u,v = 0 for all choices of a, u, v . Conversely, if φ a,u,v is identically zero for all a, u, v we see that, fixing a and u , we get that φ a ( F ta,u ) ⊆ ⊕ w = v F ha,w for all v &gt; u . Hence φ a ( F ta,u ) ∩ F ha,v = 0 for all v &gt; u , and consequently we obtain φ a ( F ta,u ) ⊆ E ha,u . Since u was arbitrary, we have

Finally, since this holds for all choices of a , we have (( E i,u ) , ( φ a )) ∈ U t must be an element of Σ γ ,...,γ 1 r ( Q · ).

Hence we have the string of equalities

$$e ( \mathcal { G } ( \mathcal { Q } ^ { \bullet } ) ) | _ { t } = e ( \overline { \mathcal { G } } ) | _ { t } = [ \Sigma _ { \gamma _ { 1 }, \dots, \gamma _ { r } } ( \mathcal { Q } ^ { \bullet } ) ] | _ { t }.$$

Since t is arbitrary, this holds at each torus fixed point, from whence the result follows from the localization theorem for torus equivariant cohomology. /square

In the remainder of the section, let m be a Q · -partition for the dimension vector γ . Observe that setting γ u = m β u u (with the roots β u in Reineke order) makes γ , . . . , γ 1 r a consistent list of dimension vectors with ∑ u γ u = γ . Let π m denote the restriction of π to the consistency subset Σ m β ,...,m 1 1 r β r ( Q · ) ⊆ Fl m β ,...,m 1 1 r β r × Rep γ .

$$\pi _ { * } ( [ \Sigma _ { m _ { 1 } \beta _ {$$

Proposition 4.8. The mapping π m : Σ m β ,...,m 1 1 r β r ( Q · ) → Rep γ has image η m , and is a desingularization of the stratum closure η m . As a consequence, when η m has rational singularities, we have

Proof. When Q is Dynkin and Q · = { Q } , the fact that the consistency subset is a desingularization of the quiver orbit η m = Ω m (via the mapping π ) was established by Reineke [Rei03]. In the more general context stated above, η m is a product of the Dynkin quiver orbits Ω m j ( Q j ) (one for each subquiver Q j ∈ Q · ) and vector spaces Hom( C γ ta ( ) , C γ ha ( ) ) with a ∈ Q 1 \ Q · 1 . Thus

The decomposition above means that the first assertion follows from repeated application of Reineke's desingularization theorem [Rei03, Theorem 2.2]. /square

$$\text{iver} \, Q ^ { j } \in \mathcal { Q } ^ {$$

Remark 4.9 (Regarding the second assertion of Proposition 4.8) . When Q is a Dynkin quiver, Bobinski-Zwara have proven that Ω m is guaranteed to have rational singularities provided Q is an orientation of a type A or D Dynkin diagram [BZ01, BZ02]. Therefore, when Q · consists only of type A or D subquivers, the Bobinski-Zwara results already guarantee that η m has rational singularities. To the author's knowledge, it is an open question whether type E Dynkin quiver orbit closures are normal, Cohen-Macauley, and/or admit only rational singularities; we are aware of some partial affirmative results when all of the quiver's vertices are sinks/sources [Sut15]. In any event, in the rest of the paper, we assume type E orbit closures do have only rational singularities, and so we apply Proposition 4.8 (and also the next Proposition 4.10) freely in the sequel without further comment. We note, however, that our main theorem already prohibits orientations of E 8 as subquivers in Q · , albeit for a different reason (a punctilio we discuss in Section 6).

Proposition 4.10. If η m ⊂ Rep γ has rational singularities, then its GL γ equivariant fundamental class is given by

$$[ \overline { \eta } _ { \text{m} } ] = ( 1 \in$$

Proof. Proposition 4.8 says that π ∗ ([Σ m β ,...,m 1 1 r β r ( Q · )]) = [ η m ]. Hence, Proposition 4.7 then implies [ η m ] = π ∗ ( e ( G Q ( · ))) and so Proposition 4.4 implies the result. /square

## 5. Quantum dilogarithms and Poincar´ e series of CoHAs

Let q 1 2 / be an indeterminate (with square denoted q ). Let d be a positive integer, and set P d = ∏ d k =1 (1 -q k ) -1 . Furthermore, set P 0 = 1. We note that P d is the Poincar´ series of the e algebra H · GL( C d ) ( pt ) = H ( · B GL( C d )). Given an indeterminate z we define the quantum dilogarithm series , an element of the algebra Q ( q 1 2 / )[[ z ]], to be

$$\begin{array} {$$

If we allow z to keep track of the dimension vector grading, and allow q to keep track of the cohomological degree grading, we therefore notice that E ( z ) is a q -shifted (by q r 2 / 2 ) and twisted (by minus signs) Poincar´ series for the CoHA e H ( A 1 ). Indeed, setting ( H r ) k to be the degree 2 k part of H r , i.e., ( H r ) k ∼ = H 2 k ( B GL( C r )), (refer to the notations of Section 3.4), we have

$$\varkappa _ { r } \jmath _ { k } = \i i \ \left$$

We will use the connection between (18) and (19) to establish our main theorem. In particular, we will need the the major results of [All18], which we now restate for completeness.

First, we define the quantum algebra A Q of the quiver Q to be the Q ( q 1 2 / )-algebra with vector space basis given by symbols y γ , one for each dimension vector γ ∈ D , and subject to the relations

$$y _ { \gamma _ { 1 } + \gamma _ { 2 } } = - q ^ { - \langle \gamma _ { 1 }, \gamma _ { 2 } \rangle / 2 } \, y _ { \gamma _ { 1 } } y _ { \gamma _ { 2 } }$$

for every γ , γ 1 2 ∈ D . In particular, we have that the symbols { y e i : i ∈ Q 0 } generate A Q as an algebra. Let ̂ A Q denote the completed quantum algebra in which formal power series in the y γ symbols are allowed, but are subject to the same relation (20).

Proposition 5.1 ([All18], Theorem 4.2) . Let Q · be an admissible, ordered, Dynkin subquiver partition. Further, assume that { e , . . . , e 1 n } is in 'head before tail' order and that Φ ( + Q · ) = { β , . . . , β 1 r } is in Reineke order. We have the identity

$$\mathbb { E } ( y _ { e _ { 1 } } ) \cdots \mathbb { E } ( y _ { e _ { n } } ) = \mathbb { E } ( y _ { \beta _ { 1 } } ) \cdots \mathbb { E } ( y _ { \beta _ { r } } ).$$

/square

Proposition 5.2 ([All18], Proposition 5.1) . With the same hypotheses as Proposition 5.1, fix a dimension vector γ ∈ D and let m be a Q · -partition. Consider the product which holds in the completed quantum algebra ̂ A Q . Furthermore, we will need the following important computation in ̂ A Q , which is established in [All18] en route to Proposition 5.1.

We have

$$y _ { \beta _ { 1 } } ^ { m _ { 1 } } y _ { \beta _ { 2 } } ^ { m _ { 2 } } \cdots y _ { \beta _ { r } } ^ { m _ { r } } = ( - 1 ) ^ { s _ { \mathbf m } } \cdot q ^ { w _ { \mathbf m } } \cdot y _ { e _ { 1 } } ^ { \gamma ( 1 ) } \cdots y _ { e _ { n } } ^ { \gamma ( n ) }$$

$$y _ { \beta _ { 1 } } ^ { m _ { 1 } } y _ { \beta _ { 2 } } ^ { m _ { 2 } } \cdots y _ { \beta _ { r } } ^ { m _ { r } } \in \mathbb { A } _ { Q } \, \subset \widehat { \mathbb { A } } _ { Q }. \\ \\ u _ { \varepsilon } ^ { m _ { 2 } } \cdots u _ { \varepsilon } ^ { m _ { r } } = ( - 1 ) ^ { s _ { \mathbb { m } } } \cdot a ^ { w _ { \mathbb { m } } } \cdot u _ { \varepsilon } ^ { \gamma ( 1 ) } \cdots u$$

where

$$w _ { \text{m} } = \text{codim} _ { \text{C} } \left ( \eta _ { m } ; \text{Re} \text{p} _ { \gamma } ( Q ) \right ) + \frac { 1 } { 2 } \sum _ { i \in Q _ { 0 } } \gamma ( i ) ^ { 2 } - \frac { 1 } { 2 } \sum _ { u = 1 } ^ { r } m _ { u } ^ { 2 }, \\ \intertext { all that the entire interface } d ^ { i } \ a r e \ d e t e r m i n e d \ h u \ \mathcal { B } \ - \sum _ { \quad } d ^ { i } e \cdot f o r e a c h \ \mathcal { B } \ \preceq \mathfrak { b }$$

$$s _ { \mathbf m } = \sum _ { u = 1 } ^ { r } m _ { u } \left ( \sum _ { i \in Q _ { 0 } } d _ { u } ^ { i } - 1 \right ), \\ \shortparallel \dim _ { \mathbb { C } } \left ( \eta _ { m } ; \text{Reep} _ { \sim } ( Q ) \right ) + \frac { 1 } { \sim } \sum _ { \mathcal { J } } \gamma ( i ) ^ { 2 } - \frac { 1 } { \sim }$$

and we recall that the integers d i u are determined by β u = ∑ i ∈ Q 0 d e i u i for each β u ∈ Φ ( + Q · ) . We further have where Equation (21) is the content of [All18, Proposition 2.5] .

$$\text{her have} \\ \text{codim} _ { \mathbb { C } } \left ( \eta _ { \mathbf m } ; \text{Rep} _ { \gamma } ( Q ) \right ) = \sum _ { j \in [ \ell ] } \text{codim} _ { \mathbb { C } } \left ( \Omega _ { \mathbf m ^ { j } } ( Q ^ { j } ) ; \text{Rep} _ { \gamma ^ { j } } ( Q ^ { j } ) \right ), \\ \text{re Evaluation (21) is the content of [All18. Proposition 2.5]. } & & \Box$$

/square

## 6. Structure theorems for CoHA

Let Q · = { Q ,. . . , Q 1 /lscript } be an admissible, ordered, Dynkin subquiver partition of Q , such that none of the subquivers Q j is an orientation of E 8 . Recall that Φ + ( Q · ) = ⋃ j ∈ [ /lscript ] Φ ( + Q j ) has a Reineke order where r j = Φ ( | + Q j ) . | Further recall that in an abuse of notation, we let r = ∑ r ∈ [ /lscript ] r j and also give the positive roots a second name, by writing the same Reineke order as { β , . . . , β 1 r } . Moreover, recall that for each u ∈ [ r ] (and uniquely determined j and k ), we have that

$$\{ \beta _ { 1 } ^ { 1 }, \dots, \beta _ { r _ { 1 } } ^ { 1 } ; \dots ; \beta _ { 1 } ^ { \ell }, \dots, \beta _ { r _ { \ell } } ^ { \ell } \}$$

$$\text{very } \text{even} \text{mem} \, J \text{ and } \varepsilon \, J \\ \beta _ { u } = \beta _ { k } ^ { j } = \sum _ { i \in Q _ { 0 } ^ { j } } d _ { u } ^ { i } e _ { i }$$

for some non-negative integers d i u .

Now, for each u ↔ ( j, k ) fix a vertex i ( u ) = i ( j, k ) = i , for which d i u = 1. We fix this choice of i in the sequel, and when there is no confusion we will simply write i instead of i ( u ) or i ( j, k ). Every positive root of every Dynkin root system admits such an i except for the longest root of E 8 , which explains our exclusion.

Now, we let A β u denote the subalgebra of H generated by the set, cf. [KS11, Section 2.8] and [Rim13, Definition 11.1],

$$\overline { \mathcal { A } } _ { \beta _ { u } } = \{ f ( \omega _ { i, 1 } ) \, \colon f \in \mathbb { Q } [ x ] \} \subset \mathcal { H } _ { \beta _ { u } }$$

Proposition 6.1. For each vertex i ∈ Q 0 , we have A e i = H e i . More generally, for every β ∈ Φ ( + Q · ) we have A β ∼ = H ( A 1 ) . That is, each A β is isomorphic to the CoHA of a quiver with a single vertex and no arrows described in Section 3.4.

Proof. The isomorphism A β ∼ = H ( A 1 ) is achieved by sending ω p i, 1 ∈ H β to the element ψ p from Section 3.4. For simple roots β = e i , the claims follow by noticing that the numerator factors (parameterized by arrows) in the multifactor multiplication will all be 1, and the only denominator factors (parameterized by vertices) which are not 1 are those involving the vertex i .

/negationslash

For general positive roots, the multifactor multiplication formula appears to involve variables ω i ,j ′ for i ′ = , but organization of the terms reveals that dependence on these variables cancels i thanks to supersymmetry, and the result is again identical to (14). /square

One consequence of Proposition 6.1 is that the elements of A β are the polynomials in H mβ , for all m ∈ { 0 1 2 , , , . . . } , which only depend on the variables { ω i,b : 1 ≤ b ≤ m } at vertex i ∈ Q 0 .

Remark 6.2 . The freedom in the choice of i ( u ) is evident already in the seminal work of KontsevichSoibelman in the example of A 2 . Explicitly, the algebra H ( ) i for i = 1 (respectively i = 2) in [KS11, Section 2.8, Proposition 1] is our algebra A e 1 + e 2 ⊂ H for i ( u ) = 1 (resp. i ( u ) = 2) with β u = e 1 + e 2 .

With these definitions and conventions, we have the following structure theorem for H . The proof will be given in Section 7.

Theorem 6.3. Suppose that Q · = { Q ,. . . , Q 1 /lscript } is an admissible, ordered, Dynkin subquiver partition of the acyclic quiver Q such that none of the subquivers Q j is an orientation of E 8 . Let the associated positive roots be written in a Reineke order, i.e., Φ ( + Q · ) = { β , . . . , β 1 r } . Then the ∗ -multiplication induces an isomorphism

$$\mathcal { A } _ { \beta _ { 1 } } \otimes \cdots \otimes \mathcal { A } _ { \beta _ { r } } \xrightarrow { \cong } \mathcal { H }$$

with the products taken in order from left to right.

We first comment that when Q is a Dynkin quiver, our result interpolates between the two isomorphisms established by Rim´nyi [Rim13, Theorem 11.3], which we restate below. a

Theorem 6.4 (Rim´ anyi, [Rim13]) . Let Q be a Dynkin quiver (but not an orientation of E 8 ), let e , . . . , e 1 n denote its simple roots in 'head before tail' order, and let β , . . . , β 1 N denote its positive roots in Reineke order. Then the ∗ -multiplication induces isomorphisms

$$\mathcal { A } _ { e _ { 1 } } \otimes \cdots \otimes \mathcal { A } _ { e _ { n } } \stackrel { \cong } { \longrightarrow } \mathcal { H }$$

$$\mathcal { A } _ { \beta _ { 1 } } \otimes \cdots \otimes \mathcal { A } _ { \beta _ { N } } \xrightarrow { \cong } \mathcal { H }.$$

The isomorphism (23) still holds when Q is an orientation of E 8 .

/square

In particular, when Q is Dynkin (but not an orientation of E 8 ) and Q · = { Q } we have that our isomorphism (22) coincides with (24). On the other extreme, when Q · consists of n subquivers, each of which is a single vertex of the Dynkin quiver Q , we have that our isomorphism (22) coincides with (23).

We observe that even for general acyclic Q (not necessarily Dynkin), the fact that (23) is an isomorphism follows immediately from the definitions.

Lemma 6.5. When Q · consists of the subquivers Q i 0 = { } i for i ∈ [ n ] , ordered in 'head before tail' ordering, then (22) is an isomorphism.

Proof. For f i ( ω i, 1 , . . . , ω i,γ ( ) i ) ∈ A e i we have, say from the multifactor version of (11) or from (15), that from whence the result follows.

$$\Phi _ { 1 } \Phi _ { 2 } \Phi _ { 3 } \Phi _ { 4 } \Phi _ { 5 } \Phi _ { 6 } \Phi _ { 7 } \Phi _ { 8 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phicon \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi_ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 } \Phi _ { 9 }
 \text{$\mathrm e result follows.}$$

/square

Furthermore, our main theorem can be restated as follows.

Corollary 6.6. With the same hypotheses as Theorem 6.3, the mapping induced by the multifactor ∗ -multiplication

$$\mathcal { H } ( Q ^ { 1 } ) \otimes \cdots \otimes \mathcal { H } ( Q ^ { \ell } ) \stackrel { \cong } { \longrightarrow } \mathcal { H } ( Q )$$

is an isomorphism. That is, H = H ( Q ) can be decomposed into tensor factors, each isomorphic to the CoHA of a Dynkin quiver.

Proof. Assuming the truth of (22), the associativity of the ∗ -multiplication and our convention on ordering allows us to group the factors of (22) according to subquivers. Since each Q j is Dynkin, the isomorphism of (24)-which we recall is a special case of (22)-implies the result. /square

It was established in [Rim13, Theorem 10.1] that the quiver polynomials are important structure constants in the CoHA of Dynkin quivers. On the one hand, our Proposition 4.10 generalizes this property to the quiver stratum η m . On the other hand, the following result further relates the fundamental class of η m directly to Dynkin quiver polynomials. We note that the quiver polynomials have a rich history in their own right, and exhibit interesting geometric and combinatorial properties; see e.g., [Buc08, KKR19] and references therein.

Corollary 6.7. For every Q · -partition m , performing multiplications of quiver polynomials according to the isomorphism of Corollary 6.6 gives

Proof. By Proposition 4.10 (or by [Rim13, Theorem 10.1]), we see that for each j ∈ [ /lscript ] we have

$$& \text{cording to the isomorphism of} \cup \text{orularity to.b gives} \\ & \left ( \left [ \overline { \Omega _ { \mathbf m ^ { 1 } } ( Q ^ { 1 } ) } \right ] \in \mathcal { H } _ { \gamma ^ { 1 } } ( Q ^ { 1 } ) \right ) * \dots * \left ( \left [ \overline { \Omega _ { \mathbf m ^ { \ell } } ( Q ^ { \ell } ) } \right ] \in \mathcal { H } _ { \gamma ^ { \ell } } ( Q ^ { \ell } ) \right ) = \left [ \overline { \eta } _ { \mathbf m } \right ] \in \mathcal { H } _ { \gamma } ( Q ). \\ & \text{Proof. By Proposition 4.10} \text{ (or by } [ \text{Rim13, Theorem 10.1} ] ), we see that for each $j \in [ \ell ] \text{ we have}$$

$$\text{position 4.10} ( \text{or by } [ \text{Kum13}, \text{theorem } 1 0. 1 ] ), \text{ we see that for each } j \in \\ \left ( 1 \in \mathcal { H } _ { m _ { 1 } ^ { j } \beta _ { 1 } ^ { j } } \right ) * \dots * \left ( 1 \in \mathcal { H } _ { m _ { r _ { j } } \beta _ { r _ { j } } ^ { j } } \right ) = \left [ \overline { \Omega _ { \mathbf m ^ { j } } ( Q ^ { j } ) } \right ]. \\ \text{ur ordering on the roots } \Phi _ { + } ( Q ^ { \bullet } ), \text{ the result follows by combining } t$$

By virtue of our ordering on the roots Φ + ( Q · ), the result follows by combining the above with Corollary 6.6 and Proposition 4.10. /square

Remark 6.8 . Given that the result of Proposition 4.4 does not depend on the subquivers Q j being Dynkin, it seems plausible that one can drop the Dynkin assumption from the subquivers Q j in Corollary 6.6. Unfortunately, in so doing, one loses the geometric connection to quiver polynomials given by Corollary 6.7.

## 7. Proof of the main theorem

We have already shown that (22) is an isomorphism in the case that Q · consists only of subquivers with a single vertex, i.e., Lemma 6.5. This section is dedicated to the proof that (22) is an isomorphism for all other choices of admissible, ordered, Dynkin subquiver partitions Q · (for which each subquiver Q j is not an orientation of E 8 ).

- 7.1. Equivariant geometry of Dynkin quivers. We first consider an aside into the equivariant geometry of Dynkin quiver orbits. In particular, we recall an amalgam of several important results and constructions from [FR02], [Rim13], and [All18]. To avoid confusion with our fixed acyclic quiver Q , for the moment we will let R denote a fixed Dynkin quiver.

Given any dimension vector γ for R , and a Kostant partition m /turnstileleft γ , recall we have the associated orbit Ω m ( R ) ⊂ Rep γ ( R ). Assume R 0 = [ n ] and write Φ + ( R ) = { β , . . . , β 1 r } with β u = ∑ i ∈ R 0 d i u e i . Observe that #Φ + ( R ) = r and so we can write m = ( m ,... , m 1 r ).

Following Rim´nyi (see the proof of [Rim13, Lemma 11.4]), we define a system of sets of nona negative integers Y i,u,v with i ∈ [ n ], u ∈ [ r ], and v ∈ [ m u ] (where if m u = 0, then Y i,u,v = ∅ ) as follows. We require that # Y i,u,v = d i u and furthermore that for each i ∈ Q 0 the disjoint union

$$Y _ { i, 1, 1 } \cup \cdots \cup Y _ { i, 1, m _ { 1 } } \cup Y _ { i, 2, 1 } \cup \cdots \cup Y _ { i, 2, m _ { 2 } } \cup \cdots \cup Y _ { i, r, 1 } \cup \cdots \cup Y _ { i, r, m _ { r } }$$

is equal to { 1 , . . . , γ ( ) i } in this order when the elements are read off from left to right; i.e., we have

$$Y _ { i, u, v } = \{ ( v - 1 ) d _ { u } ^ { i } + 1, \dots, v \, d _ { u } ^ { i } \}.$$

This system of sets determines a distinguished point X m ∈ Ω m ( R ) ⊂ Rep γ ( R ) as follows. Using the categorical equivalence between modules over the path algebra C R and quiver representations, we recall that the indecomposable C R -modules are in one-to-one correspondence with positive roots and that the Krull-Schmidt theorem for path algebras implies that each quiver representation can be written uniquely as a direct sum of indecomposables, see e.g., [DW17, Chapter 1]. Let M β denote the indecomposable representation corresponding to the positive root β .

Let b i, 1 , . . . , b i,γ ( ) i be the standard basis of C γ i ( ) . For each u ∈ [ r ] and v ∈ [ m u ], let M u,v be an indecomposable C R -module isomorphic with M β u and determined using the vectors b i,j for j ∈ Y i,u,v . Set X m to be the quiver representation corresponding to the C R module ⊕ u ∈ [ r ] ⊕ v ∈ [ m u ] M u,v .

Example 7.1 . We let R be the equioriented A 3 quiver 1 ← 2 ← 3 of previous examples. We take the same Reineke order on the positive roots from Examples 2.1 and 2.2, and the same Kostant partition as 2.2. That is, we take

$$\beta _ { 1 } & = e _ { 3 } & \beta _ { 2 } & = e _ { 2 } + e _ { 3 } & \beta _ { 3 } & = e _ { 2 } \\ \beta _ { 4 } & = e _ { 1 } + e _ { 2 } + e _ { 3 } & \beta _ { 5 } & = e _ { 1 } + e _ { 2 } & \beta _ { 6 } & = e _ { 1 }$$

and

$$m _ { 1 } = 0 \quad \ \ m _ { 2 } = 2 \quad \ \ m _ { 3 } = 1 \quad \ \ m _ { 4 } = 1 \quad \ \ m _ { 5 } = 0 \quad \ \ m _ { 6 } = 1.$$

We depict the sets Y i,u,v below, as well as the point X m . Observe that we can see a version of the lacing diagram from Example 2.2.

|                     | The Y i,u,v sets    |                     | The quiver representation X m   |
|---------------------|---------------------|---------------------|---------------------------------|
| Y 1 , 2 , 1 = { }   | Y 2 , 2 , 1 = { 1 } | Y 3 , 2 , 1 = { 1 } | b 2 , 1 ✛ b 3 , 1               |
| Y 1 , 2 , 2 = { }   | Y 2 , 2 , 2 = { 2 } | Y 3 , 2 , 2 = { 2 } | b 2 , 2 ✛ b 3 , 2               |
| Y 1 , 3 , 1 = { }   | Y 2 , 3 , 1 = { 3 } | Y 3 , 3 , 1 = { }   | b 2 , 3                         |
| Y 1 , 4 , 1 = { 1 } | Y 2 , 4 , 1 = { 4 } | Y 3 , 4 , 1 = { 3 } | b 1 , 1 ✛ b 2 , 4 ✛ b 3 , 3     |
| Y 1 , 6 , 1 = { 2 } | Y 2 , 6 , 1 = { }   | Y 3 , 6 , 1 = { }   | b 1 , 2                         |

In the depiction of X m on the right, observe that when reading from top to bottom we see

- · m 1 = 0 isomorphic copies of the indecomposable representation M β 1 = M e 3 ;
- · m 2 = 2 isomorphic copies of the indecomposable representation M β 2 = M e 2 + e 3 , determined by basis vectors b 2 ,v and b 3 ,v for v = 1 2; ,
- · m 3 = 1 isomorphic copies of the indecomposable representation M β 3 = M e 2 , determined by b 2 3 , ;
- · m 4 = 1 isomorphic copy of the indecomposable representation M β 4 = M e 1 + e 2 + e 3 , determined by b 1 1 , , b 2 4 , , and b 3 3 , ;
- · m 5 = 0 isomorphic copies of the indecomposable representation M β 5 = M e 1 + e 2 ;
- · m 6 = 1 isomorphic copy of the indecomposable representation M β 6 = M e 1 ; determined by b 1 2 , .

X m has the following matrix representation (assuming the standard bases { b i,j } at each vertex)

$$\i e \, & \text{following matrix representation (assuming the standard bases } \{ b _ { i, j } \} \, \text{at each} \\ X _ { m } = \left ( \left [ \begin{array} { c c c } 0 & 0 & 0 & 1 \\ 0 & 0 & 0 & 0 \end{array} \right ], \, \left [ \begin{array} { c c c } 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 0 \\ 0 & 0 & 1 \end{array} \right ] \right ) \in \text{Rep} _ { ( 2, 4, 3 ) } ( R ). \\ \text{ denote the isotropy subgroup of } \Omega _ { m } \subset \text{Rep} _ { \gamma } ( R ). \, \text{ Up to isomorphism}, \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdots$$

Let G m denote the isotropy subgroup of Ω m ⊂ Rep γ ( R ). Up to isomorphism, G m is the stabilizer in GL γ of the point X m and moreover, Feher-Rim´nyi proved that up to homotopy we a have G m /similarequal ∏ u ∈ [ r ] GL( C m u ) [FR02, Proposition 3.6]. Further, Feher-Rim´nyi study the restriction a mapping ι ∗ m : H · GL γ ( Rep γ ( R )) → H · GL γ (Ω m ) induced by the inclusion ι m : Ω m ↪ → Rep γ ( R ). This mapping can be identified with a map H ( · B GL γ ) → H ( · BG m ). We already know that the source of this latter map is a polynomial ring via (10), but the homotopy type of G m means that we can

also write the target of this map as a polynomial ring. The mapping is then given by

↦

$$\text{write the target of this map as a polynomial ring. The mapping is then given by } \\ \iota _ { m } ^ { * } & \colon \bigotimes _ { i \in Q _ { 0 } } \mathbb { Q } [ \omega _ { i, 1 }, \dots, \omega _ { i, \gamma ( i ) } ] \mathfrak { S } _ { \gamma ( i ) } & \longrightarrow \bigotimes _ { u \in [ r ] } \mathbb { Q } [ \tau _ { u, 1 }, \dots, \tau _ { u, m _ { u } } ] \mathfrak { S } _ { m _ { u } } \\ & \omega _ { i, k } & \longmapsto \quad \tau _ { u, v } & \text{if $k \in Y_{i,u,v}$}. \\ \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \,.$$

For more details on the mapping above, see [FR02, Section 3] and [Rim13, Section 11]. In particular, we note that our choice of the sets Y i,u,v amounts to an ordering on the variables above. However, since we consider only supersymmetric polynomials on the lefthand and righthand sides, any other allowed ordering produces the same mapping ι ∗ m . We will see in the proof of Proposition 7.4 why the specific choice of the sets Y i,u,v is good for our purposes.

- 7.2. Injectivity. We now generalize the constructions of the previous subsection to our setting of the acyclic quiver Q , the (ordered and admissible) Dynkin subquiver partition Q · , and a Q · -partition m . In particular, for each Dynkin subquiver Q j ∈ Q · , we have an associated Kostant partition m j = ( m ,.. . , m j 1 j r j ) /turnstileleft γ j , and this determines a system of sets Y j i,u ,v ′ ′ with i ∈ Q j 0 , u ′ ∈ [ r j ], and v ′ ∈ [ m j u ′ ]. In turn, we have distinguished points X m j ∈ Ω m j ( Q j ) ⊂ Rep γ j ( Q j ). As in [All18] we define a normal locus associated to m to be the following subspace of η m

$$\nu _ { \mathrm m } = \{ ( \phi _ { a } ) _ { a \in Q _ { 1 } } \in \text{Re} p _ { \gamma } \, \colon \forall j \in [ \ell ], \, \left ( \phi _ { a } \right ) _ { a \in Q _ { 1 } ^ { j } } = X _ { \mathrm m ^ { j } } \}.$$

Since for each j ∈ [ /lscript ] we have X m j ∈ Ω m j ( Q j ) we indeed have ν m ⊂ η m . The normal locus will play the role of the distinguished points X m . Although ν m is not a singleton point, since each X m j is a singleton point in Rep γ j ( Q j ), we have a natural identification

$$\Pi \ n e p _ { \gamma j } ( \mathcal { Q } ^ { \prime } ), \, \text{we have a natural numeration} \\ \nu _ { \text{m} } & \approx \bigoplus _ { a \in Q _ { 1 } \mathcal { Q } _ { 1 } } \text{Hom} ( \mathbb { C } ^ { \gamma ( t a ) }, \mathbb { C } ^ { \gamma ( h a ) } ) \\ \text{hio to an invariant} \, \text{contribut} \, \text{contractible vector conversion} \, \text{We can also normalize} \, \text{the}$$

so ν m is homeomorphic to an (equivariantly) contractible vector space. We can also generalize the notion of the isotropy subgroup to this context and set G m = { g ∈ GL γ : g · ν η = ν η } . From this definition, it follows that which generalizes the Feher-Rim´ anyi result to the present context; see [All18, Proposition 6.1]. Hence, combining the analyses of [FR02, Section 3] and [All18, Section 6] we further obtain a generalized restriction mapping ι ∗ m : H ( ∗ B GL γ ) → H ( ∗ BG m ) induced by the inclusion ι m : η m ↪ → Rep γ and given by

$$G _ { \mathbf m } & \cong \prod _ { j \in [ \ell ] } G _ { \mathbf m ^ { j } } \simeq \prod _ { j \in [ \ell ] } \prod _ { u ^ { \prime } \in [ r _ { j } ] } \text{GL} ( \mathbb { C } ^ { m _ { u ^ { \prime } } ^ { j } } ), \\ \text{Feher-Rimánvi result to the present context: see [\ell }$$

↦

$$\tilde { \omega } _ { \gamma } \ a u \ g i v e n \ v y \\ \iota _ { \mathrm m } ^ { * } \colon \bigotimes _ { i \in Q _ { 0 } } \mathbb { Q } [ \omega _ { i, 1 }, \dots, \omega _ { i, \gamma } ( i ) ] ^ { \mathfrak { S } _ { \gamma } ( i ) } & \longrightarrow \bigotimes _ { j \in [ \ell ] } \bigotimes _ { u ^ { \prime } \in [ r _ { j } ] } \mathbb { Q } [ \tau _ { j, u ^ { \prime }, 1 }, \dots, \tau _ { j, u ^ { \prime }, m _ { u ^ { \prime } } ^ { j } ] } ^ { \mathfrak { S } _ { \mathrm m } ^ { m _ { u ^ { \prime } } ^ { j } } ] ^ { \mathfrak { S } _ { \mathrm m } ^ { j } } \\ \omega _ { i, k } & \longmapsto \left ( \tilde { \omega } _ { i, k } \right ) \longmapsto \left ( \tilde { \omega } _ { i, u ^ { \prime }, v ^ { \prime } } \right ) \text{ if } k \in Y _ { i, u ^ { \prime }, v ^ { \prime } } ^ { j } ; \\ \tau _ { \mathrm m } \kappa \right ) \sim \tilde { \omega } _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _{ \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \matrix } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m } \nu _ { \mathrm m }$$

Let ε m ∈ H ( · BG m ) denote the Euler class of the normal bundle to η m restricted to ν m . Further, for each j we have isotropy groups G m j ≤ GL γ j and we can denote the Euler classes of the normal bundles to Ω m j ⊂ Rep γ j ( Q j ) at X m j by ε m j ∈ H ( · BG m j ). The classes ε m j have natural inclusions into H ( · BG m ), via the K¨nneth isomorphism H ( u · BG m ) ∼ = ⊗ j ∈ [ /lscript ] H ( · BG m j ). We will need the following observation in the sequel.

Proof. The result generalizes an observation of [Rim13, Section 11] in the context of Dynkin quivers, where ι ∗ m j ([Ω m j ]) = ε m j . The same logic applies here, because the class of a variety (in this case η m ) restricted to the smooth points ( ν m is a subset of the smooth points) is exactly the Euler class

$$& \text{moving unseen valuation in use sequ.} \\ & \text{Proposition $7.2$.} \, \iota _ { m } ^ { * } ( [ \overline { \eta } _ { m } ] ) = \prod _ { j \in [ \ell ] } \varepsilon _ { m } ^ { j } = \varepsilon _ { m }. \\ & \text{Proof. The result generalizes an observation of [Rim13, S(1))$} \\ & \text{bounds $*$} \, / \overline { \theta } \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdots$$

of the normal bundle. We further observe that ε m can be realized as the product of the clases ε m j because there are no extra contributions from the arrows a ∈ Q 1 \ Q · 1 since the identification (27) implies that ν m has full dimension there and, in fact, is the whole space Hom( C γ ta ( ) , C γ ha ( ) ). /square

For β ∈ Φ ( + Q · ) and m ≥ 0, let A β,m = A β ∩ H mβ . Consider the multi-factor multiplication

$$\mu _ { \mathbf m } \colon \mathcal { A } _ { \beta _ { 1 }, m _ { 1 } } \otimes \cdots \otimes \mathcal { A } _ { \beta _ { r }, m _ { r } } \longrightarrow \mathcal { H } _ { \gamma }.$$

Proposition 7.3. µ m is injective for all choices of Q · -partition m = ( m ,... , m 1 r ) .

To prove Proposition 7.3, we consider the composition of µ m with the restriction mapping ι ∗ m . Let f u ( ω i ( u , ) 1 , . . . , ω i ( u ,m ) u ) ∈ A β u ,m u for each u ∈ [ r ]. Moreover, we rename the variables τ j,u ,v ′ ′ as follows. Recall the two ways in which we name the positive roots (see Section 6), and hence entries of a Q · -partition. Namely m is equal to the sequence of non-negative integers

$$( m _ { 1 }, \dots, m _ { r } ) = ( m _ { 1 } ^ { 1 }, \dots, m _ { r _ { 1 } } ^ { 1 }, \, \dots \,, m _ { 1 } ^ { \ell }, \dots, m _ { r _ { \ell } } ^ { \ell } )$$

where r j = #Φ ( + Q j ), r = r 1 + · · · + r /lscript = #Φ ( + Q · ), and both sequences above are in the same order . For fixed j and u ′ , we have the m j u ′ variables { τ j,u , ′ 1 , . . . , τ j,u ,m ′ j u ′ } . If the entry m j u ′ (in the second sequence) corresponds to m u (in the first sequence), then we replace the variables { τ j,u , ′ 1 , . . . , τ j,u ,m ′ j u ′ } by variables { t u, 1 , . . . , t u,m u } . In particular, since m j u ′ = m u , these sets of variables indeed have the same number of elements. Further, this same correspondence extends to an identification of the Y -sets. In particular, we rename Y j i,u ,v ′ ′ as Y i,u,v ′ .

Proposition 7.4. The map ι ∗ m ◦ µ m : A β ,m 1 1 ⊗··· ⊗ A β ,m r r → H ( · BG m ) is given by

↦

$$f _ { 1 } ( \omega _ { i ( 1 ), 1 }, \dots, \omega _ { i ( 1 ), m _ { 1 } } ) \otimes \dots \otimes f _ { r } ( \omega _ { i ( r ), 1 }, \dots, \omega _ { i ( r ), m _ { r } } ) & \longmapsto \\ f _ { 1 } ( t _ { 1, 1 }, \dots, t _ { 1, m _ { 1 } } ) \cdots f _ { r } ( t _ { r, 1 }, \dots, t _ { r, m _ { r } } ) \cdot \varepsilon _ { \mathbf m }.$$

Proof. The product f 1 ∗ · · · ∗ f r is given by the multi-factor version of (11), which will have many terms. On the other hand, the formula (15) says that this sum is really the torus equivariant localization formula for the π ∗ mapping and, in particular, each term corresponds to a torus fixed point in Fl m β ,...,m 1 1 r β r × Rep γ . The content of Proposition 4.8 is that π gives a resolution of the singularities of η m , in particular because it is a product of mappings which resolve the singularities of each Dynkin orbit closure Ω m j ( Q j ).

Now, we claim there is only one torus fixed point in Σ = Σ m β ,...,m 1 1 r β r ( Q · ) over ν m . Indeed, this is true over each X m j in the factors of Σ corresponding to Q j . Combining this observation with the fact that (15) implies π ∗ does not 'see' any of the arrows in Q 1 \ Q · 1 proves the claim. It follows that when applying the restriction ι ∗ m to the localization formula, only one of the terms survives! All others map to zero in H ( · BG m ).

Further recall that each term in the localization sum corresponds to choices of subsets of { 1 , . . . , γ ( ) i } and one checks that the surviving term must correspond to the choice of subsets ⋃ v ∈ [ m u ] Y i,u,v . From this, we can conclude that the ι ∗ m sends the surviving term to f 1 ( t 1 1 , , . . . , t 1 ,m 1 ) · · · f r ( t r, 1 , . . . , t r,m r ) · g t ( u,v )

where g is a rational function whose numerator and denominator are both products of linear factors of the form t u,v -t u ,v ′ ′ . Moreover, since g comes from the part of the localization formula determined by the pushforward along the flag manifold only, it is independent of the f u polynomials! We can thus determine its value by choosing f u = 1 for all u ∈ [ r ]. Doing so, we see that

$$g = \iota _ { \mathbf m } ^ { * } ( 1 * \cdots * 1 ) = \iota _ { \mathbf m } ^ { * } ( [ \overline { \eta } _ { \mathbf m } ] ) = \varepsilon _ { \mathbf m }$$

where the second equality is Proposition 4.10 and the third equality is Proposition 7.2.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00567v3-figure-ed765069-de0f-430d-9d8b-e74b76b2333e.jpg)

Example 7.5 . Here we illustrate the key points of the results above. Again we let Q be the equioriented A 3 quiver 1 ← 2 ← 3. However, this time we consider the admissible, ordered, Dynkin subquiver partition Q · = { Q ,Q 1 2 } where Q 1 is the type A 1 quiver at vertex 1, and Q 2 is the type A 2 subquiver 2 ← 3. A Reineke order (actually unique in this example) on the corresponding positive roots is

$$\beta _ { 1 } = e _ { 1 } & & \beta _ { 2 } = e _ { 3 } & & \beta _ { 3 } = e _ { 2 } + e _ { 3 } & & \beta _ { 4 } = e _ { 2 }$$

and we will take the Q · -partition m 1 = 2, m 2 = m 3 = m 4 = 1 of the dimension vector γ = (2 2 2). , , The Y i,u,v sets are

Y 1 1 1 , , = 1 { }

Y 2 1 1 , , = { }

Y 3 1 1 , , = { }

Y 1 1 2 , , = 2 { }

Y 2 1 2 , , = { }

Y 3 1 2 , , = { }

Y 1 2 1 , , = { }

Y 2 2 1 , , = { }

Y 3 2 1 , , = 1 { }

Y 1 3 1 , , = { }

Y 2 3 1 , , = 1 { }

Y 3 3 1 , , = 2 { }

Y 1 4 1 , , = { }

Y 2 4 1 , , = 2 { }

Y 3 4 1 , , = { } .

Thus, the normal locus ν 2 1 1 1 , , , looks like

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00567v3-figure-e1dd4021-953f-4db4-8e28-2f91a329342c.jpg)

that is,

$$\nu _ { 2, 1, 1, 1 } = \left \{ \left ( \left [ \begin{array} { c c } z _ { 1 1 } & z _ { 1 2 } \\ z _ { 2 1 } & z _ { 2 2 } \end{array} \right ], \left [ \begin{array} { c c } 0 & 1 \\ 0 & 0 \end{array} \right ] \right ) \in \text{Re} \text{p} _ { 2, 2, 2 } ( Q ) \, \colon z _ { i, j } \in \mathbb { C } \right \}. \\ \text{note to how with solid lines in the diagram above are those which contribute to the n.}$$

The vectors boxed with solid lines in the diagram above are those which contribute to the normal directions to ν 2 1 1 1 , , , in Rep 2 2 2 , , ; they span the cokernel and kernel of the map from vertex 3 to vertex 2. Now we consider the restriction mapping

$$\iota _ { 2, 1, 1, 1 } ^ { * } \colon \mathbb { Q } [ \omega _ { 1, 1 }, \omega _ { 1, 2 } ] \tilde { \mathbb { S } } _ { 2 } \otimes \mathbb { Q } [ \omega _ { 2, 1 }, \omega _ { 2, 2 } ] \tilde { \mathbb { S } } _ { 2 } \otimes \mathbb { Q } [ \omega _ { 3, 1 }, \omega _ { 3, 2 } ] ^ { \tilde { \mathbb { S } } _ { 2 } } \\ & \longrightarrow \mathbb { Q } [ t _ { 1, 1 }, t _ { 1, 2 } ] ^ { \tilde { \mathbb { S } } _ { 2 } } \otimes \mathbb { Q } [ t _ { 2, 1 } ] \otimes \mathbb { Q } [ t _ { 3, 1 } ] \otimes \mathbb { Q } [ t _ { 4, 1 } ]$$

which, from the Y i,u,v sets, we see is given by

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00567v3-figure-6b78112d-c57c-407b-bdc7-992fcbe907fc.jpg)

Next, we choose i (1) = 1, i (2) = 3, i (3) = 2, and i (4) = 2 and let f u ∈ A β u ,m u . In particular, f 1 = f 1 ( ω 1 1 , , ω 1 2 , ) ∈ H 2 e 1 , f 2 = f 2 ( ω 3 1 , ) ∈ H e 3 , f 3 = f 3 ( ω 2 1 , ) ∈ H e 2 + e 3 , and f 4 = f 4 ( ω 2 1 , ) ∈ H e 2 .

The multifactor multiplication gives

$$( f _ { 1 } * f _ { 2 } * f _ { 3 } * f _ { 4 } ) & ( \omega _ { 1, 1 }, \omega _ { 1, 2 }, \omega _ { 2, 1 }, \omega _ { 3, 1 }, \omega _ { 3, 2 } ) = \\ & f _ { 1 } ( \omega _ { 1, 1 }, \omega _ { 1, 2 } ) f _ { 2 } ( \omega _ { 3, 1 } ) f _ { 3 } ( \omega _ { 2, 1 } ) f _ { 4 } ( \omega _ { 2, 2 } ) \frac { ( \omega _ { 2, 2 } - \omega _ { 3, 1 } ) ( \omega _ { 2, 2 } - \omega _ { 3, 2 } ) ( \omega _ { 2, 1 } - \omega _ { 3, 1 } ) } { ( \omega _ { 3, 2 } - \omega _ { 3, 1 } ) ( \omega _ { 2, 2 } - \omega _ { 2, 1 } ) } + \oplus \\ \cdot \quad \bullet \quad \cdot \quad \real. \quad \real. \quad \real. \quad \real. \quad \real. \quad \real. \quad \real. \quad \real. \quad \real.$$

where ♣ consists of three other similar terms. The term written in full above is the one corresponding to the Y i,u,v sets; each of the other three terms has a factor of ( ω 3 2 , -ω 2 1 , ) occurring in the numerator. Hence applying ι ∗ 2 1 1 1 , , , above yields the single term

$$\dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \delta \\ f _ { 1 } ( t _ { 1, 1 }, t _ { 1, 2 } ) f _ { 2 } ( t _ { 2, 1 } ) f _ { 3 } ( t _ { 3, 1 } ) f _ { 4 } ( t _ { 4, 1 } ) \frac { ( t _ { 4, 1 } - t _ { 2, 1 } ) ( t _ { 4, 1 } - t _ { 3, 1 } ) ( t _ { 3, 1 } - t _ { 2, 1 } ) } { \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \delta } \\ \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \delta } \\ \text{We see that $\varepsilon_{m}^{2}=t_{4,1}-t_{2,1}$ by comparing to the boxed normal directions b_{2,2}$ and $b_{3,1}$ in the previous} \\ \text{diagram. Moreover, since $\varepsilon_{m}^{1}=1$, we have $\varepsilon_{2,1,1,1}=t_{4,1}-t_{2,1}$, which verifies the previously claimed}$$

We see that ε m 2 = t 4 1 , -t 2 1 , by comparing to the boxed normal directions b 2 2 , and b 3 1 , in the previous diagram. Moreover, since ε m 1 = 1, we have ε 2 1 1 1 , , , = t 4 1 , -t 2 1 , , which verifies the previously claimed results in this instance.

Had we instead chosen i (3) = 3, then we would have f 3 ∈ H e 2 + e 3 a polynomial in the variable ω 3 1 , and the term from f 1 ∗ f 2 ∗ f 3 ∗ f 4 which will survive is

$$f _ { 1 } \left ( \omega _ { 1, 1 }, \omega _ { 1, 2 } \right ) f _ { 2 } \left ( \omega _ { 3, 1 } \right ) f _ { 3 } \left ( \omega _ { 3, 2 } \right ) f _ { 4 } \left ( \omega _ { 2, 2 } \right ) \frac { \left ( \omega _ { 2, 2 } - \omega _ { 3, 1 } \right ) \left ( \omega _ { 2, 2 } - \omega _ { 3, 2 } \right ) \left ( \omega _ { 2, 1 } - \omega _ { 3, 1 } \right ) } { \left ( \omega _ { 3, 2 } - \omega _ { 3, 1 } \right ) \left ( \omega _ { 2, 2 } - \omega _ { 2, 1 } \right ) }.$$

Either way, observe that the result of applying ι ∗ m to the above agrees with (29).

Proof of Proposition 7.3. We have that the target of the mapping ι ∗ m ◦ µ m is an integral domain; Proposition 7.4 gives a formula which is a product of nonzero elements. Therefore ι ∗ m ◦ µ m is injective, and it follows that µ m is injective. /square

Lemma 7.6. The mapping (22) is injective.

Proof. Since Proposition 7.3 holds for all choices of the Q · -partition m , it immediately implies the injectivity of (22). /square

Remark 7.7 . The proof above generalizes the methods for an analogous result from [Rim13], and illustrates they are applicable in the acyclic setting.

↦

- 7.3. Comparisons between Poincar´ e series. We adopt the notation ( H γ ) k to denote the cohomological degree 2 k part of the cohomology algebra H γ = H · GL γ ( Rep γ ). As we have already noted, when Q · consists of the n singleton vertices of Q in 'head-before-tail' order, then Lemma 6.5 says that the mapping

Remark 7.8 . Observe it suffices for our injectivity argument that ι ∗ m ◦ µ m : f 1 ⊗···⊗ f r → f 1 · · · f r · g where g is a nonzero polynomial. The fact that g = ε m = ∏ j ε m j is a 'bonus' geometric fact.

$$\mathcal { A } _ { e _ { 1 } } \otimes \dots \otimes \mathcal { A } _ { e _ { n } } \rightarrow \mathcal { H }$$

induced by the ∗ -multiplication is an isomorphism by (25). Thus we can see the shifted, twisted, Poincar´ series for e H as an element of A Q by considering

$$& \text{induced by the **-multiplication is an isomorphism by (25). $Id$} \text{$U$} \text{ we can see the shifted, twisted,} \\ & \text{Poincar} \text{ series for $\mathcal{K}$ as an element of $\widehat{A}_{Q}$ by considering} \\ & \mathbb { E } ( y _ { e _ { 1 } } ) \cdots \mathbb { E } ( y _ { e _ { n } } ) = \sum _ { \gamma \in D } y _ { e _ { 1 } } ^ { \gamma ( 1 ) } \cdots y _ { e _ { n } } ^ { \gamma ( n ) } ( - 1 ) ^ { \sum _ { i \in Q _ { 0 } } \gamma ( i ) } q ^ { \sum _ { i \in Q _ { 0 } } \gamma ( i ) ^ { \partial } / 2 } \sum _ { k \geq 0 } ^ { k } \dim \left ( ( \mathcal { K } _ { \gamma } ) _ { k } \right ). \\ & \text{If we let $(\mathcal{A}_{\dots m}$).} \text{- denote the degree $2k_{n}$ part of $\mathcal{A}_{\dots m}$}. \text{ we also get}$$

If we let ( A β u ,m u ) k u denote the degree 2 k u part of A β u ,m u we also get

$$( \mathcal { A } _ { \beta _ { u }, m _ { u } } ) _ { k _ { u } } \cong \mathsf H ^ { 2 k _ { u } } ( B \text{GL} ( \mathbb { C } ^ { m _ { u } } ) )$$

by Proposition 6.1 and Equation (13). Thus given any admissible, ordered, Dynkin subquiver partition Q · , we have that the shifted, twisted, Poincar´ series of e A β 1 ⊗··· ⊗ A β r is encoded by

$$\mathbb { R } \colon = \mathbb { R } \colon = \mathbb { R } \colon = \mathbb { R } \colon = \mathbb { R } \colon = \mathbb { R } \colon = \mathbb { R } \colon = \mathbb { R } \colon = \mathbb { R } \colon = \mathbb { R } \colon = \mathbb { R } \colon = \mathbb { R } \colon = \mathbb { R } \colon = \mathbb { R } \colon = \mathbb { R } \colon = \mathbb { R } \colon = \mathbb { R } \colon = \mathbb { R } \colon = \mathbb { R } \colon = \mathbb { R } \colon = \mathbb { R } \colon = \\ \mathbb { E } ( y _ { \beta _ { 1 } } ) \cdots \mathbb { E } ( y _ { \beta _ { r } } ) = \sum _ { \mathbb { m } \in \mathbb { Z } _ { \geq 0 } ^ { r } } y _ { \beta _ { 1 } } ^ { m _ { 1 } } \cdots y _ { \beta _ { r } } ^ { m _ { r } } ( - 1 ) ^ { \sum _ { u \in [ r ] } m _ { u } } q ^ { \sum _ { u \in [ r ] } m _ { u } } q ^ { \sum _ { u \in [ r ] } m _ { u } ^ { 2 } / 2 } \times \mathbb { E }$$

To further manipulate the expression above, we have the following lemma.

$$\overset { \cdot } { \overset { r } { \geq 0 } } \\ \sum _ { k \geq 0 } q ^ { k } \sum _ { k _ { 1 } + \cdots + k _ { r } = k } \dim \left ( ( \mathcal { A } _ { \beta _ { 1 }, m _ { 1 } } ) _ { k _ { 1 } } \right ) \cdots \dim \left ( ( \mathcal { A } _ { \beta _ { r }, m _ { r } } ) _ { k _ { r } } \right ) \right ]. \ \ ( 3 1 ) \\ \text{e expression above, we have the following lemma.}$$

Lemma 7.9. If m is a Q · -partition of γ , then for each k we have

$$\text{comma} \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \text{$\nomega$} \\ \sum _ { k = k _ { 1 } + \cdots + k _ { r } } \dim \left ( ( \mathcal { A } _ { \beta _ { 1 }, m _ { 1 } } ) _ { k _ { 1 } } \right ) \cdots \dim \left ( ( \mathcal { A } _ { \beta _ { r }, m _ { r } } ) _ { k _ { r } } \right ) = \dim ( \mathcal { A } _ { \beta _ { 1 }, m _ { 1 } } * \cdots * \mathcal { A } _ { \beta _ { r }, m _ { r } } ) _ { k + \cot \dim ( \eta _ { m } ; \text{Rep} _ { \gamma } ) }. \\ \text{proa} \text{f} \text{ } \Omega \text{ can run this as a boundary to} \text{.} \text{Function} \text{ } 7 \text{ in} \text{ } 7 \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{} \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{  \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{$$

Proof. One can view this as a corollary to Proposition 7.4, since the degree of ε m in Equation (28) corresponds exactly to codim( η m ; Rep γ ). /square

Using the results of Proposition 5.2 and Lemma 7.9, we see that (31) is further equal to

$$& \text{Using the results of Proposition 5.2 and Lemma 7.9, we see that (31) is further equal to} \\ & \sum _ { \gamma \in D } y _ { e _ { 1 } } ^ { \gamma ( 1 ) } \cdots y _ { e _ { n } } ^ { \gamma ( n ) } ( - 1 ) ^ { \sum _ { i \in Q _ { 0 } } \gamma ( i ) } q ^ { \sum _ { i \in Q _ { 0 } } \gamma ( i ) ^ { 2 } / 2 } \left [ \sum _ { k \geq 0 } q ^ { k } \sum _ { \mathbf m + \gamma } \dim \left ( ( \mathcal { A } _ { \beta _ { 1 }, m _ { 1 } } * \cdots * \mathcal { A } _ { \beta _ { r }, m _ { r } } ) _ { k } \right ) \right ]. } \\ & \text{Completing the proof of Theorem 6.3. Proposition 5.1 states that } (30) \text{ and (31), and hence (32),}$$

Completing the proof of Theorem 6.3. Proposition 5.1 states that (30) and (31), and hence (32), are the same. Thus their comparison shows that both A β 1 ⊗ · · · ⊗ A β r and H have the same Poincar´ series. e Since we already know that the mapping (22) is injective by Lemma 7.6, this is enough to guarantee that it must be an isomorphism. /square

## References

[AB84] M. F. Atiyah and R. Bott, The moment map and equivariant cohomology , Topology 23 (1984), no. 1, 1-28. MR 721448

[ADF85]

S. Abeasis and A. Del Fra, Degenerations for the representations of a quiver of type A m , J. Algebra 93 (1985), no. 2, 376-412. MR 786760

[All14]

J. Allman, Grothendieck classes of quiver cycles as iterated residues , Michigan Math. J. 63 (2014), no. 4, 865-888. MR 3286674

[All18] , Interpolating factorizations for acyclic Donaldson-Thomas invariants , preprint, 2018.

[AR18] J. Allman and R. Rim´ anyi, Quantum dilogarithm identities for the square product of A-type Dynkin quivers , Math. Res. Lett. 25 (2018), no. 4, 1037-1087. MR 3882154

[BF99]

A. S. Buch and W. Fulton, Chern class formulas for quiver varieties , Invent. Math. 135 (1999), no. 3, 665-687. MR 1669280 (2000f:14087)

[BKTY04] A. S. Buch, A. Kresch, H. Tamvakis, and A. Yong, Schubert polynomials and quiver formulas , Duke Math. J. 122 (2004), no. 1, 125-143. MR 2046809 (2005b:05218)

[BKTY05]

, Grothendieck polynomials and quiver formulas , Amer. J. Math. 127 (2005), no. 3, 551-567. MR 2141644 (2007d:14018)

[BSY05]

[Buc02]

[Buc05]

[Buc08]

[BV82]

A. S. Buch, F. Sottile, and A. Yong, Quiver coefficients are Schubert structure constants , Math. Res. Lett. 12 (2005), no. 4, 567-574. MR 2155232 (2006g:14082)

A. S. Buch, Grothendieck classes of quiver varieties , Duke Math. J. 115 (2002), no. 1, 75-103. MR1932326 (2003m:14018)

, Alternating signs of quiver coefficients , J. Amer. Math. Soc. 18 (2005), no. 1, 217-237 (electronic). MR 2114821 (2006d:14052)

, Quiver coefficients of Dynkin type , Michigan Math. J. 57 (2008), 93-120, Special volume in honor of Melvin Hochster. MR 2492443 (2009m:16032)

N. Berline and M. Vergne, Classes caract´ristiques ´quivariantes. Formule de localisation en cohomologie e e ´ equivariante , C. R. Acad. Sci. Paris S´r. I Math. e 295 (1982), no. 9, 539-541. MR 685019

| [BZ01]   | G. Bobi´ski n and G. Zwara, Normality of orbit closures for Dynkin quivers of type A n , Manuscripta Math. 105 (2001), no. 1, 103-109. MR 1885816                                                                 |
|----------|-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [BZ02]   | , Schubert varieties and representations of Dynkin quivers , Colloq. Math. 94 (2002), no. 2, 285-309. MR 1967381                                                                                                  |
| [Che14]  | Zongbin Chen, Geometric construction of generators of CoHA of doubled quiver , C. R. Math. Acad. Sci. Paris 352 (2014), no. 12, 1039-1044. MR 3276816                                                             |
| [Dav17]  | B. Davison, The critical CoHA of a quiver with potential , Q. J. Math. 68 (2017), no. 2, 635-703. MR 3667216                                                                                                      |
| [DM16]   | B. Davison and S. Meinhardt, Cohomological Donaldson-Thomas theory of a quiver with potential and quantum enveloping algebras , preprint, 2016.                                                                   |
| [DW17]   | H. Derksen and J. Weyman, An introduction to quiver representations , Graduate Studies in Mathematics, vol. 184, American Mathematical Society, Providence, RI, 2017. MR 3727119                                  |
| [Efi12]  | A. I. Efimov, Cohomological Hall algebra of a symmetric quiver , Compos. Math. 148 (2012), no. 4, 1133- 1146. MR 2956038                                                                                          |
| [FK94]   | L. D. Faddeev and R. M. Kashaev, Quantum dilogarithm , Modern Phys. Lett. A 9 (1994), no. 5, 427-434. MR 1264393                                                                                                  |
| [FR02]   | L. Feh´r e and R. Rim´nyi, a Classes of degeneracy loci for quivers: the Thom polynomial point of view , Duke Math. J. 114 (2002), no. 2, 193-213. MR 1920187 (2003j:14005)                                       |
| [FR18]   | H. Franzen and M. Reineke, Semistable Chow-Hall algebras of quivers and quantized Donaldson-Thomas invariants , Algebra Number Theory 12 (2018), no. 5, 1001-1025. MR 3840869                                     |
| [FR19]   | , On the cohomological Hall algebra of the Kronecker quiver , preprint, 2019.                                                                                                                                     |
| [Fra16]  | H. Franzen, On cohomology rings of non-commutative Hilbert schemes and CoHa-modules , Math. Res. Lett. 23 (2016), no. 3, 805-840. MR 3533197                                                                      |
| [Fra18]  | , On the semi-stable CoHa and its modules arising from smooth models , J. Algebra 503 (2018), 121-145. MR 3779991                                                                                                 |
| [Gab72]  | P. Gabriel, Unzerlegbare Darstellungen. I , Manuscripta Math. 6 (1972), 71-103; correction, ibid. 6 (1972), 309. MR 0332887 (48 #11212)                                                                           |
| [KKR19]  | R. Kinser, A. Knutson, and J. Rajchgot, Three combinatorial formulas for type A quiver polynomials and K -polynomials , Duke Math. J. 168 (2019), no. 4, 505-551. MR 3916063                                      |
| [KMS06]  | A. Knutson, E. Miller, and M. Shimozono, Four positive formulae for type A quiver polynomials , Invent. Math. 166 (2006), no. 2, 229-325. MR 2249801 (2007k:14098)                                                |
| [KS11]   | M. Kontsevich and Y. Soibelman, Cohomological Hall algebra, exponential Hodge structures and motivic Donaldson-Thomas invariants , Commun. Number Theory Phys. 5 (2011), no. 2, 231-352. MR 2851153 (2012k:14079) |
| [Mil05]  | E. Miller, Alternating formulas for K -theoretic quiver polynomials , Duke Math. J. 128 (2005), no. 1, 1-17. MR 2137947 (2006e:05181)                                                                             |
| [Rei03]  | M. Reineke, Quivers, desingularizations and canonical bases , Studies in memory of Issai Schur (Chevaleret/Rehovot, 2000), Progr. Math., vol. 210, Birkh¨user a Boston, Boston, MA, 2003, pp. 325-344. MR 1985731 |
| [Rei10]  | , Poisson automorphisms and quiver moduli , J. Inst. Math. Jussieu 9 (2010), no. 3, 653-667. MR 2650811                                                                                                           |
| [Rim13]  | R. Rim´nyi, a On the cohomological Hall algebra of Dynkin quivers , preprint, 2013.                                                                                                                               |
| [Rim14]  | R. Rim´nyi, a Quiver polynomials in iterated residue form , J. Algebraic Combin. 40 (2014), no. 2, 527-542. MR 3239295                                                                                            |
| [Rim18]  | R. Rim´nyi, a Motivic characteristic classes in cohomological Hall algebras , preprint, 2018.                                                                                                                     |
| [Sut15]  | K. Sutar, Orbit closures of source-sink Dynkin quivers , Int. Math. Res. Not. IMRN (2015), no. 11, 3423-3444. MR 3373055                                                                                          |

Department of Mathematics, US Naval Academy, Annapolis, MD

E-mail address : allman@usna.edu
Justin Allman
A family of structure isomorphisms for the Cohomological Hall Algebra of an acyclic quiver
For any acyclic quiver, we establish a family of structure isomorphisms for
its cohomological Hall algebra (CoHA). The family is parameterized by
partitions of the quiver into Dynkin subquivers. For each such partition, we
write the domain of our isomorphism as a tensor product of subalgebras in two
ways. In the first, each tensor factor is isomorphic to the CoHA of the quiver
with a single vertex and no arrows. In the second, the tensor factors are each
isomorphic to the CoHAs of the corresponding Dynkin subquivers. When the quiver
is already an orientation of a simply-laced Dynkin diagram, our results
interpolate between isomorphisms proved by Rimanyi. Such CoHA decompositions
appear in prior work of Davison--Meinhardt and Franzen--Reineke, but our proof
gives an explicit topological realization of these results. As a consequence of
our method, we deduce that certain structure constants in the CoHA naturally
arise as CoHA products of classes of Dynkin quiver polynomials.