1
$\begingroup$

I was calculating something with the root system $A_n$ and I think there might be a more general principle at work.

Here is the example: let $G = \operatorname{GL}_5$, with maximal torus $T$ and maximal parabolic $P = MN$, with Levi subgroup $M = \operatorname{GL}_2 \times \operatorname{GL}_3$ and unipotent radical

$$N = \begin{pmatrix} 1 & & \ast & \ast & \ast \\ & 1 & \ast & \ast & \ast \\ & & 1 \\ & & & 1 \\ & & & & 1\end{pmatrix}$$

Let $\rho$ be half the sum of the roots of $T$ in $N$: $\rho = \frac{1}{2}(3e_1 + 3e_2 - 2e_3 - 2 e_4 - 2e_5)$. If $v \in X(T) \otimes \mathbb R$, set $\langle \rho, v \rangle = 2 \frac{(\rho,v)}{(v,v)}$, where $(-,-)$ is the usual inner product. I noticed that if we pair the simple root $e_2-e_3$ defining $P$ with $\rho$, we get something nonzero:

$$\langle \rho,e_2-e_3\rangle = \frac{5}{2}$$

while if we pair any other simple root with $\rho$, we get zero. $\blacksquare$

So my question: let $(V,\Phi)$ be a root system (not necessarily reduced) with base $\Delta$. Fix $\alpha \in \Delta$, and let

$$\Sigma = \{ \gamma = \sum\limits_{\beta \in \Delta} c_{\beta}\beta \in \Phi^+ : c_{\alpha} \neq 0 \}$$

$$\rho = \frac{1}{2}\sum\limits_{\gamma \in \Sigma} \gamma$$

Identify the coroots as elements of the dual $V^{\ast}$. Is it the case that for $\beta \in \Delta$:

$$\beta^{\vee}(\rho) = \begin{cases} 0 & \textrm{ if $\beta \neq \alpha$} \\ \textrm{nonzero} & \textrm{ if $\beta = \alpha$} \end{cases}$$?

$\endgroup$
6
  • 1
    $\begingroup$ This is true because the Weyl vector is the half sum of positive roots and also equal to the sum of fundamental weights. The rho you defined is just the Weyl vector of the whole root system Phi minus the Weyl vector of the maximal parabolic root system corresponding to alpha. $\endgroup$ Commented Aug 1, 2018 at 19:26
  • $\begingroup$ Wouldn't that make $\rho$ equal to Weyl vector of the root system corresponding to the singleton $\alpha$? That doesn't seem right. $\endgroup$
    – D_S
    Commented Aug 1, 2018 at 19:34
  • $\begingroup$ No, it’s as I said: your rho is the Weyl vector of the whole root system minus the Weyl vector of the maximal parabolic corresponding to alpha (I.e., the root system generated by all simple roots other than alpha). $\endgroup$ Commented Aug 1, 2018 at 19:39
  • $\begingroup$ The half sum of positive roots with alpha coordinate zero is the Weyl vector of the maximal parabolic I am taking about. $\endgroup$ Commented Aug 1, 2018 at 19:40
  • 1
    $\begingroup$ The fundamental weights don’t add in that manner because the fundamental weights of a sub root system belong to the span of that sub root system. In general the fundamental weights of a sub root system are not even integral weights of the bigger root system. $\endgroup$ Commented Aug 1, 2018 at 19:51

0

You must log in to answer this question.

Browse other questions tagged .