arxiv: v1 [math.rt] 1 Jul 2015

Transcription

1 QUIVER GRASSMANNIANS OF TYPE D n PART 1: SCHUBERT SYSTEMS AND DECOMPOSITIONS INTO AFFINE SPACES rxiv: v1 [mth.rt] 1 Jul 2015 OLIVER LORSCHEID AND THORSTEN WEIST ABSTRACT. Let Q be quiver of extene Dynkin type D n. In this first of two ppers, we show tht the quiver Grssmnnin Gr e (M) hs ecomposition into ffine spces for every imension vector e n every inecomposble representtion M of efect n efect 0, with exception of the non-schurin representtions in homogeneous tubes. We chrcterize the ffine spces in terms of the combintorics of fixe coefficient quiver for M. The metho of proof is to exhibit explicit equtions for the Schubert cells of Gr e (M) n to solve this system of equtions successively in liner terms. This les to n intricte combintoril problem, for whose solution we evelop the theory of Schubert systems. In the sequel [30], we exten the result of this pper to ll inecomposble representtions M of Q n etermine explicit formule for their F-polynomils. CONTENTS Introuction 1 1. Bckgroun 6 2. Schubert systems 9 3. First pplictions Schubert ecompositions for type D n Proof of Theorem Appenix A. Representtions for quivers of type D n 58 Appenix B. Bses for representtions of type D n 61 References 72 INTRODUCTION Quiver Grssmnnins re vrieties tht prmetrize subrepresenttions of quiver representtions. They first ppere in literture nerly 25 yers go (cf. [37]), but the lrge ttention they receive in recent yers is ue to their relevnce for cluster lgebrs s introuce by Fomin n Zelevinsky in the series of ppers [20], [21], [1] n [22]. To explin the relevnce of the results of the present pper n its sequel [30], we review prts of the evelopments in the theory of cluster lgebrs before we escribe the result of this pper. 1

2 2 OLIVER LORSCHEID AND THORSTEN WEIST Cluster lgebrs. There re mny well-written introuctions to cluster lgebrs, e.g. see [20], [35] or [26]. To simplify mtters, we restrict ourselves in this exposition to cluster lgebrs A tht hve trivil coefficients n come from quiver Q with n vertices. The cluster lgebr A of Q is efine s subring of the fiel Q(x 1,...,x n ) of rtionl functions tht is generte by the so-clle cluster vribles. The cluster vrible re obtine from x 1,...,x n by n itertive proceure of so-clle muttions, which re prescribe but the quiver Q n its muttions. Though it turns out, posteriori, tht some well-unerstoo cluster lgebrs ber simple escriptions in terms of genertors n reltions ([23]), the recursive efinition in terms of muttions mkes it, in generl, ifficult problem to fin such escriptions. Much work from the pst ten yers hs been evote to fin bses n reltions for pprochble clsses of cluster lgebrs. Similr to the shrp istinction between the representtion theory of tme n wil quivers, cluster lgebrs re ivie into muttion finite n muttion infinite lgebrs. While there is little known for muttion infinite cluster lgebrs, mny results hve been estblishe for muttion finite cluster lgebrs. To wit, ll cluster lgebrs coming from tme quivers re muttion finite, n we ivie them into types A, D n E, ccoring to the type of the tme quiver. The only wil quivers leing to muttion finite cluster lgebrs re the generlize Kronecker quivers K(m) for m > 2 n five other quivers with oriente cycles ([2], [19], [18]). There hve been two mjor pproches to stuy muttion finite cluster lgebrs. One of them pplies to muttion finite cluster lgebrs of types A n D n mkes use of tringultions of mrke surfces ([31], [32]). For type A, muttions re unerstoo by geometric mens, which yiels bses for these cluster lgebrs ([36],[17]). There re some prtil results for type D ([34], [24]) n generl wy to compute Euler chrcteristics in terms of tringultions ([31]), but this hs not been crrie out yet for cluster lgebrs tht come from quivers of extene Dynkin type D. An lterntive pproch is ue to cluster chrcters ([22], [33], [14], [15], [16]). A cluster chrcter ssocites with ech representtion M of Q n element X M of the cluster lgebr A. This efines mp from the inecomposble representtions of Q whose imge is the set of cluster vribles ([4]). The cluster vrible X M is given by n explicit expression in the Euler chrcteristics of the quiver Grssmnnins ssocite with M ([3], [10] n [11]). These Euler chrcteristics hve been clculte for the inecomposble representtions of quivers of (extene) Dynkin type A in [6] n [25] n for the Kronecker quiver K(2) in [5] n [8]. There hve been prtil results for representtions of low rnk for other types in [13] n [7]. Aim of this text. In this pper n its sequel [30], we will work out explicit formule for the Euler chrcteristics of quiver Grssmnnins of extene Dynkin type D, which yiels escription of the cluster chrcter for muttion finite cluster lgebrs of type D. Our technique is bse on Schubert ecompositions s introuce in [28] n [29]. In the following, we will explin this pproch n our results in more etil.

3 QUIVER GRASSMANNIANS OF TYPE D n, PART 1 3 Schubert ecompositions of quiver Grssmnnins. Let Q be quiver, M complex representtion n e = (e p ) imension vector for Q. The quiver Grssmnnin Gr e (M) is efine s the set of ll subrepresenttions N of M with imension vector imn = e. An orere bsis for M is the union B = p Q 0 B p of bses B p of M p whose elements re linerly orere. The choice of n orere bsis B of M ientifies Gr e (M) with close subvriety of the usul Grssmnnin Gr(e,) by consiering N s subvector spce of M C, where = imm n e = e p. This enows Gr e (M) with the structure of complex vriety, n this structure oes not epen on the choice of the orere bsis B. The Schubert ecomposition Gr(e,) = C β () of the usul Grssmnnin, where β rnges through ll subsets of B of crinlity e, restricts to the Schubert ecomposition Gr e (M) = C M β of the quiver Grssmnnin where C M β = C β() Gr e (M). Note tht the Schubert cells C M β re ffine vrieties, but tht they re, in generl, not ffine spces. In prticulr, Schubert cell C M β might be empty. See section 1.2 for more etils. We sy tht Gr e (M) = C M β is ecomposition into ffine spces if every Schubert cell CM β is either n ffine spce or empty. In this cse, the clsses of the closures of the non-empty Schubert cells in Gr e (M) form n itive bsis for the singulr cohomology ring of Gr e (M), n the cohomology is concentrte in even egree, cf. [29, Cor. 6.2]. In prticulr, we erive the following chrcteriztion of the Euler chrcteristic of Gr e (M). Proposition. If Gr e (M) = Cβ M is ecomposition into ffine spces, then the Euler chrcteristic of Gr e (M) is equl to the number of non-empty cells Cβ M. Representtions of extene Dynkin type D. Let Q be quiver of extene Dynkin type D n, i.e. of the form q q b b v 0 c q 0 q 1 q n 5 q n 4 q c q where the rrows re llowe to ssume ny orienttion. The representtion theory of Q is wellunerstoo; in prticulr, there re escriptions of ll inecomposble representtions of Q in [9] or [12]. We summrize this theory in Appenix A. With this knowlege bout the representtion theory of Q, it is esy to escribe the mtrix coefficients of the liner mps M v w.r.t. to chosen bsis B for representtion M of Q where v is n rrow of Q. For the purpose of this pper, we exhibit for every inecomposble representtion M prticulr orere bsis B n present the mtrix coefficients in terms of the coefficient quiver Γ of M w.r.t. B. We explin the construction of these bses in Appenix B n restrict ourselves in section 4.3 to short escription of the cses tht we tret in the present Prt 1 of the pper.

