# Bruhat order, rationally smooth Schubert varieties, and hyperplane arrangements

Suho Oh¹†and Hwanchul Yoo

Department of Mathematics, Massachusetts Institute of Technology, 77 Massachusetts Ave, Cambridge, MA 02139

**Abstract.** We link Schubert varieties in the generalized flag manifolds with hyperplane arrangements. For an element of a Weyl group, we construct a certain graphical hyperplane arrangement. We show that the generating function for regions of this arrangement coincides with the Poincaré polynomial of the corresponding Schubert variety if and only if the Schubert variety is rationally smooth.

**Résumé.** Nous relions des variétés de Schubert dans le variété flag généralisée avec des arrangements des hyperplans. Pour un élément dún groupe de Weyl, nous construisons un certain arrangement graphique des hyperplans. Nous montrons que la fonction génératrice pour les régions de cet arrangement coincide avec le polynome de Poincaré de la variété de Schubert correspondante si et seulement si la variété de Schubert est rationnellement lisse.

**Keywords:** Bruhat order, Schubert Variety, Rational Smoothness, Palidromic, Hyperplanes, Coxeter arrangement

## 1 Introduction

For an element of a Weyl group $w \in W$, let $P_w(q) := \sum_{u \le w} q^{l(u)}$, where the sum is over all elements $u \in W$ below $w$ in the (strong) Bruhat order. Geometrically, the polynomial $P_w(q)$ is the Poincaré polynomial of the Schubert variety $X_w = BwB/B$ in the flag manifold $G/B$.

The inversion hyperplane arrangement $A_w$ is defined as the collection of hyperplanes corresponding to all inversions of $w$. Let $R_w(q) := \sum_r q^{d(r_0, r)}$ be the generating function that counts regions $r$ of the arrangement $A_w$ according to the distance $d(r_0, r)$ from the fixed initial region $r_0$.

The main result of the paper is the claim that $P_w(q) = R_w(q)$ if and only if the Schubert variety $X_w$ is rationally smooth. We have previously given an elementary combinatorial proof for Type A case of this problem in Oh et al. (2008).

According to the criterion of Peterson and Carrell (1994), the Schubert variety $X_w$ is rationally smooth if and only if the Poincaré polynomial $P_w(q)$ is palindromic, that is, $P_w(q) = q^{l(w)} P_w(q^{-1})$. If $w$ is not rationally smooth then the polynomial $P_w(q)$ is not palindromic, but the polynomial $R_w(q)$ is always palindromic. So $P_w(q) \neq R_w(q)$ in this case. Hence it is enough to show that $P_w(q) = R_w(q)$ when $w$ is rationally smooth. Our proof is purely combinatorial, combining basics of Weyl groups with a result from Billey and Postnikov (2005).

<footnote>†S.O. was supported in part by Samsung Scholarship.</footnote>
## 2 Rational smoothness of Schubert varieties and Inversion hyperplane arrangement

In this section we will explain how rational smoothness can be expressed by conditions on the lower Bruhat interval. We will also define the Inversion hyperplane arrangement. In this paper, unless stated otherwise, we refer to the strong Bruhat order.

Let $G$ be a semisimple simply-connected complex Lie group, $B$ a Borel subgroup and $\mathfrak{h}$ the corresponding Cartan subalgebra. Let $W$ be the corresponding Weyl group, $\Delta \subset \mathfrak{h}^*$ be the set of roots and $\Pi \subset \Delta$ be the set of simple roots. The choice of simple roots determines the set of positive roots. We will write $\alpha > 0$ for $\alpha \in \Delta$ being a positive root. Following the conventions of Björner and Brenti (2005), let $S$ be the set of simple reflections and $T := \{wsw^{-1} : s \in S, w \in W\}$ be the set of reflections. Set $\Pi = \{\alpha_1, \dots, \alpha_n\}$, $S = \{s_1, \dots, s_n\}$ and index them properly so that $s_i$ and $\alpha_i$ corresponds to the same node of the Dynkin diagram for $1 \le i \le n$. Then there is a bijection between $T$ and $\Delta$ by matching $ws_iw^{-1}$ with $w(\alpha_i)$. Then $ws_iw^{-1}$ is exactly the reflection that reflects by the hyperplane corresponding to the root $w(\alpha_i)$.

