## BILLEY-POSTNIKOV DECOMPOSITIONS AND THE FIBRE BUNDLE STRUCTURE OF SCHUBERT VARIETIES

## EDWARD RICHMOND AND WILLIAM SLOFSTRA

Abstract. A theorem of Ryan and Wolper states that a type A Schubert variety is smooth if and only if it is an iterated fibre bundle of Grassmannians. We extend this theorem to arbitrary finite type, showing that a Schubert variety in a generalized flag variety is rationally smooth if and only if it is an iterated fibre bundle of rationally smooth Grassmannian Schubert varieties. The proof depends on deep combinatorial results of Billey-Postnikov on Weyl groups. We determine all smooth and rationally smooth Grassmannian Schubert varieties, and give a new proof of Peterson's theorem that all simply-laced rationally smooth Schubert varieties are smooth. Taken together, our results give a fairly complete geometric description of smooth and rationally smooth Schubert varieties using primarily combinatorial methods.

## 1. Introduction

Let G be a connected semisimple algebraic group over an algebraically closed field k , and let X be a partial flag variety of type G . The variety X is stratified by Schubert varieties X w ( ), which are indexed by minimal length coset representatives w in the Weyl group W of G . When k = C and G = SL ( n C ) is the semisimple group of type A n -1 , the partial flag varieties parametrize flags of subspaces in C n . When X is the complete flag variety in type A , Ryan proved that smooth Schubert varieties are iterated fibre bundles of Grassmannians [Rya87]. This result was extended to the partial flag varieties of type A over any algebraically closed field k of characteristic zero by Wolper [Wol89]. The main result of this paper is an extension of Ryan and Wolper's theorems to flag varieties of all finite types. We consider both the class of smooth Schubert varieties, and the larger class of rationally smooth Schubert varieties, proving the following result: a finite type Schubert variety is (rationally) smooth if and only if it is an iterated fibre bundle of (rationally) smooth Grassmannian Schubert varieties.

In type A , every smooth Grassmannian Schubert variety is a sub-Grassmannian [BL00, Theorem 9.3.1], and thus we recover Ryan and Wolper's theorem from our results. However, in other types there are (rationally) smooth Grassmannian Schubert varieties which are not sub-Grassmannians. Fortunately, the singular locus of these Schubert varieties has been extensively studied [LW90] [BP99]; a summary can be found in [BL00]. More recently, smooth Grassmannian Schubert varieties have been studied in the context of homological rigidity [Rob14] [HM13]. From this work, the list of smooth Schubert varieties is known for many generalized Grassmannians. As part of our results, we finish this line of inquiry by giving a complete list of both smooth and rationally smooth Grassmannian Schubert varieties in all finite types. When combined with our extension of Ryan and Wolper's theorem, this gives a fairly complete geometric description of (rationally) smooth Schubert varieties in any finite type.

There are several well known characterizations of (rationally) smooth Schubert varieties. If P w ( ) is the Poincar´ polynomial of t e X w ( ), then a theorem of Carrell-Peterson states that

X w ( ) is rationally smooth if and only if P w ( ) is a palindromic polynomial [Car94]. Another t characterization says that X w ( ) is rationally smooth if and only if the Weyl group element w has trivial Kazhdan-Lusztig polynomials. For type A Schubert varieties, the LakshmibaiSandya theorem [LS90] states that a Schubert variety X w ( ) is smooth if and only if w , as a permutation, avoids 3412 and 4231. This pattern-avoidance criterion has been extended to classical types by Billey [Bil98] and to all finite types using root-system pattern avoidance by Billey-Postnikov [BP05]. These pattern avoidance criteria provide an efficient way to test if a given Schubert variety X w ( ) is smooth or rationally smooth. In contrast, our results provide information about the geometric structure of (rationally) smooth Schubert varieties. For instance, Peterson's theorem, proved in full generality by Carrell-Kuttler, states that if G is simply-laced then X w ( ) is rationally smooth if and only if it is smooth [CK03]. Other proofs of Peterson's theorem have been given in [Dye] and [JW14]. Using our results, we give a new proof of Peterson's theorem; compared to the proofs listed above, our proof is more combinatorial. Using the list of (rationally) smooth Grassmannian Schubert varieties, we can also efficiently generate the list of (rationally) smooth Schubert varieties in any partial flag variety. This method can be extended to enumerate (rationally) smooth Schubert varieties in complete flag varieties; since this requires a new combinatorial data structure, we leave this to another paper.

The central idea behind our results is the notion of a Billey-Postnikov decomposition. To explain this, let X J denote the partial flag variety associated to a subset J of the simple generators S of W . If J ⊆ K ⊆ S , then there is a natural projection π : X J → X K . If X J ( w ) is a Schubert variety of X J and w = vu is the parabolic decomposition of w with respect to K , then the restriction of π to X J ( w ) gives a projection

$$\pi \colon X ^ { J } ( w ) \to X ^ { K } ( v )$$

with generic fibre X J ( u ). While π : X J → X K is a fibre bundle, the restriction in equation (1) is not a fibre bundle in general (see, for instance, example 3.4). If this projection is a fibre bundle, then the Leray-Hirsch theorem states that the singular cohomology ring H ∗ ( X J ( w )) is a free H ∗ ( X K ( v ))-module over H ∗ ( X J ( u )). As a consequence, if P J w ( ) t denotes the Poincar´ polynomial of e X J ( w ), then

$$P _ { w } ^ { J } ( t ) = P _ { v } ^ { K } ( t ) \cdot P _ { u } ^ { J } ( t ).$$

We prove that equation (2) is also a sufficient condition for the projection in equation (1) to be a fibre bundle. This result is stated in Theorem 3.3, and holds for Schubert varieties of any Kac-Moody group.

Factorizations of P J w ( ) t have been studied by a number of authors, most notably by Gasharov [Gas98], Billey [Bil98], and Billey-Postnikov [BP05]. Billey and Postnikov show that if X ∅ ( w ) is a rationally smooth Schubert variety of finite type, then there exists a subset K of simple generators for which either w or w -1 has a parabolic decomposition vu with respect to K such that the Poincar´ polynomial factors as e P ∅ w ( ) = t P K v ( ) t · P ∅ u ( ) t [BP05]. Moreover, K can be choosen such that S \ K = { } s for some leaf s of the Dynkin diagram of G . In [OY10], Oh and Yoo call such a parabolic decomposition a Billey-Postnikov decomposition. In this paper, we say that a parabolic decomposition w = vu with respect to K is Billey-Postnikov (BP) if the polynomial P J w ( ) factors as in t equation (2) (dropping the condition that S \ K = { } s for some leaf s ). When J = , this ∅ agrees with the definition used by the authors in [RS14]. We then prove that if X J ( w ) is rationally smooth and of finite type, then there exists a nontrivial K containing J for which w has a BP decomposition. This result is stated in Theorem 3.6. The proof uses

the existence theorem in [BP05] combined with an inductive argument. Note that we cannot apply the existence theorem for BP decompositions stated in [BP05] to construct fibre bundle structures on Schubert varieties directly. While the Bruhat intervals [ e, w ] and [ e, w -1 ] are order isomorphic, the Schubert varieties X ∅ ( w ) and X ∅ ( w -1 ) are not necessarily isomorphic. Hence a fibre bundle structure on X ∅ ( w -1 ) may not yield a fibre bundle structure on X ∅ ( w ).

1.1. Acknowledgements. We would like to thank Dave Anderson, Sara Billey, Jim Carrell, and Alex Woo for helpful discussions. We thank the anonymous referee for useful suggestions on the manuscript. The first author was partially supported by the Natural Sciences and Engineering Research Council of Canada.

## 2. Background and terminology

We use the notation from the introduction throughout the paper. In particular, we work over a fixed algebraically closed field k of arbitrary characteristic. Let G denote a semisimple algebraic group over k or, as long as k = C , a Kac-Moody group. When working with Kac-Moody groups, we take G to be the minimum Kac-Moody group G min as defined in [Kum02]. Fix a choice of maximal torus and Borel T ⊂ B ⊂ G . Let W = N T /T ( ) denote the Weyl group of G and fix a simple generating set S for W . We choose a representative in the normalizer N T ( ) of T for each element w ∈ W . If S = { s , s 1 2 , . . . , s n } is the generating set of a specific Weyl group of finite type, we use the Bourbaki labeling of Dynkin diagrams in [Bou68] to describe the Coxeter relations.

For basic facts about Schubert varieties, we refer again to [Kum02], and in particular to the facts about Tits systems in [Kum02, section 5.1]. As in loc. cit., a (standard) parabolic subgroup of W is a subgroup W J generated by a subset J ⊂ S . If J ⊆ S , we let P J := BW B J be the parabolic subgroup of G corresponding to J . The partial flag variety associated to J is then X J := G/P J . Let W J /similarequal W/W J denote the set of minimal length coset representatives. If w ∈ W J , then the Schubert variety associated to w is the closure X J ( w ) := BwP /P J J . The dimension of X J ( w ) is /lscript ( w ), the Coxeter length of w with respect to S . Note that for Kac-Moody groups G , the flag variety X J can be an infinitedimensional ind-variety, but the Schubert varieties X J ( w ) are always finite-dimensional.

If J ⊆ K ⊆ S , then every element w ∈ W J can be written uniquely as w = vu , where v ∈ W K and u ∈ W K ∩ W J . This is called the (right) parabolic decomposition of w with respect to K . We say w = w 1 · · · w k is a reduced decomposition if /lscript ( w ) = ∑ i /lscript ( w i ). Note that all parabolic decompositions are reduced.

If ≤ denotes Bruhat order on W , then

$$\Phi _ { \quad X ^ { J } ( w ) } = \coprod _ { x \in [ e, w ] \cap W ^ { J } } B x P _ { J } / P _ { J } \\ \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \ dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots.$$

where [ e, w ] denotes the interval in Bruhat order between e and w . If W J is finite and w ∈ W J , then the preimage of X J ( w ) in G/B is X ∅ ( w ′ ), where w ′ is the maximal length representative of the coset wW J . Alternatively, w ′ = wu 0 , where u 0 is the longest element of W J . If w 1 and w 2 are in W J , then w 1 ≤ w 2 if and only if w ′ 1 ≤ w ′ 2 , where w ′ i is the longest element in the coset w W i J . Geometrically, w 1 ≤ w 2 if and only if X J ( w 1 ) ⊆ X J ( w 2 ).

The Poincar´ e polynomial P J w ( ) of an element t w ∈ W J is defined as

$$\Psi _ { w } ^ { J } ( t ) \coloneqq \sum _ { x \in [ e, w ] \cap W ^ { J } } t ^ { \ell ( x ) }.$$

It is well-known that P J w ( t 2 ) = ∑ dim H X i ( J ( w )) t i , the Poincar´ polynomial for the coe homology of X J ( w ). The Poincar´ e polynomial is palindromic if P J w ( ) = t t /lscript ( w ) P J w ( t -1 ), or in other words if the coefficients form a palindrome when ordered by degree.

The support of an element w ∈ W is defined as

$$S ( w ) \coloneqq \{ s \in S \ | \ s \leq w \}.$$

Equivalently, S w ( ) is the set of simple reflections appearing in any reduced decomposition of w . The left and right descents set of w are

$$D _ { L } ( w ) & \coloneqq \{ s \in S \ | \ \ell ( s w ) \leq \ell ( w ) \} \\ D _ { R } ( w ) & \coloneqq \{ s \in S \ | \ \ell ( w s ) \leq \ell ( w ) \}.$$

