arxiv:math/ v1 [math.rt] 15 Apr 2003

Transcription

1 arxiv:math/ v1 [math.rt] 15 Apr 2003 The use of geometric an quantum group techniques for wil quivers 1 Introuction Markus Reineke Fachbereich Mathematik Universität Wuppertal Gaußstr. 20 D Wuppertal, Germany reineke@math.uni-wuppertal.e In recent years, the representation theory of quivers has enjoye an enormous impact of new techniques both from algebraic geometry an from quantum group theory. Some examples of this are the realization of quantum groups in terms of the representation theory of quivers via C. M. Ringel s Hall algebra approach [61, 22], G. Lusztig s geometric interpretation of the Hall algebra approach [49, 50, 51] an H. Nakajima s work on quiver varieties [55, 56]. It is thus very esirable to stuy whether the relations to these areas, an applications of the eep methos which they contain, can be use for the evelopment of substantially new results, methos an perspectives for the representation theory of wil quivers. Although much substantial work alreay has been one, it is only fair to say that the representation theory of wil quivers still offers many mysteries. One of the main points which will be mae in the following is that in stuying the representation theory of wil quivers, one has to focus on fining the right questions. This is of course not surprising by consiering the essentially ifferent nature of representation-finite an tame algebras compare to wil algebras: the boy of knowlege in the representation theory of finite imensional algebras, aime towars unerstaning representations of finite type an tame algebras, has evelope many techniques for unerstaning essentially iscrete phenomena (like parametrizing the inecomposable representations, Auslaner-Reiten theory, etc.). But the nature of the representation theory of wil quivers is a continuous one from the very beginning, in that inecomposables appear with arbitrary numbers of parameters (see however [29] for the stuy of wil quivers using Auslaner-Reiten theory). 1

2 The first aim of the present paper is to review some of the results an techniques which are available. The secon, maybe more important, one, is to speculate about further evelopments, to show up possible new questions, an to propose future research projects. The material to be reviewe in the following can be roughly ivie into two types: first, work irectly ealing with (the geometry of) quivers, for example of W. Crawley-Boevey, H. Derksen, V. G. Kac, A. King, L. Le Bruyn, A. Schofiel, M. Van en Bergh, J. Weyman an the author. Secon, some material from fiels like classical invariant theory, algebraic group theory, quantum group theory, vector bunle theory an mathematical physics is iscusse or at least mentione, since it either has relations to quiver theory, or is expecte or hope to have so. One of the aims in reviewing this material is to raw the reaer s attention to some evelopments which might turn out to be useful for the representation theory of quivers in the future. The choice of results to be reviewe is of course completely subjective, chosen accoring to the author s taste an (restricte) knowlege. The paper is organize as follows: in Section 2, some basic notation on representations of quivers, their mouli spaces, an their Hall algebras is reviewe. Section 3 mainly reviews some (well-known) results, which shoul serve as examples of what kins of questions about representations of wil quivers one can actually answer. Section 4 tries to formulate some questions an perspectives about the archetypical example of wilness, namely the multiple loop quiver. In Section 5, one of the at present most successful techniques for the geometric stuy of quivers, the evelopment of goo stratifications of varieties of representations, is iscusse in general. The main aim is to show the nee for a evelopment of a general theory of such stratifications. In Section 6, some first results in the beginning theory of mouli of quiver representations are reviewe. The main point here is to inspire the reaer to consier the vast literature on mouli spaces of vector bunles, which might serve as a guieline towars the future evelopment in the quiver case. Finally, Section 7 reviews some recent results, all of which are inspire by assuming a hypothetical noncommutative algebraic geometry, an looking for the consequences of this point of view. It shoul be notice that the above organization of this paper is sometimes artifical, since all the subjects to be iscusse are highly interrelate. Throughout the paper, certain questions are pose an hopes are expresse, together with many questions an proposals sketche along the text. They are however of very ifferent nature: some of them ask for a stuy of particular examples, some for new classes of examples an phenomenology, some for ol an eep conjectures, an some for possibly long-range research projects. Also they are sometimes only vaguely formulate. None of these questions an hopes are to be taken too literally, an they efinitely shoul not be viewe as explicit formulations of research projects. Instea, they shoul give the reaer an iea of (what the author thinks of) what questions one might pose, an how the fiel might evelop in the future. 2

3 Finally, it shoul be mentione that the Proceeings of at least three ICRAs contain overviews over relate subjects. An overview over the use of homological an Auslaner-Reiten techniques is containe in [29]. Geometric approaches to the representation theory of algebras are reviewe in [40, 5]. For proofs of many of the results to be reviewe here, the reaer shoul also consult L. Le Bruyn s book project [47]. This paper grew out of a talk given at a meeting on Perspectives in the representation theory of finite imensional algebras at the University of Bielefel. I woul like to thank the organizers of this meeting, mainly H. Krause, for the opportunity to talk there, an for the iea of organizing such a meeting ealing solely with potential future evelopments. I woul like to thank C. M. Ringel for encouragement to put this talk, espite its speculative nature, into written form. Furthermore, I woul like to thank K. Bongartz, W. Crawley-Boevey, L. Le Bruyn, A. Schofiel an M. Van en Bergh for inspiring iscussions about many of the topics to be covere. This paper was complete while the author enjoye a research stay at the University of Antwerp, with the ai of a grant of the European Science Founation in the frame of the Priority Programme Noncommutative Geometry. 2 Notation 2.1 General notation We start by fixing some notation which is use constantly throughout this paper. Let Q be a finite quiver with (finite) set of vertices I an (finitely many) arrows α : i j for i, j I. We will assume throughout that Q oes not contain oriente cycles. The free abelian group ZI of I has canonical basis elements i for i I. Let NI be the subsemigroup of nonnegative linear combinations = i I ii of the i I. The Euler form, on ZI is efine by i, j = δ i,j {arrows from i to j in Q}. For a fiel k, the category of finite imensional k-representations of Q is enote by mokq. For all general facts on the representation theory of quivers, the reaer is referre to [3]. Given a imension vector NI, the variety R of k-representations of Q of imension vector is efine as the affine k-space R = Hom k (k i, k j ), on which the algebraic group α:i j G = i I GL i (k) 3