4 4 OLIVER LORSCHEID AND THORSTEN WEIST The min result. Let M be n inecomposble representtion of Q n B the orere bsis s constructe in Appenix B. Then the following hols true. Theorem A. The Schubert ecomposition Gr e (M) = Cβ M for every imension vector e. is ecomposition into ffine spces For inecomposble representtions of efect n 0, with the exception of non-schurin representtions in homogeneous tube, this is Theorem 4.4. Moreover, Theorem 4.4 contins n explicit escription of the empty Schubert cells in terms of the combintorics of the coefficient quiver Γ of M w.r.t. B. Schubert systems. The technique of the proof of Theorem A is to exhibit prticulr system of equtions for ech non-empty Schubert cell Cβ M n solve this system of equtions successively in liner terms. More precisely, the results of [28] n [29] provie us with certin polynomils E(v,t, s) in C[w i, j i, j B]. If we enote the vnishing set of these polynomils by V (M,B), then the vrious Schubert cells Cβ M result s the intersection of V (M,B) with n pproprite ffine subspce of {(w i, j )} i, j B tht is efine by equtions of the form w i, j = 0 n w i, j = 1. The ifficulty of the proof lies in the intricte combintorics of the system of equtions E(v,t, s). We orgnize this combintoril t in terms of the Schubert system Σ of M w.r.t. B, which is grph whose vertices re the inices (v,t,s) of the polynomils E(v,t,s) n the inices (i, j) of the vribles w i, j n whose eges inicte tht w i, j ppers non-trivilly in E(v,t, s). The Schubert system comes with itionl t tht remembers the terms of n eqution E(v,t,s) n their coefficients. For given β, we cn evlute prt of the vribles w i, j ccoring to the equtions w i, j = 0 n w i, j = 1, which les us to the β-stte Σ β of the Schubert system. Certin combintoril conitions on Σ β imply tht the Schubert cell is empty, n others tht the Schubert cell is n ffine spce. The proof of Theorem A consists in verifiction of these conitions for ll subsets β of B. Remrk. One might woner if there is no shorter proof of Theorem A tht uses rguments from representtion theory inste of the lengthy combintoril proof in terms of Schubert systems. We were not ble to fin such proof for the cses consiere in this pper. However, the reer will fin representtion theoretic rguments in the sequel [30], which use the results from this pper to complete the proof of Theorem A. Though in principle, ll the methos in the proof of Theorem A exten to other types of quiver Grssmnnins, shorter n more systemtic rguments woul be of vntge for generliztion of the present results. Sie results. As first ppliction of the theory of Schubert systems, we (re-)estblish ecompositions into ffine spces of the quiver Grssmnnins Gr e (M) for ll exceptionl representtions of the Kronecker quiver n for ll inecomposble representtions of quivers of Dynkin types A n D.

5 QUIVER GRASSMANNIANS OF TYPE D n, PART 1 5 Results from Prt 2. In the sequel [30] to this pper, we complete the proof of Theorem A for ll inecomposble representtions M of Q, together with chrcteriztion of the non-empty Schubert cells. This reuces the clcultion of the Euler chrcteristic χ e (M) of Gr e (M) to counting problem of non-empty Schubert cells. The cluster vribles for Q re given by the reltion ( X M = x p Q0 (p,q)imm p imm q ( ) q F M x (q,p) (p,q) p )q Q 0 q Q 0 p Q 0 where (p,q) is the number of rrow from p to q n F M = e χ e (M)x e is the F-polynomil of M. The explicit formule for the F-polynomil for inecomposble representtions re escribe below. Vi F M N = F M F N, we obtin the cluster vribles for ll representtions of Q. Homogeneous tubes. Let δ be the unique imginry Schur root. The F-polynomil F δ of Schur representtion in homogeneous tube is esily etermine from Theorem 4.4. It epens on the orienttion of Q, but not on the homogeneous tube. The F-polynomil F rδ of n inecomposble representtion with imension vector rδ in homogeneous tube is given by F rδ = 1 2z (λr+1 + λ r+1 ) where z = 1 2 F 2 δ 4xδ n λ ± = F δ 2 ± z. Exceptionl tubes. Every inecomposble representtion in n exceptionl tube of rnk m is contine in uniquely etermine sequence M 0,0 M 0,1 M 0,m M 1,0 M 1,1 of irreucible injective homomorphisms where M 0,0 = 0 is the trivil representtion n ll other representtions M i, j in this sequence re inecomposbles of the sme tube. The imension vector α(r,i) of M r,i is rel root for i = 1,...,m 1 n α(r,0) = rδ is n imginry root. We enote the F-polynomil of M r,i by F r,i. If α is rel root, then we enote the F-polynomil of the unique inecomposble representtion M with imm = α by F α. We efine F α = 0 if component of α hs negtive coefficient n set α(r,m) = (r + 1)δ. The polynomils F 0,i re esily etermine from Theorem 4.4. The F-polynomils for r 1 re given by F r,i = F 0,i F rδ + x α(0,i+1) F α(0,m) α(0,i+1) F (r)δ. Preprojective component. Let M be n inecomposble preprojective representtion of efect n r 0 such tht 0 ɛ M = imm rδ δ. The F-polynomil F ɛm of the rel root ɛ M is esily etermine from Theorem 4.4. Let τ be the Auslner-Reiten-trnsltion. If δ ɛ M is injective, then we hve F M = F ɛm F rδ x δ F (r)δ. If δ ɛ M is not injective, then we hve F M = F ɛm F rδ x τ ɛ M F δ τ ɛ M F (r)δ.

6 6 OLIVER LORSCHEID AND THORSTEN WEIST Every inecomposble representtion B of efect 2 is the extension of two prticulr inecomposble representtions M n N of efect such tht F B = F N F M x imτm F N/τ M. Preinjective component. Every preinjective representtion is the ul M of preprojective representtion M with F-polynomil F M = c e x e. The F-polynomil of M is F M = c e x e with c e = c imm e. Content overview. In section 1, we review some bckgroun mteril on coefficient quivers n Schubert cells. In section 2, we introuce Schubert systems n their β-sttes. We evelop wys to compute β-sttes efficiently n escribe combintoril criteri uner which the Schubert cell Cβ M is empty or n ffine spce. In section 3, we pply the theory of Schubert systems to the Kronecker quiver n Dynkin quivers of types A n D. In section 4, we formulte the min result Theorem 4.4 of this pper. For this, we escribe bsis for ll inecomposble representtions tht re consiere in Theorem 4.4, n we chrcterize those β for which the Schubert cell Cβ M is empty in terms of the combintorics of the coefficient quiver Γ. The proof of Theorem 4.4 is the content of section 5. In Appenix A, we summrize the representtion theory of quivers of extene Dynkin type D. In Appenix B, we explin how to construct the coefficient quivers tht we use in this text. Acknowlegements. We woul like to thnk Jn Schröer for clling our ttention to type D cluster lgebrs n for his help with this project. We woul like to thnk Giovnni Cerulli Irelli for his explntions bout cluster lgebrs. We woul like to thnk Mrkus Reineke n Christof Geiß for their interest n their ssistnce of this project. 1. BACKGROUND Let Q be quiver with vertex set Q 0 n rrow set Q 1. A (complex finite imensionl) representtion of Q is collection of finite imensionl complex vector spces M p inexe by the vertices p of Q together with collection of liner mps M : M p M q inexe by the rrows v : p q of Q. A representtion M is thin if imm p 1 for ll p Q 0, n M is sincere if imm p 1 for ll p Q 0. Remrk 1.1. Though mny results of this text re vli for rbitrry bse rings k inste of C, we restrict ourselves to k = C, which is sufficient for pplictions to cluster lgebrs. We note tht the representtion theory of extene Dynkin quiver is essentilly the sme for ll lgebric close fiels k, but it iffers for other rings k. However, the proof of Theorem 4.4 is vli for ny bse ring k.