A generalized Grassmannian is a flag variety X J where | S \ J | = 1. In other words, P J is a maximal parabolic subgroup of G where X J = G/P J . A Schubert variety X J ( w ) of a generalized Grassmannian is called a Grassmannian Schubert variety . An element w ∈ W is called a Grassmannian element if w ∈ W J for some generalized Grassmannian X J . Equivalently, w ∈ W is Grassmannian if and only if w has a unique right descent. By a Grassmannian parabolic decomposition , we mean a parabolic decomposition w = vu with respect to a set K such that | K ∩ S w ( ) | = | S w ( ) | -1.

For more information about Schubert varieties over an arbitrary field, we point to [Bor91] and [BK04].

## 3. Main results

As stated in the introduction, we define Billey-Postnikov decompositions as follows:

Definition 3.1. Let w ∈ W J , and let w = vu be a parabolic decomposition with respect to K , where J ⊆ K ⊆ S . We say that w = vu is a Billey-Postnikov (BP) decomposition with respect to ( J, K ) if

$$P _ { w } ^ { J } ( t ) = P _ { v } ^ { K } ( t ) \cdot P _ { u } ^ { J } ( t ).$$

When J = ∅ , we simply say that w = vu is a BP decomposition with respect to K .

Some elementary equivalent definitions of BP decompositions are given in Proposition 4.2. In particular, checking whether or not a given parabolic decomposition is a BP decomposition is computationally easy, and does not require working with Bruhat order.

Example 3.2. Let G = SL ( 4 k ) , with Weyl group W generated by S = { s , s 1 2 , s 3 } . If J = { s , s 1 3 } , then the parabolic decomposition w = vu = ( s s s 1 3 2 )( s s 3 1 ) is a BP decomposition with respect to J since

$$P _ { w } ^ { \emptyset } ( t ) = P _ { v } ^ { J } ( t ) \cdot P _ { u } ^ { \emptyset } ( t ) & = ( t ^ { 3 } + 2 t ^ { 2 } + t + 1 ) ( t ^ { 2 } + 2 t + 1 ) \\ & = t ^ { 5 } + 4 t ^ { 4 } + 6 t ^ { 3 } + 5 t ^ { 2 } + 3 t + 1.$$

$$= t ^ { 5 } + 4 t ^ { 4 } + 6 t ^ { 3 } + 5 t ^ { 2 } + 3 t + 1.$$

The parabolic decomposition w = vu = ( s s s 1 3 2 )( s 1 ) is not a BP decomposition with respect to J since

$$P _ { w } ^ { \emptyset } ( t ) = t ^ { 4 } + 3 t ^ { 3 } + 4 t ^ { 2 } + 3 t + 1$$

and

$$P _ { v } ^ { J } ( t ) \cdot P _ { u } ^ { \emptyset } ( t ) = ( t ^ { 3 } + 2 t ^ { 2 } + t + 1 ) ( t + 1 ) = t ^ { 4 } + 3 t ^ { 3 } + 5 t ^ { 2 } + 2 t + 1.$$

Our first main theorem is a geometric characterization of BP decompositions. Note that this theorem holds when G is a general Kac-Moody group.

Theorem 3.3. Let w ∈ W J and w = vu be a parabolic decomposition with respect to K . Then the following are equivalent:

- (a) The decomposition w = vu is a BP decomposition with respect to ( J, K ) .
- (b) The projection π : X J ( w ) → X K ( v ) is Zariski-locally trivial with fibre X J ( u ) .

Consequently, if w = vu is a BP decomposition then:

- (1) X J ( w ) is (rationally) smooth if and only if X J ( u ) and X K ( v ) are (rationally) smooth.
- (2) The projection π : X J ( w ) → X K ( v ) is smooth if and only if X J ( u ) is smooth.

Example 3.4. Let G = SL ( 4 k ) . Geometrically, we have

$$G / B = \{ V _ { \bullet } = ( V _ { 1 } \subset V _ { 2 } \subset V _ { 3 } \subset k ^ { 4 } ) \ | \ \dim V _ { i } = i \}.$$

Let E · denote the flag corresponding to eB . If w = s s s s s 1 2 3 2 1 , then

$$X ^ { \emptyset } ( w ) = \{ V _ { \bullet } \ | \ \dim ( V _ { 2 } \cap E _ { 2 } ) \geq 1 \}.$$

If J = { s , s 1 3 } , then π V ( · ) = V 2 . From Example 3.2, w = vu = ( s s s 1 3 2 )( s s 3 1 ) is a BP decomposition with respect to J . In particular, the Schubert variety

$$X ^ { J } ( v ) = \{ V _ { 2 } \ | \ \dim ( V _ { 2 } \cap E _ { 2 } ) \geq 1 \}$$

and the fibre over V 2 in the projection π : X ∅ ( w ) → X J ( v ) is

$$\pi ^ { - 1 } ( V _ { 2 } ) = \{ ( V _ { 1 }, V _ { 3 } ) \ | \ V _ { 1 } \subset V _ { 2 } \subset V _ { 3 } \} \cong X ^ { \emptyset } ( u ) \cong \mathbb { P } ^ { 1 } \times \mathbb { P } ^ { 1 }.$$

In this case, the uniform fibre X ∅ ( u ) is smooth. However since X J ( v ) is singular, we have that X ∅ ( w ) is singular. If J = { s , s 1 2 } , then π V ( · ) = V 3 and w = vu = ( s s s 1 2 3 )( s s 2 1 ) is not a BP decomposition. The fiber over V 3 is given by

