Introduction on \(K\) orbits on \(G/B\)

In order to explain how atlas uses the KGB machinery we need to discuss the theory a little bit.

Recall that a parameter is a triple \(p=(x,\lambda, \nu)\)

where \(x \in K\backslash G / B\) which determines an involution \(\theta _x\) of the Cartan subgroup.

\[\lambda \in(X^* +\rho )/(1-{\theta }_x)X^*\]
\[\nu \in {X}_{\mathbb Q} ^* /(1+{\theta }_x ) X_{\mathbb Q}^*\cong (X_{\mathbb Q} ^*)^{-\theta _x}\]

So we often see \(\nu\) as being an element in the space on the right hand side. But we can also think of it as being in the quotient space.

So the infinitesimal character can be written as

\[\gamma =\frac{1+\theta _x}{2}\lambda + \frac{1-\theta _x }{2}\nu\]
\[=\frac{1+\theta _x}{2}\lambda +\nu\]

since \(\nu\) is normally fixed by \(\theta\).

Recall that roughly the \(KGB\) element x determines a \(G(\mathbb R)\)-conjugacy class of Cartan subgroups \(H\) and we denote by \(\theta _x\) the Cartan involution of \(H(\mathbb R)\)

Previously we focused on the case when \(\theta _x\) is acting by \(-Id\) This corresponded to the split Cartan subgroup \(H(\mathbb R)={\mathbb R}^{*n}\)

In this case \(\lambda \in (X^* + \rho )/2X^*\) gives a character of .. math:: H(mathbb R)^{theta _x} ={(mathbb Z)/2mathbb Z}^n

So we get a character of the compact piece of the Cartan subgroup.

Warning: we are assuming the \(\rho \in X^*\) . Otherwise we need to go to a covering.

Now \(\nu \in {X}_{\mathbb Q} ^*\) and we had constructed the induced representation

\[Ind_B ^G (\chi \otimes \nu),\]

where \(\chi=\rho -\lambda \in X^*\), since \(\lambda \in X^* + \rho\).

So, we have a well defined pairing between \(X^*\) and \(X_*\):

\[\chi(exp(2\pi i\mu ^{\vee}))=exp(2\pi i(<\rho -\lambda ,\mu^{\vee}>),\]

with \(\mu^{\vee}\in \frac{1}{2}X_*\).

This pairing is the value of the character on the compact part of the Cartan subgroup and it equals \(\pm 1\)

\(KGB\) elements

We fix once and for all a Cartan subgroup \(H\) included in a Borel subgroup \(B\). This avoids having to work with different Cartan subgroups and roots and different choices of identifications. We will be working with the same Cartan subgroup all the time.

The choice of Cartan subgroup does not matter. We can think of \(H\) as close to diagonal and \(B\) upper triangular.

Now let us take a base point element \(x_b \in G\), so that \(x_b ^2 \in Z(G)\). Attached to \(x_b\) is the involution \(\theta=int(x_b)\).

By Cartan’s theory of real forms this gives a real form, \(G(\mathbb R)\), of \(G\). Denote by \(K=G^{\theta}\), the complexified maximal compact subgroup of \(G(\mathbb R)\).

In other words the real form obtained by the involution is the one whose complexified maximal compact subgroup is \(K\).

We are interested in the following space

\[K\backslash G/B=\{K-\text{orbits on the flag variety G/B }\}\]
\[=\{K \text{-conjugacy classes of Borel subgroups of G }\}.\]

\(G/B\) is a complex projective variety and \(K\) is an algebraic group acting on it with finitely many orbits. And \(G/B\) is isomorphic to the space of Borel subgroups of \(G\) and the \(K\)-orbits are the Borel subgroups up to conjugacy by \(K\).

Parametrization Theorem

\[K\backslash G/B \leftrightarrow \{x\in Norm_G (H)|x{\backsim }_G x_b\}/H\]

This is a finite set. The map is given as follows:

If \(x=gx_b g^{-1}\) then associate to x the element \([g^{-1}Bg]\), the \(K\)-conjugacy class of the Borel subgroup.

Now we check the map is well defined on \(K\)-conjugcy classes of Borel subgroups:

\[x=(gk)x_b (gk)^{-1} \mapsto [k^{-1}(g^{-1}Bg)k]=[gBg]\]

On the right hand side the brackets mean \(K\)-conjugacy class. So, by conjugating by \(K\) we get the same conjugacy class of Borel subgroupns.

Parameter Set

Denote the above set by

\[\mathcal X =\{x\in Norm_G (H) | x{\backsim }_G x_b\}/H\]

(Note: this set is really denoted \(\mathcal X [x_b]\) in other sources and \(\mathcal X\) is the collection of all the sets for all the base points; which give all strong real forms of \(G\). The above set only has to do with one strong real form.

NOTE: FOR MORE INFORMATION ON STRONG REAL FORMS SEE: “Algorithms for Representation Theory of Real Reductive Groups”, by Adams and du Cloux, in

Since this set is finite, it makes sense to have an atlas command KGB that will give a finite list of the elements in \(\mathcal X\)

\[KGB \leftrightarrow \{x_0 , \dots ,x_{n-1} \}\]