# Bi invariant metrics on $SL_n(\mathbb{R})$

Does there exist a bi-Invariant metric on $SL_n(\mathbb{R})$. I tried to google a bit but I didn't find anything helpful.

-

Doesn' t the negative of the Killing form do? – Mariano Suárez-Alvarez♦ Dec 20 '10 at 16:04
Ah: That gives a biinvariant semiRiemannian metric, rather. – Mariano Suárez-Alvarez♦ Dec 20 '10 at 16:06

## 2 Answers

A connected Lie group has a biinvariant metric iff it is isomorphic to the dirtect product of a compact one and a vector space---see Milnor's Curvatures of left invariant metrics. Such a factorization would carry over to the Lie algebras, etc.

-

It's enough to show the answer is "no" for $SL_2(\mathbb{R})$, because $SL_2(\mathbb{R})$ is naturally embedded in $SL_n(\mathbb{R})$, and if $SL_n(\mathbb{R})$ has a biinvariant metric, then the induced metric on $SL_2(\mathbb{R})$ would be biinvariant.

So let's focus on $SL_2(\mathbb{R})$. Finding a biinvariant metric on $SL_2(\mathbb{R})$ is equivalent to finding an $Ad(SL_2(\mathbb{R})$ invariant inner product on $\mathfrak{sl_2(\mathbb{R})}$, so I'll show there is no such $Ad$ invariant metric.

Now, $\mathfrak{sl_2(\mathbb{R})}$ is 3 dimensional with basis $E_{12}, E_{21}, E_{11} - E_{22}$ where $E_{ij}$ denotes the matrix with a 1 in the $ij$ slot and a 0 elsewhere.

Consider $A = diag(2,1/2)$ ,the diagonal matrix with diagonal entries 2 and 1/2. This is clearly in $SL_2(\mathbb{R})$. Note then that $AE_{12}A^{-1} = 4 E_{12}$.

But if an inner product were $Ad$ invariant, it would have to preserve the length of $E_{12}$, giving a contradiction.

Thus, there is no $Ad$ invariant inner product on $\mathfrak{sl_2(\mathbb{R})}$, and hence there is no biinvariant metric on $SL_n(\mathbb{R})$.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 24, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8921047449111938, "perplexity_flag": "head"}