$$\nu _ { 1 } \quad \cos \cos \cos \cos \cos \cos \cos \cos \cos \sin \cos \cos \cos \cos \sin \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \sin \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \sin \cos \cos \cos \cos \sin \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \sin \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \sin \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \sin \cos \cos \cos \cos \cos \cos \cos \cos \cos \sin \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \sin \cos \cos \cos \cos \cos \cos \cos \cos \cos \sin \cos \cos \cos \cos \sin \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \ sin \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \osigma \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \ sin \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \sin \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \ sin \cos \cos \cos \cos \cos \cos \cos \cos \cos \sin \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \ sin \cos \cos \cos \cos \cos \cos \cos \cos \cos \sin \cos \cos \cos \cos \sin \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \osigma \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \\ \nu _ { 1 } } \quad \ \nu _ { 2 } } \quad \ \nu _ { 3 } \quad \ \nu _ { 4 } \quad \ \nu _ { 5 } \quad \ \nu _ { 6 } \quad \ \nu _ { 7 } \quad \ \nu _ { 8 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \nu _ { 9 } \quad \ \nu _ { 9 } \quad \nu _ { 9 } \quad \ \nu _ { 9 } \quad \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \ \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \nu _ { 9 } \quad \ \nu _ { 9 } \quad \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \ \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \ \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \ \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \ \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu _ { 9 } \\ \quad \nu _ { 9 } \quad \nu _ { 9 } \quad \nu$$

Note that the fibres are not equidimensional.

If Y is a variety over k , let H ∗ ( Y ) denote either etale cohomology, or, when k = C , singular cohomology. For etale cohomology, we take coefficients in Q l , where l is a prime not equal to the characteristic of k , while for singular cohomology we take coefficients in C .

Corollary 3.5. Let w = vu be a parabolic decomposition with respect to K . Then the following are equivalent:

- (a) The decomposition w = vu is a BP decomposition with respect to ( J, K ) .
- (b) There is an isomorphism

$$H ^ { * } ( X ^ { J } ( w ) ) \cong H ^ { * } ( X ^ { K } ( v ) ) \otimes H ^ { * } ( X ^ { J } ( u ) )$$

$$a s \, H ^ { * } ( X ^ { K } ( v ) ) \text{-} m o d u l e s.$$

It is well known that the Poincar´ polynomial e P w ( t 2 ) = ∑ H X i ( J ( w )) t i , so the ( b ) ⇒ ( a ) direction of Corollary 3.5 follows immediately from the definition. The ( a ) ⇒ ( b ) direction of Corollary 3.5 and Theorem 3.3 will be proved in Section 4.2.

Our second main theorem concerns the existence of BP decompositions when G is semisimple, or equivalently when W is finite.

Theorem 3.6. Let w ∈ W J , where W is finite, and suppose | S w ( ) \ J | ≥ 2 . If X J ( w ) is rationally smooth, then w has a Grassmannian BP decomposition with respect to ( J, K ) for some maximal proper K containing J.

As an application of our main theorems, we get the following extension of the RyanWolper theorem to arbitrary finite type.

Corollary 3.7. Let w ∈ W J , where W is finite, and set m = | S v ( ) \ J | . Then X J ( w ) is rationally smooth if and only if there is a sequence

- (3) X J ( w ) = X 0 → X 1 →··· → X m -1 → X m = Spec k,

where each morphism is a Zariski locally-trivial fibre bundle, and the fibres are rationally smooth Grassmannian Schubert varieties.

Similarly, X J ( w ) is smooth if and only if there is a sequence as in (3) where all the fibres, or equivalently, all the morphisms, are smooth.

Each projection X i → X i +1 in Corollary 3.7 corresponds to a BP decomposition. However, these BP decompositions are not usually Grassmannian, since the fibre of the projection is Grassmannian rather than the base. To deduce Corollary 3.7 from Theorem 3.6, we start with the morphisms X i → X m -1 (which do correspond to Grassmannian BP decompositions), and then apply a certain associativity property (stated in Lemma 4.3) for BP decompositions. Theorem 3.6 and Corollary 3.7 are proved in Section 6.

To complete the description of rationally smooth Schubert varieties, we list all rationally smooth Grassmannian Schubert varieties of finite type.

Theorem 3.8. Let W be a finite Weyl group. Suppose w ∈ W J for some J = S \ { s } , and that S w ( ) = S . Then X J ( w ) is rationally smooth if and only if either

- (1) w is the maximal element of W J , in which case X J ( w ) is smooth.
- (2) w is one of the following elements:

| W   | s   | w                                       | index set   | X J ( w ) smooth?   |
|-----|-----|-----------------------------------------|-------------|---------------------|
| B n | s 1 | s k s k +1 · · · s n s n - 1 · · · s 1  | 1 < k ≤ n   | no                  |
| B n | s k | u n,k +1 s 1 · · · s k                  | 1 < k < n   | no                  |
| B n | s n | s 1 . . . s n                           | n ≥ 2       | yes                 |
| C n | s 1 | s k s k +1 · · · s n s n - 1 · · · s 1  | 1 < k ≤ n   | yes                 |
| C n | s k | u n,k +1 s 1 · · · s k                  | 1 < k < n   | yes                 |
| C n | s n | s 1 . . . s n                           | n ≥ 2       | no                  |
| F 4 | s 1 | s 4 s 3 s 2 s 1                         | n/a         | no                  |
| F 4 | s 2 | s 3 s 2 s 4 s 3 s 4 s 2 s 3 s 1 s 2     | n/a         | no                  |
| F 4 | s 3 | s 2 s 3 s 1 s 2 s 1 s 3 s 2 s 4 s 3     | n/a         | yes                 |
| F 4 | s 4 | s 1 s 2 s 3 s 4                         | n/a         | yes                 |
| G 2 | s 1 | s 2 s 1 , s 1 s 2 s 1 , s 2 s 1 s 2 s 1 | n/a         | no                  |
| G 2 | s 2 | s 1 s 2                                 | n/a         | yes                 |
| G 2 | s 2 | s 2 s 1 s 2 , s 1 s 2 s 1 s 2           | n/a         | no                  |

The simple generators { s i } are the simple reflections corresponding to the labelled Dynkin diagrams in [Bou68] . When W has type B n or C n , we let u n,k be the maximal element in W S \{ s 1 ,s k } ∩ W S \{ s 1 } . In each case, the set J = S \ { s } , where s is listed in the table.

Remark 3.9. All the elements listed in part (2) of Theorem 3.8 satisfy a Coxeter-theoretic property which we term almost maximality . This property is defined in Definition 5.2, and plays an important role in the proof of Theorem 3.6.

Remark 3.10. The assumption in Theorem 3.8 that S w ( ) = S does not weaken the characterization. If S w ( ) is a strict subset of S , then X J ( w ) is isomorphic to the Schubert variety indexed by w in the smaller flag variety G S w ( ) /P S w ( ) ∩ J corresponding to the algebraic subgroup G S w ( ) ⊂ G with Weyl group W S w ( ) . For a precise statement, see Lemma 4.8.

As mentioned in the introduction, the list of smooth Schubert varieties in a generalized Grassmannian is known in many cases [LW90] [BP99] [BL00] [Rob14] [HM13]. In particular, Hong and Mok show that if X J ( w ) is a smooth Schubert variety in a generalized Grassmannian corresponding to a long root, then w must be the maximal element of W J S w ( ) (in the cominuscule case this also follows from the earlier work of Brion-Polo). The smooth Schubert varieties in C n with s = s k with 1 &lt; k &lt; n arise as 'odd symplectic manifolds', and have been studied by Mihai [Mih07]. To the best of the authors' knowledge, the cases F 4 , s = s 3 and s = s 4 are not covered by previous work, and the completeness of the above list has not been addressed outside of the cases mentioned above.

It is well known that a Schubert variety X J ( w ) is rationally smooth if and only if the corresponding Kazhdan-Lusztig polynomials are trivial. While there are a number of explicit formulas for Kazhdan-Lusztig polynomials of the Schubert varieties of minuscule and cominuscule generalized Grassmannians (see sections 9.1 and 9.2 of [BL00] for a summary), the authors' are not aware of any complete list of rationally smooth Grassmannian Schubert varieties of finite type in previous work.

Combining Theorem 3.8 with our main results, we get a new proof of Peterson's theorem:

Corollary 3.11. Suppose W is simply-laced. Then X J ( w ) is rationally smooth if and only if it is smooth.

Proof. If W is simply-laced, then all rationally smooth Grassmannian Schubert varieties are smooth by Theorem 3.8, part (1). So if X J ( w ) is rationally smooth, then it is smooth by Corollary 3.7. /square

Corollary 3.11 is a consequence of a more general theorem proved by Peterson, which states that if W is simply-laced then the rationally smooth and smooth locus of any Schubert variety coincide [CK03]. Peterson's proof is more algebro-geometric, while our proof is more combinatorial. Unfortunately our methods do not seem to apply to Peterson's more general theorem.

## 4. Characterization of Billey-Postnikov decompositions

The goal of this section is to prove Theorem 3.3 and Corollary 3.5. We first give several equivalent combinatorial characterizations of BP decompositions, and then apply these characterizations to the geometry of Schubert varieties.

- 4.1. Combinatorial characterizations. In this section, we can assume W is an arbitrary Coxeter group with simple generating set S . Note that Definition 3.1 still makes sense for arbitrary Coxeter groups. We restrict to the finite or crystallographic case only when necessary. We start by proving some important facts about BP decompositions based on known facts from the case J = . For notational simplicity, define ∅

$$W _ { K } ^ { J } \coloneqq W ^ { J } \cap W _ { K }$$

for any J ⊆ K ⊆ S .

Lemma 4.1. For every element w ∈ W J and subset K ⊆ S containing J , there is a unique maximal element ¯ u in [ e, w ] ∩ W J K with respect to Bruhat order. If w = vu is the parabolic decomposition of w with respect to K , then ¯ u has a reduced decomposition ¯ = ¯ u vu , where ¯ v ∈ [ e, v ] ∩ W K .

/negationslash

Proof. When J = ∅ , the existence of ¯ is proved in [vdH74, Lemma 7]. u Let u ′ denote the maximal element of [ e, w ] ∩ W K and let u ′ = ¯ uu ′′ be the parabolic decomposition of u ′ with respect to J , so ¯ u ∈ W J K and u ′′ ∈ W J . If u 0 ∈ [ e, w ] ∩ W J K , then u 0 ≤ u and hence u 0 ≤ ¯. u For the second part of the lemma, if we take J = ∅ then it is easy to prove by induction on /lscript ( u ) that u ′ above has a reduced decomposition u ′ = v u ′ , where v ′ ∈ [ e, v ] ∩ W K . For arbitrary J , observe that if u ∈ W J K and s ∈ K such that /lscript ( su ) = /lscript ( u ) + 1, then either su ∈ W J K , or su = ut for some t ∈ J . Indeed, su = u t 1 where u 1 ∈ W J and t ∈ W J . Since u ≤ su , we get that u ≤ u 1 , and if t = e then we must have u 1 = u and /lscript ( ) = 1. t Taking a reduced decomposition s 1 · · · s k for v ′ and considering the products s u k , s k -1 s u k , . . . , we eventually conclude that ¯ has reduced decomposition u s i 1 · · · s i m u , where 1 ≤ i 1 &lt; . . . &lt; i m ≤ k . /square

Recall that Bruhat order on W J induces a relative Bruhat order ≤ J on the coset space W/W J . By definition,

$$w _ { 1 } W _ { J } \leq _ { J } w _ { 2 } W _ { J }$$

/negationslash if and only if ¯ w 1 ≤ ¯ w 2 in the usual Bruhat order, where ¯ w i is the minimal length coset representative of w W i J . Note that if w 1 ≤ w 2 in Bruhat order, then w W 1 J ≤ w W 2 J even if w , w 1 2 ∈ W J . Define the descent set relative to J to be

$$D _ { L } ^ { J } ( w ) \coloneqq \{ s \in S \ | \ s w W _ { J } \leq _ { J } w W _ { J } \}$$

Proposition 4.2. Let w = vu ∈ W J be a parabolic decomposition with respect to K , so v ∈ W K , u ∈ W J K . The following are equivalent:

- (a) w = vu is a BP decomposition with respect to ( J, K ) .
- (b) The multiplication map

is surjective.

- (c) The element u is the maximal element of [ e, w ] ∩ W J K .

$$\begin{array} { c } \, ^ { * } & \, ^ { * } \\ & \left ( [ e, v ] \cap W ^ { K } \right ) \times \left ( [ e, u ] \cap W ^ { J } _ { K } \right ) \to [ e, w ] \cap W ^ { J } \\ \text{ctive.} \\ & \text{ment} \, u \, \text{is the maximal elements of} \, [ e \, u ] \cap W ^ { J } \end{array}$$

- (d) S v ( ) ∩ K ⊆ D J L ( u ) .

Furthermore, if W J is a finite Coxeter group and u ′ the maximal element of coset uW J , then the following are equivalent to parts (a)-(d).

- (e) S v ( ) ∩ K ⊆ D L ( u ′ ) .
- (g) w = vu ′ is a BP decomposition with respect to K .
- (f) The element u ′ has reduced decomposition u u 0 1 , where u 0 is the maximal element of W S v ( ) ∩ K .

Since the descent and support sets can be calculated efficiently, part (d) gives a practical criterion for checking whether a parabolic decomposition is a BP decomposition.

Proof. Note that the multiplication map in part (b) is always injective. Hence part (b) is equivalent to part (c). The multiplication map is also length preserving, so part (b) is equivalent to part (a).

To show that parts (c) and (d) are equivalent, suppose u is the maximal element of [ e, w ] ∩ W J K . If s ∈ S v ( ) ∩ K then su ∈ W K and hence suW J ≤ J uW J . For the converse, suppose ¯ is the maximal element of [ u e, w ] ∩ W J K , so u ≤ ¯ u ≤ w . By Lemma 4.1, if u &lt; u ¯ then there is a simple reflection s ∈ S v ( ) ∩ K such that u &lt; su ≤ ¯ and u su ∈ W J . Hence S v ( ) ∩ K is not a subset of D J L ( u ).

The equivalence of parts (e) and (f) is immediate. Let w ′ be the maximal element in the coset wW J . Then u is maximal in [ e, w ] ∩ W J K if and only if u ′ is maximal in [ e, w ′ ] ∩ W K . This implies part (f) is equivalent to part (c).

Finally, u ′ is the maximal element of [ e, w ′ ] ∩ W K if and only if su ′ ≤ u ′ for all s ∈ S v ( ) ∩ K . Hence part (g) is equivalent to part (e). This completes the proof. /square

In the case when J = ∅ , the equivalence of Proposition 4.2 parts (a)-(c) is proved in [BP05, Theorem 6.4], (a) ⇒ (d) in [OY10, Lemma 10], and (a) ⇐ (d) in [RS14, Lemma 2.2]. Using Proposition 4.2, it is easy to show that BP decompositions are associative, in the same way that parabolic decompositions are associative:

Lemma 4.3. Let I ⊆ J ⊆ K ⊆ S and w ∈ W I . Write w = xyz where x ∈ W K , y ∈ W J K , and z ∈ W I J . Then the following are equivalent:

- (a) x yz ( ) is a BP decomposition with respect to ( I, K ) and yz is a BP decomposition with respect to ( I, J ) .
- (b) ( xy z ) is a BP decomposition with respect to ( I, J ) and xy is a BP decomposition with respect to ( J, K ) .

The last combinatorial property concerns Poincar´ polynomials. e

Lemma 4.4. Let W be a crystallographic Coxeter group and w ∈ W. Let w = vu ∈ W J be a parabolic decomposition with respect to K . If w = vu is a BP decomposition with respect to ( J, K ) , then P J w ( ) t is palindromic if and only if P K v ( ) t and P J u ( ) t are palindromic.

Proof. Let P 1 ( ) t and P 2 ( ) t be polynomials of degree d 1 and d 2 respectively. Suppose P j ( ) = t ∑ i c t j i i has the property that c j i ≤ c j d j -i for all i ≤ /floorleft d / j 2 /floorright and j = 1 2. , Then it is easy to check that P 1 · P 2 is palindromic if and only if P 1 and P 2 are palindromic. By [BE09, Theorem A], the relative Poincar´ polynomials e P J w of elements in crystallographic Coxeter groups have this property. /square

Remark 4.5. For arbitrary Coxeter groups, Lemma 4.4 holds in the case that J = ∅ . Indeed, it suffices to prove that if P J w ( ) t is palindromic, then P J u ( ) t is palindromic. This follows from [BP05, Lemma 6.6] and [Car94, Theorem B] along with the recent result in [EW14] that the Kazhdan-Lusztig polynomials of arbitrary Coxeter groups have nonnegative coefficients.

- 4.2. Geometric characterizations. In this section we give some geometric properties of BP decompositions, finishing with the proof of Theorem 3.3. We return to the assumption that W is the Weyl group of some Kac-Moody group G , and hence is crystallographic.

For the remainder of the section, we fix J ⊆ K ⊆ S and the corresponding parabolic subgroups P J ⊆ P K ⊆ G . For any g ∈ G , let [ g ] ∈ G/P K denote the image of g under the projection G → G/P K .

Lemma 4.6. Let w = vu ∈ W J be a parabolic decomposition with respect to K and recall the projection π : X J ( w ) → X K ( v ) . Let [ b 0 v 0 ] be a point of X K ( v ) , where b 0 ∈ B and v 0 ∈ [ e, v ] ∩ W K . Then

$$\pi ^ { - 1 } ( [ b _ { 0 } v _ { 0 } ] ) = b _ { 0 } v _ { 0 } \bigcup B u ^ { \prime } P _ { J } / P _ { J }$$

where the union is over u ′ ∈ W J K such that v u 0 ′ ≤ w .

Proof. Using the parabolic decomposition of W K , we get that

$$\mathbb { m } { \colon } \times \mathbb { m } { \colon } \times \mathbb { m } { \colon } \times \mathbb { m } { \colon } \times \mathbb { m } { \colon } \times \mathbb { m } { \colon } \times \mathbb { m } { \colon } \times \mathbb { m } { \colon } \times \mathbb { m } { \colon } \times \mathbb { m } { \colon } \times \mathbb { m } { \colon } \times \mathbb { m } { \colon } \times \mathbb { m } { \colon } \times \mathbb { m } { \colon } \times \mathbb { m } { \colon } \times \mathbb { m } { \colon } \times \mathbb { m m } { \colon } \times \mathbb { m } { \colon } \times \mathbb { m } { \colon } \times \mathbb { m } { \colon } \times \mathbb { m } { \colon } \times \mathbb { m } { \colon } \times \mathbb { m } { \colon } \times \mathbb { m } { \colon } \times \mathbb { m } { \colon } \times \mathbb { m } { \colon } \times \mathbb { m } { \colon } \times \mathbb { m } { \colon } \times \mathbb { m } { \colon } \times \mathbb { m } { \colon } \times \mathbb { m } { \colon } \times \mathbb { m } { \text{$\dots} } \times \mathbb { m } { \text{$\dots} } \times \mathbb { m } { \text{$\dots} } \times \mathbb { m } { \text{$\dots} } \times \mathbb { m } { \text{$\dots} } \times \mathbb { m } { \text{$\dots} } \times \mathbb { m } { \text{$\dots} } \times \mathbb { m } { \text{$\dots} } \times \mathbb { m } { \text{$\dots} } \times \mathbb { m } { \text{$\dots} } \times \mathbb { m } { \text{$\dots} } \times \mathbb { m } { \text{$\dots} } = \mathbb { m } { \text{$\dots} } = \mathbb { m } { \text{$\dots} } = \mathbb { m } { \text{$\dots} } = \mathbb { m } { \text{$\dots} } = \mathbb { m } { \text{$\dots} } = \mathbb { m } { \text{$\dots} } = \mathbb { m } { \text{$\dots} } = \mathbb { m } { \text{$\dots} } = \mathbb { m } { \text{$\dots} } = \mathbb { m } { \text{$\dots} } = \mathbb { m } { \text{$\dots} } = \mathbb { m } { \text{$\Dots} } = \mathbb { m } { \text{$\dots} } = \mathbb { m } { \text{$\dots} } = \mathbb { m } { \text{$\dots} } = \mathbb { m } { \text{$\dots} } = \mathbb { m } { \text{$\dots} } = \mathbb { m } { \text{$\dots} } = \mathbb { m } { \text{$\dots} } = \mathbb { m } { \text{$\dots} } = \mathbb { m } { \text{$\dots} } = \mathbb { m } { \text{$\dots} } = \mathbb { m } { \text{$\dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathcc { \dots} = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } \\ \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } {\vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } \ = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m }{ \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots}} = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots } } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m {\vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots} } = \mathbb { m } { \vec { \dots } }$$

So the fibre of G → G/P K over [ b v 0 0 ] is

$$\dots \dots \dots \dots \dots \dots \\ b _ { 0 } v _ { 0 } P _ { K } = \bigcup _ { u ^ { \prime } \in W _ { K } ^ { J } } b _ { 0 } v _ { 0 } B u ^ { \prime } P _ { J }, \\ \cdot \dots \dots \dots \dots \dots \dots \dots \dots$$

Since /lscript ( v u 0 ′ ) = /lscript ( v 0 ) + /lscript ( u ′ ), we have that b 0 v Bu P 0 ′ J is a subset of Bv u P 0 ′ J . The image of the set Bv u P 0 ′ J under the projection G → G/P J lies outside of X J ( w ) unless v u 0 ′ ≤ w , in which case the image is contained in X J ( w ). /square

Lemma 4.6 yields the following intermediate criterion for BP decompositions.

Proposition 4.7. Let w = vu ∈ W J be a parabolic decomposition with respect to K . Then w = vu is a BP decomposition with respect to ( J, K ) if and only if the fibres of the projection π : X J ( w ) → X K ( v ) are equidimensional.

Proof. Suppose w = vu is a BP decomposition and take b 0 ∈ B v , 0 ∈ [ e, v ] ∩ W K . Then the fibre π -1 ([ b 0 v 0 ]) = b 0 v X 0 J ( u ), since if u ′ ∈ [ e, w ] ∩ W J K then u ′ ≤ u by Proposition 4.2 part (c).

Conversely, the fibre π -1 ([ e ]) = X J (¯), where ¯ is the maximal element of [ u u e, w ] ∩ W J K , while the fibre π -1 ([ v ]) = vX J ( u ). Hence if π : X J ( w ) → X K ( v ) is equidimensional, then we must have /lscript ( u ) = /lscript (¯). u But u ≤ ¯, so this implies u u = ¯. u /square

To finish the proof of Theorem 3.3, we need two standard lemmas.

Lemma 4.8. Let v ∈ W K and I = S v ( ) . Let G I be the reductive subgroup of P I , and let P I,I ∩ K := G I ∩ P K be the parabolic subgroup of G I generated by I ∩ K . Finally, let X I ∩ K I ( v ) ⊆ G /P I I,I ∩ K be the Schubert variety indexed by v ∈ W K I . Then the map G /P I I,I ∩ K ↪ → G/P K induces an isomorphism X I ∩ K I ( v ) → X K ( v ) .

Proof. It suffices to show that the induced map X I ∩ K I ( v ) ↪ → X K ( v ) is surjective. Write P I = G N I I where N I is the unipotent subgroup of P I and let B I = G I ∩ B denote the Borel of G . I If v ′ ∈ W I , then N I is stable under conjugation by v ′-1 . Write B = B N I I . Then for any v ′ ∈ W I , the Schubert cell

Bv P ′ K /P K = B N v P I I ′ K /P K = B I ( v v ′ ′-1 ) N v P I ′ K /P K = B v P I ′ K /P K .

Since v ∈ W K I ⊆ W I , we have that X I ∩ K I ( v ) ↪ → X K ( v

) is surjective. /square

Lemma 4.9. If u ∈ W J , then X J ( u ) is closed under the action of P D J L ( u ) , the parabolic subgroup generated by the left descent set D J L ( u ) of u relative to J .

Proof. Let Z be the inverse image of X J ( u ) under the projection G → G/P J . Then

