In Pressley and Segal's book *Loop Groups*, they define a "basic inner product" $\langle-,-\rangle$ on a simple Lie algebra to be (minus) the Killing form scaled so that $\langle h\_\alpha,h\_\alpha\rangle=2$ where $h\_\alpha$ is the coroot associated to a long root.


[**Aside** I believe there is some terminological confusion possible here: they surely mean $h\_\alpha$ to be an element of the Lie algebra, rather than an element of $\mathfrak{t}^\*$; Terry Tao [defines a coroot](https://terrytao.wordpress.com/2013/04/27/notes-on-the-classification-of-complex-lie-algebras/#more-6629) to be such a thing, appropriately scaled. But others take a coroot to be a rescaled root, for instance [Wikipedia](https://en.wikipedia.org/wiki/Root_system#The_dual_root_system).]


They give the examples of $\mathfrak{su}(n)$ and $\mathfrak{so}(2n)$, which are $-\mathrm{tr}(XY)$ and $-\frac12\mathrm{tr}(XY)$, respectively. To avoid confusion, this trace is taken in the defining representation, thinking of these as matrix Lie groups.


But I haven't been able to find a source that gives the basic inner product for $\mathfrak{so}(2n+1)$ or $\mathfrak{sp}(n)$, where the latter are given as $n\times n$ quaternionic matrices. Once one knows the appropriate matrices $h\_\alpha$, then it is obvious. And it is sufficient to know these for low ranks, for instance $\mathfrak{so}(5)$, since then matters stablise.


I tried asking for these actual matrices over at M.SE, but despite rather a detailed answer, I still have no joy, as it presumes a lot of "common knowledge" of Lie theory I don't have, and also is slightly loose with terminology and suggestions. I was hoping for something super explicit like writing out the analogues of the Pauli matrices. This seemed like material too basic for MO, but despite a lot of searching, no lecture notes or textbook I've found actually gives this information! Nor have I found student exercises that ask for them. To me this seems like a perfect example of what MO was intended for: a place for researchers to ask colleagues about a basic fact they need from an area they are unfamiliar with. So I'm cutting my losses, forgetting the exercise of trying to work this stuff out for myself, and asking outright:



> 
> What is the basic inner product on $\mathfrak{so}(2n+1)$ and $\mathfrak{sp}(n)$?
> 
> 
> 


My motivation is that eventually I'm going to be doing physics-style calculations, and need explicit representatives for absolutely everything. So a characterisation in terms of anything else is insufficient: I want a formula. A reference to a place where this is recorded in the literature would be the best answer, but I despair that such a thing exists.



What is Pressley and Segal's "basic inner product" for compact simple Lie algebras of types B and C?
I found a reference that gave the correct inner products explicitly, without requiring the reader to assemble the relevant facts: Chapter II, section 1.2 (bottom of page 583) of:


* McKenzie Y. Wang, Wolfgang Ziller, *On normal homogeneous Einstein manifolds*, Annales scientifiques de l'École Normale Supérieure, Série 4, Tome **18** (1985) no. 4, pp. 563-633. <https://doi.org/10.24033/asens.1497>


Giving:


* $\mathfrak{su}(n)$: $-\mathrm{tr}(AB)$
* $\mathfrak{so}(n)$ ($n\geq 5$): $-\frac12 \mathrm{tr}(AB)$; and for $\mathfrak{so}(3)$: $-\frac14 \mathrm{tr}(AB)$
* $\mathfrak{sp}(n)$: $- \mathrm{Tr}(AB)$


Here the trace $\mathrm{Tr}$ for quaternion matrices is the *reduced* trace, namely $\mathrm{Tr}(X) = 2\Re \mathrm{tr}\_{\mathbb{H}}(X)$, which can be checked by looking at the Dynkin index of the embedding $\mathfrak{sp}(2) \hookrightarrow \mathfrak{su}(4)$, which is 1, and the index of the standard embeddings $\mathfrak{sp}(n) \hookrightarrow \mathfrak{su}(n+1)$ (also 1).


