arXiv subjects

Daniel S. Freed

Publications and source records attributed to Daniel S. Freed.

At least 55 records · Page 3Linked to original sources

arXiv2008

Remarks on Chern-Simons Theory

In the late 1980s Witten used the Chern-Simons form of a connection to construct new invariants of 3-manifolds and knots, recovering in particular the Jones invariants. Since then the associated topological quantum field theory (TQFT) has served as a key example in understanding the structure of TQFTs in general. We survey some of that structure with a particular focus on the "multi-tier" aspects. We discuss general axioms, generators-and-relations theorems, a priori constructions, dimensional reduction and K-theory, and Chern-Simons as a 0-1-2-3 theory. An appendix gives a lightening treatment of the Chern-Simons-Weil theory of connections. The paper concludes with general remarks about the Geometry-QFT-Strings interaction.

math.AT↗

arXiv2007

Consistent Orientation of Moduli Spaces

We give an a priori construction of the two-dimensional reduction of three-dimensional quantum Chern-Simons theory. This reduction is a two-dimensional topological quantum field theory and so determines to a Frobenius ring, which here is the twisted equivariant K-theory of a compact Lie group. We construct the theory via correspondence diagrams of moduli spaces, which we "linearize" using complex K-theory. A key point in the construction is to consistently orient these moduli spaces to define pushforwards; the consistent orientation induces twistings of complex K-theory. The Madsen-Tillmann spectra play a crucial role.

math.AT↗

arXiv2007

Loop groups and twisted K-theory I

This is the first in a series of papers investigating the relationship between the twisted equivariant K-theory of a compact Lie group G and the "Verlinde ring" of its loop group. In this paper we set up the foundations of twisted equivariant K-groups, and more generally twisted K-theory of groupoids. We establish enough basic properties to make effective computations. Using the Mayer-Vietoris spectral sequence we compute the twisted equivariant K-groups of a compact connected Lie group G with torsion free fundamental group. We relate this computation to the representation theory of the loop group at a level related to the twisting.

math.AT↗

arXiv2007

Pions and Generalized Cohomology

The Wess-Zumino-Witten term was first introduced in the low energy sigma-model which describes pions, the Goldstone bosons for the broken flavor symmetry in quantum chromodynamics. We introduce a new definition of this term in arbitrary gravitational backgrounds. It matches several features of the fundamental gauge theory, including the presence of fermionic states and the anomaly of the flavor symmetry. To achieve this matching we use a certain generalized differential cohomology theory. We also prove a formula for the determinant line bundle of special families of Dirac operators on 4-manifolds in terms of this cohomology theory. One consequence is that there are no global anomalies in the Standard Model (in arbitrary gravitational backgrounds).

hep-th↗

arXiv2006

Heisenberg Groups and Noncommutative Fluxes

We develop a group-theoretical approach to the formulation of generalized abelian gauge theories, such as those appearing in string theory and M-theory. We explore several applications of this approach. First, we show that there is an uncertainty relation which obstructs simultaneous measurement of electric and magnetic flux when torsion fluxes are included. Next we show how to define the Hilbert space of a self-dual field. The Hilbert space is Z2-graded and we show that, in general, self-dual theories (including the RR fields of string theory) have fermionic sectors. We indicate how rational conformal field theories associated to the two-dimensional Gaussian model generalize to (4k+2)-dimensional conformal field theories. When our ideas are applied to the RR fields of string theory we learn that it is impossible to measure the K-theory class of a RR field. Only the reduction modulo torsion can be measured.

hep-th↗

arXiv2006

The Uncertainty of Fluxes

In the ordinary quantum Maxwell theory of a free electromagnetic field, formulated on a curved 3-manifold, we observe that magnetic and electric fluxes cannot be simultaneously measured. This uncertainty principle reflects torsion: fluxes modulo torsion can be simultaneously measured. We also develop the Hamilton theory of self-dual fields, noting that they are quantized by Pontrjagin self-dual cohomology theories and that the quantum Hilbert space is Z/2-graded, so typically contains both bosonic and fermionic states. Significantly, these ideas apply to the Ramond-Ramond field in string theory, showing that its K-theory class cannot be measured.

hep-th↗

arXiv2006

Twisted equivariant K-theory with complex coefficients

Using a global version of the equivariant Chern character, we describe the complexified twisted equivariant K-theory of a space with a compact Lie group action in terms of fixed-point data. We apply this to the case of a compact Lie group acting on itself by conjugation, and relate the result to the Verlinde algebra and to the Kac numerator at q=1. Verlinde's formula is also discussed in this context.

math.AT↗

arXiv2005

Setting the quantum integrand of M-theory

