# Covering relations in $K\backslash G/B$

Let $G$ be a simply connected complex Lie group, $\theta$ an involution, and $K = G^\theta$ the fixed point subgroup. Pick a $\theta$-invariant Borel subgroup $B$. Then there is a natural map $K\backslash G \to G$ taking $Kg \mapsto \theta(g^{-1}) g$, inducing a map $\varphi : K\backslash G/B \to B\backslash G/B \cong W_G$.

Most of what I know about this is in papers of [Richardson-Springer], where they study what one might call the weak Bruhat order on $K\backslash G/B$. Unfortunately, I want the strong Bruhat order. In particular, I seek proofs (and of course, references) for the following.

If $v \gtrdot v'$ is a covering relation in $K\backslash G/B$, then $\ell(\varphi(v)) - \ell(\varphi(v')) = 1,2,3$, and the difference is determined by whether the difference in the Cartan ranks of $v,v'$ is $-1,0$, or $1$.

If the difference is $2$, then there exists a positive root $\beta$ such that $\varphi(v) = r_{\theta\cdot \beta} \varphi(v') r_\beta$.

I also have a question:

If the difference is $3$, what is the relation of $\varphi(v)$ and $\varphi(v')$?

ADDED: The best references I have found are [Incitti] for classical groups and [Hultman] in general, but neither quite answers the above, as far as I can tell.

David Vogan gave me the example of $(Sp(4),GL(4))$, orbits #46 and #76 according to the Atlas numbering here: http://www.liegroups.org/web/atlasInput.html
Axel Hultman gave me the example of $D_4$ with generators $a,b,c,d$; $d$ being the non-leaf in the diagram, and ordinary involutions. Then, $abcdcba$ covers $abc$.
• $(Sp(4),GL(4))$ should be $(Sp(8),GL(8))$ ($n=4$ in Atlas notation)? Mar 23, 2012 at 16:59
• Yes $n=4$. The real groups are $Sp({\mathbb R}^8) \supset U(4)$. Mar 29, 2012 at 3:59
While the paper of Richardson-Springer does study the weak order, it also has useful results on the usual (strong) Bruhat order. In particular, Theorem 7.11 says that Bruhat order is characterized as the weakest partial order on $K \backslash G / B$ that contains the weak order and satsifies the obvious geometric condition $Y \subseteq Y' \Rightarrow P_s \cdot Y \subseteq P_s \cdot Y'$ where $Y$ and $Y'$ are arbitrary $B$-stable subvarieties and $P_s$ denotes the minimal parabolic subgroup associated to the simple reflection $s$.