$$\cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdot \\ Z = \bigcup _ { u ^ { \prime } \leq u } B u ^ { \prime } B W _ { J } B = \bigcup _ { u ^ { \prime } \leq u } B u ^ { \prime } W _ { J } B. \\ [ W _ { \epsilon } < \epsilon _ { u } W _ { \epsilon } \ t h o n \ e o u ^ { \prime } W _ { \epsilon } < \epsilon _ { u } W _ { \epsilon } \ t h o n.$$

If s ∈ D J L ( u ) and u W ′ J ≤ J uW J , then su W ′ J ≤ J uW J . Thus sBu W B ′ J ⊆ Bsu W B ′ J ∪ Bu W B ′ J ⊆ Z.

So Z is closed under D J L ( u ), and therefore X J ( u ) is closed under P D J L ( u )

. /square

Proof of Theorem 3.3. If π : X J ( w ) → X K ( v ) is locally-trivial then the fibres of π are equidimensional. Thus w = vu is a BP decomposition with respect to ( J, K ) by Proposition 4.7.

Conversely, suppose that w = vu is a BP decomposition with respect to ( J, K ), and let I = S v ( ) as in Lemma 4.8. Recall from the proof of Proposition 4.7 that if b 0 ∈ B , v 0 ∈ [ e, v ] ∩ W K , then the fibre π -1 ([ b 0 v 0 ]) = b 0 v X 0 J ( u ). Suppose g ∈ G I maps to [ b 0 v 0 ] in G/P K . Then we can write g = b 1 v p 0 , where b 1 ∈ B I and p ∈ P I,I ∩ K . By Proposition 4.2 part (d), I ∩ K ⊆ D J L ( u ). Hence by Lemma 4.9, pX J ( u ) = X J ( u ), and we conclude that gX J ( u ) = b 1 v X 0 J ( u ) is the fibre of π over [ g ] = [ b 1 v 0 ].

↦

By [Kum02, Corollary 7.4.15 and Exercise 7.4.5] the projection G I → G /P I I,I ∩ K is locally trivial, and thus has local sections. Given x ∈ X K ( v ), there is a Zariski open neighbourhood U x ⊆ X K ( v ) of x with a local section s : U x → G I ⊆ G of the projection G → G/P K . Let m U : x × X J ( u ) → G/P J denote the multiplication map ( u, y ) → s u ( ) · y . The image of m is contained in X J ( w ), and thus we get a commuting square

/d47

/d47

/d15

/d15

/d15

/d15

/d31

$$\begin{array} { c } \theta ^ { \prime } & \lambda \\ U _ { x } \times X ^ { J } ( u ) \xrightarrow { m } X ^ { J } ( w ) \\ \downarrow & \downarrow & \downarrow ^ { \pi } \\ U _ { x } \xrightarrow { K } X ^ { K } ( v ) \\ \downarrow & \end{array}$$

/d127

/d47

/d47

↦

in which the fibres of projection U x × X J ( u ) → U x are mapped bijectively onto the fibres of π . If z ∈ π -1 ( U x ) and g = ( ( )), then s π z z ∈ gX J ( u ). So m maps bijectively onto π -1 ( U x ), and we can define an inverse π -1 ( U x ) → U x × X J ( u ) by z → ( π z , g ( ) -1 z ) where g = ( ( )). s π z We conclude that m is an isomorphism, and ultimately that π : X J ( w ) → X K ( v ) is locally trivial.

Now the projection U x × X J ( u ) → U x is smooth if and only if X J ( u ) is smooth, and thus the projection π : X J ( w ) → X K ( v ) is smooth if and only if X J ( u ) is smooth. In particular, if X J ( u ) and X K ( v ) are both smooth, then X J ( w ) is smooth. Conversely, if X J ( w ) is smooth then the product U x × X J ( u ) must be smooth whenever the projection G I → X K ( v ) has a local section over U . Looking at Zariski tangent spaces, we conclude that dim T X x K ( v ) + dim T X y J ( u ) ≤ /lscript ( w ) for all x ∈ X K ( v ), y ∈ X J ( u ). Since /lscript ( w ) = /lscript ( u ) + /lscript ( v ), both X K ( v ) and X J ( u ) must be smooth.

The Schubert variety X J ( w ) is rationally smooth if and only if X J ( u ) and X K ( v ) are rationally smooth by Lemma 4.4. /square

We finish the section by proving Corollary 3.5.

Proof of Corollary 3.5. For singular cohomology, the proof follows easily from the LerayHirsch theorem. For etale cohomology, we use the Leray-Serre spectral sequence

E ∗ ∗ , 2 = H r et ( X K ( v , R ) s π ∗ Q l ) = ⇒ H r + s et ( X J ( w , ) Q l ) for the projection π : X J ( w ) → X K ( v ) (see, e.g. [Tam94]). Since π is locally trivial, the sheaf R π ∗ ∗ Q l is locally constant, and by the proper base change theorem we see that it is in fact isomorphic to H ∗ et ( X J ( u , ) Q l ). Since H ∗ et ( X K ( v , ) Q l ) and H ∗ et ( X J ( u , ) Q l ) are concentrated in even dimensions, the Leray-Serre spectral sequence collapses at the E 2 -term, and the spectral sequence converges to H ∗ et ( X K ( v )) ⊗ H ∗ et ( X J ( u )) as an algebra. Using the action of H ∗ et ( X K ( v )) on H ∗ et ( X J ( w )), we can solve the lifting problem to get an isomorphism

$$\ n s m { H _ { e t } ^ { * } \left ( X ^ { K } ( v ), \mathbb { Q } _ { l } \right ) \otimes H _ { e t } ^ { * } \left ( X ^ { J } ( u ), \mathbb { Q } _ { l } \right ) } \rightarrow H _ { e t } ^ { * } \left ( X ^ { J } ( w ), \mathbb { Q } _ { l } \right )$$

of H ∗ et ( X K ( v ))-modules.

/square

## 5. Rationally smooth Grassmannian Schubert varieties

In this section we define almost maximal elements of a Weyl group and prove Theorem 3.8. We take G to a be simple Lie group of finite type, and hence the Weyl group W is a finite Coxeter group. It is well known that simple Lie groups are classified into four classical families A ,B ,C ,D n n n n and exceptional types E , E , E , F 6 7 8 4 and G 2 . We begin with the following theorem.

Theorem 5.1 ([Bil98], [Gas98], [Las98], [BP05], [OY10]) . Let X ∅ ( w ) be rationally smooth Schubert variety with | S w ( ) | ≥ 2 . Then there is a leaf s ∈ S w ( ) of the Dynkin diagram of W S w ( ) such that either w or w -1 has a BP decomposition vu with respect to J = S \ { s } .

Furthermore, s can be chosen so that v is either the maximal length element in W J , or one of the following holds:

- (a) W S v is of type B n or C n , with either
- J = S \ { s } , and v = s s · · · s s · · · s , for some 1 &lt; k ≤ n .
- ( ) (1) 1 k k +2 n n -1 1 (2) J = S \ { s n } with n ≥ 2 , and v = s 1 · · · s n .
- (b) W S v ( ) is of type F 4 , with either
- (1) J = S \ { s 1 } and v = s s s s 4 3 2 1 .
- (2) J = S \ { s 4 } and v = s s s s 1 2 3 4 .
- (c) W S v ( ) is of type G 2 , and v is one of the elements

s s , 2 1 s s s , 1 2 1 s s s s , 2 1 2 1 s s , 1 2 s s s , 2 1 2 s s s s . 1 2 1 2

Note that the elements listed in parts (a)-(c) of Theorem 5.1 correspond to the elements listed in part (2) of Theorem 3.8 for which s is a leaf of the Dynkin diagram. The result that w or w -1 has a BP decomposition with respect to a leaf is due to Billey [Bil98, Theorem 3.3 and Proposition 6.3] in the classical types and Billey-Postnikov [BP05] in the exceptional types. The type A case was also proved by Gasharov [Gas98] and Lascoux [Las98]. For the second part of Theorem 5.1 on the presentation of v , the proof for the classical types is again due to Billey [Bil98]. The type E case is due to Oh-Yoo in [OY10] 1 and types F 4 and G 2 can be easily verified by computer using Kumar's criteria for rational smoothness [Kum96]. We remark that computer calculation plays an important role in the proof of Theorem 5.1. In particular, the results of [BP05] and [OY10] on the exceptional types both require exhaustive computer verification.

Note that the condition that either w or w -1 has a BP decomposition in Theorem 5.1 can be rephrased as w having 'left' or 'right' sided BP decompositions. For any J ⊆ S, let J W /similarequal W J \ W denote the set of minimal length left sided coset representatives. Any w ∈ W has unique left sided parabolic decomposition w = uv with respect to J where u ∈ W J and v ∈ J W. We say a left sided parabolic decomposition w = uv is a left sided BP decomposition with respect to J if

$$P _ { w } ( t ) = P _ { u } ( t ) \cdot ^ { J } P _ { v } ( t )$$

where

$$^ { J } P _ { v } ( t ) \coloneqq \sum _ { x \in [ e, v ] \cap ^ { J } W } t ^ { \ell ( x ) }.$$

1 This also follows from the geometric results of [HM13] together with Peterson's theorem that all rationally smooth elements in type E are smooth.

By a right sided parabolic or BP decomposition w = vu with respect to J, we simply mean a usual parabolic or BP decomposition where v ∈ W J and u ∈ W J . With this terminology, w = vu is a right sided BP decomposition if and only if w -1 = u -1 v -1 is a left sided BP decomposition. The combinatorial characterizations given in Proposition 4.2 have left sided BP decomposition analogues. In particular, for Proposition 4.2, part (e) we let u ′ be the maximal element of the coset ( W u J ) and replace the left descents D L ( u ′ ) with right descents D R ( u ′ ).

The elements listed in Theorem 5.1 parts (a)-(c) share an important property we term 'almost maximality'. Recall that an element w ∈ W is the maximal element in W S w ( ) if and only if D L ( w ) = S w ( ), or equivalently if D R ( w ) = S w ( ). An element w ∈ W J is the maximal element in W S w ( ) ∩ J S w ( ) if and only if the longest element of wW S w ( ) ∩ J is in fact the longest element of W S w ( ) . Based on these properties of maximal elements, we make the following definition.

Definition 5.2. Given w ∈ W J , let w ′ be the longest element in wW S w ( ) ∩ J . We say that w is almost-maximal in W S w ( ) ∩ J S w ( ) if all of the following are true.

- (a) There are elements s, t ∈ S w ( ) (not necessarily distinct) such that

$$D _ { R } ( w ^ { \prime } ) = S ( w ^ { \prime } ) \, \wedge \, \{ s \} \ \ a n d \ \ D _ { L } ( w ^ { \prime } ) = S ( w ^ { \prime } ) \, \wedge \, \{ t \}.$$

- (b) If w ′ = vu is the right sided parabolic decomposition with respect to D R ( w ′ ) , then S v ( ) = S w ( ′ ) .
- (c) If w ′ = uv is the left sided parabolic decomposition with respect to D L ( w ′ ) , then S v ( ) = S w ( ′ ) .

Similarly, if w ∈ J W , we say w is almost-maximal in S w ( ) ∩ J W S w ( ) if parts (a)-(c) are true with w ′ the longest element in the coset ( W S w ( ) ∩ J ) w .

Note that an almost-maximal element is not maximal in W S w ( ) ∩ J S w ( ) by definition. If W S w ( ) ∩ J S w ( ) is clear from context, we will omit it. By the following lemma, the most interesting case is when J = S \ { s } for some s ∈ S .

Lemma 5.3. Let w ∈ W J and assume J ⊆ S = S w ( ) . If w is almost maximal, then there exists s / J ∈ and parabolic decomposition w = vu with respect to K = S \ { s } such that v is an almost-maximal element of W K and u is the maximal element of W J K .

Proof. Assume that w ∈ W J is almost-maximal. Let w ′ be the longest element of wW J . Let s be the unique element of S \ D R ( w ′ ) and consider the parabolic decomposition w ′ = vu ′ with respect to K = S \ { s } = D R ( w ′ ). Note that S v ( ) = S w ( ′ ) = S and u ′ is maximal in W K since J ⊆ K . Write u ′ = uu 0 where u and u 0 are maximal in W J K and W J respectively. Then

︸ ︷︷ ︸ which implies that w = vu . Since w is almost-maximal and w ′ is the maximal element of vW K , we have that v is almost maximal. /square

$$w ^ { \prime } = w u _ { 0 } = v \underbrace { ( u u _ { 0 } ) } _ { u ^ { \prime } }.$$

- 5.1. Proof of Theorem 3.8. We begin with the following proposition.

Proposition 5.4. Let J = S \ { s } for some s and suppose v ∈ W J such that S v ( ) = S and X J ( v ) is rationally smooth. Then the following are equivalent.

- (i) v is not maximal in W J

- (ii) v is almost-maximal in W J
- (iii) v appears on the list in Theorem 3.8 part (2).

Remark 5.5. If v ∈ W J is almost maximal, then X J ( v ) is not necessarily rationally smooth. For example, let W be of type D 4 with J = S \ { s 4 } . Then v = s s s s 1 3 2 4 ∈ W J is almost maximal but X J ( v ) is not rationally smooth.

Most of Theorem 3.8 follows from Proposition 5.4, leaving only the determination of which Schubert varieties listed in Theorem 3.8 part (2) are smooth. Before we prove Proposition 5.4, we first analyze the elements arising in parts (a) and (b) of Theorem 5.1.

Lemma 5.6. Let W = B n or C n and J = { s , . . . , s 2 n } . Let v = s k · · · s n -1 s n s n -1 · · · s 1 where 1 &lt; k ≤ n and w ′ be the longest element of vW J . Then the following are true:

- (1) D L ( w ′ ) = S \ { s k -1 } .
- (2) The minimal length representative of W D L ( w ′ ) w ′ is s k -1 · · · s u 1 -1 n,k , where u n,k is the maximal length element of W J \{ s k } J .

Proof. Partition S into S 1 = { s , . . . , s 1 k -1 } and S 2 = { s k , . . . , s n } . If w 0 denotes the maximal element of W J then w ′ = vw 0 . Since the elements of W S 1 and W S 2 \{ s k } commute, we can write

$$w _ { 0 } = u _ { 0 } u _ { 1 } u _ { n, k } ^ { - 1 },$$

where u 0 is maximal in W S 1 ∩ J and u 1 is maximal in W S 2 \{ s k } . Then

$$u ^ { \prime } = ( s _ { 1 } \cdots s _ { 2 } \cdots s _ { 3 } ) ( u _ { 0 } u _ { 1 } u ^ { - 1 } )$$

$$w ^ { \prime } & = ( s _ { k } \cdots s _ { n } \cdots s _ { 1 } ) ( u _ { 0 } u _ { 1 } u _ { n, k } ^ { - 1 } ) \\ & = ( s _ { k } \cdots s _ { n } \cdots s _ { k } u _ { 1 } ) ( s _ { k - 1 } \cdots s _ { 1 } u _ { 0 } ) u _ { n, k } ^ { - 1 }.$$

Since ( s k · · · s n · · · s k ) is maximal in W S 2 \{ s k } S 2 , we have that ( s k · · · s n · · · s u k 1 ) is a maximal element in W S 2 . In particular, S 2 ⊆ D L ( w . ′ ) Similarly ( s k -1 · · · s 1 ) is maximal in W S 1 \{ s 1 } S 1 , and hence ( s k -1 · · · s u 1 0 ) is maximal in W S 1 . Consequently

$$s _ { k - 1 } \cdots s _ { 1 } u _ { 0 } = u _ { 2 } s _ { k - 1 } \cdots s _ { 1 },$$

where u 2 is the maximal element in W S 1 \{ s k -1 } . Now we have

$$w ^ { \prime } & = ( s _ { k } \cdots s _ { n } \cdots s _ { k } u _ { 1 } ) \cdot ( u _ { 2 } s _ { k - 1 } \cdots s _ { 1 } u _ { n, k } ^ { - 1 } ) \\ & = ( u _ { 2 } s _ { k } \cdots s _ { n } \cdots s _ { k } u _ { 1 } ) \cdot ( s _ { k - 1 } \cdots s _ { 1 } u _ { n, k } ^ { - 1 } ).$$

$$\iota _ { n, k } ^ { - 1 } ).$$

