---
abstract: 'Let $G$ be a compact connected Lie group equipped with a bi-invariant metric. We calculate the asymptotic expansion of the heat kernel of the laplacian on $G$ and the heat trace using Lie algebra methods. The Duflo isomorphism plays a key role.'
address: |
    Department of Mathematics\
    The Pennsylvania State University\
    University Park, PA 16802 U.S.A.
author:
- Seunghun Hong
title: The asymptotic expansion of the heat kernel on a compact Lie group
---

[^1]

Introduction
============

The laplacian ${\triangle}$ on a compact riemannian manifold $M$ depends only on the metric on $M$. Conversely, one can deduce the metric from the laplacian. Hence, it is reasonable to expect the spectrum ${\operatorname{Sp}}({\triangle})$ of the laplacian to be constrained by the geometry and vice versa. The first result in this vein is Weyl's law [@weyllap1; @weyllap2] which states that the number $N({\lambda})$ of the eigenvalues of the laplacian less than ${\lambda}$ satisfies the asymptotic equality <span>$$\frac{N({\lambda})}{{\lambda}^{n/2}} = \frac{\operatorname{vol}({\Omega})}{(4\pi)^{n/2}{\Gamma}(\frac{n}{2}+1) } +O(1/{\lambda})$$</span> as ${\lambda}{\rightarrow}\infty$, where ${\Omega}$ is a bounded open subset of ${{\mathbb{R}}}^2$ or ${{\mathbb{R}}}^3$ on which the laplacian is defined. Grding @garding proved the higher-dimensional case (for generic elliptic operators). On closed riemannian manifolds, the same law was proved for the laplacian by Duistermaat and Guillemin @duistermaatguillemin, and for generic elliptic operators by Minakshisundaram and Pleijel @minak.

Weyl's law can be reformulated as an asymptotic behavior of the function <span>$$Z(t) = \sum_{k=1}^\infty e^{-t{\lambda}_k}$$</span> where $-{\lambda}_k$ denotes the eigenvalue of the $k$th eigenfunction of the laplacian. This funcion resembles the "partition function" in physics—a function that is often invariant under the symmetry of the physical system it describes. It is the trace of the heat diffusion operator <span>$$e^{t{\triangle}} = {{\left(\begin{smallmatrix}  e^{-t{\lambda}_1}\\
    &e^{-t{\lambda}_2}\\
    &&e^{-t{\lambda}_3}\\
    &&&\ddots
                           \end{smallmatrix}\right)}}.$$</span> The relation between $Z(t)$ and the number of eigenfunctions becomes evident as we consider the limit $t{\rightarrow}0+$; in that limit, the partial sum <span>$$\sum_{k=1}^K e^{-t{\lambda}_k}$$</span> converges to $K$, the number of the eigenvalues from ${\lambda}_1$ to ${\lambda}_K$. Weyl's law can be shown to be equivalent to the asymptotic law <span> $$t^{n/2}Z(t)  \sim \frac{\operatorname{vol}({\Omega})}{(4\pi)^{n/2}} +O(t)\label{eq:weylthmlap}$$</span> as $t{\rightarrow}0+$. Minakshisundaram and Pleijel @minak showed that the partition function has an asymptotic expansion <span>$$Z(t)\sim \Bigl(\frac{1}{4\pi t}\Bigr)^{\dim M/2} (a_0+a_1t+a_2t^2 +\dotsb)$$</span> as $t{\rightarrow}0+$. McKean and Singer @mckeansinger calculated $a_0,a_1,a_2$ and, in particular, showed that $a_0$ is the riemannian volume of $M$ and $a_1$ is $\frac{1}{6}\int_M S$ where $S$ is the scalar curvature of $M$. The higher order coefficients are extremely hard to calculate in general.

Our goal is to consider the asymptotic expansion of $Z(t)$ in the case where $M$ is a compact connected Lie group $G$, equipped with a metric that is invariant under the left and right-translations. We follow the heat kernel method, that is, we calculate the asymptotic expansion of the heat kernel $k_t(x,y)$ of the laplacian. The asymptotic expansion for $Z(t)$ can then be obtained from the relation <span>$$Z(t) = \int_G k_t(x,x)\,\operatorname{vol}(x).$$</span> Here $\operatorname{vol}(x)$ is the riemannian volume form. Our motivation comes from the expectation that the high degree of symmetry will substantially simplify the calculations.

Our strategy is to utilize the tight connection between $G$ and its Lie algebra ${{\mathfrak{g}}}$. The key ingredient is the Duflo isomorphism <span>$$\operatorname{Duf}:S({{\mathfrak{g}}})^{{\mathfrak{g}}}{\rightarrow}{{{{\mathcal{Z}}}}}({{\mathfrak{g}}}).$$</span> The space $S({{\mathfrak{g}}})^{{\mathfrak{g}}}$ can be identified with the constant coefficient differential operators on ${{\mathfrak{g}}}$, and ${{{{\mathcal{Z}}}}}({{\mathfrak{g}}})$ can be identified with the bi-invariant differential operators on $G$. Owing to the bi-invariance of the metric on $G$, the laplacian ${\triangle}_G$ on $G$ is a bi-invariant differential operator; and it corresponds to the Casimir element in ${{{{\mathcal{Z}}}}}({{\mathfrak{g}}})$. The operator on ${{\mathfrak{g}}}$ corresponding to the preimage of the Casimir under the Duflo isomorphism is (not surprisingly) the laplacian ${\triangle}_{{\mathfrak{g}}}$ on the euclidean space ${{\mathfrak{g}}}$ with an extra constant term. The heat kernel of the flat laplacian is simply the gaussian kernel. Based on these relations, we can deduce, without much effort, the asymptotic expansion of the heat kernel of the laplacian on $G$.

\[Notations\] Throughout this article $G$ denotes a compact connected Lie group, and ${{\mathfrak{g}}}$ its Lie algebra, namely, the tangent space $T_eG$ at the identity $e\in G$. We denote by ${\widetilde{X}}$ the left-invariant vector field on $G$ generated by $X\in{{\mathfrak{g}}}$. We denote by ${{\braket{  \ , \  }}}$ the (selected) bi-invariant metric on $G$. Such a metric is equivalent to an $\operatorname{Ad}(G)$-invariant inner product on ${{\mathfrak{g}}}$.

Preliminaries
=============

We review some basic analytic and algebraic notions related to the laplacian on a compact Lie group.

Analytic Aspects
----------------

Proofs for most of the statements made in this subsection can be found in @bgv\*<span>Ch.2</span>.

\[The Laplacian\] Let ${\ensuremath{C^\infty}}(G)$ denote the space of smooth functions on $G$, and let ${{{\mathfrak{X}}}}(G)$ denote the space of smooth vector fields on $G$. Define the <span>*gradient*</span> operator $\operatorname{grad}:{\ensuremath{C^\infty}}(G){\rightarrow}{{{\mathfrak{X}}}}(G)$ and the <span>*divergence*</span> operator ${\operatorname{div}}:{{{\mathfrak{X}}}}(G){\rightarrow}{\ensuremath{C^\infty}}(G)$ by <span> $$\begin{gathered}
 {\braket{ \operatorname{grad}f,X }}_{\kappa}=Xf,\\
  ({\operatorname{div}}X)\operatorname{vol}= {L}_X\operatorname{vol},  \end{gathered}$$</span> for $X\in{{{\mathfrak{X}}}}(G)$, where $\operatorname{vol}$ is the riemannian volume form and ${L}_X$ is the Lie derivative with respect to $X$. Then the <span>*laplacian*</span> (or the <span>*Laplace-Beltrami operator*</span>) ${\triangle}_G:{\ensuremath{C^\infty}}(G){\rightarrow}{\ensuremath{C^\infty}}(G)$ is defined by <span>$${\triangle}_G f = {\operatorname{div}}(\operatorname{grad}f).$$</span> The definition of ${\triangle}_G$ is independent of local coordinates and depends only on the metric. Because our metric ${{\braket{  \ , \  }}}$ is bi-invariant, so is the laplacian.

An expression for ${\triangle}_G$ in local coordinates $(x_1,\dotsc,x_n)$ can be given as follows. Let $g$ be the matrix defined by $g_{ij}={\braket{ {\partial}_i,{\partial}_j }}$ where ${\partial}_i={\partial}/{\partial}x_i$. Let $g^{ij}$ denote the $(i,j)$-entry of $g{^{-{1}}}$. Then, <span> $${\triangle}_G f = \frac{1}{\sqrt{\det g}} \sum_{i,j}{\partial}_i(\sqrt{\det g} g^{ij}{\partial}_j f).\label{eq:lapbeltlocex}$$</span>