In anomaly-free quantum field theories the integrand in the bosonic functional integral--the exponential of the effective action after integrating out fermions--is often defined only up to a phase without an additional choice. We term this choice ``setting the quantum integrand''. In the low-energy approximation to M-theory the E(8)-model for the C-field allows us to set the quantum integrand using geometric index theory. We derive mathematical results of independent interest about pfaffians of Dirac operators in 8k+3 dimensions, both on closed manifolds and manifolds with boundary. These theorems are used to set the quantum integrand of M-theory for closed manifolds and for compact manifolds with either temporal (global) or spatial (local) boundary conditions. In particular, we show that M-theory makes sense on arbitrary 11-manifolds with spatial boundary, generalizing the construction of heterotic M-theory on cylinders.

hep-th↗

arXiv2005

Twisted K-theory and loop group representations

This is the third paper of a series relating the equivariant twisted $K$-theory of a compact Lie group $G$ to the ``Verlinde space'' of isomorphism classes of projective lowest-weight representations of the loop groups. Here, we treat arbitrary compact Lie groups. In addition, we discuss the relation to semi-infinite cohomology, the fusion product of Conformal Field theory, the rôle of energy and the topological Peter-Weyl theorem.

math.AT↗

arXiv2004

The M-theory 3-form and E8 gauge theory

We give a precise formulation of the M-theory 3-form potential C in a fashion applicable to topologically nontrivial situations. In our model the 3-form is related to the Chern-Simons form of an E8 gauge field. This leads to a precise version of the Chern-Simons interaction of 11-dimensional supergravity on manifolds with and without boundary. As an application of the formalism we give a formula for the electric C-field charge, as an integral cohomology class, induced by self-interactions of the 3-form and by gravity. As further applications, we identify the M-theory Chern-Simons term as a cubic refinement of a trilinear form, we clarify the physical nature of Witten's global anomaly for 5-brane partition functions, we clarify the relation of M-theory flux quantization to K-theoretic quantization of RR charge, and we indicate how the formalism can be applied to heterotic M-theory.

hep-th↗

arXiv2002

Twisted K-theory and loop groups

Twisted K-theory has received much attention recently in both mathematics and physics. We describe some models of twisted K-theory, both topological and geometric. Then we state a theorem which relates representations of loop groups to twisted equivariant K-theory. This is joint work with Michael Hopkins and Constantin Teleman.

math.AT↗

arXiv2002

K-Theory in Quantum Field Theory

We survey three different ways in which K-theory in all its forms enters quantum field theory. In Part 1 we give a general argument which relates topological field theory in codimension two with twisted K-theory, and we illustrate with some finite models. Part 2 is a review of pfaffians of Dirac operators, anomalies, and the relationship to differential K-theory. Part 3 is a geometric exposition of Dirac charge quantization, which in superstring theories also involves differential K-theory. Parts 2 and 3 are related by the Green-Schwarz anomaly cancellation mechanism. An appendix, joint with Jerry Jenquin, treats the partition function of Rarita-Schwinger fields.

math-ph↗

arXiv2001

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.

hep-th↗

arXiv2001

Two nontrivial index theorems in odd dimensions

A recent anomaly computation of Horava and Witten is proved and generalized in the form of two index theorems in odd dimensions. Theorem A is a fixed point formula for orientation-reversing involutions. Theorem B is an index theorem for manifolds with boundary using local boundary conditions. Both hold for families of operators.

dg-ga↗

arXiv2001

The Verlinde algebra is twisted equivariant K-theory

In joint work with M. Hopkins and C. Teleman we find a new description of the Verlinde algebra associated to a compact Lie group. In this expository account we describe twisted K-theory, prove the theorem for the group SU(2), and motivate the general theorem using ideas in topological field theory. The full proof will appear elsewhere.

math.RT↗

arXiv2000

Anomalies in String Theory with D-Branes

We analyze global anomalies for elementary Type II strings in the presence of D-branes. Global anomaly cancellation gives a restriction on the D-brane topology. This restriction makes possible the interpretation of D-brane charge as an element of K-theory.

hep-th↗

arXiv1999

Supersolutions

We develop classical globally supersymmetric theories. As much as possible, we treat various dimensions and various amounts of supersymmetry in a uniform manner. We discuss theories both in components and in superspace. Throughout we emphasize geometric aspects. The beginning chapters give a general discussion about supersymmetric field theories; then we move on to detailed computations of lagrangians, etc. in specific theories. An appendix details our sign conventions. This text will appear in a two-volume work "Quantum Fields and Strings: A Course for Mathematicians" to be published soon by the American Mathematical Society. Some of the cross-references may be found at http://www.math.ias.edu/~drm/QFT/

hep-th↗

arXiv1998

Special Kahler Manifolds

We give an intrinsic definition of the special geometry which arises in global N=2 supersymmetry in four dimensions. The base of an algebraic integrable system exhibits this geometry, and with an integrality hypothesis any special Kahler manifold is so related to an integrable system. The cotangent bundle of a special Kahler manifold carries a hyperkahler metric. We also define special geometry in supergravity in terms of the special geometry in global supersymmetry.

hep-th↗