arXiv:2004.02110v4 [math.RT] 5 Dec 2020 hsppri rgnlpprcmltdindependently. completed paper original a is paper This rsmnin snteog odsrb h ooooyo ri of cohomology the [ describe isomorphism to plicitly. an enough not is is (S), map Grassmannians property cyclic has Grassmannian the quiver and rigid a of ring [ mology quivers acyclic of cano case dual the some in in contained subgroups are tent monomials cluster (Na quantum Grassmannians the quiver p rigid [ Serre of in the vanishing [ by CC-formula cohomology Quantum described odd called clust be char is quantum can Euler which the monomials Grassmannians, the For cluster of quantum CC-formula. terms called the in is expressed which be mannians, can monomials cluster n[ In h the of geometrization algebras. the is which , Luszitg’s the Declarations e od n phrases. and words Key 2010 Franzen Esposito, Irelli, quiver, acyclic an for Recently, h ooooyo uvrGasanaspasa motn r important an plays Grassmannians quiver of cohomology q The the of cohomology the connect to is paper this of purpose The Nak CC NTECHMLG FQIE RSMNIN FOR GRASSMANNIANS QUIVER OF COHOMOLOGY THE ON n [ and ] ahmtc ujc Classification. Subject ) aigo hs ok n aiiaswrs[ works Nakijima’s and works these on Basing ]). ulPWbsso h algebra a the Grass of give quiver bases we rigid Mea PBW of result, dual Poincar´e polynomials the Grassmanians. this b that quiver show By canonical for we dual theorem algebras. vanishing of shuffle cohomology coefficients quantum the of Poin of the quiver elements terms explicitly of ass describe cohomology in algebra we the Grassmannians consequence, enveloping study a we quantized As goal, the category. this of achieve to half order negative the is uvrGasanasadteda aoia ae ftealg the of bases canonical dual the and Grassmannians quiver Abstract. Pla h uhrdntrceeayfn uigti ok n data Any work; this during fund any recieve don’t author The : ,Cleo hptnadPaodnso httecutrvar cluster the that show Plamondon and Chapoton Caldero, ], o naylcqie,w sals oncinbtenthe between connection a establish we quiver, acyclic an For uvrGasana,da aoia ai,Poincar´e poly basis, canonical dual Grassmannian, quiver CCI QUIVERS ACYCLIC U q − ( 62,1M5 17B37. 14M15, 16G20, g Introduction ). IGI BI YINGJIN IEFR 1 .Hwvr h rpry()o ii quiver rigid of (S) property the However, ]. KQ ]. Qin l ato h unie enveloping quantized the of part alf a´ oyoil frgdquiver rigid of car´e polynomials Nak anasaetececet of coefficients the are mannians n enk hwta h coho- the that show Reineke and .Mawie eas rvdthe proved also he Meanwhile, ]. cae ihteqie.In quiver. the with ociated rsmnin yLusztig’s by Grassmannians wie o yknquivers, Dynkin for nwhile, .:teei oodcohomology odd no is there i.e: ,Kmr n i rv that prove Qin and Kimura ], ebra ss hc r iwdas viewed are which ases, i uvrGasanasex- Grassmannians quiver gid ia ai fqatmunipo- quantum of basis nical aiaas hwdti fact this showed also kajima ragba,Qnpoe that proves Qin algebras, er ohrpofo h odd the of proof nother ceitc fqie Grass- quiver of acteristics lnmaso ii quiver rigid of olynomials ie rsmnin with Grassmannians uiver U q − l ncutralgebras. cluster in ole ( g nti ae savailable; is paper this in ,where ), oilqatmgroup. nomial,quantum ooooyof cohomology U q − alsand iables ( g ) 2 YINGJIN BI

In this paper, we will show that the Poincar´epolynomial of quiver Grassmannians can be − expressed by the coefficients of the dual canonical bases of the algebra Uq (g) in acyclic case. It is known that the Poincar´epolynomial of a quiver Grassmannian can be expressed in the terms of a coefficients of a dual canonical base by Quantum CC-formula [KQ]. However, for a given quantum cluster monomial, they didn’t exactly find out the corresponding dual canonical base. Thus our results will reveal more information on the cohomology of rigid quiver Grassmannians than previous results.

Let us to illustrate the idea: we fix a field to be the complex number field C. Let Q = (I, Ω) be an acyclic quiver, where I is the set of vertices and Ω is the set of arrows. Denote the source (resp:target) of an arrow h by s(h) (resp: t(h)). Given an element ν = i νii ∈ N[I], we define a representation space with the element ν by P def. Eν(Q) = Hom(Vs(h),Vt(h)) hM∈Ω where V is an I-graded such that dim Vi = νi for all i ∈ I, we denotes dimV = ν as its dimension. For two elements µ,ν ∈ N[I], we define a variety as def. Eν,µ = {(W, y) | y ∈ Eν+µ(Q), yh(Ws(h)) ⊆ Wt(h) and dimW = µ } We construct a map as follows:

pµ : Eν,µ → Eν+µ(Q) (0.1) (W, y) 7→ y

Given a point M ∈ Eν+µ(Q), we define the quiver Grassmannians as the fiber of the map pµ −1 at M,e.t. pµ (M), denoted as Grµ(M). Since pµ is proper, we have Grµ(M) is a projective • variety. We assume its cohomology H (Grµ(M)) is defined over the complex number field C. Next we consider the Luszitg’s category on the variety Eν(Q). For an element ν ∈ N[I], ν Lusztig introduced a set of simple perverse sheaves, denoted P ,onEν (Q). By Lusztig’s geo- − ν metric construction of canonical bases of the algebra Uq (g), P corresponds to its canonical ν basis. One denotes the canonical base by bλ for each element λ ∈ P . Since the variety Eν(Q) is smooth, there is a constant perverse sheaf def. Iν = CEν (Q)[dim Eν (Q)] e.t., that is the constant sheaf CEν (Q) shifted up dimEν (Q). Moreover, Since the quiver Q is an acyclic quiver, it is in the set Pν . (see [S]). We also have that there is a constant perverse sheaf CEν,µ [dim Eν,µ] on the variety Eν,µ for it is a smooth variety. One denotes the constant perverse sheaf as IEν,µ .

The following the results is a key step for our results. Lemma. [CG, Lemma 8.5.4] Under above assumption, for a representation M with dimen- sion µ + ν, we have

• ∼ •−dimEν,µ ∗ H (Grµ(M)) = H (iM pµ!IEν,µ ) ON THE COHOMOLOGY OF QUIVER GRASSMANNIANS FOR ACYCLIC QUIVERS 3

.where iM : {M} ֒→ Eν+µ is the embedding corresponding to the point M

In [S], the complex pµ!IEν,µ can be viewed as the multiplication of Lusztig’s sheaves.