4 acts via (g i ) i (M α ) α = (g j M α g 1 i ) α:i j. By efinition, the orbits O M are in bijection with the isomorphism classes [M] of k-representations of Q of imension vector. 2.2 Mouli spaces We next efine (semi-) stability an mouli spaces for quiver representations. For this, we first have to make a choice. The space of Z-linear functions Hom Z (ZI,Z) has a basis consisting of the i for i I, efine by i (j) = δ i,j for j I. We enote by im the function i I i. Let us choose a function Θ Hom Z (ZI,Z), an efine the slope function µ : NI \ 0 Q via µ() := Θ() im. For a representation X, we will shortly write µ(x) for µ(imx). Call a representation X semistable (resp. stable) if for all proper non-zero subrepresentations U of X, we have µ(u) µ(x) (resp. µ(u) < µ(x)). Note that this notion of semistability is essentially equivalent to that of A. King from [30], where a representation X such that Θ(imX) = 0 is efine to be semistable if an only if Θ(imU) 0 for all proper non-zero subrepresentations U of X. This can be seen as follows: fix the imension vector, an efine a functional Θ = µ() im Θ. Then it is easy to see from the efinitions that a representation X of imension vector is semistable in the sense efine above if an only if it is Θ-semistable in the sense of A. King. The present efinition, coming from vector bunle theory (to be iscusse in Section 6.5) has the avantage of allowing to efine (semi-)stability for representations of arbitrary imension vectors. Denote by R ss (resp. Rs ) the set of points of R corresponing to semistable (resp. stable) representations. By applying the general machinery of D. Mumfor s Geometric Invariant Theory [54], A. King prove the following [30]: Theorem 2.1 (A. King) The variety R ss is an open subset of R, an R s is an open subset of R ss. There exists an algebraic quotient Mss (Q) := Rss //G of R ss by G. Moreover, there exists a geometric quotient M s (Q) := Rs /G of R s by G. The variety M ss is projective, an Ms is a smooth open subvariety of M ss. Remarks: For precise efinitions of the notions of algebraic an geometric quotients, a etaile iscussion of these various quotient constructions, with particular emphasis on their applications to representation theory, see [5]. 4

5 The mouli space M ss is most easily efine as follows: efine a character χ on G via χ((g i ) i I ) = et(g ) Θ(i) i, i I where Θ refers to the above moification of Θ. With respect to this character, we can speak about semi-invariants of the action of G on R of weight χ n, namely, k[r ] G,χ n is efine as the space of regular functions f : R k such that f(gx) = χ(g) n f(x) for all g G an all x R. Then M ss = Proj k[r ] G,χ n, n 0 the projective spectrum of the grae ring of semi-invariants of weight a multiple of χ. This relates the stuy of quiver mouli to the stuy of semi-invariants of [14, 16, 64]. If stability an semistability coincie for representations of imension vector, then M s = Mss is a smooth projective variety, which makes it accessible to many techniques of algebraic geometry. A priori, this is fulfille if µ(e) µ() for all 0 e. A more hany criterion is the following [30]: For generic Θ, we have R s = Rss if an only if is inivisible. The points of M ss o not in general parametrize the isomorphism classes of semistable representations, but only certain equivalence classes of them. Namely, for each µ Q, we have the full subcategory mo µ kq consisting of semistable representations of slope µ, in which the simple objects are precisely the stable representations of slope µ. Two representations X, Y mo µ kq are calle S-equivalent if they have the same Joran-Höler type in mo µ kq. More explicitely, X an Y are S-equivalent if they can be filtere by the same finite set of stable representations of slope µ. 2.3 Hall algebras In this section, we assume that k is a finite fiel, an we let v C be a square root of its carinality (this unusual choice will become clear in Theorem 2.2 below). To efine the Hall algebra, we use M. Kapranov s version [28] of C. M. Ringel s efinition [61], since it makes the relation to the geometry of the representation spaces clear. We efine a convolution on functions on representation spaces. Let C G (R ) be the (finite-imensional) complex vector space of G -invariant functions on R. The elements of C G (R ) can thus also be viewe as formal C-linear combinations of the orbits, an therefore, of the isomorphism classes of -imensional representations by the result above. Let H v (Q) = C G (R ) NI 5

