Abstract
On the torus, it is possible to assign a global symbol to a pseudodifferential operator using Fourier series. In this paper we investigate the relations between the local and global symbols for the operators in the classical Hörmander calculus and describe the principal symbols, the noncommutative residue and the canonical trace of an operator in terms of its global symbol. We also generalise these results to any compact Lie group.
Introduction
On general smooth manifolds, an operator is pseudodifferential when it belongs to some Hörmander class \(\Psi ^m\) in local coordinates: this property is local. Although each operator remains globally defined, one cannot hope to extract global geometric information from its local symbols in coordinate charts. However, in some settings, it is possible to define a notion of global symbols: it is naturally the case for operators on \(\mathbb {R}^n\) (see e.g. [23]), but also on the torus, starting with the work of Agranovitch in dimension one in 1979 [1], followed by many studies of toroidal or periodical pseudodifferential operators, e.g. [2, 21, 22, 35]. Recently, this idea has been studied on the noncommutative torus by Lévy et al. in [20].
In this paper, we study the case of compact Lie groups which may be viewed as a different direction for a noncommutative generalisation of the torus. Indeed, on the torus and more generally on any compact Lie group, it is possible to use the Fourier series to define the global symbol of a pseudodifferential operator on the torus. The aim of this paper is to characterise the classical Hörmander classes in terms of the global symbols, and then to investigate the relations between the global symbols and the local symbols in coordinate charts. In particular, we will relate the global symbols with local objects such as the principal symbol and the noncommutative residue of an operator, and also with its (global) canonical trace. To our knowledge, these results are new.
The definitions of the noncommutative residue and of the canonical trace together with further references will be given in Sect. 2, so in this introduction we will restrict our comments to their origins and uses. The noncommutative residue was introduced independently by Guillemin [12] and Wodzicki [36, 37] in the early eighties. Beside being the only trace on the algebra of pseudodifferential operators up to constants, its importance comes from its applications in mathematical physics, mainly in Connes’ noncommutative geometry due to its link with the Dixmier trace [3] but also in relation with e.g. the Einstein–Hilbert action (see [19, Section 6.1] and the references therein). The canonical trace was constructed by Kontsevich and Vishik in the midnineties [17] as a tool to study further zeta functions and determinants of elliptic pseudodifferential operators. Since then, it has received considerable attention and found interesting applications, see e.g. [24, 25, 30].
On the torus \(\mathbb {T}^n\), using trigonometric Fourier series, the relations between local and global symbols are well understood [1, 2, 21, 22, 27, 35]: a global symbol \(\sigma \) is defined on \(\mathbb {T}^n \times \mathbb {Z}^n\), and, when the corresponding operator is classical, this global symbol extends naturally to a symbol on \(\mathbb {T}^n\times \mathbb {R}^n\) which coincides with the local symbol modulo smoothing symbols, see Sect. 3. Therefore the notions of principal symbol and noncommutative residue have obvious meanings locally and globally. Furthermore, the recent result of the author of this paper on real trace expansions [6] applied to the Laplacian on the torus yields a description of the noncommutative residue and of the canonical trace as coefficients in certains expansions. This generalises Pietsch’s result on the noncommutative residue on the torus in [26, Theorem 11.15]. It also gives an alternative proof of the description of the canonical trace as the discrete Hadamard finite part of the symbol already obtained by Lévy et al. in [20, Section 5].
The case of compact Lie groups is more involved but also more natural from the viewpoint of harmonic analysis. Indeed, the idea of global symbols stems from the study of Fourier multipliers, and is related to singular integrals (Caledròn–Zygmund theory) and to the genesis of the pseudodifferential theory; see [7] and its introduction for a brief survey on Fourier multipliers on compact Lie groups in these directions. The idea of studying pseudodifferential operators on Lie groups as a systematic generalisation of Fourier multipliers can be traced back to Michael Taylor in [34]. On compact Lie groups, recent works [8, 27, 28] have shown that it is possible to characterise the classes of global symbols corresponding to pseudodifferential operators (see Sect. 4.2). In this paper, we also characterise the classical pseudodifferential classes and show how to obtain the principal symbol from the global symbol (see Sects. 4.3 and 4.4); these results are new to our knowledge. They use representation theory, especially highest weights. They recover the commutative case of the torus with a very sophisticated presentation.
The paper is organised as follows. In Sect. 2, we review the properties of the classical pseudodifferential calculus on any compact manifold. In particular, we recall the notions of principal symbols, noncommutative residue and canonical trace. We explore the case of the torus in Sect. 3, the main result in the toroidal setting being summarised in Sect. 3.2. In Sect. 4, we examine the case of compact Lie groups: we first relate the principal symbol of a classical operator with the global symbol in Sect. 4.3. Subsequently, in Sect. 4.4, we define the notions of global homogeneous symbol and global classical symbols, and characterise classical pseudodifferential operators as the pseudodifferential operators with classical symbols. We conclude with the derivation of the noncommutative residue and the canonical trace as coefficients in certains expansions.
Preliminaries: The Euclidean case
In this section we recall wellknown properties of the classical Hörmander pseudodifferential calculus on \(\mathbb {R}^n\) and on a manifold. We also introduce the noncommutative residue and the canonical trace together with their relations to trace expansions.
The Euclidean pseudodifferential calculus
In this section we mainly set the notation and our vocabulary for the pseudodifferential calculus on an open subset \(\Omega \) of \(\mathbb {R}^n\) and on a compact manifold M. Classical references for this material include [32, 33].
We denote by \(S^m=S^m(\Omega )\) the Hörmander class of symbols of order \(m\in \mathbb {R}\) on \(\Omega \), that is, the Fréchet space of smooth functions \(a:\Omega \times \mathbb {R}^n\rightarrow \mathbb {C}\) satisfying for all multiindices \(\alpha ,\beta \in \mathbb {N}_0^n\)
In this paper, we will regularly use the usual notation \(\langle \xi \rangle = \sqrt{1+\xi ^2}\), \(\partial _j=\partial _{x_j}\) for the partial derivatives in \(\mathbb {R}^n\), \(\partial ^\alpha =\partial _1^{\alpha _1}\partial _2^{\alpha _2}\ldots \) etc. \(\mathbb {N}_0=\{0,1,2,\ldots \}\) denotes the set of nonnegative integers and \(\mathbb {N}=\{1,2,\ldots \}\) the set of positive integers.
We say that the symbol \(a\in S^{m}(\Omega )\) is compactly supported in x when there exists \(R>0\) such that \(a(x,\xi )=0\) for any \((x,\xi )\in \mathbb {R}^n\times \mathbb {R}^n\) with \(x>M\).
To each symbol \(a\in S^m(\Omega )\), we associate the operator \({\mathrm{Op}}_\Omega (a)\) defined via
Here, \({\widehat{f}}\) denotes the Euclidean Fourier transform of \(f\in \mathcal {S}(\mathbb {R}^n)\):
We denote by \(\Psi ^m=\Psi ^m(\Omega ) = {\mathrm{Op}}_\Omega (S^m(\Omega ))\) the Hörmander class of operators of order \(m\in \mathbb {R}\) on \(\Omega \). Recall that \({\mathrm{Op}}_\Omega \) is onetoone on \(S^m(\Omega )\) and thus that \(\Psi ^m(\Omega )\) inherit a structure of Fréchet space.
The class of smoothing symbols is denoted by \(S^{\infty }=S^{\infty }(\Omega )=\cap _{m\in \mathbb {R}} S^m(\Omega )\) and the class of smoothing symbols is denoted by \(\Psi ^{\infty }(\Omega ) =\cap _{m\in \mathbb {R}} \Psi ^m(\Omega )={\mathrm{Op}}_\Omega (S^{\infty }(\Omega ))\). Examples of smoothing operators are convolution operators with Schwartz convolution kernels.
If \(A\in \cup _{m\in \mathbb {R}} \Psi ^m(\Omega )\) then we denote by \(K_A \in \mathcal {S}'(\Omega \times \Omega )\) its integral kernel so that we have in the sense of distributions:
Recall that \(a(x,\xi ) = \mathcal {F}_{\mathbb {R}^n}( K_A(x, x \cdot ))\) and that \(K_A\) is smooth away from the diagonal \(x=y\).
The following property is wellknown:
Lemma 2.1
If \(A={\mathrm{Op}}_\Omega (a)\in \Psi ^m(\Omega )\) with \(m<\,n\), then its integral kernel \(K_A\) is continuous. Assuming furthermore that its symbol \(a\in S^{m}(\Omega )\) is compactly supported in x, then the operator A is traceclass with trace:
Consequently, if \(\Omega \) is a bounded open subset of \(\mathbb {R}^n\), then the linear map \(A\mapsto \mathrm{tr}(A)\) is continuous on \(\Psi ^m(\Omega )\) for any \(m<\,n\).
A symbol \(a\in S^m\) with \(m\in \mathbb {R}\) admits a polyhomogeneous expansion with complex order\({\tilde{m}}\) when it admits an expansion \(a\sim \sum _{j\in \mathbb {N}_0} \alpha _{mj}\) where each function \(\alpha _{mj}(x,\xi )\) is in \(S^{mj}\) and is \(({\tilde{m}}j)\)homogeneous in \(\xi \) for \(\xi \ge 1\); here \({\tilde{m}}\in \mathbb {C}\) with \(\mathfrak {R}{\tilde{m}}=m\) and the homogeneity for \(\xi \ge 1\) means that \(\alpha _{mj}(x,\xi ) = \xi ^{{\tilde{m}}j}\alpha _{mj}(x,\xi /\xi )\) for any \((x,\xi )\in \mathbb {R}^n\times \mathbb {R}^n\) with \(\xi \ge 1\). We write the polyhomogeneous expansion as \(a\sim _h \sum _j a_{{\tilde{m}}j} \) where \(a_{\tilde{m}j}(x,\xi )=\xi ^{{\tilde{m}}j}\alpha _{mj}(x,\xi /\xi )\in C^\infty (\Omega \times (\mathbb {R}^n{\setminus }\{0\}))\) is homogeneous of degree \({\tilde{m}}j\) in \(\xi \). We may call \(a_{{\tilde{m}}}\) the (homogeneous) principal symbol of a or of A and \({\tilde{m}}\) the complex order of a or A.
If the open set \(\Omega \) is bounded, we say that a symbol in \(S^m(\Omega )\) is classical with complex order \({\tilde{m}}\) when it admits a polyhomogeneous expansion with complex order \(\tilde{m}\). We denote by \(S^{{\tilde{m}}}_{cl}\) the space of classical symbols with complex order \({\tilde{m}}\) and by \(\Psi ^{\tilde{m}}_{cl}={\mathrm{Op}}(S^m_{cl})\) the space of classical pseudodifferential operators with complex order \({\tilde{m}}\).
If \(F:\Omega _1\rightarrow \Omega _2\) is (smooth) diffeomorphism between two bounded open sets \(\Omega _1,\Omega _2\subset \mathbb {R}^n\), we keep the same notation for the map \(F :C_c^\infty (\Omega _1)\rightarrow C_c^\infty (\Omega _1)\) given by \(F (f) =f\circ F^{1}\). For any \(A\in \Psi ^m(\Omega _1)\), the operator
is then in \(\Psi ^m(\Omega _2)\). This property allows us to define pseudodifferential operators on manifolds in the following way. Let M be a smooth compact connected manifold of dimension n without boundary. The space \(\Psi ^{m}(M)\) of pseudodifferential operators of order m on M is the space of operators which are locally transformed by some (and then any) coordinate cover to pseudodifferential operators in \(\Psi ^{m}(\mathbb {R}^{n})\); that is, the operator \(A:C^\infty (M)\rightarrow \mathcal {D}'(M)\) such that there exists a finite open cover \((\Omega _{j})_{j}\) of M, a subordinate partition of unity \((\chi _{j})_{j}\) and diffeomorpshims \(F_{j}:\Omega _{j}\rightarrow \mathcal {O}_{j}\subset \mathbb {R}^{n}\) that transform the operators \(\chi _{k }A\chi _{j}:C_c^\infty (\Omega _{j})\rightarrow \mathcal {D}'(\Omega _{k})\) into operators in \(\Psi ^{m}(\mathbb {R}^n)\).
If \(F:\Omega _1\rightarrow \Omega _2\) is (smooth) diffeomorphism between two bounded open sets \(\Omega _1,\Omega _2\subset \mathbb {R}^n\) and if \(A\in \Psi ^{{\tilde{m}}}_{cl}(\Omega _1)\), then the operator \(F^*A\) is then in \(\Psi ^{{\tilde{m}}}_{cl}(\Omega _2)\). This property allows us to define pseudodifferential operators on manifolds in the following way. The space \(\Psi ^{{\tilde{m}}}_{cl}(M)\) of classical pseudodifferential operators of order \({\tilde{m}}\) on M is the space of operators which are locally transformed by some (and then any) coordinate cover to classical pseudodifferential operators.
Trace expansions
In this section, we recall trace expansions for pseudodifferential operators.
We start with the trace and kernel expansions due to Seeley, Grubb and Schrohe. Recall that a complex sector is a subset of \(\mathbb {C}{\setminus }\{0\}\) of the form \(\Gamma =\Gamma _I:=\{re^{i\theta } \ :\ r>0,\ \theta \in I\}\) where I is a subset of \([0,2\pi ]\); it is closed (in \(\mathbb {C}{\setminus }\{0\}\)) when I is closed.
Theorem 2.2
[11, Theorem 2.7] Let M be a compact smooth manifold of dimension \(n\ge 2\) or let \(\Omega \) be a bounded open subset in \(\mathbb {R}^n\). Let \(\mathcal {L}\in \Psi _{cl}\) be an invertible elliptic operator of order \(m_0\in \mathbb {N}\). We assume that there exists a complex sector \(\Gamma \) such that the homogeneous principal symbol of \(\mathcal {L}\) in local coordinates satisfies
Let \(A\in \Psi _{cl}^m\) and let \(k\in \mathbb {N}\) such that \(k m_0 +m<\,n\). The kernel \(K(x,y,\lambda )\) of \(A(\mathcal {L}\lambda )^{k}\) is continuous and satisfies on the diagonal
for \(\lambda \in \Gamma ^{m_0}\), \(\lambda \rightarrow \infty \), uniformly in closed subsectors of \(\Gamma \). The coefficients \(c_j(x)\) and \(c'_l(x)\) are determined from the symbols \(a\sim _h\sum _j a_{mj}\) and \(\ell \sim _h \sum _j \ell _{m_0j}\) in local coordinates, while the coefficients \(c''_l(x)\) are in general globally determined.
As a consequence, one has for the trace
where the coefficients are the integrals over M of the traces of the coefficients defined in (2.1).
In the statement above as well as in the rest of the paper, we keep the same notation for an elliptic operator \(\mathcal {L}\) and its selfadjoint extension.
Integrating the expansion (2.2) against \(\lambda ^z\) or against \(e^{z\lambda }\) on well chosen zcontours yields the following expansions for operators A of any order, see also [29, Section 1]:
Theorem 2.3
Let \(\mathcal {L}\in \Psi _{cl}\) be as in Theorem 2.2.
For any \(A\in \Psi _{cl}^m\), we have for \(t\rightarrow 0\):
and
In (2.4), the left had side is meromorphic with poles as indicated by the right hand side. The coefficients \({\tilde{c}}_j\), \({\tilde{c}}'_l\) and \({\tilde{c}}''_l\) are multiples of the corresponding \(c_j\), \(c'_l\) and \( c''_l\) in (2.2), the actors are universal constants independent of A and \(\mathcal {L}\).
Recently, the real trace expansions were obtained by the author. Their statements require the space \(\mathcal {M}^m(\mathbb {R})\) of slowly increasing functions, which we now define:
Definition 2.4
For any \(m\in \mathbb {R}\), we denote by \(\mathcal {M}^m(\mathbb {R})\) the Fréchet space of functions \(f\in C^\infty (\mathbb {R})\) satisfying
The real trace expansions are as follows:
Theorem 2.5
[6] Let \(\mathcal {L}\in \Psi _{cl}^{m_0}\) be an elliptic selfadjoint operator on a compact manifold M of dimension \(n\ge 2\). Its order is \(m_0>0\). Let \(A\in \Psi ^m_{cl}\) and \(\eta \in C^\infty (\mathbb {R})\).
 (1)
If \(\eta \) is compactly supported in \((0,\infty )\), then the operator \(A\ \eta (t \mathcal {L})\) is traceclass for all \(t\in \mathbb {R}\) and the trace admits the following expansion as \(t\rightarrow 0^+\),
$$\begin{aligned} \mathrm{tr}\left( A \eta (t\mathcal {L})\right) \sim c_{m+n} t^{\frac{m+n}{m_0}} + c_{mn1} t^{\frac{m+n1}{m_0}} + \ldots \end{aligned}$$in the sense that
$$\begin{aligned} \mathrm{tr}\left( A \eta (t\mathcal {L})\right) \sum _{j=0}^{N1} c_{m+nj} t^{\frac{m+nj}{m_0}} =O\left( t^{\frac{m+nN}{m_0}} \right) . \end{aligned}$$  (2)
If \(m_0\ge 1\), \(\mathfrak {R}m> \,n\) and \(m\notin \mathbb {Z}\) and \(\eta \in \mathcal {M}^{m_\eta }(\mathbb {R})\) (see Definition 2.4) with \(\mathfrak {R}m+m_\eta m_0<\,n\), then the operator \(A\ \eta (t \mathcal {L})\) is traceclass for all \(t\in \mathbb {R}\) and the trace admits the following expansion as \(t\rightarrow 0^+\),
$$\begin{aligned} \mathrm{tr}(A\eta (t\mathcal {L})) = \eta (0) c'(A)+ \sum _{j=0}^{N1} c_{m+nj} t^{\frac{mn+j}{m_0}} +o(1), \end{aligned}$$where \(N\in \mathbb {N}\) is the smallest nonnegative integer such that \(N\ge m_0m_\eta +m_1+n\). If \(\eta \) is equal to a constant near 0, we need not impose \(m_0\ge 1\).
 (3)
In Part (1) , the constant \(c_{m+nj}\) are of the form
$$\begin{aligned} c_{m+nj} = c_{m+nj}^{(\sigma )} c_{m+nj} ^{(\eta )} \end{aligned}$$where \(c_{m+nj}^{(A)}\) depends only on the polyhomogeneous expansion of the symbol of A in local coordinates and
$$\begin{aligned} {\tilde{c}}_{m+nj}^{(\eta )}:= \frac{1}{m_0} \int _{u=0}^{+\infty } \eta (u) \ u^{\frac{mj+n}{m_0}} \frac{du}{u} , \end{aligned}$$and similarly for Part (2).
The relations between the constants in Theorems 2.5 and 2.3 have not been studied. However, it is known that the constant terms are given by the noncommutative residue and the canonical trace, see Propositions 2.7 and 2.9 respectively.
The noncommutative residue
Here, we recall the definition of the noncommutative residue via local symbols. The original references are [12, 36, 37]. See also [5, 9, 29, 30].
Let \(\Omega \) be a bounded open subset in \(\mathbb {R}^n\) with \(n\ge 2\). Let \(A\in \Psi ^m_{cl} (\Omega )\) with symbols \(a\sim _h \sum _{j\in \mathbb {N}_0} a_{m_j}\). If \(m\in \mathbb {Z}_n\), we set
in this paper, \(\mathbb {Z}_n\) denotes the set
and \(\varsigma \) denotes the surface measure on the Euclidean unit sphere \(\mathbb {S}^{n1} \subset \mathbb {R}^n\) which may be obtained as the restriction to \(\mathbb {S}^{n1}\) of the \((n1)\)form \(\varsigma \) defined on \(\mathbb {R}^n\) by \(\sum _{j=1}^n (1)^{j+1} \xi _j \ d\xi _1 \wedge \ldots \wedge d\xi _{j1} \wedge d\xi _{j+1} \wedge \cdots \wedge d\xi _n\). If \(m\in \mathbb {C}\backslash \mathbb {Z}_n\), then we set \({\mathrm{res}}_x(A):=0\).
If \(F:\Omega _1\rightarrow \Omega _2\) is (smooth) diffeomorphism between two bounded open sets \(\Omega _1,\Omega _2\subset \mathbb {R}^n\) and if \(A\in \Psi ^{m}_{cl}(\Omega _1)\), then
Hence \({\mathrm{res}}_x\) yields a 1density on a compact manifold M, for which we keep the same notation \({\mathrm{res}}_x(A)\).
Definition 2.6
The function \(x\mapsto {\mathrm{res}}_x A\) is the residue density on a bounded open subset \(\Omega \subset \mathbb {R}^n\) or on an ndimensional compact manifold M with \(n\ge 2\). The corresponding integral
is called the noncommutative residue of A.
The noncommutative residue is a trace on \(\cup _{m\in \mathbb {C}} \Psi ^m_{cl}\) in the sense that it is a linear functional on \(\cup _{m\in \mathbb {C}} \Psi ^m_{cl}\) which vanishes on commutators. If M is connected, then any other trace on \(\cup _{m\in \mathbb {C}} \Psi ^m_{cl}\) is a multiple of \({\mathrm{res}}\).
The noncommutative residue also appears in the constant coefficients of the trace expansions recalled in Sect. 2.2:
Proposition 2.7

(1)
We continue with the setting and results of Theorem 2.2. The coefficients \(c'_0(x)\) and \(c'_0\) in (2.1) and (2.2) satisfy
$$\begin{aligned} c'_0 (x) = \frac{(1)^k}{(2\pi )^{n}m_0}{\mathrm{res}}_x (A) \qquad \text{ and }\qquad c'_0 = \frac{(1)^k}{(2\pi )^{n}m_0}{\mathrm{res}}(A). \end{aligned}$$ 
(2)
With the setting and results of Theorem 2.3, we have
$$\begin{aligned} {\tilde{c}}'_0 = \frac{{\mathrm{res}}(A)}{(2\pi )^{n}m_0}. \end{aligned}$$ 
(3)
With the setting and results of Theorem 2.5, we have when \(m \in \mathbb {Z}_n\)
$$\begin{aligned} c_0=\frac{1}{m_0} {\mathrm{res}}(A) \int _0^{+\infty } \!\!\! \eta (u)\ \frac{du}{u} . \end{aligned}$$
Parts (1) and (2) can be found in [29, Section 1], while Part (3) is part of the results in [6].
The canonical trace
In this section, we recall the definition of the canonical trace. References include the original paper [17] by Kontsevich and Vishik, as well as [9, 25].
Let \(\Omega \) be an open bounded subset of \(\mathbb {R}^n\) and let \(A={\mathrm{Op}}(a)\in \Psi _{cl}^m(\Omega )\) with complex order \(m\notin \mathbb {Z}_n\). The symbol of A admits the polyhomogeneous expansion \(a\sim _h \sum _{j\in \mathbb {N}_0} a_{mj}\). For x fixed, the function \(a_{mj}(x,\cdot )\) is smooth on \(\mathbb {R}^n{\setminus }\{0\}\) and \((mj)\)homogeneous with \(mj\notin \mathbb {Z}_n\), so [15, Theorem 3.2.3] it extends uniquely into a tempered \((mj)\)homogeneous distributions on \(\mathbb {R}^n\) for which we keep the same notation. For each \(x\in \Omega \), we define the tempered distributions using the inverse Fourier transform
The distribution \(\kappa _{a_{mj},x}\) is \((\,nm+j)\)homogeneous. Then for any positive integer N with \(mN<\,n\) and \(x\in \Omega \) the distribution \(\kappa _{a,x}  \sum _{j=0}^{N} \kappa _{a_{mj},x}\) is a continuous function on \(\mathbb {R}^n\). Furthermore, the function \((x,y)\mapsto \kappa _{a,x}(y)  \sum _{j=0}^{N} \kappa _{a_{mj},x}(y)\) is continuous and bounded on \(\Omega \times \mathbb {R}^n\). Its restriction to \(y=0\) is independent of \(N>m+n\) and defines the quantity
If \(F:\Omega _1\rightarrow \Omega _2\) is diffeomorphism between two bounded open sets \(\Omega _1,\Omega _2\subset \mathbb {R}^n\) and if \(A\in \Psi ^{\tilde{m}}_{cl}(\Omega _1)\), then
Hence, \(\mathrm{TR}_x\) yields a 1density on a compact manifold M for which we keep the same notation \(\mathrm{TR}_x\).
Definition 2.8
[17] The density \(x\mapsto \mathrm{TR}_x(A)\) on a compact manifold M or \(x\mapsto \mathrm{TR}_x(A) dx\) on a bounded open subset \(\Omega \) is called the canonical trace density of A. The corresponding integral
is called the canonical trace of A.
On \(\Omega \) or M, the map \(A\mapsto \mathrm{TR}(A)\) is a linear functional on \(\Psi ^m_{cl}\) for each \(m\in \mathbb {C}\backslash \mathbb {Z}_n\) and it coincides with the usual \(L^2\)trace if \(\mathfrak {R}m<\,n\). It is a trace type functional on \(\cup _{m\in \backslash \mathbb {Z}_n}\Psi ^m_{cl}\) in the sense that
and
The canonical trace was originally defined in [17], and may be defined on a slightly larger domain [10]. It is related with coefficients in the trace expansions recalled in Sect. 2.2:
Proposition 2.9

(1)
We continue with the setting and results of Theorem 2.3. The coefficients \(c''_0\) in (2.2) is equal to the canonical trace \(\mathrm{TR}(A)\) of A when \(m\notin \mathbb {Z}_n\).

(2)
With the setting and results of Theorem 2.5, we have \(c'(A)=\mathrm{TR}(A)\).
Part (1) can be found in [9, Section 1] while Part (2) is part of the results in [6].
The residue of the canonical trace of a (suitable) holomorphic family of classical pseudodifferential operators is equal to the noncommutative residue. It can also be read off the zeta function of A and in the \(\Omega \)setting is related to the finitepart integral of the symbol of A on \(\Omega \times \mathbb {R}^n\), see also [18] and [6].
The case of the torus
In this section, we discuss the relations between the pseudodifferential calculi defined on the torus viewed as a compact manifold and defined via the Fourier series.
In this paper, the ndimensional torus is denoted by \(\mathbb {T}^n\) and is realised as \(\mathbb {T}^n=\mathbb {R}^n/\mathbb {Z}^n\).
The toroidal pseudodifferential calculus
In this section we set the notation for and define the toroidal pseudodifferential calculus. References include [1, 2, 21, 22, 27, 35].
A toroidal symbol is a scalar function \(\sigma \) defined on \(\mathbb {T}^n\times \mathbb {Z}^n\). The operator \({\mathrm{Op}}_{\mathbb {T}^n} (\sigma )\) associated with the toroidal symbol \(\sigma \) is the operator defined via
In this formula, f is in the space \(L^2_{finite}(\mathbb {T}^n)\) of smooth functions on \(\mathbb {T}^n\) whose Fourier coefficients
all vanish except for a finite number of them. We will keep the same notation for the operator \({\mathrm{Op}}_{\mathbb {T}^n}(\sigma )\) and its natural extensions between topological vector spaces containing \(L^2_{finite}(\mathbb {T}^n)\) as a dense subspace.
For each \(j=1,\ldots , n\), we denote by \(\Delta _j\) the difference operator in the jth direction, that is, the operator acting on toroidal symbols \(\sigma \) in the following way:
where \((e_1,\ldots ,e_n)\) is the canonical basis of \(\mathbb {R}^n\). The difference operator for the multiindex \(\alpha =(\alpha _1,\ldots ,\alpha _n)\in \mathbb {N}_0^n\) is denoted by
with the convention that \(\Delta _j^0=\mathrm{I}\).
The following statement says that the pseudodifferential operators defined locally on the manifold \(M=\mathbb {T}^n\) have a global description as toroidal operators of the form \({\mathrm{Op}}_{\mathbb {T}^n} (\sigma )\):
Theorem 3.1
[27] Let \(A\in \Psi ^m(\mathbb {T}^n)\) for some \(m\in \mathbb {R}\). Then there exists a unique toroidal symbol \(\sigma _A\) such that \(A={\mathrm{Op}}_{\mathbb {T}^n}(\sigma _A)\). The symbol \(\sigma _A\) is smooth in \(x\in \mathbb {T}^n\), i.e. \(x\mapsto \sigma (x,\ell )\) is smooth for each \(\ell \in \mathbb {Z}^n\). It satisfies:
Conversely, if a toroidal symbol \(\sigma \) is smooth in x and satisfies (3.1), then \({\mathrm{Op}}_{\mathbb {T}^n}(\sigma )\in \Psi ^m(\mathbb {T}^n)\).
We denote by \(S^m(\mathbb {T}^n)\) the Fréchet space of toroidal symbols which are smooth in x and satisfy (3.1); we say then that the symbols are of order m. There should be no confusion with the notation \(S^m(\Omega )\) since there \(\Omega \) is an open subset of \(\mathbb {R}^n\). Theorem 3.1 may then be rephrased as
Furthermore, the proof of Theorem 3.1 shows that the map \(\sigma \mapsto {\mathrm{Op}}_{\mathbb {T}^n}(\sigma )\) is an isomorphism from \(S^m(\mathbb {T}^n)\) to \(\Psi ^m(\mathbb {T}^n)\).
We denote by \(S^{\infty }(\mathbb {T}^n)=\cap _{m\in \mathbb {R}} S^m(\mathbb {T}^n)\) the set of smoothing toroidal symbols. As a consequence of the results mentioned above, the map \(\sigma \mapsto {\mathrm{Op}}_{\mathbb {T}^n}(\sigma )\) is an isomorphism of Fréchet spaces from \(S^{\infty }(\mathbb {T}^n)\) to \(\Psi ^{\infty }(\mathbb {T}^n)\).
Naturally, another way of defining globally an operator \(A\in \cup _{m\in \mathbb {R}} \Psi ^m(\mathbb {T}^n)\) is via its integral kernel \(K_A \in \mathcal {D}'(\mathbb {T}^n\times \mathbb {T}^n)\) or equivalently via the distribution given by \(k_{A,x}(y)=K_A(x,x  z)\). Indeed, we have (in the sense of distributions) for any \(f\in C^\infty (\mathbb {T}^n)\) and \(x\in \mathbb {T}^n\):
Recall that the map \(x\mapsto \kappa _{A,x}\in \mathcal {D}'(\mathbb {T}^n)\) is smooth on \(\mathbb {T}^n\) and that we have
Moreover, \(\kappa _{A,x}\) is smooth away from the origin for x fixed since \(K_A\) is smooth away from the diagonal \(x=y\). In fact, an operator \(A:C^\infty (\mathbb {T}^n)\rightarrow \mathcal {D}'(\mathbb {T}^n)\) is in \(\Psi ^{\infty }(\mathbb {T}^n)\) if and only if \((x,y)\mapsto \kappa _x(y)\) is smooth on \(\mathbb {T}^n\times \mathbb {T}^n\).
If \(\sigma _A\) does not depend on x, then A is a Fourier multiplier with symbol \(\sigma \) and convolution kernel \(\kappa _A\). Even when \(\sigma _A\) depends on x, we may abuse the vocabulary and call \(\kappa _{A,x}\) the convolution kernel of A.
More generally, we have the following property between pseudodifferential and translations:
where \(\tau _{x_0}\) denotes the translation
and we abused the notation to have \(\tau _{x_0}\sigma :(x,\ell )\mapsto \sigma (xx_0,\ell )\).
As on \(\mathbb {R}^n\), we say that the toroidal symbol \(\sigma \in S^m(\mathbb {T}^n)\) admits an expansion and we write \(\sigma \sim \sum _{j\in \mathbb {N}_0} \sigma _{mj}\) when \(\sigma _{mj}\in S^{mj}(\mathbb {T}^n)\) and \(\sigma \sum _{j=0}^{N} \sigma _{m_j} \in S^{mN1}(\mathbb {T}^n)\).
Main results for the classical toroidal pseudodifferential calculus
As in the Euclidean setting, we say that a toroidal symbol \(\sigma \) in \(S^m(\mathbb {T}^n)\) is classical with complex order\({\tilde{m}}\in \mathbb {C}\) when it admits a polyhomogeneous expansion \(\sigma \sim _h \sum _{j\in \mathbb {N}_0} \sigma _{{\tilde{m}}j}\), that is, when each toroidal symbol \(\sigma _{{\tilde{m}}j}(x,\ell )\) is in \(S^{mj} (\mathbb {T}^{n})\) and is \(({\tilde{m}}j)\)homogeneous in \(\ell \not =0\), i.e. \(\sigma _{{\tilde{m}}j}(x,r\ell ) = r^{\tilde{m}j}\sigma _{{\tilde{m}} j}(x,\ell )\) for any \((x,\ell )\in \mathbb {T}^n\times (\mathbb {Z}^n{\setminus }\{0\})\), \(r\in \mathbb {N}\). We denote by \(S^{{\tilde{m}}}_{cl}(\mathbb {T}^n)\) the space of classical symbols of order \({\tilde{m}}\in \mathbb {C}\).
The next statement says that the pseudodifferential operators corresponding to classical toroidal (global) symbols are exactly the classical ones on the manifold \(M=\mathbb {T}^n\):
Theorem 3.2
For any \(m\in \mathbb {C}\), we have
Theorem 3.2 is a consequence of Proposition 3.4, stated and proved below. Proposition 3.4 is a stronger result, but requires the following property allowing for the identification of a homogeneous toroidal symbol with a homogeneous symbol on \(\mathbb {R}^n\):
Proposition 3.3
If \(\sigma \) is a toroidal symbol which is mhomogeneous in \(\ell \) with \(m\in \mathbb {C}\), then there exists a unique continuous function in \((x,\xi )\in \mathbb {T}^n\times (\mathbb {R}^{n}{\setminus } \{0\})\) which is mhomogeneous in \(\xi \) and coincides with \(\sigma \) on \( \mathbb {T}^n\times (\mathbb {Z}^n{\setminus }\{0\})\). Still denoting by \(\sigma \) this unique extension, \(\sigma \) is in fact smooth on \(\mathbb {T}^n\times (\mathbb {R}^{n}{\setminus } \{0\})\).
Proposition 3.3 will be proved in Sect. 3.3. Note that as a consequence of Proposition 3.3, a toroidal symbol which is mhomogeneous in \(\ell \) is in \(S^m_{cl}(\mathbb {T}^n)\), \(m\in \mathbb {C}\).
Proposition 3.4 whose statement follows may be roughly summarised as saying that the polyhomogeneous expansion of a toroidal symbol is given by the polyhomogeneous expansion in local charts and vice versa:
Proposition 3.4
We fix a finite open covering \((\Omega _k)_k\) of \(\mathbb {T}^n\) and a subordinate partition of unity \((\chi _{k})_{k}\) of the form \(\chi _k (x)= \psi _k(xx_k)\) where the points \(x_k\in \Omega _k\) are distinct and the function \(\psi _k\in C^\infty (\mathbb {T}^n)\) is supported on a small neighbourhood of 0; moreover, \(0\le \psi _k\le 1\) and \(\psi _k\equiv 1\) on an even smaller neighbourhood of 0.
Let \(A\in \Psi ^{m_1}(\mathbb {T}^n)\). Then \(\chi _{k_1} A\chi _{k_2}\) is smoothing for \(k_1\not =k_2\) and if \(k_1=k_2=k\), using the \(x_k\) translations [see (3.3)] we have
Denoting by \(\sigma ={\mathrm{Op}}_{\mathbb {T}^n}^{1} A\) the toroidal symbol of A, we have \(\sigma \in S^{m_1}(\mathbb {T}^n)\) by Theorem 3.1.
 (1)
If \(\sigma \) is classical, i.e. \(\sigma \in S^m_{cl}(\mathbb {T}^n)\) with \(\sigma \sim _h \sum _{j\in \mathbb {N}_0} \sigma _{mj}\), then the symbol of \(A_k\) admits the polyhomogeneous expansions \(\sum _{j\in \mathbb {N}_0} \psi _k(x) \sigma _{mj}(xx_k,\xi )\) where the functions \(\sigma _{mj}\) have been smoothly extended (see Proposition 3.3).
 (2)
If A is classical on \(\mathbb {T}^n\) with complex order \(m\in \mathbb {C}\) then \(A_k\) is classical on \(\mathbb {R}^n\), its symbol is supported in a small neighbourhood of 0 in x and admits a polyhomogeneous expansion \(\sum _{j\in \mathbb {N}_0} a_{mj}^{(k)}\); moreover, \(\sigma \) admits a polyhomogeneous expansion which coincides with \(\sum _{j\in \mathbb {N}_0} a_{mj}^{(k)}(xx_k,\ell )\) on \(\{\chi _k\equiv 1\}\)
In Proposition 3.4 and in its proof (given in Sect. 3.3), we will allow ourselves to make no distinction between functions defined on \(\mathbb {T}^n\) or \(\mathbb {R}^n\) when they are supported in a small enough neighbourhood of 0.
Note that Proposition 3.4 and the local definition of the noncommutative residue (see Sect. 2.3) readily imply:
Corollary 3.5
If \(\sigma \in S^m_{cl}(\mathbb {T}^n)\) with \(m\in \mathbb {Z}_n\), then
where \(\sigma _{n}\) is the smooth extension of the symbol \(\sigma _{n}\) contained in the expansion \(\sigma \sim _h \sum _{j\in \mathbb {N}_0} \sigma _{mj}\) as granted by Proposition 3.3.
The expansion results applied to the Laplacian \(\Delta \) of \(\mathbb {T}^n\) easily yields:
Corollary 3.6
Let \(\sigma \in S^m_{cl}(\mathbb {T}^n)\) with \(m\in \mathbb {C}\). We set \(A:={\mathrm{Op}}_{\mathbb {T}^n}(\sigma )\).
 (1)
Let \(\eta \in C_c^\infty (0,\infty )\). Then we have an expansion as \(t\rightarrow 0^+\):
$$\begin{aligned} \mathrm{tr}(A\, \eta (t\Delta )) = \sum _{\ell \in \mathbb {Z}^n} \sigma (x,\ell )\eta (t\ell ^2) \sim c_{m+n} t^{\frac{m+n}{m_0}} + c_{mn1} t^{\frac{m+n1}{m_0}} + \ldots \end{aligned}$$The constants \(c_{m+nj}\) are of the form \(c_{m+nj} = c_{m+nj}^{(\sigma )} c_{m+nj}^{(\eta )}\) where \(c_{m+nj}^{(\sigma )}\) depends only on the homogeneous expansion of \(\sigma \) and
$$\begin{aligned} c_{m+nj}^{(\eta )}:= \frac{1}{2} \int _{u=0}^{+\infty } \eta (u) \ u^{\frac{mj+n}{2}} \frac{du}{u} . \end{aligned}$$With the same constants \(c_{m+nj}^{(\sigma )}\), if \(\mathfrak {R}m> n\) then we have the expansion as \(R\rightarrow +\infty \)
$$\begin{aligned} \sum _{R \le \ell  \le 2 R } \int _{\mathbb {T}^n} \sigma (x,\ell ) dx = \sum _{j=0}^{N1} \frac{2^{mj+n} 1}{mj+n} c_{m+nj}^{(\sigma )} R^{m+nj} +o(1), \end{aligned}$$where \(N\in \mathbb {N}\) is the smallest integer such that \(\mathfrak {R}m+nN<0\). If \(m\in \mathbb {Z}_n\) then \(c_0=c_0^{(\sigma )}c_0^{(\eta )}\) with
$$\begin{aligned} c_0^{(\sigma )}={\mathrm{res}}A,\qquad \text{ and }\qquad c_0^{(\eta )}=\frac{1}{2} \int _0^{+\infty } \!\!\! \eta (u)\ \frac{du}{u} , \end{aligned}$$and we have the expansion as \(R\rightarrow +\infty \)
$$\begin{aligned} \sum _{R \le \ell  \le 2 R } \int _{\mathbb {T}^n} \sigma (x,\ell ) dx = \sum _{j=1}^{m+n} \frac{2^{mj+n} 1}{mj+n} c_{m+nj}^{(\sigma )} R^{m+nj} + \ln 2 \ {\mathrm{res}}A +o(1). \end{aligned}$$  (2)
Here, \(\mathfrak {R}m\ge n\) with \(m \notin \mathbb {Z}\). Let \(\eta \in \mathcal {M}^{m_\eta }(\mathbb {R})\) (see Definition 2.4) with \(\mathfrak {R}m+m_\eta m_0<n\). Then the operator \(A\ \eta (t \Delta )\) is traceclass for all \(t\in \mathbb {R}\) and the trace admits the following expansion as \(t\rightarrow 0^+\),
$$\begin{aligned} \mathrm{tr}(A\eta (t\Delta )) = \eta (0) \mathrm{TR}(A)+ \sum _{j=0}^{N1} c_{m+nj} t^{\frac{mn+j}{2}} +o(1), \end{aligned}$$where \(N\in \mathbb {N}\) is the smallest nonnegative integer such that \(N\ge 2 m_\eta +m_1+n\). The constants \(c'_{m+nj}\) are of the form \(c'_{m+nj} = {c'}_{m+nj}^{(\sigma )} {c'}_{m+nj}^{(\eta )}\) where \({c'}_{m+nj}^{(\sigma )}\) depends only on the polyhomogeneous expansion of \(\sigma \) and
$$\begin{aligned} {c'}_{m+nj}^{(\eta )}:= \frac{1}{2} \int _{u=0}^{+\infty } \eta (u) \ u^{\frac{mj+n}{2}} \frac{du}{u} . \end{aligned}$$With the same constants \({c'}_{m+nj}^{(\sigma )}\), we have the expansion as \(R\rightarrow +\infty \)
$$\begin{aligned} \sum _{\ell <R} \int _{\mathbb {T}^n} \sigma (x,\ell ) dx = \mathrm{TR}(A) + \sum _{j=0}^{N1} \frac{{c'}_{m+nj}^{(\sigma )}}{mj+n} R^{m+nj} +o(1). \end{aligned}$$Consequently, the canonical trace of the operator \(A={\mathrm{Op}}_{\mathbb {T}^n}(\sigma )\) is given by the discrete finite part of \(\int _{\mathbb {T}^n} \sigma (x,\ell ) dx\).
Proof of Corollary 3.6
The first results in Part (1) and (2) are directs applications of Theorem 2.5 and Proposition 2.9. For the expansion in \(R=t^{2}\), we apply these results to suitable functions \(\chi _k\in C_c^\infty (\mathbb {R})\) approximating the indicator \(1_I\) of the interval \(I=[1,4]\) for Part (1) or of the interval \(I=[0,1]\) for Part (2). Suitable approximations are for instance functions satisfying \(0\le \eta _k \le 1\), \(\eta _k\equiv 1\) on I and \(\eta _k\equiv 0\) outside \(I + (\frac{1}{k},\frac{1}{k})\). As the Laplacian \(\Delta \) is invariant under translation, we easily compute for \(R>1\)
We also estimate for \(I=[1,4]\)
and similarly if \(I=[0,1]\). Hence, in both cases, we have
We easily check the convergences of the coefficients \({c'}_{m+nj}^{(\eta _k)}\longrightarrow _{k\rightarrow +\infty } {c'}_{m+nj}^{(1_I)}\). The results follow by taking \(k\rightarrow +\infty \). \(\square \)
A modification of the proofs of Theorem 2.5 Part (2) and Proposition 2.9 Part (2) given in [6] adapted to the case of the torus would also imply that the canonical trace density at x of the operator \(A={\mathrm{Op}}_{\mathbb {T}^n}(\sigma )\) is given by the discrete finite part of \( \sigma (x,\ell )\). The results regarding the canonical trace on the torus have already been obtained in [20, Section 5]. The particular case of the limit of \(\sum _{R \le \ell  \le 2 R } \int _{\mathbb {T}^n} \sigma (x,\ell ) dx\) in the case \(m=n\) and \(R=2^K\) have been shown in [26, Theorem 11.15].
Proofs of Propositions 3.3 and 3.4
The main ingredient in the proof of Proposition 3.3 is the following:
Lemma 3.7
Let \(\sigma \in S^0(\mathbb {T}^n)\) be a toroidal symbol which is independent of x and 0homogeneous in \(\ell \in \mathbb {Z}^n{\setminus }\{0\}\), that is, \(\forall \ell \in \mathbb {Z}^n{\setminus }\{0\}\) and \(r\in \mathbb {N}\), \(\sigma (r\ell )=\sigma (\ell )\). There exists a unique continuous function \(\sigma \in C(\mathbb {R}^{n}{\setminus } \{0\})\) which is 0homogeneous and coincides with \(\sigma \) on \( \mathbb {Z}^n{\setminus }\{0\}\). Furthermore \(\sigma \) is smooth.
Proof of Lemma 3.7
First, let us show that the estimate
holds for any \(x,x'\in \mathbb {Z}^n{\setminus }\{0\}\). We start with the case of \(x=(x_1,{\check{x}})\) and \(x'=x+\alpha e_1\) with \(\alpha \in \mathbb {N}\) and \(x_1 \in \mathbb {N}\) here \((e_1,\ldots ,e_n)\) denotes the standard orthonormal basis of \(\mathbb {R}^n\). Since
as \(\sigma \in S^0(\mathbb {T}^n)\), we have
when \(\alpha \le x/ 10\). Hence (3.4) holds when \(x'=x+\alpha e_j\) with \(j=1\), \(\alpha \in \mathbb {N}\) and \(x_1 \in \mathbb {N}\). Applying this to \(\sigma \) composed with permutations or with \(x\mapsto x\) shows that we have proved (3.4) for any \(x,x'\) such that the segment \([x,x']\) is parallel to one of the axes \(\mathbb {R}e_j\) for some j. Writing \(x'=x +\sum _{j=1}^n \alpha _j e_j\), we then use
This shows (3.4) for any \(x,x'\in \mathbb {Z}^n{\setminus }\{0\}\).
Secondly, as \(\sigma \) is 0homogeneous on \(\mathbb {Z}^n{\setminus }\{0\}\), it admits a unique 0homogeneous extension to \(\mathbb {Q}^n{\setminus }\{0\}\), for which we keep the same notation \(\sigma \). Note that the homogeneity implies that (3.4) holds for any \(x,x'\in \mathbb {Q}^n{\setminus }\{0\}\). Let us show that (3.4) allows us for a unique continuous 0homogeneous extension to \(\mathbb {R}^n{\setminus }\{0\}\). For any \(x\in \mathbb {R}^n{\setminus }\{0\}\), consider a sequence \((x_m)_{m\in \mathbb {N}}\) in \(\mathbb {Q}^n\) converging to x. The estimate (3.4) implies that \((\sigma (x_m))_{m\in \mathbb {N}}\) is a Cauchy sequence of real numbers, therefore convergent. Furthermore, the limit does not depend on the sequence as the concatenation of two sequences such as \((x_m)_{m\in \mathbb {N}}\) yields a converging sequence. We denote the limit by \(\sigma (x)\). This defines an extension of \(\sigma \) to \(\mathbb {R}^n{\setminus }\{0\}\). Taking limits shows now that (3.4) holds for any \(x,x'\in \mathbb {R}^n{\setminus }\{0\}\). Consequently, \(\sigma \) is continuous on \( \mathbb {R}^n{\setminus }\{0\}\), and it is the only such 0homogeneous extension.
Thirdly, let us show that \(\sigma \) is differentiable. We start with the following observation: for every (fixed) \(\xi _0\in \mathbb {Q}^n{\setminus }\{0\}\), choosing \(r_0\in \mathbb {N}\) such that \(\ell _0:=r_0\xi _0\in \mathbb {Z}^n\), we have for any \(p,q\in \mathbb {N}\):
so \(\sigma \in S^0(\mathbb {T}^n)\) implies
when \(1<r_0 p< q \ell _{0}/10\), thus
Adapting the proof above to other cases, it is easy to check that the estimate
holds in fact for \(h=p/q\) satisfying \(p,q\in \mathbb {Z}\), and \(h<\xi _0/10\). The second observation is that for every \(\ell \in \mathbb {Z}^n{\setminus }\{0\}\), the sequence \((q\Delta _{e_1} \sigma (q\ell ))_{q\in \mathbb {N}}\) is bounded because \(\sigma \in S^0(\mathbb {T}^n)\). Therefore, we can extract a converging subsequence. We can also assume that the subsequence \((q_j)_{j\in \mathbb {N}}\) is the same for all \(\ell \in \mathbb {Z}^n{\setminus }\{0\}\). One checks easily that this yields a symbol in \(S^{1}(\mathbb {T}^n)\). As the symbol \(\ell \) is in \(S^1(\mathbb {T}^n)\), the symbol \(\sigma _1\) defined via
is in \(S^0(\mathbb {T}^n)\). If \(h\in \mathbb {R}\) with \(h < \xi _0/100\), applying (3.5) with \(p_j:=\lfloor hq_j\rfloor \) and \(q_j\), then taking \(j\rightarrow +\infty \), we obtain
This shows that \(\partial _1\sigma (\xi _0)\) exists when \(\xi _0\in \mathbb {Q}^n{\setminus }\{0\}\). In particular for the points \(\xi _0=\ell \in \mathbb {Z}^n{\setminus } \{0\}\), we obtain the convergence
This implies that the symbol given by \(\partial _1 \sigma \) is in \(S^{1}(\mathbb {T}^n)\) and is \((1)\)homogeneous. Therefore, the symbol \(\sigma _1\in S^0(\mathbb {T}^n)\) coincide with \(\{\ell  \partial _1 \sigma (\ell ):\ell \in \mathbb {Z}^n\}\) and is 0homogeneous. We keep the same notation for its continuous extension \(\sigma _1\) to \(\mathbb {R}^n{\setminus }\{0\}\). The continuity of \(\sigma \) and \(\sigma _1\) together with (3.6) implies that \(\partial _1\sigma \) exists and is continuous on \(\mathbb {R}^n{\setminus }\{0\}\). Naturally the result is true for the other partial derivatives \(\partial _2,\ldots ,\partial _n\). This implies that the function \(\sigma \) is \(C^1\) on \(\mathbb {R}^n{\setminus }\{0\}\).
Finally, we can also apply this result to \(\sigma _1\) which is therefore also \(C^1\). Applying this result recursively and in all the directions shows that \(\sigma \) is in fact smooth. \(\square \)
The proof of Proposition 3.3 follows readily:
Proof of Proposition 3.3
The case of \(m=0\) is a simple adaptation of the proof of Lemma 3.7 with the addition of the smooth dependence in x; it is left to the reader. For any \(m\in \mathbb {C}\), it suffices to apply the case \(m=0\) to the symbol given by \(\ell ^{m} \sigma (x,\ell )\) for \(\ell \not =0\). \(\square \)
We can now show Proposition 3.4.
Proof of Proposition 3.4
We observe that the properties of translations [see (3.2)] implies that it suffices to consider the case of \(A_k\) with \(k=0\). The convolution kernel of \(A_0\) is
So the symbol of the pseudodifferential operator \(A_0\in \Psi ^{m_1}(\mathbb {R}^n)\) is \((x,\xi )\mapsto \mathcal {F}_{\mathbb {R}^n} \kappa _x^{(0)}(\xi )\) on \(\mathbb {R}^n\); when restricted to \(\xi \in \mathbb {Z}^n\), this is the symbol of \(A_0\in \Psi ^{m_1}(\mathbb {T}^n)\) because of the properties of the support of \(\kappa ^{(0)}\). Hence Part (2) follows. It remains to prove Part (1). By refining the open covering, it suffices to prove the properties in Parts (1) for a neighbourhood of 0 included in \(\{\psi _0\equiv 1\}\). Let V be a neighbourhood of 0 included in \(\{\psi _0\equiv 1\}\) and let \(\chi \in C^\infty (\mathbb {T}^n)\) valued in [0, 1] with \(\chi \equiv 1\) near 0 but supported in a neighbourhood of 0 so small that \(V+ {\mathrm{supp}}\chi \subset \{\psi _0\equiv 1\}\). Then for \(x\in V\), we have
The second term is a smoothing kernel, so the symbol of \(A_k\) is given modulo \(S^{\infty }\) by
The integrand being supported near 0, we can view this integral as being over \(\mathbb {T}^n\) and use Parseval formula for Fourier series:
where \({{\widehat{\chi }}} := \mathcal {F}_{\mathbb {R}^n}\chi \in \mathcal {S}(\mathbb {R}^n)\).
Note that
Furthermore, the Poisson summation formula and the properties of \(\chi \) yield
for any \(\alpha \in \mathbb {N}_0^n{\setminus }\{0\}\) and \(\xi \in \mathbb {R}^n\).
We assume that \(\sigma \) is mhomogeneous in \(\ell \not =0\) and we keep the same notation for its smooth homogeneous extension to \(\mathbb {T}^n\times (\mathbb {R}^n{\setminus }\{0\})\) granted by Proposition 3.3. We have for any \(N\in \mathbb {N}_0\)
For \(r>0\), let \(A_r:=\{\ell \in \mathbb {Z}^n: r/2 \le \ell \le 2r\}\) denote the set of integers in the annulus with radii r / 2 and 2r. We decompose the last sum above as \(\sum _{\ell \notin A_{\xi }}+\sum _{\ell \in A_{\xi }}\) and we assume \(\xi \ge 1\) large. As \(\sigma \in C^\infty (\mathbb {T}^n\times (\mathbb {R}^n{\setminus }\{0\}))\) is mhomogeneous, and \({{\widehat{\chi }}}\in \mathcal {S}(\mathbb {R}^n)\), for any \(N_1\in \mathbb {N}\),
We write the second sum \(\sum _{A_{\xi }}\) as \(\sum _{A_{\xi }\cap B(\xi , \xi ^{1/2})} +\sum _{A_{\xi }\cap \ {}^c\! B(\xi , \xi ^{1/2})} \). The Taylor estimates and the homogeneity of \(\sigma \) imply
For the same reasons and because \({{\widehat{\chi }}}\in \mathcal {S}(\mathbb {R}^n)\), we have
The estimates above imply that for all \(N'\in \mathbb {N}\) and \(\xi \in \mathbb {R}^n\), \(\xi \ge 1\), we have
We can estimate in the same way \(\partial _x^\beta \partial _\xi ^\alpha \left\{ \mathcal {F}_{\mathbb {R}^n} \{\chi \kappa _x\}(\xi ) \sigma (x,\xi )\right\} \). This shows that \(\mathcal {F}_{\mathbb {R}^n} \{\chi \kappa _x\}(\xi )=\chi (x)\sigma \) modulo \(S^{\infty }\) for \(x\in V\). By linearity, it is true for any symbol \(\sigma \in S^m_{cl}(\mathbb {T}^n)\) with \(\sigma \sim _h \sum _{j\in \mathbb {N}_0} \sigma _{mj}\). This concludes the proof of Proposition 3.4. \(\square \)
Compact Lie groups
In this section we extend to the noncommutative setting some of the results that were proved in Sect. 3. After recalling the setting and its notation in Sect. 4.1, we discuss the Hörmander pseudodifferential calculus on a compact Lie group G in Sect. 4.2, mainly gathering recent results on the subject. Sections 4.3 and 4.4 are devoted to the descriptions of the principal symbol and of the classical calculus in terms of the global symbol; these are new to our knowledge. The rest of the section is devoted to proofs (Sect. 4.5) and to the noncommutative reside and canonical trace on G (Sect. 4.6).
Notations and conventions
In Sect. 4, G always denotes a connected compact Lie group and \(n>1\) its dimension. In this section we set the notation and convention regarding the group G. References include [13, 14, 16], see also [7, 8].
Representations
In this paper, a representation of G is any continuous (hence smooth) group homomorphism \(\pi \) from G to the set of automorphisms of a finite dimensional complex vector space. We will denote this space \(\mathcal {H}_\pi \) with dimension \(d_\pi =\dim \mathcal {H}_\pi \). We may equip \(\mathcal {H}_\pi \) with an inner product \((\cdot , \cdot )_{\mathcal {H}_\pi }\) for which \(\pi \) is unitary. The coefficients of \(\pi \) are any function of the form \(x\mapsto (\pi (x)u,v)_{\mathcal {H}_\pi }\) for \(u,v\in \mathcal {H}_\pi \); these are smooth functions on G. If a basis \(\{e_1,\ldots , e_{d_\pi }\}\) of \(\mathcal {H}_\pi \) is fixed, then we may identify \(\mathcal {H}_\pi \) with \(\mathbb {C}^{d_\pi }\), and the matrix coefficients of \(\pi \) are the coefficients \(\pi _{i,j}\), \(1\le i,j\le d_\pi \) given by \(\pi _{i,j}(x)=(\pi (x)e_i,e_j)_{\mathcal {H}_\pi }\).
We will often identify a representation of G and its equivalence class.
We denote by \({\mathrm{Rep}(G)}\) and \({\widehat{G}}\) the sets of representations of G and of irreducible representations of G respectively, both modulo equivalence.
Lie algebra and vector fields
The Lie algebra \(\mathfrak {g}\) is the tangent space of G at the neutral element \(e_G\). We denote by \(\exp _G:\mathfrak {g}\rightarrow G\) the exponential mapping.
We may identify the Lie algebra \(\mathfrak {g}\) with the space of leftinvariant vector fields on G. If a basis \(\{X_1,\ldots ,X_n\}\) for \(\mathfrak {g}\) is fixed, we set for any multiindex \(\alpha =(\alpha _1,\ldots ,\alpha _n)\in \mathbb {N}_0^n\)
If \(\pi \) is a representation of the group G, then
defines a representation also denoted \(\pi \) of \(\mathfrak {g}\) and therefore of its universal enveloping Lie algebra.
The Lie algebra \(\mathfrak {g}\) is the direct sum of the semisimple Lie algebra \(\mathfrak {g}_{ss}=[\mathfrak {g},\mathfrak {g}]\) with its centre \(\mathfrak {z}\):
Note that \(\mathfrak {z}\) is also the Lie algebra of the centre \(Z_G\) of the group G. The Killing form is a scalar inner product on \(\mathfrak {g}_{ss}\subset \mathfrak {g}\) and we extend it into a scalar inner product \((\cdot ,\cdot )_{\mathfrak {g}}\) on \(\mathfrak {g}\) which is invariant under the adjoint action of G.
The Casimir element of the universal enveloping algebra is \(X_1^2+\cdots +X_n^2\) for one and then any orthonormal basis \(X_1,\ldots ,X_n\) of \(\mathfrak {g}\). Up to a sign, the corresponding differential operator is the (positive) LaplaceBeltrami operator of the compact Lie group G:
The Laplace–Beltrami operator \(\mathcal {L}_G\) is a nonnegative essentially selfadjoint operator on \(L^2(G)\). It is a central operator (i.e. invariant under left and right translations) and, for any irreducible representation \(\pi \) of G, \(\pi (\mathcal {L})\) is scalar:
Group Fourier transform
If \(f\in \mathcal {D}'(G)\) is a distribution and \(\pi \) is a unitary representation, we can define its group Fourier transform at \(\pi \in {\widehat{G}}\) denoted by
via
since the coefficient functions are smooth. In this paper, the Haar measure dx on G is normalised to be a probability measure.
We denote by \(L^2_{{\tiny {{finite}}}}(G)\) the set formed by the finite linear combinations of coefficients of representations \(\pi \in {\widehat{G}}\). Hence \(L^2_{{\tiny {{finite}}}}(G)\) is a vector subspace of \(C^\infty (G)\). The PeterWeyl Theorem states that \(L^2_{{\tiny {{finite}}}}(G)\) is dense in \(L^2(G)\) and that for any \(\pi ,\pi '\in {\widehat{G}}\), \(u,v\in \mathcal {H}_\pi \) we have
Consequently, a function \(f\in C^\infty (G)\) admits the following expansion in Fourier series:
Furthermore the Peter–Weyl Theorem yields an explicit spectral decomposition for \(\mathcal {L}_G\).
The Hörmander pseudodifferential calculus on G
In this section we discuss the Hörmander pseudodifferential calculus on G. It may be viewed as a generalisation of the symbols and operator defined on tori in Sect. 3.
The symbols and the natural quantisation
The natural quantisation and notion of symbols on Lie groups was first mentioned by Michael Taylor [34].
On a (connected) compact Lie group G, a symbol is a field \(\sigma =\{\sigma (x,\pi ) \in {\mathscr {L}}(\mathcal {H}_\pi ), (x,\pi )\in G\times {\widehat{G}}\}\) (for a general definition of fields of operators, see e.g. [4, Part II Ch 2]). Here \({\mathscr {L}}(\mathcal {H}_\pi )\) denotes the set of endomorphisms on the finite dimensional space \(\mathcal {H}_\pi \), and more generally the space of continuous linear mapping on a Hilbert space \(\mathcal {H}_\pi \).
Its associated operator is the operator \({\mathrm{Op}}_G(\sigma )\) defined on \(L^2_{{\tiny {{finite}}}}(G)\) via
The Peter–Weyl theorem implies that for \(\sigma (x,\pi )=\mathrm{I}_{\mathcal {H}_\pi }\) the corresponding operator is the identity. Furthermore, if T is a linear operator defined on \(L^2_{{\tiny {{finite}}}}(G)\) (and with image some complexvalued functions of \(x\in G\)), then one recovers the symbol via
when one has fixed a matrix realisation of \(\pi \). This shows that the quantisation \({\mathrm{Op}}_G\) defined above is injective.
Difference operators
Here we recall the two notions of difference operators, the RTones introduced by Michael Ruzhansky and Ville Turunen [27] and the fundamental ones introduced by the author in [8].
If \(q\in C^\infty (G)\), then the corresponding RTdifference operator \(\Delta _q\) is defined as acting on Fourier coefficients i.e. \(\mathcal {F}_G(\mathcal {D}'(G))\) via
A collection \(\Delta = \{\Delta _1,\ldots ,\Delta _{n_{\Delta }}\}= \{\Delta _{q_1},\ldots ,\Delta _{n_\Delta }\}\) of RTdifference operators is strongly admissible when
Such a collection exists, see [8, 28]. If \(\alpha \in \mathbb {N}_0^{n_\Delta }\), we write \(\Delta ^\alpha =\Delta _1^{\alpha _1}\ldots \Delta _{n_\Delta }^{\alpha _{n_\Delta }}\). Note that the RTdifference operators are defined to act not on all the symbols but only on \(\mathcal {F}_G(\mathcal {D}'(G))\).
Let us now recall the definition of the fundamental difference operators as introduced by the authors in [8], see also [7]. These two references explain how this approach generalises the difference operators of the toroidal case. A symbol \(\sigma =\{\sigma (x,\pi )\in {\mathscr {L}}(\mathcal {H}_\pi ): (x,\pi )\in G\times {\widehat{G}}\}\) is a field over the set \(G\times {\widehat{G}}\) and the Hilbert space \(\oplus _{\pi \in {\widehat{G}}}\mathcal {H}_\pi \) extends naturally to a field over \(G\times {\mathrm{Rep}(G)}\) via
Conversely, fields over \(G\times {\mathrm{Rep}(G)}\) satisfying such relations defines a symbol. The difference operator with respect to \({\pi _0}\in {\mathrm{Rep}(G)}\) is defined via
This defines a field over the set \(G\times {\widehat{G}}\) and the Hilbert space \(\oplus _{\pi \in {\widehat{G}}}\mathcal {H}_\pi \otimes \mathcal {H}_{\pi _0}\). We also extend this definition to any field over the set \(G\times {\widehat{G}}\) and the Hilbert space \(\oplus _{\pi \in {\widehat{G}}}\mathcal {H}_\pi \otimes \mathcal {H}_\varphi \) for any \(\varphi \in {\mathrm{Rep}(G)}\). This allows us to compose difference operators. We fix a finite set \(\{\varphi _1,\ldots ,\varphi _f\}\subset {\widehat{G}}\) of representations of G such that any representation in \({\widehat{G}}\) will occur in a tensor products of representations in \({\mathrm{Fund}(G)}\). This exists [7], and we call these representations \(\varphi _1,\ldots ,\varphi _f\) and the corresponding difference operators \(\Delta _{\varphi _1},\ldots ,\Delta _{\varphi _f}\) fundamental. If \(\alpha \in \mathbb {N}_0^f\), we write \(\Delta ^\alpha =\Delta _{\varphi _1}^{\alpha _1}\ldots \Delta _{\varphi _f}^{\alpha _f}\).
Pseudodifferential calculus on G
The next statement characterises the global symbol of an operator in the Hörmander pseudodifferential calculus on G:
Theorem 4.1

(1)
Let \(A\in \Psi ^m(G)\) for some \(m\in \mathbb {R}\). Then there exists a unique symbol \(\sigma _A\) such that \(A={\mathrm{Op}}_G(\sigma _A)\). The symbol is smooth in \(x\in G\) in the sense that for each \(\pi \in {\widehat{G}}\), the map \(x\mapsto \sigma (x,\pi )\) is smooth on G.
For any basis \(X_1,\ldots ,X_n\) of \(\mathfrak {g}\) and for any strongly admissible family of RTdifference operators \(\Delta \), the symbol \(\sigma _A\) satisfies
$$\begin{aligned}&\forall \alpha \in \mathbb {N}_0^{n_\Delta },\ \beta \in \mathbb {N}_0^n\quad \exists C>0 \quad \forall (x,\pi )\in G\times {\widehat{G}}\\&\quad \Vert X^\beta \Delta ^\alpha \sigma _A(x,\pi )\Vert _{{\mathscr {L}}(\mathcal {H}_\pi )} \le C \langle \lambda _\pi \rangle ^{\frac{m\alpha }{2}}. \nonumber \end{aligned}$$(4.1)The symbol \(\sigma _A\) satisfies
$$\begin{aligned}&\forall \alpha \in \mathbb {N}_0^f,\ \beta \in \mathbb {N}_0^n\quad \exists C>0 \qquad \forall (x,\pi )\in G\times {\widehat{G}}\\&\quad \Vert X^\beta \Delta ^\alpha \sigma _A(x,\pi )\Vert _{{\mathscr {L}}} \le C \langle \lambda _\pi \rangle ^{\frac{m\alpha }{2}}.\nonumber \end{aligned}$$(4.2)Here \(X_1,\ldots ,X_n\) denotes a basis of \(\mathfrak {g}\) and we have fixed fundamental representations \(\varphi _1,\ldots ,\varphi _f\).

(2)
Conversely, the following holds:
If a symbol \(\sigma \) is smooth in x and satisfies (4.1) for a basis \(X_1,\ldots ,X_n\) of \(\mathfrak {g}\) and for a strongly admissible family of RTdifference operators \(\Delta \), then \({\mathrm{Op}}_{G}(\sigma )\in \Psi ^m(G)\) and it satisfies (4.1) for any basis \(X_1,\ldots ,X_n\) of \(\mathfrak {g}\) and for any strongly admissible family of RTdifference operators \(\Delta \).
If a symbol \(\sigma \) is smooth in x and satisfies (4.1) for a basis \(X_1,\ldots ,X_n\) of \(\mathfrak {g}\) and for a set fundamental representations \(\{\varphi _1,\ldots ,\varphi _f\}\) of fundamental representations then \({\mathrm{Op}}_{G}(\sigma )\in \Psi ^m(G)\) and it satisfies (4.2) for any basis of \(\mathfrak {g}\) and any set of fundamental representations.
Theorem 4.1 is shown in [8]. Part (1) is also stated in [27, 28], unfortunately with sketches of proofs relying on properties of the pseudodifferential calculus (e.g. composition or properties equivalent to the statement above) which had not been shown in these works.
We denote by \(S^m(G)\) the Fréchet space of symbols satisfying (4.2) or equivalently (4.1), and we say then that the symbols are of order m. This extends the notation for the toroidal case \(G=\mathbb {T}^n\) viewed in Sect. 3.1. As in the case of the torus, Theorem 4.1 may then be rephrased as \(\Psi ^m(G)={\mathrm{Op}}_{G}(S^m(G))\). Furthermore, the proof of Theorem 3.1 in [8] shows that the map \(\sigma \mapsto {\mathrm{Op}}_{G}(\sigma )\) is an isomorphism of Fréchet spaces from \(S^m(G)\) to \(\Psi ^m(G)\). This is so for any \(m\in \mathbb {R}\), and also for \(m=\infty \) having denoted by \(S^{\infty }(G)=\cap _{m\in \mathbb {R}} S^m(G)\) the set of smoothing symbols.
As on \(\mathbb {R}^n\) or \(\mathbb {T}^n\), we say that the symbol \(\sigma \in S^m(G)\) admits an expansion and we write \(\sigma \sim \sum _{j\in \mathbb {N}_0} \sigma _{mj}\) when \(\sigma _{mj}\in S^{mj}(G)\) and \(\sigma \sum _{j=0}^{m_N} \sigma _{m_j} \in S^{m{N+1}}(G)\).
Kernels
As on the torus, another way of defining globally an operator \(A\in \cup _{m\in \mathbb {R}} \Psi ^m(G)\) is via its integral kernel \(K_A \in \mathcal {D}'(G\times G)\) or equivalently via the distribution given by \(k_{A,x}(y)=K_A(x,xz^{1})\). Indeed, we have (in the sense of distributions) for any \(f\in C^\infty (G)\) and \(x\in G\):
Recall that the map \(x\mapsto \kappa _{A,x}\in \mathcal {D}'(G)\) is smooth on G and that we have
Moreover, \(\kappa _{A,x}\) is smooth away from the origin for x fixed since \(K_A\) is smooth away from the diagonal \(x=y\). In fact, an operator \(A:C^\infty (G)\rightarrow \mathcal {D}'(G)\) is in \(\Psi ^{\infty }(G)\) if and only if \((x,y)\mapsto \kappa _x(y)\) is smooth on \(G\times G\).
If \(\sigma _A\) does not depend on x, then A is a group Fourier multiplier with symbol \(\sigma \) and convolution kernel \(\kappa _A\). Even when \(\sigma _A\) depends on x, we may abuse the vocabulary and call \(\kappa _{A,x}\) the convolution kernel of A.
Lemma 4.2
Let \(A={\mathrm{Op}}_G(\sigma _A)\in \Psi ^{m}(G)\) with \(m<n\). Then \(\sum _{\pi \in {\widehat{G}}} d_\pi \mathrm{tr} \int _G\sigma (x,\pi ) dx\) is finite and A is traceclass with
Proof
The first equality holds on any compact manifold and any operator of order \(m<n\). As \(m<n\), \(\kappa _x\) is continuous on G so \(\int _G K_A(x,x)dx=\int _G \kappa _x(e_G) dx\).
As \(\sigma \in S^m(G)\), we have
Recall that the convolution kernel \(\mathcal {B}_s\) of the operator \((\mathrm{I}+\mathcal {L}_G)^{\frac{s}{2}}\) is square integrable for \(s>n/2\) [8, Lemma A5] and that
In this paper, \(\Vert \cdot \Vert _{HS}\) denotes the Hilbert–Schmidt norm of a matrix or an operator on a Hilbert space. Therefore, as \(m<n\), we have
and the sum on the righthand side is finite. Moreover, since \(\int _G\sigma (x,\pi )dx=\mathcal {F}_G\{\int _G \kappa _x dx \}(\pi )\), the Fourier inversion formula yields:
\(\square \)
Invariance of the calculi under translations
For any operator \(A={\mathrm{Op}}_G(\sigma _A)\) and \(x_0\in G\), we denote by \({}_{x_0}A\) and \(A_{x_0}\) the left and right translated of A, that is, the operators given by
We check easily that the symbols of \({}_{x_0}A\) and \(A_{x_0}\) are given by respectively:
It follows readily from the definition of the symbol classes [see the conditions in (4.2)] that for any \(x_0\in G\) we have
Furthermore, the maps \(\sigma _A \mapsto \sigma _{{}_{x_0}A}\) and \(\sigma _A \mapsto \sigma _{A_{x_0}}\) are continuous isomorphisms of the Fréchet space \(S^m(G)\). Consequently, \(\Psi ^m(G)\) is invariant under left or right translations in the sense that for any \(x_0\in G\) we have:
Furthermore, we can integrate with respect to \(x_0\in G\):
Let us prove a similar result for the classical calculus:
Proposition 4.3
For any \(A\in \Psi ^m_{cl}(G)\) and \(x_0\in G\), the operators \({}_{x_0}A\), \(A_{x_0}\), \(\int _G {}_{x_0}A \, dx_0\) and \(\int _G A_{x_0} dx_0\) are in \(\Psi ^m_{cl}(G)\).
Proof
We can construct a finite open cover of G of the form \((\Omega z_{j})_{j}\) where \(\Omega \) is a small neighbourhood of \(e_G\) and \((z_j)_{j}\) distinct point on G. We can also find a subordinate partition of unity of the form \(\chi _j=\psi _j (\cdot \, z_j)\), and \(\psi _j\) valued in [0, 1], identically 1 near \(e_G\) and with a small support about \(e_G\). The exponential mapping \(\exp _G\) is a smooth diffeomorphism from a neighbourhood of 0 onto a neighbourhood of \({\mathrm{supp}}\psi _j\). For any \(A:C^\infty (G)\rightarrow \mathcal {D}'(G)\), we define \(A_{j,k}:C_c^\infty (\Omega )\rightarrow \mathcal {D}'(\Omega )\) via
Then \(A:C^\infty (G)\rightarrow \mathcal {D}'(G)\) is in \(\Psi ^m(G)\) if and only if all the operators \(\phi \mapsto (A_{j,k}(\phi \circ \exp _G^{1}))\circ \exp _G\) are in \(\Psi ^m(\mathcal {O})\). And \(A\in \Psi ^m(G)\) is classical if and only if all the operators \(\phi \mapsto (A_{j,k}(\phi \circ \exp _G^{1}))\circ \exp _G\) are in \(\Psi ^m_{cl}(\mathcal {O})\).
We observe that \(({}_{x_0}A)_{j,k}\) coincides with \(A'_{j,k}\) constructed in a similar fashion, but with the \(z_j\) being replaced by \(x_0^{1} z_j\). The membership of \({}_{x_0}A\) follows readily. Furthermore, all the operators \(({}_{x_0}A)_{j,k}\) have an integral kernel which depends smoothly on \(x_0\), i.e. \(G\ni x_0\mapsto K_{ ({}_{x_0}A)_{j,k}} \in \mathcal {D}'(G\times G)\) is continuous; therefore the Euclidean symbols of \(\phi \mapsto (({}_{x_0}A)_{j,k}(\phi \circ \exp _G^{1}))\circ \exp _G\) depend smoothly on \(x_0\) as well. Hence, one checks easily that the integration over G also produces a classical symbols. This implies the membership of \(\int _G {}_{x_0}A \, dx_0\) in \(\Psi ^m_{cl}(G)\).
Similarly, we obtain the \(\Psi ^m_{cl}(G)\)memberships of \(A_{x_0}\) by considering left translated of \(\Omega \) and of \(\int _G A_{x_0} dx_0\) as above. \(\square \)
The proof of Proposition 4.3 yields readily:
Corollary 4.4
Let \(A\in \Psi ^m_{cl}(G)\) and let \(x_0\in G\).
 (1)
Denoting by \(a_m\) the principal symbol of A, the principal symbols of \({}_{x_0}A\) and \(A_{x_0}\) at x are given by \(a_{m}(x_0x, L_{x_0}^*\cdot )\) and \(a_{m}(xx_0,R_{x_0}^*\cdot )\) where \(L_{x_0}^*\) and \(R_{x_0}^*\) are the pullbacks of the left and right \(x_0\)translation mappings.
 (2)
Translating the operator yields translation of the residue density
$$\begin{aligned} {\mathrm{res}}_{x_1}({}_{x_0}A) = {\mathrm{res}}_{x_0x_1}(A) \qquad \text{ and }\qquad {\mathrm{res}}_{x_1}(A_{x_0}) = {\mathrm{res}}_{x_1x_0}(A), \end{aligned}$$and of the canonical trace density:
$$\begin{aligned} \mathrm{TR}_{x_1}({}_{x_0}A) = \mathrm{TR}_{x_0x_1}(A) \qquad \text{ and }\qquad \mathrm{TR}_{x_1}(A_{x_0}) = \mathrm{TR}_{x_1x_0}(A), \end{aligned}$$Consequently, the operators A, \({}_{x_0}A\), \(A_{x_0}\), \(\int _G {}_{x_0}A \, dx_0\) and \(\int _G A_{x_0} dx_0\) have the same noncommutative residue and the same canonical trace. If \(m<n\), they have the same trace.
We will not use Part (2) of this corollary in this paper.
Principal symbols
Our definition of homogeneous symbol is motivated by the following important property for which we need the following conventions. Recall that for a nontrivial (unitary) representation \(\pi \) when a maximal torus T is fixed, the representation space \(\mathcal {H}_\pi \) decomposes orthogonally into \(\pi (T)\)eigenspaces. The corresponding nonzero eigenvalues form the set of weights. We will also use the notion of analytical integral weight. Some wellknown facts will also be recalled and used below. References for this classical material include [16] (especially Chapters IV and V) and [13] (especially Section 12).
Lemma 4.5
Let \(A={\mathrm{Op}}_G(\sigma _A)\in \Psi ^0_{cl}(G)\). Let \(\chi _1,\chi _2\in C^\infty (G)\) with small supports near \(e_G\) and identically equal to 1 on a small neighbourhood of \(e_G\). Let \(b \in S^0(\mathbb {R}^n)\) be the principal symbol of the operator \(\exp ^* \chi _1 A\chi _2:f \mapsto (\chi _1 A((\chi _2f)\circ \exp _G))\circ \exp _G^{1}\). Let \(w\in \mathfrak {g}^*\). If there exists a maximal torus T of G and a nontrivial irreducible representation \(\pi \) of G such that w is an analytical integral weight for \(\pi \) and T then
where v is a unit wweight vector.
As the eigenspace of an analytical integral weight is onedimensional, the limit relation in Lemma 4.5 does not depend on the choice of a unit highest weight vector.
Proof of Lemma 4.5
If f is a smooth function supported in a neighbourhood small enough of \(e_G\) and if X is in a neighbourhood small enough of \(e_G\), we have:
after the change of variable \(y=\exp _G(Y)\). Hence the symbol a of the operator \(\exp ^* \chi _1 A\chi _2\) is, up to a smoothing symbol, given by
where \(\chi \in C_c^\infty (\mathbb {R})\) is valued in [0, 1] and supported in a small neighbourhood of 0 with \(\chi \equiv 1\) near 0. Consequently, its principal symbol at \(X=0\) is
Let \(w\in \mathfrak {g}^*\) such that there exists a maximal torus T of G and a nontrivial irreducible representation \(\pi \) of G such that w is an analytical integral weight for \(\pi \) and T. We fix an ordering on \(\mathfrak {g}^*\) so that w is dominant and has become the highest weight of \(\pi \). Let v be a unit highest weight vector. For every \(k\in \mathbb {N}\), the highest weight theory yields:
where \(\pi _{k w}\) is the representation with highest weight kw and \(v_{kw}\) a unit highest weight vector. Therefore, we have for any \(x\in G\)
Setting \(\chi _G=\chi \circ \exp \), we have \({{\widehat{\kappa }}}_{A,e_G} = \mathcal {F}_G (\chi _G\kappa _{A,e_G}) + \mathcal {F}_G ((1\chi _G)\kappa _{A,e_G})\), and the second term is smoothing, so
for any \(N\in \mathbb {N}\). By [7, Lemma 3.8], \(\langle \lambda _{\pi _{kw}}\rangle \asymp \langle kw \rangle ^2\asymp k^2\) for w fixed. For the first term, we use
for Y in a small neighbourhood of 0 to obtain:
This implies easily the limit relation in the statement. \(\square \)
Having chosen a maximal torus T in G, the set of analytical integral functionals
form a lattice of the dual \(\mathfrak {t}^*\) of the Lie algebra \(\mathfrak {t}\) of T (see also [7, Section 2.4] for a discussion with this viewpoint). It is easily seen that given any real finitedimension vector space V, a continuous homogeneous function on \(V{\setminus }\{0\}\) is characterised by its restriction to any lattice of V. Hence, Lemma 4.5 implies that, keeping its notation, \(b(0,\cdot )\) is determined completely on \(\mathfrak {t}^*{\setminus }\{0\}\). Now the unions of all the possible maximal tori and of the duals of their Lie algebras are G and \(\mathfrak {g}^*\) respectively. Therefore, b is determined completely on \(\{0\}\times \mathfrak {g}^*{\setminus }\{0\}\). The properties of translations in Corollary 4.4 Part (1) then yield:
Theorem 4.6
Let \(A={\mathrm{Op}}_G(\sigma _A)\in \Psi ^0_{cl}(G)\). Using the homogeneity and the pullback of the left translations, its principal symbol is identified with a smooth function \(a_0 :G\times (\mathfrak {g}^*{\setminus }\{0\})\rightarrow \mathbb {C}\) which is homogeneous of degree 0 in the variable \(\xi \in \mathfrak {g}^*{\setminus }\{0\}\). Then we have for \(x\in G\) and any nontrivial \(\pi \in {\widehat{G}}\),
where w and \(v\in \mathcal {H}_\pi \) are the highest weight and a corresponding unit vector for a given maximal torus T and ordering on \(\mathfrak {g}^*\). This characterises \(a_0\).
This theorem shows how to obtain the principal symbol \(a_0\) from the global symbol \(\sigma _A\). The matrix symbol contains all the information about the operator A whereas the principal symbol may be viewed as the operator A modulo \(\cup _{m<0} \Psi ^m(G)\).
In the case of the torus \(G=\mathbb {T}^n\), every representation \(\pi \in {\widehat{G}}\) is of dimension 1 and identified with a character \(x\mapsto e^{2i\pi x\cdot \ell }\); furthermore, \(\pi ^{\otimes k}\) corresponds then to the character \(x\mapsto e^{2i\pi x\cdot (k\ell )}\). With Theorem 4.6, we recover
which is a simple consequence of Proposition 3.4.
Homogeneous symbols and classical symbols on G
We are led to define the following notion of homogeneity.
Definition 4.7
Let \(\sigma \) be a symbol. It is said to be 0homogeneous when the following condition is satisfied for every \(x\in G\) and every \(\pi \in {\widehat{G}}\backslash \{1\}\) of G. We fix a maximal torus T and a realisation of \(\pi \) as a unitary irreducible representation of G. We consider an orthonormal basis of \(\pi (T)\)eigenvectors for the representation space. The only possibly nonzero coefficients of \(\sigma (x,\pi )\) are the diagonal ones corresponding to analytical integral weights, i.e. \((\sigma (x,\pi )v_1,v_2)=0\) if \(v_1,v_2\) are \(\pi (T)\)eigenvectors for weights which are not both analytical integral, or if \(v_1,v_2\) are \(\pi (T)\)eigenvectors for distinct analytical integral weights. Furthermore, if v is a unit eigenvector for an analytical integral weight for \(\pi \) and T, then we have for every \(k\in \mathbb {N}\)
In the last relation, \(\pi ^{\otimes k}\) denotes the ktensor product of the representation \(\pi \). As v is a unit eigenvector for an analytical integral weight w for \(\pi \) and T, \(v^{\otimes k}\) is a unit eigenvector for the analytical integral weight kw for \(\pi ^{\otimes k}\) and T. Furthermore, this last relation does not depend on the choice of the unit eigenvector v since the eigenspace of an analytical integral weight is onedimensional. In fact, it implies
where \(\pi _{k w}\) is the representation with highest weight kw and \(v_{kw}\) a unit highest weight vector, see (4.3).
Definition 4.7 gives a condition on the symbol \(\sigma \) as a field over \(G\times {\widehat{G}}\). Indeed, if \(\pi _1\) is equivalent to the representation \(\pi \) in the definition, then \(\pi _1\) and \(\pi \) are isomorphic and therefore have the same matrix representation in an orthonormal basis of weight vectors. Furthermore, the condition in Definition 4.7 does not depend on the choice of a maximal torus T. Indeed, if \(T'\) is another maximal torus T then \(T'\) and T are conjugate by an element g of G; the coadjoint action at g is an isomorphism for the two sets of weights and the unitary map \(\pi (g)\) intertwines the matrix representation in the basis of eigenvectors for \(\pi (T)\) and \(\pi (T')\).
We can now define our notion of classical polyhomogeneous expansion for our global symbol in G:
Definition 4.8
A symbol \(\sigma \) is said to be mhomogeneous with \(m\in \mathbb {C}\) when \(\lambda _\pi ^{m/2}\sigma (x,\pi )\) yields a 0homogeneous symbol.
A symbol is classical of complex order\(m\in \mathbb {C}\) when \(\sigma \) is in \(S^{\mathfrak {R}m}(G)\) and admits the expansion \(\sigma \sim _h \sum _{j\in \mathbb {N}_0} \sigma _{mj}\) where each \(\sigma _{mj}\) is in \(S^{\mathfrak {R}mj}\) and is \((mj)\)homogeneous.
In the case of the group being a torus \(G=\mathbb {T}^n\), this definition is consistent with the ones given in Sect. 3.2. Therefore, we can generalise the notation of that section and denote by \(S^m_{cl}(G)\) the space of classical symbol of order \(m\in \mathbb {C}\). We obtain as in the case of the torus:
Theorem 4.9
For any \(m\in \mathbb {C}\), we have
The next section is devoted to the proof of Theorem 4.9.
Proof of Theorem 4.9
Let us first show the inclusion \({\mathrm{Op}}_{G}(S^m_{cl}(G))\subset \Psi ^m_{cl}(G)\). By linearity of \({\mathrm{Op}}_{G}\) and the result on \(\cup _{m_1\in \mathbb {R}} \Psi ^{m_1}(G)\), it suffices to show:
Lemma 4.10
If \(\sigma \in S^{\mathfrak {R}m}\) is mhomogeneous, then \({\mathrm{Op}}_G(\sigma )\in \Psi ^m_{cl}(G)\).
Proof of Lemma 4.10
We already know \(A:={\mathrm{Op}}_G(\sigma )\in \Psi ^{\mathfrak {R}m}(G)\). If \(\chi \in C_c^\infty (\mathbb {R})\) has a small enough support near 0 with \(\chi (0)=1\), then the operator spectrally defined via \(\chi (\mathcal {L}_G)\) is the projection onto the constant function and \(\mathcal {L}_G+\chi (\mathcal {L}_G)\) is injective. By [8, Proposition 3.14], the operator \(\chi (\mathcal {L}_G)\) is smoothing and \( (\mathcal {L}_G +\chi (\mathcal {L}_G))^{m_1/2} \in \Psi ^{\mathfrak {R}m_1}(G)\) for any \(m_1\in \mathbb {C}\). Furthermore, the properties of a Laplace operator on a compact manifold [31] imply \( (\mathcal {L}_G +\chi (\mathcal {L}_G))^{m_1/2} \in \Psi ^{m_1}_{cl}(G)\). The properties of \({\mathrm{Op}}_G\) yield \(A_1:= A(\mathcal {L}_G +\chi (\mathcal {L}_G))^{m/2}:={\mathrm{Op}}_G (\sigma _1)\) where \(\sigma _1\) is the symbol given by
Showing that \(A_1\) is classical will imply that \(A=A_1(\mathcal {L}_G +\chi (\mathcal {L}_G))^{m/2}\) is also classical, therefore this paragraph shows that we may assume \(m=0\).
Let us assume \(m=0\). By the properties of invariance under translation (see Sect. 4.2.5), it suffices to show that the operator \(\exp ^* \chi _1 A\chi _2\) is classical where \(\chi _1,\chi _2\in C^\infty (G)\) have small supports near \(e_G\) and identically equal to 1 on a small neighbourhood of \(e_G\). Proceeding as in the proof of Lemma 4.5, the symbol a of the operator \(\exp ^* \chi _1 A\chi _2\) is, up to a smoothing symbol, given by
where \(\chi \in C_c^\infty (\mathfrak {g}^*)\) is valued in [0, 1], supported near 0 and identically equal to 1 on a small neighbourhood of 0. For \(X\in {\mathrm{supp}}\chi \), the function \(\Phi _X\) defined via
is smooth on \(\mathfrak {g}^*\). As \(D_0\Phi _X =\mathrm{I}\), it is a diffeomorphism between open neighbourhoods of 0. The change of variable \(Y'=\Phi _X (Y)\) yields
viewing \(\xi \) as an element of \(\mathfrak {g}^*\). Setting
when \(w\in \mathfrak {g}^*\) is an analytical integral weight for some \(\pi \in {\widehat{G}}\) and maximal torus T, and where v is a unit wweight vector, we have
where \(\chi _X=\chi \circ \Phi _X^{1} \circ \exp _G^{1}\in C^\infty (G)\) is identically 1 in a neighbourhood of \(e_G\). Setting \(b_T^{(X)}(0)=0\), the function \(b^{(X)} b_T^{(X)}\) is therefore an invariant smoothing symbol on the lattice of analytical integral weight for the maximal torus T. Since \(\sigma \) is 0homogeneous, we have \(b_T^{(X)}(kw)=b_T^{(X)}(w)\) and the function \(b_T^{(X)}\) is a 0homogeneous symbol on the lattice of analytical integral Tweights. By Proposition 3.3, \(b_T^{(X)}\) admits a unique smooth extension to \(\mathfrak {t}^*{\setminus }\{0\}\) for which we keep the same notation. The uniqueness of the construction shows that we can define a function \(b_0^{(X)}:\mathfrak {g}^*\rightarrow \mathbb {C}\) such that its restriction to the dual \(\mathfrak {t}^*\) of the Lie algebra of any maximal torus T coincides with \(b_0^{(X)}_ {\mathfrak {t}^*} =b_T^{(X)}\). Furthermore, \(b_0^{(X)}\in C^\infty (\mathfrak {g}^*{\setminus }\{0\})\) is 0homogeneous.
We fix a function \(\psi _0\in C^\infty (\mathbb {R})\) be such that \(\psi _0(s)=0\) for \(s\le 1/2\) and \(\psi _0(s)=1\) for \(s\ge 1\). We define the smooth and bounded function R on \(\mathfrak {g}^*\) with
By construction, \(R_X\) is an invariant symbol in \(S^0\) on \(\mathbb {R}^n\sim \mathfrak {g}^*\), therefore \(\mathcal {F}^{1}_{\mathbb {R}^n} R_X\) is Schwartz away from 0. For any maximal torus T, the restriction of \(R_X\) to the lattice of analytical integral weights of T is smoothing, therefore it yields a smoothing symbol on the torus T and its convolution kernel \(\mathcal {F}^{1}_{T} R_X_T\) is smooth near \(e_G\in T\). This being true for any maximal torus T implies that \(\mathcal {F}^{1}_{\mathbb {R}^n} R_X\) is Schwartz on \(\mathfrak {g}\), so \(R_X\in \mathcal {S}(\mathfrak {g}^*)\). One checks easily that the map \(X\mapsto R_X \in \mathcal {S}(\mathfrak {g}^*)\) is smooth on a neighbourhood of 0. As the symbol a is given by
it satisfies \(a(X,\xi )\sim _h b_0^{(X)}(\xi \circ \Psi _X^{1})+0\). This concludes the proof. \(\square \)
The main ingredient for the reverse inclusion is the following lemma:
Lemma 4.11
Let \(A\in \Psi ^0_{cl}(G)\). As in Theorem 4.6, we identify its principal symbol with a smooth function \(a_0 :G\times (\mathfrak {g}^*{\setminus }\{0\})\rightarrow \mathbb {C}\) which is 0homogeneous in the variable \(\xi \in \mathfrak {g}^*{\setminus }\{0\}\).
Let \(x\in G\) and let \(\pi \) be an irreducible nontrivial representation of G. Fixing a maximal torus T, we define an endomorphism \(M_{x,\pi }\) of \(\mathcal {H}_\pi \) in the following way: all its coefficients with respect to an orthonormal basis of \(\pi (T)\)eigenvectors of \(\mathcal {H}_\pi \) vanish except (potentially) the diagonal ones corresponding to analytical integral weights w where we have \((M_{x,\pi } v,v)_{\mathcal {H}_\pi } := a_0(x,w)\). When x runs over G and \(\pi \) runs over the set of irreducible nontrivial representation of G, the matrices \(M_{x,\pi }\) together with \(\sigma _0(x,1_{{\widehat{G}}})=0\) define a 0homogeneous symbol \(\sigma _0\). Furthermore, \(\sigma _0\in S^0(G)\) and \(A{\mathrm{Op}}(\sigma _0)\in \Psi ^{1}_{cl}(G)\).
Proof of Lemma 4.11
The considerations in Sects. 4.3 and 4.4 show that the symbol \(\sigma _0\) is welldefined and 0homogeneous. Let us show \(\sigma _0\in S^0(G)\). We fix a maximal torus T. We will need the following observation: the highest weight theory implies that if \(w_1,\ldots , w_j\) are j analytical integral weights for representations \(\pi _1,\ldots , \pi _j \in {\widehat{G}}\), then \(w_1+\cdots +w_j\) is an analytical integral weights for the irreducible representation with highest weight (in any choice of ordering) in the decomposition of \(\pi _1\otimes \cdots \otimes \pi _j\) into irreducibles, so we have:
where each vector \(v_k\) is a unitary \(w_k\)vector.
Let \(\varphi ,\pi \in {\widehat{G}}\). The endomorphsims \(\sigma _0(x,1_\varphi \otimes \pi )\) and \(\sigma _0(x,\varphi \otimes \pi )\) of \(\mathcal {H}_\pi \otimes \mathcal {H}_\varphi \) are diagonal when viewed in an orthogonal basis of vectors of the form \(v_\pi \otimes v_\varphi \) where \(v_\pi \) and \(v_\varphi \) are eigenvectors for \(\pi (\mathfrak {t})\) and \(\varphi (\mathfrak {t})\) respectively. Furthermore, only the diagonal entries corresponding to analytical integral \(w_\pi \) and \(w_\varphi \) may be nonzero. Therefore this is also the case for \(\Delta _\varphi \sigma _0(x,\pi )\) and we have by (4.4)
This last expression is equal to \(D_\xi a_0(x,\cdot )(w_\pi )\) for some \(\xi \in [w_\pi ,w_\pi +w_\varphi ]\) by the mean value theorem. The homogeneity of \(a_0\) then yield the estimate
By [7, Lemma 3.8], \(\langle w_\pi \rangle \asymp \langle \lambda _\pi \rangle ^{1/2}\). Therefore, \(\Vert \Delta _\varphi \sigma _0(x,\pi )\Vert _{{\mathscr {L}}(\mathcal {H}_{\pi \otimes \varphi })}\lesssim _{a_0,\varphi } \langle \lambda _\pi \rangle ^{1/2}\).
More generally, we compute recursively for any symbol \(\sigma \) independent of x and \(\varphi '_1,\ldots ,\varphi '_J,\pi \in {\mathrm{Rep}(G)}\):
We now assume \(\varphi '_1,\ldots ,\varphi '_J,\pi \) irreducible. The endomorphsim \(\Delta _{\varphi '_1}\ldots \Delta _{\varphi '_J} \sigma _0(x,\pi )\) is diagonal when viewed in an orthogonal basis of vectors which are the projections of of \(v_\pi \otimes v_{\varphi '_1}\otimes \cdots \otimes v_{\varphi '_J} \) and only the diagonal entries corresponding to analytical integral weights \(w_\pi \) and \(w_{\varphi _k}\) may be nonzero. The formulae in (4.4) and (4.5) applied to symbols independent of x on \({\widehat{G}}\) and also on the lattice of analytical integral weights yield:
where \(a(x,\cdot )\) is restricted to the lattice of analytical integral weights of G. Iteratively applying the mean value formula, we have
for some \(\xi '\) in a ball about \(w_\pi \) and with radius \(\sum _{j=1}^J w_{\phi '_j}\). The homogeneity of \(a_0\) then yield
As \(\langle w_\pi \rangle \asymp \langle \lambda _\pi \rangle ^{1/2}\), we have obtained \(\Vert \Delta _{\varphi '_1}\ldots \Delta _{\varphi '_J}\sigma _0(x,\pi )\Vert _{{\mathscr {L}}} \lesssim \langle \lambda _\pi \rangle ^{J/2}\). This shows that the symbol \(\sigma _0\) is in \(S^0(G)\).
By Lemma 4.9, \({\mathrm{Op}}(\sigma _0)\in \Psi ^0_{cl}(G)\) so \(A{\mathrm{Op}}(\sigma _0)\) is in \(\Psi ^0_{cl}(G)\). By construction and Theorem 4.6, the principal symbol of \(A{\mathrm{Op}}(\sigma _0)\) is identically zero. This implies \(A{\mathrm{Op}}(\sigma _0)\in \Psi ^{1}_{cl}(G)\) and concludes the proof of Lemma 4.11. \(\square \)
Proof of Theorem 4.9
We have already noticed that Lemma 4.10 implies \({\mathrm{Op}}_{G}(S^m_{cl}(G))\subset \Psi ^m_{cl}(G)\). Let us prove the reverse inclusion. Let \(A\in \Psi ^m_{cl}(G)\). Then \(A(\mathrm{I}+\mathcal {L}_G)^{\frac{m}{2}}\in \Psi ^0_{cl}(G)\) and we denote by \(\sigma _0\) the 0homogeneous symbol associated with it in Lemma 4.11. We define \(\sigma _m\) via \(\sigma (x,\pi ) = \lambda _\pi ^{\frac{m}{2}} \sigma _m(x,\pi )\) for \(\pi \in {\widehat{G}}\backslash \{1_{{\widehat{G}}}\}\), and \(\sigma (x,1_{\widehat{G}}) = 0\). Then the symbol \(\sigma _m\) is in \(S^m(G)\) while the operator
is in \(\Psi ^{m1}_{cl}(G)\). Recursively, we obtain a polyhomogeneous expansion \(\sum _{j\in \mathbb {N}_0}\sigma _{mj}\) for \(\sigma ={\mathrm{Op}}_G^{1} A\) and this shows \(\sigma \in S^m_{cl}(G)\). We have obtained the reverse inclusion \(\Psi ^m_{cl}(G)\subset {\mathrm{Op}}_{\mathbb {T}^n}(S^m_{cl}(G))\) and this concludes the proof of Theorem 4.9. \(\square \)
Noncommutative residue and canonical trace on G
Here, we generalise Corollary 3.6 to the case of a compact Lie group which may not be commutative, i.e. may not be the torus. Applying Theorem 2.5 and Proposition 2.9 to the Laplace operator \(\mathcal {L}_G\), we obtain readily the following result.
Proposition 4.12
Let \(\sigma \in S^m_{cl}(G)\) with \(m\in \mathbb {C}\). We set \(A:={\mathrm{Op}}_{G}(G)\).
 (2)
Let \(\eta \in C_c^\infty (0,\infty )\). Then we have an expansion as \(t\rightarrow 0^+\):
$$\begin{aligned} \mathrm{tr}(A\, \eta (\mathcal {L}_G)) = \sum _{\pi \in {\widehat{G}}} d_\pi \eta (t\lambda _\pi ) \mathrm{tr}(\sigma (x,\pi )) \sim c_{m+n} t^{\frac{m+n}{m_0}} + c_{mn1} t^{\frac{m+n1}{m_0}} + \ldots \end{aligned}$$The constants \(c_{m+nj}\) are of the form \(c_{m+nj} = c_{m+nj}^{(\sigma )} c_{m+nj}^{(\eta )}\) where \(c_{m+nj}^{(\sigma )}\) depends only on the homogeneous expansion of \(\sigma \) and
$$\begin{aligned} c_{m+nj}^{(\eta )}:= \frac{1}{2} \int _{u=0}^{+\infty } \eta (u) \ u^{\frac{mj+n}{2}} \frac{du}{u} . \end{aligned}$$If \(m\in \mathbb {Z}_n\) then \(c_0=c_0^{(\sigma )}c_0^{(\eta )}\) with
$$\begin{aligned} c_0^{(\sigma )}={\mathrm{res}}A,\qquad \text{ and }\qquad c_0^{(\eta )}=\frac{1}{2} \int _0^{+\infty } \!\!\! \eta (u)\ \frac{du}{u} . \end{aligned}$$  (3)
Here, \(\mathfrak {R}m\ge n\) with \(m \notin \mathbb {Z}\). Let \(\eta \in \mathcal {M}^{m_\eta }(\mathbb {R})\) (see Definition 2.4) with \(\mathfrak {R}m+m_\eta m_0<n\). Then the operator \(A\ \eta (t \Delta )\) is traceclass for all \(t\in \mathbb {R}\) and the trace admits the following expansion as \(t\rightarrow 0^+\),
$$\begin{aligned} \mathrm{tr}(A\, \eta (\mathcal {L}_G))= & {} \sum _{\pi \in {\widehat{G}}} d_\pi \eta (t\lambda _\pi ) \mathrm{tr}(\sigma (x,\pi )) = \eta (0) \mathrm{TR}(A)\\&+ \sum _{j=0}^{N1} c'_{m+nj} t^{\frac{mn+j}{2}} +o(1), \end{aligned}$$where \(N\in \mathbb {N}\) is the smallest nonnegative integer such that \(N\ge 2 m_\eta +m_1+n\). The constants \(c'_{m+nj}\) are of the form \(c'_{m+nj} = {c'}_{m+nj}^{(\sigma )} {c'}_{m+nj}^{(\eta )}\) where \({c'}_{m+nj}^{(\sigma )}\) depends only on the polyhomogeneous expansion of \(\sigma \) and
$$\begin{aligned} {c'}_{m+nj}^{(\eta )}:= \frac{1}{2} \int _{u=0}^{+\infty } \eta (u) \ u^{\frac{mj+n}{2}} \frac{du}{u} . \end{aligned}$$
References
 1.
Agranovič, M.S.: Spectral properties of elliptic pseudodifferential operators on a closed curve. Funkt. Anal. Prilozhen. 13(4), 54–56 (1979)
 2.
Agranovič, M.S.: Elliptic pseudodifferential operators on a closed curve. Trudy Mosk. Mat. Obshch. 47(246), 22–67 (1984)
 3.
Connes, A.: Noncommutative Geometry. Academic Press Inc, San Diego (1994)
 4.
Dixmier, J.: von, Neumann algebras, 27, Translated from the Second French Edition by F. NorthHolland Publishing Co., AmsterdamNew York, Jellett (1981)
 5.
Fedosov, B.V., Golse, F., Leichtnam, E., Schrohe, E.: The noncommutative residue for manifolds with boundary. J. Funct. Anal. 142(1), 1–31 (1996)
 6.
Fischer, V.: Real trace expansion. preprint at arXiv
 7.
Fischer, V.: Differential structure on the dual of a compact Lie group. preprint at arXiv:1610.06348
 8.
Fischer, V.: Intrinsic pseudodifferential calculi on any compact Lie group. J. Funct. Anal. 268(11), 3404–3477 (2015)
 9.
Grubb, G., Schrohe, E.: Traces and quasitraces on the Boutet de Monvel algebra. Ann. Inst. Fourier (Grenoble) 54(5), 1641–1696 (2004). xvii, xxii
 10.
Grubb, G.: A resolvent approach to traces and zeta Laurent expansions, spectral geometry of manifolds with boundary and decomposition of manifolds. Contemp. Math. 366, 67–93 (2005). Amer. Math. Soc., Providence, RI,
 11.
Grubb, G., Seeley, R.T.: Weakly parametric pseudodifferential operators and Atiyah–Patodi–Singer boundary problems. Invent. Math. 121(3), 481–529 (1995)
 12.
Guillemin, V.: A new proof of Weyl’s formula on the asymptotic distribution of eigenvalues. Adv. Math. 55(2), 131–160 (1985). Advances in Mathematics
 13.
Hall, B.: Lie Groups, Lie Algebras, and Representations. Graduate Texts in Mathematics, 222, 2nd edn. Springer, Cham (2015)
 14.
Helgason, S.: Groups and Geometric Analysis. Mathematical Surveys and Monographs, vol. 83. American Mathematical Society, Providence (2000). Reprint of the 1984 original
 15.
Hörmander, L.: The Analysis of Linear Partial Differential Operators. I, Classics in Mathematics. Springer, Berlin (1983)
 16.
Knapp, A.: Lie Groups Beyond an Introduction. Progress in Mathematics, vol. 140. Birkhäuser Boston Inc., Boston MA (1996)
 17.
Kontsevich, M., Vishik, S.: Geometry of determinants of elliptic operators. In: Functional Analysis on the Eve of the 21st Century, Vol. 1 (New Brunswick, NJ, 1993), Progr. Math., vol. 131, pp. 173–197. Birkhäuser Boston (1995)
 18.
Lesch, M.: On the noncommutative residue for pseudodifferential operators with logpolyhomogeneous symbols. Ann. Glob. Anal. Geom. 17(2), 151–187 (1999)
 19.
Lesch, M.: Pseudodifferential operators and regularized traces. In: Motives, Quantum Field Theory, and Pseudodifferential Operators. Clay Math. Proc. vol. 12, pp. 37–72. Amer. Math. Soc., Providence, RI (2010)
 20.
Lévy, C., Jiménez, N.C., Paycha, S.: The canonical trace and the noncommutative residue on the noncommutative torus. Trans. Am. Math. Soc. 368(2), 1051–1095 (2016)
 21.
McLean, William: Local and global descriptions of periodic pseudodifferential operators. Math. Nachr. 150, 151–161 (1991)
 22.
Melo, S.T.: Characterizations of pseudodifferential operators on the circle. Proc. Am. Math. Soc. 125(5), 1407–1412 (1997)
 23.
Nicola, F., Rodino, L.: Global pseudodifferential calculus on Euclidean spaces, PseudoDifferential Operators. Theory and Applications, vol. 4. Birkhäuser Verlag, Basel (2010)
 24.
Okikiolu, K.: Critical metrics for the determinant of the Laplacian in odd dimensions. Ann. Math. (2) 153(2), 471–531 (2001)
 25.
Paycha, S.: Regularised Integrals, Sums and Traces, University Lecture Series, 59. American Mathematical Society, Providence, RI, An analytic point of view (2012)
 26.
Pietsch, A.: Traces and residues of pseudodifferential operators on the torus. Integral Equ Oper Theory 83(1), 1–23 (2015)
 27.
Ruzhansky, M., Turunen, V.: Pseudodifferential Operators and Symmetries, Pseudodifferential Operators. Theory and Applications 2, Background analysis and advanced topics. Birkhäuser Verlag, Basel (2010)
 28.
Ruzhansky, M., Turunen, V., Wirth, J.: Hörmander class of pseudodifferential operators on compact Lie groups and global hypoellipticity. J. Fourier Anal. Appl. 20(3), 476–499 (2014)
 29.
Schrohe, E.: Wodzicki’s noncommutative residue and traces for operator algebras on manifolds with conical singularities. In: Microlocal Analysis and Spectral Theory (Lucca, 1996), NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., vol. 490, pp. 227–250, Kluwer Acad. Publ., Dordrecht (1997)
 30.
Scott, S.: Traces and Determinants of Pseudodifferential Operators. Oxford Mathematical Monographs. Oxford University Press, Oxford (2010)
 31.
Seeley, R.T.: Complex powers of an elliptic operator. In: Singular Integrals (Proc. Sympos. Pure Math., Chicago, Ill., pp. 288–307, p. 1967. Amer. Math. Soc, Providence, RI (1966)
 32.
Shubin, M.: Pseudodifferential Operators and Spectral Theory. Translated from the 1978 Russian original by Stig I. Andersson, 2nd edn. SpringerVerlag, Berlin (2001)
 33.
Taylor, M.: Pseudodifferential Operators. Princeton Mathematical Series, vol. 34. Princeton University Press, Princeton (1981)
 34.
Taylor, M.: Noncommutative Harmonic Analysis. Mathematical Surveys and Monographs, vol. 22. American Mathematical Society, Providence, RI (1986)
 35.
Turunen, V., Vainikko, G.: On symbol analysis of periodic pseudodifferential operators. Z. Anal. Anwend. 17(1), 9–22 (1998)
 36.
Wodzicki, M.: Local invariants of spectral asymmetry. Invent. Math. 75(1), 143–177 (1984)
 37.
Wodzicki, M.: Noncommutative residue. I. Fundamentals. In: KTheory, Arithmetic and Geometry (Moscow, 1984–1986), Lecture Notes in Math., vol. 1289, pp. 320–399. Springer, Berlin (1987)
Author information
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Fischer, V. Local and global symbols on compact Lie groups. J. PseudoDiffer. Oper. Appl. 11, 229–265 (2020). https://doi.org/10.1007/s1186801900299x
Received:
Revised:
Accepted:
Published:
Issue Date:
Keywords
 Pseudodifferential operators on manifolds
 Analysis on the torus and on compact Lie groups
 Noncommutative residue
 Canonical trace
Mathematics Subject Classification
 58J40
 43A77
 58J42