\[The Spectrum of the Laplacian\] So far the laplacian is an unbounded operator whose domain ${\ensuremath{C^\infty}}(G)$ is a dense subspace of $L^2(G)$. The domain can be extended to the Sobolev space $H^2(G)$, that is, the space of measurable functions $u$ on $G$ such that the norm $\|u\|_{H^2}=\|u\|_{L^2}+\sum_{i}\|{\partial}_{i} u\|_{L^2}+\sum_{i,j}\|{\partial}_i{\partial}_j u\|_{L^2}$ is finite. The Sobolev embedding theorem tells us that $H^2(G)$ is a subspace of $L^2(G)$ and that the inclusion map is compact. The extension <span>$${\triangle}_G: H^2(G){\rightarrow}L^2(G)$$</span> is the unique self-adjoint extension of ${\triangle}_G$ which was originally defined on ${\ensuremath{C^\infty}}(G)$. In the language of the theory of unbounded operators, the laplacian is <span>*essentially self-adjoint*</span> on ${\ensuremath{C^\infty}}(G)$.

It turns out that $({\mathbf{1}}-{\triangle}_G)$, where ${\mathbf{1}}$ denotes the identity operator, admits an inverse that is compact. Then the spectral theorem implies that the eigenfunctions $\set{u_k}_{i=1}^\infty$ of $({\mathbf{1}}-{\triangle}_G){^{-{1}}}$ form an orthonormal basis for $L^2(G)$. Owing to the regularity of elliptic differential operators, the eigenfunctions are of ${\ensuremath{C^\infty}}$. We can also conclude from the spectral theorem that the eigenfunctions $u_k$ can be ordered in such a way that the corresponding eigenvalues $-{\lambda}_k$ of ${\triangle}_G$ give a nonincreasing unbounded sequence of negative real numbers, <span>$$0> -{\lambda}_1\ge -{\lambda}_2\ge-{\lambda}_3\ge\dotsb.$$</span> The <span>*heat diffusion operator*</span> of ${\triangle}_G$ is then defined by the matrix <span>$$e^{t{\triangle}_G} = {{\left(\begin{smallmatrix}  e^{-t{\lambda}_1}\\
    &e^{-t{\lambda}_2}\\
    &&e^{-t{\lambda}_3}\\
    &&&\ddots
                           \end{smallmatrix}\right)}}$$</span> with respect to the basis consisting of eigenfunctions of the laplacian.

\[The Heat Kernel\]\[par:heatknlongp\] The heat diffusion operator is, in fact, an integral operator on $L^2(G)$ with a <span>$C^\infty$</span>-kernel. That means, there is some $K_t\in{\ensuremath{C^\infty}}(M\times M)$, such that <span> $$(e^{t{\triangle}_G}f)(x) = \int_GK_t(x,y)f(y)\,\operatorname{vol}(y) \label{eq:heatkernel}$$</span> for any $f\in L^2(G)$. The kernel $K_t$ is called the <span>*heat kernel*</span> of ${\triangle}_G$. Owing to the equivariance of ${\triangle}_G$, we have $K_t(x,y)=K_t(e,x{^{-{1}}}y)$, where $e$ is the identity of $G$ any $x,y$ are arbitrary points in $G$. So the heat kernel is completely determined by the function <span>$$k_t(x) {:=}K_t(e,x).$$</span> We will call this the <span>*heat convolution kernel*</span> for ${\triangle}_G$. With it, equation can be rephrased as <span> $$(e^{t{\triangle}_G}f)(x) = \int_Gk_t(x{^{-{1}}}y)f(y)\,\operatorname{vol}(y).$$</span>

The trace of the heat diffusion operator, $Z(t)=\operatorname{tr}(e^{t{\triangle}_G})$, is called the <span>*partition function*</span> or the <span>*heat-trace*</span> of ${\triangle}_G$. It can be calculated in terms of the heat kernel as follows: <span> $$Z(t) = \int_GK_t(x,x)\,\operatorname{vol}(x)=k_t(e)\operatorname{vol}(G).\label{eq:heattrace}$$</span>

The convolution kernel $k_t$ admits an <span>*asymptotic expansion*</span> <span> $$k_t \sim h_t (a_0+a_1t+a_2t^2+\dotsb) \label{eq:asympexp}$$</span> as $t{\rightarrow}0+$, where $h_t$ is the gaussian kernel and $a_i$ are smooth functions on $M$. The gaussian kernel $h_t$, under the exponential chart near $e\in G$, takes the form <span>$$h_t(X)=\frac{e^{-\|X\|^2/4t}}{(4\pi t)^{\dim M/2}}.$$</span> The asymptotic expansion means that, for each nonnegative integers $r$, $N$, and $n$, there is a constant $C$ such that <span>$$\Bigl\|k_t - h_t\sum^{N}_{i=0}a_it^i\Bigr\|_{C^r} \le C |t|^n$$</span> for sufficiently small $t$. Here $\|\cdot\|_{C^r}$ denotes the usual norm on $C^r(M)$. The asymptotic series $s_t{:=}h_t\sum^{\infty}_{i=0}a_it^i$ is a formal solution to the differential equation <span> $$({\partial}_t+{\triangle}_G)s_t = 0 \label{eq:diffeqasympexp}$$</span> under the condition $s_t(e)=1$. This gives a family of differential equations that can be solved inductively: <span>$$({\partial}_t+{\triangle}_G)h_t\sum_{i=0}^{k}a_it^i =h_t t^k{\triangle}_Ga_k.$$</span>

Algebraic Aspects
-----------------

\[The Universal Enveloping Algebra\] The universal enveloping algebra ${{{{\mathcal{U}}}}}({{\mathfrak{g}}})$ of ${{\mathfrak{g}}}$ is constructed by first taking the tensor algebra $T({{\mathfrak{g}}})$ of ${{\mathfrak{g}}}$ and then taking the quotient by the ideal $I({{\mathfrak{g}}})$ generated by the elements of the form $X{\otimes}Y-Y{\otimes}X - [X,Y]$: <span>$${{{{\mathcal{U}}}}}({{\mathfrak{g}}}) = T({{\mathfrak{g}}})/I({{\mathfrak{g}}}).$$</span> The adjoint action of $X\in{{\mathfrak{g}}}$ on ${{\mathfrak{g}}}$ extends to ${{{{\mathcal{U}}}}}({{\mathfrak{g}}})$ as a derivation. The invariant subspace of ${{{{\mathcal{U}}}}}({{\mathfrak{g}}})$ under all such inner derivations is the center of the universal enveloping algebra; <span>$${{{{\mathcal{Z}}}}}({{\mathfrak{g}}})={{{{\mathcal{U}}}}}({{\mathfrak{g}}})^{{\mathfrak{g}}}.$$</span>

Suppose we have a simple tensor $X_1\dotsm X_n$ in ${{{{\mathcal{U}}}}}({{\mathfrak{g}}})$. It generates the left-invariant differential operator $\tilde X_1\dotsm \tilde X_n$, where $\tilde X_i$ denotes the left-invariant vector field on $G$ generated by $X_i\in{{\mathfrak{g}}}$. This gives an algebra isomorphism between ${{{{\mathcal{U}}}}}({{\mathfrak{g}}})$ and the space $D(G)$ of left-invariant differential operators. Under this bijection, the center ${{{{\mathcal{Z}}}}}({{\mathfrak{g}}})$ of the universal enveloping algebra corresponds to the subalgebra of bi-invariant differential operators on $G$.

\[The Casimir Element\] We pointed out earlier that the laplacian ${\triangle}_G$ is a bi-invariant operator. If $\set{X_i}_{i=1}^{n}$ ($n=\dim{{\mathfrak{g}}}$) is an . for ${{\mathfrak{g}}}$, then we claim that <span> $${\triangle}_G =\sum_{i=1}^{n}\tilde X_i\tilde X_i. \label{eq:lapiscas}$$</span> In other words, the element in ${{{{\mathcal{U}}}}}({{\mathfrak{g}}})$ that corresponds to ${\triangle}_G$ is the <span>*Casimir element*</span>: <span>$${\mathrm{Cas}}= \sum_{i=1}^{n} X_iX_i.$$</span> Since the differential operators on both sides of are left-invaraint, it is enough to check their equality at $e\in G$. To that end, take the exponential coordinate system $(x_1,\dotsc,x_n)$ centered at $e$. In other words, the coordinates $(x_1,\dotsc,x_n)$ correspond to the point $\exp\bigl(\sum_{i=1}^n x_iX_i\bigr)$ in $G$. In this coordinate system, we have <span> $$\biggl.\sum_{i=1}^{n}\tilde X_i\tilde X_i f\,\biggr|_e = \biggl.\sum_{i=1}^{n}\piff^2f x_i^2.\biggr|_0.$$</span> We need to show that the . is equal to ${\triangle}_Gf$ at the identity; in other words, we need to verify that the expression of ${\triangle}_G$ at the identity under the exponential chart is $\sum_{i=1}^n\left.\frac{{\partial}}{{\partial}x_i}\right|_0$. To see that this is the case, recall the riemannian exponential map $\operatorname{Exp}:{{\mathfrak{g}}}{\rightarrow}G$ arising from the metric (see @helgason\*<span>Ch.1, $\S$6</span> for details). This is, in general, different from the Lie-theoretic exponential map $\exp$ which has nothing to do with the metric. But the two exponential maps do agree if the metric is bi-invariant, which can be seen as follows. Let ${\nabla}$ be the riemannian connection so that it satisfies ${\nabla}_{{\widetilde{X}}} {\braket{ {\widetilde{Y}},{\widetilde{Z}} }}={\braket{ {\nabla}_{{\widetilde{X}}}{\widetilde{Y}},{\widetilde{Z}} }}+{\braket{ {\widetilde{Y}},{\nabla}_{{\widetilde{X}}}{\widetilde{Z}} }}$. Using the identity $2{\braket{ {\nabla}_{{\widetilde{X}}}{{\widetilde{Y}}},{{\widetilde{Z}}} }} ={{\widetilde{X}}}{\braket{ {{\widetilde{Y}}},{{\widetilde{Z}}} }}+{{\widetilde{Y}}}{\braket{ {{\widetilde{Z}}},{{\widetilde{X}}} }}-{{\widetilde{Z}}}{\braket{ {{\widetilde{X}}},{{\widetilde{Y}}} }}+{\braket{ [{{\widetilde{X}}},{{\widetilde{Y}}}],{{\widetilde{Z}}} }}-{\braket{ [{{\widetilde{Y}}},{{\widetilde{Z}}}],{{\widetilde{X}}} }}+{\braket{ [{{\widetilde{Z}}},{{\widetilde{X}}}],{{\widetilde{Y}}} }}$ and the skew-symmetricity of the $\operatorname{ad}({{\mathfrak{g}}})$-action, one can check that <span> $${\nabla}_{{\widetilde{X}}}{{\widetilde{Y}}}={{\frac{1}{2}}}[{{\widetilde{X}}},{{\widetilde{Y}}}] \label{eq:biinvlevicicon}$$</span> holds for all $X,Y$ in ${{\mathfrak{g}}}$. In particular, ${\nabla}_{{\widetilde{X}}}{{\widetilde{X}}}=0$. It follows @helgason\*<span>Ch.2, Prop.1.4</span> that the geodesic ${\gamma}_X(t)$, such that ${\gamma}_X(0)=e$ and ${\gamma}_X'(0)=X$, is a group homomorphism ${{\mathbb{R}}}{\rightarrow}G$. By the uniqueness of $1$-parameter subgroups, we have ${\gamma}_X(t)=\exp(tX)$. This implies that the riemannian exponential map is identical to the Lie-theoretic exponential map. As a consequence, the matrix $[g_{ij}]$ of the metric under the exponential chart satisfies $g_{ij}(e)={\delta}_{ij}$ (Kronecker delta) and ${\partial}_kg_{ij}(e)=0$. Therefore, by equation , we have <span> $$\biggl.{\triangle}_Gf\,\biggr|_e = \biggl.\sum_{i=1}^{n}\piff^2f x_i^2.\biggr|_0.$$</span> Hence ${\triangle}_G$ agrees with $\sum_{i=1}^n{\widetilde{X}}_i{\widetilde{X}}_i$ at the identity, and this proves that these two invariant operators are equal everywhere on $G$.

\[The Duflo Isomorphism\] Let $S({{\mathfrak{g}}})$ be the symmetric algebra of ${{\mathfrak{g}}}$. The adjoint action of $X\in{{\mathfrak{g}}}$ on ${{\mathfrak{g}}}$ extends, as an inner derivation, to $S({{\mathfrak{g}}})$. Denote by $S({{\mathfrak{g}}})^{{\mathfrak{g}}}$ the subalgebra of $S({{\mathfrak{g}}})$ that is invariant under all such inner derivations. We identify $S({{\mathfrak{g}}})^{{\mathfrak{g}}}$ with the constant coefficient differential operators on ${{\mathfrak{g}}}$. Duflo @duflo showed that there is an algebra isomorphism <span>$$\operatorname{Duf}:S({{\mathfrak{g}}})^{{\mathfrak{g}}}{\rightarrow}{{{{\mathcal{Z}}}}}({{\mathfrak{g}}}).$$</span> If we view, for the moment, ${{{{\mathcal{U}}}}}({{\mathfrak{g}}})$ as the convolution algebra of distributions on $G$ supported at $e\in G$ and $S({{\mathfrak{g}}})$ as the convolution algebra of distributions on ${{\mathfrak{g}}}$ supported at $0\in{{\mathfrak{g}}}$, then $\operatorname{Duf}$ is $j\cdot \exp_*$, that is, the push-forward along the exponential map followed by the multiplication by the function $j(X) = \det^{1/2}(\frac{\sinh \operatorname{ad}_X/2}{\operatorname{ad}_X/2})$. We note that the push-forward map $\exp_*$ alone gives the .-Birkhoff-Witt isomorphism $S({{\mathfrak{g}}})^{{\mathfrak{g}}}{\rightarrow}{{{{\mathcal{Z}}}}}({{\mathfrak{g}}})$, which is only a vector space isomorphism.

The Asymptotic Expansion of the Heat Kernel of the Laplacian on a Compact Lie Group
===================================================================================

Let ${\triangle}_{{\mathfrak{g}}}$ be the laplacian of the euclidean space ${{\mathfrak{g}}}$; if $\set{X_i}_{i=1}^n$ is an . for ${{\mathfrak{g}}}$, then ${\triangle}_{{\mathfrak{g}}}=\sum_{i=1}^nX_iX_i$. This is an element of $S({{\mathfrak{g}}})^{{\mathfrak{g}}}$, which we identify as the space of constant coefficient differential operators on ${{\mathfrak{g}}}$. The image of ${\triangle}_{{\mathfrak{g}}}$ under the Duflo isomorphism is <span> $$\operatorname{Duf}({\triangle}_{{\mathfrak{g}}})= {\mathrm{Cas}}+\frac{1}{24}\operatorname{tr}_{{\mathfrak{g}}}({\mathrm{Cas}}), \label{eq:lapduf}$$</span> where $\operatorname{tr}_{{\mathfrak{g}}}$ denotes the trace for the linear operators on ${{\mathfrak{g}}}$ obtained by extending the adjoint representation $\operatorname{ad}:{{\mathfrak{g}}}{\rightarrow}\operatorname{End}({{\mathfrak{g}}})$ to the universal enveloping algebra ${{{{\mathcal{U}}}}}({{\mathfrak{g}}})$. Equation can be proved in more than one way. For a Lie-algebraic proof, we refer to the work of Alekseev and Meinrenken @alekmein. Recall that ${\mathrm{Cas}}$, under the identification of ${{{{\mathcal{Z}}}}}({{\mathfrak{g}}})$ with the space of bi-invariant differential operators on $G$, corresponds to the laplacian ${\triangle}_G$ on $G$. And, by a result of Kostant @kostant\*<span>Eq.1.85</span>, we have <span> $$\frac{1}{24}\operatorname{tr}_{{\mathfrak{g}}}{\mathrm{Cas}}= -{\braket{ \rho,\rho }}\label{eq:kostantcastr}$$</span> where ${{\braket{  \ , \  }}}$ is the inner product—induced from the metric—on the dual space ${{\mathfrak{t}}}^*$ of a maximal abelian subalgebra ${{\mathfrak{t}}}$ of ${{\mathfrak{g}}}$, and $\rho\in{{\mathfrak{t}}}^*$ is the half the sum of the positive roots of $G$. Hence, we have <span> $$\operatorname{Duf}({\triangle}_{{\mathfrak{g}}})= {\triangle}_G-{\braket{ \rho,\rho }}. \label{eq:duflapcptg}$$</span>

\[lem:duflapcptg\] Let $\operatorname{Duf}({\triangle}_{{\mathfrak{g}}})^{\exp}$ be the differential operator defined near a . of $0\in{{\mathfrak{g}}}$ by expressing the differential operator $\operatorname{Duf}({\triangle}_{{\mathfrak{g}}})$ on $G$ under the exponential chart near the identity $e\in G$. We have <span>$$\operatorname{Duf}({\triangle}_{{\mathfrak{g}}})^{\exp} = j{^{-{1}}}{\circ}{\triangle}_{{\mathfrak{g}}}{\circ}j,$$</span> where $j$ and $j{^{-{1}}}$ above indicates the multiplication by the function $j(X) = \det^{1/2}(\frac{\sinh \operatorname{ad}_X/2}{\operatorname{ad}_X/2})$ and its reciprocal, respectively.