7 QUIVER GRASSMANNIANS OF TYPE D n, PART Coefficient quiver. Let M be representtion of Q with bsis B = p Q 0 B p. Let v : p q be n rrow of Q n i B p. Then we hve the equtions M v (i) = j B q µ v,i, j j with uniquely etermine coefficients µ v,i, j C. The coefficient quiver of M w.r.t. B is the quiver Γ = Γ(M,B) with vertex set Γ 0 = B n rrow set Γ 1 = { (v : p q,i, j) Q 1 B B i Bp, j B q n µ v,i, j 0 }. It comes together with morphism F : Γ Q tht sens i B p to p n (v,i, j) to v, n with thin sincere representtion N = N(M,B) of Γ with bsis B n 1 1-mtrices N (v,i, j) = (µ v,i, j ). Note tht M is cnoniclly isomorphic to the push-forwr F N. Therefore the morphism F : Γ Q of quivers together with the weights µ v,i, j of the rrows of Γ etermine M n B. This llows us to escribe bsis of M in terms of the coefficient quiver Γ = Γ(M,B) n the weights µ v,i, j. Remrk on illustrtions. Typiclly, we ientify Γ 0 with set of nturl numbers. We will illustrte coefficient quivers Γ = Γ(M, B) n the ssocite morphism F : Γ Q in the following wy: we lbel the rrows (v,i, j) of Γ with their imge rrows v in Q, together with the non-zero weight µ v,i, j unless it is 1. We rw the vertices i n rrows v : i j of Γ bove their respective imge F(i) n v in Q. An exmple of coefficient quiver of n inecomposble moule is the following c,µ 1 6 b c,µ 8 Γ v 2 0 v 1 b q q b b v 0 v 1 v 0 v 1 c q 0 q 1 q 2 Q If there is no nger of confusion, we will omit the quiver Q n the mp F : Γ Q from the illustrtion. Since it is often possible to renormlize the weights µ v,i, j to 1 without chnging the isomorphism clss of M, we re ble to omit the weights for most rrows. To be precise, we cn renormlize the weight µ v,i, j to 1 whenever the rrow (v,i, j) is not contine in cycle. This is chieve by scling ll the bsis elements with pth to the til of (v,i, j) which oes not contin (v,i, j) by the fctor µ v,i, j Schubert ecompositions. We review the efinition of the Schubert cells Cβ M n the Schubert ecomposition of Gr e (M) in more etil. A point of the Grssmnnin Gr(e,) is n e-imensionl subspce V of C. Let V be spnne by vectors w 1,...,w e C. We write q c q F

8 8 OLIVER LORSCHEID AND THORSTEN WEIST w = (w i, j ) i=1..., j=1...,e for the mtrix of ll coorintes of w 1,...,w e. The Plücker coorintes β (V ) = et(w i, j ) i β, j=1...,e (where β is subset of {1,...,} of crinlity e) efine point ( β (V )) β in P ( Λ e C ). For two orere subsets β = {i 1,...,i e } n β = { j 1,..., j e } of {1,...,}, we efine β β if i l j l for ll l = 1...,e. The Schubert cell C β () of Gr(e,) is efine s the loclly close subvriety of ll subspces V such tht β (V ) 0 n β (V ) = 0 for ll β > β. Let M be representtion of Q with orere bsis B, the imension of M s complex vector spce, e = (e p ) imension vector of Q n e = e p the sum of its coorintes. The orere bsis B ientifies M with C n subrepresenttion N with imn = e with n e-imensionl subvector spce of C. This ssocition ientifies Gr e (M) with close subvriety of Gr(e,). We efine the Schubert cell C M β s the intersection C β() Gr e (M). A subset β of B is of type e if β p = β B p is of crinlity e p for every vertex p of Q. Since the embeing into Gr(e,) fctors into Gr e (M) p Q 0 Gr(e p, p ) Gr(e,) where p = imm p, we see tht C β () Gr e (M) is empty if β B is subset of crinlity e tht is not of type e. Therefore the cells in the Schubert ecomposition Gr e (M) = cn be inexe by subsets β B of type e. β B of type e 1.3. Representtions of Schubert cells. We escribe explicit equtions for the Schubert cells Cβ M, which relize them s close subvrieties of n mbient ffine spce; cf. [28]. For subset β of B, let N be point of Cβ M. If β is of type e, then this mens tht N p is e p - imensionl subspce of M p for every p Q 0 such tht M v (N p ) N q for every rrow v : p q in Q. For every p Q 0, the vector spce N p hs bsis (w j ) j βp where w j = (w i, j ) i Bp re column vectors in M p w.r.t. the coorintes given by B p. If we efine w i, j = 0 for i, j B whenever j / β, or i B p n j B q with p q, then we obtin mtrix w = (w i, j ) i, j B. We cll such mtrix w mtrix representtion of N. A mtrix w Mt B B is in β-norml form, if it stisfies (NF1) w i,i = 1 for ll i β, (NF2) w i, j = 0 for ll i, j β with j i, (NF3) w i, j = 0 for ll i B n j β with j < i, (NF4) w i, j = 0 for ll i B n j B β, n (NF5) w i, j = 0 for ll i B p n j β q with p q. We sy tht w i, j is constnt coefficient (w.r.t. β) if it ppers in (NF1) (NF5); otherwise we sy tht w i, j is free coefficient (w.r.t. β), which is the cse if n only if there is p Q 0 such tht i B p β p, j β p n i < j. C M β

9 QUIVER GRASSMANNIANS OF TYPE D n, PART 1 9 Lemm 1.2 ([28, Lemm 2.1]). Every N C M β hs unique mtrix representtion w = (w i, j) i, j B in β-norml form. It follows from the proof of this lemm tht ssociting with N p its β-norml form w efines n injective morphism ι β : C M β Mt B B from the Schubert cell into n ffine mtrix spce. Its imge cn be escribe s follows. Let Γ be the coefficient quiver of M w.r.t. B with mtrix coefficients µ v,i, j n let F : Γ Q be the ssocite morphism. Let V (M,B) be the vnishing set of the polynomils E(v,t, s) = (v,s,t ) Γ 1 µ v,s,t w t,t w s,s (v,s,t) Γ 1 µ v,s,tw s,s for ll rrows v : p q in Q 1 n ll vertices s F (p) n t F (q). Note tht the vriety V (M,B) oes not epen on β. The following result is proven in more generl sitution in [29, section 4.1]; lso cf. [28, Lemm 2.2] for the cse of coefficients µ v,s,t = 1. Lemm 1.3. Let β B. Then the imge of ι β : C M β Mt B B is the intersection of V (M,B) with the solution set of (NF1) (NF5). 2. SCHUBERT SYSTEMS In this section we introuce Schubert systems, which re the min tool for proving Theorem A. Let M be representtion of quiver Q with orere bsis B. In nutshell, the Schubert system Σ = Σ(M,B) of M w.r.t. B is grph with certin itionl t tht keeps trck of the efining equtions of the Schubert cells Cβ M. The essentil informtion encoe by the Schubert system re the coorintes of lrge ffine spce n the efining equtions of subvriety in this ffine spce whose intersection with certin ffine subspces yiels the vrious Schubert cells Cβ M of the Schubert ecomposition Gr e (M) = Cβ M. The efining equtions for these intersections cn be visulize by certin subgrphs Σ β of Σ, clle the β-sttes of the Schubert system. Certin combintoril conitions on Σ β imply tht the Schubert cell Cβ M is empty or, in other cses, n ffine spce. In the proof of Theorem 4.4, we will verify one of these conitions for every β-stte Σ β of the Schubert systems in question The complete Schubert system. Let M be representtion of Q with orere bsis B. Let Γ be the coefficient quiver of M w.r.t. B with mtrix coefficients µ v,i, j n let F : Γ Q be the ssocite morphism. A relevnt pir is n element of the set Rel 2 = { (i, j) Γ 0 Γ 0 F(i) = F( j) n i j }

