arxiv: v1 [math.rt] 28 Jun 2007

Transcription

1 Smooth moels of quiver mouli arxiv: v1 [math.rt] 28 Jun 2007 Johannes Engel an Markus Reineke Fachbereich C - Mathematik Bergische Universität Wuppertal Gaussstr. 20 D Wuppertal engel@math.uni-wuppertal.e, reineke@math.uni-wuppertal.e Abstract For any mouli space of stable representations of quivers, certain smooth varieties, compactifying projective space fibrations over the mouli space, are constructe. The bounary of this compactification is analyze. Explicit formulas for the Betti numbers of the smooth moels are erive. In the case of mouli of simple representations, explicit cell ecompositions of the smooth moels are constructe. 1 Introuction Mouli spaces constructe using Geometric Invariant Theory [10], parametrizing appropriate stable objects in an abelian category up to isomorphism, are usually not projective, making the etermination of their global topological an geometric invariants a ifficult problem. In contrast, the stanar compactification, parametrizing equivalence classes of semistable objects, is usually highly singular. Posing a mouli problem resulting in smooth projective mouli spaces is therefore a rather subtle, an in many cases unsolve, problem. The stanar approach is to parametrize objects in the given category together with some aitional structure, but to choose such structure in an appropriate way is in no way canonical, an epens, if possible at all, on a eep unerstaning of the particular mouli problem. Mouli spaces of representations of quivers [6] form a particularly interesting testing groun for techniques of mouli theory: they are easily efine an parametrize basic linear algebra type objects, they behave quite analogously to mouli of vector bunles on curves or surfaces in many respects, an of course they are interesting in themselves, since they play a key role in approaching wil classification problems in representation theory [17]. The above mentione general ichotomy between smooth non-projective an singular projective mouli also applies to quiver mouli as soon as the basic 1

2 iscrete invariant of a quiver representation, its imension vector, is not coprime. In this paper, we formulate an stuy a mouli problem closely relate to the original problem of parametrizing stable representations of quivers up to isomorphism. Namely, we consier representations, together with an aitional framing atum, consisting of maps from given vector spaces to the quiver representation. The subtle point in the construction is to choose the correct notion of stability. Once this is foun, the mouli spaces of stable such pairs, which are calle smooth moels here, parametrize semistable quiver representations, together with a map avoiing the subspaces contraicting stability (see Proposition 3.3 an Lemma 3.5). The construction is inspire both by the iea of framing quiver ata, prominent in H. Nakajima s work on quiver varieties (see e.g. [11]), an by the construction an stuy of Brauer-Severi type varieties in [2] an [20]. A similar construction in the context of mouli of vector bunles on curves is provie by the mouli of stable pairs [19]. Two special cases of the present construction were alreay stuie by the secon name author: the case of quivers without oriente cycles, with respect to trivial stability, in [14], an the case of the multiple-loop quiver in [13]. The smooth moels of quiver mouli resulting from our construction, if nonempty, are irreucible smooth varieties of known imension, projective over the corresponing mouli space of semisimple representations (thus projective in case of quivers without oriente cycles), see Proposition 3.6. They amit a natural projective morphism to the mouli space of polystable representations, an analogue of the Hilbert-Chow morphism from Hilbert schemes to symmetric proucts. No general simple criterion for non-emptyness of the smooth moels is known, except for a recursive one; but for large enough framing ata, the smooth moels are always non-empty (Lemma 3.7). A notable exception is the case of trivial stability, for which an efficient criterion is given in Theorem 6.1. The fibres of the analogue of the Hilbert-Chow morphism can be explicitely escribe as nilpotent parts of smooth moels for other quiver ata, using a generalization of well-known Luna slice techniques (Theorem 4.1). In particular, the fibres over the stable locus are always isomorphic to projective spaces of appropriate imension. Furthermore, the analogue of the Hilbert-Chow morphism is a fibration (that is, locally trivial in the étale topology) over each Luna stratum of the mouli space of polystable representations. This allows us to efine a stratification of the smooth moels, whose generic stratum is given by a projective space fibration over the mouli of stable representations, an whose bounary is ecompose into fibrations with known fibres over the other Luna strata (Corollary 4.2). Using Harer-Narasimhan techniques an a resolution of the occuring recursions, the Betti numbers in singular cohomology of quiver mouli in the coprime case were compute in [12]. Base on these formulas, two ifferent formulas for 2

3 the Betti numbers of smooth moels are given. One formula (Theorem 5.4) is given by an explicit summation, a variant of the main formula from [12]. The other formula (Theorem 5.2) computes the Poincaré polynomials of all smooth moels at the same time, by expressing their generating function as a quotient of two generating functions involving explicit rational functions alreay use in [12]. This result is establishe using Hall algebra techniques (Lemma 5.1), reminiscent of similar techniques for numbers of rational points of mouli of stable representations [15] an of quiver Grassmannians [3]. In the special case of trivial stability, the smooth moels parametrize arbitrary representations together with a presentation as a factor of a projective representation, an we call them Hilbert schemes of path algebras of quivers. As mentione above, we are able to give an explicit criterion for non-emptyness in this case. Furthermore, we erive from the general cohomology formulas a positive combinatorial formula for the Betti numbers, that is, a formula given by a weighte counting of certain combinatorial objects, namely, a restricte class of multipartitions. We give a conceptual explanation for this formula by constructing an explicit cell ecomposition (Theorem 7.6), generalizing a construction in [13]. The cells in this ecomposition are naturally parametrize by certain types of forests (more precisely, certain subquivers of covering quivers), yieling a combinatorial formula for the Betti numbers in terms of such objects. The final result, Theorem 8.2, therefore establishes a irect combinatorial relation between the multipartitions an the forests relevant for our combinatorial formulas. The paper is organize as follows: in section 2, we first recall basic efinitions an facts on quivers, their representations an on quiver mouli (subsection 2.1). We also recall some results from [12] which will be use in the following (subsection 2.3), thereby generalizing them to quivers possessing oriente cycles using a general purity result (subsection 2.2). Section 3 is evote to the construction of the smooth moels by a framing process. The objects parametrize by the smooth moels are escribe (Proposition 3.6), an basic geometric properties are iscusse. The section ens with an illustration of the general construction by several examples, which will be stuie in more etail subsequently. In section 4, we first recall the Luna stratification of quiver mouli. This is use to efine the stratification of the smooth moels, whose geometric properties rely on the analysis of the fibres of the analogue of the Hilbert-Chow morphism in Theorem 4.1. After recalling some Hall algebra techniques, section 5 erives two formulas for Betti numbers of smooth moels mentione above by irect computations relying on the formulas of subsection 2.3, an illustrates the use of the formulas in two examples. Section 6 applies the techniques of the previous sections to the case of Hilbert schemes of path algebras, the methos being of a more combinatorial flavour. The cell ecompositions of Hilbert schemes of path algebras are constructe 3

4 explicitely in section 7. Section 8 compares the relevant combinatorial concepts an gives a typical example. Acknowlegments: The first author woul like to thank the Grauiertenkolleg Darstellungstheorie un ihre Anwenungen in Mathematik un Physik at the Bergische Universität Wuppertal for the generous support. The secon author woul like to thank R. Bocklant, W. Crawley-Boevey, A. King, L. Le Bruyn, O. Schiffmann an G. Van e Weyer for helpful comments an interesting iscussions on the material evelope in this paper. 2 Recollections on quiver mouli 2.1 Definition of quiver mouli Let Q be a finite quiver with set of vertices I an set of arrows Q 1, where an arrow α Q 1 starting in i I an ening in j I will always be enote by α : i j. Denote by ZI the free abelian group generate by I, whose elements will be written as = i I ii. On ZI, we have the Euler form of Q efine by, e = i e i i e j. i I α:i j The subsemigroup NI of ZI will be viewe as the set of imension vectors of representations of Q. Given a imension vector NI, we fix complex vector spaces M i of imension i for any i I an consier the affine space R (Q) := Hom(M i, M j ), α:i j on which the reuctive algebraic group G := i I GL(M i ) acts via (g i ) i (M α ) α := (g j M α g 1 i ) α:i j, so that the orbits O M correspon naturally to the isomorphism classes [M] of representations of imension vector. Let Θ (QI) be a linear form, calle a stability conition, which will be fixe throughout, an let im N be efine by im := i I i. This allows to efine the slope of a non-zero imension vector by µ() := Θ() im Q. 4

5 For µ Q, we efine a subsemigroup of NI. (NI) µ := {0 NI : µ() = µ} {0}, We enote by Rep C (Q) the category of finite-imensional complex representations of Q. The imension vector of such a representation X = ((X i ) i I, (X α : X i X j ) α:i j ) will be enote by imx NI. Its slope µ(x) Q is then efine as the slope µ(imx) of its imension vector. The representation X is calle (µ-)stable (resp. (µ-)semistable) if µ(u) < µ(x) (resp. µ(u) µ(x)) for all non-zero proper subrepresentations U of X. Moreover, the representation X is calle (µ-)polystable if it is isomorphic to a irect sum of stable representations of slope µ. In the case Θ = 0, any representation is semistable, an the notions of stability, resp. polystability, reuce to the notions of simplicity, resp. semisimplicity. We efine Rep µ C (Q) as the full subcategory of Rep C (Q) consisting of semistable representations of slope µ. By simple properties of semistability (see [12]), this in an abelian subcategory, that is, it is close uner extensions, kernels an cokernels. Its simple objects are the stable representations of slope µ. We enote by R sst (Q) = RΘ sst (Q), resp. R st (Q), the open subset of the variety R (Q) corresponing to semistable, resp. stable, representations. By [6], there exists a smooth complex algebraic variety M st (Q) parametrizing isomorphism classes of µ-stable representations of Q of imension vector, an a complex algebraic variety M sst (Q) parametrizing isomorphism classes of µ-polystable representations of Q of imension vector (or, equivalently, socalle S-equivalence classes of µ-semistable representations of imension vector ). The former is given as the geometric quotient of R st(q) by the action of G, whereas the latter is given as the algebraic quotient of Rs sst (Q) by the action of G. The mouli space M sst (Q) is therefore efine as the Proj of the ring of semi-invariants of G in the coorinate ring of R with respect to a character of G efine via Θ. The mouli space M st (Q) is an open (but possibly empty) subset of M sst(q). In the special case Θ = 0, these mouli will be enote by M simp (Q) an (Q), thus parametrizing isomorphism classes of simple an semisimple M ssimp representations, respectively. The variety M ssimp (Q) is affine, since it is efine as the Spec of the ring of G -invariants in the coorinate ring of R. Again (Q) is an open, but possibly empty, subset. We enote by M simp 0 := i I S i i M ssimp (Q) 5

6 the point corresponing to a canonical semisimple representation of imension vector, where S i enotes the one-imensional representation associate to the vertex i I. The fibre q 1 (0) of the quotient map q : R (Q) M ssimp (Q), attaching to a representation the isomorphism class of its semisimplification, is enote by N (Q) an is calle the nullcone in R (Q). The points of the nullcone correspon to representations amitting a filtration with subquotients isomorphic to the S i, or equivalently, representations such that the trace along all non-trivial oriente cycles vanishes. We call such representations nilpotent. By the above, the variety M sst (Q) amits a projective morphism p : M sst (Q) M ssimp (Q), again associating to a representation its semisimplification. The situation is summarize in the following iagram: R st (Q) (Q) R (Q) N (Q) Rsst q M st (Q) p Msst (Q) M ssimp (Q) 0 In case the quiver Q has no oriente cycles, the mouli space M ssimp (Q) reuces to a single point, since all simple representations are one-imensional, an correspon to the vertices of Q up to isomorphism. Thus, M sst (Q) is a projective variety in this case. Following [12], we call coprime for Θ if µ(e) µ() for all 0 < e <. In particular, we then have gc( i ) i I = 1, an this conition is sufficient for coprimality of at least for generic Θ by [6]. For coprime for Θ, we have M st (Q) = Msst (Q) by efinition, thus Mst (Q) is smooth an projective over (Q) in this case. M ssimp There are two natural operations on stability conitions which are easily seen to respect the class of stable (resp. semistable) representations: Θ can be multiplie by a positive rational number, an Θ can be translate by a multiple of the functional im. Using these operations, one can always assume without loss of generality that Θ (ZI) an Θ() = 0 for some given NI. 6

7 We state the following criterion (see [12, Corollary 3.5]) for non-emptyness of (Q) for future reference. M sst Theorem 2.1 The mouli space M sst (Q) is non-empty if an only if there exists no no-trival ecomposition = s such that the following conitions hol: a) M sst k (Q) for all k, b) µ( 1 ) >... > µ( k ), c) k, l = 0 for all k < l. 2.2 Purity Although our primary interest is in quiver mouli over the complex numbers, all the varieties consiere so far can be efine over arbitrary fiels: by [15, section 6], there exist schemes over Z whose base extensions to C are isomorphic to M sst (Q) an Mst (Q), respectively. We can thus exten scalars to any fiel (in particular, to finite fiels or their algebraic closures), which, by abuse of notation, will also be enote by M sst (Q) an Mst (Q), respectively. The same applies to the varieties of representations R (Q), R sst (Q), etc.. In particular, we can consier the number of rational points over finite fiels F q of these varieties, which will be enote (again by abuse of notation) by M st(q)(f q), etc. We nee a general remark on purity of quiver mouli. Assume that a atum (Q,, Θ) as before is given, an assume that is coprime for Θ. We will prove that M st (Q), viewe over an algebraic closure of a finite fiel, is not only smooth, but also cohomologically pure, although it is not projective for general Q. We aopt the technique of [4, 2.4.]: Proposition 2.2 [4, Proposition A.2] Assume that Z is a smooth an quasiprojective variety over an algebraic closure k of a finite fiel F p, such that Z is efine over a finite extension fiel F q, an that there is an action λ : G m Z Z such that, for every x Z, the limit lim t 0 λ(t, x) exists. Assume in aition that Z Gm is projective. Then Z is cohomologically pure, that is, the eigenvalues of Frobenius acting on the i-th l-aic cohomology of Z have absolute values q i/2 for all i. Application to the quiver setup yiels the following: Proposition 2.3 If is coprime for Θ, then M st (Q) is pure. Proof The multiplicative group G m acts on R (Q) by scaling the linear maps representing the arrows. This restricts to an action on R sst (Q), since scaling a representation oes not change its subrepresentations. Consequently, G m acts on the mouli spaces M (s)st (Q) an M (s)simp (Q), an the projective morphism p : M sst (Q) Mssimp (Q) is G m -equivariant. The invariant ring k[r ] G is 7

8 generate by traces along oriente cycles by [7], thus G m is non-negatively grae by the weight spaces of the G m -action. Consequently, the point 0 M ssimp (Q) = Spec(k[R ] G ) is the unique G m -fixe point, to which all points limit. Therefore, the G m -fixe points in the smooth quasi-projective variety M st(q) form a close subvariety of the projective variety p 1 (0), to which all of M st (Q) limits. Application of the proposition above yiels the result. 2.3 Cohomology Next, we consier the Betti numbers of quiver mouli. For a complex variety X, we enote by P X (q) := i Z im Q H i (X,Q)q i/2 Z[q 1/2 ] its Poincaré polynomial in singular cohomology with rational coefficients (the half-powers of q are reasonable since in the present situation, only varieties with vanishing o cohomology will be prove to appear). Definition 2.4 Given (Q,, Θ) as before, efine a rational function P (q) = ( 1) s 1 q P k<l l, k s k=1 R k(q)(f q ) G k(f q ) Q(q), where the sum runs over all ecompositions = s into non-zero imension vectors such that µ( k ) > µ() for all k < s. Such ecompositions of will be calle µ-amissible. Theorem 2.5 Given (Q,, Θ) such that is coprime for Θ, we have P M st (Q) (q) = (q 1) P (q). Proof In the case that Q has no oriente cycles, this is prove in [12, Theorem 6.7], where it is erive via purity from the formula M st (Q)(F q ) = (q 1) P (Q) for the number of rational points of M st(q) over F q. Since purity hols for general Q by Proposition 2.3, this proof generalizes. Remark: If is not coprime for Θ, the rational function (q 1) P (q) is not a polynomial, an neither mouli M st (Q) or Msst (Q) is pure. Therefore, there is no obvious relation between (q 1) P (Q) an the cohomology of M (s)st (Q). Nevertheless, the functions P (Q) will enter (see Theorem 5.2) in the escription of the cohomology of smooth moels. 8

9 3 Definition of smooth moels Definition 3.1 Given a atum (Q,, Θ) as before an another imension vector 0 n NI, we associate to it a new atum ( ˆQ, ˆ, ˆΘ) as follows: the vertices of ˆQ are those of Q, together with one aitional vertex, the arrows of ˆQ are those of Q, together with n i arrows from to i, for every vertex i of Q, we efine ˆ i = i for all i I an ˆ = 1, we efine ˆΘ i = Θ i for i I an ˆΘ = µ()+ǫ for some sufficiently small positive ǫ Q. The slope function associate to ˆΘ is enote by ˆµ, an the Euler form with respect to ˆQ is enote by, ˆQ : Z ˆQ Z ˆQ Z. Any imension vector e NI can be viewe as a imension vector for ˆQ via the natural embeing I Î. Furthermore, for any imension vector e NI, we efine a imension vector ê for ˆQ as in the efinition. The prouct n e is efine by i I n ie i. Lemma 3.2 The following properties hol for the new atum ( ˆQ, ˆ, ˆΘ): 1. We have ê, f ˆQ = e, f n f an e, ˆf ˆQ = e, f for all e, f NI. 2. For all 0 e, we have ˆµ(e) < ˆµ( ˆ) if an only if ˆµ(e) ˆµ(ˆ) if an only if µ(e) µ(). 3. For all e <, we have ˆµ(ê) < ˆµ( ˆ) if an only if ˆµ(ê) ˆµ( ˆ) if an only if µ(e) < µ(). 4. The imension vector ˆ is coprime for ˆΘ. Proof The first part follows from a irect computation using the efinition of ˆQ. By the operations on stabilities mentione above, we can assume without loss of generality that Θ() = 0 an Θ ZI. We assume ε to be sufficiently small in the above efinition, thus we can assume ε 1. For the secon part, assume 0 e. Then ˆµ(e) < ˆµ( ˆ) Θ(e) ime < ε im + 1 Θ(e) < ε ime ]0, 1[ im + 1 (an similarly for instea of <), thus the statement follows since Θ(e) 0 if an only if µ(e) µ(). The thir part follows analogously: assume e <. Then ˆµ(ê) < ˆµ( ˆ) Θ(e) + ε ime + 1 < ε im Θ(e) < ǫ ime im im + 1 ] 1, 0[

10 (an similarly for instea of <), thus the statement follows as before. Now the final statement follows. As in [14], we can view representations of ˆQ of imension vector ˆ as representations of Q, together with a framing atum, as follows: We fix vector spaces V i of imension n i for all i I, an consier V = i I V i. It is easy to see that the representations of ˆQ of imension vector ˆ can be ientifie with pairs (M, f) consisting of a representation M of Q of imension vector an a tuple f = (f i : V i X i ) i I of linear maps. Proposition 3.3 For a representation (M, f) of ˆQ of imension vector ˆ, the following are equivalent: a) (M, f) is ˆµ-semistable b) (M, f) is ˆµ-stable c) M is a µ-semistable representation of Q, an µ(u) < µ(x) for all proper subrepresentations U of X containing the image of f. Proof We consier the imension vectors of non-trivial subrepresentations of the representation (M, f). The subrepresentations of (M, f) of imension vector e clearly correspon to subrepresentations of M of imension vector e, whereas the subrepresentations of (M, f) of imension vector ê correspon to subrepresentations U of M such that Im(f) U; namely, they are of the form (U, f). Now assume that (M, f) is ˆµ-semistable (resp. ˆµ-stable), an let U be a nontrivial subrepresentation of M. Viewing U as a subrepresentation of (M, f), Lemma 3.2 yiels µ(u) µ(m). Thus, M is µ-semistable. Now assume that Im(f) U. Then Lemma 3.2 yiels µ(u) < µ(m), as claime. Conversely, assume that M fulfills the claime conitions. The above analysis of the possible subrepresentations of (M, f), together with Lemma 3.2, immeiately yiels ˆµ-(semi-)stability of (M, f). By Lemma 3.2, the imension vector ˆ is coprime for ˆΘ. We thus have an equality of mouli M st ˆ ( ˆQ) = M sst ˆ ( ˆQ). We also enote R Θ,n (Q) = RˆΘ st ( ˆQ). Definition 3.4 We enote M st ˆ ( ˆQ) by M,n Θ (Q) an call this variety a smooth moel for M sst(q). From the efinition of ˆQ an the general properties of quiver mouli, we now immeiately get: ˆ 10

11 Lemma 3.5 The smooth moel M,n Θ (Q) parametrizes equivalence classes of pairs (M, f) as in Proposition 3.3, uner the equivalence relation ientifying (M, f) an (M, f ) if an only if there exists an isomorphism ϕ : M M such that f = ϕf. Remark: For each vertex i I, we consier the projective representation P i of Q, which has the paths from i to j as a basis of the space (P i ) j. We have Hom Q (P i, M) M i for all representations M. Therefore, efining P (n) = i I P ni i, maps of Q-representations from P (n) to M can be naturally ientifie with maps f : V M as before. Thus, we can also interprete the points of M,n Θ (Q) as equivalence classes of morphisms f : P (n) M such that M is µ-semistable an µ(u) < µ(m) for any proper subrepresentations U of M containing the image of f, uner the equivalence relation ientifying (f : P (n) M) an (f : P (n) M ) if an only if there exists an isomophism ϕ : M M such that f = ϕf. Proposition 3.6 If M,n Θ (Q) is non-empty, it is a smooth an pure variety of imension n,, amitting a projective morphism to M sst(q). Proof Smoothness an purity follow from Proposition 2.3, using the fact that ˆ is coprime for ˆΘ by Lemma 3.2. The map R Θ,n (Q) R (Q), (M, f) M, thus forgetting the framing atum f : V M, has image containe in R sst(q) by the characterization Proposition 3.3 of stable points (M, f). Thus, it escens to a morphism π : M,n Θ (Q) Msst (Q). On the other han, we have projective morphisms p : M sst (Q) M ssimp (Q) an ˆp : M,n(Q) Θ M ssimp ( ˆQ). ˆ The mouli spaces of semisimple representations are spectra of invariant rings, which are generate by traces along oriente cycles in the quivers. But the oriente cycles of Q an ˆQ coincie by efinition of ˆQ, an thus M ssimp ˆ ( ˆQ) M ssimp (Q). Consequently, the composite ˆp of the morphisms M,n Θ (Q) π M sst (Q) p M ssimp (Q) M ssimp ( ˆQ) ˆ being projective, the morphism π : M,n Θ (Q) Msst (Q) is projective, too. This proof is summarize by the iagram 11

12 R Θ,n (Q) MΘ,n (Q) Mssimp ˆ p R sst (Q) Msst (Q) M ssimp π ˆp ( ˆQ) (Q) Remark: No general effective exact criterion for non-emptyness of M,n (Q) is available at the moment, except for the general recursive criterion Theorem 2.1. We will erive such a criterion later in case Θ = 0 (see Theorem 6.1). Lemma 3.7 For large enough n (in fact, for n ), the smooth moel M,n Θ (Q) is non-empty if an only if M sst (Q) is. Proof By Proposition 3.3, non-emptyness of M sst (Q) is clearly neccessary for non-emptyness of M,n Θ (Q). Sufficiency follows again from Proposition 3.3, since in case n i i, the maps f i : V i M i can be chosen to be surjective. In case is coprime for Θ, the mouli space M st (Q) carries tautological bunles M i for i I, proviing a universal representation M of Q in the category of vector bunles on M st (Q), in the sense that the representation M M = ((M i ) M ) i I inuce on the fibres of the various bunles M i over the point M is isomorphic to M, for all stable representations M M st (Q). Proposition 3.8 If is coprime for Θ, the smooth moel M,n Θ (Q) is isomorphic to the projective bunle P( i I M ni i ) over M st(q). Proof We recall the construction of the universal bunles M i from [6]. Since is coprime for Θ, it is in particular inivisible, so we can choose integers m i for i I such that m i i = 1. Consier the trivial vector bunle with action of G given by i I q : R st (Q) M i R st (Q), (g j ) j ((M α ) α, m i ) := ((g k M α g 1 j ) α:j k, j I et(g j ) mj g i m i ). The stabilizer of any point in R st (Q) reuces to the scalars, which act trivially on the fibres of q by efinition of the action. Therefore, this trivial vector bunle 12

13 escens to a bunle M i on the geometric quotient M st (Q). Consequently, the projective bunle P(M i ) can be realize as the quotient of R (M i \0) by the action of G via (g i ) i ((M α ) α, m i ) := ((g j M α g 1 i ) α:i j, g i m i ). More generally, the projective bunle P( i I Mmi i ) can be realize as the quotient P( M mi i ) = (R ( M mi i \ 0))/G i I i I by the inuce action of G. On the other han, we consier the variety R,n Θ (Q). By the characterization of Proposition 3.3, it consists of pairs (M, f) of a stable representation M an a non-zero map f : V M as above, an M,n Θ (Q) is the quotient of G by this action. Consequently, we see that the two varieties in question are isomorphic. Remark: It is likely that no universal bunle on M st (Q) (or Msst (Q)) exists in case is not coprime. By the above proposition, we can therefore view the smooth moels M,i Θ (Q) as optimal approximations to the missing universal bunles. Examples: We work out some examples of smooth moels: Example A Let Q be the quiver consisting of a single vertex an m loops, so that the stability Θ is trivial. The smooth moel M,1 0 (Q) coincies with the non-commutative Hilbert scheme H (m) consiere in [13], parametrizing finite coimensional left ieals in free algebras. Example B Let Q be the r-subspace quiver, given by vertices I = {0, 1,..., r}, an one arrow from i to 0, for i = 1,...,r. Consier imension vectors such that i 0 for all i = 1,...,r. Define the stability Θ by Θ i = 0 for i = 1,...,r, an Θ 0 = 1. Then the mouli space M st(q) parametrizes stable orere tuples of i- imensional subspaces U i V of a -imensional vector space, up to the action of GL(V ). A tuple is semistable if for all tuples of subspaces U i U i, we have im i U i i imu i imv i imu, i an it is stable if the above inequality is strict. This is one of the classical examples of Geometric Invariant Theory [10]. As soon as i im U i an imv are not coprime, there might exist properly semistable points. Define the imension vector n by n 0 = 1 an n i = 0 for i = 1,...,r. 13

14 The smooth moel M,n Θ (Q) then parametrizes orere tuples (U i V ) i, together with a vector v V, such that the following conition hols: for all tuples of subspaces U i U i, the previous inequality hols, an it is strict if v i U i. Such ata are consiere up to the natural action of GL(V ). Example C With obvious moifications, the previous example can be extene to mouli spaces parametrizing tuples of flags in vectorspaces, as in [12, Example B]. Example D Let Q be the m-kronecker quiver, with set of vertices I = {i, j}, an m arrows from i to j. Define the stability Θ by Θ i = 1 an Θ j = 0, an let an n be arbitrary imension vectors. A representation of Q of imension vector correspons to an m-tuple of linear maps (f k : V W) k=1,...,m, consiere up to simultaneous base change in V an W. A tuple is semistable if for all proper subspaces U V, we have k f k (U) imw imv imu, an it is stable if the inequality is strict. Fix vector spaces V an W of imension n i an n j, respectively. The smooth moel M,n Θ (Q) parametrizes stable tuples (f k ), together with linear maps ϕ : V V an ψ : W W, up to base change in V an W. Stability is efine by the above inequality, which has to be strict whenever Im(ϕ) U an Im(ϕ) k f k (U). Example E As a particular case of Example 7, we consier the case i = 1 for all i = 1,...,r. In this case, the mouli space M st (Q) parametrizes stable orere r-tuples of points (v 1,...,v r ) (P 1 ) r in projective space of imension 1 up to the action of PGL r, an the semistability conition reas im v j : j J J r for all subsets J {1,..., r}. 14

15 For the choice of n as above, the smooth moel M,n Θ (Q) parametrizes stable r+1-tuples (v 0, v 1,....v r ) in projective space of imension r 1 up to the action of PGL r, where stability is efine by the above inequality, together with the conition that v 0 v j : j J if equality hols. Example F Even more particularly, consier the special case = 2 in the previous example. Then a tuple of points (v 1,...,v r ) in the projective line is stable if no more than r/2 of the points coincie. If r is o, all ( r r/2) isomorphism semistable tuples are alreay stable. If r is even, the 1 2 classes of nonstable polystable representations correspon to tuples consisting of two ifferent points, each occuring with multiplicity r/2. The smooth moel parametrizes tuples (v 0,..., v r ), such that v 0 is ifferent from a point occuring with multiplicity r/2. 4 The fibres of π an stratifications of smooth moels First we recall the Luna type stratification (see [1, 7]) of M sst (Q). As mentione in section 2, this mouli space parametrizes isomorphism classes [M] of µ-polystable representations of imension vector. Therefore, we can ecompose such a representation M into a irect sum M = U m Us ms of pairwise non-isomorphic µ-stable representations U k of imension vectors imu k = k such that µ( k ) = µ() for all k = 1...s. We call the pair of tuples ξ = ( = ( 1,..., s ), m = (m 1,..., m s )) the polystable type of M. Conversely, given such a pair of tuples ξ = (, m ), we associate to it the Luna stratum S ξ, the subset consisting of representations M amitting a ecomposition as above, for pairwise non-isomorphic stable representations U k of imension vector k. It is clear from the above that this gives a ecomposition of M sst (Q) into finitely many isjoint locally close subsets. The generic Luna stratum S ((),(1)) obviously coincies with M st (Q) Msst (Q). For a given polystable type ξ, we efine a new quiver atum as follows: Denote by Q ξ the quiver with set of vertices {1,..., s} an δ k,l k, l arrows from k to l, for each pair 1 k, l s. We efine a imension vector ξ by ( ξ ) k := m k for all k = 1...s, an we efine (n ξ ) k = n k for all k. We enote by π ξ : M 0,n (Q ξ) M ssimp ξ (Q ξ ) the natural morphism. The fibre π 1 ξ (0) parametrizes (equivalence classes of) pairs (Z, h) consisting of a nilpotent representation Z of Q ξ of imension vector 15

16 ξ, together with a map h whose image generates the representation Z. We therefore call π 1 ξ (0) =: M 0,nilp ξ,n ξ (Q ξ ) the nilpotent part of the smooth moel M 0 ξ,n ξ (Q ξ ). Theorem 4.1 The fibre π 1 (M) of the morphism π : M,n Θ (Q) Msst (Q) over a polystable representation M of type ξ is isomorphic to the nilpotent part of a smooth moel: π 1 (M) M 0,nilp ξ,n ξ (Q ξ ). Moreover, the restriction of π to the inverse image of the Luna stratum S ξ is a fibration, that is, it is locally trivial in the étale topology. Proof We consier the atum ( ˆQ, ˆ) as in section 3, but efine a egenerate stability ˆΘ 0 by (ˆΘ 0 ) i = Θ i for i I an (ˆΘ 0 ) = µ(). This correspons to the case ε = 0 in Definition 3.1. We can easily analyze stability of representations (M, f) of ˆQ of imension vector ˆ with respect to the slope function ˆµ 0 efine via ˆΘ 0, using obvious variants of Lemma 3.2 an Proposition 3.3, resulting in the following: ˆµ 0 (e) ˆµ 0 ( ˆ) if an only if µ(e) µ(), ˆµ 0 (ê) ˆµ 0 ( ˆ) if an only if µ(e) µ(), a representation (M, f) is ˆµ 0 -semistable if an only if M is a semistable representation of Q, (M, f) is ˆµ 0 -stable if an only if either M is stable an f = 0, or M = 0, (M, f) is ˆµ 0 -polystable if an only if M is polystable an f = 0. Since the points of the mouli space M ˆΘ 0 sst ( ˆQ) parametrize isomorphism ˆ classes of polystables, we conclue that the natural map Rˆ( ˆQ) R (Q) inuces a map RˆΘ 0 sst ( ˆQ) R sst ˆ (Q), which escens to an isomorphism of mouli M ˆΘ 0 sst ( ˆQ) M sst ˆ (Q). We want to apply the Luna slice theorem to the fibres of the resulting morphism ˆq : RˆΘ 0 sst ( ˆQ) M sst ˆ (Q), using techniques of [1]. Given a point M M sst (Q) of polystable type ξ as above, we construct a smooth affine open Gˆ-stable subvariety X such that ˆq 1 (M) X RˆΘ 0 sst ( ˆQ) ˆ 16

