3
$\begingroup$

Suppose $\mathfrak{g}$ is a complex reductive Lie algebra and $\theta$ is an automorphism of order $2$. Let $\mathfrak{g} = \mathfrak{g_0} \oplus \mathfrak{g}_1$ be the corresponding $\mathbb Z_2$-gradation. Cartan defined the concept of Cartan subspace and the Weyl group of the symmetric pair $(\mathfrak{g}, \mathfrak{g_0})$. By definition a Cartan subspace of the pair $(\mathfrak{g}, \mathfrak{g_0})$ is a subspace $\mathfrak{c}$ of $\mathfrak{g}_1$ which is a maximal commutative subspace consisting of semisimple elements and the Weyl group is by definition is the quotient $N_{\mathfrak{g}_0}(\mathfrak{c})/Z_{\mathfrak{g}_0}(\mathfrak{c})$. What is a Cartan subspace and the Weyl group for the pair $(\mathfrak{sl}_{2n}, \mathfrak{sp}_{2n})$ ?. Is there a canonical choice for $\mathfrak{c}$ in this case ? What I understood from different sources is that the Weyl group is a subgroup/quotient of $S_{2n}$. Can it be described explicetely ?

$\endgroup$

1 Answer 1

4
$\begingroup$

For a general symmetric space (let’s say over $ \mathbb{C}$ for simplicity) to obtain a Cartan subspace, take a Cartan subalgebra $\mathfrak{t}$ of $\mathfrak{g}$ that is stable under the involution $\theta$. This decomposes $$ \mathfrak{t}=\mathfrak{t}_0\oplus \mathfrak{t}_1 $$ in terms of the eigenspaces of $\theta$. Choose such a Cartan so that the fixed subspace $\mathfrak{t}_0$ is of minimal dimension. The $-1$ eigenspace $\mathfrak{t}_1$ gives a Cartan subspace of the pair $(\mathfrak{g},\mathfrak{g}_0)$. Over $\mathbb{C}$, tori with this property (referred to as maximally $\theta$-spit in the literature) are characterized as those lying in a Borel subalgebra $\mathfrak{b}$ such that $\theta(\mathfrak{b})$ is “as opposite to $\mathfrak{b}$ as possible.” The correct way to characterize this is that if $\mathfrak{l}$ is the centralizer of $\mathfrak{t}_1$, then the parabolic Lie algebra $\mathfrak{p}=\mathfrak{l}+\mathfrak{b}$ has the property that $$ \mathfrak{p}\cap\theta(\mathfrak{p})=\mathfrak{l}. $$

In the case you mention, take the diagonal Cartan of $\mathfrak{sl}(2n)$ and the involution $$\theta(X)=-JX^TJ,$$ where $J$ is the standard “opposite diagonal” symplectic form. The upper triangular Borel works in this case, and the parabolic $\mathfrak{p}$ is the $(2^n)$ parabolic.

As for the Weyl group, a result of Luna shows that if $W$ is the Weyl group of $(\mathfrak{g},\mathfrak{t})$ with $\mathfrak{t}=\mathfrak{t}_0\oplus \mathfrak{t}_1$ as above, consider the two subgroups $$ W_1=\{w\in W: w(\mathfrak{t}_1)=\mathfrak{t}_1\} $$ and $$ W_2=\{w\in W_1: w|_{\mathfrak{t}_1}\equiv 1\}, $$ then $W(\mathfrak{g}_0,\mathfrak{t}_1)\cong W_1/W_2$.

$\endgroup$
2
  • 1
    $\begingroup$ In particular, I think that, in the $(\mathfrak{sl}_{2n}, \mathfrak{sp}_{2n})$ case, $\mathfrak t_1$ is the space of diagonal matrices in which the $i$th diagonal entry equals the $(2n - i + 1)$th diagonal entry, and $W(\mathfrak g_0, \mathfrak t_1)$ is just the symmetric group on $n$ letters. $\endgroup$
    – LSpice
    Mar 8, 2023 at 14:02
  • 1
    $\begingroup$ That's correct! $\endgroup$ Mar 30, 2023 at 16:18

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.