\(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.

\(\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 \(H(\mathbb R)={\mathbb R}^{*n}\)

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

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

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\) is 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 and it equals \(\pm 1\)

Discrete Series

Now we can focus on the case when \(\theta _x\) is acting by \(Id\) which corresponds to the discrete series representations.

So, let us assume that \(G=G(\mathbb C)\) has discrete series representations. This is equivalent to having a distinguished involution equal to the Identity.

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

The choice of Cartan 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 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\).

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 conjugating by \(K\) we get the same conjugacy class of Borels.

Definition. 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 www.liegroups.org/papers/.

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} \}\)

Example: \(SL(2,\mathbb R)\).

Let us start with the group \(G=SL(2,\mathbb C)\). For this group set

\(x_b = diag(i,-i)\).

Then \((x_b)^2 =-Id \in Z(G)\). The stabilizer in \(K\) of this element is the diagonal torus

\(K^{\theta _x} =\{ (\left( \begin{array}{cc} z & 0 \\ 0 & \frac{1}{z} \end{array} \right) :z\in {\mathbb C}^{\times } \}\cong SO(2,\mathbb C)\)

So the real points of this group is the compact real form

\(K(\mathbb R)=SO(2)\)

and the real form of \(G\) with this maximal compact subgroup is \(G(\mathbb R)=SL(2,\mathbb R)\)

In this setting it is better to think of \(G(\mathbb R)\) as \(SU(1,1)\)

Then, the \(K\) orbits on:math:G/B consist of three elements:

\(x_b = \left( \begin{array}{cc} i & 0 \\ 0 & -i \end{array} \right) , -x_b=\left(\begin{array}{cc} -i & 0 \\ 0 & i \end{array} \right) , u=\left(\begin{array}{cc} 0 & 1 \\ -1 & 0 \end{array} \right)\)

So, \(x_b\) and \(-x_b\) are all the elements of the cartan that are conjugate to \(x_b\). And there is only one other element, \(u\), up to conjugacy by \(H\), which is in the normalizer of the Cartan and is conjugate to \(x_b\).

Note that \(x_b\) and \(-x_b\) are both fixed by conjugation by \(H\) and \(H\) acts by conjugation on \(u\). Moreover, we can replace \(u\) by any element of the form

\(\left(\begin{array}{cc} 0 & z \\ -\frac{1}{z} & 0 \end{array} \right)\)

So, \(K\) acting on \(G/B\) has three elements, representatives of the \(K\) orbits on the conjugacy classes of Borel subgroups.

Observation: This is the usual action of \(Sl(2,\mathbb C)\) on the projective plane that gives three orbits, \(0\), \(\infty\) and \({\mathbb C}^{\times }\).

Now as representatives of Borels we have:

\(x_b \mapsto B=\left( \begin{array}{cc} z & w \\ 0 & \frac{1}{z} \end{array} \right)\),

which is the Borel that was fixed at the begining. Now, taking an element that conjugates $x_b$ to its negative we have:

\(-x_b=s_{\alpha }(x_b) \mapsto B'=s_{\alpha }(B)=\left( \begin{array}{cc} z & 0 \\ w & 1/z \end{array} \right)\).

and for \(u\), the element that conjugates \(x_b\) to \(u\) is

\(g=\frac{1}{\sqrt{2}} \left( \begin{array}{cc} 1 & -1 \\ 1 & 1 \end{array} \right)\).

Then

\(B''=gBg^{-1} =\left(\begin{array}{cc} cosh(z) & sinh(z) \\ sinh(z) & cosh(z) \end{array} \right) + \frac{1}{2} \left(\begin{array}{cc} w & w \\ -w & w \end{array} \right)\)

One of the key points comes from just looking at the Cartan part of the last \(B''\):

\(H''=\left(\begin{array}{cc} cosh(z) & sinh(z) \\ sinh(z) & cosh(z) \end{array} \right)\).

Since we fixed the Cartan involution \({\theta }_{x_b} = diag(i,-i)\), it is acting on this Cartan by \(-1\) (i.e. by taking the inverse). It acts trivially on the diagonal Cartan.

The set of real points of this Cartan is

\(H''(\mathbb R)=\{ \pm Id \left(\begin{array}{cc} cosh(x) & sinh(x) \\ sinh(x) & cosh(x) \end{array} \right) | x\in \mathbb R \} \cong {\mathbb R}^{\times }\)

Which is the ususal way of writing split Cartan in \(SU(1,1)\).

The point is that, the pair \((H'', {\theta }_{x_b} )\) is conjugate under \(G\) to the pair \((H, {\theta }_u )\). That is, to \(H\) and the conjugation action of this element \(u\).

In other words, the first pair is how we normally think of this Cartan in the real group: we fix a real form (determined by the Cartan involution \({\theta }_{x_b}\)) and vary the Cartans within this real group. And in this case there are two Cartans, one compact and one split.

The second pair is how atlas thinks of it. That is, it fixes the original (diagonal) Cartan and varies the Cartan involution which acts by \(-1\) on the fixed diagonal Cartan.

Moral of the Story

To summarize, we always fix:

\(\[H\subset B, x_b ,\theta = int(x_b ), \text{and} K=G^{\theta },\]\)

noindent we vary

\(\[x\in \mathcal X , \text{and} \ {\theta }_x \]\);

noindent and we map

\(\ \ \ \{ (H',\theta ) \}/K \leftrightarrow \{ (H, {\theta }_{x} ) | x\in \mathcal X \}\).

So, rather than talking about the Cartan subgroups of \(G\) with their action of the fixed \(\theta\) up to conjugacy by \(K\), we conjugate everything back to the fixed \(H\) and we vary the \({\theta }_x\).

Similarly for the Borels we have:

\(\{ (B',\theta ) \}/K \leftrightarrow \{ (B, {\theta }_{x} ) | x\in \mathcal X \}\)

Effect on \((\mathfrak g , K_x)\) modules.

Another important point is that we now will be talking about \((\mathfrak g , K_x )\) modules as we vary \(x\). The \(x`s are all conjugate to :math:`x_b\), but not literally equal.

Therefore, the \(K_x\) are all conjugate to K but they are not equal. So, we get all these \((\mathfrak g , K_x )\) modules that are all equivalent to \((\mathfrak g , {K_x}_b )\) modules; and by using this conjugation we can conjugate them all back to a \((\mathfrak g , {K_x}_b )\) module.

More precisely, if \(\pi\) (resp. \(\pi '\)) are \((\mathfrak g , K_x )\) (resp. \((\mathfrak g , K_{x'} )\) modules, then \(\pi \cong {\pi }'\) if there is :math`g in G` with

\(\ \ \ \ gxg^{-1} =x'\), \({\pi }^g \cong {\pi}'\)

In this way, the software is varying \(x\), but in the end you can conjugate back to \(x_b\).

More About \(KGB\)

Again, we are fixing \(x_b\), \(\mathcal X =\mathcal X (x_b )\)

This gives a fixed \(K\) and \(\mathcal X\) parametrizes:

\(\ \ \ \ \ K\backslash G/B \leftrightarrow \mathcal X\)

And in the software, this gives a finite set of parameters:

\(\ \ \ \ \ KGB= \mathcal X = \{x_0, \ldots x_{n-1} \}\)

Now the Weyl group \(W\) acts naturally by conjugation :math:`mathcal X `. Then,

\(\mathcal X /W \leftrightarrow\) conjugacy classes of Cartan subgroups. This is how we associate a Cartan to an element \(x\). Namely, via this map from \(\mathcal X\).

Moreover

\(Stab_W (x) \simeq W(K,H) \simeq W(G(\mathbb R ), H(\mathbb R))\),

This is the rational Weyl group of the real form of the group with respect to the real Cartan, Which in the $theta$ world we think of it as \(W(K,H)\).

Finally, there is a map \(\rho : \mathcal X \rightarrow {\mathcal I}_W\) (involutions in \(W\)). The map is the obvious one: \(x\) is an element in the normalizer of \(H\) so we take its image in the Weyl group and that is an involution. Taking the conjugacy classes of involutions in W gives a map:

\(\mathcal I /W \leftrightarrow \text{conjugacy classes of Cartans in quasisplit group.}\)

The map \(\rho\) is not necessarily surjective. But it is surjective if the group is quasisplit. So this \(\mathcal I\) is telling us about Cartans of the quasisplit form.

The Algorithms paper has a picture of the \(KGB\) space for \(Sp(4,R)\). They are 11 elements in the space. The picture gives the fibers of elements in \(KGB\) that go to the same conjugacy class of involutions and in turn to the same CartanFour elements get mapped to the identity involution which corresponds to the compact Cartan; two are mapped to the involutions from the short root reflections \(s_{\alpha _1}\) and \(s_{\alpha _2}\) corresponding to the intermediate Cartan isomorphic to \({\mathbb C}^\times `; four are mapped to the long root reflections :math:`s_{\beta _1}\), \(s_{\beta _2}\), which correspond to the Cartan isomorphic to \(S^1 \times {\mathbb R}^\times\); and one element is mapped to \(-Id\), corresponding to the split Cartan.

In terms of representations, looking at each fiber of \(KGB\) elements corresponding to a given Cartan, will give us representations attached to that Cartan. For example all the representations attached to the split Cartan correspond to the last element \(x_10\) which is the fiber above the involution \(-1\), etc.