Questions tagged [bruhat-order]
The bruhat-order tag has no usage guidance.
32
questions
1
vote
0
answers
71
views
Decomposition of $BwBw^{-1}B$
Let $(B,N,W,S)$ be a Tits system with $W$ a finite coxeter group.
Let $w\in W$, consider $BwBw^{-1}B$, then by Bruhat decomposition, it is a disjoint union of some $BxB$, $x\in W$.
My question: Let $X\...
- 571
1
vote
0
answers
195
views
Visualizing the affine Bruhat decomposition for $\operatorname{SL}_2$
$
\newcommand\Fl{\mathcal{F}\!\ell}
\newcommand\numC{\mathbb{C}}
\newcommand\numZ{\mathbb{Z}}
\newcommand\ringO{\mathbb{O}}
\newcommand\ringK{\mathbb{K}}
\newcommand\power{\...
- 295
2
votes
0
answers
249
views
Geometric or combinatorial interpretations of the (weak) Bruhat order?
$\DeclareMathOperator\Inv{Inv}$The weak Bruhat order on the symmetric group has a straightforward combinatorial interpretation: Consider a set of labelled balls $1,2,\dotsc,n$. Then for two ...
- 222
4
votes
0
answers
77
views
Parabolic Bruhat graphs for exceptional types
I am looking for some computer software or a reference for some parabolic Bruhat graphs. In particular, what I really need $E_8 \setminus E_7$. Does anyone know where or how I'd find this?
- 1,413
2
votes
0
answers
73
views
On $\Psi$-generating paths in the Bruhat order of a Weyl group
Let $W$ be a Weyl group with roots $R$ and positive roots $R^+$. Let $v\in W$ of length $r$. We call $\mathbb{m}=(\alpha_1,\ldots,\alpha_r)\in(R^+)^r$ a Bruhat path from $1$ to $v$ if $1\lessdot s_{\...
- 1,066
4
votes
1
answer
291
views
Number of paths in the Bruhat order in the symmetric group
Let $\mathbb{S}_m$ the symmetric group on $m$ letters. Let $v\in\mathbb{S}_m$, and consider paths in the Bruhat order like this: $1\lessdot v_1\lessdot\cdots\lessdot v$, where $\lessdot$ means the ...
- 1,066
8
votes
0
answers
191
views
Two algebraic guises of Alternating Sign Matrices: any connection?
Alternating Sign Matrices (ASMs) have a famous history: they were discovered by Mills, Robbins, and Rumsey, who conjectured a product formula for their enumeration; this product formula was first ...
- 23.6k
8
votes
0
answers
196
views
Is the order complex of open Bruhat intervals polytopal?
Let $P$ be the Bruhat order of a Coxeter group, and let $s<t$ in
$P$. The set $\Delta(s,t)$ of all chains of the open interval $(s,t)$
(called the order complex of $(s,t)$) is a simplicial complex. ...
- 50.4k
8
votes
2
answers
389
views
Rank matrices for type $D$ Bruhat order
Roughly, this question asks how the Bruhat (strong) order in type $D$ can be understood like the Bruhat orders in types A and B=C. I'll review how types A and B work before asking my question. As a ...
- 154k
2
votes
1
answer
155
views
Consequence of Lifting property of Bruhat ordering
I am reading the book: Anders Björner, Francesco Brenti --- Combinatorics of Coxeter Groups.
I would like to know whether a variation of Corollary 2.2.8 is true. In other words, does the following ...
- 1,875
3
votes
1
answer
162
views
Bruhat ordering and non-vanishing Extension groups
Let $P_{x,w}(q)$ be the Kazhdan Lusztig polynomial. It is well-known that $P_{x,w}(q)\neq 0\iff x\le w$.
By the interpretation of the Kazhdan Lusztig polynomial in terms of extension group, it holds ...
- 1,875
2
votes
1
answer
198
views
Reduced expression and Bruhat order
For $n\ge 3$. Let $s_1\cdots s_n$ be a reduced expression of $x$. Suppose $s_1\cdots s_{n-1}\le w$ and $s_2\cdots s_{n}\le w$.
Does this imply $x\le w$?
- 1,875
3
votes
2
answers
372
views
Partial ordering on $\mathfrak{h}^*$ and Bruhat ordering
In section 5.2 (p.95) of Representations of Semisimple Lie Algebras in the BGG Category $\mathcal{O}$.
Let $\mu\le \lambda$ if $\lambda-\mu\in \Gamma$, where $\Gamma$ is the set of $\mathbb{Z}^{\ge 0}$...
- 1,875
1
vote
0
answers
55
views
$\mathrm{Ext}^1$-ordering on ${}^IW^{\Sigma_\mu}$
Let $\mathfrak{g}$ be a finite dimensional complex semisimple Lie algebra with Cartan subalgebra $\mathfrak{h}$.
Let $W$ be the associated Weyl group and let $\Phi$ be its root system.
We write $\Phi^+...
- 1,875
0
votes
1
answer
103
views
In Type $A$, if the Bruhat graph of an element $w$ in the Weyl group is regular, then to show that $l(w)=$ # $ \{\alpha \in R^+| s_{\alpha} \le w\}$
I am trying to prove that for type $A$ , rational smoothness of Schubert varieties implies smoothness.
So suppose we are in Type $A_{n-1}$, so let $G=Sl(n,\mathbb C)$, $B=$ the group of upper ...
- 235
1
vote
0
answers
147
views
A certain kind of permutations and transport of Bruhat chains under conjugation
Let $(W,S)$ be a finite Coxeter system. Let us consider the following situation:
Let $v_1,v_2,w\in W$ such that $v_1=wv_2w^{-1}$. Let $s_{\beta_r}\ldots s_{\beta_1}$ be a reduced expression of $v_2$. ...
- 1,066
8
votes
1
answer
355
views
Formula for number of permutations less than a given permutation in weak order
Let $w\in S_n$ be a permutation. Is there a reasonable "formula" for the number of elements of the initial interval $[e,w]$ of weak (Bruhat) order from the identity to $w$?
In terms of what such a "...
- 23.6k
8
votes
1
answer
166
views
How many maximal length Bruhat paths from $u$ to $w$ can there be?
I've been doing some work with saturated Bruhat paths in a Coxeter group between two elements $u\leq w$. It seems to me that if $\ell(u) =0$, then there are at most $\ell(w)! $. I haven't tried to ...
- 2,168
2
votes
0
answers
81
views
Characterization of permutations which have at most one successor in the covering relation of the weak Bruhat order
Let $W$ be the symmetric group on $n+1$ letters. Let $\ell$ be the length function on $W$.
As the title says, can we characterize all $v\in W$ such that there exists a $w\in W$ such that for all ...
- 1,066
8
votes
1
answer
828
views
There are no "holes" in the Bruhat decomposition of parabolic cell $Pw_1P$
Let $G$ be a split reductive algebraic group (over a local field if you like), $B$ be a fixed Borel subgroup, and $P$ be a fixed standard parabolic subgroup. Let $W$ be the Weyl group of $G$. For $w\...
- 960
14
votes
0
answers
374
views
A hard Lefschetz theorem for nilCoxeter algebras
Let $W$ be a finite Coxeter group and $\mathcal{N}(W)$ its nilCoxeter
algebra (over the reals, say), as defined at
https://en.wikipedia.org/wiki/Nil-Coxeter_algebra. $\mathcal{N}(W)$ has
a natural ...
- 50.4k
9
votes
1
answer
459
views
Bruhat order of reflection subgroups
Let $(W,S)$ be a Coxeter group, $T=\bigcup_{w\in W}wSw^{-1}$ its set of reflections, and $A\subseteq T$. From results of Dyer and Deodhar, we know that the subgroup $W_A$ generated by the elements of $...
- 113
3
votes
0
answers
78
views
Can Bruhat cells in semi simple groups be induced from matrices?
Let $G$ be a semisimple Lie group. Embed it as a subgroup into a special linear group of suitable rank, $SL(n)$ (real or complex). The question is: is it always possible to find such an embedding, ...
- 31
12
votes
2
answers
741
views
Principal Order Ideals in the Weak Bruhat Order
Let $\sigma\in S_n$ be a permutation on $n$ elements, and $\mathrm{Inv}(\sigma):=\{(i,j) : 1\leq i<j\leq n\text{ and }\sigma(i)>\sigma(j)\}$ be its set of inversions. In the weak order on ...
- 1,324
5
votes
4
answers
602
views
Bruhat order and Schubert cycles
I am looking for a good (textbook) reference for the basic fact (due to Chevalley) that for every semisimple Lie group $G$ (without compact factors) with Weyl group $W$, the Bruhat order on $W$ ...
- 31.1k
4
votes
1
answer
178
views
points with small U stabilizer on a spherical variety
Let $(G,H)$ be a spherical pair (i.e. $G$ is a reductive group, $H$ is a closed subgroup and the Borel subgroup $B$ of $G$ has a finite number of orbits on $G/H$). Let $U$ be the unipotent radical of $...
- 2,591
5
votes
1
answer
292
views
Edge graph of the polytope of a Bruhat interval
Let $\Gamma$ be a Coxeter group on some generating set $S$, with reflection representation $V$. Then $\Gamma$ has two standard partial orders, the weak and strong Bruhat orders.
Moreover, if $\lambda ...
- 27.8k
20
votes
1
answer
982
views
Bruhat order and the Robinson-Schensted correspondence
The Robinson-Schensted correspondence is a bijection between elements of the symmetric group $S_n$ and pairs of standard tableaux of the same shape. The symmetric group is partially ordered by the ...
- 2,701
15
votes
3
answers
791
views
Kazhdan-Luzstig Polynomials and Lower Intervals in the Bruhat Order
I have read in a number of places that the lower Bruhat interval $[e, w]$ is rank-symmetric if and only if the KL-polynomial $P_{e, w}(q) = 1$. All of the proofs I've come across use "rationally ...
- 341
6
votes
1
answer
391
views
Efficient enumeration of Bruhat intervals
Hi everyone.
I'm currently programming some stuff for Hecke algebras. My current implementations have several bottlenecks and I'd like to improve that as much as I can so that I can use stuff like $...
- 9,630
10
votes
0
answers
301
views
Are plactic classes convex under the right weak Bruhat order?
For those who are unfamiliar with the terminology, I'll explain a little.
The symmetric group $S_n$, as a type A Coxeter group, has generators $\{s_1,\ldots,s_{n-1}\}$ with relations (1) $s_i^2$ for ...
- 331
3
votes
1
answer
272
views
Reference for: the Bruhat-minimal permutations not less than a fixed permutation pi?
Let $\pi\in S_n$. I recently needed to understand the permutations $\rho$ such that $\rho\not\leq\pi$ in Bruhat order. Since there are $O(n!)$ of those I really wanted a description of the $O(n^2)$ ...
- 27.8k