Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
My question somehow breaks down to the following: Given $h\in G(\mathcal{O})$, $\lambda,\mu,\nu$ and $w$ as above. I would like to show: $\lambda h \mu\in G(\mathcal{K})^\nu\Leftrightarrow$ there exists $h_1,h_2\in G(\mathcal{O})$, s.t. $h_2 \cdot w\cdot h_2=h$ and $\lambda h_1\lambda^{-1}\in G(\mathcal{O})$ as well as $\mu^{-1} h_2\mu\in G(\mathcal{O})$. I was hoping that some kind "Bruhat decomposition" would yield such a result.
Thanks for the nice answer. Semisimple and simply connected is a start. Do you know any reference on this? Anyway i would be really interested why the situation in the non simply connected case is harder. Again, i would appreciate any reference. Best, Oliver.