Thus S 1 \ { s k -1 } ⊆ D L ( w ′ ) and hence S \ { s k -1 } ⊆ D L ( w ′ ). Since w ′ is not maximal in W , the element s k -1 / D ∈ L ( w . ′ ) This proves part (1), and part (2) follows from the fact that ( u s 2 k · · · s n · · · s u k 1 ) is maximal in W D L ( w ′ ) . /square

Note that if k = 2 in Lemma 5.6, then D L ( w ′ ) = J , and the minimal length representative of W w J ′ is s u 1 -1 n,k = w -1 .

Lemma 5.7. Let W = B n or C n and J = { s , . . . , s 1 n -1 } where n ≥ 2 . Let v = s 1 · · · s n and w ′ be the longest element of vW J . Then the following are true:

- (1) D L ( w ′ ) = J
- (2) The minimal length representative of W D L ( w ′ ) w ′ is s n · · · s 1 .

Proof. If w 0 denotes the longest element of W J , then w ′ = vw 0 , and we can write

$$w _ { 0 } = u _ { 0 } s _ { n - 1 } \cdots s _ { 1 },$$

where u 0 is the longest element of W J \{ s n -1 } . Hence

$$w ^ { \prime } = ( s _ { 1 } \cdots s _ { n - 1 } s _ { n } ) ( u _ { 0 } s _ { n - 1 } \cdots s _ { 1 } ) = ( s _ { 1 } \cdots s _ { n - 1 } u _ { 0 } ) ( s _ { n } s _ { n - 1 } \cdots s _ { 1 } ).$$

The lemma now follows from the fact that s 1 · · · s n -1 u 0 = w 0

. /square

Lemma 5.8. Let W = F 4 and J = { s , s 2 3 , s 4 } . Let v = s s s s 4 3 2 1 and w ′ be the longest element of wW J . Then the following are true:

- (1) D L ( w ′ ) = { s , s 1 3 , s 4 }
- (2) The minimal length representative of W D L ( w ′ ) w ′ is s s s s s s s s s 2 1 3 2 4 3 4 2 3 .

Proof. Computation in F 4 shows that

$$w ^ { \prime } = ( s _ { 4 } s _ { 3 } s _ { 2 } s _ { 1 } ) ( s _ { 4 } s _ { 3 } s _ { 2 } s _ { 3 } s _ { 4 } s _ { 3 } s _ { 2 } s _ { 3 } s _ { 2 } )$$

$$= ( s _ { 1 } s _ { 3 } s _ { 4 } s _ { 3 } ) ( s _ { 2 } s _ { 1 } s _ { 3 } s _ { 2 } s _ { 4 } s _ { 3 } s _ { 4 } s _ { 2 } s _ { 3 } ). \tag* { \square }$$

↦

Note that Lemma 5.8 also applies to v = s s s s 1 3 2 4 in F 4 , since F 4 has an automorphism sending the simple generator s k → s 5 -k for k ≤ 4. (This automorphism is not a diagram automorphism, and hence is not defined on the root system, but it is defined for the Coxeter group).

Lemma 5.9. Let v be almost-maximal in W S v ( ) ∩ J S v ( ) and let w ′ be the longest element in vW S v ( ) ∩ J . Let w ′ = u v 1 1 be the left sided parabolic decomposition of w ′ with respect to J ′ := D L ( w ′ ) . Then the following are true:

- (1) v -1 1 is almost-maximal in W J ′ S v ( 1 )
- (2) X J ( v ) is rationally smooth if and only X J ′ ( v -1 1 ) is rationally smooth.

Proof. Part (1) of the lemma is immediate from Definition 5.2 of almost-maximal. For the second part, let u 0 be the maximal element of W S v ( ) ∩ J , so w ′ = vu 0 . By Proposition 4.2, w ′ = vu 0 is a BP decomposition and hence by Lemma 4.4, we have X J ( v ) is rationally smooth if and only if X ∅ ( w ′ ) is rationally smooth. But

$$P _ { w ^ { \prime } } ( t ) = P _ { ( w ^ { \prime } ) ^ { - 1 } } ( t ),$$

and so X ∅ ( w ′ ) is rationally smooth if and only if X ∅ (( w ′ ) -1 ) is rationally smooth. Finally, since u 1 is the maximal element of W J ′ , we have w ′ = u v 1 1 is a left sided BP decomposition. Thus X ∅ (( w ′ ) -1 ) is rationally smooth if and only if X J ′ ( v -1 1 ) is rationally smooth. /square

Proof of Proposition 5.4. Clearly (ii) ⇒ (i) in the proposition. We will show (iii) ⇒ (ii) and (i) ⇒ (iii). We start with the proof of (iii) ⇒ (ii). Suppose v ∈ W J is an element listed in parts (a)-(c) of Theorem 5.1. If v is of type G 2 , then it is easy to see that v is almostmaximal. For types B,C and F , it follows from Lemmas 5.6, 5.7, and 5.8 that all elements listed in parts (a)-(c) are almost-maximal. As mentioned previously, the elements listed in parts (a)-(c) of Theorem 5.1 are precisely the elements listed in the table of Theorem 3.8 for which s is a leaf of the Dynkin diagram. By the second parts of Lemmas 5.6, 5.7, and 5.8, if v ′ is any another element listed in Theorem 3.8, then there is a leaf s of the Dynkin diagram, and a rationally smooth element v ∈ W S \{ } s listed in Theorem 5.1, such that the longest element w ′ in vW S v ( ) ∩ J has left-sided parabolic decomposition w ′ = u v 1 1 , where

v ′ = v -1 1 . Lemma 5.9 now implies that all the elements listed in Theorem 3.8 are almostmaximal and the corresponding Schubert varieties are rationally smooth. This proves (iii) ⇒ (ii) of the proposition.

Now we prove (i) ⇒ (iii). Suppose v ∈ W J is not maximal and let w ′ be the longest element of vW J . Theorem 5.1 implies there exists a leaf s ′ ∈ S such that either w ′ or ( w ′ ) -1 has a BP decomposition v u ′ ′ where v ′ appears on the list given in parts (a)-(c) of Theorem 5.1. If w ′ = v u ′ ′ , then the fact that D R ( w ′ ) = J and w ′ is not maximal implies that s ′ = s and hence, u ′ = u and v ′ = v . Now suppose that ( w ′ ) -1 = v u ′ ′ and let J ′ = S \ { s ′ } . By Proposition 4.2, part (e) we have S v ( ′ ) ∩ J ′ = J ′ ⊆ D L ( u ′ ) . Since w ′ is not maximal, we must have J ′ = D L ( u ′ ) and that u ′ is the longest element of W ′ J . Thus w ′ is almost-maximal. Lemma 5.9 together with Lemmas 5.6, 5.7, and 5.8 imply that v is an element listed in Theorem 3.8. /square

The equivalence of Proposition 5.4 parts (ii) and (iii) gives the following rephrasing Theorem 5.1.

Corollary 5.10. Let X ∅ ( w ) be rationally smooth, where | S w ( ) | ≥ 2 . Then there is a leaf s ∈ S w ( ) of the Dynkin diagram of W S w ( ) such that either w or w -1 has a BP decomposition vu with respect to J = S \ { s } . Furthermore, s can be chosen so that v is either maximal or almost-maximal in W S v ( ) ∩ J S v ( ) .

Corollary 5.10 plays an important role in the proof of Theorem 3.6 in the next section. We finish the proof of Theorem 3.8 by determining which Schubert varieties listed in Theorem 3.8, part (2) are smooth.

Lemma 5.11. Let v ∈ W S v ( ) ∩ J S v ( ) and let w ′ be the longest element in vW S v ( ) ∩ J . Let w ′ = u v 1 1 be the left sided parabolic decomposition of w ′ with respect to J ′ := D L ( w ′ ) . Then X J ( v ) is smooth if and only if X J ′ ( v -1 1 ) is smooth.

Proof. Let u 0 be maximal in W S ( v ) ∩ J , so that w ′ = vu 0 , and let

$$Z = \bigcup _ { x \leq w ^ { \prime } } B x B \\ \cdots \quad \cdots \quad \cdots.$$

be the inverse image of X J ( v ) in G . Then Z is a principal P J -bundle over X J ( w ), so Z is smooth if and only if X J ( w ) is smooth. But Z is isomorphic to the inverse image

$$\bigcup _ { x \leq ( w ^ { \prime } ) ^ { - 1 } } B x B$$

of X J ′ ( v -1 1 ) in G , so the lemma follows.

/square

By Lemma 5.11 and Lemmas 5.6, 5.7, and 5.8, it suffices to determine when X J ( w ) is smooth for J = S \ { s } , s a leaf. Note that Kumar has given a general criterion for smoothness of Schubert varieties, and by this criterion the smoothness of Schubert varieties is independent of characteristic [Kum96].

If W is of type B n or C n , then the singular locus of X J ( w ) when J = S \{ } s , s a leaf, is well-known (see pages 138-142 of [BL00]). In type G 2 , the smooth Schubert varieties are also well-known (see the exercise on page 464 of [Kum02]). Finally, for type F 4 we use a computer program to apply Kumar's criterion to the Schubert varieties in question.

Remark 5.12. Note that we only use prior results on smoothness for the rationally smooth almost-maximal elements, which do not occur in the simply-laced case. Hence the proof of Peterson's theorem (Corollary 3.11) depends only on Theorem 5.1.

## 6. Existence of Billey-Postnikov decompositions

In this section, we prove Theorem 3.6 and Corollary 3.7. The main theorem, stated below, is an extension of Theorem 5.1, wherein we show that if X ∅ ( w ) is rationally smooth then w has a right-sided Grassmannian BP decomposition.

Theorem 6.1. Let W be a finite Weyl group. Suppose X ∅ ( w ) is rationally smooth for some w ∈ W . Then one of the following is true:

- (a) The element w is the maximal element of W S w ( ) .
- (b) There exists s ∈ S w ( ) \ D R ( w ) such that w has a right sided BP decomposition w = vu with respect to J = S \ { s } , where v is either the maximal or an almostmaximal element of W S v ( ) ∩ J S v ( ) .

Note that if w is almost-maximal (relative to J = ) then ∅ w satisfies part (b) of Theorem 6.1 by definition. The requirement that s not belong to D R ( w ) in part (2) of the theorem is critical both for the inductive proof of the theorem, and for showing that BP decompositions exist in the relative case.

We introduce some terminology for subsets of the generating set S .

Definition 6.2. A subset T ⊆ S is connected if the Dynkin diagram of W T is connected. The connected components of a subset T ⊆ S are the maximal connected subsets of T .

Definition 6.3. We say that s and t in S are adjacent if s and t are adjacent in the Dynkin diagram. We also say that s is adjacent to a subset T if s is adjacent to some t ∈ T , and that two subsets T , T 1 2 are adjacent if there is some element of T 1 adjacent to T 2 .

We use this terminology for the following lemma:

Lemma 6.4. Let w = vu be a right sided parabolic decomposition with respect to some J ⊆ S . If s ∈ S \ S v ( ) is adjacent to S v ( ) , then s / D ∈ L ( w ) .

Similarly, let w = uv be a left sided parabolic decomposition with respect to some J ⊆ S . If s ∈ S \ S v ( ) is adjacent to S v ( ) , then s / D ∈ R ( w ) .

Proof. Clearly the second statement of the lemma follows from the first by considering w -1 . We proceed by induction on the length of v . If /lscript ( v ) = 1 then the proof is obvious. Otherwise take a reduced decomposition v = v tv 1 0 , where s is adjacent to t , but not adjacent to S v ( 0 ). (Note that v 0 could be equal to the identity.) Then tv 0 ∈ W J and since s / S v ∈ ( ), we have s ∈ D L ( w ) only if s ∈ D L ( u ). Assume that s ∈ D L ( u ) and write