17 as in [1, section 3]. We associate extene local quiver ata ˆQ ξ an ˆ ξ to (Q ξ, ξ, n ξ ) as in section 3 an consier the quotient morphism q ξ : Rˆξ ( ˆQ ξ ) M ssimp ξ (Q ξ ). Accoring to [1], the affine space ( ˆQ Rˆξ ξ ) can be ientifie with the normal space at the point (M, 0) RˆΘ 0 sst ( ˆQ) ˆ to the Gˆ-orbit of (M, 0). As in [1, section 4], the strong form of the Luna slice theorem ([9], see [5] for an introuction) can be applie to the restriction of ˆq to X. It yiels a locally close affine subvariety S of X containing the point (M, 0), which is stable uner the stabilizer (Gˆ) (M,0) G ξ. Moreover, there exists a iagram of Cartesian squares RˆΘ 0 -sst ( ˆQ) G ˆ ˆ G ξ S G ˆ G ξ R ˆξ ( ˆQ ξ ) ˆq G ˆ G ξ qξ M sst (Q) S /G ξ M ssimp ξ (Q ξ ) We now want to compare the intersections ˆq 1 (M) R,n Θ (Q) an q 1 ξ (0) R 0 ξ,n ξ (Q ξ ). Suppose we are given a point (Z, h) in the fibre q 1 ξ (0), which correspons to a point (N, f) in the fibre ˆq 1 (M) uner the above isomorphism. The representation N thus amits a filtration F with subquotients isomorphic to the stable irect summans U k of M. Assume we are given a subrepresentation V N containing the image of f such that µ(v ) = µ(n). Since semistable representations of a fixe slope form an abelian subcategory, the intersection of V with the filtration F inuces a filtration of V with subquotients isomorphic to some of the U k. Thus, there exists a subrepresentation W Z containing the image of h. Conversely, a subrepresentation W of Z containing the image of h inuces a subrepresentation V of N containing the image of f, such that µ(v ) = µ(n). Since the open subsets R Θ,n (Q) an R0 ξ,n ξ (Q ξ ), respectively, are efine by the triviality of such subrepresentations, we conclue that the above isomorphism of fibres restricts to an isomorphism ˆq 1 (M) R Θ,n (Q) Gˆ G ξ (q 1 ξ (0) R 0 ξ,n ξ (Q ξ )). 17

18 Passage to Gˆ-quotients yiels the esire isomorphism an the étale local triviality. We efine a stratification of M,n Θ (Q) as follows: for any polystable type ξ, efine M Θ,n (Q) ξ = π 1 (S ξ ). The methos evelope above now immeiately give the following. Corollary 4.2 The smooth moel M,n Θ (Q) is the isjoint union of the finitely many locally close strata M,n Θ (Q), for various polystable types ξ. Each stratum M,n Θ (Q) is an étale locally trivial fibration over the corresponing Luna stratum S ξ, with fibre isomorphic to M 0,nilp ξ,n ξ (Q ξ ). In particular, the generic stratum M,n Θ (Q) ((),(1)) is a P n 1 -fibration over M st(q). Remark: The smooth moels M,n Θ (Q) can thus be viewe as a compactification (being projective over the affine mouli M ssimp (Q)) of a P n 1 -fibration over M st(q). Examples: 1. The above result was obtaine in the case of Example A in [8]. 2. Continuing Example F above, we escribe the fibre of π over the polystable nonstable points in the case r is even: the quiver Q ξ has two vertices 1, 2, an the number of arrows from i to j equals r/2 1+δ i,j. The imension vector is given by ( ξ ) 1 = 1 = ( ξ ) 2. Thus, the loops at the vertices can be ignore, since the nilpoteny conition forces them to be represente by zero. The imension vector n ξ is given by (n ξ ) 1 = 1 = (n ξ ) 2. The resulting nilpotent part of the smooth moels is isomorphic to two copies of a line bunle over projective space of imension r 2, glue at a single point. 5 Cohomology As in [3, 15], we consier a complete version of the Hall algebra of the quiver Q an perform computations with certain generating functions in it. By applying an evaluation map, this yiels an ientity involving the number of rational points of M Θ,n (Q) over a finite fiel F q. Define H((F q Q)) = [M]Q [M] 18

19 as the irect prouct of one-imensional Q-vector spaces with basis elements [M], inexe by the isomorphism classes of finite imensional representations of F q Q, an with the following multiplication: [M] [N] = [X] F X M,N [X], where F X M,N enotes the number of F qq-subrepresentations U of X such that U N an X/U M. This efines an associative unital NI-grae Q-algebra by [15]. Note furthermore that the irect prouct [M] Rep µ Fq (Q) Q [M] over all isomorphism classes in Rep µ F q (Q) efines a subalgebra of H((F q Q)). Define Q q [[I]] as the irect prouct of the one-imensional Q-vector spaces with basis elements t inexe by NI, an with multiplication t t e = q,e t +e. The map sening a basis element [M] to the element 1 [M] := Aut(M) timm inuces a Q-algebra homomorphism : H((F q Q)) Q q [[I]] by [12]. Let C be a full abelian subcategory of Rep Fq (Q), that is, C is close uner kernels, cokernels an extensions. If U M is a subrepresentation of a representation M C, we therefore have a well-efine minimal subrepresentation U C = C U V V C containing U, efine as the intersection of all subrepresentations V C of M containing U. Fix an arbitrary representation Z Rep Fq (Q). We enote by Hom 0 F qq (Z, M) the set of all F q Q-morphisms f from Z to M with the following property: if Im(f) U M for U C, then U = M. 19

