Nonlocal invariants in index theory

Rosenberg, Steven

doi:10.1090/S0273-0979-97-00731-3

Nonlocal invariants in index theory
HTML articles powered by AMS MathViewer

by Steven Rosenberg PDF

Bull. Amer. Math. Soc. 34 (1997), 423-433 Request permission

Abstract:

In its original form, the Atiyah-Singer Index Theorem equates two global quantities of a closed manifold, one analytic (the index of an elliptic operator) and one topological (a characteristic number). Because it relates invariants from different branches of mathematics, the Index Theorem has many applications and extensions to differential geometry, K-theory, mathematical physics, and other fields. This report focuses on advances in geometric aspects of index theory. For operators naturally associated to a Riemannian metric on a closed manifold, the topological side of the Index Theorem can often be expressed as the integral of local (i.e. pointwise) curvature expression. We will first discuss these local refinements in §1, which arise naturally in heat equation proofs of the Index Theorem. In §§2,3, we discuss further developments in index theory which lead to spectral invariants, the eta invariant and the determinant of an elliptic operator, that are definitely nonlocal. Finally, in §4 we point out some recent connections among these nonlocal invariants and classical index theory.

References

M. Atiyah, R. Bott, and V. K. Patodi, On the heat equation and the index theorem, Invent. Math. 19 (1973), 279–330. MR 650828, DOI 10.1007/BF01425417
M. F. Atiyah, H. Donnelly, and I. M. Singer, Eta invariants, signature defects of cusps, and values of $L$-functions, Ann. of Math. (2) 118 (1983), no. 1, 131–177. MR 707164, DOI 10.2307/2006957
M. F. Atiyah, V. K. Patodi, and I. M. Singer, Spectral asymmetry and Riemannian geometry. I, Math. Proc. Cambridge Philos. Soc. 77 (1975), 43–69. MR 397797, DOI 10.1017/S0305004100049410
M. F. Atiyah, V. K. Patodi, and I. M. Singer, Spectral asymmetry and Riemannian geometry. I, Math. Proc. Cambridge Philos. Soc. 77 (1975), 43–69. MR 397797, DOI 10.1017/S0305004100049410
M. F. Atiyah and I. M. Singer, The index of elliptic operators on compact manifolds, Bull. Amer. Math. Soc. 69 (1963), 422–433. MR 157392, DOI 10.1090/S0002-9904-1963-10957-X
M. F. Atiyah and I. M. Singer, The index of elliptic operators. III, Ann. of Math. (2) 87 (1968), 546–604. MR 236952, DOI 10.2307/1970717
M. F. Atiyah and I. M. Singer, Dirac operators coupled to vector potentials, Proc. Nat. Acad. Sci. U.S.A. 81 (1984), no. 8, , Phys. Sci., 2597–2600. MR 742394, DOI 10.1073/pnas.81.8.2597
Nicole Berline, Ezra Getzler, and Michèle Vergne, Heat kernels and Dirac operators, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 298, Springer-Verlag, Berlin, 1992. MR 1215720, DOI 10.1007/978-3-642-58088-8
Jean-Michel Bismut, The Atiyah-Singer index theorem for families of Dirac operators: two heat equation proofs, Invent. Math. 83 (1986), no. 1, 91–151. MR 813584, DOI 10.1007/BF01388755
Jean-Michel Bismut and Jeff Cheeger, Families index for manifolds with boundary, superconnections, and cones. I. Families of manifolds with boundary and Dirac operators, J. Funct. Anal. 89 (1990), no. 2, 313–363. MR 1042214, DOI 10.1016/0022-1236(90)90098-6
Jean-Michel Bismut and Jeff Cheeger, Families index for manifolds with boundary, superconnections and cones. II. The Chern character, J. Funct. Anal. 90 (1990), no. 2, 306–354. MR 1052337, DOI 10.1016/0022-1236(90)90086-Z
Jean-Michel Bismut and Jeff Cheeger, Transgressed Euler classes of $\textrm {SL}(2n,\mathbf Z)$ vector bundles, adiabatic limits of eta invariants and special values of $L$-functions, Ann. Sci. École Norm. Sup. (4) 25 (1992), no. 4, 335–391 (English, with English and French summaries). MR 1186908, DOI 10.24033/asens.1653
Jean-Michel Bismut and Daniel S. Freed, The analysis of elliptic families. I. Metrics and connections on determinant bundles, Comm. Math. Phys. 106 (1986), no. 1, 159–176. MR 853982, DOI 10.1007/BF01210930
Jean-Michel Bismut and Daniel S. Freed, The analysis of elliptic families. I. Metrics and connections on determinant bundles, Comm. Math. Phys. 106 (1986), no. 1, 159–176. MR 853982, DOI 10.1007/BF01210930
S. Minakshi Sundaram, On non-linear partial differential equations of the hyperbolic type, Proc. Indian Acad. Sci., Sect. A. 9 (1939), 495–503. MR 0000089, DOI 10.1007/BF03046994
Jean-Michel Bismut and John Lott, Flat vector bundles, direct images and higher real analytic torsion, J. Amer. Math. Soc. 8 (1995), no. 2, 291–363 (English, with English and French summaries). MR 1303026, DOI 10.1090/S0894-0347-1995-1303026-5
Jean-Michel Bismut and Weiping Zhang, An extension of a theorem by Cheeger and Müller, Astérisque 205 (1992), 235 (English, with French summary). With an appendix by François Laudenbach. MR 1185803
Thomas P. Branson and Bent Ørsted, Conformal geometry and global invariants, Differential Geom. Appl. 1 (1991), no. 3, 279–308. MR 1244447, DOI 10.1016/0926-2245(91)90004-S
D. Burghelea, L. Friedlander, and T. Kappeler, Torsions for manifolds with boundary and gluing formulas, preprint.
Varghese Mathai and Alan L. Carey, $L^2$-acyclicity and $L^2$-torsion invariants, Geometric and topological invariants of elliptic operators (Brunswick, ME, 1988) Contemp. Math., vol. 105, Amer. Math. Soc., Providence, RI, 1990, pp. 91–118. MR 1047278, DOI 10.1090/conm/105/1047278
Jeff Cheeger, Analytic torsion and the heat equation, Ann. of Math. (2) 109 (1979), no. 2, 259–322. MR 528965, DOI 10.2307/1971113
Xianzhe Dai and Daniel S. Freed, $\eta$-invariants and determinant lines, J. Math. Phys. 35 (1994), no. 10, 5155–5194. Topology and physics. MR 1295462, DOI 10.1063/1.530747
W. Dwyer, M. Weiss, and B. Williams, A parametrized index theorem for the algebraic K-theory Euler class, preprint, http:/www.math.uiuc.edu/K-theory/0086/(1995).
Ezra Getzler, A short proof of the local Atiyah-Singer index theorem, Topology 25 (1986), no. 1, 111–117. MR 836727, DOI 10.1016/0040-9383(86)90008-X
Peter B. Gilkey, Curvature and the eigenvalues of the Laplacian for elliptic complexes, Advances in Math. 10 (1973), 344–382. MR 324731, DOI 10.1016/0001-8708(73)90119-9
Peter B. Gilkey, Invariance theory, the heat equation, and the Atiyah-Singer index theorem, Mathematics Lecture Series, vol. 11, Publish or Perish, Inc., Wilmington, DE, 1984. MR 783634
J. Heitsch and C. Lazarov, Riemann-Roch-Grothendieck and torsion for foliations, preprint.
Kiyoshi Igusa, Parametrized Morse theory and its applications, Proceedings of the International Congress of Mathematicians, Vol. I, II (Kyoto, 1990) Math. Soc. Japan, Tokyo, 1991, pp. 643–651. MR 1159251
Franz W. Kamber and Philippe Tondeur, Characteristic invariants of foliated bundles, Manuscripta Math. 11 (1974), 51–89. MR 334237, DOI 10.1007/BF01189091
John R. Klein, Higher Franz-Reidemeister torsion: low-dimensional applications, Mapping class groups and moduli spaces of Riemann surfaces (Göttingen, 1991/Seattle, WA, 1991) Contemp. Math., vol. 150, Amer. Math. Soc., Providence, RI, 1993, pp. 195–204. MR 1234265, DOI 10.1090/conm/150/01291
J. Lott, Diffeomorphisms, analytic torsion and noncommutative geometry, dg-ga/9607006.
John Lott, Heat kernels on covering spaces and topological invariants, J. Differential Geom. 35 (1992), no. 2, 471–510. MR 1158345
Richard B. Melrose, The Atiyah-Patodi-Singer index theorem, Research Notes in Mathematics, vol. 4, A K Peters, Ltd., Wellesley, MA, 1993. MR 1348401, DOI 10.1016/0377-0257(93)80040-i
J. Milnor, Whitehead torsion, Bull. Amer. Math. Soc. 72 (1966), 358–426. MR 196736, DOI 10.1090/S0002-9904-1966-11484-2
Jeff Cheeger, Analytic torsion and the heat equation, Ann. of Math. (2) 109 (1979), no. 2, 259–322. MR 528965, DOI 10.2307/1971113
Werner Müller, $L^2$-index theory, eta invariants and values of $L$-functions, Geometric and topological invariants of elliptic operators (Brunswick, ME, 1988) Contemp. Math., vol. 105, Amer. Math. Soc., Providence, RI, 1990, pp. 145–189. MR 1047280, DOI 10.1090/conm/105/1047280
B. Osgood, R. Phillips, and P. Sarnak, Extremals of determinants of Laplacians, J. Funct. Anal. 80 (1988), no. 1, 148–211. MR 960228, DOI 10.1016/0022-1236(88)90070-5
Richard S. Palais, Seminar on the Atiyah-Singer index theorem, Annals of Mathematics Studies, No. 57, Princeton University Press, Princeton, N.J., 1965. With contributions by M. F. Atiyah, A. Borel, E. E. Floyd, R. T. Seeley, W. Shih and R. Solovay. MR 0198494, DOI 10.1515/9781400882045
Thomas Parker and Steven Rosenberg, Invariants of conformal Laplacians, J. Differential Geom. 25 (1987), no. 2, 199–222. MR 880183
V. K. Patodi, An analytic proof of Riemann-Roch-Hirzebruch theorem for Kaehler manifolds, J. Differential Geometry 5 (1971), 251–283. MR 290318, DOI 10.4310/jdg/1214429991
D. Kvillen, Determinants of Cauchy-Riemann operators on Riemann surfaces, Funktsional. Anal. i Prilozhen. 19 (1985), no. 1, 37–41, 96 (Russian). MR 783704
Daniel Quillen, Superconnections and the Chern character, Topology 24 (1985), no. 1, 89–95. MR 790678, DOI 10.1016/0040-9383(85)90047-3
D. B. Ray and I. M. Singer, $R$-torsion and the Laplacian on Riemannian manifolds, Advances in Math. 7 (1971), 145–210. MR 295381, DOI 10.1016/0001-8708(71)90045-4
John Roe, Elliptic operators, topology and asymptotic methods, Pitman Research Notes in Mathematics Series, vol. 179, Longman Scientific & Technical, Harlow; copublished in the United States with John Wiley & Sons, Inc., New York, 1988. MR 960889
John Roe, Coarse cohomology and index theory on complete Riemannian manifolds, Mem. Amer. Math. Soc. 104 (1993), no. 497, x+90. MR 1147350, DOI 10.1090/memo/0497
Steven Rosenberg, The determinant of a conformally covariant operator, J. London Math. Soc. (2) 36 (1987), no. 3, 553–568. MR 918645, DOI 10.1112/jlms/s2-36.3.553
—, The Laplacian on a Riemannian Manifold, Cambridge U. Press, Cambridge, UK, 1997.
R. T. Seeley, Complex powers of an elliptic operator, Singular Integrals (Proc. Sympos. Pure Math., Chicago, Ill., 1966) Amer. Math. Soc., Providence, R.I., 1967, pp. 288–307. MR 0237943
I. M. Singer, The $\eta$-invariant and the index, Mathematical Aspects of String Theory (S. T. Yau, ed.), World Scientific Press, Singapore, 1987, pp. 239–258.
S. M. Vishik, Generalized Ray-Singer conjecture. I. A manifold with a smooth boundary, Comm. Math. Phys. 167 (1995), no. 1, 1–102. MR 1316501, DOI 10.1007/BF02099354
Edward Witten, Global gravitational anomalies, Comm. Math. Phys. 100 (1985), no. 2, 197–229. MR 804460, DOI 10.1007/BF01212448
Edward Witten, Supersymmetry and Morse theory, J. Differential Geometry 17 (1982), no. 4, 661–692 (1983). MR 683171