Skip to main content Accessibility help

Spectral asymmetry and Riemannian Geometry. I

  • M. F. Atiyah (a1), V. K. Patodi (a1) and I. M. Singer (a1)


1. Introduction. The main purpose of this paper is to present a generalization of Hirzebruch's signature theorem for the case of manifolds with boundary. Our result is in the framework of Riemannian geometry and can be viewed as analogous to the Gauss–Bonnet theorem for manifolds with boundary, although there is a very significant difference between the two cases which is, in a sense, the central topic of the paper. To explain this difference let us begin by recalling that the classical Gauss–Bonnet theorem for a surface X with boundary Y asserts that the Euler characteristic E(X) is given by a formula:

where K is the Gauss curvature of X and σ is the geodesic curvature of Y in X. In particular if, near the boundary, X is isometric to the product Y x R+, the boundary integral in (1.1) vanishes and the formula is the same as for closed surfaces. Similar remarks hold in higher dimensions. Now if X is a closed oriented Riemannian manifold of dimension 4, there is another formula relating cohomological invariants with curvature in addition to the Gauss–Bonnet formula. This expresses the signature of the quadratic form on H2(X, R) by an integral formula

where p1 is the differential 4-form representing the first Pontrjagin class and is given in terms of the curvature matrix R by p1 = (2π)−2Tr R2. It is natural to ask if (1.2) continues to hold for manifolds with boundary, provided the metric is a product near the boundary. Simple examples show that this is false, so that in general



Hide All
(1)Atiyah, M. F. and Bott, R. The index theorem for manifolds with boundary. Differential Analysis (Bombay Colloquium), (Oxford 1964).
(2)Atiyah, M. F., Bott, R. and Patodi, V. K.On the heat equation and the index theorem. Invent. Math. 19 (1973), 279330.
(3)Atiyah, M. F., Bott, R. and Shapiro, A.Clifford modules. Topology 3 (Suppl. 1) 1964, 338.
(4)Atiyah, M. F. and Singer, I. M.The index of elliptic operators V. Ann. of Math. 93 (1971), 139149.
(5)Atiyah, M. F., Patodi, V. K. and Singer, I. M.Spectral asymmetry and Riemannian geometry. Bull. London Math. Soc. 5 (1973), 229234.
(6)Carslaw, H. S. and Jaeger, J. C.Conduction of Heat in Solids, second edition (Oxford 1959).
(7)Chern, S. S. and Simons, J.Some cohomology classes in principal fibre bundles and their application to Riemannian geometry. Proc. Nat. Acad. Sci. U.S.A. 68 (1971), 791794.
(8)Connor, P. E.The Neumann problem for differential forms on Riemannian manifolds. Mem. Amer. Math. Soc. 20 (1956).
(9)De Rham, G.Variétés Différentiables. Hermann (Paris, 1960.)
(10)Hirzebruch, F.Hilbert modular surfaces. Enseignement Math. 19 (1973), 183281.
(11)Hörmander, L.Pseudo-differential operators and non-elliptic boundary problems. Ann of Math. 83 (1966), 129209.
(12)Palais, R.Seminar on the Atiyah–Singer index theorem. Ann. of Math. Study 57 (Princeton, 1965).
(13)Patodi, V. K.Curvature and the eigenforms of the Laplace operator. J. Diff. Geometry 5 (1971), 233249.
(14)Ray, D. and Singer, I. M.R-Torsion and the Laplacian on Riemannian manifolds. Advances in Math. 7 (1971), 145210.
(15)Ray, D. and Singer, I. M.Analytic torsion for complex manifolds. Ann. of Math. 98 (1973), 154177.
(16)Seeley, R.Complex powers of an elliptic operator. Proc. Sympos. Pure Math. 10, Amer. Math. Soc. (1971), 288307.
(17)Stong, R.Notes on Cobordism Theory (Princeton, 1968).
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Mathematical Proceedings of the Cambridge Philosophical Society
  • ISSN: 0305-0041
  • EISSN: 1469-8064
  • URL: /core/journals/mathematical-proceedings-of-the-cambridge-philosophical-society
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed