Uniqueness of bi-invariant metrics on Lie groups?

4.7k Views Asked by At

As noted here , a Lie group $G$ admits a bi-invariant metric if and only if $G$ is the cartesian product of a compact (Lie) group and a vector space $\mathbb{R}^n$.

The question:

For which Lie groups that posses a bi-invariant metric, this metric is unique up to scalar multiple?

Remarks:

1) Every Lie group posses a left invariant metric. Just take any inner product on $T_eG$ and translate it to all the other tangent spaces via the differential of left translation.

This implies there are many left invariant metrics on any Lie group $G$ (which are not scalar multiples of one another). This follows from the fact this is true in the level of linear algebra. (Just take any two inner products on $T_eG$ which are not scalar multiple of one another).

2) As noted by Daniel Fischer, in the case of an abelian group, since right-invariance & left-invariance coincide, remark 1 above implies existence of many different bi-invariant inner products.

As a corollary, it follows that any direct products of an abelian Lie group of (dimension >1) and a non-abelian Lie Group also have non-unique metrics.

Hence, we must exclude from the search direct product of compact groups and a vector space. This leaves out the case of compact nonabelian groups which are not direct products of abelian & non-abelian groups. For which of these Lie groups the uniqueness hold?

1

There are 1 best solutions below

0
On BEST ANSWER

The answer to your question comes from Schur's lemma, in the theory of group representations, applied to the adjoint representation of the Lie group.

The bi-invariant metric restricts to an Ad-invariant scalar product on the Lie algebra. Schur's lemma says that, in an irreducible representation, there is only one invariant symmetric bilinear form, up to a scalar multiple, (this is just one version of Schur's lemma, which has many other uses).

A Lie group is simple if and only if its adjoint representation is irreducible. Therefore, the answer to you question is : simple Lie group.

What if a compact Lie group is not simple. Well, then, it is a direct product of simple Lie groups and of a torus (afterwards, there can be a quotienting by a discrete subgroup). The cone of bi-invariant metrics is made up of positive linear combinations of the bi-invariant metrics of the factors in this direct product. -- Salem