6 be the irect sum of all these spaces, which is viewe as an NI-grae complex vector space in the obvious way. To efine a grae multiplication on H v (Q), let f C G (R ) an g C Ge (R e ) be two functions. We efine the convolution prouct (f g) C G +e (R +e ) by (f g)(x) = v,e U X f(x/u)g(u), where the sum runs over the (finitely many) subrepresentations U of X of imension vector e. Note that the value of f (resp. g) at X/U (resp. at U) is well-efine, since the values of these functions epen only on the isomorphism classes of representations. It is then easy to see that H v (Q) becomes an associative NI-grae C-algebra. For a vertex i I, the variety R i consists of single point; let E i be the function having value 1 on this point. The subalgebra C v (Q) of H v (Q) generate by the elements E i for i I is calle the composition algebra. To formulate the main result about these constructions, we recall some notation on quantize enveloping algebras. In the theory of Kac-Mooy Lie algebras [27], a (symmetric) generalize Cartan matrix is associate to any finite graph. Applying this to the unoriente graph unerlying Q, we arrive at the Cartan matrix C = (a ij ) i,j I efine by a ii = 2 for all i I, an a ij equals the number of arrows between i an j in Q (in either irection) for i j. Note that C is the symmetrization of the matrix representing the bilinear form,. Associate to C, we have ([24] an [51]) the positive part U + v (g) of the quantize enveloping algebra U v(g), which is efine as the Q(v)-algebra with generators E i for i I an the following efining relations (the quantize Serre relations): p+p =1 a ij ( 1) p E (p) i E j E (p ) i = 0 for i j in I. In this efinition, the element E (n) i enotes the ivie power ([n]!) 1 Ei n for i I an n N, where [n]! = [1] [2]... [n] is the quantum factorial efine via the quantum number [n] = (v n v n )/(v v 1 ) Z[v, v 1 ]. Consier also the Z[v, v 1 ]-subalgebra U + of U v + (g) generate by all E (n) i for i I, n N. This algebra can be specialize to any non-zero complex number v in the obvious way, yieling a C-algebra U v + = C Z[v,v 1 ]U +. In particular, the specialization U 1 + is isomorphic to the enveloping algebra U(g+ ) of the positive part of the Kac-Mooy Lie algebra g. The relation between the Hall algebra an the quantize enveloping algebra is given in the following theorem (see [22] an [61]): Theorem 2.2 The map η : E i E i extens to an isomorphism of NI-grae C-algebras η : U v + C v (Q). 6

7 3 Some known results 3.1 General representations As a first step in the geometric stuy of the representation varieties R, one can ask for their generic properties; that is, properties of the representations M in some open subset of R. The iea behin this approach is that much of the complexity in stuying the orbit structure of a variety with a group action comes from bounary phenomena, which are exclue if one restricts to sufficiently small open subsets. As a prototype of this phenomenon, consier conjugacy classes of matrices; that is, representation varieties for the quiver consisting of one loop. Then it is well known that the iagonalizable matrices form a ense subset. In a representation theoretic formulation, this means that a general representation is a irect sum of one-imensional representations of the path algebra k[t]. On the other han, we have the full theory of the Joran canonical form as a bounary phenomenon, which we avoie by restricting to general representations. The stuy of general representations for arbitrary quivers was starte by V. G. Kac [25, 26] an continue by A. Schofiel [62]. We review some of their results. Given imension vectors, e NI, we efine hom(, e) (resp. ext(, e)) as the minimum value of imhom Q (M, N) (resp. of imext 1 Q (M, N)) for representations M R, N R e. Since the functions imhom Q (, ) an imext 1 Q (, ) are upper semicontinuous on R R e, the minimum is obtaine on some open subset of R R e, an thus hom(, e) (resp. ext(, e)) can be viewe as the generic value of the corresponing imensions. Similarly, we efine the generic ecomposition of the imension vector as the ecomposition = n such that on an open subset U of R, all representations M belonging to U ecompose into a irect sum M = M 1... M n of inecomposables of imension vectors imm i = i for i = 1...n. Obviously, this concept is the most interesting from the point of view of the representation theory of finite imensional algebras. Theorem 3.1 (Schofiel) ext(, e) equals the maximum of the values, e, taken over all imension vectors such that ext(, e ) = 0. Theorem 3.2 (Schofiel) is a Schur root if an only if e,, e for all imension vectors e such that ext(e, e) = 0. Theorem 3.3 (Kac) = n is the generic ecomposition of if an only if the following hols: 1. all i are Schur roots, 2. ext( i, j ) equals 0 for all i j. From this theorem we see that one gets a recursive metho for etermining the generic ecomposition, which is a priori not very effective algorithmically. 7

8 Better algorithms can be foun in [63] an in [15]. Of course it woul be very esirable to have an explicit formula instea of an algorithm only, both for practical an for theoretical consierations. A similar phenomenon appears in the escription of the cohomology of quiver mouli, see Section 6.1. In this case, the recursion can be resolve by combinatorial means. Moreover, one can expect such recursive phenomena whenever certain types of stratifications of representation varieties are involve, such that the geometric structure of arbitrary strata can be reuce to generic strata for smaller imension types; see 5.1 for a more precise formulation of this. Motivate by the success for the Harer-Narasimhan recursion an by the improve algorithms [63, 15], one might propose: Hope 3.4 Several of the recursions occuring in the geometric stuy of wil quivers can be resolve to explicit formulas. 3.2 Local an birational geometry As the next step in the geometric stuy of representation varieties, we can ask for local properties of mouli spaces. To o this, it is not neccessary to restrict to the mouli spaces in the sense of A. King efine above: in general, there are many open subsets U R amitting a geometric quotient U/G. The stable locus R s is just one natural choice (but note that it has certain maximality properties by D. Mumfor s general theory, [54]). Since we are only intereste in local properties, we can always assume U to be sufficiently small. The first local property which receive a lot of attention is that of rationality, asking whether a quotient U/G looks like an open subvariety of some affine space. This is a long-staning conjecture in the case of the multiple loop quiver (for an overview, see [43] or [19, Chapter 5]), so the best result one can hope for at the moment is a reuction from arbitrary quivers to this case: Theorem 3.5 ([63]) Let NI be a Schur root, an let U R be an open subset such that a geometric quotient U/G exists. Then U/G is birationally equivalent to the algebraic quotient (k n n ) p //GL n, where n equals the greatest common ivisor of the i for i I, an p equals 1 n, n. More generally, we can ask for the geometric structure of an open neighborhoo of a given point of a quotient. Again one can get a general result [1], but one has to sacrifice the use of the Zariski topology an pass to the etale topology. Alternatively, the reaer might think about the base fiel C, an asking for open neighborhoos in the analytic topology only. To state the result, we nee some notation. The escription of the points of M ss (Q) as S-equivalence classes of semistables can be rephrase as saying that M ss parametrizes isomorphism classes of representations which are irect sums of stable representations of the same slope µ(). Let X = X m Xs ms be such a representation, such that the X i 8

