Covering relations in $K\backslash G/B$ - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-26T09:44:27Z http://mathoverflow.net/feeds/question/91241 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/91241/covering-relations-in-k-backslash-g-b Covering relations in $K\backslash G/B$ Allen Knutson 2012-03-15T02:35:25Z 2012-03-23T15:51:02Z <p>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$.</p> <p>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.</p> <blockquote> <p>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$.</p> <p>If the difference is $2$, then there exists a positive root $\beta$ such that $\varphi(v) = r_{\theta\cdot \beta} \varphi(v') r_\beta$.</p> </blockquote> <p>I also have a question:</p> <blockquote> <p>If the difference is $3$, what is the relation of $\varphi(v)$ and $\varphi(v')$?</p> </blockquote> <p>ADDED: The best references I have found are <a href="http://fpsac.org/FPSAC03/ARTICLES/40.pdf" rel="nofollow">[Incitti]</a> for classical groups and <a href="http://www.mai.liu.se/~axehu73/papper/twist.pdf" rel="nofollow">[Hultman]</a> in general, but neither quite answers the above, as far as I can tell.</p> http://mathoverflow.net/questions/91241/covering-relations-in-k-backslash-g-b/91661#91661 Answer by Michael Joyce for Covering relations in $K\backslash G/B$ Michael Joyce 2012-03-19T20:00:11Z 2012-03-19T20:00:11Z <p>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$.</p> <p>I don't know a specific reference in the literature for the results you want, but I suspect they can be proven using the generalized reduced decomposition that is introduced in R-S.</p> http://mathoverflow.net/questions/91241/covering-relations-in-k-backslash-g-b/92017#92017 Answer by Allen Knutson for Covering relations in $K\backslash G/B$ Allen Knutson 2012-03-23T15:51:02Z 2012-03-23T15:51:02Z <p>The answer to the first question is no.</p> <p>David Vogan gave me the example of $(Sp(4),GL(4))$, orbits #46 and #76 according to the Atlas numbering here: <a href="http://www.liegroups.org/web/atlasInput.html" rel="nofollow">http://www.liegroups.org/web/atlasInput.html</a></p> <p>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$.</p>