20 We consier the following elements of H((Q)): h Z := Hom 0 F qq (Z, M) [M], [M] C e Z := [M] C Hom FqQ(Z, M) [M], e 0 := [M]. [M] C Lemma 5.1 We have e 0 h Z = e Z in H((Q)). Proof We have e 0 h Z = To prove that this equals [M],[N] C = ( [X] C U X,U C e Z = [X] C Hom 0 F qq (Z, N) [M] [N] Hom 0 F qq (Z, U) )[X]. Hom FqQ(Z, X) [X], it thus suffices to exhibit a bijection between Hom FqQ(Z, X) an the set of pairs (U, f), where U X, U C an f Hom 0 F qq (Z, U). This is given by assigning to f : Z X the pair ( Im(f) C, f : Z Im(f) C ), with converse map assigning to a pair (U, f) the composite f : Z U X. Theorem 5.2 For all (Q, Θ, n) as before, we have the following ientity of generating functions in Q q [[I]]: (NI) µ P M Θ,n (Q)(q)t = ( (NI) µ P (q)t ) 1 (NI) µ q n P (q)t. Proof We apply the ientity of Lemma 5.1 to the abelian subcategory C = Rep µ F q (Q) 20

21 an the representation Z = P n = i I P ni i for n NI, enoting the elements h Z, e 0, e Z by h n, e 0, e n, respectively. We apply integration to these elements, noting that 1 Aut FqQ(M)(F q ) = O M(F q ) G (F q ). The integral of e n thus can be compute as q n imm 1 Aut [M] Rep FqQ(M)(F µ q ) timm = Fq (Q) NI n Rsst q (Q)(F q) t. G (F q ) For h n, we first note that, by the efinitions an Lemma 3.5, a point (M, f) in M,n Θ (Q) is given by a µ-semistable representation M of Q, together with a morphism f Hom 0 F (P n qq, M), consiere up to the natural action of G on such pairs. From this, we get: h n = Hom 0 F (P n 1 qq, M)(F q ) Aut [M] Rep FqQ(M)(F µ q ) timm = Fq (Q) = ( NI M R sst Hom 0 F (P n O M (F q ) qq, M)(F q ) Aut FqQ(M)(F q ) )t = (Q) = NI R,n Θ (Q)(F q) t. G (F q ) By [12, Proposition 6.6], the fraction in this last sum equals M,n Θ (Q)(F q). The ientity h n = ( e 0 ) 1 now gives the statement. The theorem immeiately yiels a recursive formula for the Poincaré polynomial of M,n Θ (Q): Corollary 5.3 For all (Q,, Θ, n) as before, we have P M Θ,n (Q)(q) = (q n 1)P (q) q 0<e< e (NI) µ e n e,e P e (q)p M Θ e,n (Q)(q). 21

22 To erive a summation formula for the cohomology of the smooth moels, we analyze the formula in Definition 2.4, Theorem 2.5 for the setup ( ˆQ, ˆ, ˆΘ). We work out the amissible ecompositions of ˆ as in the theorem. These are obviously of the form ( 1,..., ˆ r,..., s ) for some ecomposition = s, with the exception that r is not neccessarily non-zero. Using Lemma 3.2, the stability conition in the theorem translates into { > µ() if k < r, µ( k ) µ() if k r This allows us to classify such ecompositions of ˆ as follows: we call a ecomposition = s into non-zero imension vectors semi-amissible if µ( k ) µ() for all k s. For such a ecomposition, we efine k 0 as the minimal inex k such that µ( k ) = µ() (this being well-efine since equality of slopes hols for k = s), an associate to it the amissible ecompositions }. ( 1,..., ˆ r,..., s ) an ( 1,..., r 1, ˆ0, r,..., s ) for all r k 0, respectively. This gives a parametrization of all amissible ecompositions of ˆ by (semi-)amissible ecompositions of, together with an inex r k 0. For the two types of sequences above, their contribution to the sum in Definition 2.4 is easily worke out as ( 1) s 1 q P k<l l, k + P k<r n k k R k(f q ) G k(f q ) qn r q 1 an ( 1) s q P k<l l, k R k(f q) G k(f q ) 1 q 1, respectively. This results in the following sum over all semi-amissible ecompositions of : 1 q 1 r k 0 ( 1) s 1 q Applying Theorem 2.5, we get: P k<l l, k k R k(f q ) G k(f q ) qp l<r n l (q n r 1). 22

23 Theorem 5.4 For all (Q,, n, Θ) as before, we have P M Θ,n (Q)(q) = 1 ( 1) s 1 P k k n (q k 0 1) q P k<l l, k q 1 k the sum running over all semi-amissible ecompositions of. Examples: R k(f q ) G k(f q ), 1. We consier the imension vector given by i = 2 an j = 2k in the case of Example D, the m-kronecker quiver. The function P (q) equals 1 q(q 1) 2 ( 1 q + 1 [ ] 2m 2k k 1 l=0 [ q (m 2k+l)l m ] [ ] m ) l 2k l by [12, Section 7], using the stanar notation for q-binomial coefficients. The only relevant imension vector e on the right han sie of the formula in Corollary 5.3 is [ m ] e = /2 with P e (q) =, k again by [12]. After some computation, we arrive at the following formula for the Poincaré polynomial of the smooth moel: q n1+kn q(q 1) 2 ( qn1+kn2 q + 1 k 1 l=0 [ q (m 2k+l)l m ] [ ] m l 2k l [ ] 2m (q n1+kn2 + 1) 2k [ q (m k)k m ] 2). k 2. In the case of Example F with r even, the function P (q) equals 1 q(q 1) 2 ((q + 1)r 1 r/2 1 l=0 ( ) r q l ), l an the Poincaré polynomial of the smooth moel equals 1 q(q 1) ((q + 1)r (q + 1) r/2 1 6 Hilbert schemes of path algebras l=0 From now on, we consier the special case Θ = 0, an set H,n (Q) := M 0,n (Q) ( ) ( ) r r q l q r/2 ). l r/2 23