9 are pairwise non-isomorphic stables of slope µ(). Introuce the so-calle local quiver Q X with set of vertices {1,...,s} an δ i,j imx i, imx j arrows from i to j, for all i, j = 1...s. Define a imension vector X for Q X by i = m i for i = 1...s. Theorem 3.6 ([1]) In the etale topology, a neighborhoo of X in M ss (Q) is isomorphic to a neighborhoo of the zero representation in the affine quotient R X (Q X )//G X. Note that Q X usually contains many oriente cycles, so that the affine quotient R X (Q X )//G X is highly nontrivial. To see some analogy to the result of A. Schofiel mentione before, look at the case where is some n-th multiple of a Schur root, an where X is the n-th power of a stable representation in M ss /n (Q). Then the above theorem tells us that in a neighborhoo of X, the mouli space looks like the quotient variety of a (1 n, n )-tuple of n by n matrices in a neighborhoo of the zero tuple of matrices. The two theorems cite in this section inicate a general principle: the stuy of the structure of the mouli spaces M ss shoul be subivisible into two orthogonal irections: the stuy of M ss in the case of ivisible, the stuy of the quotient varieties (k n n ) m //GL n. This suggests the following: Question 3.7 How can this principle be put into precise structural statements? For example, can one prove a result which irectly relates the variety M ss n to the varieties M ss an some (k n n ) m //GL n (or relate varieties) in case of inivisible? Note that this is possible at least birationally by [63]. 3.3 The Kac conjectures Still one of the most funamental results in the representation theory of wil quivers is the theorem of V. G. Kac: Theorem 3.8 ([25]) The imension vectors NI amitting an inecomposable representations of imension vector correspon bijectively to the positive roots of the Kac-Mooy algebra g Q associate to Q. It forms the basis of a number of far-reaching conjectures of V. G. Kac [26], two of which were settle at least in a lot of cases recently [11]. By Kac s theorem, it is clear to expect a close relation between the representation theory of Q an the structure of the corresponing Kac-Mooy algebra g Q. This relation experience a far-reaching conceptual explanation by 9

10 C. M. Ringel s Hall algebra construction [61]. To quote M. van en Bergh, it is surprising that, although Hall algebra theory explaine so much about the relation between mokq an g Q, the Kac conjectures are still open. Consier representations of Q over a finite fiel with q elements F q. A representation is calle absolutely inecomposable if it remains inecomposable even after extening scalars to an algebraic closure of F q (see 6.6 for similar concepts). Let a (q) enote the number of isomorphism classes of absolutely inecomposable representations of F q Q of imension vector. Conjecture 3.9 (Kac) The following hols for arbitrary roots NI: 1. There exists a polynomial P (t) such that P (q) equals a (q) for all prime powers q. This polynomial has nonnegative integer coefficients. 2. The value of P (t) at t = 0 equals the multiplicity of the root in the Kac-Mooy algebra correspoing to Q. Theorem 3.10 ([11]) The above conjectures are true for inivisible. One of the steps of the proof is a translation of the problem to eforme preprojective varieties. This allows us to apply the results of W. Crawley-Boevey on these varieties [8, 9, 10], an their Hyper-Kähler structure introuce by H. Nakajima [55]. The proofs also involve a stuy of the arithmetics of the involve varieties, relate to the Weil conjectures [13]. For the secon conjecture, Harer-Narasimhan techniques are use (see [60], 5.2, 6.1) to relate to quantum group theoretical results. Of course the only hope here coul be: Hope 3.11 The Kac conjectures hol in general. At the moment, it is unclear which techniques coul lea to a proof of the Kac conjectures in full generality. So what this hope mainly expresses is a hope for the evelopment of new techniques. 4 The multiple loop quiver Especially from Section 3.2 it becomes clear that also in a geometric stuy of representations of wil quivers, the multiple loop quiver enters naturally. Somehow of course, this is not a surprise, since after all, wilness is just efine by this quiver. It is thus neccessary that new techniques have to be invente for the stuy of this particular case. So enote by L m the quiver with one vertex an m loops. The representation variety for imension n N is the space (k n n ) m of m-tuples of n n-matrices over k, on which the group GL n acts by simultaneous conjugation. 10