We have the following definitions as in Björner and Brenti (2005):

$$T_L(w) := \{t \in T : \ell(tw) < \ell(w)\},$$

$$T_R(w) := \{t \in T : \ell(wt) < \ell(w)\},$$

$$D_L(w) := T_L(w) \cap S,$$

$$D_R(w) := T_R(w) \cap S.$$

They are called the left(right) **associated reflections** of $w$ and left(right) **descent set** of $w$. In this paper, we concentrate on lower Bruhat intervals in $W$, $[\text{id}, w] := \{u \in S_n \mid u \le w\}$. They are related to Schubert varieties $X_w = \overline{BwB/B}$ inside the generalized flag manifold $G/B$. The Poincaré polynomial of the Schubert variety $X_w$ is the rank generating function for the interval $[\text{id}, w]$, e.g., see Billey et al. (2000):

$$P_w(q) = \sum_{u \le w} q^{\ell(u)}.$$

For convenience, we will say that $P_w(q)$ is the Poincaré polynomial of $w$. And we will say that $w$ is rationally smooth if $X_w$ is rationally smooth. Due to Carrell and Peterson, one can check whether the rational locus of a Schubert variety is smooth or not by studying $P_w(q)$. Let us denote a polynomial $f(q) = a_0 + a_1 q + \dots + a_d q^d$ as palindromic if $f(q) = q^d f(q^{-1})$, i.e., $a_i = a_{d-i}$ for $i = 0, \dots, d$.

**Theorem 1** (Carrell-Peterson Carrell (1994), see also (Billey et al., 2000, Sect. 6.2)) For any element of a Weyl group $w \in W$, the Schubert variety $X_w$ is rationally smooth if and only if the Poincaré polynomial $P_w(q)$ is palindromic.

For each $w \in W$, we will be comparing this polynomial $P_w(q)$ with another polynomial, that comes from an associated hyperplane arrangement. To assign a hyperplane arrangement to each $w \in W$, we first need the definition of the inversion set of $w$. The inversion set $\Delta_w$ of $w$ is defined as the following:

$$\Delta_w := \{\alpha | \alpha \in \Delta, \alpha > 0, w(\alpha) < 0\}.$$
For type A case, this gives the usual definition of an inversion set for permutations. Let us define the arrangement $\mathcal{A}_w$ as the collection of hyperplanes $\alpha(x) = 0$ for all roots $\alpha \in \Delta_w$. Let $r_0$ be the fundamental chamber of $\mathcal{A}_w$, the chamber that contains the points satisfying $\alpha(x) > 0$ for all $\alpha \in \Delta_w$. Then we can define a polynomial from this $\mathcal{A}_w$:

$$R_w(q) := \sum_r q^{d(r_0, r)},$$

where the sum is over all chambers of the arrangement $\mathcal{A}_w$ and $d(r_0, r)$ is the number of hyperplanes separating $r_0$ and $r$. Our goal in this paper is to show that $R_w(q) = P_w(q)$ whenever $P_w(q)$ is palindromic.

**Remark 2** We have $P_w(q) = P_{w^{-1}}(q)$ and $R_w(q) = R_{w^{-1}}(q)$ by definition. Whenever we use this fact, we will call this the **duality** of $P_w(q)$ and $R_w(q)$.

Given an arrangement $\mathcal{A}_w$ and its subarrangement $\mathcal{A}'$, let $c$ be a chamber of $\mathcal{A}'$. Then a **chamber graph** of $c$ with respect to $\mathcal{A}_w$ is defined as a directed graph $G = (V, E)$ where

* The vertex set $V$ consists of vertices representing each chambers of $\mathcal{A}_w$ contained in $c$,

* we have an edge directed from vertex representing chamber $c_1$ to a vertex representing chamber $c_2$ if $c_1$ and $c_2$ are adjacent and $d(r_0, c_1) + 1 = d(r_0, c_2)$.