$$w = ( v _ { 1 } t v _ { 0 } ) ( u ) = ( v _ { 1 } t s v _ { 0 } ) ( s u ).$$

Once again, we have s ∈ D L ( w ) only if s ∈ D L ( tsv 0 ( su )). But since t and s are adjacent, we have s ∈ D L ( tsv 0 ( su )) only if t ∈ D L ( v 0 ( su )). If t / J ∈ , then t / S v ∈ ( 0 ( su )), and we are done. Otherwise, if t ∈ J , then t must be adjacent to S v ( 0 ) since tv 0 ∈ W J . But v 0 ∈ W J , so by induction, we get t / D ∈ L ( v 0 ( su )). /square

We now proceed to the proof of Theorem 6.1. The proof uses multiple reduced decompositions for the same element, so we have included certain schematic diagrams to aid the reader in keeping track of the reduced decompositions under consideration. For example,

if w = w w w 1 2 3 is a reduced decomposition with v = w w 1 2 and u = w w 2 3 , then we diagram this relation by

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0084v2-figure-d9f8b483-4528-4421-b669-e5ec3a230a80.jpg)

Proof of Theorem 6.1. We proceed by induction on | S w ( ) . | It is easy to see that the theorem is true if | S w ( ) | = 1 2. , Hence we can assume that | S w ( ) | &gt; 2. We can also assume without loss of generality that the Dynkin diagram of W S w ( ) is connected. Since w is rationally smooth, we can apply Corollary 5.10 to get that w has either a right sided BP decomposition w = vu , or a left sided BP decomposition w = uv , with respect to J = S \ { s } where s ∈ S is a leaf of the Dynkin diagram of W S w ( ) . Note that in both cases, X ∅ ( u ) is rationally smooth by Lemma 4.4. We now consider four cases, depending on whether we get a right or left BP decomposition from Corollary 5.10, and depending on whether or not u is maximal in W S u ( ) .

Case 1 : w has a right sided BP decomposition w = vu as in Corollary 5.10, where u is maximal in W S u ( ) . If s ∈ D R ( w , ) then w is the maximal element of W . Otherwise, if s / D ∈ R ( w , ) then the decomposition w = vu satisfies condition (b) in Theorem 6.1, since v is maximal or almost-maximal in W S v ( ) ∩ J S v ( ) by Corollary 5.10.

Case 2 : w has a left sided BP decomposition w = uv as in Corollary 5.10, where u is maximal in W S u ( ) , and v is either maximal or almost-maximal in S v ( ) ∩ J W S v ( ) . If S u ( ) = S v ( ) ∩ J , then w is either maximal or almost-maximal respectively, in which case we are done.

Since S w ( ) is connected, if S v ( ) ∩ J /subsetnoteql S u ( ) then we can choose s ′ ∈ S u ( ) \ S v ( ) adjacent to S v ( ). Since u is maximal in W S u ( ) , the parabolic decomposition u = v u ′ ′ with respect to J ′ := S u ( ) \{ s ′ } is a BP decomposition with v ′ is maximal in W J ′ S u ( ) . Moreover, s ′ / D ∈ R ( w ) by Lemma 6.4. Hence the decomposition w = v ′ ( u v ′ ) satisfies condition (b) in Theorem 6.1.

/negationslash

Case 3 : w has a left sided BP decomposition w = uv as in Corollary 5.10, where u is not maximal in W S u ( ) . Then by induction, we have a right BP decomposition u = v u ′ ′ with respect to J ′ := S u ( ) \ { s ′ } for some s ′ ∈ S u ( ), satisfying the conditions of Theorem 6.1. Since s ′ / D ∈ R ( u ), we must have s ′ / S v ∈ ( ) \{ } ⊆ s D R ( u ), so w = v ′ ( u v ′ ) is a parabolic decomposition, and s ′ ∈ D R ( w ). But

$$S ( v ^ { \prime } ) \cap J ^ { \prime } \subseteq D _ { L } ( u ^ { \prime } ) \subseteq D _ { L } ( u ^ { \prime } v ),$$

and thus w = v ′ ( u v ′ ) is a BP decomposition with respect to S w ( ) \ { s ′ } , by Proposition 4.2 (d). Since v ′ is either maximal or almost-maximal by the inductive hypothesis, the decomposition w = v ′ ( u v ′ ) satisfies condition (b) of Theorem 6.1.

Figure 1: w = uv in Cases 2 and 3.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0084v2-figure-ca751bac-c05e-47ca-accc-960d237f1f1a.jpg)

Case 4 : w has a right BP decomposition w = vu as in Corollary 5.10, where u is not maximal in W S u ( ) . Note that if s / D ∈ R ( w ) then condition (b) of Theorem 6.1 is satisfied immediately, and we would be done. We consider several subcases where we either prove s / D ∈ R ( w ) or we find s ′ / D ∈ R ( w ) that satisfies condition (b) of Theorem 6.1.

First, suppose that v is almost maximal in W S v ( ) ∩ J S v ( ) . Take a reduced decomposition u = u u 0 1 , where u 0 is the maximal element in W S v ( ) ∩ J . Then

S v ( ) ∩ J ⊆ D R ( vu 0 ) /subsetnoteql S v , ( )

/negationslash implying that s / D ∈ R ( vu 0 ). It follows that s ∈ D R ( w ).

Figure 2: w = vu with u not maximal and v almost maximal.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0084v2-figure-c7827422-1e98-4b2b-bc8f-42bb2a876cf6.jpg)

| w   | w   | w   |
|-----|-----|-----|
| v   |     | u   |
| v   | u 0 | u 1 |

Now assume v is maximal in W S v ( ) ∩ J S v ( ) , and apply induction to get a BP decomposition u = v u ′ ′ with respect to S u ( ) \{ s ′ } , satisfying condition (b) of Theorem 6.1. By Proposition 4.2, S v ( ) \ { s } ⊆ D L ( u ), and hence if t ∈ S v ( ) \ { s } is adjacent to S v ( ′ ), then t ∈ S v ( ′ ) by Lemma 6.4. Now since v is Grassmannian, the set S v ( ) is connected, and since s is a leaf, the set S v ( ) \ { s } is also connected. We conclude that if S v ( ) \ { s } is adjacent to S v ( ′ ), then S v ( ) \ { s } ⊆ S v ( ′ ). Furthermore s is adjacent to S v ( ) \ { s } , and hence s is adjacent to S v ( ′ ). Conversely, if S v ( ) \{ } s is non-empty and s is adjacent to some element of S v ( ′ ), then this element must be contained in S v ( ) \ { s } , since S v ( ) is connected and s is adjacent to a unique element of S w ( ). We conclude that either S v ( ) is not adjacent to S v ( ′ ), or S v ( ) \ { s } ⊆ S v ( ′ ) with s adjacent to S v ( ′ ).

In the former case, when S v ( ) is not adjacent to S v ( ′ ), the elements of S v ( ) pairwise commute with the elements of S v ( ′ ). Hence the decomposition w = v ′ ( vu ′ ) is a BP decomposition with respect to S w ( ) \ { s ′ } . The element v ′ is either maximal or almost-maximal in W S v ( ′ ) \{ s ′ } S v ( ′ ) by induction. Since s ′ / D ∈ R ( u ) and s ′ ∈ J , we conclude that s ′ / D ∈ R ( w ).

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0084v2-figure-adf0fa6f-79ba-4d3c-9bb3-f5c5324bb633.jpg)

Figure 3: w = vu with u not maximal, v maximal, and S v , S ( ) ( v ′ ) not adjacent.

This leaves the case that s is adjacent to S v ( ′ ) and S v ( ) \ { s } ⊆ S v ( ′ ). Take a reduced decomposition u ′ = u u ′ 0 ′ 1 , where u ′ 0 is maximal in W S v ( ′ ) \{ s ′ } . Suppose first that v ′ is maximal, so that v u ′ ′ 0 is maximal W S v ( ′ ) . If S v ( ) \ { s } = S v ( ′ ), then vv u ′ ′ 0 is the maximal element of W S v ( ) , and hence there is a BP decomposition vv u ′ ′ 0 = x x 1 0 , where x 1 is the maximal element of W S v ( ) \{ s ′ } S v ( ) and x 0 is the maximal element of W S v ( ) \{ s ′ } . Since s ′ / D ∈ R ( u ) and s ′ ∈ J , we have s ′ / D ∈ R ( w ), and thus w = x 1 ( x u 0 ′ 1 ) is a BP decomposition with respect to S w ( ) \ { s ′ } satisfying the condition of Theorem 6.1. If S v ( ) \ { s } is a strict subset of S v ( ′ ), then find t ∈ S v ( ′ ) such that t / S v ∈ ( ) \ { s } . Consider the parabolic

decomposition v u ′ 0 = y y 0 1 , where y 0 ∈ W S v ( ′ ) \{ } t and y 1 ∈ S v ( ′ ) \{ } t W S v ( ′ ) . Since t / S v ∈ ( ) and s is adjacent to S v ( ′ ) = S y ( 1 ), we conclude from Lemma 6.4 that s / D ∈ R ( vv u ′ ′ 0 ). Since s / S u ∈ ( ′ 1 ), we get that s / D ∈ R ( w ).

Figure 4: w = vu with u not maximal, v maximal, and S v , S ( ) ( v ′ ) adjacent.

| w       | w       | w       | w     |
|---------|---------|---------|-------|
| v       | u       | u       | u     |
| v       | v ′     | u ′     | u ′   |
| v       | v ′     | u ′ 0   | u ′ 1 |
| v       | y 0     | y 1     | u ′ 1 |
| x 1 x 0 | x 1 x 0 | x 1 x 0 | u ′ 1 |

We use a similar argument for the case that v ′ is almost-maximal in W S v ( ′ ) \{ } s S v ( ′ ) . By definition v u ′ ′ 0 is almost maximal in W S v ( ′ ) , meaning that D L ( v u ′ ′ 0 ) = S v ( ′ ) \ { } t for some t ∈ S v ( ′ ). Since s ′ / ∈ S u ( 1 ) and u ′ 0 is maximal in W S v ( ′ ) \{ s ′ } , the element u ′ 1 belongs to S v ( ′ ) W S u ( ) . Thus t does not belong to D L ( u ), since otherwise t ∈ D L ( v u ′ ′ 0 ), and we conclude that t / S v ∈ ( ). Take the unique left sided BP decomposition v u ′ ′ 0 = y y 0 1 , where y 0 is the maximal element in W D L ( v ′ ) , and y 1 ∈ S v ( ′ ) \{ } t W S v ( ′ ) . Then S y ( 1 ) = S v ( ′ ) by the definition of almost-maximal, and since s is adjacent to S y ( 1 ), we conclude from Lemma 6.4 that s / D ∈ R ( vv u ′ ′ 0 ). Consequently s / D ∈ R ( w ). /square

Using Theorem 6.1, we can prove Theorem 3.6 for relative Schubert varieties.

Proof of Theorem 3.6. Suppose X J ( w ) is rationally smooth and that | S w ( ) \ J | ≥ 2. Let w 0 be maximal in W J , so w ′ = ww 0 is the longest element of wW J . Then w ′ is rationally smooth by Lemma 4.4, so we can apply Theorem 6.1. If w ′ is maximal, then w is the maximal element in W J ∩ S w ( ) S w ( ) , and hence by choosing any s ∈ S w ( ) \ J we get a Grassmannian BP decomposition of w with respect to K = S \ { s } as required.