10 10 OLIVER LORSCHEID AND THORSTEN WEIST of inices (i, j) for which there is subset β of B such tht w i, j is not constnt 0. A relevnt triple is n element of the set { Rel 3 There is n (v,s = (v,t,s) Q 1 Γ 0 Γ,t } ) Γ 1 0 with s s n t t. of triples (v,t,s) for which there is subset β of B with t / β n s β such tht E(v,t,s) is not the zero polynomil. In this text, grph is unirecte n simple, i.e. without multiple eges or loops. Therefore, we cn ientify n ege of grph with the set {p,q} of its en vertices. A vertex q is jcent to vertex p if {p,q} is n ege. A link is pir (p,s) of vertex p n set S of vertices jcent to p. We cll p the tip, n ege {p,q} with q S leg n q bse vertex of the link. If S is empty, then we cll the link constnt, if S consists of one element, then we cll the link liner, n if S consists of two elements, then we cll the link qurtic. Remrk 2.1. Note tht our efinition of link evites from the usul concept of the link t vertex of simplicil complex. This ifference coul be resolve by joining higherimensionl simplices to the grph such tht the links with tip p in our sense pper nturlly s simplices of the link t p. For our purposes it is, however, more equte to use grphs with itionl informtion inste of higher-imensionl structures. Definition 2.2. The complete Schubert system of M w.r.t. B is the grph Σ = Σ(M,B) with vertex set n ege set VertΣ = Rel 2 Rel 3 EgeΣ = { {(i, j),(v,t,s)} wi, j ppers in E(v,t,s) } together with the set LinkΣ of links λ = ( (v,t,s),s ) with (v,t,s) Rel 3 n S Rel 2 such tht E(v,t,s) contins the term µ λ (i, j) S w i, j with some coefficient µ λ C. We cll µ λ the weight of the link λ. Remrk 2.3. Whenever there is no nger of confusion with the reuce Schubert system (s efine in section 2.5), we refer to the complete Schubert system s the Schubert system. The Schubert system Σ(M, B) encoes the efining equtions E(v,t, s) of the ffine vriety V (M, B): for relevnt triple (v,t, s) Vert Σ, we hve E(v,t,s) = ( λ= (v,t,s),s ) LinkΣ µ λ w i, j. (i, j) S Thus µ λ = µ v,t,s if λ = ( (v,t,s),{(s,s)} ) is liner n µ λ = µ v,s,t if λ = ( (v,t,s),{(s,s),(t,t )} ) is qurtic.

11 QUIVER GRASSMANNIANS OF TYPE D n, PART 1 11 Remrk on illustrtions. For illustrtions of Schubert systems we opt the following conventions. To clerly inicte the links, we rw n ege multiple times if it is the leg of severl links. If the link is liner, we nnotte its weight next to its unique leg. If the link is qurtic, we rw otte rc between its two legs n nnotte the weight of the link next to the rc. Often, we omit the weight if it is 1. In mny situtions relevnt triple (v,t,s) is uniquely etermine by its lst two coefficients t n s. Moreover, if Q oes not contin loop, then (t,s) oes not occur s relevnt pir. In this sitution, we often use the convention to plce the vertices (i, j) n (v,t,s) in mtrix, ccoring to their lst two coefficients, n to suppress these lst two coefficients. This mens tht we illustrte relevnt pir (i, j) s ot, n relevnt triple (v,t,s) s v. The lst two coefficients cn be reconstructe from coorinte system t the sies of the Schubert system. Exmple 2.4. Let Q be n equioriente quiver of type A 3 n M n inecomposble thin sincere representtion. Then we cn choose n orere bsis B tht correspons to the following mp of the ssocite coefficient quiver Γ to Q: b Γ b q 1 q 2 q 3 Q Then Rel 2 = {(1,1),(2,2),(3,3)} n Rel 3 = {(,2,1),(b,3,2)}. The corresponing polynomils re E(,2,1) = w 2,2 w 1,1 w 1,1, E(b,3,2) = w 3,3 w 2,2 w 2,2. The Schubert system Σ(M,B) looks s follows ,1,2,1 2,2 b,3,2 3,3 Exmple 2.5. Let Q be the quiver of type D 4 with subspce orienttion n M the representtion with orere bsis B tht results from the mp 1 2 c 3 Γ 5 4 c b q c q 0 q c Q F F q b b from the coefficient quiver Γ to Q. Then Rel 2 = {(1,1),(2,2),(2,4),(3,3),(4,4),(5,5)}, Rel 3 = {(,2,1),(c,2,3),(c,4,3),(b,2,5),(b,4,5)},

12 12 OLIVER LORSCHEID AND THORSTEN WEIST n E(,2,1) = w 2,2 w 1,1 w 1,1, E(c,2,3) = w 2,4 w 3,3 + w 2,2 w 3,3 w 3,3, E(c,4,3) = w 4,4 w 3,3 w 3,3, E(b,2,5) = w 2,4 w 5,5, E(b,4,5) = w 4,4 w 5,5 w 5,5. With the help of coorinte system, we illustrte the Schubert system Σ(M,B) s follows. 5 1 c b c b Prtil Evlutions. A prtil evlution of Σ is prtil function ev : Rel 2 C tht stisfies (EV) if (k,l) is neighbour of (v,t,s) n if ll other neighbours (i, j) of (v,t,s) re in the omin of ev, then (k,l) is in the omin of ev n ( λ= (v,t,s),s ) LinkΣ 1 µ λ ev(i, j) = 0. (i, j) S A prtil vlution is totl if its omin is Rel 2. We lso write ev(i, j) C to sy tht (i, j) is in the omin of ev n ev(i, j) = η to sy tht ev is not efine in (i, j). The symbol η stys for non-specifie vlue of w i, j, n it cn be thought of s the generic point of the ffine line over C. The conition (EV) expresses the fct tht the eqution E(v,t,s) = 0 hs unique solution in vrible w i, j if ll the other vribles re fixe. This is ue to the property tht E(v,t,s) is liner in ech of its vribles. The set of ll prtil evlutions of Σ comes with prtil orering. For two prtil evlutions ev n ev, we efine ev ev if ev(i, j) C implies ev (i, j) = ev(i, j). Lemm 2.6. Let S be subset of Rel 2 n f : S C function. Then the set Ev( f ) = { ev : Rel 2 C ev is prtil evlution with ev(i, j) = f (i, j) for (i, j) S } hs unique miniml element unless it is empty. Proof. This cn be seen by executing the following proceure. Define ev 0 = f s prtil function Rel 2 C. For n 0, ssume tht we hve efine ev n : Rel 2 C.