We will say that $\mathcal{A}_w$ is **uniform** with respect to $\mathcal{A}'$ if for all chambers of $\mathcal{A}'$, chamber graphs with respect to $\mathcal{A}_w$ are isomorphic. One can easily see that if $\mathcal{A}_u$ is a subarrangement of $\mathcal{A}_w$ and $\mathcal{A}_w$ is uniform with respect to $\mathcal{A}_u$, then $R_w(q)$ is divided by $R_u(q)$.

## 3 Parabolic Decomposition

In this section, we introduce a theorem of Billey and Postnikov (2005) regarding parabolic decomposition that will serve as a key tool in our proof. Let's first recall the definition of the parabolic decomposition. Given a Weyl group $W$, fix a subset $J$ of simple roots. Denote $W_J$ to be the parabolic subgroup generated by simple reflections of $J$. Let $W^J$ be the set of minimal length coset representatives of $W_J \setminus W$. Then it is a well-known fact that every $w \in W$ has a unique parabolic decomposition $w = uv$ where $u \in W_J, v \in W^J$ and $\ell(w) = \ell(u) + \ell(v)$.

**Lemma 3** (van den Hombergh (1974)) For any $w \in W$ and subset $J$ of simple roots, $W_J$ has a unique maximal element below $w$.

We will denote the maximal element of $W_J$ below $w$ as $m(w, J)$.

**Theorem 4** (Billey and Postnikov (2005)) Let $J$ be any subset of simple roots. Assume $w \in W$ has parabolic decomposition $w = uv$ with $u \in W_J$ and $v \in W^J$ and furthermore, $u = m(w, J)$. Then

$$P_w(t) = P_u(t) P_v^{W^J}(t)$$

where $P_v^{W^J} = \sum_{z \in W^J, z \le v} t^{\ell(z)}$ is the Poincaré polynomial for $v$ in the quotient.

This decomposition is very useful in the sense that it allows us to factor the Poincaré polynomials. We will say that $J = \Pi \setminus \{\alpha\}$ is **leaf-removed** if $\alpha$ corresponds to a leaf in the Dynkin diagram of $\Pi$.

The following theorem of Billey and Postnikov (2005) tells us that we only need to look at maximal leaf-removed parabolic subgroups for our purpose.
**Theorem 5** (Billey and Postnikov (2005)) Let $w \in W$ be a rationally smooth element. Then there exists a maximal proper subset $J = \Pi \setminus \{\alpha\}$ of simple roots, such that

1. we have a decomposition of $w$ or $w^{-1}$ as in Theorem 4,

2. $\alpha$ corresponds to a leaf in the Dynkin diagram of $W$.

We will call the parabolic decompositions that satisfies the conditions of the above theorem as **BP-decompositions**. For Weyl groups of type A,B and D, there is a stronger result by Billey:

**Lemma 6** (Billey (1998)) Let $W$ be a Weyl group of type A,B or D. Let $w \in W$ be a rationally smooth element. If $w$ is not the longest element of $W$, then there exists a BP-decomposition of $w$ or $w^{-1}$ with respect to $J$ such that $P^J(v)$ is of the form $q^l + q^{l-1} + \cdots + q + 1$, where $l$ is the length of $v$.

If $v$ satisfies the conditions of the above lemma, we will say that $v$ is a **chain element** of $W^J$. Using the fact that Dynkin diagrams of type A or D are simply-laced, it is easy to deduce the following result from the above lemma.

**Corollary 7** Let $W$ be a Weyl group of type A or D. If $w \in W$ is rationally smooth then there exists a BP-decomposition of $w$ or $w^{-1}$ with respect to $J = \Pi \setminus \{\alpha\}$ such that $v$ is the longest element of $W_I^{I \cap J}$ for some $I \subset \Pi$ containing $\alpha$.

Using computers, we have found a nice property of palindromic intervals in maximal parabolic quotient groups of type E.

