Intereting Posts

Why does Group Theory not come in here?
Surface Element in Spherical Coordinates
Compute $\sum \frac{1}{k^2}$ using Euler-Maclaurin formula
The $L^1$ convergence of $f(x – a_n) \to f(x)$
Proving that $\left(\mathbb Q:\mathbb Q\right)=2^n$ for distinct primes $p_i$.
Is $512^3+675^3+720^3$ a composite number?
A 1,400 years old approximation to the sine function by Mahabhaskariya of Bhaskara I
Are angles ever multiplied?
Poisson's summation formula
Realizing the monoid $\mathbb{N}/(3=1)$ from a category with finite coproducts
Open subspaces of locally compact Hausdorff spaces are locally compact
Fixed field of automorphism $t\mapsto t+1$ of $k(t)$
Variance of a stochastic process with Gaussian correlation function
Cardinality of a set that consists of all existing cardinalities
The Velocities of the Contact Points of Two Rolling Curves are Equal at the Instant of Contact

I am trying to answer the following question:

Which Lie groups have a Lie algebra admitting an $\text{Ad}$-invariant inner product?

First of all, all compact Lie groups satisfy this condition because one can average an arbitrary inner product on the algebra over the group.

- Endomorphisms of $V$ and the dual space
- How should I show that the Lie algebra so(6) of SO(6) is isomorphic to the Lie algebra su(4) of SU(4)?
- Basis for adjoint representation of $sl(2,F)$
- When is the Killing form null?
- Complete reducibility of sl(3,F) as an sl(2,F)-module
- Lie algebra homomorphism preserves Jordan form

This means that all Lie groups that have the same Lie algebra as some compact group also satisfy the condition.

Indeed, the group is then locally isomorphic to a compact group, and taking “the same” inner product on the Lie algebra, we see that this inner product is invariant under all $\text{Ad}_g$ for $g$ in some neighbourhood of the identity, but this neighbourhood generates the whole group, from which the claim follows.

Another approach would be to show that an inner product is $\text{Ad}$-invariant precisely if it is $\text{ad}$-invariant (like here, although there may be an issue with connectedness of the group) and conclude that the Lie algebra completely characterizes whether or not an invariant inner product exists.

I suspect these are all the Lie groups that answer the question, because Wikipedia claims this (the second property, at “this property characterizes compact Lie algebras”). However, the reference given is just “SpringerLink”, which is of no use.

Could somebody confirm that the answer to the above question is “all Lie groups with a compact Lie algebra”?

I have consulted multiple sources, but none of them completely establish the result I’m looking for. For example, *Lie groups beyond an introduction* by Knapp establishes what I already know (that it works for groups with a compact Lie algebra), and establishes the converse only in case the inner product is actually the Killing form.

- Every principal $G$-bundle over a surface is trivial if $G$ is compact and simply connected: reference?
- Special linear group as a submanifold of $M(n, \mathbb R)$
- Lie derivative of a vector field equals the lie bracket
- Basis for adjoint representation of $sl(2,F)$
- Endomorphisms of $V$ and the dual space
- What does $GL_n(R)$ look like?
- Example of a diffeomorphism on $\mathbb{R}^{3}$ onto itself (or cube onto itself)
- How to obtain a Lie group from a Lie algebra
- Complete reducibility of sl(3,F) as an sl(2,F)-module
- Normal Subgroups of $SU(n)$

The answer can be found in the reference given by muzzlator. Combining proposition 18.3 on page 511 and theorem 18.8 on page 514, we see that the following are equivalent:

- The Lie algebra of the Lie group $G$ admits an $\text{Ad}$-invariant inner product,
- The Lie group $G$ admits a bi-invariant metric,
- The Lie group $G$ is the cartesian product of a compact group and a vector space $\mathbb{R}^n$.

The equivalence between the first two statements is relatively straightforward, and a proof is given in the reference linked to above. The equivalence between the last two statements is stated in the above reference, but not proved (though the proof is sketched). One refers to lemma 7.5 of Milnor’s paper *Curvatures of Left Invariant Metrics on Lie Groups* (1976) for a proof.

- What structure does the set of all the matchings in a graph have?
- What books are recommended for learning calculus on my own?
- What software is used to draw undirected graphs?
- Algebraically, why is $\mathbb{Z}/(i + 1)$ isomorphic to $\mathbb{Z}_{2}$?
- Original works of great mathematicians
- Is this map to a finite dimensional topological vector space an open map?
- If $f(x) = h(x)g(x)$, is $h$ differentiable if $f$ and $g$ are?
- Why is the collection of all groups considered a proper class rather than a set?
- Show that $1/\sqrt{1} + 1/\sqrt{2} + … + 1/\sqrt{n} \leq 2\sqrt{n}-1$
- How to read a book in mathematics?
- What is the most rigorous definition of a matrix?
- Analogue of the Cantor-Bernstein-Schroeder theorem for general algebraic structures
- How can $n \lg n = O(n^{log_3 4 – r})$?
- Kolmogorov's sufficient and necessary condition for SLLN – What about pairwise uncorrelated RV?
- Subgroups between $S_n$ and $S_{n+1}$