Dirac Charge Quantization and Generalized Differential Cohomology

The main new result here is the cancellation of global anomalies in the Type I superstring, with and without D-branes. Our argument here depends on a precise interpretation of the 2-form abelian gauge field using KO-theory; then the anomaly cancellation follows from a geometric form of the full Atiyah-Singer index theorem for families of Dirac operators. This is a refined version of the Green-Schwarz mechanism. It seems that a geometric interpretation of this mechanism-the cancellation of local and global fermion anomalies against local and global anomalies in the electric coupling of an abelian gauge field-always proceeds in a similar manner. For example, a previous paper with M. Hopkins (hep-th/0002027) explains the cancellation of anomalies in Type II with D-branes in these terms. The focal point of this paper is a general discussion about abelian gauge fields and Dirac charge quantization. Namely, we argue that quantization of charge is implemented in the functional integral by interpreting abelian gauge fields as cochains in a generalized differential cohomology theory. Our exposition includes elementary examples as well as examples from superstring theory. The mathematical underpinnings of differential cohomology are currently under development; we only give a sketch here. The anomaly cancellation in Type I depends on properties of a certain quadratic form in KO-theory, which we analyze in an appendix written jointly with M. Hopkins. In particular, the usual equation ``Tr R^2 = Tr F^2'' is refined to an equation in the KO-theory of spacetime.

[1]  D-Branes And K-Theory , 1998, hep-th/9810188.

[2]  D. Soper.  Classical field theory , 1976 .

[3]  E. Witten.  Overview of K theory applied to strings , 2000, hep-th/0007175.

[4]  J. Bismut,et al.  The analysis of elliptic families. I. Metrics and connections on determinant bundles , 1986 .

[5]  F. Wilczek.  Quantum Field Theory , 1998, hep-th/9803075.

[6]  L. Ryder,et al.  Quantum Field Theory , 2001, Foundations of Modern Physics.

[7]  A. U.S.  D2-branes in B fields , 2008 .

[8]  Jean-Luc Brylinski,et al.  Loop Spaces, Characteristic Classes and Geometric Quantization , 1994 .

[9]  Lectures on Special Lagrangian Submanifolds , 1999, math/9907034.

[10]  CLASSICAL CHERN-SIMONS THEORY, PART 2 , 1992, hep-th/9206021.

[11]  D. Freed.  On Determinant Line Bundles , 1987 .

[12]  Self-duality, Ramond-Ramond fields, and K-theory , 1999, hep-th/9912279.

[13]  J. Bismut.  The Atiyah-Singer index theorem for families of Dirac operators: Two heat equation proofs , 1986 .

[14]  D. Freed,et al.  Anomalies in string theory with D-branes , 1999, hep-th/9907189.

[15]  N. Manton,et al.  Unification of Yang-Mills theory and supergravity in ten dimensions , 1983 .

[16]  A. Alekseev,et al.  B-independence of RR charges , 2002 .

[17]  K-theory and Ramond-Ramond charge , 1997, hep-th/9710230.

[18]  M. Atiyah.  POWER OPERATIONS IN K -THEORY , 1966 .

[19]  Flux stabilization of D-branes , 2000, hep-th/0003037.

[20]  M. Atiyah,et al.  Vector bundles and homogeneous spaces , 1961 .

[21]  D. Quillen.  Superconnections and the Chern character , 1985 .

[22]  E. Witten.  Baryons and branes in anti de Sitter space , 1998, hep-th/9805112.

[23]  E. Witten.  Five-brane effective action in M theory , 1996, hep-th/9610234.

[24]  J. Lott.  R/Z INDEX THEORY , 2002 .

[25]  Zheng Yin,et al.  Anomalies, branes, and currents , 1997, hep-th/9710206.

[26]  Duality relations among topological effects in string theory , 1999, hep-th/9912086.

[27]  John H. Schwarz,et al.  Anomaly cancellations in supersymmetric D=10 gauge theory and superstring theory , 1984 .

[28]  P. Gajer.  Geometry of Deligne cohomology , 1996, alg-geom/9601025.

[29]  田中 正,et al.  SUPERSTRING THEORY , 1989, The Lancet.

[30]  W. Browder.  The Kervaire invariant of framed manifolds and its generalization , 1969 .

[31]  F. W. Warner.  Foundations of Differentiable Manifolds and Lie Groups , 1971 .

[32]  E. Sezgin,et al.  Aspects of κ symmetry , 1993 .

[33]  Pierre Deligne,et al.  Quantum Fields and Strings: A Course for Mathematicians , 1999 .

[34]  Higher bundle gerbes and cohomology classes in gauge theories , 1995, hep-th/9511169.