**Proposition 8** Let $W$ be a Weyl group of type A,D and E and let $J = \Pi \setminus \{\alpha\}$, where $\alpha$ corresponds to a leaf in the Dynkin diagram. Then, $v$ has palindromic lower interval in $W^J$ if and only if there exists a subset $I$ of $\Pi$ containing $\alpha$ such that $v$ is the longest element in $W_I^{I \cap J}$.

Let's look at an example. Choose $D_6$ to be our choice of Weyl group and label the simple roots $\Pi = \{\alpha_1, \dots, \alpha_6\}$ so that the labels match the corresponding nodes in the Dynkin diagram 1. If we set $J = \Pi \setminus \{\alpha_1\}$, then the list of $v \in W^J$ such that the lower interval in $W^J$ being palindromic is:

$$id, s_1, s_1s_2, s_1s_2s_3, s_1s_2s_3s_4, s_1s_2s_3s_4s_5, s_1s_2s_3s_4s_6, s_1s_2s_3s_4s_5s_6s_4s_3s_2s_1.$$

Each of them are the longest elements of $W_I^{I \cap J}$, where $I$ is the set of simple reflections appearing in $v$. One can see that the set of nodes $I$ is connected inside the Dynkin diagram of $D_6$.

<figure><img src="image_1.png" /><figcaption>**Fig. 1:** Dynkin diagram of $D_6$</figcaption></figure>

Now we will study how $R_w(q)$ behaves with respect to the BP-decomposition. Using the notations of Proposition 8, our first step is to prove that every reflection formed by simple reflections in $I \cap J$ is in $T_R(u)$. We need the following lemma to prove it:
**Lemma 9** Let $w \in W$ be a rationally smooth element and $w = uv$ be a BP-decomposition. Then every simple reflection in $J$ appearing in the reduced word of $v$ is a right descent of $u$.

**Proof:** Multiplying $t \in T_L(w)$ to $w$ corresponds to deleting one simple reflection in a certain reduced word of $w$. If we delete every simple reflection appearing in $v$ but one in $J$, then the resulting element is in $W_J$ and is below $w$. Hence by maximality of $u$, it is below $u$. $\square$

Actually, we can state much more about $u$ in terms of simple reflections of $J$ appearing in $v$.

**Lemma 10** Let $w = uv$ be a BP-decomposition with respect to $J$. Let $I$ be the subset of $\Pi$ that appears in the reduced word of $v$. Then every reflection formed by simple reflections in $I \cap J$ is a right inversion reflection of $u$. In fact, there is a minimal length decomposition $u = u'u_{I \cap J}$ where $u_{I \cap J}$ is the longest element of $W_{I \cap J}$.

**Proof:** Take the parabolic decomposition of $u$ under the right quotient by $W_{I \cap J}$. Say, $u = u'u_{I \cap J}$. Then $u'$ is the minimal length representative of $u$ in $W/W_{I \cap J}$. For any simple reflection $s \in I \cap J$, the minimal length representative of $us$ in $W/W_{I \cap J}$ is still $u'$, hence the parabolic decomposition of $us$ is $us = u'(u_{I \cap J}s)$. Since $s$ is a right descent of $u$ by Lemma 9, $s$ is a right descent of $u_{I \cap J}$. Therefore $u_{I \cap J}$ is the longest element in $W_{I \cap J}$. The rest follows from this. $\square$

The above lemma tells us that for each rationally smooth $w \in W$, we can decompose $w$ or $w^{-1}$ to $u'u_{I \cap J}v$ where $uv$ is the BP-decomposition with respect to $J$, $u = u'u_{I \cap J}$ and $u_{I \cap J}$ is the longest element of $W_{I \cap J}$. Recall that we denote by $\Delta_w$ the inversion set of $w \in W$. For $I \subset \Pi$, we will denote $\Delta_I$ the set of roots of $W_I$. We have a decomposition