11 First of all, one has to ask for new classes of examples. This coul either mean to restrict to small n, or to restrict the stuy of the action of GL n to some nice subsets U (k n n ) m. The latter case coul mean, for example, to look at simple representations, or at representations with given type of enomorphism ring. It might also turn out to be fruitful to stuy certain combinatorially efine classes of representations of L m (like some analogues of tree moules) from a geometric perspective. In the past, the stuies of the representation varieties for small n mostly ealt with explicit classifications of the orbits, so they o not neccessarily reflect the geometry involve. More precisely, one shoul ask: Question 4.1 What is the geometric structure of the quotient variety for small m, n N? V (m) n = (k n n ) m //GL n Note that this quotient (similar to the case of mouli spaces consiere before) parametrizes semisimple representations of imension n over the free algebra k x 1,...,x m. The following results were pointe out to me by L. Le Bruyn: Assuming n 2, we have that: V n (m) is smooth only if (m, n) = (2, 2); it is a complete intersection only if (m, n) = (2, 2) or = (3, 2) or = (2, 3). In Section 6.3, we will work out a particular example of mouli spaces for the generalize Kronecker quiver. This example also gives a escription for the quotient variety of m-tuples of 2 by 2 matrices with the ai of a simple reuction technique: Denote by K m the m-arrow Kronecker quiver; that is, the quiver with set of vertices {i, j}, an m arrows from i to j. Given a nonnegative integer n, there is a map R n (L m ) R ni+nj (K m+1 ) given by (A 1,...,A m ) (i n, A 1,...,A m ). It is easy to see that this map inuces an open embeing (we choose the stability Θ = i for the quiver K n ) R n (L m )//GL n M ss ni+nj(k m+1 ), such that the isomorphism classes of simple representations are precisely those which map to the classes of stable representations. In connection with this simple reuction, there is the following problem. One can stratify R ni+nj (K m+1 ) accoring to the rank of the matrix corresponing to the first arrow, giving strata S r for r = 0...n. Then, as seen above, S n reuces to m-tuples of n by n matrices. As another obvious special case, S 0 correspons to R ni+nj (K m ). 11

12 Question 4.2 How can one escribe the intermeiate strata S r for r = 1...n 1? L. Le Bruyn proposes to exten this technique, so that arbitrary oriente cycles in a quiver can be resolve. The secon possible new irection for the stuy of L m is motivate by quantum group theory; namely, by a result of B. Sevenhant an M. van en Bergh [65]. They prove: Theorem 4.3 Whenever Q is a quiver without oriente cycles, the Hall algebra is isomorphic to the positive part of the quantize enveloping algebra of a Borchers (generalize Kac-Mooy) algebra g. Borchers algebras iffer from Kac-Mooy algebras in that imaginary simple roots (even with non-trivial multiplicities) are allowe. For an overview, see [58]. An obvious question is: Question 4.4 Is the Hall algebra of L m isomorphic to the quantize enveloping algebra of the positive part g + of some Borchers algebra g m? This is true at least for m = 0, 1. For m = 0, the algebra g is just sl 2, an for m = 1, the algebra g + 1 is an abelian Lie algebra in countably many generators, corresponing to the classes of zero matrices of various sizes (see [53]). It is interesting to speculate on the structure of this conjectural algebra g + m for arbitrary m. It shoul be a Borchers algebra of rank one, say with generator α of the root lattice. Essentially, it shoul be a free Lie algebra. One can also approach this in the spirit of the Kac conjectures. There shoul be (imaginary) simple roots for the root spaces nα for all n N, with certain multiplicities c n, which shoul iffer consierably from the root multiplicities n themselves. Question 4.5 Is there a representation theoretic interpretation of these multiplicities c n an n? An what is the representation theoretic meaning of the Borchers enominator formula in this context? The stuy of the Hall algebras H(L m ) was starte by G. Lusztig in [52]. He proposes to look at the subalgebra generate by the characteristic functions e n of the zero tuple of matrices of various sizes n N. He proves essentially that this is a free associative algebra in the e n, an proposes to view the monomials in the e n as a canonical basis of this subalgebra, in the spirit of his general theory of canonical bases of quantum groups. The justification for this, which is the main result of G. Lusztig on this subalgebra, can be formulate as follows: Given a sequence n 1,...,n s of nonnegative integers summing up to n, consier the close subvariety E of R n (L m ) of tuples of matrices which can be simultaneously conjugate to the upper triangular block form 0 n1 0 0 n ns. 12

13 This can be viewe as the image of the first projection map π from the variety X of pairs consisting of a point (A 1,..., A m ) of R n (L m ) an a flag k n = F 0 F 1... F s = 0 of linear subspaces of k n such that imf k 1 /F k = n k for k = 1...s, such that A an the flag are compatible, in the sense that A k (F l ) F l+1 for all k = 1...m an all l = 1...s. Theorem 4.6 For m 2, the map π : X E is a small resolution in the sense of intersection cohomology theory [7, Chapter 8]. The smallness implies that the pushown of the constant sheaf on X (in the erive category of constructible sheaves) is perverse (up to some shift). Translate to the language of canonical bases [49], this means that the monomial e n1... e ns in H(L m ) shoul be viewe as an element of a canonical basis of the Hall algebra. However, there is no obvious analogue of a PBW basis! A etaile explanation woul lea too far away from the present topic; roughly speaking, a natural orthogonalization proceure which coul prouce such a PBW basis fails. Therefore, it seems neccessary to prouce larger natural subalgebras of H(L m ). Hope 4.7 One can fin larger subalgebras of H(L m ) which still allow a reasonable structure theory, in particular with respect to natural bases for them. In particular, there shoul be small resolutions of certain strata in (k n n ) m relate to analogues of canonical bases, an there shoul be an analogue of a PBW basis. The thir aspect to be mentione about L m starts at the very founations of the representation theory of finite imensional algebras. Roughly speaking, the wilness of a quiver Q is efine by amitting an embeing of the category of representations of some L m for m 2 into mokq. One can ask for geometric analogues of this property. This was evelope by K. Bongartz in [5]. One possible question in this irection is: Question 4.8 What is the nature of maps between representation varieties coming from representation embeings of the corresponing categories? In particular, are there restrictions on the possible images of such embeings? 5 Stratifications The technical heart of many proofs of results on the geometry of quiver representations is forme by the construction of stratifications with certain esirable properties. They constitute a general tool for the evelopment of reuction techniques, recursions, an other means of simplifying the stuy of representation varieties, mouli spaces an other quotients. Because of this importance, they eserve a general stuy for themselves. 13

14 5.1 General iscussion of stratifications In most generality, the term stratification means that we are looking for finite ecompositions R = i I S i of a representation variety R into locally close subvarieties S i, parametrize by certain combinatorial objects. Then one might ask for example the following questions about this stratification: Is there an efficient way to etermine whether S i is non-empty in terms of the combinatorial object i? What are the general geometric properties of the strata S i? For example, are they irreucible? What is their imension? Are they smooth? Are they rational varieties? Is the closure S i of a stratum again a union of some strata? If this is the case, can one escribe the relation S j S i in terms of the objects i an j? Or can one at least efine a partial orering i j on I such that S i i j S j? Does there exist an algebraic quotient S i //G? Or even a geometric quotient S i /G? If this is the case, what can one say about the structure of these quotients? Answer the previous question at least for the (!) ense stratum S 0. The most favourable property regaring quotients is the following: Hope 5.1 For certain goo stratifications, one can relate (in a geometric way) a quotient S i //G to the structure of some S 0 //G for another imension vector, or to some S 0 (Q )//G for another quiver Q, or to some (k n n ) m //GL n. There are essentially two sources for such stratifications: on the one han, geometric stratifications, obtaine by specializing general concepts from Algebraic Geometry, Geometric Invariant Theory, or the theory of transformation groups, to the special situation of the action G : R. On the other han, representation theoretic stratifications, which are constructe using representation theoretic concepts. In general, the geometric stratifications have the avantage that, just from the very beginning, some goo geometric properties are known. But the isavantage usually is that the relation to the representation theory of Q is ifficult 14

15 to get; in particular, their combinatorics is usually ifficult to escribe. Conversely, for the representation theoretic stratifications one has a goo control over the combinatorial aspects, or nice reuction techniques, etc., but it is then usually very ifficult to establish any goo geometric properties, especially concerning the existence (an escription) of quotients. Some examples for the first type of stratifications inclue sheets [6], the Hesselink stratification [44, 45, 46], or the Luna stratification of quotients [48]. Representatively for the secon type, which we will consier exclusively in the following, we have the stratification by ecomposition type, the Harer- Narasimhan stratification, an the exhaustion of R by subvarieties of fixe types of composition series. They will be iscusse in the following section. 5.2 Examples As a first example, let us consier the stratification by ecomposition type. Fix a imension vector NI, an consier an arbitrary ecomposition : = n into other imension vectors. Define S as the set of all representations isomorphic to a irect sum of inecomposables of imension vectors i for i = 1...s. From the point of view of the representation theory of finite imensional algebras, this is the most natural stratification. It is also clear that we can easily characterize the non-empty strata by means of Kac s Theorem: The stratum S is non-empty if an only if each i is a positive root. But this stratification usually has very ba geometric properties, as was alreay emonstrate in an example by H. Kraft an C. Rietmann [42]: Consier the quiver with set of vertices {i, j}, two arrows from i to j, an one arrow from j to i. Then, for the imension vector = 2i + j, the ense stratum S () of inecomposables is not locally close, but only constructible. As the next example, let us look at the Harer-Narasimhan filtration. The main result unerlying its efinition is the following: Proposition 5.2 Fix a slope function µ as in Section 2.2. Then every representation X possesses a unique filtration such that 0 = X 0 X 1... X s = X all subquotients X k /X k 1 are semistable, µ(x 1 /X 0 ) >... > µ(x s /X s 1 ). This allows us to make the following efinition: suppose = ( 1,..., s ) is a ecomposition of, that is, = s. Then efine the HN stratum S as the set of all representations X such that, in the Harer-Narasimhan filtration of X, we have imx k /X k 1 = k for all k = 1...s. Just from the efinition, we see immeiately that the open stratum S () = R ss consists precisely of 15

16 the semistable representations, so the results reviewe in Section 2.2 apply; in particular, the ense stratum amits an algebraic quotient. Moreover, one can relate the structure of an arbitrary HN stratum to the generic strata for other imension vectors. More precisely, S G P V for a certain vector bunle V s k=1 S ( k ) an a certain parabolic subgroup P G. Thus, we see that many of the general questions pose above allow an answer for the Harer-Narasimhan stratification. However, what is missing is an explicit escription of the non-empty strata, or equivalently, an explicit criterion for the existence of semistables of a given imension vector. The only known criteria are of a recursive nature (compare the iscussion in 3.1): Lemma 5.3 For NI, we have R ss if an only if there is no ecomposition = s such that R ss for all k = 1...s, µ( 1 ) >... > µ( s ) k an k, l = 0 for all k < l. As the thir example, we formulate a proposal for a construction of a very general class of stratifications. The starting point is an arbitrary torsion theory (T, F) on mokq; that is, Hom(X, F) = 0 if an only if X T, an Hom(T, X) = 0 if an only if X F, for all X mokq. Then one can efine, for all pairs of imension vectors e, a stratum S e in R as the set of all X R whose torsion part (with respect to (T, F)) has imension vector e. It seems that, using the same techniques as in the HN case, one can reuce arbitrary such strata to generic strata for smaller imension vectors. Note that the HN stratification in fact fits into this general scheme: for any µ Q, efine T µ as the set of all representations whose HN filtration have all subquotients of slope µ, an F µ as the set of all representations whose HN filtration have all subquotients of slope < µ. It is then rather easy to see that (T µ, F µ ) efines a torsion theory. This proposal suggests: Hope 5.4 One can evelop a general theory of stratifications of the R inuce by types of filtrations, torsion theories etc. for mokq. 5.3 The composition monoi The last example to be iscusse is of a quite ifferent nature, since it is not a stratification, but an exhaustion of the representation varieties R. Furthermore, although its origin is representation theory, the tools to stuy its structure are inspire by quantum group theory. The following can be foun in [59]. Fix a imension vector NI. For each wor ω = (i 1... i n ) in the alphabet I, being of weight (i.e. such that = n k=1 i k), an any representation X, we efine a composition series of type ω of X to be a sequence X = X 0 X 1... X n = 0 such that X k 1 /X k E ik for k = 1...n, where E i enotes the simple representation corresponing to a vertex i in I. Finally, we efine E ω as the set of all 16

