Bigrassmannian permutations and Verma modules
aa r X i v : . [ m a t h . R T ] A ug BIGRASSMANNIAN PERMUTATIONS AND VERMA MODULES
HANKYUNG KO, VOLODYMYR MAZORCHUK AND RAFAEL MR¯DEN
Abstract.
We show that bigrassmannian permutations determine the socle of the cokernel of an inclusion ofVerma modules in type A . All such socular constituents turn out to be indexed by Weyl group elements from thepenultimate two-sided cell. Combinatorially, the socular constituents in the cokernel of the inclusion of a Vermamodule indexed by w ∈ S n into the dominant Verma module are shown to be determined by the essential set of w and their degrees in the graded picture are shown to be computable in terms of the associated rank function. Asan application, we compute the first extension from a simple module to a Verma module. Introduction, motivation and description of results
Setup.
Consider the symmetric group S n on { , , . . . , n } as a Coxeter group with simple reflections s i , givenby the elementary transpositions ( i, i + 1) , where i = 1 , , . . . , n − . Denote by ≤ the corresponding Bruhatorder. Given w ∈ S n , we call i a left descent of w if s i w < w , and a right descent of w if ws i < w . An element w ∈ S n is called bigrassmannian provided that it has exactly one left descent, and exactly one right descent. Variousaspects of bigrassmannian permutations were studied in [LS, Ko1, Ko2, EL, EH, Re, RWY]. The most relevantfor this paper is the property that bigrassmannian permutations are exactly the join-irreducible elements of S n with respect to ≤ , see [LS]. Join-irreducible elements of Weyl groups appear in representation-theoretic context in[IRRT]. Bigrassmannian elements are the first protagonists of the present paper. We denote by B n the set of allbigrassmannian permutations in S n .Denote by g the simple Lie algebra sl n over C with the standard triangular decomposition g = n − ⊕ h ⊕ n + , where h is the Cartan subalgebra of all (traceless) diagonal matrices and n + is the nilpotent subalgebra of allstrictly upper triangular matrices. Consider the BGG category O associated to this triangular decomposition andits principal block O , see [BGG2, Hu].The group S n is the Weyl group of g , and thus acts naturally on h ∗ . We also consider the dot-action of S n on h ∗ ,that is w · λ = w ( λ + ρ ) − ρ for λ ∈ h ∗ , where ρ is the half of the sum of all positive roots in h ∗ . For λ ∈ h ∗ , we denote by ∆( λ ) the Vermamodule with highest weight λ and by L ( λ ) the unique simple quotient of ∆( λ ) , see [Ve, Di, Hu]. The isomorphismclasses of simple objects in O are naturally indexed by the elements in S n as follows: S n ∋ w L ( w · , where denotes the zero element of h ∗ . For w ∈ S n , we set ∆ w := ∆( w · and L w := L ( w · .It is well-known, see [Di, Chapter 7], that, for x, y ∈ S n , we have: • dim Hom g (∆ x , ∆ y ) ≤ , • a non-zero homomorphism from ∆ x to ∆ y exists if and only if x ≥ y , • each non-zero homomorphism from ∆ x to ∆ y is injective. In particular, all ∆ w , where w ∈ S n , are uniquely determined submodules of the dominant Verma module ∆ e .The composition multiplicity of L x in ∆ x can be computed in terms of Kazhdan-Lusztig (KL) polynomials , by[KL, BB, BK, EW], see Subsection 2.3. The associated
KL combinatorics divides S n into subsets, called two-sidedcells , ordered with respect to the two-sided order ≤ J . This coincides with the division of S n given by the Robinson-Schensted correspondence: to each w ∈ S n , we associate a pair ( P w , Q w ) of standard Young tableaux of the sameshape λ which is a partition of n , see [Ro, Sch, Sa]. The two-sided cells in S n are indexed by such λ and correspondprecisely to the fibers of the map from S n to the set of all partitions of n induced by the Robinson-Schenstedcorrespondence. Moreover, the two-sided order coincides with the dominance order on partitions, see [Ge]. Thelongest element w of S n forms a two-sided cell which is the maximum with respect to the two-sided order. Ifwe delete this two-sided cell, in what is left there is again a unique maximum two-sided cell, which we denote by J and call the penultimate two-sided cell. The two-sided cell J is the second protagonist of the present paper.Under the Robinson-Schensted correspondence, it corresponds to the partition (2 , n − ) of n . Under the involution x xw , the two-sided cell J corresponds to the two-sided cell which contains all simple reflections, studied in,for example, [KMMZ, KM]. The Kazhdan-Lusztig cell representation of S n associated with (any left cell inside) J is exactly the representation of S n on h ∗ . For each i, j ∈ { , , . . . , n − } , the cell J contains a unique element w such that s i w > w and ws j > w . We denote this w by w i,j .1.2. Motivation.
The original motivation for this paper comes from a question by Sascha Orlik and MatthiasStrauch which is discussed in more detail in the next subsection. A very special case of that question leads to theproblem of determining
Ext O ( L x , ∆ y ) in the case x = w . In the case x = w , we note that L w = ∆ w andhence the computation of Ext O ( L x , ∆ y ) can be reduced, using twisting functors, to [Ma, Theorem 32] (see theproof of Corollary 2). The case x = w requires new techniques and is completed in Corollary 2.1.3. Description of the main results.
The main result of this paper is the following theorem which, in particular,reveals a completely unexpected connection between B n and J . Theorem 1. ( i ) For w ∈ S n , the module ∆ e / ∆ w has simple socle if and only if w ∈ B n . ( ii ) The map B n ∋ w soc(∆ e / ∆ w ) induces a bijection between B n and simple subquotients of ∆ e of the form L x , where x ∈ J . ( iii ) For w ∈ S n , the simple subquotients of ∆ e / ∆ w of the form L x , where x ∈ J , correspond under the bijectionfrom (ii) , to y ∈ B n such that y ≤ w . ( iv ) For w ∈ S n , the socle of ∆ e / ∆ w consists of all L x , where x ∈ J , which correspond, under the bijection from (ii) , to the Bruhat maximal elements in { y ∈ B n : y ≤ w } . The bijection from Theorem 1(ii) is explicitly given in Subsection 4.2. One of the ways to think about this bijection isas follows: each graded simple module soc(∆ e / ∆ w ) , where w ∈ B n , has multiplicity one in ∆ e (see Proposition 12),moreover, the images of these soc(∆ e / ∆ w ) in the graded Grothendieck group of O are linearly independent.Theorem 1 provides a categorical, or, alternatively, a representation theoretic interpretation of the poset B n . Wenote that this interpretation is completely different from the one in [IRRT]. The crucial step towards the formulationof Theorem 1 was an accidental numerical observation which can be found in Corollary 13.For x ∈ S n , denote by ℓ ( x ) the length of x (as an element of a Coxeter group), and by c ( x ) , the content of x , thatis the number of different simple reflections appearing in a reduced expression of x (this number does not dependon the choice of a reduced expression). Denote by Φ : B n → J the map given by Φ( w ) = w i,j , if w ∈ B n is suchthat s i w < w and ws j < w . For x ∈ S n , denote by BM ( x ) the set of all Bruhat maximal elements in the set IGRASSMANNIAN PERMUTATIONS AND VERMA MODULES 3 B ( x ) := { y ∈ B n : y ≤ x } . For w ∈ S n , we denote by ∇ x the dual Verma module obtained from ∆ x by applyingthe simple preserving duality on O , see [Hu].Theorem 1, combined with [Ma, Theorem 32], has the following homological consequence: Corollary 2.
Let x, y ∈ S n . Then we have dim Ext O ( L x , ∆ y ) = dim Ext O ( ∇ y , L x ) = c ( xy ) , x = w ;1 , x ∈ Φ( BM ( y ));0 , otherwise . Theorem 1 and Corollary 2 are proved in Section 2. Both Theorem 1 and Corollary 2 extend to singular blocks of O , which we prove in Theorem 16 and Proposition 15 in Section 3.The starting point of this paper was a question the second author received from Sascha Orlik and Matthias Strauch,namely, whether, for x, y ∈ S n such that x < y , the space Ext O (∆ y / ∆ w , ∆ x ) can be non-zero?From Corollary 2, it follows that the answer is “yes”. For example, for the algebra sl , one can take y = s w , inwhich case ∆ y / ∆ w ∼ = L y , and x = s . By Corollary 2, we have Ext O ( L y , ∆ x ) = C .1.4. Description of additional results.
In Section 4, we relate the main results with a number of combinatorialtools. In Subsections 4.1 we explain how the combinatorics and the Hasse diagram of the poset B n appear naturallyin our representation theoretic interpretation of this poset. In Subsections 4.3 we establish representation theoreticsignificance of the notions of the essential set of a permutation and the associated rank function. In particular, inCorollary 19 we show that the socular constituents in the cokernel of the inclusion of a Verma module indexed by w ∈ S n into the dominant Verma module are determined by the essential set of w . Further, in Proposition 22 weshow how the associated rank function can be used to compute the degrees of these simple socular constituents inthe graded picture. 2. Proofs of the main results
Category O tools. Denote by O the full subcategory of O which consists of all modules on which thecenter Z ( g ) of the universal enveloping algebra U ( g ) acts diagonalizably. Note that all Verma modules and allsimple modules in O are objects in O . By [So1], the category O has an auto-equivalence, denoted by Θ , whichmaps L x to L x − , for x ∈ S n . Consequently, Θ(∆ x ) ∼ = ∆ x − , for x ∈ S n . We note that Θ does not extend to thewhole of O .For x ∈ S n , we have the corresponding twisting functor T x on O , see [AS], and the corresponding shuffling functor C x on O , see [Ca, MS]. Both L T x and L C x are self-equivalences of the bounded derived category D b ( O ) . Inthe proof below we usually use twisting functors and Θ , however, one can, alternatively, use twisting and shufflingfunctors or shuffling functors and Θ .The category O is equivalent to the category of finite dimensional modules over a finite dimensional basic algebra,which we denote by A . The algebra A is unique, up to isomorphism. By [So2], it is Koszul and hence admits aKoszul Z -grading. We denote by Z O the category of finite dimensional Z -graded A -modules. We denote by h k i the grading shift on Z O normalized such that it maps degree k to degree zero, and we fix the standard graded liftsof L w concentrated in degree zero, and of ∆ w such that its top is concentrated in degree zero. H. KO, V. MAZORCHUK AND R. MR¯DEN
Potential socle of the cokernel of an inclusion of Verma modules.Proposition 3.
Let x, y, z ∈ S n be such that x ≥ y and L z is in the socle of ∆ y / ∆ x . Then z ∈ J .Proof. As ∆ y / ∆ x is a submodule of ∆ e / ∆ x , it is enough to prove the claim in the case y = e .Consider first the case x = w . Then ∆ w is the socle of ∆ e and we claim that the socle of ∆ e / ∆ w consists of all L x , where x ∈ W is such that ℓ ( x ) = ℓ ( w ) − . The best way to argue that the socle of ∆ e / ∆ w is as describedabove is to recall that ∆ e is rigid, see [Ir, BGS]. This means that the socle filtration and the radical filtration of ∆ e coincide. Moreover, these two filtrations also coincide with the graded filtration, see [BGS, Proposition 2.4.1]. Thesubmodule ∆ w = L w in ∆ e lives in degree ℓ ( w ) . By rigidity, the socle of ∆ e / ∆ w consists of simple moduleswhich live in degree ℓ ( w ) − . Since, by KL combinatorics, a simple module L x appears in ∆ e only in degrees ≤ ℓ ( x ) and L w has multiplicity one, the only simples in degree ℓ ( w ) − are those L x for which ℓ ( x ) = ℓ ( w ) − .Note also that all such x belong to J . This proves the claim of the proposition in the case x = w .For x = w , using the self-equivalence L T w x − , we have(1) Hom D b ( O ) ( L z , ∆ e / ∆ x ) ∼ = Hom D b ( O ) ( L T w x − ( L z ) , ∆ w x − / ∆ w ) . By the previous two paragraphs, the socle of ∆ w x − / ∆ w consist of the simples L w , where w ∈ J . Therefore, forthe right hand side of (1) to be non-zero, the module T w x − ( L z ) must contain some simple subquotient of theform L w , where w ∈ J . From [AS, Theorem 6.3], it follows that all simple subquotients of T w x − ( L z ) are of theform L u , where u ≤ J z . This yields z ∈ J , completing the proof. (cid:3) Proposition 4.
Let x ∈ S n and s be a simple reflection. ( i ) If sx < x , then the socle of ∆ e / ∆ x contains some L y such that sy > y . ( ii ) If xs < x , then the socle of ∆ e / ∆ x contains some L y such that ys > y .Proof. Due to the assumption sx < x , we have ∆ x ⊂ ∆ sx , in particular, the socle of ∆ e / ∆ x contains the socleof ∆ sx / ∆ x . The module ∆ sx / ∆ x is non-zero and, by construction, s -finite (i.e. the action on this module of the sl -subalgebra of g corresponding to s is locally finite). In particular, any L y in the socle of ∆ sx / ∆ x is also s -finite.Therefore sy > y for each y such that L y is in the socle of ∆ sx / ∆ x . Claim (i) follows. Claim (ii) follows fromclaim (i) using Θ . (cid:3) Corollary 5.
Let w ∈ S n be such that the socle of ∆ e / ∆ w is simple. Then w is a bigrassmannian permutation.Proof. Assume that s and t are different simple reflections such that sw < w and tw < w . By Proposition 4, thesocle of ∆ e / ∆ w contains some L y such that sy > y and some L z such that tz > z . Both y, z ∈ J . Note that, foreach element u of J , there is at most one simple reflection r such that ru > u . This means that y = z and hencethe socle of ∆ e / ∆ w is not simple. A similar argument works in the case when there are different simple reflections s and t such that ws < w and wt < w . The claim follows. (cid:3) Proposition 6.
Assume that x ∈ S n and y ∈ J be such that L y is in the socle of ∆ e / ∆ x . Assume that s is asimple reflection such that sy > y . Then sx < x .Proof. Assume sx > x . Applying L T s and using [AS, Theorem 6.1], similarly to (1), we have Hom D b ( O ) ( L y , ∆ e / ∆ x ) ∼ = Hom D b ( O ) ( L z [1] , ∆ s / ∆ sx ) . The right hand side of this equality is since ∆ s / ∆ sx is a module in homological position while L z [1] is a modulein homological position − . The claim follows. (cid:3) IGRASSMANNIAN PERMUTATIONS AND VERMA MODULES 5
Combinatorial tools.
Consider the Hecke algebra H n associated to the Coxeter system ( S n , S ) , where S isthe set { s , · · · , s n − } of simple reflections. H n is a Z [ v, v − ] -algebra generated by H i , for ≤ i ≤ n − , whichsatisfy the braid relations H i H i +1 H i = H i +1 H i H i +1 , for all ≤ i ≤ n − , and the quadratic relation ( H i + v )( H i − v − ) = 0 , for all ≤ i ≤ n − . Given a reduced expression w = s i s j · · · s k of w ∈ S n , we let H w = H i H j · · · H k . Theelement H w is independent of the choice of the reduced expression, and { H w : w ∈ S n } is a ( Z [ v, v − ] -)basis of H n called the standard basis . Consider the ( Z -algebra-)involution on H n denoted by a bar, such that v = v − and H i = H − i . Then there is a unique element H w in H n such that H w = H w and H w = H w + X y p y,w H y , for some p y,w ∈ v Z [ v ] . The elements H w , where w ∈ W , form a basis of H n called the Kazhdan-Lusztig (KL) basis .Given w, y ∈ S n , the coefficient of v in p w,y + p y,w is denoted by µ ( w, y ) = µ ( y, w ) , defining the (Kazhdan-Lusztig) µ -function . If s ∈ S then H s = H s + v and we have(2) H s H y = ( v + v − ) H y , for sy < y , and(3) H s H y = H sy + X sx
Let x, y ∈ J . Then µ ( x, y ) = 0 if and only if x, y are adjacent in the Bruhat graph. In the lattercase, we have µ ( x, y ) = 1 . H. KO, V. MAZORCHUK AND R. MR¯DEN
Proof.
By the Kazhdan-Lusztig inversion formula, see [KL], (or, equivalently, by Koszul duality, see [BGS]), wehave µ ( x, y ) = µ ( w x − , w y − ) . Now, the claim follows from the similar fact about the small two-sided cell (see[Lu1, Proposition 3.8 (d)] or [KMMZ, KM]). (cid:3) For convenience of the reader, on Figure 1 we give the Bruhat graph of J . w , / / (cid:15) (cid:15) w , / / (cid:15) (cid:15) . . . / / w ,n − / / (cid:15) (cid:15) w ,n − w , / / (cid:15) (cid:15) w , / / (cid:15) (cid:15) . . . / / w ,n − w ,n − o o O O ... (cid:15) (cid:15) ... (cid:15) (cid:15) ... ... O O ... O O w n − , / / (cid:15) (cid:15) w n − , . . . o o w n − ,n − o o O O w n − ,n − o o O O w n − , w n − , o o O O . . . o o w n − ,n − o o O O w n − ,n − o o O O Figure 1.
Bruhat graph of the penultimate cell (the rows are right, and the columns are left cells).
Lemma 8.
Suppose y = w i,j ∈ J , with i = j . Then (6) p s,y = v − p e,y , for all s ∈ S. Proof.
Suppose s = s i . Then, comparing the H e -coefficients in (2), gives (6). If s = s i , then we have s = s j , socomparing the H e -coefficients in the equation H y H s = ( v + v − ) H y gives (6). (cid:3) Lemma 9.
Suppose y = w i,j ∈ J , with i = j , s ∈ S and sy > y , we have (7) ( v + v − ) p e,y = p e,sy + X u ∈ Suy ∼ L yuy Consider Equation (3), for y ∈ J . Since all x appearing in this equation with non-zero coefficient satisfy,at the same time, x < y and x ≥ L y , and, since y ∈ J , we have x ∼ L y . Now, comparing the H e -coefficients onboth sides in Equation (3), we get(8) ( v + v − ) p e,y = p s,y + vp e,y = p e,sy + X x ∼ L yx Let y = w , or y = w n − ,n − . Then p e,y = v ℓ ( y ) .Proof. The element w n − ,n − is the longest element for the parabolic subgroup of S n generated by { , . . . , n − } .The element w , is the longest element for the parabolic subgroup of S n generated by { , . . . , n − } . Since the KLbasis can be computed in the parabolic subgroups, the claim of the lemma follows from (4) applied to the Coxetergroup S n − with the corresponding identification of simple reflections. (cid:3) For i, j ∈ { , . . . , n } , put p i,j := p e,w i,j if ≤ i, j ≤ n − , and p i,j := 0 otherwise. IGRASSMANNIAN PERMUTATIONS AND VERMA MODULES 7 Lemma 11. Suppose w i,j ∈ J , with i = j . Then (9) ( v + v − ) p i,j = p i − ,j + p i +1 ,j + δ i,n − j · v ℓ ( w ) , where δ denotes the Kronecker symbol.Proof. This follows from (7) with s = s i , (4) and Figure 1. (cid:3) Proposition 12. Let w = w i,j ∈ J . We have (10) p e,w = v ℓ ( w ) + v ℓ ( w ) − + · · · + v ℓ ( w ) − d ( w ) , where d ( w ) = min { i − , j − , n − − i, n − − j } . Proof. We proceed by induction on d = d ( w ) .Let d = 0 . By symmetry (flipping the Dynkin diagram on one hand, and taking inverses of permutations on theother hand), it is enough to consider w = w i, . If i = 1 , then Proposition 10 gives (10). If i = 2 , then (9) gives ( v + v − ) p , = v a + p , , where a := a ( J ) . Since ℓ ( w , ) = a + 1 , by (5), we have p , = cv a +1 for some c ∈ Z . For the same reason, p , does not have term proportional to v a , so we get p , = v a +1 and p , = v a +2 . From this we can obtain (10) forany w i, , using (9) and a two-step induction.Let d = d ( w ) > . By symmetry, we may assume w = w d +1 ,j , with d < j < n − d . We assume that (10) is truefor w d, and (if exists) for w d − , . Equation (9) applied to w = w d,j gives ( v + v − ) p d,j = p d − ,j + p d +1 ,j . From this, it easily follows that (10) is also true for w d +1 ,j . (cid:3) For i, j ∈ { , , . . . , n − } , we denote by B ( i,j ) n the set of all w ∈ B n such that s i w < w and ws j < w . Corollary 13. We have (11) | B n | = X w ∈J p e,w (1) , moreover, for each i, j ∈ { , , . . . , n − } , we have | B ( i,j ) n | = p e,w i,j (1) .Proof. By Proposition 12, the right hand side of (11) evaluates to the tetrahedral number ( n − n ( n +1)6 . That theleft hand side of (11) is given by the same number follows from the main result of [Ko2]. The refined version, foreach i, j ∈ { , , . . . , n − } , follows from the main result of [EH]. Both statements are best seen by comparingthe main result of [EH] to the picture described in Subsection 4.1, where the right hand side (11) is realized as atetrahedron in R and the elements corresponding to B ( i,j ) n consist of all elements of this tetrahedron aligned alonga vertical line. (cid:3) Proposition 14. Let i, j ∈ { , , . . . , n − } . The restriction of the Bruhat order to each B ( i,j ) n is a chain, moreover,for x, y ∈ B ( i,j ) n such that x < y , there exist w ∈ B n \ B ( i,j ) n such that x < w < y . H. KO, V. MAZORCHUK AND R. MR¯DEN Proof. This follows directly from the main result of [EH]. The poset B n can be realized as a tetrahedron in R , seeSubsection 4.1. The subset B ( i,j ) n consist of all elements of this tetrahedron aligned along a vertical line. If such aline contains more than one element of the tetrahedron, we have a diamond shaped subset of B n and the elementsof this diamond outside the original line provide the necessary w , see for example the points (2 , , and (2 , , ,in the case n = 4 , where w can be chosen as any of the elements (2 , , , (1 , , , (3 , , or (2 , , . (cid:3) Proof of Theorem 1 (i) , (ii) . Corollary 5 gives one direction of (i). For the other direction, we need for any w ∈ B n , the module ∆ e / ∆ w has simple socle. Assume that s i and s j are such that s i w < w and ws j < w . Then,by Proposition 6, L w i,j is the only possible simple subquotient in the socle of ∆ e / ∆ w . We need to prove that themultiplicity of L w i,j in the socle of ∆ e / ∆ w equals .By Proposition 14, there is a chain w < u < w < u < · · · < w k − < u k − < w k , where B ( i,j ) n = { w , w , . . . , w k } and all u i ∈ B n \ B ( i,j ) n . This chain gives an a sequence of inclusions ∆ e ) ∆ w ) ∆ u ) ∆ w ) ∆ u ) · · · ) ∆ w k which, in turn, gives rise to a sequence of projections ∆ e / ∆ w և ∆ e / ∆ u և ∆ e / ∆ w և ∆ e / ∆ u և · · · և ∆ e / ∆ w k . This implies that the socle of each ∆ e / ∆ w i contains a summand which is not a summand of the socle of ∆ e / ∆ w j ,for any j < i . From Proposition 12 and Corollary 13 we obtain that k = P e,w i,j (1) and hence the socle of each ∆ e / ∆ w i contains a unique summand which is not in the socle of any ∆ e / ∆ w j , for j < i .Therefore, for both claims (i) and (ii), it is enough to prove that the socle of each ∆ e / ∆ w i is simple. We arguethat the socle constituents of any ∆ e / ∆ w j , where j < i , cannot contribute to the socle of ∆ e / ∆ w i . Assume thatthis is not the case and some socle constituent of some ∆ e / ∆ w j contributes to the socle of ∆ e / ∆ w i . Then italso must contribute to the socle of ∆ e / ∆ u i − , since w j < u i − < w i . But this contradicts Proposition 6 andcompletes the proof.2.5. Proof of Theorem 1 (iii) and (iv) . Both the statements follow from the bijection given in Theorem 1(ii) andthe fact that ∆ x ⊂ ∆ y is equivalent to x ≥ y .2.6. Proof of Corollary 2. First of all, we note that the equality dim Ext O ( L x , ∆ y ) = dim Ext O ( ∇ y , L x ) follows by applying the simple preserving duality on O . Therefore we only need to prove the following:(12) dim Ext O ( L x , ∆ y ) = c ( xy ) , x = w ;1 , x ∈ Φ( BM ( y ));0 , otherwise . Consider first the case x = w . In this case L w = ∆ w . Applying the twisting functor T y and using the fact thatit is acyclic on Verma modules, see [AS, Theorem 2.2], we observe that Ext O (∆ y − w , ∆ e ) = Ext O (∆ w , ∆ y ) . By [Ma, Theorem 32], the dimension of Ext O (∆ y − w , ∆ e ) equals c ( y − w ) = c ( xy ) . This establishes (12) in thecase x = w .Assume now that x = w . Let(13) → ∆ y → M → L x → IGRASSMANNIAN PERMUTATIONS AND VERMA MODULES 9 be a non-split short exact sequence. Since L x is a simple object and (13) is non-split, the socle of M coincideswith the socle of ∆ y and hence is isomorphic to L w . In particular, M is a submodule of the injective envelope I w of L w . As the multiplicity of L w in M is one, all nilpotent endomorphisms of I w send M to . Since ∆ e ,being a projective object in O , is copresented by projective-injective objects in O (see [KSX, § I w is the only indecomposable projective-injective object in O , it follows that M is a submodule of ∆ e . This meansthat L x ∼ = M/ ∆ y corresponds to a socle constituent of ∆ e / ∆ y . Therefore, for x = w , formula (12) follows fromTheorem 1(iv). 3. Singular blocks In this subsection we extend our results on O to an arbitrary block O µ (that is, the Serre subcategory of O withthe simple objects L ( w · µ ) , for w in the µ -integral subgroup S ( µ ) n of S n ) thus to the entire category O . Let µ ∈ h ∗ be an S ( µ ) n -dominant weight. The first, standard, remark is that, up to equivalence with a block for some other n ,it is enough to consider the case when µ is integral and hence S ( µ ) n = S n , see Soergel’s combinatorial descriptionof O in [So2]. Therefore, from now on we assume µ to be integral.Note that, if I = { i ∈ { , · · · , n − } | s i · µ = µ } and S I is the parabolic subgroup of S n generated by I , then S I ∼ = S µ := Stab W ( µ ) . So, we have L ( w · µ ) ∼ = L ( wz · µ ) and ∆( w · µ ) ∼ = ∆( wz · µ ) , for any z ∈ S µ . Given w ∈ S n , we denote by w and w the unique shortest and the unique longest coset representatives for the coset wS µ in S n /S µ . We have the indecomposable projective functors θ µ : O → O µ and θ µ : O µ → O called translation to the µ -wall and translation out of the µ -wall , respectively. (These functors are sometimesdenoted by T µ and T µ , respectively, e.g., in [Hu].) They are biadjoint, exact and determined uniquely, up toisomorphism, by θ µ ∆ e = ∆ µ and θ µ ∆ µ = P e , respectively, see [BG]. In particular, from the biadjointness it followsthat the action of the functor θ µ on simple modules is given, for w ∈ S n , by θ µ L w ∼ = ( L ( w · µ ) , w = w ;0 , otherwise . On the level of the Grothendieck group, the functor θ µ θ µ corresponds to the right multiplication with the sum ofall elements in S µ , see [BG, § Proposition 15. Let x, y ∈ S n be such that x < y . Then we have soc(∆( x · µ ) / ∆( y · µ )) ∼ = θ µ (soc ∆ x / ∆ y ) . Proof. We may assume x = x and y = y .Suppose L w is a socle component of ∆ x / ∆ y . Then, by exactness, the module θ µ L w , whenever it is nonzero, thatis, whenever w = w , is a socle component of θ µ (∆ x / ∆ y ) ∼ = ( θ µ ∆ x ) / ( θ µ ∆ y ) ∼ = ∆( x · µ ) / ∆( y · µ ) . Now, assume that L ( w · µ ) is a socle component of ∆( x · µ ) / ∆( y · µ ) . Then we have Ext O ( L ( w · µ ) , ∆( y · µ )) = 0 . By adjunction, we also have Ext O ( L ( w · µ ) , ∆( y · µ )) ∼ = Ext O ( θ µ L w , ∆( y · µ )) ∼ = Ext O ( L w , θ µ ∆( y · µ )) . As θ µ is a projective functor, θ µ ∆( y · µ ) has a Verma flag. As, on the level of the Grothendieck group, θ µ θ µ corresponds to the right multiplication with the sum of all elements in S µ , the Verma flag of θ µ ∆( y · µ ) has subquotients ∆ yz , where z ∈ S µ , each appearing with multiplicity one. It follows that Ext O ( L w , ∆ yz ) = 0 , forsome z ∈ S µ , which means w ∈ J by Corollary 2. Moreover, we obtain that L w appears in the socle of ∆ e / ∆ yz .Since θ µ L w = 0 while θ µ (∆ y / ∆ yz ) = 0 , the subquotient L w is also contained in the socle of ∆ e / ∆ y . To see that L w is in the socle of ∆ x / ∆ y , we note that ∆ e / ∆ x cannot contain this subquotient in the socle, for in that case θ µ (∆ e / ∆ x ) ∼ = ∆( µ ) / ∆( x · µ ) would contain L ( w · µ ) in the socle, contradicting our assumption (note that thegraded multiplicities of simples from J in ∆ e , as well as of the corresponding translated simples in ∆( µ ) = θ µ ∆ e are one or zero, so we can distinguish all such simple subquotients). The proof is complete. (cid:3) Theorem 16. Let x, y ∈ S n and let µ be an integral, dominant weight. Then we have dim Ext O ( L ( x · µ ) , ∆( y · µ )) = dim Ext O ( ∇ ( y · µ ) , L ( x · µ )) = c ( xy ) − | I | , x = w ;1 , x ∈ Φ( BM ( y ));0 , otherwise . Proof. Similarly to the proof of Corollary 2, the proof of Proposition 15 takes care of the case x = w .For the case x = w , we need to generalize [Ma, Theorem 32], which is proved in the regular setup, to singularblocks. So, let x = w . We may assume y = y . For the proof, we work in the graded category Z O , where hom-and ext-functors are, as usual, denoted by hom and ext i O . The precise claim in this case is(14) dim ext O ( L ( w · µ ) , ∆( y · µ ) h i i ) = ( c ( w y ) − | I | , if i = ℓ ( w y ) − , otherwise.If µ = 0 , then, similarly to the proof of Corollary 2, Formula (14) reduces to [Ma, Theorem 32] using twistingfunctors.In the general case, we first note that L ( w · µ ) ∼ = θ µ L w where we now use the graded translation functor θ µ : Z O → Z O µ , see [St]. By adjunction, this gives ext O ( L ( w · µ ) , ∆( y · µ ) h i i ) ∼ = ext O ( L w , θ µ ∆( y · µ ) h i i ) . The graded module θ µ ∆( y · µ ) has a filtration(15) M − ⊂ M ⊂ M ⊂ · · · ⊂ M ℓ ( e ) = θ µ ∆( y · µ ) , with subquotients M i /M i − ∼ = M z ∈ S µ : ℓ ( z )= i ∆ yz h ℓ ( z ) i , for i = 0 , , , . . . , ℓ ( e ) . In particular, we have the short exact sequence(16) → M → θ µ ∆( y · µ ) → N → , where M ∼ = ∆ y and N has an Verma flag induced from (15). Consider the long exact sequence obtained byapplying hom( L w , − h i i ) to (16), for i ∈ Z . By (14) applied to µ = 0 and i = ℓ ( w y ) − , each of the spaces ext O ( L w , ∆ yz h ℓ ( w y ) − ℓ ( z ) i ) is zero and thus ext O ( L w , N h ℓ ( w y ) − i ) = 0 . Since θ µ ∆( y · µ ) has simplesocle and this socle lives in degree ℓ ( w y ) , we also have hom( L w , θ µ ∆( y · µ ) h ℓ ( w y ) − i ) = 0 . Therefore, ourlong exact sequence gives the short exact sequence → hom( L w , N h ℓ ( w y ) − i ) → ext O ( L w , ∆ y h ℓ ( w y ) − i ) → ext O ( L w , θ µ ∆( y · µ ) h ℓ ( w y ) − i ) → . Using (14), for µ = 0 , again, the dimension of the middle space in this short exact sequence is given by c ( w y ) .Since the socle of ∆ yz in Z O is L w h− ℓ ( w yz ) i , we have hom( L w , N h ℓ ( w y ) − i ) = hom( L w , M s ∈ I ∆ ys h ℓ ( s ) + ℓ ( w y ) − i ) = hom( L w , M s ∈ I ∆ ys h ℓ ( w ys ) i ) = C | I | . IGRASSMANNIAN PERMUTATIONS AND VERMA MODULES 11 It follows that dim ext O ( L w , θ µ ∆( y · µ ) h ℓ ( w y ) − i ) = c ( w y ) − | I | . It remains to show that, for i = ℓ ( w y ) − , we have ext O ( L w , θ µ ∆( y · µ ) h i i ) = 0 . For this, we consider the short exact sequence → θ µ ∆( y · µ ) h ℓ ( w y ) i → I w → M → which induces hom( L w , I w h− ℓ ( w y ) + i i ) → hom( L w , M h− ℓ ( w y ) + i i ) → ext O ( L w , θ µ ∆( y · µ ) h i i ) → . Thus, it remains to show that hom( L w , M h j i ) = 0 , for j = − ℓ ( w y ) + i = − . We denote by K the cokernel ofthe inclusion θ µ ∆( y · µ ) h ℓ ( w y ) i ⊂ θ µ ∆( µ ) h ℓ ( w ) i . In particular, the multiplicity of any shift of L w in K is zero.Then we have a canonical map K ֒ → M by definition of K and M . This defines a short exact sequence → K → M → Q → , where Q has a filtration by ∆ w h ℓ ( w ) + ℓ ( w ) i , for each w ∈ S n \ S I .We claim that the socle of Q comes from the socle of ∆ s h ℓ ( w ) + 1 i , for s ∈ S \ I . Indeed, The module I w isKoszul dual to the projective resolution of L e . The latter can be obtained from the BGG resolution of L e , givenin terms of Verma modules, by gluing projective resolutions of Verma constituents of the BGG resolution into aprojective resolution of L e . In this way, the Verma modules in the BGG resolution give rise to the subquotients ofthe dual Verma filtration of I w . Note that any ∆ x appears in the BGG resolution once and, moreover, for any y such that ℓ ( y ) = ℓ ( x ) + 1 and y > x , the map ∆ y h i → ∆ x in the BGG resolution is non-zero, see [BGG1].The Koszul dual of this property is that the corresponding subquotient of the dual Verma flag of I w is given by anonzero morphism in the derived category and thus by a non-split short exact sequence → ∇ w x − h− i → R → ∇ w y − → . Applying the simple preserving duality ⋆ on O , we consider the dual short exact sequence(17) → ∆ w y − → R ⋆ → ∆ w x − h i → . Write w x − = u tu reduced, where t is a simple reflection and w y − = u u . Then we can consider (17) asthe image, under the u -shuffling, of a non-split short exact sequence(18) → ∆ u → R → ∆ u t h i → . If w = u u t is reduced, then, twisting (18) by u , we obtain a non-split short exact sequence(19) → ∆ w t → R → ∆ w h i → . Here ∆ w = L w and hence the fact that (19) is non-split means that R has simple socle. In particular, the actionof the center of O on R is not semi-simple. This implies that the action of the center of O on both R and R ⋆ is not semi-simple either and hence they both have simple socle. Since I w is self-dual with respect to ⋆ , thisimplies that the socle of Q comes from its Bruhat minimal subquotients ∆ s h ℓ ( w ) + 1 i , where s ∈ S \ I .Applying hom( L w , − ) , we obtain hom( L w , M h j i ) ֒ → hom( L w , Q h j i ) . However, hom( L w , Q h j i ) = hom( L w , M s ∈ S \ I ∆ s h ℓ ( w ) + 1 + j i ) = 0 , for j = − . This completes the proof. (cid:3) Representation theory versus Combinatorics Tetrahedron. Our computation for KL polynomials for J in Proposition 12 gives a nice geometric diagramfor simple subquotients of ∆ e of the form L w h− i i , where w ∈ J and i ∈ Z . By representing each simplesubquotient L w i,j h− k i of ∆ e as the point ( i, j, k ) , we get a tetrahedron in Z . In this picture, we join two pointsif the corresponding subquotients extend in ∆ e (the existence of the extension follows from the arguments inSubsection 2.4). In Figure 2 we show explicit examples for n = 3 , , (note that, as usual in depicting positivelygraded algebras, the z -axis is reversed in the pictures, so that the bottom of the picture consists of all elements ofthe form sw , for s a simple reflection). (1 , , , , , , 2) (2 , , 1) (1 , , 3) (1 , , , , , , 4) (2 , , , , 3) (2 , , , , , , 4) (3 , , Figure 2. The tetrahedron for n = 3 , , , respectively.Via the bijection given by Theorem 1(ii), this gives the Hasse diagram for ( B n , ≤ ) , cf. [EH, Figure 1 and 2].In Figure 3 and Figure 4, we give some examples of composition factors of the form L x , where x ∈ J , in themodules ∆ e / ∆ w , for n = 4 and . The composition factors of this form in ∆ e / ∆ w which are not in the socle aregiven by the black points in the figures and the composition factors in the socle are given by the red points in thefigures. The white points correspond to the composition factors in ∆ w (and hence outside of ∆ e / ∆ w ).For convenience of the reader, on Figure 5 and Figure 6 we present the penultimate cell, for n = 4 and n = 5 ,respectively. In the figures, an element on the position ( i, j ) has i as the unique left ascend, and j as the uniqueright ascend.4.2. Explicit formulae. The set B n can be explicitly parameterized by triples of integers ( i, j, k ) such that ≤ i, j ≤ n − and ≤ k ≤ min { i − , j − , n − − i, n − − j } . For i ≤ j , put: b ( i, j, k ) := ( s i s i +1 . . . s j + k )( s i − s i . . . s j + k − ) · · · ( s i − k s i − k +1 . . . s j ) , and if j < i , set b ( i, j, k ) := b ( j, i, k ) − .We can draw w ∈ S n as a picture on a two-dimensional grid, in the following way: View w ∈ S n as a permutationon { , · · · , n } acting on the left, and put on positions ( i, w ( i )) , i = 1 , . . . , n , in matrix coordinates. This way,we can visualize bigrassmannian permutations as on Figure 7. IGRASSMANNIAN PERMUTATIONS AND VERMA MODULES 13 (2 , , 4) (1 , , 4) (1 , , 5) (2 , , 4) (2 , , , , 4) (1 , , 5) (3 , , 5) (1 , , 5) (2 , , 5) (1 , , Figure 3. Socles of the quotients ∆ e / ∆ w for n = 4 , for w = s s s , s s s , s s s , respectively,in the first row, and w = s s s s , s s s s s , s s s s s , respectively, in the second row. (4 , , 9) (3 , , 8) (1 , , 8) (3 , , 9) (1 , , Figure 4. Socles of the quotients ∆ e / ∆ w for n = 5 , for w = s s s s s s s and w = s s s s s s s s , respectively. Proposition 17. The bijection from Theorem 1(ii) is given by b ( i, j, k ) L w i,j (cid:28) − ( n − n − − | i − j | − k (cid:29) Proof. The assignment in the claim does define a bijection by Proposition 12, so we need to check that it agreeswith the bijection in Theorem 1. From the definition, we see that b ( i, j, k ) < b ( i, j, k ′ ) (in the Bruhat order), for k < k ′ . This property, since the relevant subquotients appear multiplicity-freely, determines the bijection. Since s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s Figure 5. The penultimate cell for n = 4 . s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s s Figure 6. The penultimate cell for n = 5 . ... . . . r rr + 1 r + 1 r + 2 ... . . . j ij + 1 i + 1 j + 2 ... . . . i + j − r i + j − ri + j − r + 1 i + j − r + 2 ... . . . n n . . . . . .. . . . . . Figure 7. The bigrassmannian b ( i, j, k ) . Here r = min { i − , j − } − k .the inclusion of the Verma modules ∆ x agree with (the opposite of) the Bruhat order, the bijection in Theorem 1also has this property and thus agrees with the one given in our claim. (cid:3) Essential set and rank of a permutation. For w ∈ S n , the so-called essential set attached to w (defined in[Fu]) is given by Ess( w ) := { ( i, j ) : 1 ≤ i, j ≤ n − , i < w − ( j ) , j < w ( i ) , w ( i + 1) ≤ j, w − ( j + 1) ≤ i } . IGRASSMANNIAN PERMUTATIONS AND VERMA MODULES 15 In Figure 8 we give examples of essential sets for w ∈ S . To easily find Ess( w ) , following [Ko1], we put onpositions ( i, w ( i )) , i = 1 , . . . , n , in matrix coordinates, and kill all cells to the right or below of these. The survivingcells are denoted by , and are sometimes called the diagram of w . The south-east corners of the diagram (denotedby ) constitute the essential set attached to w . Figure 8. Essential sets attached to s s s s s s s and s s s s s s s s (for n = 5 ), respectively.In [Ko1] it is shown that there is a bijection between BM ( w ) and Ess( w ) . More precisely, an element ( i, j ) ∈ Ess( w ) corresponds to a certain monotone triangle (see the cited article for definition), denoted by J i,k,j +1 , for some k ,which is then identified with a bigrassmannian permutation. From the description of monotone triangles in [Re,Section 8], it follows that J i,k,j +1 correspond to a bigrassmannian permutation with left descent j and rightdescent i . From Proposition 14 we know that such a bigrassmannian element in BM ( w ) is uniquely determined.We conclude: Corollary 18 (A reformulation of [Ko1, Theorem]) . For w ∈ S n , the map x ( right descent of x, left descent of x ) is a bijection BM ( w ) → Ess( w ) . The following result allows us to determine the socle of ∆ e / ∆ w via the essential set of w which is very easy andefficient to compute. Corollary 19. The (ungraded) socle of ∆ e / ∆ w is given by M ( i,j ) ∈ Ess( w ) L w j,i .Proof. The claim follows from Proposition 17 and Corollary 18. (cid:3) To illustrate how this corollary works, one can compare Figure 8 with Figure 4 using Figure 6. Observe that theessential set alone does not provide information on the degrees of the composition factors in the socle of ∆ e / ∆ w .To get these degrees, we need another combinatorial tool called the rank function .The rest of the subsection provides an upgrade of the description in Corollary 19 to the graded setup. For w ∈ S n ,the so-called rank function r w (defined in [Fu]) is given by: r w ( i, j ) := |{ k ≤ i : w ( k ) ≤ j }| , ≤ i, j ≤ n. More useful for us is the function t w , which we call the co-rank function , given by t w ( i, j ) := min { i, j } − r w ( i, j ) . ... . . .i ji + 1 j + 1 ... . . .n n Figure 9. Areas which determine r w ( i, j ) and t w ( i, j ) .If we again consider a permutation as a picture on a two-dimensional grid as before, then r w ( i, j ) is equal to thenumber of in the north-west area in Figure 9. If i ≤ j , then t w ( i, j ) is equal to the number of in the north-eastarea in Figure 9, and otherwise to the number of in the south-west area.The co-rank functions for the examples in Figure 8 are given in Figure 10. Figure 10. The values of t w ( i, j ) for w = s s s s s s s and w = s s s s s s s s (for n = 5 ), respectively. The values at Ess( w ) are boxed. Lemma 20. For w, x ∈ S n , we have t w ≤ t x if and only if w ≤ x .Proof. See [BB2, Theorem 2.1.5]. (cid:3) The following lemma is clear from Figure 7: Lemma 21. For each b ( i, j, k ) ∈ B n , we have Ess( b ( i, j, k )) = { ( j, i ) } and t b ( i,j,k ) ( j, i ) = k + 1 . Finally, we can describe the graded shifts of the socle constituents in ∆ e / (∆ w h− ℓ ( w ) i ) . Proposition 22. Let w ∈ S n . The socle of N w := ∆ e / (∆ w h− ℓ ( w ) i ) in Z O is given by M ( i,j ) ∈ Ess( w ) L w j,i (cid:28) − ( n − n − − | i − j | − t w ( i, j ) − (cid:29) . Proof. Note first that, for w = b ( j, i, k ) ∈ B n , we have(20) soc( N w ) = L w j,i h− a ( J ) − | i − j | − t w ( i, j ) − i by Lemma 21 and Proposition 17. Recall that a ( J ) = ( n − n − .Now let w ∈ S n be arbitrary and let ( i, j ) ∈ Ess( w ) . By Corollary 19 we only need to determine the degree shift,say m , of L w j,i in the socle of N w . Let b ( j, i, k ) be the element in BM ( w ) which corresponds to ( i, j ) under the IGRASSMANNIAN PERMUTATIONS AND VERMA MODULES 17 bijection in Corollary 18. Since b ( j, i, k ) ∈ BM ( w ) , by Lemma 20 we have b ( j, i, k ) ≤ w while b ( j, i, k + 1) w ,and thus N w N b ( j,i,k +1) while N w →→ N b ( j,i,k ) . So m = a ( J ) + | i − j | + 2( t w ( i, j ) − follows from (20) andthe parity of m . (cid:3) Further remarks Inclusions between arbitrary Verma modules. An immediate consequence of Theorem 1 is: Corollary 23. Let v, w ∈ S n be such that v < w . ( i ) The bijection from Theorem 1 (ii) induces a bijection between simple subquotients of ∆ v / ∆ w of the form L x ,where x ∈ J , and y ∈ B n such that y ≤ w and y v . ( ii ) The socle of ∆ v / ∆ w consists of all L x , where x corresponds to an element in BM ( w ) \ BM ( v ) . A more detailed description of the socle of ∆ v h− ℓ ( v ) i / (∆ w h− ℓ ( w ) i ) as an object in Z O follows from Proposi-tion 22.5.2. No such clean result in other types. Unfortunately, Theorem 1 is not true, in general, in other types. Oneof the reasons is that Corollary 13 fails already in types B and D . We note that B n agrees in type A with the setof join-irreducible elements in W , while, in general, there are bigrassmannian elements that are not join-irreducible.To generalize Theorem 1, we need, to start with, replace B n by the set of join-irreducible elements in W . But eventhen, most of our crucial arguments fail outside type A. For example, in non-simply laced types, for some pairs ofsimple reflections s and t there will be more than one element w ∈ J such that sw > w and wt > w . Anotherproblem is that neither bigrassmannian elements nor join-irreducible elements with fixed left and right descents forma chain with respect to the Bruhat order.Rank two case is, however, special. In this case J is the set of bigrassmannian elements and all KL polynomialsare trivial. So, Theorem 1 is true. Notably, an appropriate analogue of the map Φ in this case is not the identitymap. Acknowledgments. This research was partially supported by the Swedish Research Council, G¨oran GustafssonStiftelse and Vergstiftelsen. The third author was also partially supported by the QuantiXLie Center of Excellencegrant no. KK.01.1.1.01.0004 funded by the European Regional Development Fund.We are especially indebted to Sascha Orlik and Matthias Strauch whose question started this research. References [AS] Andersen, H.; Stroppel, C. Twisting functors on O . Represent. Theory (2003), 681–699.[BB] Beilinson, A.; Bernstein, J. Localisation de g -modules. C. R. Acad. Sci. Paris Ser. I Math. (1981), no. 1, 15–18.[BGS] Beilinson, A.; Ginzburg, V.; Soergel, W. Koszul duality patterns in representation theory. J. Amer. Math. Soc. (1996), no.2, 473–527.[BB2] Bj¨orner, A.; Brenti, F. Combinatorics of Coxeter Groups, Graduate Texts in Mathematics, vol.231, Springer Berlin Hei-delberg, 2006.[BG] Bernstein, I. N.; Gelfand, S. I. Tensor products of finite- and infinite-dimensional representations of semisimple Lie algebras.Compositio Math. (1980), no. 2, 245–285.[BGG1] Bernstein, I. N.; Gelfand, I. M.; Gelfand, S. I. Differential operators on the base affine space and a study of g -modules. Liegroups and their representations (Proc. Summer School, Bolyai Janos Math. Soc., Budapest, 1971), pp. 21–64. Halsted,New York, 1975.[BGG2] Bernstein, I. N.; Gelfand, I. M.; Gelfand, S. I. A certain category of g -modules. (Russian) Funkcional. Anal. i Prilozen. (1976), no. 2, 1–8.[BK] Brylinski, J.-L.; Kashiwara, M. Kazhdan-Lusztig conjecture and holonomic systems. Invent. Math. (1981), no. 3, 387–410.[Ca] Carlin, K. Extensions of Verma modules. Trans. Amer. Math. Soc. (1986), no. 1, 29–43. [Di] Dixmier, J. Enveloping algebras. Revised reprint of the 1977 translation. Graduate Studies in Mathematics, . AmericanMathematical Society, Providence, RI, 1996. xx+379 pp.[EW] Elias, B.; Williamson, G. The Hodge theory of Soergel bimodules. Ann. of Math. (2) (2014), no. 3, 1089–1136.[EH] Engbers, J.; Hammett, A. On comparability of bigrassmannian permutations. Australas. J. Combin. (2018), 121–152.[EL] Eriksson, K.; Linusson, S. Combinatorics of Fulton’s essential set. Duke Math. J. (1996), no. 1, 61–76.[Fu] Fulton, W. Flags, Schubert polynomials, degeneracy loci, and determinantal formulas, Duke Math. J. (1992), no. 3,381–420.[Ge] Geck, M. Kazhdan–Lusztig cells and the Murphy basis, Proc. Lond. Math. Soc. (3) (3) (2006), 635–665.[Hu] Humphreys, J. E. Representations of semisimple Lie algebras in the BGG category O . Graduate Studies in Mathematics, .American Mathematical Society, Providence, RI, 2008. xvi+289 pp.[Ir] Irving, R. The socle filtration of a Verma module. Ann. Sci. ´Ecole Norm. Sup. (4) (1988), no. 1, 47–65.[IRRT] Iyama, O.; Reading, N.; Reiten, I.; Thomas, H. Lattice structure of Weyl groups via representation theory of preprojectivealgebras. Compos. Math. 154 (2018), no. 6, 1269–1305.[KL] Kazhdan, D.; Lusztig, G. Representations of Coxeter groups and Hecke algebras. Invent. Math. (1979), no. 2, 165–184.[KMMZ] Kildetoft, T.; Mackaay, M.; Mazorchuk, V.; Zimmermann, J. Simple transitive -representations of small quotients of Soergelbimodules. Trans. Amer. Math. Soc. (2019), no. 8, 5551–5590.[KM] Ko, H.; Mazorchuk, V. 2-representations of small quotients of Soergel bimodules in infinite types. Preprint arXiv:1809.11113,to appear in Proc. AMS.[Ko1] Kobayashi, M. Bijection between bigrassmannian permutations maximal below a permutation and its essential set. Electron.J. Combin. (2010), no. 1, Note 27, 8 pp.[Ko2] Kobayashi, M. Enumeration of bigrassmannian permutations below a permutation in Bruhat order. Order (2011), no. 1,131–137.[KSX] K¨onig, S.; Slung˚ard, I.; Xi, C. Double centralizer properties, dominant dimension, and tilting modules. J. Algebra (2001),no. 1, 393–412.[LS] Lascoux, A.; Sch¨utzenberger, M.-P. Treillis et bases des groupes de Coxeter, Electron. J. Combin. , R27 (1996), 35pp.[Lu1] G. Lusztig. Some examples of square integrable representations of semisimple p-adic groups. Trans. Amer. Math. Soc. (1983), no. 2, 623–653.[Lu2] Lusztig, G. Cells in affine Weyl groups. II, J. Algebra (2) (1987) 536–548.[Ma] Mazorchuk, V. Some homological properties of the category O . Pacific J. Math. (2) (2007) 313–341.[MS] Mazorchuk, V.; Stroppel, C. Translation and shuffling of projectively presentable modules and a categorification of a parabolicHecke module. Trans. Amer. Math. Soc. (2005), no. 7, 2939–2973.[Re] Reading, N. Order dimension, strong Bruhat order and lattice propeties for posets. Order (2002), no. 1, 73–100.[RWY] Reiner, V.; Woo, A.; Yong, A. Presenting the cohomology of a Schubert Variety. Trans. Am. Math. Soc. (2011) , no. 1,521–543.[Ro] Robinson, G. de B. On the Representations of the Symmetric Group. Amer. J. Math. (1938), no. 3, 745–760.[Sa] Sagan, B. The symmetric group. Representations, combinatorial algorithms, and symmetric functions. Second edition. Grad-uate Texts in Mathematics, . Springer-Verlag, New York, 2001. xvi+238 pp.[Sch] Schensted, C. Longest increasing and decreasing subsequences. Canadian J. Math. (1961), 179–191.[So1] Soergel, W. ´Equivalences de certaines cat´egories de g -modules. C. R. Acad. Sci. Paris S´er. I Math. (1986), no. 15,725–728.[So2] Soergel, W. Kategorie O , perverse Garben und Moduln ¨uber den Koinvarianten zur Weylgruppe. J. Amer. Math. Soc. (1990), no. 2, 421–445.[St] Stroppel, C. Category O : gradings and translation functors. J. Algebra (2003), no. 1, 301–326.[Ve] Verma, D.-N. Structure of certain induced representations of complex semisimple Lie algebras. Bull. Amer. Math. Soc. (1968), 160–166. H. K.: Department of Mathematics, Uppsala University, Box. 480, SE-75106, Uppsala,SWEDEN, email: [email protected] V. M.: Department of Mathematics, Uppsala University, Box. 480, SE-75106, Uppsala,SWEDEN, email: [email protected] R. M.: Department of Mathematics, Uppsala University, Box. 480, SE-75106, Uppsala,SWEDEN, email: [email protected]@math.uu.se