For $G$ a simple linear algebraic group and $B$ a fixed Borel subgroup, we have the Bruhat decomposition $G = \coprod\_{w \in W} B\dot{w}B$, where $W$ is the Weyl group and $\dot{w}$ is any representative of $w$ in $N\_G(T)$.

If $s\_\alpha \in W$ is a simple reflection, then the following rule is known:

* $(B\dot{s\_\alpha} B)(B\dot{w}B) = B\dot{s\_\alpha}\dot{ w} B,\hspace{5mm}$ if $\hspace{3mm}l(s\_\alpha w) = l(w) + 1$,
* $(B\dot{s\_\alpha} B)(B\dot{w}B) = B\dot{w}B \cup B\dot{s\_\alpha}\dot{ w} B,\hspace{5mm}$ if $\hspace{3mm}l(s\_\alpha w) = l(w) - 1$,

where $l(w)$ is the length of $w \in W$.

This rule for simple reflections implies that for any $w\_1, w\_2 \in W$

$(B\dot{w}\_1 B)(B\dot{w}\_2B) = \coprod\_{w \in U} B\dot{w}B$, 

where $U \subset W$. However, knowing what this subset $U$ is seems quite complicated (I think one can put some partial conditions on $U$ involving Bruhat order). 

My question is if anyone has seen a description of which cells appear in $(B\dot{w}\_1 B)(B\dot{w}\_2B)$ (i.e., what does $U$ look like)? Or, does anyone know of some nice connections between any aspects of this problem and some other theory? It seems likely to me that the decomposition of $(B\dot{w}\_1 B)(B\dot{w}\_2B)$ is much to complicated to have any single rule for arbitrary $w\_1, w\_2$. But, I thought I'd pose this question to M.O. just in case. Thanks!