24 in this case. From the general theory, we have a projective morphism H,n (Q) M ssimp (Q) to the affine mouli of semisimple representations. The points of H,n (Q) correspon to pairs (M, f) consisting of an arbitrary representations M, together with a map f : V M whose image generates the representation M. Equivalently, the points correspon to pairs consisting of a representation M, together with a surjection P (n) M. In analogy to coherent sheaves, H,n (Q) can thus be viewe as a Hilbert scheme. In the special case n i = 1 for all i I, we have a surjection kq M, thus H,1 (Q) parametrizes left ieals I in kq such that imkq/i =. We will first erive an effective criterion for non-emptyness of H,n (Q) in terms of the Euler form of Q an the support supp() of the imension vector, which is efine as the full subquiver of Q supporte on vertices i I such that i 0. Theorem 6.1 H,n (Q) is non-empty if an only if the following conitions hol: 1. n i, i 0 for all i I, 2. for any i I such that i 0, there exists a vertex j such that n j 0, an such that there exists a path in supp() from j to i. Proof Assume that H,n (Q) contains a point (M, f), where f is viewe as a map f : V M whose image generates the representation M. Then it is obviously neccessary that M i = Im(f i ) + M α (M j ), yieling the imension estimate α:j i im M i n i + α:j i imm j, or, equivalenty, n i, i. Now assume that i 0, but n j = 0 for any vertex j I amitting a path from j to i in Q (in particular, for j = i). Then the subrepresentation U generate by the image of f obviously fulfills U i = 0, a contraiction. To prove the converse, we want to apply the criterion Theorem 2.1 for nonemptyness of mouli. Thus, we consier ecompositions of ˆ as in Theorem 2.1, neccessarily of the form ˆ = k 1 + ˆ k + k s, an of strictly escening slope with respect to the slope function ˆµ. But we have ˆµ(e) = 0 an ˆµ(ê) > 0 for all e 0, 24

25 thus the only possible such ecompositions are of the form ˆ = ê+f for e+f = an f 0. Aitionally, we have H e,n (Q) 0, thus n i e, i for all i I by what is alreay prove, an we have or, equivalently: 0 = ê, f = e, f n f = ( e, i n i ) f i, }{{} i I 0 n i = e, i or f i = 0 for all i I. Denote by J I the set of all vertices i for which e i < i, which is non-empty since f 0. For any i J, we have n i + j i e j = e i < i n i + j i j, thus there exists some arrow j i such that j J. Iterate application of this argument constructs (by finiteness of Q) a cycle in J, yieling an estimate i = i s i n 1... i 1 i 0 = i e i n i + e i1 n i + n i1 + e i2... n i n is + e i. From this we can conclue n i = 0 an thus e i = j i e j. Using again the above cycle, we have an estimate e i = e i1 + e j e i2 + e j + e j... e i + e j, i 1 j i i 2 j i 1 i 1 j i k i k+1 j i k an thus e j = 0 for any vertex j amitting an arrow α : j i k pointing into the cycle. We have i 0, thus by assumption, there exists a vertex j such that n j 0 (an thus j J) an a path from j to i in the support of. we conclue that there exists an arrow α : j l in this path such that j J an l J. By the above conclusion, we infer 0 = e j = j, a contraiction. Remark: That the secon conition in the theorem is neccessary (in contrast to the case of quivers without oriente cycles, see [14]) can be seen for instance in the following example: assume Q consists of two vertices i, j, a loop at i, an an arrow from i to j. Define n i = 0 an n j = 1 as well as i = 1 an j = 0. Then the first conition of the theorem is satisfie, whereas obviously the mouli space is empty. We will erive a positive formula for the Betti numbers of H,n (Q) from Theorem 5.2 by a purely formal argument. The cell ecomposition constructe in the next 25

26 section will provie a more conceptual positive formula; the final section of this paper will show how these two positive formulas are relate. Given a quiver Q an a imension vector, we consier the set of multipartitions λ Λ, by which we mean a tuple (λ i ) i I of partitions λ i : (λ i 1... λi i 0) consisting of non-negative integers. We formally efine λ i 0 as some large integer (large enough for none of the finitely many conitions λ i 0 < C appearing below to be fulfille). We efine the weight λ of a multipartition by λ = i I i Furthermore, we enote by S,n the subset of Λ consisting of multipartitions with the following property: for any 0 e <, there exists a vertex i I such that λ i i e i < n i e, i. k=1 λ i k. Theorem 6.2 For any (Q,, n) as before, we have P H,n (Q)(q) = q n, q λ. λ S,n Proof Since Θ = 0, any representation is semistable, thus R sst (Q) = R (Q), an Theorem 5.2 reas f R f (Q)(F q ) G f (F q ) t f P He,n(Q)(q)t e = e q n R (Q)(F q ) t. G (F q ) Multiplying on the left han sie an comparing coefficients of the various t, this reas e+f= for any NI. q f,e R f(q)(f q ) P He,n(Q)(q) = q n R (Q)(F q ) G f (F q ) G (F q ) We will rewrite the fractions appearing on both sies as power series in the variable q 1. To o this, we first note that 1 (1 t)(1 t 2 )...(1 t n ) = λ the sum running over all partitions λ : (λ 1... λ n 0). This then gives us R (Q)(F q ) G (F q ) = q, 26 t λ, λ Λ q λ.

27 Substituting this ientity in the above formula an multiplying both sies by q, n yiels q e,f n f q µ q e,e n e P He,n(Q)(q) = q λ. e+f= µ Λ f λ Λ Substituting the claime formula for H e,n (Q), we arrive at the ientity q µ (n f e,f ) ν = q λ. e+f= ν S e,n λ Λ µ Λ f We prove this ientity by inuction over, constructing a bijective map Λ Λ f S e,n e+f= in such a way that weights of multipartitions correspon as in the claime ientity. Suppose we are given a multipartition λ Λ. Consier the set of imension vectors g such that λ i i g i n i g, i for all i I, which is non-empty since g = belongs to it by efinition. Let e be a minimal element in this set, an efine f = e. We then construct µ Λ f by an ν Λ e by µ i k = λ i k (n i e, i ), ν i k = λi k ( i e i). We claim that ν in fact belongs to S e,n : otherwise, there exists a imension vector e < e such that for all i I, we have contraicting minimality of e. n i e, i ν i e i e i = λi i e i, To construct a converse map, suppose we are given a pair (µ, ν) as above. Thus S e,n 0, an by the inuctive assumption, the claime formula alreay hols for e, resulting in H e,n (Q). By Theorem 6.1, we thus have n i e, i 0 for any i I. This allows us to a n i e, i to any constituent of µ i, yieling a multipartition ˆµ. We efine λ as the concatenation of ˆµ an ν, for which we have to assure that ν i k n i e, i for any i I an any k. To see this, we consier the imension vector e = e i for some vertex i. Working out the efining conition of S e,n in this special case, we get ν i 1 < n i e, i + i, i n i e, i, which gives the esire estimate. Remark: In the case of the m-loop quiver, this result was obtaine in [13, Section 5]. 27