$$ \Delta_w = \Delta_{u'} \sqcup u' \Delta_{u_{I \cap J}} u'^{-1} \sqcup u \Delta_v u^{-1}. $$

One can see that $\Delta_{u_{I \cap J}} = \Delta_{I \cap J}$ and $\Delta_v \subseteq \Delta_I \setminus \Delta_{I \cap J}$. And this tells us that $u' \Delta_{u_{I \cap J}} u'^{-1} = u \Delta_{I \cap J} u^{-1}$. By duality, let's assume we have decomposed some rationally smooth $w$ as above. Let $A_1, A_0, A_2$ denote the hyperplane arrangement coming from $u^{-1} \Delta_{u'} u, \Delta_{I \cap J}, \Delta_v$. We can study $\mathcal{A} := A_1 \sqcup A_0 \sqcup A_2$ instead of looking at $A_w$.

**Lemma 11** Let $c$ be some chamber inside $A_1 \sqcup A_0$. Let $c'$ be the chamber of $A_0$ that contains $c$. Then the chamber graph of $c$ with respect to $\mathcal{A}$ is isomorphic to the chamber graph of $c'$ with respect to $A_0 \sqcup A_2$.

**Proof:** Let $c_1$ and $c_2$ be two different chambers of $\mathcal{A}$ contained in $c$. They are separated by a hyperplane in $A_2$. Let $c'_1(c'_2)$ be the chamber of $A_0 \sqcup A_2$ that contains $c_1(c_2)$. $c'_1$ and $c'_2$ are different chambers since they are separated by the hyperplane that separates $c_1$ and $c_2$. If $c_1$ and $c_2$ are adjacent, then $c'_1$ and $c'_2$ are adjacent. If $c'_1$ and $c'_2$ are adjacent but $c_1$ and $c_2$ are not, that means there is a hyperplane of $A_1$ that separates $c_1$ and $c_2$. But that contradicts the fact that $c_1$ and $c_2$ are both contained in the same chamber of $A_1 \sqcup A_0$. So $c_1$ and $c_2$ are adjacent if and only if $c'_1$ and $c'_2$ are. From the fact that the distance from the fundamental chamber is equal to the number of hyperplanes that separate the chamber from the fundamental chamber, we see that the direction of the corresponding edges in the chamber graphs are the same.

Hence it is enough to show that the number of chambers of $\mathcal{A}$ in $c$ equals number of chambers of $A_0 \sqcup A_2$ in $c'$. And this follows from showing that any chamber of $A_0 \sqcup A_2$ shares a common interior
point with a chamber of $\mathcal{A}_0 \sqcup \mathcal{A}_1$ as long as they are contained in the same chamber of $\mathcal{A}_0$. To show this, we may include additional hyperplanes to $\mathcal{A}_1$ and $\mathcal{A}_2$. So let $\mathcal{A}_2$ be the hyperplane arrangement of $\Delta_I \setminus \Delta_{I \cap J}$ and $\mathcal{A}_1$ hyperplane arrangement of $\Delta \setminus \Delta_I$. Now $\mathcal{A}$ is just the Coxeter arrangement of $W$, and each chamber of $\mathcal{A}$ is indexed by $w \in W$.

We have a parabolic decomposition of $W$ by $W_{I \cap J} W_{I \cap J}^I W^I$. Fixing a chamber $c$ of $\mathcal{A}_0$ corresponds to fixing an element of $W_{I \cap J}$. In $c$, fixing a chamber $x(y)$ of $\mathcal{A}_0 \sqcup \mathcal{A}_2(\mathcal{A}_0 \sqcup \mathcal{A}_1)$ corresponds to fixing an element of $W_{I \cap J}^I(W^I)$. So given any such chamber $x$ and $y$, we can find a chamber of $\mathcal{A}$ contained in them. This concludes the argument. $\square$

**Corollary 12** In the above decomposition, if $\mathcal{A}_{w'}$ is uniform with respect to $\mathcal{A}_u$ and $v$ is the longest element of $W_I^J$, then $R_u(q) = P_u(q)$ implies $R_w(q) = P_w(q)$.

**Proof:** If $v$ is the longest element of $W_I^J$, then $w' := u_{I \cap J} v$ is the longest element of $W_I$. Then it is obvious that $\mathcal{A}_{w'}$ is uniform with respect to $\mathcal{A}_u$. Now it follows from above lemma that $R_w(q)/R_u(q) = R_{u_{I \cap J} v}(q)/R_{u_{I \cap J}}(q)$. Since we also know that the right hand side equals $P_v^{W_J^J}(q)$, $R_u(q) = P_u(q)$ implies $R_w(q) = P_w(q)$. $\square$

