AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution
Index theory for locally compact noncommutative geometries
About this Title
A. L. Carey, Mathematical Sciences Institute, Australian National University, Canberra ACT, 0200 Australia, V. Gayral, Laboratoire de Mathématiques, Université de Reims, Moulin de la Housse-BP 1039, 51687 Reims France, A. Rennie, School of Mathematics and Applied Statistics, University of Wollongong, Wollongong NSW, 2522, Australia and F. A. Sukochev, School of Mathematics and Statistics, University of New South Wales, Kensington NSW, 2052 Australia
Publication: Memoirs of the American Mathematical Society
Publication Year:
2014; Volume 231, Number 1085
ISBNs: 978-0-8218-9838-3 (print); 978-1-4704-1721-5 (online)
DOI: https://doi.org/10.1090/memo/1085
Published electronically: January 23, 2014
Keywords: Local index formula,
nonunital,
spectral triple,
Fredholm module,
Kasparov product
MSC: Primary 46H30, 46L51, 46L80, 46L87, 19K35, 19K56, 58J05, 58J20, 58J30, 58J32, 58J42
Table of Contents
Chapters
- Introduction
- 1. Pseudodifferential Calculus and Summability
- 2. Index Pairings for Semifinite Spectral Triples
- 3. The Local Index Formula for Semifinite Spectral Triples
- 4. Applications to Index Theorems on Open Manifolds
- 5. Noncommutative Examples
- A. Estimates and Technical Lemmas
Abstract
Spectral triples for nonunital algebras model locally compact spaces in noncommutative geometry. In the present text, we prove the local index formula for spectral triples over nonunital algebras, without the assumption of local units in our algebra. This formula has been successfully used to calculate index pairings in numerous noncommutative examples. The absence of any other effective method of investigating index problems in geometries that are genuinely noncommutative, particularly in the nonunital situation, was a primary motivation for this study and we illustrate this point with two examples in the text.
In order to understand what is new in our approach in the commutative setting we prove an analogue of the Gromov-Lawson relative index formula (for Dirac type operators) for even dimensional manifolds with bounded geometry, without invoking compact supports. For odd dimensional manifolds our index formula appears to be completely new. As we prove our local index formula in the framework of semifinite noncommutative geometry we are also able to prove, for manifolds of bounded geometry, a version of Atiyah’s $L^2$-index Theorem for covering spaces. We also explain how to interpret the McKean-Singer formula in the nonunital case.
To prove the local index formula, we develop an integration theory compatible with a refinement of the existing pseudodifferential calculus for spectral triples. We also clarify some aspects of index theory for nonunital algebras.
- M. F. Atiyah, Elliptic operators, discrete groups and von Neumann algebras, Colloque “Analyse et Topologie” en l’Honneur de Henri Cartan (Orsay, 1974) Soc. Math. France, Paris, 1976, pp. 43–72. Astérisque, No. 32-33. MR 0420729
- J. P. Aubin, Méthodes explicites de l’optimisation, Dunod, Paris, 1982.
- Moulay-Tahar Benameur, Alan L. Carey, John Phillips, Adam Rennie, Fyodor A. Sukochev, and Krzysztof P. Wojciechowski, An analytic approach to spectral flow in von Neumann algebras, Analysis, geometry and topology of elliptic operators, World Sci. Publ., Hackensack, NJ, 2006, pp. 297–352. MR 2246773
- Moulay-Tahar Benameur and Thierry Fack, Type II non-commutative geometry. I. Dixmier trace in von Neumann algebras, Adv. Math. 199 (2006), no. 1, 29–87. MR 2186918, DOI 10.1016/j.aim.2004.11.001
- Bruce Blackadar, $K$-theory for operator algebras, 2nd ed., Mathematical Sciences Research Institute Publications, vol. 5, Cambridge University Press, Cambridge, 1998. MR 1656031
- A. M. Bikchentaev, On a property of $L_p$-spaces on semifinite von Neumann algebras, Mat. Zametki 64 (1998), no. 2, 185–190 (Russian, with Russian summary); English transl., Math. Notes 64 (1998), no. 1-2, 159–163 (1999). MR 1680973, DOI 10.1007/BF02310299
- Jonathan Block and Jeffrey Fox, Asymptotic pseudodifferential operators and index theory, Geometric and topological invariants of elliptic operators (Brunswick, ME, 1988) Contemp. Math., vol. 105, Amer. Math. Soc., Providence, RI, 1990, pp. 1–32. MR 1047274, DOI 10.1090/conm/105/1047274
- Lawrence G. Brown and Hideki Kosaki, Jensen’s inequality in semi-finite von Neumann algebras, J. Operator Theory 23 (1990), no. 1, 3–19. MR 1054812
- Ulrich Bunke, A $K$-theoretic relative index theorem and Callias-type Dirac operators, Math. Ann. 303 (1995), no. 2, 241–279. MR 1348799, DOI 10.1007/BF01460989
- A. L. Carey, V. Gayral, A. Rennie, and F. A. Sukochev, Integration on locally compact noncommutative spaces, J. Funct. Anal. 263 (2012), no. 2, 383–414. MR 2923417, DOI 10.1016/j.jfa.2012.04.015
- A. L. Carey and K. C. Hannabuss, Temperature states on gauge groups, Ann. Inst. H. Poincaré Phys. Théor. 57 (1992), no. 3, 219–257 (English, with English and French summaries). MR 1185334
- Alan Carey and John Phillips, Unbounded Fredholm modules and spectral flow, Canad. J. Math. 50 (1998), no. 4, 673–718. MR 1638603, DOI 10.4153/CJM-1998-038-x
- Alan Carey and John Phillips, Spectral flow in Fredholm modules, eta invariants and the JLO cocycle, $K$-Theory 31 (2004), no. 2, 135–194. MR 2053481, DOI 10.1023/B:KTHE.0000022922.68170.61
- Alan L. Carey, John Phillips, Adam Rennie, and Fyodor A. Sukochev, The Hochschild class of the Chern character for semifinite spectral triples, J. Funct. Anal. 213 (2004), no. 1, 111–153. MR 2069783, DOI 10.1016/j.jfa.2003.11.016
- Alan L. Carey, John Phillips, Adam Rennie, and Fyodor A. Sukochev, The local index formula in semifinite von Neumann algebras. I. Spectral flow, Adv. Math. 202 (2006), no. 2, 451–516. MR 2222358, DOI 10.1016/j.aim.2005.03.011
- Alan L. Carey, John Phillips, Adam Rennie, and Fyodor A. Sukochev, The local index formula in semifinite von Neumann algebras. II. The even case, Adv. Math. 202 (2006), no. 2, 517–554. MR 2222359, DOI 10.1016/j.aim.2005.03.010
- Alan L. Carey, John Phillips, Adam Rennie, and Fyodor A. Sukochev, The Chern character of semifinite spectral triples, J. Noncommut. Geom. 2 (2008), no. 2, 141–193. MR 2383362, DOI 10.4171/JNCG/18
- Alan Carey, John Phillips, and Fyodor Sukochev, Spectral flow and Dixmier traces, Adv. Math. 173 (2003), no. 1, 68–113. MR 1954456, DOI 10.1016/S0001-8708(02)00015-4
- Gilles Carron, Théorèmes de l’indice sur les variétés non-compactes, J. Reine Angew. Math. 541 (2001), 81–115 (French, with English summary). MR 1876286, DOI 10.1515/crll.2001.096
- Alain Connes, Noncommutative differential geometry, Inst. Hautes Études Sci. Publ. Math. 62 (1985), 257–360. MR 823176
- Alain Connes, Noncommutative geometry, Academic Press, Inc., San Diego, CA, 1994. MR 1303779
- Alain Connes, Geometry from the spectral point of view, Lett. Math. Phys. 34 (1995), no. 3, 203–238. MR 1345552, DOI 10.1007/BF01872777
- Alain Connes and Henri Moscovici, Cyclic cohomology, the Novikov conjecture and hyperbolic groups, Topology 29 (1990), no. 3, 345–388. MR 1066176, DOI 10.1016/0040-9383(90)90003-3
- A. Connes and J. Cuntz, Quasi homomorphismes, cohomologie cyclique et positivité, Comm. Math. Phys. 114 (1988), no. 3, 515–526 (French, with English summary). MR 929142
- A. Connes and H. Moscovici, The local index formula in noncommutative geometry, Geom. Funct. Anal. 5 (1995), no. 2, 174–243. MR 1334867, DOI 10.1007/BF01895667
- Thierry Fack and Hideki Kosaki, Generalized $s$-numbers of $\tau$-measurable operators, Pacific J. Math. 123 (1986), no. 2, 269–300. MR 840845
- V. Gayral, J. M. Gracia-Bondía, B. Iochum, T. Schücker, and J. C. Várilly, Moyal planes are spectral triples, Comm. Math. Phys. 246 (2004), no. 3, 569–623. MR 2053945, DOI 10.1007/s00220-004-1057-z
- V. Gayral, R. Wulkenhaar, The spectral action for Moyal plane with harmonic propagation, to appear in J. Noncommut. Geom.
- Mikhael Gromov and H. Blaine Lawson Jr., Positive scalar curvature and the Dirac operator on complete Riemannian manifolds, Inst. Hautes Études Sci. Publ. Math. 58 (1983), 83–196 (1984). MR 720933
- José M. Gracia-Bondía, Joseph C. Várilly, and Héctor Figueroa, Elements of noncommutative geometry, Birkhäuser Advanced Texts: Basler Lehrbücher. [Birkhäuser Advanced Texts: Basel Textbooks], Birkhäuser Boston, Inc., Boston, MA, 2001. MR 1789831
- Peter Greiner, An asymptotic expansion for the heat equation, Arch. Rational Mech. Anal. 41 (1971), 163–218. MR 331441, DOI 10.1007/BF00276190
- Nigel Higson, The local index formula in noncommutative geometry, Contemporary developments in algebraic $K$-theory, ICTP Lect. Notes, XV, Abdus Salam Int. Cent. Theoret. Phys., Trieste, 2004, pp. 443–536. MR 2175637, DOI 10.1007/b94118
- Nigel Higson and John Roe, Analytic $K$-homology, Oxford Mathematical Monographs, Oxford University Press, Oxford, 2000. Oxford Science Publications. MR 1817560
- Lars Hörmander, The analysis of linear partial differential operators. III, Classics in Mathematics, Springer, Berlin, 2007. Pseudo-differential operators; Reprint of the 1994 edition. MR 2304165
- J. Kaad, R. Nest, A. Rennie, $KK$-Theory and spectral flow in von Neumann algebras, to appear in J. $K$-Theory.
- G. G. Kasparov, The operator $K$-functor and extensions of $C^*$-algebras, Math. USSR Izv. 16 (1981), 513–572.
- Yu. A. Kordyukov, $L^p$-theory of elliptic differential operators on manifolds of bounded geometry, Acta Appl. Math. 23 (1991), no. 3, 223–260. MR 1120831
- Marcelo Laca and Sergey Neshveyev, KMS states of quasi-free dynamics on Pimsner algebras, J. Funct. Anal. 211 (2004), no. 2, 457–482. MR 2056837, DOI 10.1016/j.jfa.2003.08.008
- H. Blaine Lawson Jr. and Marie-Louise Michelsohn, Spin geometry, Princeton Mathematical Series, vol. 38, Princeton University Press, Princeton, NJ, 1989. MR 1031992
- Jean-Louis Loday, Cyclic homology, 2nd ed., Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 301, Springer-Verlag, Berlin, 1998. Appendix E by María O. Ronco; Chapter 13 by the author in collaboration with Teimuraz Pirashvili. MR 1600246
- J. Milnor, A note on curvature and fundamental group, J. Differential Geometry 2 (1968), 1–7. MR 232311
- David Pask and Adam Rennie, The noncommutative geometry of graph $C^*$-algebras. I. The index theorem, J. Funct. Anal. 233 (2006), no. 1, 92–134. MR 2204676, DOI 10.1016/j.jfa.2005.07.009
- David Pask, Adam Rennie, and Aidan Sims, The noncommutative geometry of $k$-graph $C^*$-algebras, J. K-Theory 1 (2008), no. 2, 259–304. MR 2434188, DOI 10.1017/is007011015jkt013
- Denis Perrot, The equivariant index theorem in entire cyclic cohomology, J. K-Theory 3 (2009), no. 2, 261–307. MR 2496449, DOI 10.1017/is008004027jkt047
- John Phillips, Spectral flow in type I and II factors—a new approach, Cyclic cohomology and noncommutative geometry (Waterloo, ON, 1995) Fields Inst. Commun., vol. 17, Amer. Math. Soc., Providence, RI, 1997, pp. 137–153. MR 1478707
- John Phillips and Iain Raeburn, An index theorem for Toeplitz operators with noncommutative symbol space, J. Funct. Anal. 120 (1994), no. 2, 239–263. MR 1266310, DOI 10.1006/jfan.1994.1032
- Raphaël Ponge, A new short proof of the local index formula and some of its applications, Comm. Math. Phys. 241 (2003), no. 2-3, 215–234. MR 2013798, DOI 10.1007/s00220-003-0915-4
- Iain Raeburn and Dana P. Williams, Morita equivalence and continuous-trace $C^*$-algebras, Mathematical Surveys and Monographs, vol. 60, American Mathematical Society, Providence, RI, 1998. MR 1634408
- A. Rennie, Smoothness and locality for nonunital spectral triples, $K$-Theory 28 (2003), no. 2, 127–165. MR 1995874, DOI 10.1023/A:1024523203609
- Adam Rennie, Summability for nonunital spectral triples, $K$-Theory 31 (2004), no. 1, 71–100. MR 2050879, DOI 10.1023/B:KTHE.0000021311.27770.e8
- John Roe, An index theorem on open manifolds. I, II, J. Differential Geom. 27 (1988), no. 1, 87–113, 115–136. MR 918459
- John Roe, A note on the relative index theorem, Quart. J. Math. Oxford Ser. (2) 42 (1991), no. 167, 365–373. MR 1120996, DOI 10.1093/qmath/42.1.365
- Nigel Higson and John Roe (eds.), Surveys in noncommutative geometry, Clay Mathematics Proceedings, vol. 6, American Mathematical Society, Providence, RI; Clay Mathematics Institute, Cambridge, MA, 2006. MR 2272934
- Larry B. Schweitzer, A short proof that $M_n(A)$ is local if $A$ is local and Fréchet, Internat. J. Math. 3 (1992), no. 4, 581–589. MR 1168361, DOI 10.1142/S0129167X92000266
- M. A. Shubin, Spectral theory of elliptic operators on noncompact manifolds, Astérisque 207 (1992), 5, 35–108. Méthodes semi-classiques, Vol. 1 (Nantes, 1991). MR 1205177
- Barry Simon, Trace ideals and their applications, 2nd ed., Mathematical Surveys and Monographs, vol. 120, American Mathematical Society, Providence, RI, 2005. MR 2154153
- M. Takesaki, Theory of operator algebras. II, Encyclopaedia of Mathematical Sciences, vol. 125, Springer-Verlag, Berlin, 2003. Operator Algebras and Non-commutative Geometry, 6. MR 1943006
- François Trèves, Topological vector spaces, distributions and kernels, Academic Press, New York-London, 1967. MR 0225131
- B. Vaillant, Indextheorie für Überlagerungen, Masters thesis, Bonn, 1997.
- Charlotte Wahl, Index theory for actions of compact Lie groups on $C^*$-algebras, J. Operator Theory 63 (2010), no. 1, 217–242. MR 2606891
- Raimar Wulkenhaar, Non-compact spectral triples with finite volume, Quanta of maths, Clay Math. Proc., vol. 11, Amer. Math. Soc., Providence, RI, 2010, pp. 617–648. MR 2732067