3
$\begingroup$

Is there an example of an algebraic group $G$ with maximal torus $T$ and Weyl group $W$ of type $B_n$, (a specific $n$ is fine), and a character $\lambda\in X=\hom(T,\mathbb{G}_m)$ such that $\operatorname{stab}_W(\lambda)\cong\mathbb{Z}/(2)\times\mathbb{Z}/(2)$?

The stabilizer being with respect to the action of the Weyl group on $X$ given by $^w\chi(t)=\chi(t^w)$, for $\chi\in X$ and $t\in T$. Thank you.

$\endgroup$
  • $\begingroup$ Pick a dominant $\lambda$ such that it is orthogonal to two orthogonal simple roots, and non-orthogonal to the other simple roots. Remember that simple roots that aren't adjacent in the Dynkin diagram are orthogonal. The general result is that the stabilizer of a dominant weight is generated by the simple reflections stabilizing it. $\endgroup$ – Jyrki Lahtonen Feb 23 '17 at 8:11
  • 1
    $\begingroup$ @JyrkiLahtonen Thanks, so I assume you need $n\geq 3$ to ensure two orthogonal simple roots? To be concrete, would for example the group $SO(7)$, then have such a weight as you describe? The Weyl group would have type $B_3$, and if $\omega_1,\omega_2,\omega_3$ are fundamental weights, one can take $\lambda$ to be any nonnegative integer multiple of $\omega_2$? $\endgroup$ – Ankita Desari Feb 23 '17 at 8:58
  • $\begingroup$ That sounds correct to me, Ankita Desari. $\endgroup$ – Jyrki Lahtonen Feb 23 '17 at 9:50
4
$\begingroup$

Let $\{\alpha_1, \ldots, \alpha_l\}$ be a base for the root system with corresponding fundamental dominant weights $\omega_1, \ldots, \omega_l$.

Write a dominant weight $\lambda$ as a sum of fundamental dominant weights, say $\lambda = \sum_{i = 1}^l a_i \omega_i$ where $a_i \in \mathbb{Z}_{\geq 0}$. Then we know (see for example Humphreys' book on Lie algebras) that $\operatorname{Stab}_W(\lambda)$ is generated by the simple reflections $\sigma_{\alpha_i}$ with $a_i = 0$. Now it should be easy for you to find many examples of $\lambda$ with $\operatorname{Stab}_W(\lambda) \cong \mathbb{Z} / 2 \mathbb{Z} \times \mathbb{Z} / 2 \mathbb{Z}$.

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ Thanks! Are these dominant weights the same things as characters on a maximal torus? I'm used to weights in the context of Lie algebras, and characters in the context of algebraic groups. $\endgroup$ – Ankita Desari Feb 23 '17 at 10:37
  • $\begingroup$ @AnkitaDesari: Here weights are characters of the maximal torus. A dominant weight is a weight $\lambda$ such that $\langle \lambda, \alpha^\vee \rangle \geq 0$ for all simple roots $\alpha$. $\endgroup$ – Mikko Korhonen Feb 26 '17 at 9:18

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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