In [Le], Leclerc shows that the positive part Uq(n) of a quantum enveloping algebra Uq(g) can be embedded in a quantum shuffle algebra in finite type cases. Thus the dual canonical bases of the algebra Uq(n) could be viewed as elements of quantum shuffle algebras. However, For our purpose and our assumption, It’s better to consider the dual canonical bases as the character of the simple modules over the corresponding KLR algebra [VV], because • ∗ the cohomology of the complex H (iM pµ!IEν,µ ) is always called a dual standard in geometric . (see examples [Ka], [Nak]). One sets a total order of an index of I so that k > l if and only if there exists an arrow from il to ik (it is possible for acyclic quivers). For an element ν ∈ N[I], we define a set def. hIiν = {[j1j2 · · · jl]| 0≤k≤l jk = ν} where the [j1j2 · · · jl] are words on I. For an element λ ∈ Pν , we can express a dual canonical base b∗ as P λ ∗ k bλ = χλk k∈hXIiν k −1 k k −1 where χλ ∈ Z[q,q ] satisfy χλ(q)= χλ(q ). For our purpose, we always consider the element of N[I] as form ν + µ for some ν,µ ∈ N[I]. For an element ν + µ = (ν + µ) i , there exists a canonical base b = f ((ν+µ)1) · · · f ((ν+µ)n) ik∈I k k i1 in − where fik are generators of the algebra Uq (g) associated with Q, we denote i(ν + µ) as the P ∗ maximal word of its dual canonical base b (this word is unique in the set hIiν+µ). It is ∗ ∗ convenient to rename the dual canonical base b as bi(ν+µ). Next we will give another special words in hIi . For an element ν = ν i ∈ N[I], we set a word ν ik∈I k k iνP= [i1 · · · i1i2 · · · in · · · in] where the multiplicity of ik in the word is equal to νk for each k ∈ I. For two words k = [k1k2 · · · km] and j = [j1j2 · · · jl], we define air concatenation by kj = [k1k2 · · · kmj1j2 · · · jl]. Thus we have that iνiµ ∈ hIiν+µ. For more details, we can refer to the notations in Lemma 1.3 and Remark 1.5. Fix an indeterminate q. For a representaion M of the quiver Q with dimension dim(M)= ν + µ, we define the Poincar´epolynomial of the quiver Grassmannian Grµ(M) as def. i i Chq(Grµ(M)) = dim H (Grµ(M))q i Z X∈ Theorem. Let M be a rigid representation of an acyclic quiver Q with dimension dim(M)= ν + µ. then we have

sν +sµ−tν,µ−hµ,νi −1 iν iµ (0.2) Chq(Grµ(M)) = q ([ν]![µ]!) χi(ν+µ)

iν iµ where tν,µ is equal to dimEν +dimEµ, χi(ν+µ) is the coefficient of the word iν iµ in the ex- ∗ pression of the dual canonical base bi(ν+µ), and hµ,νi refers to the Euler form of Q. Here sν + sµ and [ν]![µ]! will be given in 1.14. 4 YINGJIN BI

For Dynkin quivers, we calculate the Poincare polynomial of rigid quiver Grassmannians explicitly as follows.

Theorem. Let M be a rigid representation of a Dynkin quiver Q with dimension dim(M)= ν + µ. then we get

sν +sµ−tν,µ−hµ,νi iν iµ (0.3) Chq(Grµ(M)) = q /[ν]![µ]!h(ν+µ)0

iν iµ ∗ ∗ where h(ν+µ)0 is the coefficient of the word iνiµ in the dual PBW base of r(ν+µ)0 = bi(ν+µ) as above.

The notations in above theorem are given in section §4. The reason of replacing the dual iν iµ canonical base by a dual PBW base is to make it easy to calculate the coefficients χi(ν+µ) in the Dynkin case.

Organization This paper is organized as follows. In the section 1, we review canonical basis − and dual canonical basis of the algebra Uq (g) associated with an acyclic quiver. In the se- cion 2, we prove the main theorem of this paper. In the section 3, we give a new proof of the odd cohomology vanishing theorem for quiver Grassmannians. In the section 4, we compute the Poincare polynomial of rigid quiver Grassmannians by the dual PBW bases for Dynkin quivers. At last, we focus on the type A and calculate this polynomial explicitly.

Acknowledgements. The author sincerely thanks professor Giovanni Cerulli Irelli and my advisor Yuming Liu for providing a lot of help during this work. Giovanni Cerulli Irelli firstly sees the primary draft and gives some quite valuable comments on this paper. He would also like to express his gratitude to professor Fan Qin for offering some valuable suggestions. Meanwhile, he would like to thank professor Bernard Leclerc, for his comments provide some clues for this paper.

1. Canonical bases and dual canonical bases on acyclic quivers −→ In this section, we will recall some basic results on acyclic quivers. Let Q = (I, Ω) be an acyclic quiver, where I is the set of the vertices of the quiver and Ω is the set of the arrows of the quiver. A quiver is called acyclic if and only if it has no cycles. We denote by Q the −→ underlying graph of the quiver Q. For h ∈ Ω we write s(h) and t(h) for the source of h and −→ the target of h, respectively. We fix an orientation Ω of an acyclic quiver Q and set a total order on the set of the vertices I so that ik > il if there exists an arrow h : il → ik, then we can index the set of the vertices so that ik > il if and only if k > l. We denote n as the the number of I in this section. −→ One can define a representation of the quiver Q over a field k in the following way: it is a tuple (M, (Mh)h∈Ω) where M is an I-graded vector space over k and Mh : Ms(h) → Mt(h) is −→ a . We denote by Repk(Q) the category of representations of the quiver. Given ON THE COHOMOLOGY OF QUIVER GRASSMANNIANS FOR ACYCLIC QUIVERS 5 −→ −→ Rep −→ two representations M,N ∈ k(Q), we denote by HomQ (M,N) the vector space of Q- 1 −→ between M and N and write [M,N] (resp: [M,N] ) for dim(HomQ (M,N)) (resp: 1 dim(Ext−→(M,N))). Q −→ For a representation M ∈ Rep (Q), we write dimM for its dimension dim(M )i . k ik∈I ik k Given two representations M,N of the quiver, we define an integral bilinear form hM,Ni as P def. (1.1) hM,Ni = hdimM, dimNi = dim Mik dim Nik − dim Ms(h) dim Nt(h) i I Xk∈ hX∈Ω For an acyclic and connected quiver (such as a Dynkin quiver), one obtains the following equation: (1.2) hM,Ni = [M,N] − [M,N]1