In the next section, we will use the above lemma and corollary to prove the main theorem for type A,B,D and E.

# 4 The main Proof

In this section, we prove the main theorem. Type G case is trivial and omitted, type F case is done with a computer and is omitted in this extended abstract. For type A,D and E, the proof is very easy using Proposition 8 and Corollary 12.

**Proposition 13** Let $W$ be a Weyl group of type A,D or E. Let $w$ be a rationally smooth element. Then $R_w(q) = P_w(q)$.

**Proof:** Decompose $w$ or $w^{-1}$ as in the remark preceding Lemma 11. By applying Proposition 8, we see that $v$ is the longest element of $W_I^J$. Now we can apply Corollary 12. So we can replace $w$ with some rationally smooth $u$ that is contained in some Weyl group of type A,D or E with strictly smaller rank. Now the result follows from an obvious induction argument. $\square$

For type B, we will use Lemma 6 and Lemma 11. Let's denote $\Pi = \{\alpha_0 = x_1, \alpha_1 = x_2 - x_1, \dots, \alpha_n = x_{n+1} - x_n\}$. We will be studying $W^{\Pi \setminus \{\alpha_0\}}$ and $W^{\Pi \setminus \{\alpha_n\}}$. In both of them, if in the reduced word of $v$ there is an adjacent commuting letters, then $v$ is not a chain element. So when $J = \Pi \setminus \{\alpha_0\}$, the chain elements are

$$id, s_0, s_0 s_1, s_0 s_1 s_2, \dots, s_0 s_1 \dots s_n, s_0 s_1 s_0.$$

And when $J = \Pi \setminus \{\alpha_n\}$, the chain elements are

$$id, s_n, s_n s_{n-1}, \dots, s_n s_{n-1} \dots s_1 s_0, s_n s_{n-1} \dots s_1 s_0 s_1, \dots, s_n s_{n-1} \dots s_1 s_0 s_1 \dots s_{n-1} s_n.$$

**Proposition 14** Let $W$ be a Weyl group of type B. Let $w$ be a rationally smooth element. Then $R_w(q) = P_w(q)$.
**Proof:** By Lemma 6, we may assume $w$ or $w^{-1}$ decomposes to $uv$ where $u \in W_J$, $v \in W^J$, $J$ is leaf-removed and $v$ is a chain-element. Let's first show that when $u$ is the longest element of $W_J$, then $A_u$ is uniform with respect to $A_u$ and $R_w(q) = P_w(q)$. Instead of looking at hyperplane arrangement coming from $\Delta_w = \Delta_u \sqcup u\Delta_v u^{-1}$, we can look at the hyperplane arrangement coming from $u^{-1}\Delta_w u = \Delta_u \sqcup \Delta_v$. So $A_u$ consists of hyperplanes coming from $\Delta_u$ and $A_v$ consists of hyperplanes coming from $\Delta_v$.

When $J = \Pi \setminus \{\alpha_0\}$, we have $\Delta_v \subset \{x_1, \dots, x_n\}$ and $|\Delta_v| = l(v)$. Choosing a chamber in $A_u$ is equivalent to giving a total ordering on $\{x_1, \dots, x_n\}$. Choosing a chamber in $A_v$ is equivalent to assigning signs to roots of $\Delta_v$. Given any total ordering on $\{x_1, \dots, x_n\}$, there is a unique way to assign $t$ number of +'s and $|v| - t$ number of -'s to $\Delta_v$ so that it is compatible with the total order on $\Delta_v$. This tells us that $A_u$ is uniform with respect to $A_u$ and $R_w(q) = R_u(q)(1+q+\cdots+q^{|v|}) = R_u(q)P_v^{W^J}(q)$. When $J = \Pi \setminus \{\alpha_n\}$, the proof is pretty much similar and is omitted.

Now let's return to the general case. Using Lemma 11 and above argument, we can replace $w$ with some rationally smooth $u$ that is contained in some Weyl group of type A or B with strictly smaller rank. Then the result follows from an obvious induction argument. $\square$

# 5 Further remarks

As in Oh et al. (2008), our proof of the main theorem is based on a recurrence relation. It would be interesting to give a proof based on a bijection between elements of $[id, w]$ and regions of $A_w$.

The statement of our main theorem can be extended to Coxeter groups. Although we don't have Schu-
bert varieties for Coxeter groups, the Poincaré polynomial $P_w(q)$ can still be defined as the rank generating
function of the interval $[id, w]$.

**Conjecture 15** Let W be any Coxeter group. Then $[id, w]$ is palindromic if and only if $P_w(q) = R_w(q)$.

Our proof for the Weyl group case relied heavily on Theorem 5 and Proposition 8. Described a bit roughly, the former helps us to find the recurrence for $P_w(q)$ and the latter helps us to find the recurrence for $R_w(q)$. So the key would be to extending these two statements. For Proposition 8, it is easy to see that one direction holds for all Weyl groups. We give a slightly weakened statement that seems to hold for all Weyl groups.

**Conjecture 16** Let W be a Weyl group and let J be a maximal proper subset of the simple roots. Then, v has palindromic lower interval in W^J if and only if the interval is isomorphic to a maximal parabolic quotient of some Weyl group.

Let's look at an example for the above conjecture. Choose $F_4$ to be our choice of Weyl group and label the simple roots $\Pi = \{\alpha_1, \dots, \alpha_4\}$ so that the labels match the corresponding nodes in the Dynkin diagram 2. If we set $J = \Pi \setminus \{\alpha_4\}$, then the list of $v \in W^J$ such that the lower interval in $W^J$ being palindromic is:

$$ \text{id}, s_4, s_4s_3, s_4s_3s_2, s_4s_3s_2s_1, s_4s_3s_2s_3, s_4s_3s_2s_3s_4, s_4s_3s_2s_3s_1s_2s_3s_4s_3s_2s_3s_1s_2s_3s_4. $$

Those that do not correspond to longest elements of $W_I^{I \cap J}$ for some $I \subset \Pi$ are $s_4s_3s_2, s_4s_3s_2s_3$ and $s_4s_3s_2s_1$. But in these cases, hasse diagram of $[id, v]$ in $W^J$ is a chain. So we can say that $[id, v]$ in $W^J$ is isomorphic to a maximal parabolic quotient of a Weyl group of type A in these cases.
<figure><img src="image_2.png" /><figcaption>Fig. 2: Dynkin diagram of $F_4$</figcaption></figure>

One nice property that $R_w(q)$ has is that it is always palindromic regardless of the rational smoothness of $w$. And this is a property that intersection homology Poncaré polynomial $IP_w(q)$ also has.
So it would be interesting to compare these two polynomials.

## Acknowledgements

We would like to thank Alexander Postnikov and Sara Billey for useful remarks.

## References

S. C. Billey. Pattern avoidance and rational smoothness of schubert varieties. *Adv. Math*, 139:141–156, 1998.

S. C. Billey and A. Postnikov. Smoothness of schubert varieties via patterns in root subsystems. *Advances in Applied Mathematics*, 34:447–466, 2005.

S. C. Billey, and V. Lakshmibai. *Singular Loci of Schubert Varieties*. Birkhäuser, 2000.

A. Björner and F. Brenti. *Combinatorics of Coxeter Groups*. Springer, 2005.

J. B. Carrell. The bruhat graph of a coxeter group, a conjecture of deodhar, and rational smoothness of schubert varieties. *Proceedings of Symposia in Pure Math*, 56:53–61, 1994.

S. Oh, A. Postnikov, and H. Yoo. Bruhat order, smooth schubert varieties, and hyperplane arrangement. *J.Combin.Theory Ser.A*, 115:1156–1166, 2008.

A. van den Hombergh. About the automorphisms of the bruhat-ordering in a coxeter group. *Indag. math*, 36:125–131, 1974.