17 representations X R possessing a composition series of type ω. The E ω are close irreucible subvarieties of R. Denote the set of all wors as above by Ω. This set becomes a monoi via concatenation of wors. We also efine a partial orering on Ω as follows: choose a total orering on I such that the existence of an arrow i j implies i < j in I. Then efine the partial orering on Ω to be generate by ω 1 ijω 2 < ω 1 jiω 2 whenever i < j in I, an ω 1, ω 2 Ω. The following is easy to see: Lemma 5.5 If ω ω, then E ω E ω. Thus, we see that the E ω for wors ω of weight efine an exhaustion of R : we always have the trivial stratum {0} = E n n...1 1, an the full representation variety itself R = E n n, where we assume I = {1,...,n}, compatible with the total orering chosen above. The main question about this stratification is uner which conitions on the wors ω, ω o we have equality E ω = E ω of the corresponing close subvarieties of R. Certain egenerate variants of quantum groups enter naturally in this problem, which is escribe in the following. The basis for this construction is: Lemma 5.6 Let A R an B R e be irreucible, close subsets, stable uner the action of the group G (resp. G e ). Define A B as the set of all representations X R +e such that there exists an exact sequence 0 B X A 0 for some A A, B B. Then A B is again irreucible, close, an stable uner the group G +e. This allows the following efinition: Definition 5.7 The set M of irreucible, close, G -stable subvarieties of the varieties R for various NI, together with the operation an the unit element R 0, is calle the extension monoi of Q. The monoi M seems to be too large to stuy its algebraic structure in general. Therefore, in analogy to the Hall algebra situation in Section 2.3, we introuce the composition monoi C as the submonoi of M generate by the elements R i for i I. It is then clear that each element of C is of the form E ω for some wor ω. The relation of C to quantum groups is the following: Theorem 5.8 The map η sening E i to R i for i I extens to a surjective monoi homomorphism η : U C, where the monoi U is efine by generators E i for i I an relations E n+1 i E j = Ei n E j E i, E i E n+1 j = E j E i Ej n if there is no arrow from j to i in Q, an n equals the number of arrows from i to j. 17

