7
$\begingroup$

Let $(W, S)$ be a Coxeter system, and let $T = \bigcup_{w \in W, s \in S} wsw^{-1}$. Associated to every element $t \in T$ is a unique positive root $\alpha_t \in \Phi^{+}$ considered as a vector in the standard geometric representation $V$ of $W$. A total order on $T$ is a reflection order if, whenever $\alpha_{t_1} < \alpha_{t_2}$, it follows that $\alpha_{t_1} < x \alpha_{t_1} + y \alpha_{t_2} < \alpha_{t_2}$ whenever the middle term is a positive root with $x > 0, y > 0$. (See, for example, Bjorner and Brenti's book.)

Fix a reflection order and let $[u, v]$ be a Bruhat interval. A maximal chain $u = w_0 \to w_1 \to ... \to w_m = v$ in the Bruhat order is what I'll call monotonic if $w_i w_{i-1}^{-1} > w_{i+1} w_i^{-1}$ in the reflection order.

There is a nonrecursive formula for the Kazhdan-Lusztig polynomials $P_{u,v}(q)$ which implies that $P_{u,v}(0)$ is equal to the number of monotonic maximal chains in $[u, v]$. This number is known by other means to be equal to $1$, so I know that there is a unique monotonic maximal chain; however, I can't prove this directly. So far all I've been able to do is use the greedy algorithm to prove that at least one monotonic maximal chain exists.

Does anyone have a direct proof of this fact?

Edit: No progress, but now I have a more general conjecture which I no longer know by other means is true. Fix a sequence $a_1, ... a_m$ of odd positive integers such that $\sum_i a_i = \ell(v) - \ell(u)$. Then there exists at most one monotonic chain (not necessarily maximal) such that $w_i w_{i-1}^{-1} \in T$ and such that $\ell(w_{i-1}) - \ell(w_i) = a_i$.

$\endgroup$
3
  • $\begingroup$ Is "monotonic" a standard term? It would seem more logical to call it "convex". $\endgroup$ Commented Jul 14, 2010 at 1:14
  • $\begingroup$ Victor, maybe that would be true if the reflection order was inherited from an order on the vertices, but it's not. I am thinking here of plotting the sequence w_i w_{i-1}^{_1}, not of plotting the sequence w_i. $\endgroup$ Commented Jul 14, 2010 at 1:46
  • $\begingroup$ Hmm. The original question more or less follows from Theorems 5.3.4 and 5.3.7 in Bjorner and Brenti. But I would still be interested in a proof or a counterexample to the conjecture. $\endgroup$ Commented Jul 19, 2010 at 3:02

1 Answer 1

6
$\begingroup$

Hi, you may want to try to peruse these two papers:

Dyer, M. J. Hecke algebras and shellings of Bruhat intervals. Compositio Math. 89 (1993), no. 1, 91--115.

Dyer, M. J. Hecke algebras and shellings of Bruhat intervals. II. Twisted Bruhat orders. Kazhdan-Lusztig theory and related topics (Chicago, IL, 1989), 141--165, Contemp. Math., 139, Amer. Math. Soc., Providence, RI, 1992.

Dyer proves that Bruhat intervals are EL-shellable, and this gives the answer to your first question. As to your more general question, there may be answers to those as well (indirectly of course).

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .