Skip to main content
1 of 10
André Henriques
  • 43.2k
  • 5
  • 130
  • 264

I'll answer the "Is there any generalization?":

Let $k$ be any number, let $\mathfrak g$ be a simple Lie algebra (not necessarily simply laced), and let $\omega$ be a fundamental weight whose Dynkin mark is 1. Then

$$ \frac{\langle k\omega,k\omega+2\rho\rangle}{2(h^\vee+k)} = \frac{\| k\omega+\rho\|^2-\|\rho\|^2}{2(h^\vee+k)} = \frac{k\langle\omega,\rho\rangle}{h^\vee} = \frac{k}{2}\|\omega\|^2 $$


Proof:
(1) The first equality is easy.
(2) Let $\mathcal A$ be the Weyl alcove. Recall that $\rho$ is the unique weight in the interior of $h^\vee \mathcal A$. The vertices $0$ and and $h^\vee\omega$ are in the same $Aut(\mathcal A)$-orbit, and are therefore equidistant to $\rho$. It follows that the numerator $\| k\omega+\rho\|^2-\|\rho\|^2$ vanishes when $k=-h^\vee$. The function $k\mapsto \frac{\| k\omega+\rho\|^2-\|\rho\|^2}{2(h^\vee+k)}$ is therefore linear, and one easily computes its derivative at $k=0$.
(3). For the third equality one notes that, by symmetry reasons, the vector $\frac \rho {h^\vee}$ is on the bisecting hyperplane of the segment $[0,\omega]$. Therefore $\langle\omega,\frac\rho{h^\vee}\rangle=\langle\omega,\frac\omega2\rangle=\frac12\|\omega\|^2$, and the equality follows.
QED
André Henriques
  • 43.2k
  • 5
  • 130
  • 264