18 Note that the monoi ring CU is relate to the specialization at v = 0 of a twiste form of U + v (g Q ) (see Section 2.3); see [59] for etails. It is easy to give examples of comparison maps η which are not bijective. Therefore, it becomes neccessary to evelop new techniques for the stuy of relations in C. It turns out that A. Schofiel s analysis of generic properties of representations, reviewe in Section 3.1, fits into this context, in that these results can be reformulate as algebraic properties of C. Two results in this irection are the following : Theorem For, e NI, the relation R R e = R +e hols in C provie ext(e, ) = Each element of C can be written in the form R 1... R s, where each k is a Schur root, an ext( k+1, k ) 0 provie ext( k, k+1 ) 0, for all k = 1...s 1. 6 Mouli spaces The most accessible objects currently available for the geometric stuy of isomorphism classes of quiver representations are the mouli spaces M ss efine in Section 2.2. Some representation theoretists feel uncomfortable with them, since their efinition epens on the choice of stability Θ. Proposals for more canonical constructions exist, but apparently not much has been prove about them. So the general principle in the following is to ignore this choice, an to ask for a stuy of M ss for arbitrary Θ. This has the avantage of giving us the well-evelope machinery of D. Mumfor s GIT [54] at han. 6.1 Cohomology of mouli spaces The starting point of [60] is the wish to translate the techniques of [23] from the context of mouli spaces of vector bunles on smooth projective curves to the mouli spaces of quivers. In [23], G. Harer an M. S. Narasimhan provie a recursive technique to compute Betti numbers of such mouli spaces, which involves counting certain classes of vector bunles over finite fiels, together with the Weil conjectures [13]. In a general context of Geometric Invariant Theory quotients (but using the Hesselink stratification), this technique is evelope in [32]. One of the key results of [60] is that the HN recursion makes sense even in the non-commutative context of quantum groups. Whereas the original philosophy of [23] seeks to express the number of rational points of R ss over a finite fiel k by a recursive expression, the iea of [60] is to fin a similar expression irectly for the characteristic function E ss { 1, X R E ss ss (X) = 0, otherwise, of Rss : 18

19 viewe as an element of the Hall algebra H v (Q). The result is the following: Theorem 6.1 For each NI, the element E ss E ss is given by = E v k<l k, l E ss 1... Ess s, where the sum runs over all sequences ( 1,..., s ) of imension vectors which sum up to, an which fulfill the property µ( 1 ) <... < µ( s ). In particular, if Θ is constant on the support of, that is, on the i I such that i 0, then E ss = E. The element E ss is given explicitely by the formula E ss = ( 1) s 1 v k<l k, l E 1... E s, where the sum runs over all sequences ( 1,..., s ) of non-zero imension vectors which sum up to, an which fulfill the property µ() < µ( k ) µ( s ) for all k = 2...s. Corollary 6.2 For all NI, we have E ss C v(q) U + v. We can therefore consier the elements E ss as elements of U+ v. Since the composition algebra C v (Q) H v (Q) is efine by generators only, it is ifficult to ecie for a given function of H v (Q) whether it belongs to C v (Q) or not. This has been the subject of several works. The above corollary provies a large class of such elements. The algebraic use of these results lies in the construction of a large linearly inepenent subset, the Harer-Narasimhan system, in U + v. Theorem 6.3 The set is an orthogonal system in U + v. {E ss 1... Ess s : µ(1 ) <... < µ( s )} \ {0} Turning to the geometry of the mouli spaces, one can specialize the formulas of Theorem 6.1 at the evaluation character f G 1 X f(x) of H v(q) to get a formula (recursive, resp. close) for the fraction R ss / G. Using methos of Geometric Invariant Theory [54] over finite fiels [60, Section 6], together with the Weil conjectures ([13], applie similarly to [32] an [21]), one arrives at the following formula for Betti numbers of mouli spaces: Theorem 6.4 Suppose that Θ() an im are coprime. Then M ss (C) is a smooth projective complex variety, an its Poincaré polynomial in cohomology with complex coefficients i Z im C H i (M ss (C),C)vi is given by the formula (v 2 1) 1 im v i I i(i 1) ( 1) s 1 v 2 k l i j k i l j 19 s ([ k i ]!) 1, k=1 i I

20 where the sum runs over all tuples ( 1,..., s ) of non-zero imension vectors which sum up to, an which fulfill the property µ() < µ( k ) µ( s ) for all k = 2...s. This allows us to give new cohomology formulas even in classical situations of Geometric Invariant Theory, like the quotients (P m 1 ) n ss /PGL(m) of [54, Chapter 3]. See [60, Section 7] for more etails. The Harer-Narasimhan techniques of [60] have also prove to be useful in [11]. It woul be very esirable to erive similar results on counting special types of representations, most importantly stable representations, or simple representations in the more general case of quivers with oriente cycles. One first has to efine the right objects to count: Definition 6.5 A representation X of F q Q is calle absolutely simple (resp. absolutely stable) if it remains simple (resp. stable) after base extension to an algebraic closure F q. For both situations, one can erive an arithmetic theory of such representations analogous to the one for absolutely inecomposables in [25, 42]. Hope 6.6 One can erive recursive formulas for the number of (resp. the number of isoclasses of) absolutely simple (resp. absolutely stable) representations. 6.2 Mouli for Kronecker moules As a particular example of the use of the techniques evelope above, let us look at mouli spaces for Kronecker moules. As in Section 4, we consier the quiver K m with set of vertices {i, j}, an m arrows from i to j. We choose the canonical stability Θ = i, an consier inivisible imension vectors only. The quivers K m have a very special property, in that the reflection functors inuce ientifications of the mouli spaces (this can be checke rather easily by making the semistability conition explicit). Question 6.7 Are there any compatibilities between reflection functors an semistability for other quivers? Therefore, we can assume that the imension vector = i i + j j lies in the funamental omain [25], thus satisfying 2 m i j m 2 i. Moreover, there is a natural uality which allows us to assume i j. Here are some examples of Betti numbers (imh 2i (M ss (C),C)) i for the mouli spaces M ss of the quiver K 3 uner the above restrictions. They are obtaine via an algorithm which is prove in [60] together with Theorem 6.4 above: = i + j: 1,1,1 = 2i + 3j: 1,1,3,3,3,1,1 = 3i + 4j: 1,1,3,5,8,10,12,10,8,5,3,1,1 20

21 = 4i + 5j: 1,1,3,5,10,14,23,30,41,46,51,46,41,30,23,14,10,5,3,1,1 = 5i + 6j: 1,1,3,5,10,16,27,39,60,83,114,146,184,214,239,246,... = 5i + 7j: 1,1,3,5,10,16,28,43,68,98,142,190,251,306,361,393,410,... = 6i + 7j: 1,1,3,5,10,16,29,43,69,100,149,206,289,380,504,635,792, 942,1102,1221,1316,1339,... What can alreay be seen from this escription is that, asymptotically, the Poincaré polynomial looks like 1 + q + 3q 2 + 5q q q q A quick glance at the Online Encyclopeia of Integer Sequences \protect\vrule with0pt\protect\href{ tells us that the coefficient of q n is the number p n of two-row plane partitions of weight n, that is, tuples of integers λ 1 λ , µ 1 µ such that λ i µ i for all i, an i λ i + i µ i = n. Question 6.8 Is there a natural combinatorial parametrization of cohomology classes in H (M ss ) by (certain special kins of) such two-row plane partitions? The generating function n=0 p nq n of two-row partitions equals: (1 q) (1 q i ) 2, i=1 which is essentially the square of the Deekin η-function, which becomes (almost) a moular form if q is replace by e 2πiz (see also Section 7 for further such moularity properties). Question 6.9 What (if any) is the geometric or representation theoretic relevance of this numerology? That it is not too absur to ask such questions is motivate by similar asymptotic results of J.-M. Drezet [17]. The iea is to fix the imension vector, an to increase the number of arrows. At first sight, this is not too reasonable from the point of view of representation theory. But note that in the example to be worke out below in Section 6.3, one can see that the mouli spaces becomes more well-behave if the number of arrows is increase. This is also familiar in Classical Invariant Theory [41]. Drezet s result roughly states that, as the number m of arrows increases, the mouli space M ss i+ej (C) apporaches the classifying space B((GL GL e )/C ), whose Poincaré polynomial in cohomology is given by (1 q) i=1 (1 qi ) 1 e i=1 (1 qi ) 1. 21