13 QUIVER GRASSMANNIANS OF TYPE D n, PART 1 13 If there is relevnt triple (v,t,s) tht hs precisely one neighbour (k,l) tht is not in the omin of ev n, then we efine ev n+1 (i, j) = ev n (i, j) for ll (i, j) in the omin of ev n, n we efine ev n+1 (k,l) s the unique solution of E(v,t,s) = 0 in w k,l if ll other vribles w i, j of E(v,t,s) = 0 hve been substitute by the vlue ev n+1 (i, j). Note tht this efinition is ictte by property (EV) of n evlution. If there is no relevnt triple such tht precisely one vrible w k,l of E(v,t,s) is not in the omin of ev n, then we fce the following two cses. (1) There is relevnt triple (v,t,s) such tht ll its neighbours re in the omin of ev n n such tht E(v,t,s) evlute in w i, j = ev n (i, j) is not 0, then we erive contriction to (EV), which mens tht Ev( f ) is empty. (2) If there is none such (v,t,s) s in (1), then ev n stisfies (EV) n ev n is prtil evlution. By construction, it is the unique miniml element of Ev( f ). In both cses, the clim of the lemm follows Contrictory β-sttes. Let Σ be the Schubert system of M w.r.t. B. Let β be subset of B. Define the prtil function f β : Rel 2 C with 1 if i = j β, f β (i, j) = 0 if i β n i j, 0 if j / β. If Ev( f β ) is empty, then we sy tht the β-stte Σ β is contrictory, without efining Σ β. Lemm 2.7. The points of the Schubert cell Cβ M If Σ β is contrictory, then Cβ M is empty. correspon to the totl vlutions in Ev( f β). Proof. Assume tht Ev( f β ) is not empty. The points of Cβ M correspon to the common solutions w = (w i, j ) of (NF1) (NF5) n E(v,t,s) = 0 for ll relevnt triples (v,t,s), which cn be seen s totl evlutions (i, j) w i, j. These totl evlutions re precisely the totl evlutions in Ev( f β ). If Σ β is contrictory, i.e. Ev( f β ) is empty, there exists no totl evlution in Ev( f β ). Thus is empty. C M β An rrow (v,s,t) of Γ is extreml if for ll rrows (v,s,t ) Γ 1 either s < s or t < t. A subset β of B = Γ 0 is extreml successor close if for ll extreml rrows (v,s,t) Γ 1, s β implies t β. Lemm 2.8. If β is not extreml successor close, then Σ β is contrictory. Proof. If β is not extreml successor close, then there exists n extreml rrow (v,s,t) in Γ such tht s β n t / β. Since (v,t,s) is extreml, we hve E(v,t,s) = µ v,s,t w t,t w s,s µ v,s,t w s,s. The equtions w s,s = 1, by (NF1), n w t,t = 0, by (NF4), o not hve common solution with E(v,t,s) = 0. Therefore (EV) cnnot be stisfie by ny prtil function ev : Rel 2 C with ev(s,s) = 1 n ev(t,t) = 0. This shows tht Ev( f β ) is empty, i.e. Σ β is contrictory.

14 14 OLIVER LORSCHEID AND THORSTEN WEIST 2.4. Definition of β-sttes. Assume Ev( f β ) is not empty n let ev β be its miniml prtil evlution. Roughly speking, the β-stte is obtine from the Schubert system Σ s follows: we replce the vrible w i, j by ev β (i, j) in ll equtions E(v,t,s) whenever ev β is efine in (i, j); we just the links n their weights corresponingly; we remove ll relevnt pirs tht re in the omin of ev β from Σ n ll jcent eges; we further remove ll relevnt triples (v,t,s) without neighbour from Σ. The β-stte Σ β is the leftover grph with links. The precise efinition of the β-stte is s follows. For set S of relevnt pirs, efine S β,c = {(i, j) S ev β (i, j) C} n S β,η = {(i, j) S ev β (i, j) = η }. Let LinkΣ β be the set of links λ = ( (v,t,s),s ) such tht µ β,λ = ( λ = (v,t,s),s ) LinkΣ such tht S=S β,η µ λ ev β (i, j) (i, j) S β,c is not zero. Note tht µ β,λ occurs s coefficient in E(v,t,s) if we substitute w i, j by ev β (i, j) if ev β is efine in (i, j). Note tht link λ LinkΣ β cn be constnt, liner or qurtic. If λ is qurtic, then it is lso link of Σ with the sme weight µ λ = µ β,λ. If λ is liner, then it might be link of Σ or not, n if it is, then the weights µ λ n µ β,λ might be ifferent. Since ll links of Σ re liner or qurtic, constnt link of Σ β cnnot be link of Σ. Definition 2.9. The β-stte Σ β of Σ is the subgrph with vertex set n ege set VertΣ β = {(i, j) Rel 2 ev β (i, j) = η } {(v,t,s) Rel 3 (v,t,s) is the tip of link λ LinkΣ β } EgeΣ β = {x EgeΣ x is the leg of link λ LinkΣ β } together with the set LinkΣ β of links λ n their ssocite weights µ β,λ. We sy tht vertex or n ege of Σ is β-relevnt if it is contine in Σ β. Otherwise, we sy tht it is β-trivil. If ll of these sets re empty, we cll Σ β trivil. For β-relevnt triple (v,t,s), we efine the β-reuce form of E(v,t,s) s E β (v,t,s) = ( µ β,λ ) LinkΣ β λ= (v,t,s),s (i, j) S Since the equtions E β (v,t,s) re erive from E(v,t,s) by evluting free coefficient w i, j w.r.t. β ccoring to (NF1) (NF5) n by substituting vribles by its unique solution ccoring to (EV), we see tht the imge of ι β : C β Mt B B equls the zero set of the equtions E β (v,t,s) (with t / β, s β) insie the ffine subspce of Mt B B escribe by w i, j = ev β (i, j) for β-trivil (i, j). In other wors: w i, j.

15 QUIVER GRASSMANNIANS OF TYPE D n, PART 1 15 Proposition The Schubert cell Cβ M is isomorphic to the zero set of the polynomils E β(v,t,s) for (v,t,s) VertΣ β insie the ffine spce spnne by w i, j with (i, j) VertΣ β. Remrk Note tht the efinition of the β-reuce form of E(v,t,s) evites from the efinition use in [28]. Nmely, we obtin the β-reuce forms E β (v,t,s) (in the sense of this text) from the system of β-reuce equtions (in the sense of [28]) if we solve successively ll liner equtions in one vrible tht pper in this system. Since we hve not yet evelope the tools to clculte the β-sttes efficiently, we postpone exmples to lter point of the pper. We encourge the reer, however, to hve look t Exmples 2.17 n The reuce Schubert system. For extreml successor close subsets β of B, it is possible to simplify the system of equtions E(v,t,s), which les to the reuce Schubert system. These simplifiction re ue to the substitution of w i,i by 1 or 0, epening on whether i is in β or not. We cn pply this in the following two situtions. (1) For n extreml rrow (v,s,t) of Γ, the polynomil E(v,t,s) = µ v,s,t w t,t w s,s µ v,s,t w s,s is constnt zero if β is extreml successor close. (2) Since E β (v,t,s) becomes trivil if t β or s / β (cf. [28, Lemm 2.2]), we cn ssume tht t / β n s β. Substituting w s,s by 1 in qurtic terms n w t,t by 0 yiels the reuce form E(v,t, s) = µ v,s,t w t,t + µ v,s,t w t,t w s,s µ v,s,tw s,s µ v,s,t (v,s,t ) Γ 1 (v,s,t ) Γ 1 (v,s,t) Γ 1 t<t t<t n s <s s <s (where µ v,s,t = 0 if Γ oes not contin the rrow (v,s,t)). By (1), we cn omit ll relevnt triples (v,t,s) for which (v,s,t) is n extreml rrow of Γ from the Schubert system Σ. By (2), we cn omit ll relevnt pirs of the form (i,i) from the Schubert system. For link λ = ( (v,t,s),s ) LinkΣ, we efine λ = ( (v,t,s),s {(s,s)} ). Note tht if λ = λ, then λ = λ. We hve tht either λ = λ or λ / LinkΣ since E(v,t,s) contins neither liner term in w t,t nor constnt term. Therefore, we cn use the sme symbol µ for the weights of the links of the reuce Schubert system without cusing mbiguity. Definition The reuce Schubert system of M w.r.t. B is the grph Σ = Σ(M,B) with vertex set VertΣ = { (i, j) Rel 2 i < j } { (v,t,s) Rel 3 (v,s,t) is not n extreml rrow of Γ } n ege set together with the set of links λ with weights µ λ = µ λ. EgeΣ = { {(v,t,s),(i, j)} EgeΣ i < j } LinkΣ = { λ λ LinkΣ with tip in VertΣ }