Based on the above notations, we define a Cartan matrix AQ = (ai,j)i,j∈I for the quiver Q (which only depends on the underlying graph) by 2 i = j (1.3) ai,j = (hS(i),S(j)i + hS(j),S(i)i i 6= j where S(k) denotes the corresponding to k ∈ I (Here we ignore the order of the vertex set I). One also defines the Kac-Moody algebra gQ associated with the Cartan matrix AQ, which generated by a vector space b, elements {ei}i∈I and {fi}i∈I satisfy some conditions. We write + R for the set of its positive roots. Meanwhile, for simple roots αi and αj, their inner product is given by αi · αj = ai,j For a Cartan matrix AQ and an indeterminate q, we write fA for Lusztig’s integral form of the negative half of the quantum universal enveloping algebra associated with the quiver Q, where A = Z[q,q−1]. Given a number m ∈ N, we set

m −m . q − q . (1.4) [m] def= [m]! def= [k] q − q−1 k m 1≤Y≤ + def. The algebra fA is a Q = i∈I Nαi-graded algebra and is generated by elements {θi}i∈I subject to the quantum Serre relations P

r (r) (s) (1.5) (−1) θi θjθi = 0 r s a + X=1− ij (r) r for all i, j ∈ I and r ≥ 1, where θi denotes the divided power θi /[r]!. Moreover, we write f for the algebra freely genereted by θi for all i ∈ I. There exists a nondegenerate symmetric bilinear form (·, ·) on fA such that (1, 1) =1 and

′ (1.6) (ei(u), v) = (u, θiv), (u, v ∈ fA, i = 1, · · · , r) 6 YINGJIN BI

′ where ei is the q-derivations of fA given by ′ i ′ (α,|u|) ′ (1.7) ei(θj)= δij, ei(uv)= ei(u)v + q uei(v), + for all homogeneous elements u, v of fA, where |u| is the Q -degree. 1.1. Lusztig’s geometric construction of canonical bases. The original results concern- ing geometric construction are given in the cases of the closure field of a finite field. However, the same results are obtained over the complex number field by [BBD, Chapter 6] via Hall category (see [S, Remark 3.27]). Thus unless specified otherwise, we assume the ground field is the complex number field C and replace the field Q with C. Due to the results of this l −→ section just depend on the underlying graph Q, we abbreviate the Q as Q.

def. For an element ν = ν i ∈ N[I], Set an affine space E (Q) = Hom(V ,V ), ik∈I k k ν h∈Ω s(h) t(h) where the vector spaces Vi satisfy dim Vi = νi for i ∈ I, and the linear algebraic group def. P L GL(ν) = Πi∈I GL(Vi) acts on it. Lusztig constructed a family of GL(ν)-equivariant perverse ν sheaves, denoted by P , on Eν to describe the canonical bases of the algebra fA. For acyclic quivers, the elements of Pν are of the form IC(Y, λ), where Y is a smooth locally closed GL (ν)- invariant subvariety and λ is an irreducible local system on Y . Explicitly, we have IC(Y, λ)= →֒ i∗j!∗λ[dim Y ] where j!∗ stands for the intermediate Extension of the open embedding j : Y Y and here i : Y ֒→ Eν (see [KW, Definition 5.2]). From now on, we write λ or IC(λ) for an ν element IC(Y, λ) ∈ P . We abbreviate space Eν(Q) as Eν if there is no danger of confusion

Lemma 1.1. Given an element ν ∈ N[I], the perverse sheaf CEν [dim Eν] on Eν is contained ν in P ( see [S, Example 2.5]). If there exists a unique open GL(ν)–orbit Omax in Eν, we have

CEν [dim Eν] = IC(Omax, C)

From now on, we denote CEν [dim Eν] as Iν .

Proof. Since CEν [dim Eν] is simple, by [KW, Corollary 5.4] there is a simple perverse sheaf A on the open subset Omax such that

CEν [dim Eν]= j!∗A

.where j is the open embedding j : Omax ֒→ Eν Since the stablizer of x ∈ Omax is connected, it follows that the unique irreducible lo- cal system of Omax is the field C, thus we have A = COmax [dim Omax]. Hence we obtain  CEν [dim Eν] = IC(Omax, C).. Lusztig also defined the multiplication of the perverse sheaves, one should see [Lu]for the details. The simple vision is given as follows: Given two elements ν,µ ∈ N[I], we define a variety def. (1.8) Eν,µ = {(W, y) | y ∈ Eν+µ; yh(Ws(h)) ⊆ Wt(h) and dimW = µ } where W are I-graded vector spaces. It is a smooth variety with the constant perverse sheaf

IEν,µ = CEν,µ [dim Eν,µ]. We construct a map:

p :Eν,µ → Eν+µ (1.9) (W, y) 7→ y ON THE COHOMOLOGY OF QUIVER GRASSMANNIANS FOR ACYCLIC QUIVERS 7

The map p is a proper . The multiplication of Iν and Iµ is given by

(1.10) Iν ⋆ Iµ = p!CEν,µ [dim Eν,µ +dimEν +dimEµ] This definition of the multiplication coincides with the original Lusztig’s definition (see [S, Section 1.4]). b We denote by Qν the semisimple subcategory of the DGL(ν)(Eν) generated ν −1 by P . There is a Z[q,q ]-structure on the Grothendieck group of the category Qν, which is denoted by Kq(Qν ), given by m (1.11) q [P] = [P[m]]; for any [P] ∈ K0(Qν ) Lusztig’s geometric construction of canonical bases is given as follows. Theorem 1.2. [S, Theorem 3.6] Under above assumption, there exists an algebraic isomor- ∼ phism ν∈N[I] Kq−1 (Qν ) = fA under the above multiplication. The elements in fA corre- sponding to the elements of Pν is called canonical bases. L Note that category Qν doesn’t depend on the ground field k. By the facts in [BBD], we know this category defined over C is equivalent to this category defined over algebraically closed fields Fq, or see [S, Remark 3.27]. Meanwhile, we should pay attention to the parameter −1 q in the above Grothendieck group Kq−1 (Qν ), which is the inverse of q of the algebra fA. From now on, we write bλ for the canonical base in fA corresponding to the perverse sheaf IC(λ). In particular, we write bν0 for the canonical base in fA corresponding to the perverse sheaf Iν . As a corollary, we have λ (1.12) bν0 ⋆ bµ0 = χν,µbλ ν+µ λ∈PX λ −1 λ −1 where χν,µ ∈ N[q,q ]. There is another way to describe the coefficients χν,µ ∈ N[q,q ] by of the category QQ = ν∈N[I] Qν (see [S]). 1.2. Transformation of the productL of constant perverse sheaves. In this section, we will make some reduction for Formula 1.10.

Lemma 1.3. [S, Example 2.5] For each element ν = k νkik, the perverse sheaf Iν = CE [dim Eν] is of the form ν P Lν1i1,··· ,νnin = Iν where Lν1i1,··· ,νnin is introduced in [Lu]. It is known that the canonical base of the algebra fA corresponding to the perserve L is equal to θ = θ(ν1) · · · θ(νn). Note the ordering of ν1i1,··· ,νnin ν i1 in I is given at the beginning of §1, n = |I| and bν0 = θν For our purpose, we introduce the concept of words on I. We set hIi be the free monoid on I, e.t., the set of all words i = [j1 · · · jl] for l ≥ 0 and j1, · · · , jl ∈ I with multiplication given by concatenation of words: for two words j = [j1 · · · jm] and k = [k1 · · · kl], its concatenation is defined by

(1.13) jk = [j1 · · · jmk1 · · · kl] 8 YINGJIN BI

For an element ν = ν i ∈ N[I], we set ik k k Pdef. def. 1 S = S ; s = (ν − 1)ν ; ν νk ν 2 k k 1≤k≤n 1≤k≤n (1.14) Y X def. [ν]! = [νk]!; iν = [i1 · · · i1i2 · · · in · · · in] 1≤Yk≤n where Sνi stands for the symmetric group of νi and the multiplicity of ik in iν is νk. In[Lu], for any words i ∈ hIiν there is a corresponding Lusztig’s sheaf Li ∈ Qν satisfying Li ⋆Lj = Lij By [VV, Remark 1.5] and Lemma 1.3, we have an isomorphism of complexes ∼ (1.15) Liν = Iν[−2l(w)] w S M∈ ν where l(w) stands for the length of the element w ∈ Sν. 2l(w) 1 n(n−1) Since the Poincar´epolynomial of the symmetric group Sn is that q = q 2 [n]!, w∈Sn it follows P (1.16) q2l(w) = qsν [ν]! w S X∈ ν By the above discussion, we have

Li i = Li ⋆Li = Iν[−2l(w)] ⋆ Iµ[−2l(v)] ν µ ν µ   w S ! v S M∈ ν M∈ µ (1.17)   −2l(w) −2l(v) = q Iν ⋆ q Iµ   w S ! v S M∈ ν M∈ µ −sν−sµ =q [ν]![µ]!Iν ⋆ Iµ by the equation 1.16 where iνiµ is the concatenation of iν and iµ.

1.3. Quantum shuffle algebras. In this section, we briefly reviews basic results on dual canonical basis in terms of words on I. It become available to describe the cohomology of quiver Grassmannians in terms of dual canonical bases via words on I. Under the same assumption of above subsection. For a word j = [j1 · · · jm] of length m and a permutation w ∈ Sm, we set def. def. |j| = αj1 + · · · + αjm , w(j) = [jw−1(1) · · · jw−1(m)] (1.18) def. def. θj = θj1 · · · θjm , deg(w; j) = − αjl · αjk 1≤lw(k) where αji is the simple root of algebra gQ corresponding to the vertex ji and αjl · αjk is given by αjl · αjk = ajl,jk (see 1.3) ON THE COHOMOLOGY OF QUIVER GRASSMANNIANS FOR ACYCLIC QUIVERS 9

def. For an element ν ∈ N[I], set hIiν = {i| |i| = ν}, and the monomials {θi| i ∈ hIiν } span fν. The quantum shuffle algebra is a free A-module AhIi = ν∈N[I] AhIiν on basis hIi, viewed as an A-algebra via the shuffle product ◦ defined on words i and j of length m and l, respectively, by L def. (1.19) i ◦ j = qdeg(w;ij)w(ij)

w∈Sl+m w(1)

(1.21) φx 7→ (θi,x)i. iX∈hIi Generally, for the dual algebra of f, we can define a map Ch : f∗ → Q(q)hIi as well. The map is also injective. Next we define a total order on hIi by the lexicographic order arising from the total order on I (see section §1), which will be denoted by <. For two words j = {j1j2 ...jm} and i = {i1i2 ...in}, we say j > i if there exists k ∈ N such that jl = il for l < k and jk > ik or j = ik for some word k. Definition 1.4. A word i ∈ hIi is called a good word, if there exists an element x ∈ f ∗ such that i is the maximal word in the expression of Ch(x), e.t., i = max(Ch(x)). Denote by hIi+ the set of all good words. + ∗ ∗ Remark 1.5. For each element i ∈ hIi , there exists a unique dual canonical base bi in fA ∗ ∗ ∗ such that max(Ch(bi )) = i. From then on, we abbreviate Ch(bi ) as bi if no confusion. ∗ Additionally, we denote the maximal word of the dual canonical base bν0 by i(ν); that is ∗ ∗ ∗ bν0 = bi(ν) = θν, (see Lemma 1.3). 2. the cohomology of quiver Grassmannians 2.1. The cohomology of quiver Grassmannians for acyclic quivers. We recall the concept of quiver Grassmannians. In §1.1, for two elements ν,µ ∈ N[I], there is a map (see (1.9))

pµ :Eν,µ → Eν+µ −1 Given a point M in Eν+µ, we call the variety pµ (M) as the quiver Grassmannian with dimension vector µ for the representation M and denote it by Grµ(M). Notation For the classical notion, the dimension vector µ is written as the form

e = (ei1 , ei2 , · · · , ein ) 10 YINGJIN BI

where eik ∈ N for each ik ∈ I. However, It is convenient to describe the cohomology of quiver Grassmannians by dual canonical bases when we view a dimension vector as an element of N[I]. By [S, Lemma 1.4], we have that Eν,µ is a smooth variety with dimension

(2.1) dimEν,µ = dimEν+µ +hµ,νi

We denote the perverse sheaf CEν,µ [dim Eν,µ] as IEν,µ , the embedding {M} → Eµ+ν as iM , and dimEν +dimEµ as tν,µ. Assume the cohomology of Grµ(M) is defined over C and denote • it by H (Grµ(M)). Lemma 2.1. [CG, Lemma 8.5.4] Let Q be an acyclic quiver, for a representation M of Q with dimension µ + ν, there exists an isomorphism

• ∼ •−dimEν,µ ∗ (2.2) H (Grµ(M)) = H (iM p!IEν,µ ) Proof. Follows from [CG, Lemma 8.5.4]  Lemma 2.2. [BBD, Decomposition Theorem] Under the above assumption, the complex p!IEν,µ is decomposed as a direct sum of simple perverse sheaves (up some shift): ⊠ p!IEν,µ = V (λ) IC(λ) ν+µ λ∈PM where V (λ) are Z−graded vector spaces. Proof. Follows from the BBD Decomposition Theorem in [BBD]. 

To describe the cohomology of quiver Grassmannians, we introduce the concept of the Poincar´epolynomial of quiver Grassmannians, for it is an accessible way to connect the cohomology of quiver Grassmannians with the dual canonical bases of algebra fA.

Definition 2.3. The Poincar´epolynomial of a quiver Grassmannian Grµ(M) is given by

def. n n Chq(Grµ(M)) = dim H (Grµ(M))q n N X∈ ∗ Similarly, we can define Chq(V (λ)) and Chq(iM IC(λ)) as

def. n ∗ def. n ∗ n (2.3) Chq(V (λ)) = dim V (λ)nq Chq(iM IC(λ)) = dim H (iM IC(λ))q n Z n Z X∈ X∈ Theorem 2.4. Let ν,µ ∈ N[I] be two elements and bλ the canonical base corresponding to an element λ ∈ Pν+µ. We express its dual canonical base as b∗ = χkk. For the λ k∈hIiν+µ λ Z-graded vector space V (λ) in Lemma 2.2, we have P sν +sµ−tν,µ iν iµ (2.4) Chq(V (λ)) = q /[ν]![µ]!χλ

iν iµ where tν,µ is equal to dimEν +dimEµ and χλ is the coefficient of the word iνiµ in the ∗ expression of the dual canonical base bλ. Here sν + sµ and [ν]![µ]! are given in (1.14). ON THE COHOMOLOGY OF QUIVER GRASSMANNIANS FOR ACYCLIC QUIVERS 11

Proof. Since the Lusztig’s sheaf Liν iµ corresponds to the element θiν iµ by Theorem 1.2 and the element θiν iµ is expressed in terms of canonical bases as follows:

λ (2.5) θiν iµ = fν,µ(q)bλ ν+µ λ∈PX we have λ ∗ iν iµ (2.6) fν,µ(q) = (θiν iµ , bλ)= χλ By the definition 1.21. Moreover

p!IEν,µ = Iν ⋆ Iµ[− dimEν − dimEµ] by the equation (1.10) (2.7) sν +sµ−tν,µ = q Liν iµ /[ν]![µ]! by the equation (1.17)

By Theorem 1.2, one writes Chq(p!IEν,µ ) ∈ fA for the element corresponding to the complex sheaf p!IEν,µ . We have

−1 Chq(p!IEν,µ )= Chq(V (λ))(q )bλ by Lemma 2.2 and Theorem 1.2 ν+µ λ∈PX tν,µ−sν −sµ = q θiν iµ /[ν]![µ]! by the equation (2.7)

tν,µ−sν −sµ λ = q /[ν]![µ]! fν,µbλ by the equation (2.5)  ν+µ  λ∈PX Thus we conclude  

sν +sµ−tν,µ λ −1 Chq(V (λ)) =q /[ν]![µ]!fν,µ(q )

sν +sµ−tν,µ iν iµ = q /[ν]![µ]!χλ iν iµ iν iµ −1  By the equation (2.6) and χλ (q)= χλ (q ) Corollary 2.5 (Support theorem). Under the same assumption in Theorem 2.4. For the map ⊠ p :Eν,µ → Eν+µ and the decomposition p!IEν,µ = λ∈Pν+µ V (λ) IC(λ), we have V (λ) 6= 0 ∗ k ∗ k if and only if iνiµ ∈ supp(bλ)= {k ∈ hIiν+µ| χλ 6= 0}, where bλ = χλk L k∈hIiν+µ P Proof. Since V (λ) 6= 0 if and only if Chq(V (λ)) 6= 0. By Theorem 2.4, it implies that iν iµ ∗  Chq(V (λ)) 6= 0 if and only if χλ 6= 0, that is iνiµ ∈ supp(bλ). Remark 2.6. In [FR], they studied the support of the degeneration flag variety. Our results gives another description of the support theorem for any acyclic quiver with any dimension vector. Theorem 2.7. Under the same assumption in Theorem 2.4. Let M be a representation of an acyclic quiver Q, then we have

sν +sµ−tν,µ−dimEν,µ iν iµ ∗ (2.8) Chq(Grµ(M)) = q /[ν]![µ]! χλ Chq(iM IC(λ)) ν+µ λ∈PX 12 YINGJIN BI

b Proof. Recall that q[L] = [L[1]] for an object in the derived category DGL(Eν+µ), (see 1.11)

− dimEν,µ ∗ Chq(Grµ(M)) = q Chq(iM p!IEν,µ ), by Lemma 2.1

− dimEν,µ ∗ = q Chq(V (λ))Chq(iM IC(λ)) by Lemma 2.2 ν+µ λ∈PX sν +sµ−tν,µ−dimEν,µ iν iµ ∗ = q /[ν]![µ]! χλ Chq(iM IC(λ)) by Theorem 2.4 ν+µ λ∈PX Definition 2.8. For an acyclic quiver Q, a representation M with dimension ν is called a rigid representation if and only if its GL(ν)-orbit, denoted by OM , is open in Eν. This 1 definition is equivalent to the condition ExtQ(M, M) = 0. Theorem 2.9. Let M be a rigid representation of Q with dimension dim(M)= ν + µ. For the canonical base θ = θ((ν+µ)1) · · · θ((ν+µ)n), see Lemma 1.3, we express its dual base as ν+µ i1 in ∗ ∗ ∗ θν+µ = b(ν+µ)0 = bi(ν+µ) for a unique word i(ν + µ) by Remark 1.5. Hence we have that

sν +sµ−tν,µ−hµ,νi iν iµ (2.9) Chq(Grµ(M)) = q /[ν]![µ]!χi(ν+µ)

iν iµ where tν,µ is equal to dimEν +dimEµ, χi(ν+µ) is the coefficient of the word iνiµ in the expres- ∗ sion of the dual canonical base bi(ν+µ), and hµ,νi refers to the Euler form 1.1. Here sν + sµ and [ν]![µ]! are given in (1.14). Proof. We claim that there is only the element (ν + µ)0 ∈ Pν+µ such that ∗ 0 iM (IC((ν + µ) )) 6= ∅ Suppose a simple perverse sheaf IC(Y, λ) satisfies M ∈ Supp(IC(Y, λ)), where Supp(IC(Y, λ)) stands for the support of the complex IC(Y, λ). Since Supp(IC(Y, λ)) ⊂ Y and Y is a GL(ν + µ)-invariant subvariety, it implies that OM ⊂ Y . Since the orbit OM is an open subvariety of Eν+µ and affine space Eν+µ is irreducible, it implies Y =Eν+µ. Meanwhile, since Y is open in Eν+µ, it leads to that OM ∩ Y 6= ∅. For Y is a GL(ν + µ)-invariant subvariety, we have OM ⊂ Y and OM is an open subset of Y . ,[Denote the open embedding of Y by j : Y ֒→ Eν+µ. By the lemma-Definition 5.2 of [KW we have that IC(Y, λ)= j!∗A where A is a simple perverse sheaf on Y . If A admits a perverse subsheaf arising from Y/OM , then one has Supp(IC(Y, λ)) ⊂ Eν+µ /OM for IC(Y, λ) is a ′ simple perverse sheaf. It contradicts the assumption. Hence it implies A = j!∗B where ′ ′ = j : OM ֒→ Y and B is a simple perverse sheaf on OM . Thus it follows IC(Y, λ)= j!∗ ◦ j!∗B IC(OM ) for there exists only one irreducible local system COM on OM . By Lemma 1.1, one obtains 0 IC((ν + µ) ) = IC(OM )= IEν+µ = CdimEν+µ [dim Eν+µ] ν+µ ∗ 0 Hence the unique element λ of P such that iM (IC(λ)) 6= ∅ is the element (ν + µ) . It 0 is shown that the canonical base corresponding to (ν + µ) is equal to θν+µ by Lemma 1.3, thus the equation (2.8) becomes

sν +sµ−tν,µ−dimEν,µ iν iµ 0 Chq(Grµ(M)) = q /[ν]![µ]!χi(ν+µ) Chq(IC((ν + µ) )) ON THE COHOMOLOGY OF QUIVER GRASSMANNIANS FOR ACYCLIC QUIVERS 13

i i sν +sµ−tν,µ−dimEν,µ ν µ C = q /[ν]![µ]!χi(ν+µ) Chq( dimEν+µ [dim Eν+µ])

sν +sµ−tν,µ−dimEν,µ iν iµ dimEν+µ = q /[ν]![µ]!χi(ν+µ)q

sν +sµ−tν,µ−dimEν,µ +dimEν+µ iν iµ = q /[ν]![µ]!χi(ν+µ)

sν +sµ−tν,µ−hµ,νi iν iµ = q /[ν]![µ]!χi(ν+µ) By the dimension formula 2.1  Next Corollary seems quite trivial(also by Grauert’s semicontinuity theorem), but it indeed reveals some additional relationship between quiver Grassmannians of different representa- tions. Corollary 2.10. Suppose that N ≇ M where M is a rigid representation such that dim N = dim M, we have that

(2.10) Chq(Grµ(N)) = Chq(Grµ(M)) + f(q) where f(q) ∈ N[q,q−1]. ν+µ def. Proof. Set qGrµ = qsν +sµ−tν,µ−dimEν,µ /[ν]![µ]!. By the equation 2.8, it induces ν+µ Grµ iν iµ ∗ Chq(Grµ(N)) = q χλ Chq(iN IC(λ)) ν+µ λ∈PX ν+µ i i ν+µ i i Grµ ν µ ∗ Grµ ν µ ∗ I = q χλ Chq(iN IC(λ)) + q χi(ν+µ) Chq(iN Eν+µ ) 0 λ6=(Xν+µ) ν+µ Grµ iν iµ ∗ = q χλ Chq(iN IC(λ)) +Chq(M) 0 λ6=(Xν+µ) for IEν+µ is the constant perverse sheaf. Thus we conclude

Chq(Grµ(N)) = Chq(Grµ(M)) + f(q) where f(q) ∈ N[q,q−1].  Remark 2.11. By the paper [LS], Professor Cerulli Irelli proposed an open problem: Com- • • pare the cohomology of two quiver Grassmannians H Grµ(M) and H Grµ(N) such that the representation M is a degeneration of the representation N. For the definition of the degen- eration, we can refer to [Sch] or [CB]. By the Geometric representation theory, these two Poincar´epolynomials are two dual standard modules. By [IEFR, Corollary 2], we have rigid quiver Grassmannians has polynomial point-count. Indeed, Fan Qin has proved this fact in [Qin]. Hence, we can calculate the number of points of rigid quiver Grassmannians over a finite field Fq by Theorem 2.9. 1 Corollary 2.12. Let us fix a finite field Fq and its algebraically closed field Fq. Set q∗ = q 2 . For a rigid representation M over Fq as Theorem 2.9, it follows F sν +sµ−tν,µ−hµ,νi iν iµ | Grµ(M)( q) |= q∗ /[ν]![µ]!χi(ν+µ)(q∗) we refer to Theorem 2.9 for the notations here. 14 YINGJIN BI

Proof. By [IEFR, Theorem 1 and Corollary 2], we have

2i i | Grµ(M)(Fq) | = dim H (Grµ(M))q i X • = Chq∗ (H Grµ(M)) for Grµ(M) has no odd cohomology

sν +sµ−tν,µ−hµ,νi iν iµ = q∗ /[ν]![µ]!χi(ν+µ)(q∗) 

3. Another proof of odd cohomology vanishing for quiver Grassmannians In this section, we will give a new proof of the odd cohomology vanishing theorem for i(ν+µ) quiver Grassmannians. By Theorem 2.9, we just need prove the coefficients χλ of the ∗ dual canonical bases bλ satisfy i(ν+µ) 2 −2 i(ν+µ) 2 −2 (3.1) χλ ∈ Z[q ,q ] or χλ ∈ qZ[q ,q ] It is known that the graded module category of Quiver Hecke algebras is the categorifacation of the algebra A, and the simple modules correspond to the dual canonical bases by the Character map. Thus we recall some notions about quiver Hecke algebras. A quiver Hecke algebra Hν for a I-graded element ν is a generated by {1i| i ∈ hIiν } ∪ {x1, · · · ,xn} ∪ {τ1, · · · ,τn−1} subject to some relations, where n = ht(ν) (see [KL09] for more details). We denote by Rep the category of its graded finite dimensional modules, then we write K0(Rep) for the Grothendieck group of the category Rep. For a def. n graded vector space V = ⊕n∈ZVn, Its graded dimension is Dim V = n∈Z(dim Vn)q . The Character of a finite dimensional module V is defined by P def. (3.2) Ch(V ) = (Dim 1iV )i i∈hXIiν def. Set B∗ = {[L]| for all self-dual irreducible H-modules L} (see [B, Section 3]), we have ∗ −1 Theorem 3.1. [VV][B, Theorem 3.11] the Character map Ch:K0(Rep) → fA ⊂ Z[q,q ]hIiν is isomorphic, and send B∗ to the dual canonical basis. A useful lemma is given as follows Lemma 3.2. [B, Lemma 3.2] Fix a total order < on I. For a word i ∈ hIi of length n define

p(i) := αij · αik (mod2) 1≤j

0 1 Then every Hν-module V decomposes as a direct sum of modules as V = V ⊕ V where q V := 1iVn i∈hIi,n∈Z n≡p(i)+Mq( mod 2) ON THE COHOMOLOGY OF QUIVER GRASSMANNIANS FOR ACYCLIC QUIVERS 15

Lemma 3.3. Under the assumption of Theorem 2.9, we have

(3.3) p(iνiµ) ≡ tν,µ + νs(h)µt(h)(mod 2) h X∈Ω Proof. For iνiµ = [i1, · · · , i1, i2, · · · , in, · · · , in, i1, · · · , i1, · · · , in], we have

(3.4) p(iνiµ) ≡ νl(ν + µ)k αik · αil + µlµk αik · αil (mod2) i >i i >i Xk l Xk l Since the quiver Q is acyclic and ik > il if and only if there exists an arrow il → ik. we have αik · αil = ♯{arrows from il → ik} for any il < ik. It follows

p(iν iµ) ≡ νs(h)(ν + µ)t(h) + µs(h)µt(h) (mod2) h∈Ω h∈Ω (3.5) X X ≡ tν,µ + νs(h)µt(h) (mod 2) h X∈Ω By the equation tν,µ = h∈Ω νs(h)νt(h) + h∈Ω µs(h)µt(h)  P P Theorem 3.4. Under the assumption of Theorem 2.9. The Poinca´epolynomial of rigid quiver Grassmannian Chq(Grµ(M)) satisfies 2 (3.6) Chq(Grµ(M)) ∈ Z[q ] 2i+1 In other words, H (Grµ(M)) = 0 for all i ∈ N. ∗ Proof. For the dual canonical base bi(ν+µ), the corresponding simple module is denoted by ∗ L(i(ν + µ)). that means that Ch(L(i(ν + µ))) = bi(ν+µ). By the definition of Character map, we have

iν iµ n (3.7) χi(ν+µ)(q) = Dim 1iν iµ L(i(ν + µ)) = dim(1iν iµ L(i(ν + µ))n)q n Z X∈ Since the module L(i(ν + µ)) is a simple module, we have L(i(ν + µ)) = L(i(ν + µ))0 or L(i(ν + µ)) = L(i(ν + µ))1 by Lemma 3.2. 0 If L(i(ν + µ)) = L(i(ν + µ)) , we have dim(1iν iµ L(i(ν + µ))n) 6= 0 if and only if

(3.8) n ≡ p(iν iµ)(mod2) By Equation (1.16) we have

q−sν −sµ [ν]![µ]! = q−2l(w) w S S ∈Xν × µ Hence qsν +sµ ([ν]![µ]!)−1 ∈ Q(q2). By the equations (3.8)and (3.7), we have

−tν,µ−hµ,νi iν iµ −tν,µ−hµ,νi+p(iν iµ) 2 (3.9) q χi(ν+µ)(q)= q h(q ) 16 YINGJIN BI

i i 2 Z 2 −2 −tν,µ−hµ,νi ν µ Z 2 −2 where h(q ) ∈ [q ,q ]. We clam that q χi(ν+µ)(q) ∈ [q ,q ]. Otherwise, we i i −tν,µ−hµ,νi ν µ Z 2 −2 have q χi(ν+µ)(q) ∈ q [q ,q ], it follows i i sν +sµ −1 −tν,µ−hµ,νi ν µ Q 2 (3.10) Chq(Grµ(M)) = q ([ν]![µ]!) q χi(ν+µ)(q) ∈ q (q ) 2 2 Since Chq(Grµ(M)) ∈ Z[q] and Z[q] ∩ qQ(q )= qZ[q ], It implies that Chq(Grµ(M)) has no 0 constant item. In other words, H (Grµ(M)) = 0. Since Grµ(M) is smooth, the algebra cycle 0 −tν,µ−hµ,νi iν iµ [Grµ(M)] ∈ H (Grµ(M)). It leads to a contradiction. Hence we have q χi(ν+µ)(q) ∈ 2 −2 2 2 Z[q ,q ], By above discussion we have Chq(Grµ(M)) ∈ Q(q ) ∩ Z[q]. Since Q(q ) ∩ Z[q] = 2 2 Z[q ], we have Chq(Grµ(M)) ∈ Z[q ] 1 If L(i(ν + µ)) = L(i(ν + µ)) , we have dim(1iν iµ L(i(ν + µ))n) 6= 0 if and only if

n ≡ p(iνiµ) + 1(mod2) i i −tν,µ−hµ,νi ν µ Z 2 −2 Q 2 Z Similarly, we also have q χi(ν+µ)(q) ∈ [q ,q ] and Chq(Grµ(M)) ∈ (q ) ∩ [q]. Thus we have done. 

4. The cohomology of quiver Grassmannians for Dynkin quivers In this section, we fix an orientation Ω of a Dynkin quiver Q. It is known that there exists a reduced expression of the longest element w0 adapting the orientation Ω, which gives rise to a convex order on R+, denoted by >. We set another convex order as + (4.1) βk ≺ βl for βk > βl where βk, βl ∈ R By Gabriel’s Theorem, we have

−→ −→ (4.2) HomQ (M(βa), M(βb)) = ExtQ (M(βb), M(βa))=0 for βa ≺ βb where M(βi) stands for the indecomposable module with dimension βi

Next we will find out this ordering on the simple modules satisfies the condition of the ordering of the set of the vertices I in §1. Denote the simple roots ( viewed as the vertices) by {ik}1≤k≤n. If there exists an arrow going from ik to il, then by the equations (1.1) and (1.2), it follows

hik, ili = − 1 h∈Ω s(h)=Xik,t(h)=il 1 = [M(ik), M(il)] − [M(ik), M(il)] 1 = −[M(ik), M(il)]

By the equation (4.2), we have that ik ≺ il. Thus the ordering of I in §1 coincides with the iν iµ above order ≺ restricting on I. We will calculate the coefficients χi(ν+µ) of dual canonical ∗ bases bi(ν+µ) for Dynkin quivers in terms of dual PBW basis. ON THE COHOMOLOGY OF QUIVER GRASSMANNIANS FOR ACYCLIC QUIVERS 17

4.1. A useful Lemma. A kind of special words, called a Lyndon word, is used to study the dual PBW basis of quantized enveloping algebra for Dynkin quivers. Suppose we have defined an order on the set of the vertices I, and we define a order of its words by the lexicographic order, see 1.3.

Definition 4.1. A word j = [j1 · · · jm] ∈ hIi is called Lyndon word, if it satisfies the condition

[j1 · · · jm] < [jl · · · jk] for all 1 ≤ l < k ≤ m For Cartan data of finite type (such as Dynkin quivers), the good Lyndon words can be classified by the following fact in [LR]. Lemma 4.2. [LR, Proposition 3.2] If the Cartan data is of finite type then the map i 7→ |i| is a bijection between the set of good Lyndon words and the set R+ of the positive roots. Here |i| is given in (1.18) Thus the above bijection transforms the lexicographic order on good Lyndon words to a total order on the set R+, which is also denoted by ≺. + Since for any good word i ∈ hIi , we can decompose it as i = j1 · · · jk where jl are good Lyndon words with the condition j1 ≥ j2 ··· ≥ jk, thus any good word i can be expressed as the form (β1, β2, · · · , βm) such that β1  β2 ··· βm by Theorem 4.2. Hence, we can identify the following set m def. KP(ν) = {(β1, β2, · · · , βm)| βi = ν such that β1  β2 ··· βm} i X=1 + with the set of good words hIiν . It is well known that the set KP(ν) coincides with the set of the GL(ν)-orbits in the space Eν(Q), see §1.1. Remark 4.3. Note this order usually doesn’t coincide with the original order at the beginning of this section, for the order of positive roots depends on the orientation Ω and the induced lexicographic order on R+ depends only on the order of I. 4.2. Dual PBW basis for Dynkin quivers. Return back our assumption of the beginning of this section. In [BKM], a Kostant partition of ν ∈ N[I] is a sequence λ = (λ1, · · · , λl) of the positive roots such that λ1 ··· λl and λ1 + · · · + λl = ν. We can define an order ≻ on KP(ν) so that λ ≻ κ if and only if both of the following hold

λ1 = κ1, · · · , λk−1 = κk−1 and λk ≻ κk for some k such that λk and κk are both defined. ′ ′ ′ ′ ′ ′ ′ ′ λ1 = κ1, · · · , λk−1 = κk−1 and λk ≺ κk for some k such that λk and κk are both defined. ′ where λk = λl+1−k. For λ = (λ1, · · · , λl) ∈ KP(ν), we set

def. 1 (4.3) sλ = mβ(λ)(mβ (λ) − 1) + 2 βX∈R where mβ(λ) denotes the multiplicity of the root β in λ. 18 YINGJIN BI

Definition 4.4. For any root β ∈ R+, we have a Lyndon good word corresponding to it, ∗ denoted by j(β). By Remark 1.5, there exists a dual canonical base bβ. Given an element λ = (λ1, λ2, · · · , λl) ∈ KP(ν), we define its dual PBW base as

∗ def. sλ ∗ ∗ ∗ rλ = q bλ1 ◦ bλ2 ◦···◦ bλl where ◦ refers to the shuffle product, see (1.19). Remark 4.5. For an element λ ∈ KP(ν), we have: ∗ ∗ κ ∗ (4.4) bλ = rλ + fλ (q)rκ κX≺λ κ where fλ (q) ∈ qZ[q]. 4.3. The cohomology of quiver Grassmannians of Dynkin quivers. In this section, we focus on a special orientation of a Dynkin quiver.

Assumption : As a partial order on KP(ν) doesn’t always arise from the lexicographic or- + dering hIiν , thus from then on, we assume the orientation Ω gives rise to an order on KP(ν) + coinciding with the total order hIiν via Lemma 4.2 or see Remark 4.3, that is: the ordering of Kostant partition KP(ν) coincides with the total lexicographic ordering on hIiν via their isomorphism: i → |i|.

By the definition of KP(ν) and the Gabriel’s theorem, we have the set of the isomorphism classes of representations on a quiver Q with dim(M) = ν is equal to the set KP(ν), and −→ then there is a bijection between KP(ν) and the set of the GL(ν)-orbits in Eν(Q), denoted by | Eν / GL(ν)|, given by ∼ KP(ν) −→| Eν / GL(ν)|

(λ1, · · · , λk) 7→ [M(λi)] i k 1M≤ ≤ where [M(λi)] denotes the isomorphism class of the indecomposable module M(λi) corre- sponding to the root λi. Hence for an element λ ∈ KP(ν), we denote by Oλ the corresponding GL(ν)–orbit and by M(λ) the corresponding representation. Next we will find the relation between the degeneration of representations on Q and the order on KP(ν). We recall another partial order on the set KP(ν): Given two elements 1 1 λ, κ ∈ KP(ν), we define a partial order ≺ so that λ ≺ κ if and only if we have Oκ ⊂ Oλ. 0 −→ Denote by ν the Konstant partition corresponding to the unique open orbit in Eν(Q). Note that representation M(ν0) is a rigid representation, thus the notation here coincides with the notation in Lemma 1.3 by Theorem 2.9, so it leads to no confusion. −→ For the next theorem, we recall some facts on the partial order ≺1. In[CB], for Q is a Dynkin quiver, the condition λ ≺1 κ implies that [N, M(λ)] ≤ [N, M(κ)] and [M(λ),N] ≤ −→ [M(κ),N] for all representations N of the quiver Q, see section §1 for the notations. Theorem 4.6. The partition ν0 is a smallest element of KP(ν) under the ordering ≺. ON THE COHOMOLOGY OF QUIVER GRASSMANNIANS FOR ACYCLIC QUIVERS 19

Proof. Suppose for the contradiction that there exists an element λ ≺ ν0 in KP(ν). By the 0 0 definition of this partial order, we have that λk ≺ νk for some k such that λi = νi for all 0 0 1 ≤ i ≤ k − 1. Let m be the multiplicity of νk in the sequence ν . By the equation (4.2) and 0 the definition of Kostant partitions, taking the module M(νk ), it implies 0 0 0 m 0 0 [M(ν ), M(νk )] = [M(νk ) ⊕ (⊕i≤k−1M(νi )), M(νk )] 0 0 0 0 = m[M(νk ), M(νk )] + [(⊕i≤k−1M(νi )), M(νk )] 0 0 0 0 = m + [(⊕i≤k−1M(νi )), M(νk )] by [M(νk ), M(νk )] = 1 0 0 = m + [(⊕i≤k−1M(λi)), M(νk )] by λi = νi for all 1 ≤ i ≤ k − 1 0 0 = m + [M(λ)), M(νk )] by λi ≺ νk for all i ≥ k So it contradicts the facts [M(ν0),N] ≤ [M(λ),N] for all representations N on the quiver −→ Q  ∗ ∗ 0 By Theorem 4.6 and Remark 4.5, we have bν0 = rν0 . Suppose the Kostant partition of ν 0 0 0 is (ν1 ,ν2 , · · · ,νl ), then ∗ s 0 ∗ ∗ ∗ r 0 = q ν b 0 ◦ b 0 ◦···◦ b 0 ν ν1 ν2 νl 0 see 4.3 for the notation sν0 . Since we can decompose a rigid module M(ν ) as the sum of indecomposible representations, it is easy to find its Kostant partition ν0 ∗ i i ∗ i i If we write rν0 = i∈hIiν hν0 for the expression of rν0 , then we have hν0 = χν0 . Thus Theorem 4.7. GivenP a Dynkin quiver Q. Let ν,µ ∈ N[I] be two elements and M a rigid representation with dimension dim(M)= ν + µ. then it follows

sν +sµ−tν,µ−hµ,νi iν iµ (4.5) Chq(Grµ(M)) = q /[ν]![µ]!h(ν+µ)0 iν iµ ∗ ∗ where h(ν+µ)0 is the coefficient of the word iνiµ in the dual PBW base of r(ν+µ)0 = b(ν+µ)0 as above. For other notations, we refer to Theorem 2.9. Remark 4.8. In [Le, Propositon 56], all dual canonical bases corresponding to positive ∗ roots are expressed as bβ = j∼i(β) j, where the relation j ∼ i(β) is defined by that j can be obtained by a sequence of communications of two adjacent letters i and j with ai,j = 0. Hence, P iν iµ even though the calculation of the coefficients h(ν+µ)0 is tough, it is possible to calculate it explicitly. There is a surprising corollary as follows.

Corollary 4.9. Under the above assumption, the map p : Eν,µ → Eν+µ is surjective, if and ∗ only if iνiµ ∈ supp(r(ν+µ)0 )

Proof. Since p :Eν,µ → Eν+µ is surjective if and only if Grµ(M) 6= ∅ for a rigid representation in Eν+µ (note there always exists such a representation for any element ν + µ), then it is iν iµ  equivalent to Chq(Grµ(M)) 6= 0. By the above theorem, it implies that h(ν+µ)0 6= 0. Remark 4.10. In [Sch], Schofield used the methods of modules theory to determine the map p is surjective. But the above corollary describes it in a different way. 20 YINGJIN BI

4.4. Type A. In [Le, section 8.1], for any positive root β of type A, its dual canonical bases ∗ ∗ bβ are in the form bβ = i(β) where the word i(β) corresponding to the root β, see Lemma 4.2. It implies ∗ sν0 0 0 0 rν0 = q i(ν1 ) ◦ i(ν2 ) ◦···◦ i(νl ) def. For an element ν = ν i , we define its height by ht(ν) = ν . For the element ik∈I k k ik∈I k 0 0 0 ∗ ν , we set ht(ν )= n and ht(νi )= ni. Recall max(bν0 )= i(ν) in Remark 1.5. By the [KR, P 0 0 0 P Corollary 5.4], we have i(ν)= i(ν1 )i(ν2 ) · · · i(νl ). We take the minimal representation of each l element of Sn/ i=1 Sni . One can define a set by l Q j def. Sν = {w ∈ Sn/ Sni | w(i(ν)) = j} i Y=1 Hence by the definition of shuffle product (1.19) we have that j j sν0 deg(w;i(ν)) χν0 = hν0 = q q j wX∈Sν Thus Theorem 2.9 becomes the following form. Theorem 4.11. Let M be a rigid representation of a quiver Q of type A with dimension dim(M)= ν + µ. then it follows

sν +sµ+s 0 −tν,µ−hµ,νi deg(w;i((ν+µ))) (4.6) Chq(Grµ(M)) = q (ν+µ) /[ν]![µ]! q iν iµ w∈XSν+µ the deg(w; i((ν + µ))) refers to the degree in 1.18 and s(ν+µ)0 stands for the notation in 4.3. For other notations, we refer readers to Theorem 2.9,

References [BBD] A. Beilinson, J. Bernstein and P. Deligne, Faisceaux pervers, Ast´erisque, 100, (1983). [BKM] J. Brundan, A.Kleshchev and P, McNamara, Homological properties of finite-type Khovanov–Lauda– Rouquier algebras, Duke Math, 163 (2014), 1353–1404. [B] J. Brundan, Quiver Hecke algebras and categorification, in: “Advances in Representation Theory of Algebras,” eds: D. Benson et al, EMS Congress Reports, 2013, pp.103–133. [CB] B. Crawley-Boevey, Geometry of representations of algebras, Lecture notes, (1993) [CC] P. Caldero and F. Chapoton, Cluster algebras as Hall algebras of quiver representations, Commentarii Mathematici Helvetici, 81 (2004), 595-616 [CG] N. Chriss and V. Ginzburg, Representation theory and , Springer Science & Business Media, (1997) [FR] X. Fang and M. Reineke, Supports for linear degenerations of flag varieties, arXiv:1805.09797, (2018). [IEFR] G.C.Irelli, F. Esposito, H. Franzen and M. Reineke, Cell decompositions and algebraicity of cohomology for quiver Grassmannians, arXiv:1804.07736, (2018). [Ka] S. Kato, Poncar´e-Birkhoff-Witt bases and Khovanov-Lauda-Rouquier algebras, Duke Math.J. 163 (2014), 1169-1212. [KR] A. Kleshchev and A. Ram, Representations of Khovanov-Lauda-Rouquier algebras and combinatorics of Lyndon words, Math. Ann. 349 (2011), 943–975. [KL09] M. Khovanov and A. Lauda, A diagrammatic approach to categorification of quantum groups I, Rep- resent. Theory 13 (2009), 309–347. ON THE COHOMOLOGY OF QUIVER GRASSMANNIANS FOR ACYCLIC QUIVERS 21

[KQ] Y. Kimura and F, Qin, Graded quiver varieties, quantum cluster algebras and dual canonical basis, Advances Math 262 (2014), 261–312. [KW] R. Kiehl and R. Weissauer, Weil Conjectures, Perverse Sheaves and ladic Fourier Transform, Springer, Berlin, Heidelberg, (2001) [LR] P. Lalonde and A. Ram, Standard Lyndon bases of Lie algebras and enveloping algebras, Trans. Amer. Math. Soc, 347, (1995), 1821–1830. [LS] M. Lanini and E. Strickland, Cohomology of the flag variety under PBW degenerations, Transformation Groups, 24, (2019), 835–844. [Le] B. Leclerc, Dual canonical bases, quantum shuffles and q-characters, Math. Z. 246 (2004), 691–732. [Lu] G. Lusztig, Introduction to Quantum Groups, Birkh¨auser, (1993). [Nak] H. Nakajima, Quiver varieties and cluster algebras, Kyoto J. Math 51 (2011), 71-126. [Pla] Pierre-Guy Plamondon,Cluster characters for cluster categories with infinite-dimensional morphism spaces, Adv. in Math. 1 (2011),1-39. [Qin] F. Qin,Quantum cluster variables via Serre polynomials, J.Reine Angew. Math. 2012 (2012), 149-190, with an appendix by Bernhard Keller. [Sch] O. Schofield, General representations of quivers, Proc.London Math Soc 65 (1992), 46–64. [S] O. Schiffmann, Lectures on canonical and crystal bases of Hall algebras, arXiv:0910.4460, (2009). [VV] M. Varagnolo and E. Vasserot, Canonical bases and KLR-algebras, J. Reine Angew. Math. 659 (2011) 67–100.

School of Mathematical Sciences, Beijing Normal University, Beijing 100875 P.R.China Email address: [email protected] URL: ORCiD: orcid.org/0000-0003-0153-3274