Advertisement

Letters in Mathematical Physics

, Volume 109, Issue 3, pp 565–577 | Cite as

Finite-rank approximations of spectral zeta residues

  • Abel B. SternEmail author
Open Access
Article

Abstract

We use the asymptotic expansion of the heat trace to express all residues of spectral zeta functions as regularized sums over the spectrum. The method extends to those spectral zeta functions that are localized by a bounded operator.

Keywords

Zeta residues Wodzicki residue Dixmier trace Heat kernel Partial spectrum Numerical asymptotics 

Mathematics Subject Classification

58J42 58B34 35P20 

1 Introduction

The spectral theory of elliptic operators presents a major connection between functional analysis and differential geometry. It provides a number of interesting relations between the spectrum with multiplicities (which is the complete unitary invariant of self-adjoint operators) and the symbol (which is directly tied to the local expression of pseudodifferential operators). Thereby, it shows how the local structure of such an operator influences its global properties, and vice versa. Of particular interest is the relation between the symbol of an elliptic operator and its spectral asymptotics that is conveyed by the spectral zeta residues.

This note is concerned with expressing the spectral zeta residues as a limit of partial sums of particular functions over the spectrum. Together with the well-known relations between the zeta residues, the symbol, and the heat expansion, this bridges a gap between the continuum set-up of spectral geometry and the finite objects in combinatorial geometry and computer science. For instance, this method allows one to approximate the scalar curvature on a compact Riemannian manifold using only a finite part of its Laplacian spectrum.

We will first provide some background material in Sect. 1.1 and then introduce the main topic and results of this note in Sect. 1.2.

1.1 Background: spectral zeta residues and Weyl’s law

In 1949, Minakshisundaram and Pleijel showed [10] that the zeta function
$$\begin{aligned} \zeta (\varDelta ,s) \overset{\underset{\mathrm {def}}{}}{=}{{\mathrm{tr}}}\varDelta ^{-s} \end{aligned}$$
of the Laplace operator on a compact Riemannian d-dimensional manifold can be meromorphically extended to the complex plane, with simple poles occurring in the points \(d/2-\mathbb {Z}_{\ge 0} \subset \mathbb {R}\). The residues at these poles (which are proportional to the so-called heat kernel coefficients) relate the spectrum of the Laplace operator, itself an isometry invariant, to other known isometry invariants of the manifold, such as its volume and scalar curvature.
More generally, an elliptic pseudodifferential operator defines a spectral zeta function, by the work of Seeley [11], and its residues relate geometric information to the operator spectrum in the following way. If \(\varDelta \) is a positive elliptic classical pseudodifferential operator of order \(m \in \mathbb {R}_{\ge 0}\) and k is any nonnegative integer, the residue at \(s=(d-k)/m\) of \(\zeta (\varDelta ,s)\) equals the Wodzicki residue
$$\begin{aligned} \frac{1}{m} \int _{S^* M} {{\mathrm{tr}}}a_{-n}^{(k-d)/m} (x,\xi ) \text {d}^{n-1} \xi \text {d}x, \end{aligned}$$
where \(a_{-n}(x,\xi )\) is the homogenous term of order \(-n\) in the decomposition of the symbol of \(\varDelta \) and \(S^* M \subset T^* M\) is the cosphere bundle, cf. [4, 8, 13]. In the inversely Mellin transformed picture, the residues correspond to integrals of terms in the asymptotic expansion of the integral kernel of \(\text {e}^{-t \varDelta }\) along the diagonal, as \(t \rightarrow 0^+\).
One wonders which conclusions about the operator spectrum can be drawn from the zeta residues, apart from the rather opaque one provided by their definition. The most well-known result in this direction is provided by the Wiener–Ikehara theorem, which relates the first residue of the zeta function to the asymptotics of the number \(N(\varLambda )\) of eigenvalues smaller than \(\varLambda \). If \(\alpha \) is a monotone increasing function and the zeta function
$$\begin{aligned} \zeta (z) = \int _1^\infty \lambda ^{-z} \text {d} \alpha (\lambda ) \end{aligned}$$
converges for \(\mathfrak {R}z > 1\) and can be meromorphically extended to \(\mathfrak {R}z \ge 1\) with a simple pole at \(z=1\), then the Wiener–Ikehara theorem states that \(\alpha (\varLambda ) \sim \varLambda {{\mathrm{res}}}_{z=1} \zeta (z) \) as \(\varLambda \rightarrow \infty \). By Seeley’s results on complex powers of elliptic operators, we may apply this theory to the spectral zeta function of a degree m elliptic pseudodifferential operator on a d-dimensional manifold. As in [10], this yields Weyl’s famous law
$$\begin{aligned} N(\varLambda ) = {{\mathrm{res}}}_{s=d/m} \zeta (\varDelta ,s) \varLambda ^{d/m} + o(\varLambda ^{d/m}). \end{aligned}$$
Note that this restriction only uses the first residue of the zeta function: the zeta series \({{\mathrm{tr}}}\varDelta ^{-s}\) is absolutely convergent for \(\mathfrak {R}s > d/m\).

The problem of improving on the accuracy in Weyl’s law has attracted much attention over the last century. That is, one wonders whether we can obtain an asymptotic expansion of \(N(\varLambda ) - {{\mathrm{res}}}_{s=d/m} \zeta (\varDelta ,s) \varLambda ^{d/m} \) for specific classes of operators. However, sharp bounds that depend only on the spectral zeta function of \(\varDelta \) have not yet been produced, even in the well-studied case of the Laplacian on flat tori. It would seem natural that the Wiener–Ikehara result could be extended to relate the asymptotic expansion of \(N(\varLambda )\) to the location of the poles of the zeta function. However, this approach is limited by the difficulties of inverse Mellin and Laplace transforms (see e.g. [1]), [2, 9.7.2]. The lower poles of the zeta function can therefore not yet be related to the asymptotics of \(N(\varLambda )\). However, we will explain in the present paper how to relate their residues to the asymptotics of other functionals of the operator spectrum.

1.2 Zeta residues as a resummation of the spectrum

In the converse direction to Weyl’s law, we ask which conclusions one can draw about the residues, given access to increasingly large finite subsets of the operator spectrum. For the first residue, Weyl’s law gives rise to the Dixmier trace1 formula: if \(\lambda _0 \le \lambda _1 \le \cdots \) are the eigenvalues of \(\varDelta \), then
$$\begin{aligned} {{\mathrm{res}}}_{s=d/m} \zeta (\varDelta ,s) = \lim _{N \rightarrow \infty } \frac{ \sum _{i=1}^N \lambda _i^{-d/m} }{\log N} = \lim _{\varLambda \rightarrow \infty } \frac{ \sum _{\lambda < \varLambda } \lambda ^{-d/m} }{\frac{d}{m} \log \varLambda }. \end{aligned}$$
The Dixmier trace is singular: it vanishes if \({{\mathrm{tr}}}\varDelta < \infty \). However, if \(\varDelta _j\) is a sequence of finite-rank operators of operator norm \(\Vert \varDelta _j \Vert \overset{\underset{\mathrm {def}}{}}{=}\varLambda _j \rightarrow \infty \) such that
$$\begin{aligned} {{\mathrm{tr}}}\varDelta _j^{-s_0} - \sum _{0< \lambda < \varLambda _j} \lambda ^{-s_0} = o( \log \varLambda _j), \end{aligned}$$
the Dixmier trace of \(\varDelta ^{-s_0}\) clearly equals \(\lim _{j \rightarrow \infty } {{\mathrm{tr}}}{ \varDelta _j^{-s_0} } / \log \varLambda _j\). It would seem plausible that this result can be extended to further poles, i.e. that there are also functionals \(c_k\) on the finite-rank operators such that
$$\begin{aligned} \lim _{j \rightarrow \infty } c_k(\varDelta _j) = {{\mathrm{res}}}_{s = s_k} \zeta (\varDelta ,s), \end{aligned}$$
if \(\zeta (\varDelta ,s)\) has poles at \(s_0> \cdots > s_k \) and the finite-rank \(\varDelta _j\) converge to \(\varDelta \) in some appropriate sense. The main question, then, is whether we can write these functionals down explicitly.

The existence of such asymptotic residue functionals is shown by our Theorem 1, and explicit expressions follow from the conditions of Propositions 1 and 2. Corollary 2 uses the theorem to improve on the convergence of the Dixmier trace formula, and Corollary 3 exhibits the resulting expression for the second pole. Finally, Theorem 2 is a simple extension of our treatment to the localized residue traces \({{\mathrm{res}}}_{s=s_k} {{\mathrm{tr}}}h \varDelta ^{-s}\), for any bounded operator h.

2 Zeta residues as normal functionals

We can ask how spectral zeta residues relate to finite subsets of the operator spectrum without referring to the original setting of differential geometry. We will henceforth consider the question in such generality, but we will need to restrict ourselves to operators whose zeta functions share an essential property with the Minakshisundaram–Pleijel zeta function.

Definition 1

A positive, invertible,2 self-adjoint, unbounded operator \(\varDelta \) with compact resolvent is said to be spectrally elliptic if the ‘heat trace’ \({{\mathrm{tr}}}\text {e}^{- t \varDelta }\) admits an asymptotic expansion \(\sum _{i=0}^\infty c_i t^{- s_i}\) as \(t \rightarrow 0^+\), where the \(s_i\) are decreasingly ordered reals. We say that \(\varPi = \{s_i\}\) is the heat spectrum of \(\varDelta \).

The definition implies that there is some \(s_0 \in \mathbb {R}\) such that \(\varGamma (s) {{\mathrm{tr}}}\varDelta ^{-s}\) converges for \(\mathfrak {R}s > s_0\) and can be analytically continued to a meromorphic function \(\varGamma (s) \zeta (\varDelta ,s)\) whose poles are all simple and located in \(\varPi \subset (-\,\infty ,s_0]\).

This particular terminology was chosen because the motivating example of such operators are the positive elliptic differential3 operators, cf. [7, 11]. Indeed, for a positive elliptic differential operator of order m on a n-dimensional manifold, the heat spectrum is contained in \(\frac{n}{m},\frac{n-1}{m},\cdots ,\frac{1}{m}\).

Definition 1 suggests that we will in fact be technically concerned with the asymptotic heat trace coefficients \(c_i\), and the reader who is more familiar with that terminology may rest assured that they are indeed what we are talking about. However, because zeta residues are mathematically the more general notion, the text will mainly refer to the coefficients by that name.

Our main theorem shows how the zeta residues of a spectrally elliptic operator are related to restrictions of its spectrum. We will provide the proof in Sect. 2.1.

The precise asymptotic formula for the residue \({{\mathrm{res}}}_{s=s_k} \zeta (\varDelta ,s)\) at some pole \(s_k \in \varPi \) depends only on the location of the ‘previous’ poles, that is, on the set \(\varPi \cap [s_k,\infty )\). The Dixmier trace, for instance, requires knowledge of \(s_0\) and of the fact that no poles \(s_{-1} > s_0\) exist. For a given finite set \(\{s_i\}\) of such poles, all operators with zeta residues contained in this set can be considered simultaneously, hence the following definition.

Definition 2

For any finite set \(\{s_i\}_{i=0}^k\) of decreasingly ordered reals, let \(\mathscr {D}(\{s_i\}_{i=0}^k)\) be the set of all spectrally elliptic operators \(\varDelta \) whose heat spectrum \(\varPi \) satisfies \(\varPi \cap [s_k,\infty ) \subset \{s_i\}\), i.e. whose heat trace admits an asymptotic expansion \(\sum _{i=0}^k c_i t^{-s_i} + O(t^{-s_{k+1}})\) as \(t \rightarrow 0^+\), for some \(s_{k+1} < s_k\).

If \(\sigma (\varDelta )\) is the (necessarily point) spectrum of some spectrally elliptic operator \(\varDelta \) and F is any Borel measurable function, we will denote the summation of F over the strictly positive eigenvalues smaller than \(\varLambda \) by
$$\begin{aligned} {{\mathrm{tr}}}_\varLambda F(\varDelta ) \overset{\underset{\mathrm {def}}{}}{=}{\mathop {\sum }\limits _{\varLambda > \lambda \in \sigma (\varDelta )}} F(\lambda ). \end{aligned}$$

Theorem 1

For any finite set \(\{s_i\}_{i=0}^k\) of decreasingly ordered reals, there exists a function F such that, for all \(\varDelta \in \mathscr {D}(\{s_i\}_{i=0}^k)\),
$$\begin{aligned} {{\mathrm{res}}}_{s=s_k} \zeta (\varDelta ,s) \varGamma (s) = \lim _{\varLambda \rightarrow \infty } \varepsilon (\varLambda )^{s_k} {{\mathrm{tr}}}_\varLambda F(\varDelta \varepsilon (\varLambda )), \end{aligned}$$
(1)
where \(\varepsilon (\varLambda ) \overset{\underset{\mathrm {def}}{}}{=}m \log \varLambda / \varLambda \) for any \(m > s_0 - s_k\).

The problem posed in Introduction is then trivially resolved by the following corollary, together with an explicit choice of F.

Corollary 1

