1
$\begingroup$

Let $G$ be a compact Lie group with Lie algebra $\mathfrak{g}$. I know that if $g$ is semi-simple then the Laplace-Beltrami operator on $G$ agrees with the Casimir element and therefore commutes with with the elements of $\mathfrak{g}$. Here we use the Riemmanian metric given by the Killing form.

In the general case, we can write $\mathfrak{g} = \mathfrak g' \oplus \mathfrak g''$ with $\mathfrak g'$ semi-simple. Now we can endow $G$ with a Riemmaniam metric given by the Killing form on $\mathfrak g'$ and any other metric on $\mathfrak g''$.

Is it possible to show that in this case the Laplace-Beltrami operator still commutes with the elements of $\mathfrak g$?

If this is a well known result, what is a good reference for this?

$\endgroup$

1 Answer 1

1
$\begingroup$

In general, no.

Let $E$ denote the restriction of the Laplace-Beltrami operator to the identity, and look at it's action on functions. Then if coincides with the Laplace-deRham operator, $\delta d$. If we have basis, $E_i$, then $E=E^iE_i$, and let $[E, E_j]=a_i^kE_k$ and $[E, E^j]=b_k^jE^k$. Then $[E_i, E_jE^j]=[E_i, E_j]E^j+E_j[E_i, E^j]=a_i^kE_kE^j+b_k^jE_jE^k$. So that we are reduced to the relation, $a_i^k=-b_k^j$. Now we compute, denoting the metric as $B$, $B([E_j, E], E^l)-B(E_j, [E, E^l])=-a_j^l-b_l^j$. Using linearity we thus see that community of $E$ with $\mathfrak{g}$ is equivalent to the relation $B([X, Y], Z)=B(X, [Y, Z])$.

Every such form is a scalar multiple of the Killing form when $\mathfrak{g}$ is simple, so it is determined there. When $\mathfrak{g}$ is abelian, it is likewise possible since the relation is redundant. That said, there are many examples of Lie algebras that do not possess such a form, being known as quadratic lie algebras. For example take two vectors, $X, Y$, with $[X, Y]=X$. Then $B(X, Y)=B([X, Y], Y)=B(X, 0)=0$ and $B(X, X)=B(X, [X, Y])=B([X, X], Y)=0$ so that this cannot be non-degenerate.

$\endgroup$
2
  • $\begingroup$ I don't understand very well your answer. You are talking about the properties of the Casimir element. But I'm asking about properties of the Laplace-Beltrami operator defined on a compact Lie group. I don't think they are same because the Casimir element do not depend on the Riemannian metric defined on $G$ but the Laplace-Beltrami does. What am I not understanding here? $\endgroup$ Commented Jul 15, 2015 at 15:08
  • $\begingroup$ I was a bit sloppy. The Casmir element usually referred to the element $E_iE^i$ with respect to some metric, but this is usually assumed to be invariant, or equivalently, a central element of the enveloping algebra of pure degree $2$, but a priori we don't know that the metric will be invariant! I have edited it using better notion. $\endgroup$
    – Pax
    Commented Jul 17, 2015 at 0:26

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .