Abstract
We develop some of the ingredients needed for string theory on noncommutative spacetimes, proposing an axiomatic formulation of T-duality as well as establishing a very general formula for D-brane charges. This formula is closely related to a noncommutative Grothendieck-Riemann-Roch theorem that is proved here. Our approach relies on a very general form of Poincaré duality, which is studied here in detail. Among the technical tools employed are calculations with iterated products in bivariant \(\mathsf K\)-theory and cyclic theory, which are simplified using a novel diagram calculus reminiscent of Feynman diagrams.
Similar content being viewed by others
References
Asakawa T., Sugimoto S. and Terashima S. (2002). D-branes, matrix theory and K-homology. JHEP 03: 034
Atiyah, M.F.: Global theory of elliptic operators. In: Proceedings of the International Symposium on Functional Analysis. Tokyo: University of Tokyo Press, 1969, pp. 21–30
Atiyah, M.F., Segal, G.: Twisted K-theory. Ukr. Mat. Visn. 1, no. 3, 287–330 (2004); translation in Ukr. Math. Bull. 1, no. 3, 291–334 (2004)
Baaj S. and Julg P. (1983). Théorie bivariante de Kasparov et opérateurs non bornés dans les C*-modules hilbertiens. C. R. Acad. Sci. Paris Sér. I Math. 296(21): 875–878
Blackadar, B.: \(\mathsf K\) -Theory for Operator Algebras, second edition. Math. Sci. Res. Inst. Publ., Vol. 5. Cambridge: Cambridge University Press, 1998
Baum, P., Douglas, R.G.: K homology and index theory. In: Kadison, R.V. (ed.), Operator algebras and applications, Part I (Kingston, Ont., 1980), Proc. Sympos. Pure Math., Vol. 38. Providence, R.I.: Amer. Math. Soc., 1982, pp. 117–173
Bott, R., Tu, L.W.: Differential forms in algebraic topology. Graduate Texts in Math., Vol. 82. New York: Springer-Verlag, 1982
Bouwknegt P., Carey A., Mathai V., Murray M. and Stevenson D. (2002). Twisted \(\mathsf K\) -Theory and \(\mathsf K\) -Theory of Bundle GerbesCommun. Math. Phys. 228(1): 17–49
Bouwknegt P., Evslin J. and Mathai V. (2004). T-duality: Topology change from H-flux. Commun. Math. Phys. 249(2): 383–415
Bouwknegt P., Evslin J. and Mathai V. (2004). On the topology and H-flux of T-dual manifolds. Phys. Rev. Lett. 92(18): 181601
Bouwknegt P., Hannabuss K.C. and Mathai V. (2004). T-duality for principal torus bundles. JHEP 03: 018
Bouwknegt P., Hannabuss K.C. and Mathai V. (2006). Nonassociative tori and applications to T-duality. Commun. Math. Phys. 264(1): 41–69
Bouwknegt P. and Mathai V. (2000). D-Branes, B-Fields and Twisted \(\mathsf K\) -Theory. JHEP 03: 007
Brodzki J. and Plymen R. (1999). Periodic cyclic homology of certain nuclear algebras. C. R. Acad. Sci. Paris Sér. I Math. 329: 671–676
Brylinski J.-L. (1993). Loop Spaces, Characteristic Classes and Geometric Quantization. Birkhäuser, Boston
Carey A., Hannabuss K.C., Mathai V. and McCann P. (1998). Quantum Hall Effect on the Hyperbolic Plane. Commun. Math. Phys. 190: 629–673
Choi M.D. and Effros E.G. (1978). Nuclear C*-algebras and the approximation property. Amer. J. Math. 100(1): 61–79
Cherix, P.-A., Cowling, M., Jolissaint, P., Julg, P., Valette, A.: Groups with the Haagerup property. Gromov’s a-T-menability. Progress in Mathematics, Vol. 197. Basel: Birkhäuser Verlag, 2001
Connes A. (1981). An analogue of the Thom isomorphism for crossed products of a C*-algebra by an action of \(\mathbb R\). Adv. in Math. 39(1): 31–55
Connes A. (1994). Noncommutative Geometry. Academic Press, New York
Connes A. (1996). Gravity coupled with matter and the foundation of noncommutative geometry. Commun. Math. Phys. 182: 155–176
Connes A. and Dubois-Violette M. (2002). Noncommutative finite-dimensional manifolds. I. Spherical manifolds and related examples. Commun. Math. Phys. 230(3): 539–579
Connes A. and Landi G. (2001). Noncommutative manifolds: The instanton algebra and isospectral deformations. Commun. Math. Phys. 221: 141–159
Connes A. and Moscovici H. (1990). Cyclic Cohomology, the Novikov Conjecture and Hyperbolic Groups. Topology 29: 345–388
Connes A. and Moscovici H. (1995). The Local Index Formula in Noncommutative Geometry. Geom. Funct. Anal. 5: 174–243
Cuntz J. (1997). Bivariante K-theorie für lokalconvexe Algebren und der bivariante Chern-Connes-Charakter. Doc. Math. 2: 139–182
Cuntz, J.: Cyclic Theory and the Bivariant Chern character. In: Cyclic Homology in Noncommutative Geometry, Encyclopaedia of Mathematical Sciences, Vol. 121. Berlin: Springer-Verlag, 2004, pp. 1–71
Cuntz, J.: Cyclic theory and the bivariant Chern-Connes character. In: Noncommutative Geometry, Lecture Notes in Math., Vol. 1831. Berlin: Springer-Verlag, 2004, pp. 73–135
Cuntz J. and Quillen D. (1995). Cyclic homology and nonsingularity. J. Amer. Math. Soc. 8(2): 373–442
Cuntz J. and Quillen D. (1997). Excision in Bivariant Cyclic Cohomology. Invent. Math. 127: 67–98
Dixmier J. and Douady A. (1963). Champs continus d’espaces hilbertiens et de C*-algèbres. Bull. Soc. Math. France 91: 227–284
Emerson H. (2003). Noncommutative Poincaré Duality for boundary actions of hyperbolic groups. J. Reine Angew. Math. 564: 1–33
Emerson H. (2003). The Baum-Connes Conjecture, Noncommutative Poincaré Duality and the Boundary of the Free Group. Int. J. Math. Math. Sci. 38: 2425–2445
Fack T. and Skandalis G. (1981). Connes’ analogue of the Thom isomorphism for the Kasparov groups. Invent. Math. 64(1): 7–14
Freed, D.: Dirac charge quantization and generalized differential cohomology. In: Surveys in Differential Geometry, VII. Somerville, MA: Int. Press (2000), pp. 129–194; ——: \(\mathsf K\) -Theory in Quantum Field Theory. In: Current Developments in Math. Somerville, MA: Int. Press (2001), pp. 41–87
Freed D. and Hopkins M.J. (2000). On Ramond-Ramond fields and K-theory. JHEP 05: 044
Freed D. and Witten E. (1999). Anomalies in string theory with D-branes. Asian J. Math. 3(4): 819–851
Gorokhovsky, A.: Explicit formulae for characteristic classes in noncommutative geometry. Ph.D. thesis, Ohio State University, 1999
Gracia-Bondia J.M., Varilly J.C. and Figueroa H. (2001). Elements of Noncommutative Geometry, Birkhäuser Advanced Texts. Birkhäuser, Boston
Higson N. and Kasparov G. (2001). E-theory and KK-theory for groups which act properly and isometrically on Hilbert space. Invent. Math. 144(1): 23–74
Higson N. and Roe J. (2000). Analytic K-homology. Oxford University Press, Oxford
Hilsum M. and Skandalis G. (1987). Morphismes K-orientés d’espaces de feuilles et fonctorialité en théorie de Kasparov (d’après une conjecture d’A. Connes). Ann. Sci. École Norm. Sup. (4) 20(3): 325–390
Hopkins M.J. and Singer I.M. (2005). Quadratic functions in geometry, topology and M-theory. J. Differ. Geom. 70(3): 329–452
Horava P. (1999). Type IIA D-Branes, \(\mathsf K\) -Theory, and Matrix Theory. Adv. Theor. Math. Phys. 2: 1373–1404
Hori K. (1999). D-branes, T-duality and index theory. Adv. Theor. Math. Phys. 3: 281–342
Hull, C.: Global Aspects of T-Duality, Gauged Sigma Models and T-Folds. http://arxiv.org/abs/hep-th/0604178
Jaffe A., Leśniewski A. and Osterwalder K. (1988). Quantum \(\mathsf K\) -Theory: The Chern Character. Commun. Math. Phys. 118: 1–14
Jakob M. (1998). A Bordism-Type Description of Homology. Manuscripta Math. 96: 67–80
Jolissaint P. (1990). Rapidly decreasing functions in reduced C*-algebras of groups. Trans. Amer. Math. Soc. 317(1): 167–196
Kaminker J. and Putnam I. (1997). \(\mathsf K\) -theoretic duality for shifts of finite type. Commun. Math. Phys. 187: 509–522
Kasparov, G.G.: The Operator \(\mathsf K\) -Functor and Extensions of C*-Algebras. Izv. Akad. Nauk SSSR Ser. Mat. 44(3), 571–636, 719, (1980); Math. USSR Izv. 16, 513–572 (1981)
Kasparov, G.G.: K-theory, group C*-algebras and higher signatures. Conspectus (1980). In: Ferry, S., Ranicki, A., Rosenberg, J. (eds.) Novikov conjectures, index theorems and rigidity, Vol. 1, Lond. Math. Soc. Lecture Note Series 226. Cambridge: Cambridge University Press, 1995, pp. 101–146
Kasparov G.G. (1988). Equivariant KK-theory and the Novikov conjecture. Invent. Math. 91: 147–201
Lance E.C. (1995). Hilbert C*-modules, A toolkit for operator algebraists. Cambridge University Press, Cambridge
Michelsohn M.-L. and Lawson H.B. (1989). Spin Geometry. Princeton University Press, Princeton
Li, H.: Flabby Strict Deformation Quantizations and \(\mathsf K\) -Groups. \(\mathsf K\) -Theory 32, 323–329
Maldacena J.M., Moore G.W. and Seiberg N. (2001). D-Brane Instantons and \(\mathsf K\) -Theory Charges. JHEP 11: 062
Mathai V. (2006). Heat Kernels and the Range of the Trace on Completions of Twisted Group Algebras. Contemp. Math. 398: 321–346
Mathai V. and Rosenberg J. (2005). T-duality for torus bundles with H-fluxes via noncommutative topology. Commun. Math. Phys. 253: 705–721
Mathai V. and Rosenberg J. (2006). T-duality for torus bundles with H-fluxes via noncommutative topology, II: the high-dimensional case and the T-duality group. Adv. Theor. Math. Phys. 10(1): 123–158
Mathai V., Melrose R.B. and Singer I.M. (2005). The Index of Projective Families of Elliptic Operators. Geom. Topol. 9: 341–373
Meyer, R.: Analytic cohomology. Ph.D. Thesis, Univ. of Münster, 1999, available at http://arxiv.org/abs/math/9906205
Minasian R. and Moore G.W. (1997). \(\mathsf K\) -theory and Ramond-Ramond charge. JHEP 11: 002
Moore G.W. and Witten E. (2000). Self-Duality, Ramond-Ramond Fields, and \(\mathsf K\) -Theory. JHEP 05: 032
Moscovici H. (1997). Eigenvalue inequalities and Poincaré duality in noncommutative geometry. Commun. Math. Phys. 184(3): 619–628
Olsen K. and Szabo R.J. (1999). Constructing D-Branes from K-Theory. Adv. Theor. Math. Phys. 3: 889–1025
Parker, E.M.: Graded continuous trace C*-algebras and duality. In: Operator Algebras and Topology (Craiova, 1989), Pitman Res. Notes Math. Ser., Vol. 270, Harlow, UK: Longman Sci.Tech., 1992, pp. 130–145
Pimsner M. and Voiculescu D. (1980). Exact sequences for K-groups and Ext-groups of certain cross-product C*-algebras. J. Operator Theory 4(1): 93–118
Plymen R.J. (1986). Strong Morita Equivalence, Spinors and Symplectic Spinors. J. Operator Theory 16: 305–324
Ponge R. (2003). A New Short Proof of the Local Index Formula and Some of its Applications. Commun. Math. Phys. 241: 215–234
Puschnigg M. (1998). Explicit product structures in cyclic homology theories. K-Theory 15(4): 323–345
Puschnigg M. (2001). Excision in cyclic homology theories. Invent. Math. 143(2): 249–323
Puschnigg M. (2003). Diffeotopy functors of ind-algebras and local cyclic cohomology. Doc. Math. 8: 143–245
Quillen D.G. (1989). Algebra Cochains and Cyclic Cohomology. Publ. Math. IHES 68: 139–174
Reis R.M.G. and Szabo R.J. (2006). Geometric \(\mathsf K\) -Homology of Flat D-Branes. Commun. Math. Phys. 266: 71–122
Rieffel M. (1974). Induced representations of C*-algebras. Adv. Math. 13: 176–257
Rieffel M. (1981). C*-algebras associated with irrational rotations. Pacific J. Math. 93(2): 415–429
Rosenberg J. (1989). Continuous Trace Algebras from the Bundle Theoretic Point of View. J. Austral. Math. Soc. Ser. A 47: 368–381
Rosenberg, J.: Behavior of K-theory under quantization. In: Operator algebras and quantum field theory (Rome, 1996), Cambridge, MA: Internat. Press, 1997, pp. 404–415
Rosenberg J. and Schochet C. (1987). The Künneth theorem and the universal coefficient theorem for Kasparov’s generalized K-functor. Duke Math. J. 55(2): 431–474
Shelton J., Taylor W. and Wecht B. (2005). Nongeometric Flux Compactifications. JHEP 10: 085
Shirbisheh V. (2005). K-theory tools for local and asymptotic cyclic cohomology. Proc. Amer. Math. Soc. 133(4): 1185–1195
Skandalis G. (1988). Une notion de nucléarité en K-théorie (d’après J. Cuntz). K-Theory 1(6): 549–573
Szabo R.J. (2002). D-Branes, Tachyons and \(\mathsf K\) -Homology. Mod. Phys. Lett. A17: 2297–2315
Tu, J-L.: The Baum-Connes conjecture for groupoids. In: C*-algebras (Münster, 1999). Berlin: Springer-Verlag, 2000, pp. 227–242
Witten, E.: Overview of K-theory applied to strings. Int. J. Mod. Phys. A16, 693–706 (2001); ——, D-branes and K-theory. JHEP 12, 019 (1998)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by A. Connes
Rights and permissions
About this article
Cite this article
Brodzki, J., Mathai, V., Rosenberg, J. et al. D-Branes, RR-Fields and Duality on Noncommutative Manifolds. Commun. Math. Phys. 277, 643–706 (2008). https://doi.org/10.1007/s00220-007-0396-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-007-0396-y