Let \(\{\varDelta _j\}\) be any sequence of finite-rank positive operators of norm \(\Vert \varDelta _j \Vert \overset{\underset{\mathrm {def}}{}}{=}\varLambda _j\) such that, as \(j \rightarrow \infty \), \(\varLambda _j \rightarrow \infty \) and
$$\begin{aligned} {{\mathrm{tr}}}_{\varLambda _j} F(\varDelta \varepsilon (\varLambda _j))- {{\mathrm{tr}}}F(\varDelta _j \varepsilon (\varLambda _j)) = o((\varepsilon (\varLambda _j)^{-s_k}). \end{aligned}$$
Then,
$$\begin{aligned} {{\mathrm{res}}}_{s=s_k} \zeta (\varDelta ,s) \varGamma (s) = \lim _{j \rightarrow \infty } \varepsilon (\varLambda _j)^{s_k} {{\mathrm{tr}}}F( \varDelta _j \varepsilon (\varLambda _j)). \end{aligned}$$

Remark 1

A uniform bound over \(\mathscr {D}(\{s_i\}_{i=0}^k)\) on the rate of convergence is too much to ask: it depends on the complete spectrum of \(\varDelta \). However, the convergence rate will be shown to always be \(O(\varLambda ^{-1})\) if the next pole is at \(s_k - 1\). For examples of arbitrary error for given \(\varLambda \), see, for instance, [9, 12]. For comparison, see Remark 4 on page 10.

Remark 2

The exclusion of logarithmic terms in the heat expansion from Definition 1 corresponds to an exclusion of higher-order poles of \(\varGamma (s) \zeta (\varDelta ,s)\). However, Theorem 1 is unchanged if higher-order poles are allowed, as long as they lie below \(s_k\). Moreover, the approach can probably be modified to accommodate such logarithmic terms, at the expense of brevity and asymptotic rate of convergence.

2.1 Asymptotic series for zeta function residues

For any spectrally elliptic operator \(\varDelta \), the function \(\zeta (\varDelta ,s) \varGamma (s)\) is the Mellin transform of \(\text {e}^{- t \varDelta }\). Therefore, the asymptotic expansion of \(\text {e}^{- t \varDelta }\)
$$\begin{aligned} {{\mathrm{tr}}}\text {e}^{-t \varDelta } \sim \sum _{i=0}^k c_i t^{- s_i} + o(t^{-s_k}) \end{aligned}$$
has coefficients
$$\begin{aligned} c_i = {{\mathrm{res}}}_{s=s_i} \zeta (\varDelta ,s) \varGamma (s). \end{aligned}$$
The proof of Theorem 1 relies on the asymptotic expansion of a Mellin convolution integral with \({{\mathrm{tr}}}\text {e}^{- t \varDelta }\). This strategy was inspired by the spectral action principle of [5, Thm 1.145] and the approach of [1]. However, here we have specifically constructed the function we convolve with such that its first moments vanish, which allows us to recover the zeta residue in the leading term.

Proof of Theorem 1

The proof proceeds in two elementary steps. First, we show (Proposition 1) that for suitable functions f one has
$$\begin{aligned} \int _0^\infty {{\mathrm{tr}}}\text {e}^{-\varepsilon t \varDelta } f(t) = c_k \varepsilon ^{-s_k} + O(\varepsilon ^{-s_{k+1}}) \end{aligned}$$
as \(\varepsilon \rightarrow 0\). This part requires the asymptotic expansion of \({{\mathrm{tr}}}\text {e}^{-t \varDelta }\), implying in particular that the poles of \(\varGamma (s) \zeta (\varDelta ,s)\) must be simple and discrete (i.e. \(\varDelta \) has simple dimension spectrum disjoint with the negative integers) and lie on the real line.
Then, we use the Laplace transform F to rewrite the integral as a trace
$$\begin{aligned} \int _0^\infty {{\mathrm{tr}}}\text {e}^{- \varepsilon t \varDelta } f(t) \text {d}t = {{\mathrm{tr}}}F(\varepsilon \varDelta ), \end{aligned}$$
and we prove in Proposition 2 that there is a choice \(\varepsilon (\varLambda ) = \varLambda ^{-1} \log \varLambda ^m \) such that F decays as
$$\begin{aligned} ({{\mathrm{tr}}}- {{\mathrm{tr}}}_\varLambda ) F(\varDelta \varepsilon (\varLambda )) = O(\varepsilon ^{-s_{k+1}}), \end{aligned}$$
so that we obtain the useful asymptotic behaviour
$$\begin{aligned} {{\mathrm{tr}}}_\varLambda F(\varDelta \varepsilon (\varLambda )) = c_k \varepsilon (\varLambda )^{-s_k} + O(\varepsilon ^{-s_{k+1}}). \end{aligned}$$
This second part relies on the finite summability of \(\varDelta \), that is, on the fact that \({{\mathrm{tr}}}\text {e}^{- t \varDelta } = O(t^{-s_0})\) as \( t \rightarrow 0^+\). \(\square \)

The following asymptotic estimate is completely straightforward.

Proposition 1

Let f be a piecewise continuous function supported in \((1,\infty )\) that is \(O(t^{-m})\) for all \(m \in \mathbb {R}\) towards \(\infty \). Let \(\varDelta \in \mathscr {D}(\{s_i\}_{i=0}^k)\). Then, the Mellin convolution integral of f with \({{\mathrm{tr}}}\text {e}^{-t \varDelta }\) has an asymptotic expansion
$$\begin{aligned} \int _0^\infty {{\mathrm{tr}}}\text {e}^{- \varepsilon t \varDelta } f(t) \text {d}t = \sum _{i=0}^k c_i \varepsilon ^{-s_i} \int _0^\infty t^{-s_i}f(t) \text {d}t + o(t^{-s_k}). \end{aligned}$$

Thus, if we simply choose f so that its moments \(\int _0^\infty t^{-s_i} f(t) \text {d}t \) vanish for \(i \ne k\) and normalize it so that \(\int _0^\infty t^{-s_k} f(t) \text {d}t = 1\), we gain access to the coefficient \(c_k\).

By asymptotic decay of such a function f towards \(\infty \), it has absolutely convergent Laplace transform F. As \(\left| f(t) {{\mathrm{tr}}}\text {e}^{- \varepsilon t \varDelta } \right| \) is absolutely integrable as well, we can apply the Fubini–Tonelli theorem to obtain
$$\begin{aligned} \int _0^\infty {{\mathrm{tr}}}\text {e}^{-\varepsilon t \varDelta } f(t) \text {d}t&= \sum _{\lambda \in \sigma (\varDelta )} \int _0^\infty \text {e}^{-\lambda \varepsilon t} f(t) \text {d}t \\&= {{\mathrm{tr}}}F(\varDelta \varepsilon ), \end{aligned}$$
where \(\sigma (\varDelta )\) is the spectrum (with multiplicities) of \(\varDelta \). Therefore, Proposition 1 leads us to the conclusion that
$$\begin{aligned} {{\mathrm{tr}}}F(\varepsilon \varDelta ) = c_k \varepsilon ^{- s_k} + O(\varepsilon ^{-s_{k + 1}}). \end{aligned}$$
(2)
The following proposition shows that we retain the same asymptotics if we replace the trace of \(F(\varepsilon \varDelta )\) by a sum over a finite part of the spectrum, provided we scale \(\varepsilon \) accordingly.

Proposition 2

If f and \(\varDelta \) are as in Proposition 1 and additionally
$$\begin{aligned} \int _0^\infty t^{-s_i} f(t) \text {d}t = 0 \quad \text {(for all i<k)}, \end{aligned}$$
then the Laplace transform F satisfies
$$\begin{aligned} {\mathop {\sum }\limits _{\varLambda < \lambda \in \sigma (\varDelta )}} F( \lambda \log \varLambda ^m / \varLambda ) = o((\log \varLambda ^m / \varLambda )^{-s_k}) \end{aligned}$$
for all \(m > s_0 - s_k\).

Proof

By the fact that \({{\mathrm{supp}}}f \subset [1,\infty )\), its Laplace transform decays as \(F(s) = O(s^{-1} \text {e}^{-s})\) towards \(\infty \). As \(\sum _{\lambda > \varLambda } \text {e}^{-\varepsilon (\lambda -\varLambda ) t}\) is monotone decreasing in t, we see that
$$\begin{aligned} \sum _{\lambda> \varLambda } F(\varepsilon \lambda ) = O \left( \sum _{\lambda> \varLambda } (\varepsilon \varLambda )^{-1} \text {e}^{- \varepsilon \lambda }\right) = O \left( (\varepsilon \varLambda )^{-1} \text {e}^{- \varepsilon \varLambda } \sum _{\lambda > \varLambda } \text {e}^{-\varepsilon (\lambda - \varLambda ) t}\right) \end{aligned}$$
for any \(t \le 1\), as \(\varLambda \varepsilon \rightarrow \infty \). This, in turn, is \(O( (\varepsilon \varLambda )^{-1} \text {e}^{-\varepsilon \varLambda (1-t)} \varepsilon ^{- s_0})\). If, then, \(\varepsilon (\varLambda ) = m \varLambda ^{-1} \log \varLambda \) for any \(m > (s_0 - s_k)\), the remainder \(\sum _{\lambda > \varLambda } F(\varepsilon \lambda )\) will be \(o(\varepsilon ^{-s_k})\). \(\square \)

This completes the proof of Theorem 1 that started on page 5.

2.2 Explicit formulas for the first two poles

One reason to look for series that converge to zeta residues is to obtain geometric information from finite-dimensional approximations of the Laplacian on a Riemannian manifold. For instance, if \(\varDelta \) is the Laplacian, the first two residues are proportional to the volume and the total scalar curvature, respectively.

The first pole is a classical object of study. Its residue is expressed by Dixmier’s singular trace and is used, for instance, for the zeta regularization of divergent series. It is connected to counting asymptotics by the Wiener–Ikehara theorem, and for a Laplace operator on a compact Riemannian manifold, it is proportional to the volume.

Our Theorem 1 provides the following formula for the first residue.

Corollary 2

If \(\varDelta \) is a spectrally elliptic operator with heat spectrum bounded from above by \(s_0 \in \mathbb {R}\), then if \(\varepsilon (\varLambda ) = \log \varLambda / \varLambda \),
$$\begin{aligned} {{\mathrm {res}}}_{s=s_0} \zeta (\varDelta ,s) \varGamma (s_0)= \lim _{\varLambda \rightarrow \infty } \frac{ \varepsilon (\varLambda )^{s_0} }{e \varGamma (1-s_0,1)} {{\mathrm{tr}}}_\varLambda \frac{ \text {e}^{-\varDelta \varepsilon (\varLambda ) } }{1 + \varDelta \varepsilon (\varLambda )}. \end{aligned}$$

Proof

Use \(f = [t \ge 1] \text {e}^{-t} \), with Laplace transform \(F(s) = \text {e}^{-1-s}/(1+s)\), in Proposition 1. Then, divide by \(\int _0^\infty t^{-s_0} f(t) \text {d}t\) to satisfy the conditions of Proposition 2. \(\square \)

Remark 3

The present series converges faster in general than the logarithmic trace suggested by Weyl’s asymptotic formula; the remainder is \(O(\varepsilon ^{s_0 - s_1}) = O(\varLambda ^{s_1-s_0} (\log \varLambda )^{s_0 - s_{1}})\), whereas for e.g. the Laplacian on the circle the logarithmic trace of \(\varDelta ^{-1/2}\) convergences only as \(\sum _{n=1}^N \frac{1}{n \log N} - 1 = \frac{\gamma + O(N^{-1})}{\log N}\).

Now, the second pole is of particular interest because it is the first pole for which no asymptotic residue formula was previously known and because it provides a way to calculate the total scalar curvature of a Riemannian manifold from partial spectra of the Laplacian.

Corollary 3

If \(\varDelta \) is a spectrally elliptic operator with heat spectrum \(\{ s_0,s_0 - 1,\cdots \}\), then if \(\varepsilon (\varLambda ) = 2 \log \varLambda / \varLambda \),
$$\begin{aligned} {{\mathrm{res}}}_{s=s_1} \zeta (\varDelta ,s) \varGamma (s)= \lim _{\varLambda \rightarrow \infty } \frac{\varepsilon (\varLambda )^{s_0-1}}{e \varGamma (2-s_0,1)} {{\mathrm{tr}}}_\varLambda \left( \frac{2^{s_0} \text {e}^{-2 \varDelta \varepsilon (\varLambda )}}{1 + 2 \varDelta \varepsilon (\varLambda )} - \frac{\text {e}^{- \varDelta \varepsilon (\varLambda )}}{1 + \varDelta \varepsilon (\varLambda )}\right) . \end{aligned}$$

Proof

Use \(f = [t \ge 1] \text {e}^{-t} - 2^{s_0 - 1} [t \ge 2] \text {e}^{-t/2}\), which clearly satisfies the conditions of Proposition 1 and has vanishing moment \(\int _0^\infty t^{-s_0} f(t) \text {d}t\). Therefore, if we divide by \(\int _0^\infty t^{1-s_0} f(t) \text {d}t\), the result will be as in Proposition 2. The Laplace transform of f is \(F(s) = \text {e}^{-1-s}/(1+s) - 2^{s_0} \text {e}^{-1-2s}/(1+2s)\). \(\square \)

Example 1

(The total scalar curvature of the sphere \(S^2\)) Let \(F\) be the residue functional given by
$$\begin{aligned} F(s) := \left( \frac{\exp {(-s)}}{1+s} - \frac{2 \exp {(-2 s)}}{1 + 2 s} \right) , \end{aligned}$$
let \(q_n = n(n+1)\) be the nth eigenvalue of the Laplacian on the sphere and let \(p_n = 2n+1\) be its multiplicity. As before, write \(\varepsilon _m = 2 q_m^{-1} \log q_m\). We will use the Euler–Maclaurin formula to estimate the series from Corollary 3,
$$\begin{aligned} S(m) := \sum _{n=0}^m p_n F(\varepsilon _m q_n). \end{aligned}$$
Sufficient accuracy will turn out to require only the first nontrapezoidal correction term. The Euler–Maclaurin estimate reads
$$\begin{aligned} S(m) = \int _0^m p_nF(\varepsilon _m q_n) \text {d}n + \left. \left( \frac{1}{2} + \frac{B_2}{2} \frac{\partial }{\partial n} \right) p_n F(\varepsilon _m q_n) \right| _{0}^m + R_3(m), \end{aligned}$$
where \(B_2 = \frac{1}{6}\), and we will employ the usual rough bound
$$\begin{aligned} \left| R_3(m) \right| \le \frac{\zeta (3)}{(2\pi )^3} m \sup _{0 \le n \le m} \left| \frac{\partial ^3 \left( p_nF(\varepsilon _m q_n) \right) }{\partial n^3} \right| . \end{aligned}$$
The integral in the first term can be taken analytically,
$$\begin{aligned} \int _0^m p_n F(\varepsilon _m q_n) \text {d}n = \int _0^{q_m} F(q,\varepsilon _m) \text {d}q = e \varepsilon _m^{-1} \left( E_1(1+2 \varepsilon _m q_m) - E_1(1+ \varepsilon _m q_m) \right) , \end{aligned}$$
and is \(O(q_m^{-2} \log \left( 1 + q_m / (2 \log q_m) \right) \).

Because \(F(s) = O(s^{-1} \text {e}^{-s})\) as \(s \rightarrow \infty \), the order zero boundary term is just \(\frac{1}{2} + \frac{1}{2} p_m F(\varepsilon _m q_m) = \frac{1}{2} + O(p_m q_m^{-2} / \log q_m)\).

The first correction term to the trapezoidal approximation equals
$$\begin{aligned} \frac{1}{12} \left( \phantom {\frac{1}{2}} -2 + 2F(\varepsilon _m q_m)+ \varepsilon _m p_m^2 F^{(1)}(\varepsilon _m q_m) \right) = -\frac{1}{6} + O(q_m^{-2} \log q_m). \end{aligned}$$
Finally, the third derivative of \(p_n F(\varepsilon _m q_n)\) with respect to \(n\), whose supremum appears in the error estimate, is
$$\begin{aligned} 12 \varepsilon _m F^{(1)}(\varepsilon _m q_n) + 12 \varepsilon _m^2 p_n^2 F^{(2)}(\varepsilon _m q_n) + \varepsilon _m^3 p_n^4 F^{(3)}(\varepsilon _m q_n). \end{aligned}$$
All derivatives of \(F\) are bounded on \([0,\infty )\), so these terms are all \(O(q_m^{-1} \log q_m)\) uniformly in \(n\). Thus, \(R_3(m) = O(m^{-1} \log q_m)\).
Combining these facts with Corollary 3, we see that the nonleading residue for the zeta function \(\zeta _{S^2}\) is
$$\begin{aligned} {\text {res}}_{s=0} \zeta _{S^2}^{-s} = \lim _{m \rightarrow \infty } \left( \frac{1}{2} - \frac{1}{6} + O(m^{-1} \log q_m) \right) = \frac{1}{3} = \frac{2 \cdot 4\pi }{6 \cdot (4 \pi )^{d/2} }. \end{aligned}$$
Of course, one could apply Euler–Maclaurin directly to the sum that defines the heat trace on \(S^2\); since the corresponding limits \(m \rightarrow \infty \) can termwise be identified as power series in t, one can reproduce the asymptotics as \(t \rightarrow 0\) afterwards. In the present formulation, however, we need only take a single limit in m and have expressed the residue as a single universal series in the eigenvalues, with an asymptotic bound on the error over all of \(\mathscr {D}(s_0,s_0-1)\).

3 Localization

If \(\varDelta \) is spectrally elliptic, Theorem 1 allows us to calculate its zeta residues as a series in its eigenvalues. However, the classical theory of elliptic pseudodifferential operators assigns to them not just the total zeta residues, but rather a set of zeta densities. To be precise, the somewhat simpler situation for elliptic differential operators is as follows.

Let M be a Riemannian manifold of dimension n equipped with a smooth Hermitian vector bundle E, and let \(\varDelta \) be a positive, self-adjoint, elliptic differential operator of order \(m>0\), acting inside the Hilbert space of square-integrable sections of E. Then, the following localized asymptotics are available.
  1. 1.
    The operator \(\text {e}^{-t \varDelta }\) is given by a smooth kernel \(k(x,y,t): E_y \rightarrow E_x\), and as \(t \rightarrow 0^+\), its restriction to the diagonal admits an asymptotic expansion in smooth sections \(k_j\) of \({{\mathrm{End}}}E\),
    $$\begin{aligned} k(x,x,t) \sim \sum _{j=0}^{\infty } k_j(x) t^{(j-n)/m}. \end{aligned}$$
     
  2. 2.
    For any continuous section h of \({{\mathrm{End}}}E\) and any \(j \ge 0\), the following residues exist and satisfy
    $$\begin{aligned} {{\mathrm{res}}}_{s=(j-n)/m} \varGamma (s) {{\mathrm{tr}}}h \varDelta ^{-s} = \int _M {{\mathrm{tr}}}(h(x) k_j(x)) \text {d} {{\mathrm{vol}}}_M(x). \end{aligned}$$
     
We say that hlocalizes the residue trace, and we are interested in expressing the localized residues in a fashion similar to Theorem 1. We will solve this localization problem in a slightly more general setting, along the lines of the previous treatment of the zeta function residues.
Let \(\varDelta \) be a spectrally elliptic operator on a Hilbert space \(\mathscr {H}\) and let \(h \in \mathscr {B}(\mathscr {H})\) be bounded. Then, there exist \(s_0>\cdots >s_{k+1}\) such that, as \(t \rightarrow 0^+\),
$$\begin{aligned} {{\mathrm{tr}}}h \text {e}^{-t \varDelta } - \sum _{i=0}^k t^{-s_k} c_i(h) = O(t^{-s_{k+1}}). \end{aligned}$$
As before, let \(\{s_i\}_{i=1}^k\) be a set of decreasingly ordered reals and let F be the Laplace transform of a piecewise continuous function f supported in \([1,\infty )\), which is \(O(t^{-m})\) for all \( m \in \mathbb {R}\) towards \( \infty \), satisfies \(\int _0^\infty t^{-s_i} f(t) \text {d}t = 0\) for all \(i < k\), and is normalized to satisfy \(\int _0^\infty t^{-s_k} f(t) \text {d}t = 1\).

Theorem 2

Let \(\varDelta \in \mathscr {D}(\{s_i\}_{i=1}^k)\) be a spectrally elliptic operator on a Hilbert space \(\mathscr {H}\) and let \(h \in \mathscr {B}(\mathscr {H})\) be bounded. Then, for any orthonormal basis \(\{ \phi _\lambda \}_{\lambda \in \sigma (\varDelta )}\) of \(\mathscr {H}\) diagonalizing \(\varDelta \), we have
$$\begin{aligned} {{\mathrm{res}}}_{s=s_k} \varGamma (s) {{\mathrm{tr}}}h \varDelta ^{-s} = \lim _{\varLambda \rightarrow \infty } \varepsilon (\varLambda )^{s_k} {\mathop {\sum }\limits _{\varLambda > \lambda \in \sigma (\varDelta )}} \langle h \phi _\lambda , \phi _\lambda \rangle F( \lambda \varepsilon (\varLambda )), \end{aligned}$$
where \(\varepsilon (\varLambda ) \overset{\underset{\mathrm {def}}{}}{=}\varLambda ^{-1} \log \varLambda ^m \) for any \(m > s_k - s_0\).

Proof

As before, Proposition 1 holds for any such function f. That is,
$$\begin{aligned} \int _0^\infty {{\mathrm{tr}}}h \text {e}^{- \varepsilon t \varDelta } f(t) \text {d}t = c_k(h) \varepsilon ^{- s_k} + \Vert h \Vert _{\mathrm {op}} O(\varepsilon ^{- s_{k+1} }). \end{aligned}$$
Moreover, \(\sum _{\lambda \in \sigma (\varDelta )} |f(t) \text {e}^{- t \lambda } \langle h \phi _\lambda , \phi _\lambda \rangle | \le |f(t)| \Vert h \Vert _{\mathrm {op}} {{\mathrm{tr}}}\text {e}^{- t \varDelta }\) is in \(L^1(0,\infty )\). Therefore, by dominated convergence,
$$\begin{aligned} \int _0^\infty {{\mathrm{tr}}}h \text {e}^{- \varepsilon t \varDelta } f(t) \text {d}t = \sum _{\lambda \in \sigma (\varDelta )} \langle h \phi _\lambda , \phi _\lambda \rangle F(\varepsilon \lambda ) \end{aligned}$$
and by Proposition 2, the rest term decays like
$$\begin{aligned} {\mathop {\sum }\limits _{\varLambda < \lambda \in \sigma (\varDelta )}} F(\lambda \varepsilon (\varLambda )) \langle h \phi _\lambda , \phi _\lambda \rangle = \Vert h \Vert _{\mathrm {op}} O( (\varepsilon (\varLambda ))^{-s_{k+1}} ). \end{aligned}$$
We have \({{\mathrm{res}}}_{s=s_k} \varGamma (s) {{\mathrm{tr}}}h \varDelta ^{-s} = c_k(h)\), and the conclusion follows. \(\square \)

4 Final remarks and suggestions

The original motivation behind this note was to confirm the point of view that finite-rank cut-offs of spectral triples can carry geometric information in noncommutative geometry. The following remarks all proceed in that direction.

Remark 4

Our Theorem 1 provides a partial counterweight to a classical result by Colin de Verdière [12]. On the one hand, he showed that a finite set of Laplace eigenvalues carries no information on the metric if no pointwise bounds on the sectional curvature are imposed. On the other hand, we now see that for each metric and each desired accuracy, there is a bound \(\varLambda \) such that the set of eigenvalues smaller than \(\varLambda \), with multiplicity, allow computation of all zeta residues (and hence, of the associated global invariants of the metric) up to that accuracy. The local version, using Theorem 2, of this statement is that for each metric and each \(\varepsilon \) there is a finite-rank projection \(P_\varLambda = [0,\varLambda ](\varDelta _g)\) such that the cut-off matrix \(P_\varLambda \varDelta _g P_\varLambda \) together with the cut-off \(P_\varLambda C(M) P_\varLambda \) of the function algebra yields the residues of \({{\mathrm{tr}}}a \varDelta ^{-s}\) up to an error of \(\Vert a\Vert \varepsilon \).

Remark 5

The method of Theorem 2 may be applied to obtain a reasonable definition of scalar curvature in finite-dimensional noncommutative geometry. Let (AHD) be a spectral triple such that \(D^2\) is spectrally elliptic with heat spectrum \(\{(j-n)/2 \}_{j \in \mathbb {Z}_{>0}}\). In [5], the scalar curvature functional of such a spectral triple was defined to be the map
$$\begin{aligned} a \mapsto R(a) \overset{\underset{\mathrm {def}}{}}{=}{{\mathrm{res}}}_{s=n-2} \varGamma (s) {{\mathrm{tr}}}a D^{-s}. \end{aligned}$$
If H is finite-dimensional but a dimension spectrum of D is specified in advance (e.g. by modelling considerations), this residue always vanishes and Theorem 2 suggests it should perhaps be replaced by
$$\begin{aligned} a \mapsto R_\varLambda (a) \overset{\underset{\mathrm {def}}{}}{=}\sum _{\lambda \in \sigma (D^2)} \langle a \phi _\lambda , \phi _\lambda \rangle \frac{ F(\lambda \log \varLambda ^m / \varLambda ) }{ (\log \varLambda ^m / \varLambda )^{n/2-1}}, \end{aligned}$$
where \(\varLambda \overset{\underset{\mathrm {def}}{}}{=}\Vert D^2 \Vert ^\rho \) for any \(0< \rho < 1\), \(\{\phi _\lambda \mid D^2 \phi _\lambda = \lambda \phi _\lambda \}\) is an orthonormal basis of H and F is as in Corollary 3. Mutatis mutandis, the same applies to the volume and other spectral invariants.

Remark 6

The calculation of the residues of localized zeta functions, Theorem 2, can be combined with the local index formula of Connes and Moscovici [6] for the Chern character of the Fredholm module associated to a spectral triple (AHD), in order to estimate some \({\text {KK}}\)-theoretic index pairings numerically. If the square of the operator D is spectrally elliptic, the index pairings can be expressed as a series in the spectrum of \(D^2\) and the coefficients \({{\mathrm{tr}}}\pi _{\lambda } a_0 [D,a_1]^{(k_1)} \cdots [D,a_n]^{(k_n)} \pi _{\lambda }\), where \(\pi _\lambda \) projects onto the eigenspace associated with the eigenvalue \(\lambda \), and the commutators are defined recursively as \([D,a]^{(k+1)} \overset{\underset{\mathrm {def}}{}}{=}[D^2,[D,a]^{(k)}]\) and \(a_0,\cdots ,a_n \in A\). A similar statement holds in the presence of a grading.

Footnotes

  1. 1.

    As restricted to the ideal on which this formula converges. For a treatment of the Dixmier trace on the larger ideal \(L^{(1,\infty )}\), see [3].

  2. 2.

    If not, just restrict to the complement of the kernel.

  3. 3.

    The classical elliptic pseudodifferential operators may have logarithmic terms in the heat expansion, leading to double poles of \(\varGamma (z) \zeta (z)\) (e.g. at negative integers), and are thus excluded in general. However, see Remark 2.

References

  1. 1.
    Aramaki, J.: An extension of the Ikehara Tauberian theorem and its application. Acta Math. Hungar. 71(4), 297–326 (1996).  https://doi.org/10.1007/BF00114420 MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Berger, M.: A Panoramic View of Riemannian Geometry. Springer, Berlin (2003).  https://doi.org/10.1007/978-3-642-18245-7 CrossRefzbMATHGoogle Scholar
  3. 3.
    Carey, A.L., Rennie, A., Sedaev, A., Sukochev, F.: The Dixmier trace and asymptotics of zeta functions. J. Funct. Anal. 249(2), 253–283 (2007).  https://doi.org/10.1016/j.jfa.2007.04.011 MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Connes, A.: Noncommutative Geometry. Academic Press Inc, San Diego (1994)zbMATHGoogle Scholar
  5. 5.
    Connes, A., Marcolli, M.: Noncommutative Geometry, Quantum Fields and Motives. American Mathematical Society Colloquium Publications, vol. 55. American Mathematical Society, Providence, RI; Hindustan Book Agency, New Delhi (2008)Google Scholar
  6. 6.
    Connes, A., Moscovici, H.: The local index formula in noncommutative geometry. Geom. Funct. Anal. 5(2), 174–243 (1995). https://doi-org.ru.idm.oclc.org/10.1007/BF01895667
  7. 7.
    Duistermaat, J.J., Guillemin, V.W.: The spectrum of positive elliptic operators and periodic bicharacteristics. Invent. Math. 29(1), 39–79 (1975).  https://doi.org/10.1007/BF01405172 ADSMathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    Gilkey, P.B.: Invariance Theory, the Heat Equation, and the Atiyah–Singer Index Theorem. Studies in Advanced Mathematics, 2nd edn. CRC Press, Boca Raton (1995)zbMATHGoogle Scholar
  9. 9.
    Lohkamp, J.: Discontinuity of geometric expansions. Comment. Math. Helv. 71(2), 213–228 (1996).  https://doi.org/10.1007/BF02566417 MathSciNetCrossRefzbMATHGoogle Scholar
  10. 10.
    Minakshisundaram, S., Pleijel, A.: Some properties of the eigenfunctions of the Laplace-operator on Riemannian manifolds. Can. J. Math. 1, 242–256 (1949)MathSciNetCrossRefzbMATHGoogle Scholar
  11. 11.
    Seeley, R.T.: Complex powers of an elliptic operator. In: Singular Integrals (Proc. Sympos. Pure Math., Chicago, Ill., 1966), pp. 288–307. Amer. Math. Soc., Providence, R.I. (1967)Google Scholar
  12. 12.
    Colin de Verdière, Y.: Construction de laplaciens dont une partie finie du spectre est donnée. Ann. Sci. École Norm. Sup. (4) 20(4), 599–615 (1987). http://www.numdam.org/item?id=ASENS_1987_4_20_4_599_0
  13. 13.
    Wodzicki, M.: Noncommutative residue. I. Fundamentals. In: \(K\)-Theory, Arithmetic and Geometry (Moscow, 1984–1986), Lecture Notes in Math., vol. 1289, pp. 320–399. Springer, Berlin (1987).  https://doi.org/10.1007/BFb0078372

Copyright information

© The Author(s) 2018

Open AccessThis 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.

Authors and Affiliations

  1. 1.Institute for Mathematics, Astrophysics and Particle PhysicsRadboud UniversityNijmegenThe Netherlands

Personalised recommendations