- Print publication year: 2013
- Online publication date: May 2013

- Publisher: Cambridge University Press
- DOI: https://doi.org/10.1017/CBO9781139208642.012
- pp 366-380

Abstract

Let D be a first order differential operator acting on the space of section of a finite rank vector bundle over a smooth manifold M with boundary X. In this chapter we show that the index of D, associated to Atiyah–Patodi–Singer type boundary conditions, can be expressed as aweighted (super-)trace of the identity operator, generalizing the corresponding result in the case of closed manifolds obtained in [19]. We also show that the reduced eta-invariant can be expressed as a weighted (super-)trace of an identity operator so that, actually, the index of D can be expressed as a sum of two weighted super-traces of identity operators, one giving rise to the integral term in the Atiyah–Patodi–Singer theorem and the other one corresponding to the η-term.

Introduction

Let D be a positive order differential operator acting on the space of section of a finite rank vector bundle E → M over a smooth manifold M. When the manifold is closed, it is a well-known result that the index of such an operator can be written as a weighted (super-)trace of the identity, i.e. as a regularization of the trace of the identity with respect to some positive differential operator, usually of Laplacian type (see e.g. [19], [20]). These weighted traces (or pseudo-traces) are neither independent of the reference operator used to define them, nor traces on the algebra of classical pseudo-differential operators, but the obstructions associated to these anomalies can be computed explicitly in terms of Wodzicki residues, giving rise to local terms, i.e. terms given by integrals of smooth densities on the manifold M.

Powered by UNSILO

[1] Spectral asymmetry and Riemanian geometry. Bull. Lond. Math. Soc. 5 (1973), 229–234. , and

[2] Spectral asymmetry and Riemannian geometry I, II and III. Math. Proc. Camb. Phil. Soc. 77 (1975), 43–69; 78 (1975), 405–432, 79 (1976), 71–99. , and

[3] Heat Kernels and Dirac Operators. Grundlehren Math. Wiss. 298. Berlin: Springer-Verlag, 1992. , and

[4] Proceedings of the International Congress of Mathematicians, Vols. 1, 2 (Berkeley, California, 1986). American Mathematical Society, 1987, Providence, RI, 1987. Index theorem and the heat equation. In

[5] Weighted traces on algebras of pseudo-differential operators and geometry on loop groups. Infin. Dimen. Anal. Quant. Probab. Relat. Top. 5 : 4 (2002), 503–540. , , and

[6] From tracial anomalies to anomalies in quantum field theory. Comm. Math. Phys. 242 : 1–2 (2003), 31–65. , and

[7] Weighted traces on pseudo-differential operators and associated determinants. PhD thesis, Université Blaise Pascal, 2001.

[8] Invariance Theory, the Heat Equation, and the Atiyah-Singer Index Theorem, 2nd edn. Boca Raton, FL: CRC Press, 1995. .

[9] Heat operator trace expansions and index for general Atiyah-Patodi-Singer boundary problems. Comm. Partial Diff. Equations 17 :11–12 (1992), 2031–2077.

[10] Trace expansions for pseudodifferential boundary problems for Dirac-type operators and more general systems. Ark. Mat. 37 :1 (1999), 45–86.

[11] Spectral boundary conditions for generalizations of Laplace and Dirac operators. Comm. Math. Phys. 240 (2003), 243–280.

[12] On the logarithm component in trace defect formulas. Comm. Partial Diff. Equations 30 (2005), 1671–1716.

[13] Traces in Number Theory, Geometry and Quantum Fields, Aspects of Mathematics E38, Wiesbaden: Friedr. Vieweg, 2008, pp. 137–153. Trace defect formulas and zeta values for boundary problems. In

[14] The local and global parts of the basic zeta coefficient for operators on manifolds with boundary. Math. Ann. 341 :4 (2008), 735–788.

[15] 1994. and Determinants of elliptic pseudo-differential operators, Max Planck Institut Preprint,

[16] Curvature and the eigenvalues of the Laplacian. J. Diff. Geom. 1 :1 (1967), 43–69. and

[17] Eta invariants and manifolds with boundary. J. Diff. Geom. 40 :2 (1994), 311–377.

[18] The multiplicative anomaly for determinants revisited: locality. Preprint, 2007. and

[19] Regularized Integrals, Sums and Traces: Analytic Aspects. Providence, RI: American Mathematical Society, 2012.

[20] The residue determinant. Comm. Partial Diff. Equations 30 :4–6 (2005), 483–507.

[21] Proceedings of the Symposium on Pure Mathematics, Vol. 10. Providence, RI: American Mathematical Society, 1967, pp. 288–307. Complex powers of an elliptic operator. In

[22] Non Commutative Residue. Lecture Notes in Mathematics 1289. Berlin: Springer Verlag, 1987.