Recall that the Duflo isomorphism is given by $j\cdot\exp_*$ under the identification of ${{{{\mathcal{U}}}}}({{\mathfrak{g}}})$ with the convolution algebra of distributions on $G$ supported at $e\in G$ and $S({{\mathfrak{g}}})$ with the convolution algebra of distributions on ${{\mathfrak{g}}}$ supported at $0\in{{\mathfrak{g}}}$. Thus, back in the language of differential operators, $\left.\operatorname{Duf}({\triangle}_{{\mathfrak{g}}})f\right|_{e} = \left.{\triangle}_{{{\mathfrak{g}}}}(jf^{\exp})\right|_0$ where $f^{\exp}{:=}f{\circ}\exp$. Since $j(0)=1$, we have $\left.\operatorname{Duf}({\triangle}_{{\mathfrak{g}}})^{\exp}f^{\exp}\right|_{0} = \left.(j{^{-{1}}}{\circ}{\triangle}_{{{\mathfrak{g}}}}{\circ}j)f^{\exp})\right|_0$. Thus, $\operatorname{Duf}({\triangle}_{{\mathfrak{g}}})^{\exp}$ agrees with $j{^{-{1}}}{\circ}{\triangle}_{{\mathfrak{g}}}{\circ}j$ at $0\in{{\mathfrak{g}}}$. This implies that they agree on a . of $0\in{{\mathfrak{g}}}$, provided that the operators $\operatorname{Duf}({\triangle}_{{\mathfrak{g}}})^{\exp}$ and $j{^{-{1}}}{\circ}{\triangle}_{{\mathfrak{g}}}{\circ}j$ both define invariant differential operators near $e\in G$. The invariance of $\operatorname{Duf}({\triangle}_{{\mathfrak{g}}})^{\exp}$ is clear from equation . For the invariance of $j{^{-{1}}}{\circ}{\triangle}_{{\mathfrak{g}}}{\circ}j$, we refer to @helgasongg\*<span>Ch.II, Eq.71, p.273</span>.

\[thm:asymhtkduflap\] Let $p_t$ be the convolution kernel of $e^{t\operatorname{Duf}({\triangle}_{{\mathfrak{g}}})}$. Then $p_t^{\exp}{:=}p_t{\circ}\exp$ has the asymptotic expansion <span>$$p_t^{\exp}\sim h_t j{^{-{1}}},\qquad t{\rightarrow}0+,$$</span> valid in some . of $0\in{{\mathfrak{g}}}$, where $h_t$ is the gaussian kernel on ${{\mathfrak{g}}}$.

Let $s_t{:=}h_t\sum_{i=0}^{\infty}a_it^i$ be the asymptotic expansion for $p_t^{\exp}$. It is the formal solution to <span> $$({\partial}_t+\operatorname{Duf}({\triangle}_{{\mathfrak{g}}})^{\exp})s_t =0, \label{eq:liegphteq}$$</span> where $\operatorname{Duf}({\triangle}_{{\mathfrak{g}}})^{\exp}$ is the differential operator $\operatorname{Duf}({\triangle}_{{\mathfrak{g}}})$ expressed in the exponential chart near the identity $e\in G$. By Lemma <span>(<span>\[lem:duflapcptg\]</span>)</span>, the differential equation is equivalent to <span>$$({\partial}_t-j{^{-{1}}}{\circ}{\triangle}_{{\mathfrak{g}}}{\circ}j)s_t=0.$$</span> We need to show that $h_t/j$ satisfies this differential equation. This is easily done by invoking the fact that $h_t$ satisfies the heat equation $({\partial}_t-{\triangle}_{{\mathfrak{g}}})h_t=0$; indeed, <span>$$({\partial}_t-j{^{-{1}}}{\circ}{\triangle}_{{\mathfrak{g}}}{\circ}j)h_t/j = j{^{-{1}}}{\partial}_th_t - j{^{-{1}}}{\triangle}_{{\mathfrak{g}}}h_t=j{^{-{1}}}({\partial}_t-{\triangle}_{{\mathfrak{g}}})h_t=0.\qedhere$$</span>