16 16 OLIVER LORSCHEID AND THORSTEN WEIST In prctice, we will lwys ssume tht β is extreml successor close, which llows us to work with the reuce Schubert system Σ(M,B). The reuce Schubert system cn be erive from the complete Schubert system by eleting (1) ll vertices of the form (i,i), together with ll connecting eges, (2) ll vertices of the form (v,t,s) tht correspon to n extreml ege (v,s,t) of Γ, together with ll connecting links, (3) ll legs from links with bse vertices of the form (i,i). Alterntively, the reuce Schubert system is etermine by the reuce polynomils E(v,t, s) for relevnt triples (v,t,s) where (v,s,t) is not n extreml rrow in Γ in the sme wy s the complete Schubert system is erive from the polynomils E(v,t, s) for ll relevnt triples (v,t,s). Remrk The significnce of the reuce Schubert system is tht it crries less informtion, but still suffices to compute the Schubert cells Cβ M. We hve E(v,t,s) = ( λ= (v,t,s),s ) LinkΣ µ λ w i, j. (i, j) S If β is not extreml successor close, then Cβ M is empty. If β is extreml successor close, then Cβ M is isomorphic to the subvriety of the ffine spce {(w i, j) (i, j) VertΣ} tht is efine by the equtions E(v,t,s) = 0 for (v,t,s) VertΣ with t / β n s β. Remrk on illustrtions. We illustrte constnt links λ = ( (v,t,s), /0 ) s otte ege tht connects the vertex (v,t,s) to the weight µ λ, isplye insie otte box. Exmple Let Q, M, B n Γ be s in Exmple 2.5. The extreml eges of Γ re (,1,2), (c,3,4) n (b,5,4). Therefore we hve to consier only the reuce forms of the polynomils E(c,2,3) = w 2,4 w 3,3 + w 2,2 w 3,3 w 3,3, E(b,2,5) = w 2,4 w 5,5. Substituting w 2,2 = 0 n w 3,3 = 1 in E(c,2,3) n w 5,5 = 1 in E(b,2,5) yiels E(c,2,3) = w 2,4 1, E(b,2,5) = w 2,4. We conclue tht Σ looks s follows. c b Exmple Let Q be quiver of type A 2 with rrow. Let M be the representtion with imension vector (2,2) n mtrix M = ( µ 1 0 µ) where µ C. Let B be the bsis with ssocite

17 QUIVER GRASSMANNIANS OF TYPE D n, PART 1 17 coefficient quiver Γ,µ 1 2,1,µ 3 4 with the respective weights µ n 1. Then Rel 2 = { (1,1),(1,3),(3,3),(2,2),(2,4),(4,4) }, Rel 3 = { (,2,1),(,4,3),(,2,3) }. The efining polynomils of V (M,B) re E(,2,1) = µw 2,2 w 1,1 w 1,1, E(,4,3) = µw 4,4 w 3,3 w 3,3, E(,2,3) = µw 2,2 w 1,3 + w 2,2 w 3,3 + µw 2,4 w 3,3 µw 1,3 w 3,3. The complete Schubert system cn be euce from these equtions. Since (,1,2) n (,3,4) re extreml rrows in Γ, the reuce Schubert system correspons to the reuce form E(,2,3) = µw 2,4 µw 1,3 1. The complete n the reuce Schubert systems of M w.r.t. B re, respectively, s follows: Σ 4 µ 3 1 µ 2 µ µ µ Σ 4 3 µ 2 µ Computing β-sttes. If β is not extreml successor close, then Σ β is contrictory by Lemm 2.8. Whether β is extreml successor close cn be esily verifie with the help of the coefficient quiver. For extreml successor close β, we etermine whether Σ β is contrictory, n if not, compute Σ β n ev β with the following lgorithm. The initil steps. Apply (1) (6) to ll vertices, eges n links of Σ. (1) For link λ LinkΣ, set µ β,λ = µ λ. For ll other links λ, set µ β,λ = 0. These vlues might chnge while proceeing with the lgorithm. (2) If (i, j) is vertex with i = j or i β or j / β, then mrk it s β-trivil. If i = j β, then efine ev β (i, j) = 1; otherwise efine ev β (i, j) = 0. (3) If (v,t,s) is vertex with t β or s / β, then mrk it s β-trivil. (4) If the tip of link λ is β-trivil, then set µ β,λ = 0.

18 18 OLIVER LORSCHEID AND THORSTEN WEIST (5) If link λ = ( (v,t,s),s ) hs β-trivil bse vertex, then set S = S {β-trivil (i, j)} n λ = ( (v,t,s),s ), replce µ β,λ by µ β,λ + µ β,λ (i, j) S S ev β (i, j) n set µ β,λ = 0. (6) If {(v,t,s),(i, j)} is not the leg of link λ with µ β,λ 0, then mrk it s β-trivil. The loop. Repet steps (7) n (8) in rbitrry orer until Σ β is eclre contrictory or none of (7) n (8) pplies nymore. (7) If (v,t,s) is not β-trivil n there is precisely one ege {(v,t,s),(i, j)} tht is not β- trivil n µ β,λ 0 for λ = ( (v,t,s),{(i, j)} ), then () efine ev β (i, j) = µ β,λ0 /µ β,λ where λ 0 = ( (v,t,s), /0 ) is the constnt link; (b) set µ β,λ = µ β,λ0 = 0; (c) mrk (v,t,s) n (i, j) s β-trivil; () pply step (5) to ll links λ with bse vertex (i, j) n µ β,λ 0; (e) mrk ll eges with en vertex (i, j) s β-trivil. (8) If (v,t,s) is not β-trivil n there is no ege {(v,t,s),(i, j)} tht is not β-trivil, then mrk (v,t,s) s β-trivil if µ β,λ0 = 0 for λ 0 = ( (v,t,s), /0 ) ; if µ β,λ0 0, then eclre Σ β s contrictory n stop the lgorithm. The outcome. Once the lgorithm stops, we either know tht Σ β is contrictory or we hve clculte ev β. In the ltter cse, we mrk ll vertices n eges of Σ tht re not β-trivil s β-relevnt n obtin VertΣ β = { β-relevnt vertices in VertΣ }, EgeΣ β = { β-relevnt eges in VertΣ }, LinkΣ β = { links λ with weight µ β,λ 0}. Remrk The initil steps (1) (6) reuce the informtion to clculte the β-stte to the full subgrph of Σ with vertices (i, j) n (v,t,s) with i,t / β n j,s β. However, the links of this subgrph iffer in generl from the links of Σ by the substitutions me in step (5). Exmple Let Q, M, B n Γ be s in Exmple 2.5. Recll from Exmple 2.14 tht the reuce Schubert system Σ is s follows: c b We clculte the {3,4,5}-stte. With step (1), we efine the weights µ β,λ. None of the steps (2) (6) pplies. We procee to pply step (7) to (c,2,3), which yiels () ev β (2,4) = ()/1 = 1;