If w ′ is not maximal, then there exists s ∈ S w ( ) \ D R ( w ) such that w ′ has a BP decomposition w ′ = vu with respect to K = S \ { s } . Since s / ∈ D R ( w ), s must not be in J , so u has parabolic decomposition u = u w 1 0 with respect to W J , and w has parabolic decomposition w = vu 1 with respect to K . This latter decomposition is a BP decomposition by Proposition 4.2. /square

6.1. The Ryan-Wolper theorem. In this section we use our results to prove Corollary 3.7 on iterated fibre bundle structures of smooth and rationally smooth Schubert varieties. We assume that X J ( w ) is a rationally smooth Schubert variety of finite type.

Proof of Corollary 3.7. Suppose that W is a finite Weyl group, and that X J ( w ) is rationally smooth. By repeatedly applying Theorems 3.3 and 3.6, we can write

$$w = v _ { m } \cdots v _ { 1 },$$

where v i ∈ W J i -1 J i for J i := J ∪ ⋃ j ≤ i S v ( j ), and v i ( v i -1 · · · v 1 ) is a Grassmannian BP decomposition. Let w i := v m · · · v i +1 ∈ W J i , so w 0 = w and w m is the identity . By Lemma 4.3, w i = w i +1 v i +1 is a BP decomposition with respect to ( J , J i i +1 ), so the morphism

$$X ^ { J _ { i } } ( w _ { i } ) \to X ^ { J _ { i + 1 } } ( w _ { i + 1 } )$$

is a locally-trivial fibre bundle with fibre X J i ( v i +1 ). Hence the sequence

$$X ^ { J } ( w ) = X ^ { J _ { 0 } } ( w _ { 0 } ) \to X ^ { J _ { 1 } } ( w _ { 1 } ) \to \dots \to X ^ { J _ { m - 1 } } ( w _ { m - 1 } ) = X ^ { J _ { m - 1 } } ( v _ { m } ) \to \text{Spec} \, k$$

meets the required conditions in Corollary 3.7. If X J ( w ) is smooth, then by Theorem 3.3 all the fibres X J i ( v i ) are smooth, and hence so are the morphisms.

Conversely, given a locally-trivial morphism X → Y with fibre F such that the cohomology H ∗ ( Y ) of the base and the cohomology H ∗ ( F ) of the fibre are concentrated in even degrees, we can argue as in the proof of Corollary 3.5 that H ∗ ( X ) is isomorphic to H ∗ ( Y ) ⊗ H ∗ ( F ). Thus H ∗ ( X ) will be concentrated in even degrees, and if H ∗ ( Y ) and H ∗ ( F ) satisfy Poincar´ duality, then so does e H ∗ ( X ). If there is a sequence

$$X ^ { J } ( w ) = X _ { 0 } \rightarrow X _ { 1 } \rightarrow \dots \rightarrow X _ { m } = \text{Spec} \, k$$

in which all the morphisms are locally trivial, and all the fibres are rationally smooth Schubert varieties, then H ∗ ( X i ) satisfies Poincar´ duality for all e i = 0 , . . . , m . In particular, X J ( w ) will be rationally smooth by the Carrell-Peterson theorem [Car94]. /square

Only limited results are known about BP decompositions outside of finite type. Billey and Crites have shown that if X w ( ) is a rationally smooth Schubert variety of affine type ˜ , A then (a la Theorem 5.1) either w or w -1 has a BP decomposition [BC12]. Using this result, the proof of Theorem 6.1 extends to the affine setting with minor modifications, and thus the Ryan-Wolper theorem also holds in affine type ˜ . A The framework of BP decompositions also allows us to prove [BC12, Conjecture 1], that X w ( ) is smooth in affine type ˜ if and only if A w avoids (as an affine permutation) 3412 and 4231.

In [RS14], the authors show that right-sided BP decompositions exist for rationally smooth Schubert varieties in the full flag varieties of a large class of non-finite Weyl groups. Hence the Ryan-Wolper theorem also holds for Schubert varieties X ∅ ( w ) in this class via the application of Theorem 3.3. However, with the exception of ˜ , A 3 all of the Coxeter groups in this class are of indefinite type. It is an open problem to prove the existence of BP decompositions for this class when J is non-empty.

Based on this evidence, the following conjecture seems plausible:

Conjecture 6.5. If W is any Coxeter group, and w belongs to W J with P J w ( ) t palindromic, then w has a Grassmannian BP decomposition. As a result, the Ryan-Wolper theorem holds in any Kac-Moody flag variety.

## References

[BC12] Sara Billey and Andrew Crites, Pattern characterization of rationally smooth affine Schubert varieties of type A , J. Algebra 361 (2012), 107-133.

[BE09] Anders Bj¨rner and Torsten Ekedahl, o On the shape of Bruhat intervals , Ann. of Math. (2) 170 (2009), no. 2, 799-817.

[Bil98] Sara C. Billey, Pattern avoidance and rational smoothness of Schubert varieties , Adv. Math. 139 (1998), no. 1, 141-156.

[BK04] M. Brion and S. Kumar, Frobenius splitting methods in geometry and representation theory , Progress in Mathematics, Birkh¨user Boston, 2004. a

[BL00] Sara Billey and V. Lakshmibai, Singular loci of Schubert varieties , Progress in Mathematics, vol. 182, Birkh¨user Boston, Inc., Boston, MA, 2000. a

[Bor91] A. Borel, Linear algebraic groups , Graduate Texts in Mathematics, vol. 126, Springer-Verlag, 1991.

[Bou68] N. Bourbaki, ´ l´ments E e de math´ ematique. Fasc. XXXIV. Groupes et alg` ebres de Lie. Chapitre IV: Groupes de Coxeter et syst`mes de Tits. Chapitre V: Groupes engendr´s par des r´flexions. e e e Chapitre VI: syst`mes de racines e , Actualit´s Scientifiques et Industrielles, e No. 1337, Hermann, Paris, 1968.

| [BP99]   | Michel Brion and Patrick Polo, Generic singularities of certain Schubert varieties , Math. Z. 231 (1999), no. 2, 301-324.                                                                                                                                                                                        |
|----------|------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [BP05]   | Sara Billey and Alexander Postnikov, Smoothness of Schubert varieties via patterns in root sub- systems , Adv. in Appl. Math. 34 (2005), no. 3, 447-466.                                                                                                                                                         |
| [Car94]  | James B. Carrell, The Bruhat graph of a Coxeter group, a conjecture of Deodhar, and rational smoothness of Schubert varieties , Algebraic groups and their generalizations: classical methods (University Park, PA, 1991), Proc. Sympos. Pure Math., vol. 56, Amer. Math. Soc., Providence, RI, 1994, pp. 53-61. |
| [CK03]   | James B. Carrell and Jochen Kuttler, Smooth points of T -stable varieties in G/B and the Peterson map , Invent. Math. 151 (2003), no. 2, 353-379.                                                                                                                                                                |
| [Dye]    | Matt Dyer, Rank two detection of singularities of Schubert varieties , preprint.                                                                                                                                                                                                                                 |
| [EW14]   | Ben Elias and Goerdie Williamson, The Hodge theory of Soergel bimodules , Annals of Mathematics 180 (2014), no. 3, 1089-1136.                                                                                                                                                                                    |
| [Gas98]  | Vesselin Gasharov, Factoring the Poincar´ e polynomials for the Bruhat order on S n , J. Combin. Theory Ser. A 83 (1998), no. 1, 159-164.                                                                                                                                                                        |
| [HM13]   | Jaehyun Hong and Ngaiming Mok, Characterization of smooth Schubert varieties in rational ho- mogeneous manifolds of Picard number 1 , Journal of Algebraic Geometry 22 (2013), 333-362.                                                                                                                          |
| [JW14]   | Daniel Juteau and Geordie Williamson, Kumar's criterion modulo p , Duke Math. J. 163 (2014), no. 14, 2617-2638.                                                                                                                                                                                                  |
| [Kum96]  | Shrawan Kumar, The nil Hecke ring and singularity of Schubert varieties , Invent. Math. 123 (1996), no. 3, 471-506.                                                                                                                                                                                              |
| [Kum02]  | , Kac-Moody groups, their flag varieties and representation theory , Progress in Mathemat- ics, vol. 204, Birkh¨user a Boston Inc., Boston, MA, 2002.                                                                                                                                                            |
| [Las98]  | Alain Lascoux, Ordonner le groupe sym´trique: e pourquoi utiliser l'alg`bre e de Iwahori-Hecke? , Documenta Mathematica Extra Volume ICM III (1998), 355-364.                                                                                                                                                    |
| [LS90]   | V. Lakshmibai and B. Sandhya, Criterion for smoothness of Schubert varieties in Sl( n ) /B , Proc. Indian Acad. Sci. Math. Sci. 100 (1990), no. 1, 45-52.                                                                                                                                                        |
| [LW90]   | V. Lakshmibai and J. Weyman, Multiplicities of points on a Schubert variety in a minuscule G/P , Adv. Math. 84 (1990), no. 2, 179-208.                                                                                                                                                                           |
| [Mih07]  | Ion Alexandru Mihai, Odd symplectic flag manifolds , Transformation Groups 12 (2007), no. 3, 573-599.                                                                                                                                                                                                            |
| [OY10]   | Suho Oh and Hwanchul Yoo, Bruhat order, rationally smooth Schubert varieties, and hyperplane arrangements , DMTCS Proceedings FPSAC (2010).                                                                                                                                                                      |
| [Rob14]  | C. Robles, Singular loci of cominuscule Schubert varieties , Journal of Pure and Applied Algebra 218 (2014), no. 4, 745-759.                                                                                                                                                                                     |
| [RS14]   | Edward Richmond and William Slofstra, Rationally smooth elements of Coxeter groups and tri- angle group avoidance , J. Algebraic Combin. 39 (2014), no. 3, 659-681.                                                                                                                                              |
| [Rya87]  | Kevin M. Ryan, On Schubert varieties in the flag manifold of Sl( n, C ), Mathematische Annalen 276 (1987), no. 2, 205-224.                                                                                                                                                                                       |
| [Tam94]  | G¨nter u Tamme, Introduction to ´tale e cohomology , Universitext, Springer-Verlag, Berlin, 1994, Translated from the German by Manfred Kolster.                                                                                                                                                                 |
| [vdH74]  | A van den Hombergh, About the automorphisms of the bruhat-ordering in a coxeter group , Inda- gationes Mathematicae (Proceedings) 77 (1974), no. 2, 125-131.                                                                                                                                                     |
| [Wol89]  | James S Wolper, A combinatorial approach to the singularities of Schubert varieties , Advances in Mathematics 76 (1989), no. 2, 184-193.                                                                                                                                                                         |

E-mail address : edward.richmond@okstate.edu

E-mail address : weslofst@uwaterloo.ca
Edward Richmond William Slofstra
Billey-Postnikov decompositions and the fibre bundle structure of Schubert varieties
A theorem of Ryan and Wolper states that a type A Schubert variety is smooth
if and only if it is an iterated fibre bundle of Grassmannians. We extend this
theorem to arbitrary finite type, showing that a Schubert variety in a
generalized flag variety is rationally smooth if and only if it is an iterated
fibre bundle of rationally smooth Grassmannian Schubert varieties. The proof
depends on deep combinatorial results of Billey-Postnikov on Weyl groups. We
determine all smooth and rationally smooth Grassmannian Schubert varieties, and
give a new proof of Peterson's theorem that all simply-laced rationally smooth
Schubert varieties are smooth. Taken together, our results give a fairly
complete geometric description of smooth and rationally smooth Schubert
varieties using primarily combinatorial methods.