# Weyl group of a symmetric space

Let $G/K$ be a symmetric space of a non-compact type, i.e. $G$ is a semi-simple connected Lie group, and $K$ is its maximal compact subgroup. Helgason in his book "Differential geometry and symmetric spaces" defines the Weyl group $W(G,K)$ as follows.

Let $\mathfrak{g}=Lie(G), \mathfrak{k}=Lie(K)$. Let $$\mathfrak{g}=\mathfrak{k}\oplus \mathfrak{p}$$ be the Cartan decomposition. Let $\mathfrak{a}$ be a maximal abelian subspace of $\mathfrak{p}$. Let $M$ and $M'$ be respectively the centralizer and the normalizer of $\mathfrak{a}$ in $K$. Clearly $M$ is a normal subgroup of $M'$. Then $$W(G,K):=M'/M$$ is called the Weyl group of $G/K$ and is known to be finite.

Question. Is there a direct relation between $W(G,K)$ and the Weyl group $W$ of $G$ (or may be better to say of the compact form of $G$)? E.g. can one say that $W(G,K)\subset W$ in some natural way?

A reference would be very helpful.

• You need to be more careful about notation here (abundant in this subject). For instance, your $\mathfrak{a}$ seems to be a maximal abelian subspace of $\mathfrak{p}$. Usually it's best to use subscripts 0 to contrast with the complexified Lie algebra. Anyway, this "Weyl group" is a finite crystallographic reflection group and is included (often properly) in the abstract Weyl group $W$ attached to the root system of the complexified Lie algebra. (What do you mean by "Weyl group $W$ of $G$"?) On the other hand, the "roots" need a lot of bookkeeping here. See Knapp's book. Nov 9, 2014 at 23:36
• You are right, I corrected the $\mathfrak{a}$, though not the 0 subscript. By $W$ I meant the Weyl group of a compact form $U$ of $G$ which, as far as I understand, coincides with the Weyl group of the complexified Lie algebra. (For example if $G=SO_0(p,q)$ then $U=SO(p+q)$.)
– asv
Nov 10, 2014 at 9:26
• Could you please specify what book by Knapp contains the result. According to MathSciNet, Knapp has 14 books...
– asv
Nov 10, 2014 at 9:29
• Knapp's relevant book is Lie Groups Beyond an Introduction (Birkhauser, 1996). There are other books, for example an older one by Vogan. Keep in mind that Helgason is focused especially on symmetric spaces rather than just Lie groups and their Lie algebras; but your question involves mostly the latter. Helgason also leaves some of the pieces like this one for the reader to assemble, so it's well worth consulting other sources too. Nov 10, 2014 at 14:22

• Thank you. Do I understand correctly that, according to your book, $W(G,K)$ is a quotient of a subgroup of the Weyl group $W$, but not necessarily a subgroup?