19 QUIVER GRASSMANNIANS OF TYPE D n, PART 1 19 (b) µ λ = µ λ0 = 0 where λ = ( (c,2,3),(2,4) ) n λ 0 = ( (c,2,3), /0 ) ; (c) (c,2,3) n (2,4) re β-trivil; () µ λ = = 1 n µ λ = 0 where λ = ( (b,2,5),(2,4) ) n λ = ( (b,2,5), /0 ) ; (e) {(c,2,3),(2,4)} n {(b,2,5),(2,4)} re β-trivil. We cn illustrte this s follows: step (7) c b 2 1 b 2 to (c,2,3) Next, we pply step (8) to (b,2,5), which eclres the {3,4,5}-stte s contrictory since µ β,λ = 1 for λ = ( (b,2,5), /0 ). We clculte the {3, 4}-stte. The initil steps reuce Σ to the full subgrph with vertices (c,2,3) n (2,4), without chnging the weights of the links with tip (c,2,3). We pply step (7) to (c,2,3) c 2 / step (7) to (c,2,3) n we see tht the {3,4}-stte is trivil. As lst exmple, we clculte the {4}-stte. As expline in Remrk 2.16, the initil steps reuce the informtion to clculte Σ {4} to the subgrph tht consists of the vertex (2,4). Since ll triples re β-trivil, steps (7) n (8) o not pply nymore, n we see tht Σ {4} = {(2,4)}. For n exmple of more complex β-stte, see Exmple Solvble β-sttes. In this section, we formulte combintoril conition on β-stte tht implies tht the Schubert cell is n ffine spce. Since we will pply this conition lso to subgrphs of β-stte, we will formulte the results in this section for broer clss of grphs with weighte links. A system is biprtite grph Ξ whose vertex colours re pirs π n triples τ, together with set LinkΞ of links whose tips re triples n whose bse vertices re pirs, n weight function µ : LinkΞ C tht ssocites weight µ λ with ech link λ. An ege {τ,π} of system Ξ is simply linke if (τ,{π}) is link of Ξ n if {τ,π} is not the leg of ny other link of Ξ. Definition A solution for system Ξ is n orienttion of the eges of Ξ such tht (S1) for every triple τ, there exists precisely one ege {τ,π} tht is oriente wy from τ n this ege is simply linke; (S2) for every pir π, there exists t most one ege tht is oriente towrs π; (S3) Ξ is without oriente cycles. The system Ξ is solvble if it hs solution.

20 20 OLIVER LORSCHEID AND THORSTEN WEIST Given solution for Ξ, n ege {τ,π} tht is oriente towrs the pir π is simple by (S1). We cn relx (S1) by llowing severl eges oriente wy from given triple τ, one of them simply linke. If this orienttion stisfies (S2) n (S3), then inverting the orienttion of ll eges pointing wy from triple τ except for one simply linke ege yiels solution for Ξ. Theorem Let Σ β be β-stte tht is not contrictory. If Σ β is solvble, then Cβ M ffine spce of imension imc M β = #{β-relevnt pirs} #{β-relevnt triples}. is n Proof. Fix solution for Σ β. We cn consier Σ β s quiver n opt the terminology of quivers. By (EV), every β-relevnt triple connects to t lest two β-relevnt pirs. Since there is precisely one rrow pointing wy from ech β-relevnt triple, ll sinks n sources of Σ β re relevnt pirs (i, j). Let be the set of ll full subquivers Γ of Σ β whose sinks re reltive pirs n tht contin ll preecessors, i.e. ll vertices of Σ β tht re the strt of n rrow in Σ β with trget in Γ. The set is prtilly orere by inclusion. A subquiver Γ in stisfies the following properties. All sources of Γ re lso sources in Σ β n thus, in prticulr, relevnt pirs. Every neighbour (i, j) of relevnt triple (v,t,s) in Γ is lso in Γ since otherwise (v,t,s) woul be sink or it woul miss preecessor. If ll neighbours of relevnt triple (v,t,s) re in Γ, then (v,t,s) is the preecessor of some neighbour (i, j) by (S1), which implies tht (v,t,s) is lso in Γ. For non-empty Γ, we efine C(Γ) s the ffine vriety with coorintes w i, j for relevnt pirs (i, j) in Γ n efining equtions E β (v,t,s) = 0 for relevnt triples (v,t,s) in Γ. For the empty subgrph Γ 0, we efine C(Γ 0 ) s point. Note tht ll vribles of E β (v,t,s) re inexe by β-relevnt pirs in Γ becuse Γ contins ll neighbours of (v,t,s). We will show by inuction over tht C(Γ) is n ffine spce of imension δ(γ) := #{ β-relevnt pirs in Γ} #{ β-relevnt triples in Γ}. Since Σ β is the mximl element of n C M β = C(Σ β), this inuction implies the clim of the theorem. The miniml element of is empty subquiver Γ 0 for which our clim is trivilly stisfie. This estblishes the bse cse of the inuction. Let Γ be non-empty subquiver in. Since Σ β oes not contin ny oriente cycle, Γ must hve sink (i, j). Let Γ be the mximl subgrph of Γ in tht oes not contin (i, j). By the inuctive hypothesis, C(Γ ) is n ffine spce of imension δ(γ ). If (i, j) oes not hve neighbour in Γ, then VertΓ = VertΓ {(i, j)} n w i, j occurs in none of the polynomils E β (v,t,s) with (v,t,s) in Γ. Therefore C(Γ) C(Γ ) A 1 is n ffine spce of imension imc(γ) = imc(γ ) + 1 = δ(γ ) + 1 = δ(γ), which estblishes the inuction step in cse tht (i, j) is n isolte vertex in Γ. If (i, j) hs neighbour (v,t,s) in Γ, which is preecessor of (i, j) by our ssumption tht (i, j) is sink, then this neighbour is unique by (S2) of Definition Therefore VertΓ =