\[lem:scacurvcptliegp\] Let $G$ be a compact connected Lie group equipped with a bi-invariant metric. The scalar curvature $S$ of $G$ is equal to $-\frac{1}{4}\operatorname{tr}_{{\mathfrak{g}}}({\mathrm{Cas}})$.

We pointed out in that the riemannian connection ${\nabla}$ on $G$ satisfies ${\nabla}_{{\widetilde{X}}}{\widetilde{Y}} = {{\frac{1}{2}}}[{\widetilde{X}},{\widetilde{Y}}]$. A routine calculation shows that the Riemann curvature tensor $\mathrm{Rm}$ satisfies <span>$$\mathrm{Rm}({\widetilde{X}},{\widetilde{Y}},{\widetilde{Z}},{\widetilde{W}}) = -\frac{1}{4}{\braket{ [[X,Y],Z],W }} =-\frac{1}{4}{\braket{ [X,Y],[Z,W] }},$$</span> where, for the last equality, we have used the fact that $\operatorname{ad}({{\mathfrak{g}}})$-action is skew-symmetric. Let $\set{X_i}_{i=1}^{\dim{{\mathfrak{g}}}}$ be an . for ${{\mathfrak{g}}}$. For the scalar curvature $S$, we have <span> $$\begin{aligned}
 S &=\sum_{i,j=1}^{\dim{{\mathfrak{g}}}} \mathrm{Rm}({\widetilde{X}}_i,{\widetilde{X}}_j,{\widetilde{X}}_j,{\widetilde{X}}_i)=-\frac{1}{4}\sum_{i,j=1}^{\dim{{\mathfrak{g}}}}{\braket{ [[X_i,X_j],X_j],X_i }}\\
    &=-\frac{1}{4}\sum_{i,j=1}^{\dim{{\mathfrak{g}}}}{\braket{ \operatorname{ad}({\mathrm{Cas}})X_i,X_i }}=-\frac{1}{4}\operatorname{tr}_{{\mathfrak{g}}}({\mathrm{Cas}}).\qedhere\end{aligned}$$</span>

\[thm:asymhtklapcptg\] Let $G$ be a compact connected Lie group equipped with a bi-invariant metric. Let $k_t$ be the heat convolution kernel for the laplacian on $G$. Then $k_t^{\exp} = k_t{\circ}\exp$ has the asymptotic expansion <span>$$k_t^{\exp}\sim  \frac{h_t}{j}e^{tS/6}$$</span> as $t{\rightarrow}0+$, valid in a . of $0\in{{\mathfrak{g}}}$, where $S$ is the scalar curvature, $j$ is the function defined by the power series $j(X)=\det^{1/2}(\frac{\sinh \operatorname{ad}_X/2}{\operatorname{ad}_X/2})$ and $h_t$ is the gaussian kernel on ${{\mathfrak{g}}}$, that is, $h_t(X) = e^{-\|X\|/4t}/(4\pi t)^{\dim{{\mathfrak{g}}}/2}$.

Owing to equations , , and Lemma <span>(<span>\[lem:scacurvcptliegp\]</span>)</span>, we have $e^{t{\triangle}_G}=e^{tS/6}e^{t\operatorname{Duf}({\triangle}_{{\mathfrak{g}}})}$. This implies $k_t=e^{tS/6}p_t$ where $p_t$ is the convolution kernel for $e^{t\operatorname{Duf}({\triangle}_{{\mathfrak{g}}})}$. The theorem now follows from Lemma <span>(<span>\[thm:asymhtkduflap\]</span>)</span>.

Let $G$ be a compact connected Lie group equipped with a bi-invariant metric. Let $S$ be the scalar curvature. The heat-trace $Z(t)=\operatorname{tr}(e^{t{\triangle}_G})$ of the laplacian ${\triangle}_G$ on $G$ has the asymptotic expansion <span>$$Z(t) \sim \operatorname{vol}(G)\,e^{tS/6}$$</span> as $t{\rightarrow}0+$.

This follows from Theorem <span>(<span>\[thm:asymhtklapcptg\]</span>)</span> and equation .

[^1]: The author wishes to express his heartfelt gratitude to his advisor, Professor N. Higson, for the kind guidance and advice.

{'source': 'arXiv_out/1111'}