A Resolvent Approach to Traces and Zeta Laurent Expansions

Classical pseudodifferential operators A on closed manifolds are considered. It is shown that the basic properties of the canonical trace TRA introduced by Kontsevich and Vishik are easily proved by identifying it with the leading nonlocal coefficientC0(A,P) in the trace expansion of A(P �) −N (with an auxiliary elliptic operator P), as determined in a joint work with Seeley 1995. The definition of TRA is extended from the cases of noninteger order, or integer order and even-even parity on odd-dimensional manifolds, to the case of even-odd parity on even-dimensional manifolds. For the generalized zeta function �(A,P,s) = Tr(AP −s ), extended mero- morphically to C, C0(A,P) equals the coefficient ofs 0 in the Laurent expansion at s = 0 when P is invertible. In the mentioned parity cases, �(A,P,s) is reg- ular at all integer points. The higher Laurent coefficientsCj(A,P) at s = 0 are described as leading nonlocal coefficientsC0(B,P) in trace expansions of resolvent expressions B(P �) −N , with B log-polyhomogeneous as defined by Lesch (here C1(I,P) = C0(logP,P) gives the zeta-determinant). C0(B,P) is shown to be a quasi-trace in general, a canonical trace TRB in restricted cases, and the formula of Lesch for TRB in terms of a finite part integral of the symbol is extended to the parity cases. The paper has appeared in AMS Contemp. Math. Proc. 366 (2005), 43- 64. The present version includes minor corrections.

[1]  G. Grubb REMARKS ON NONLOCAL TRACE EXPANSION COEFFICIENTS , 2005, math/0510041.

[2]  G. Grubb On the Logarithm Component in Trace Defect Formulas , 2004, math/0411483.

[3]  G. Grubb,et al.  Traces and quasi-traces on the Boutet de Monvel algebra , 2003, math/0311001.

[4]  G. Grubb Spectral Boundary Conditions for Generalizations of Laplace and Dirac Operators , 2003, math/0302286.

[5]  G. Grubb Logarithmic Terms in Trace Expansions of Atiyah–Patodi–Singer Problems , 2003, math/0302289.

[6]  S. Paycha,et al.  From Tracial Anomalies to Anomalies in Quantum Field Theory , 2002, math-ph/0207029.

[7]  G. Grubb,et al.  COMPLEX POWERS OF RESOLVENTS OF PSEUDODIFFERENTIAL OPERATORS , 2002 .

[8]  S. Scott Eta forms and the Chern Character , 2002 .

[9]  Paul Loya The Structure of the Resolvent of Elliptic Pseudodifferential Operators , 2001 .

[10]  K. Okikiolu Critical metrics for the determinant of the Laplacian in odd dimensions , 2001, math/0103239.

[11]  M. Lesch On the Noncommutative Residue for Pseudodifferential Operators with log-Polyhomogeneous Symbols , 1997, dg-ga/9708010.

[12]  R. Budzyński Symplectic singularities and geometry of gauge fields , 1997 .

[13]  V. Nistor,et al.  Homology of pseudodifferential operators I. Manifolds with boundary , 1996, funct-an/9606005.

[14]  G. Grubb,et al.  Zeta and eta functions for Atiyah-Patodi-Singer operators , 1996 .

[15]  M. Cederwall,et al.  Schwinger terms and cohomology of pseudodifferential operators , 1994, hep-th/9410016.

[16]  G. Grubb,et al.  Weakly parametric pseudodifferential operators and Atiyah-Patodi-Singer boundary problems , 1995 .

[17]  K. Okikiolu The multiplicative anomaly for determinants of elliptic operators , 1995 .

[18]  K. Okikiolu The Campbell-Hausdorff theorem for elliptic operators and a related trace formula , 1995 .

[19]  M. Kontsevich,et al.  Geometry of determinants of elliptic operators , 1994, hep-th/9406140.

[20]  E. Schrohe Complex powers of elliptic pseudodifferential operators , 1986 .

[21]  Victor Guillemin,et al.  A New Proof of Weyl's Formula on the Asymptotic Distribution of Eigenvalues , 1985 .

[22]  M. Wodzicki Local invariants of spectral asymmetry , 1984 .

[23]  G. Grubb On the Functional Calculus of Pseudo-Differential Boundary Problems , 1984 .

[24]  I. Singer,et al.  R-Torsion and the Laplacian on Riemannian manifolds , 1971 .

[25]  Robert T. Seeley,et al.  Complex powers of an elliptic operator , 1967 .

[26]  J. Tamarkin Book Review: Le Problème de Cauchy et les Équations aux Dérivées Partielles Linéaires Hyperboliques , 1934 .