21 QUIVER GRASSMANNIANS OF TYPE D n, PART 1 21 VertΓ {(i, j),(v,t,s)}. This mens tht w i, j is uniquely etermine by E β (v,t,s) = 0 n the vlues of ll w k,l with (k,l) in Γ. Therefore C(Γ) = C(Γ ) is n ffine spce of imension δ(γ ). Since Γ iffers from Γ by exctly one pir n one triple, we hve δ(γ) = δ(γ ). This estblishes the inuction step in cse tht (i, j) hs neighbour in Γ n finishes the proof of the theorem. The importnt consequence for Schubert ecompositions is the following. Corollry Let e be imension vector. If for ll β B of type e, Σ β is either contrictory or solvble, then Gr e (M) = Cβ M is ecomposition into ffine spces, n CM β is empty if n only if Σ β is contrictory. Proof. This follows immeitely from Lemm 2.7 n Theorem Corollry If Σ β is trivil, then it is solvble n C M β is point. Proof. A trivil β-stte is obviously solvble. Theorem 2.19 yiels tht Cβ M is n ffine spce of imension 0, i.e. point. Corollry If M is thin representtion of Q, then the reuce Schubert system is trivil. Thus Gr e (M) = Cβ M is ecomposition into ffine spces for every imension vector e. More precisely, Gr e (M) is point if there exists n extreml successor close β of type e, n Gr e (M) is empty otherwise. Proof. If M is thin, then (v,s,t) is n extreml rrow for every relevnt triple (v,t,s). Therefore the reuce Schubert system is empty. If β is extreml successor close, then Σ β is trivil n, in prticulr, not contrictory. This mens tht Gr e (M) = Cβ M is ecomposition into ffine spces of imension 0. Since there is unique subset β of B for every type e, the lst clim follows. Exmple Let Q, M, B n Γ be s in Exmple 2.5. In Exmple 2.17, we clculte some β-sttes of the Schubert system. The {4}-stte consists of the relevnt pir (2,4) n no eges. This mens tht the {4} is solvble n C M {4} A1. The {3,4}-stte is trivil n thus solvble with C M {3,4} = A Extreml eges. We sy tht Σ is totlly solvble if every β-stte is either contrictory or solvble. By Corollry 2.20, this implies tht the Schubert ecomposition Gr e (M) = Cβ M is ecomposition into ffine spces for every imension vector e, n tht Cβ M is empty if n only if Σ β is contrictory. In generl, solution for the (reuce) Schubert system oes not restrict to solution for ll of its non-contrictory β-sttes. This mens tht the (reuce) Schubert system cn be solvble, but not totlly solvble. It lso hppens tht the (reuce) Schubert system is not solvble, but totlly solvble. This is, for instnce, the cse for preprojective representtions of type D n, see section 4.

22 22 OLIVER LORSCHEID AND THORSTEN WEIST In this section, we present conition tht implies tht solution of the (reuce) Schubert system yiels solution for every non-contrictory β-stte. Definition An ege {(v,t,s),(i, j)} of Σ is extreml if it is simply linke n if either j = s n (v,i,t) is n extreml rrow of Γ or i = t n (v,s, j) is n extreml rrow of Γ. The following pictures illustrte the two sitution of n extreml ege {(v,t, s),(i, j)} of Σ where we rw, s usul, vertices in the sme fibre of F : Γ Q on top of ech other: i j = s v extreml t or s v extreml Lemm The extreml eges of Σ stisfy the following properties. (1) Any vertex (v,t,s) of Σ is the en vertex of t most two extreml eges. (2) Assume tht Σ β is not contrictory. If {(v,t,s),(i, j)} is n extreml ege of Σ n (v,t, s) is β-relevnt, then i / β n j β. Proof. For relevnt triple (v,t,s), there is t most one i Γ 0 such tht (v,i,t) is n extreml rrow of Γ, n there is t most one j Γ 0 such tht (v,s, j) is n extreml rrow in Γ. Hence clim (1) of the lemm. If Σ β is not contrictory, then β is extreml successor close. If (v,t,s) is β-relevnt, then t / β n s β. In either cse, j = s n (v,i,t) is extreml or i = t n (v,s, j) is extreml, we hve i / β n j β. Hence clim (2) of the lemm. Remrk It is in generl not true tht (i, j) is β-relevnt if (v,t,s) is β-relevnt n {(v,t,s),(i, j)} is n extreml ege. In Exmple 2.30, we provie counterexmple. Definition Let Γ be full subsystem of Σ. An extreml solution for Γ is n orienttion of the eges of Γ such tht (ES1) for every relevnt triple (v,t,s) in Γ, there exists precisely one ege {(v,t,s),(i, j)} in Γ tht is oriente wy from (v,t,s) n this ege is extreml; (ES2) for every relevnt pir (i, j) in Γ, there exists t most one ege {(v,t,s),(i, j)} in Γ tht is oriente towrs (i, j); (ES3) Γ is without oriente cycles. Proposition If Σ hs n extreml solution, then Σ is totlly solvble. Proof. This proof follows similr strtegy s the proof of Theorem We will mke use of the sme conclusions without repeting them in etil. Fix n extreml solution of Σ. Then ll sinks n sources of Σ re relevnt pirs. Let β be subset of B such tht Σ β is not contrictory. Let be the prtilly orere set of ll full subgrphs Γ of Σ β tht re close uner preecessors n whose sinks re relevnt pirs. We will prove by inuction on tht every Γ stisfies the properties (S1) (S3) of solvble β-stte w.r.t. the orienttion coming from Σ. t = i j

23 QUIVER GRASSMANNIANS OF TYPE D n, PART 1 23 The empty subgrph is the miniml element of n trivilly stisfies (S1) (S3). Let Γ be non-empty subgrph of Σ β. Properties (S2) n (S3) clerly hol for Γ. To verify (S1), observe tht Γ contins sink (i, j) by (S3). Let Γ be mximl element of tht is contine in Γ {(i, j)}. By the inuction hypothesis, Γ stisfies (S1). If {i, j} is n isolte vertex of Γ, then Γ = Γ {(i, j)} n (S1) is stisfie by Γ s well. If {i, j} is not n isolte vertex of Γ, then there exists unique ege {(v,t,s),(i, j)} with en vertex (i, j) in Γ since (i, j) is sink n by (S2). By our ssumptions, {(v,t,s),(i, j)} is the unique ege pointing wy from (v,t,s), which is n extreml ege. This mens tht (v,t,s) is not the preecessor of ny vertex other thn (i, j). Therefore Γ is the full subgrph on the vertex set VertΓ {(v,t,s),(i, j)}. Also in this cse, it follows tht Γ stisfies (S1). Thus every element Γ of stisfies (S1) (S3). Once we hve shown tht Σ β is n element of, the proposition follows. Since Σ β is close uner preecessors, we re left with showing tht ll sinks of Σ β re relevnt pirs. This cn be verifie long the lgorithm computing Σ β, cf. section 2.6. The bsic observtion is tht one cn pply property (EV) only if there is relevnt triple (v,t,s) with unique neighbour (i, j) for which ev β (i, j) is not yet efine. With the help of Lemm 2.25 (2) n n inuctive rgument, it cn be seen tht the ege {(v,t,s),(i, j)} is n extreml ege oriente towrs (i, j). We forgo to explin this inuction in etil. Given such n ege, (i, j) is eclre β-trivil t some point of the lgorithm (by step (2) or step (7)), only if the triple (v,t,s) is lso eclre β-trivil (by step (3) or step (7), respectively). This shows tht we encounter t no time of the lgorithm sink tht is triple. Therefore ll sinks of Σ β re relevnt pirs, which conclues the proof. Remrk With these results t hn, we cn unerstn the pproch of [28] s follows. Uner certin conitions on the coefficient quiver, one cn efine function tht ssocites with every relevnt triple relevnt pir tht is jcent to this triple, n this functions inictes wy to solve the efining equtions of the Schubert system successively in liner terms. It turns out tht for the chosen function in [28], every ege between relevnt triple n the ssocite relevnt pir is extreml. The orienttion tht is given by orientting these extreml eges from the relevnt triple to its ssocite relevnt pir, n ll other eges towrs the relevnt triple is n extreml solution for Σ. Therefore Proposition 2.28 reprouces the min result of [28]. Exmple The following is n exmple of reuce Schubert system with n extreml solution. Let Q be the equioriente quiver b of type A 3, n M n B be given by the coefficient quiver 5 b 1 2 b 3 4 b 6 7