Showing 1–50 of 59 results for author: Freed, D S

Index theory on Pin manifolds

Authors: Daniel S. Freed

Abstract: We give a systematic treatment of index theory on Pin manifolds, based on the Clifford linear Dirac operator and differential KO-theory. This expository article is based on joint work with Mike Hopkins. We give a systematic treatment of index theory on Pin manifolds, based on the Clifford linear Dirac operator and differential KO-theory. This expository article is based on joint work with Mike Hopkins. △ Less

Submitted 30 May, 2024; originally announced May 2024.

Comments: 19 pages, 5 figures

The Odd Fermion

Authors: Daniel S. Freed, Michael J. Hopkins, Constantin Teleman

Abstract: In this short note we use the geometric approach to (topological) field theory to address the question: Does an odd number of quantum mechanical fermions make sense? In this short note we use the geometric approach to (topological) field theory to address the question: Does an odd number of quantum mechanical fermions make sense? △ Less

Submitted 8 January, 2024; originally announced January 2024.

Comments: 6 pages, 2 figures

What is an anomaly?

Authors: Daniel S. Freed

Abstract: The anomaly of a quantum field theory is an expression of its projective nature. This starting point quickly leads to its manifestation as a special kind of field theory: a once-categorified invertible theory. We arrive at this statement through a general discussion of projectivity and a discussion of projectivity in quantum mechanics. We conclude with a general formula for the anomaly of a free s… ▽ More The anomaly of a quantum field theory is an expression of its projective nature. This starting point quickly leads to its manifestation as a special kind of field theory: a once-categorified invertible theory. We arrive at this statement through a general discussion of projectivity and a discussion of projectivity in quantum mechanics. We conclude with a general formula for the anomaly of a free spinor field. △ Less

Submitted 16 July, 2023; originally announced July 2023.

Comments: 20 pages, 3 figures

Introduction to topological symmetry in QFT

Authors: Daniel S. Freed

Abstract: This brief note publicizes the quantum framework for symmetry that is developed in our joint paper arXiv:2209.07471 with Greg Moore and Constantin Teleman. We include additional motivation and an application to a selection rule for line defects in 4-dimensional gauge theories. This brief note publicizes the quantum framework for symmetry that is developed in our joint paper arXiv:2209.07471 with Greg Moore and Constantin Teleman. We include additional motivation and an application to a selection rule for line defects in 4-dimensional gauge theories. △ Less

Submitted 6 July, 2023; v1 submitted 30 November, 2022; originally announced December 2022.

Comments: 14 pages, 7 figures. v2 fixed title in announcement. v3 has redrawn figures for publication

A Panorama Of Physical Mathematics c. 2022

Authors: Ibrahima Bah, Daniel S. Freed, Gregory W. Moore, Nikita Nekrasov, Shlomo S. Razamat, Sakura Schafer-Nameki

Abstract: What follows is a broad-brush overview of the recent synergistic interactions between mathematics and theoretical physics of quantum field theory and string theory. The discussion is forward-looking, suggesting potentially useful and fruitful directions and problems, some old, some new, for further development of the subject. This paper is a much extended version of the Snowmass whitepaper on phys… ▽ More What follows is a broad-brush overview of the recent synergistic interactions between mathematics and theoretical physics of quantum field theory and string theory. The discussion is forward-looking, suggesting potentially useful and fruitful directions and problems, some old, some new, for further development of the subject. This paper is a much extended version of the Snowmass whitepaper on physical mathematics [1]. △ Less

Submitted 9 May, 2024; v1 submitted 8 November, 2022; originally announced November 2022.

Topological symmetry in quantum field theory

Authors: Daniel S. Freed, Gregory W. Moore, Constantin Teleman

Abstract: We introduce a framework for internal topological symmetries in quantum field theory, including "noninvertible symmetries" and "categorical symmetries". This leads to a calculus of topological defects which takes full advantage of well-developed theorems and techniques in topological field theory. Our discussion focuses on finite symmetries, and we give indications for a generalization to other sy… ▽ More We introduce a framework for internal topological symmetries in quantum field theory, including "noninvertible symmetries" and "categorical symmetries". This leads to a calculus of topological defects which takes full advantage of well-developed theorems and techniques in topological field theory. Our discussion focuses on finite symmetries, and we give indications for a generalization to other symmetries. We treat quotients and quotient defects (often called "gauging" and "condensation defects"), finite electromagnetic duality, and duality defects, among other topics. We include an appendix on finite homotopy theories, which are often used to encode finite symmetries and for which computations can be carried out using methods of algebraic topology. Throughout we emphasize exposition and examples over a detailed technical treatment. △ Less

Submitted 26 April, 2023; v1 submitted 15 September, 2022; originally announced September 2022.

Comments: 65 pages, 37 figures. v2 adds references and corrects topological misstatements in section 4.4.2. v3 is a major revision with improved exposition throughout, a new section 2.5 on the passage from local to global defects, substantially expanded sections 4.4 and A.2

3d spectral networks and classical Chern-Simons theory

Authors: Daniel S. Freed, Andrew Neitzke

Abstract: We define the notion of spectral network on manifolds of dimension $\le 3$. For a manifold $X$ equipped with a spectral network, we construct equivalences between Chern-Simons invariants of flat ${\mathrm {SL}}(2,{\mathbb C})$-bundles over $X$ and Chern-Simons invariants of flat ${\mathbb C}^\times$-bundles over ramified double covers $\widetilde X$. Applications include a new viewpoint on dilogar… ▽ More We define the notion of spectral network on manifolds of dimension $\le 3$. For a manifold $X$ equipped with a spectral network, we construct equivalences between Chern-Simons invariants of flat ${\mathrm {SL}}(2,{\mathbb C})$-bundles over $X$ and Chern-Simons invariants of flat ${\mathbb C}^\times$-bundles over ramified double covers $\widetilde X$. Applications include a new viewpoint on dilogarithmic formulas for Chern-Simons invariants of flat ${\mathrm {SL}}(2,{\mathbb C})$-bundles over triangulated 3-manifolds, and an explicit description of Chern-Simons lines of flat ${\mathrm {SL}}(2,{\mathbb C})$-bundles over triangulated surfaces. Our constructions heavily exploit the locality of Chern-Simons invariants, expressed in the language of extended (invertible) topological field theory. △ Less

Submitted 15 August, 2022; originally announced August 2022.

Comments: 97 pages, 27 figures

MSC Class: 57R56 (Primary) 58J28 (Secondary)

The Atiyah-Singer index theorem

Authors: Daniel S. Freed

Abstract: The Atiyah-Singer index theorem, a landmark achievement of the early 1960s, brings together ideas in analysis, geometry, and topology. We recount some antecedents and motivations; various forms of the theorem; and some of its implications, which extend to the present. The Atiyah-Singer index theorem, a landmark achievement of the early 1960s, brings together ideas in analysis, geometry, and topology. We recount some antecedents and motivations; various forms of the theorem; and some of its implications, which extend to the present. △ Less

Submitted 7 July, 2021; originally announced July 2021.

Comments: 52 pages, to appear in Bulletin AMS

The dilogarithm and abelian Chern-Simons

Authors: Daniel S. Freed, Andrew Neitzke

Abstract: We construct the (enhanced Rogers) dilogarithm function from the spin Chern-Simons invariant of C*-connections. This leads to geometric proofs of basic dilogarithm identities and a geometric context for other properties, such as the branching structure. We construct the (enhanced Rogers) dilogarithm function from the spin Chern-Simons invariant of C*-connections. This leads to geometric proofs of basic dilogarithm identities and a geometric context for other properties, such as the branching structure. △ Less

Submitted 21 January, 2021; v1 submitted 22 June, 2020; originally announced June 2020.

Comments: 25 pages, 3 figures; v2 small clarifications

Gapped boundary theories in three dimensions

Authors: Daniel S. Freed, Constantin Teleman

Abstract: We prove a theorem in 3-dimensional topological field theory: a Reshetikhin-Turaev theory admits a nonzero boundary theory iff it is a Turaev-Viro theory. The proof immediately implies a characterization of fusion categories in terms of dualizability. The main theorem applies to physics, where it implies an obstruction to a gapped 3-dimensional quantum system admitting a gapped boundary theory. Ap… ▽ More We prove a theorem in 3-dimensional topological field theory: a Reshetikhin-Turaev theory admits a nonzero boundary theory iff it is a Turaev-Viro theory. The proof immediately implies a characterization of fusion categories in terms of dualizability. The main theorem applies to physics, where it implies an obstruction to a gapped 3-dimensional quantum system admitting a gapped boundary theory. Appendices on bordism multicategories and on internal duals may be of independent interest.; v2 extensive revision: added theorem on dualizable 2-categories, material on natural transformations, reworked theorems and several proofs, and more. △ Less

Submitted 9 August, 2021; v1 submitted 17 June, 2020; originally announced June 2020.

Comments: 51 pages, 32 figures; v2 major revision, including new Appendix B; v2 minor changes for publication in Commun. Math. Phys

Consistency of M-Theory on nonorientable manifolds

Authors: Daniel S. Freed, Michael J. Hopkins

Abstract: We prove that there is no parity anomaly in M-theory in the low-energy field theory approximation. Our approach is computational. We determine generators for the 12-dimensional bordism group of pin manifolds with a w_1-twisted integer lift of w_4; these are the manifolds on which Wick-rotated M-theory exists. The anomaly cancellation comes down to computing a specific eta-invariant and cubic form… ▽ More We prove that there is no parity anomaly in M-theory in the low-energy field theory approximation. Our approach is computational. We determine generators for the 12-dimensional bordism group of pin manifolds with a w_1-twisted integer lift of w_4; these are the manifolds on which Wick-rotated M-theory exists. The anomaly cancellation comes down to computing a specific eta-invariant and cubic form on these manifolds. Of interest beyond this specific problem are our expositions of: computational techniques for eta-invariants, the algebraic theory of cubic forms, Adams spectral sequence techniques, and anomalies for spinor fields and Rarita-Schwinger fields. △ Less

Submitted 8 January, 2021; v1 submitted 26 August, 2019; originally announced August 2019.

Comments: 68 pages, 2 figures; v2 added appendix about cohomology of relevant Thom spectrum plus small changes; v3 added appendix about spin bordism in dimension 12 plus numerous small changes for publication in Quaterly Journal of Mathematics; v4 fixed title on arXiv

Anomalies in the Space of Coupling Constants and Their Dynamical Applications II

Authors: Clay Cordova, Daniel S. Freed, Ho Tat Lam, Nathan Seiberg

Abstract: We extend our earlier work on anomalies in the space of coupling constants to four-dimensional gauge theories. Pure Yang-Mills theory (without matter) with a simple and simply connected gauge group has a mixed anomaly between its one-form global symmetry (associated with the center) and the periodicity of the $θ$-parameter. This anomaly is at the root of many recently discovered properties of thes… ▽ More We extend our earlier work on anomalies in the space of coupling constants to four-dimensional gauge theories. Pure Yang-Mills theory (without matter) with a simple and simply connected gauge group has a mixed anomaly between its one-form global symmetry (associated with the center) and the periodicity of the $θ$-parameter. This anomaly is at the root of many recently discovered properties of these theories, including their phase transitions and interfaces. These new anomalies can be used to extend this understanding to systems without discrete symmetries (such as time-reversal). We also study $SU(N)$ and $Sp(N)$ gauge theories with matter in the fundamental representation. Here we find a mixed anomaly between the flavor symmetry group and the $θ$-periodicity. Again, this anomaly unifies distinct recently-discovered phenomena in these theories and controls phase transitions and the dynamics on interfaces. △ Less

Submitted 30 October, 2019; v1 submitted 30 May, 2019; originally announced May 2019.

Comments: 43 pages, 4 tables. v2 minor corrections and additional references. v3 published version

Journal ref: SciPost Phys. 8, 002 (2020)

Anomalies in the Space of Coupling Constants and Their Dynamical Applications I

Authors: Clay Cordova, Daniel S. Freed, Ho Tat Lam, Nathan Seiberg

Abstract: It is customary to couple a quantum system to external classical fields. One application is to couple the global symmetries of the system (including the Poincaré symmetry) to background gauge fields (and a metric for the Poincaré symmetry). Failure of gauge invariance of the partition function under gauge transformations of these fields reflects 't Hooft anomalies. It is also common to view the or… ▽ More It is customary to couple a quantum system to external classical fields. One application is to couple the global symmetries of the system (including the Poincaré symmetry) to background gauge fields (and a metric for the Poincaré symmetry). Failure of gauge invariance of the partition function under gauge transformations of these fields reflects 't Hooft anomalies. It is also common to view the ordinary (scalar) coupling constants as background fields, i.e. to study the theory when they are spacetime dependent. We will show that the notion of 't Hooft anomalies can be extended naturally to include these scalar background fields. Just as ordinary 't Hooft anomalies allow us to deduce dynamical consequences about the phases of the theory and its defects, the same is true for these generalized 't Hooft anomalies. Specifically, since the coupling constants vary, we can learn that certain phase transitions must be present. We will demonstrate these anomalies and their applications in simple pedagogical examples in one dimension (quantum mechanics) and in some two, three, and four-dimensional quantum field theories. An anomaly is an example of an invertible field theory, which can be described as an object in (generalized) differential cohomology. We give an introduction to this perspective. Also, we use Quillen's superconnections to derive the anomaly for a free spinor field with variable mass. In a companion paper we will study four-dimensional gauge theories showing how our view unifies and extends many recently obtained results. △ Less

Submitted 30 October, 2019; v1 submitted 22 May, 2019; originally announced May 2019.

Comments: 76 pages, 1 figure, 2 tables. v2 minor corrections and additional references. v3 published version

Journal ref: SciPost Phys. 8, 001 (2020)

Invertible phases of matter with spatial symmetry

Authors: Daniel S. Freed, Michael J. Hopkins

Abstract: We propose a general formula for the group of invertible topological phases on a space $Y$, possibly equipped with the action of a group $G$. Our formula applies to arbitrary symmetry types. When $Y$ is Euclidean space and $G$ a crystallographic group, the term `topological crystalline phases' is sometimes used for these phases of matter. We propose a general formula for the group of invertible topological phases on a space $Y$, possibly equipped with the action of a group $G$. Our formula applies to arbitrary symmetry types. When $Y$ is Euclidean space and $G$ a crystallographic group, the term `topological crystalline phases' is sometimes used for these phases of matter. △ Less

Submitted 16 January, 2019; originally announced January 2019.

Comments: 13 pages, 3 figures

Topological dualities in the Ising model

Authors: Daniel S. Freed, Constantin Teleman

Abstract: We relate two classical dualities in low-dimensional quantum field theory: Kramers-Wannier duality of the Ising and related lattice models in $2$ dimensions, with electromagnetic duality for finite gauge theories in $3$ dimensions. The relation is mediated by the notion of boundary field theory: Ising models are boundary theories for pure gauge theory in one dimension higher. Thus the Ising order/… ▽ More We relate two classical dualities in low-dimensional quantum field theory: Kramers-Wannier duality of the Ising and related lattice models in $2$ dimensions, with electromagnetic duality for finite gauge theories in $3$ dimensions. The relation is mediated by the notion of boundary field theory: Ising models are boundary theories for pure gauge theory in one dimension higher. Thus the Ising order/disorder operators are endpoints of Wilson/'t Hooft defects of gauge theory. Symmetry breaking on low-energy states reflects the multiplicity of topological boundary states. In the process we describe lattice theories as (extended) topological field theories with boundaries and domain walls. This allows us to generalize the duality to non-abelian groups; finite, semi-simple Hopf algebras; and, in a different direction, to finite homotopy theories in arbitrary dimension. △ Less

Submitted 16 February, 2021; v1 submitted 31 May, 2018; originally announced June 2018.

Comments: 62 pages, 22 figures; v2 adds important reference [S]; v2 has reworked introduction, additional reference [KS], and minor changes; v4 for publication in Geometry and Topology has all new figures and a few minor changes and additional references

Journal ref: Geom. Topol. 26 (2022) 1907-1984

The Sum Over Topological Sectors and $θ$ in the 2+1-Dimensional $\mathbb{C}\mathbb{P}^1$ $σ$-Model

Authors: Daniel S. Freed, Zohar Komargodski, Nathan Seiberg

Abstract: We discuss the three spacetime dimensional $\mathbb{C}\mathbb{P}^N$ model and specialize to the $\mathbb{C}\mathbb{P}^1$ model. Because of the Hopf map $π_3(\mathbb{C}\mathbb{P}^1)=\mathbb{Z}$ one might try to couple the model to a periodic $θ$ parameter. However, we argue that only the values $θ=0$ and $θ=π$ are consistent. For these values the Skyrmions in the model are bosons and fermions respe… ▽ More We discuss the three spacetime dimensional $\mathbb{C}\mathbb{P}^N$ model and specialize to the $\mathbb{C}\mathbb{P}^1$ model. Because of the Hopf map $π_3(\mathbb{C}\mathbb{P}^1)=\mathbb{Z}$ one might try to couple the model to a periodic $θ$ parameter. However, we argue that only the values $θ=0$ and $θ=π$ are consistent. For these values the Skyrmions in the model are bosons and fermions respectively, rather than being anyons. We also extend the model by coupling it to a topological quantum field theory, such that the Skyrmions are anyons. We use techniques from geometry and topology to construct the $θ=π$ theory on arbitrary 3-manifolds, and use recent results about invertible field theories to prove that no other values of $θ$ satisfy the necessary locality. △ Less

Submitted 8 November, 2017; v1 submitted 17 July, 2017; originally announced July 2017.

Comments: 17 pages. v2 minor corrections and additions. v3 more minor corrections

On equivariant Chern-Weil forms and determinant lines

Authors: Daniel S. Freed

Abstract: A strong from of invariance under a group G is manifested in a family over the classifying space BG. We advocate a differential-geometric avatar of BG when G is a Lie group. Applied to G-equivariant connections on smooth principal or vector bundles, the equivariance-->families principle converts the G-equivariant extensions of curvature and Chern-Weil forms to the standard nonequivariant versions.… ▽ More A strong from of invariance under a group G is manifested in a family over the classifying space BG. We advocate a differential-geometric avatar of BG when G is a Lie group. Applied to G-equivariant connections on smooth principal or vector bundles, the equivariance-->families principle converts the G-equivariant extensions of curvature and Chern-Weil forms to the standard nonequivariant versions. An application of this technique yields the moment map of the determinant line of a G-equivariant Dirac operator, which in turn sheds light on some anomaly formulas in quantum field theory. △ Less

Submitted 3 June, 2016; originally announced June 2016.

Comments: 6 pages

Reflection positivity and invertible topological phases

Authors: Daniel S. Freed, Michael J. Hopkins

Abstract: We implement an extended version of reflection positivity (Wick-rotated unitarity) for invertible topological quantum field theories and compute the abelian group of deformation classes using stable homotopy theory. We apply these field theory considerations to lattice systems, assuming the existence and validity of low energy effective field theory approximations, and thereby produce a general fo… ▽ More We implement an extended version of reflection positivity (Wick-rotated unitarity) for invertible topological quantum field theories and compute the abelian group of deformation classes using stable homotopy theory. We apply these field theory considerations to lattice systems, assuming the existence and validity of low energy effective field theory approximations, and thereby produce a general formula for the group of Symmetry Protected Topological (SPT) phases in terms of Thom's bordism spectra; the only input is the dimension and symmetry group. We provide computations for fermionic systems in physically relevant dimensions. Other topics include symmetry in quantum field theories, a relativistic 10-fold way, the homotopy theory of relativistic free fermions, and a topological spin-statistics theorem. △ Less

Submitted 18 December, 2022; v1 submitted 21 April, 2016; originally announced April 2016.

Comments: 136 pages, 16 figures; minor changes/corrections in version 2; v3 major revision; v4 minor revision: corrected proof of Lemma 9.55, many small changes throughout; v5 version for publication in Geometry & Topology; v6 fixed proof of Proposition 3.13

Journal ref: Geom. Topol. 25 (2021) 1165-1330

Dirac Families for Loop Groups as Matrix Factorizations

Authors: Daniel S. Freed, Constantin Teleman

Abstract: We identify the category of integrable lowest-weight representations of the loop group LG of a compact Lie group G with the linear category of twisted, conjugation-equivariant curved Fredholm complexes on the group G: namely, the twisted, equivariant matrix factorizations of a super-potential built from the loop rotation action on LG. This lifts the isomorphism of K-groups of [FHT1,2, 3] to an equ… ▽ More We identify the category of integrable lowest-weight representations of the loop group LG of a compact Lie group G with the linear category of twisted, conjugation-equivariant curved Fredholm complexes on the group G: namely, the twisted, equivariant matrix factorizations of a super-potential built from the loop rotation action on LG. This lifts the isomorphism of K-groups of [FHT1,2, 3] to an equivalence of categories. The construction uses families of Dirac operators. △ Less

Submitted 21 September, 2014; originally announced September 2014.

Comments: 6 pages, research announcement. The complete details and background will appear in a future paper

MSC Class: 19L50; 22E67; 81R10

Short-range entanglement and invertible field theories

Authors: Daniel S. Freed

Abstract: Quantum field theories with an energy gap can be approximated at long-range by topological quantum field theories. The same should be true for suitable condensed matter systems. For those with short range entanglement (SRE) the effective topological theory is invertible, and so amenable to study via stable homotopy theory. This leads to concrete topological invariants of gapped SRE phases which ar… ▽ More Quantum field theories with an energy gap can be approximated at long-range by topological quantum field theories. The same should be true for suitable condensed matter systems. For those with short range entanglement (SRE) the effective topological theory is invertible, and so amenable to study via stable homotopy theory. This leads to concrete topological invariants of gapped SRE phases which are finer than existing invariants. Computations in examples demonstrate their effectiveness. △ Less

Submitted 10 August, 2014; v1 submitted 27 June, 2014; originally announced June 2014.

Comments: 59 pages, 13 figures; references added to v2

Anomalies and Invertible Field Theories

Authors: Daniel S. Freed

Abstract: We give a modern geometric viewpoint on anomalies in quantum field theory and illustrate it in a 1-dimensional theory: supersymmetric quantum mechanics. This is background for the resolution of worldsheet anomalies in orientifold superstring theory. We give a modern geometric viewpoint on anomalies in quantum field theory and illustrate it in a 1-dimensional theory: supersymmetric quantum mechanics. This is background for the resolution of worldsheet anomalies in orientifold superstring theory. △ Less

Submitted 20 June, 2014; v1 submitted 28 April, 2014; originally announced April 2014.

Comments: 21 pages, based talk at String-Math 2013; small corrections in v2

Chern-Weil forms and abstract homotopy theory

Authors: Daniel S. Freed, Michael J. Hopkins

Abstract: We prove that Chern-Weil forms are the only natural differential forms associated to a connection on a principal G-bundle. We use the homotopy theory of simplicial sheaves on smooth manifolds to formulate the theorem and set up the proof. Other arguments come from classical invariant theory. We identify the Weil algebra as the de Rham complex of a specific simplicial sheaf, and similarly give a ne… ▽ More We prove that Chern-Weil forms are the only natural differential forms associated to a connection on a principal G-bundle. We use the homotopy theory of simplicial sheaves on smooth manifolds to formulate the theorem and set up the proof. Other arguments come from classical invariant theory. We identify the Weil algebra as the de Rham complex of a specific simplicial sheaf, and similarly give a new interpretation of the Weil model in equivariant de Rham theory. There is an appendix proving a general theorem about set-theoretic transformations of polynomial functors. This paper is dedicated to the memory of Dan Quillen. △ Less

Submitted 15 March, 2013; v1 submitted 24 January, 2013; originally announced January 2013.

Comments: 41 pages; minor changes and additional references in v2; more minor writing corrections in v3

Relative quantum field theory

Authors: Daniel S. Freed, Constantin Teleman

Abstract: We highlight the general notion of a relative quantum field theory, which occurs in several contexts. One is in gauge theory based on a compact Lie algebra, rather than a compact Lie group. This is relevant to the maximal superconformal theory in six dimensions. We highlight the general notion of a relative quantum field theory, which occurs in several contexts. One is in gauge theory based on a compact Lie algebra, rather than a compact Lie group. This is relevant to the maximal superconformal theory in six dimensions. △ Less

Submitted 14 January, 2014; v1 submitted 7 December, 2012; originally announced December 2012.

Comments: 19 pages, 4 figures; v2 small changes for publication; v3 small final changes for publication

The cobordism hypothesis

Authors: Daniel S. Freed

Abstract: In this expository paper we introduce extended topological quantum field theories and the cobordism hypothesis. In this expository paper we introduce extended topological quantum field theories and the cobordism hypothesis. △ Less

Submitted 25 October, 2012; v1 submitted 18 October, 2012; originally announced October 2012.

Comments: 36 pages; v2 has a reference correction

Twisted equivariant matter

Authors: Daniel S. Freed, Gregory W. Moore

Abstract: We show how general principles of symmetry in quantum mechanics lead to twisted notions of a group representation. This framework generalizes both the classical 3-fold way of real/complex/quaternionic representations as well as a corresponding 10-fold way which has appeared in condensed matter and nuclear physics. We establish a foundation for discussing continuous families of quantum systems. Hav… ▽ More We show how general principles of symmetry in quantum mechanics lead to twisted notions of a group representation. This framework generalizes both the classical 3-fold way of real/complex/quaternionic representations as well as a corresponding 10-fold way which has appeared in condensed matter and nuclear physics. We establish a foundation for discussing continuous families of quantum systems. Having done so, topological phases of quantum systems can be defined as deformation classes of continuous families of gapped Hamiltonians. For free particles there is an additional algebraic structure on the deformation classes leading naturally to notions of twisted equivariant K-theory. In systems with a lattice of translational symmetries we show that there is a canonical twisting of the equivariant K-theory of the Brillouin torus. We give precise mathematical definitions of two invariants of the topological phases which have played an important role in the study of topological insulators. Twisted equivariant K-theory provides a finer classification of topological insulators than has been previously available. △ Less

Submitted 7 January, 2013; v1 submitted 24 August, 2012; originally announced August 2012.

Comments: 93 pages, 1 figure; v2 has minor corrections and clarifications for publication in AHP

On Wigner's theorem

Authors: Daniel S. Freed

Abstract: Wigner's theorem asserts that any symmetry of a quantum system is unitary or antiunitary. In this short note we give two proofs based on the geometry of the Fubini-Study metric. Wigner's theorem asserts that any symmetry of a quantum system is unitary or antiunitary. In this short note we give two proofs based on the geometry of the Fubini-Study metric. △ Less

Submitted 31 July, 2012; v1 submitted 9 December, 2011; originally announced December 2011.

Comments: 5 pages; small changes in v2; final small changes for publication in v3

Spin structures and superstrings

Authors: Jacques Distler, Daniel S. Freed, Gregory W. Moore

Abstract: In superstring theory spin structures are present on both the 2-dimensional worldsheet and 10-dimensional spacetime. We present a new proposal for the B-field in superstring theory and demonstrate its interaction with worldsheet spin structures. Our formulation generalizes to orientifolds, where various twistings appear. A special case of the orientifold worldsheet B-field amplitude is a KO-theore… ▽ More In superstring theory spin structures are present on both the 2-dimensional worldsheet and 10-dimensional spacetime. We present a new proposal for the B-field in superstring theory and demonstrate its interaction with worldsheet spin structures. Our formulation generalizes to orientifolds, where various twistings appear. A special case of the orientifold worldsheet B-field amplitude is a KO-theoretic construction of the Z/8Z-valued Kervaire invariant on pin-minus surfaces. △ Less

Submitted 26 July, 2010; originally announced July 2010.

Comments: 27 pages

Report number: UTTG-07-10 MSC Class: 81T30; 81T50; 58J20; 53C27

An index theorem in differential K-theory

Authors: Daniel S. Freed, John Lott

Abstract: Let X --> B be a proper submersion with a Riemannian structure. Given a differential K-theory class on X, we define its analytic and topological indices as differential K-theory classes on B. We prove that the two indices are the same. Let X --> B be a proper submersion with a Riemannian structure. Given a differential K-theory class on X, we define its analytic and topological indices as differential K-theory classes on B. We prove that the two indices are the same. △ Less

Submitted 21 March, 2010; v1 submitted 20 July, 2009; originally announced July 2009.

Comments: 65 pages; version 2 has small changes for publication

MSC Class: 58J22; 19K56; 19L99

Journal ref: Geom. Topol. 14 (2010) 903-966

Orientifold Precis

Authors: Jacques Distler, Daniel S. Freed, Gregory W. Moore

Abstract: We give a precise and concise formulation of the orientifold construction in Type II superstring theory. Our results include anomaly cancellation on the worldsheet and a spacetime computation of the background Ramond-Ramond charge. We give a precise and concise formulation of the orientifold construction in Type II superstring theory. Our results include anomaly cancellation on the worldsheet and a spacetime computation of the background Ramond-Ramond charge. △ Less

Submitted 18 August, 2010; v1 submitted 3 June, 2009; originally announced June 2009.

Comments: 11 pages; small modifications/corrections/additions in v2 as well as added "dependency chart"

Report number: UTTG-04-09, TCC-019-09

Topological Quantum Field Theories from Compact Lie Groups

Authors: Daniel S. Freed, Michael J. Hopkins, Jacob Lurie, Constantin Teleman

Abstract: It is a long-standing question to extend the definition of 3-dimensional Chern-Simons theory to one which associates values to 1-manifolds with boundary and to 0-manifolds. We provide a solution in case the gauge group is a torus. We also develop from different points of view an associated 4-dimensional invertible topological field theory which encodes the anomaly of Chern-Simons. Finite gauge g… ▽ More It is a long-standing question to extend the definition of 3-dimensional Chern-Simons theory to one which associates values to 1-manifolds with boundary and to 0-manifolds. We provide a solution in case the gauge group is a torus. We also develop from different points of view an associated 4-dimensional invertible topological field theory which encodes the anomaly of Chern-Simons. Finite gauge groups are also revisited, and we describe a theory of "finite path integrals" as a general construction for a certain class of finite topological field theories. Topological pure gauge theories in lower dimension are presented as a warm-up. △ Less

Submitted 19 June, 2009; v1 submitted 6 May, 2009; originally announced May 2009.

Comments: 39 pages, submission to proceedings of "A Celebration of the Mathematical Legacy of Raoul Bott"; v2 has minor changes

Report number: AIM 2009-21 MSC Class: 81T45; 57R56

Remarks on Chern-Simons Theory

Authors: Daniel S. Freed

Abstract: 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" aspect… ▽ More 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. △ Less

Submitted 28 October, 2008; v1 submitted 18 August, 2008; originally announced August 2008.

Comments: 34 pages, 1 figure, based on talk at 25th anniversary conference for MSRI; minor revisions

Consistent Orientation of Moduli Spaces

Authors: Daniel S. Freed, Michael J. Hopkins, Constantin Teleman

Abstract: 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 comple… ▽ More 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. △ Less

Submitted 19 December, 2007; v1 submitted 12 November, 2007; originally announced November 2007.

Comments: 21 pages, dedicated to Nigel Hitchin on the occasion of his 60th birthday. Version 2 for publication has additional text in section 3 and makes minor corrections

Loop groups and twisted K-theory I

Authors: Daniel S. Freed, Michael J. Hopkins, Constantin Teleman

Abstract: 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 s… ▽ More 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. △ Less

Submitted 12 November, 2007; originally announced November 2007.

MSC Class: 19L47; 22E67 (Primary); 19K99 (Secondary)

Pions and Generalized Cohomology

Authors: Daniel S. Freed

Abstract: 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… ▽ More 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). △ Less

Submitted 5 July, 2007; v1 submitted 19 July, 2006; originally announced July 2006.

Comments: 29 pages, minor changes and added Proposition 4.4

Heisenberg Groups and Noncommutative Fluxes

Authors: Daniel S. Freed, Gregory W. Moore, Graeme Segal

Abstract: 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 Hilber… ▽ More 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. △ Less

Submitted 1 September, 2006; v1 submitted 19 May, 2006; originally announced May 2006.

Comments: 68 pp

Journal ref: AnnalsPhys.322:236-285,2007

The Uncertainty of Fluxes

Authors: Daniel S. Freed, Gregory W. Moore, Graeme Segal

Abstract: 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… ▽ More 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. △ Less

Submitted 22 August, 2006; v1 submitted 19 May, 2006; originally announced May 2006.

Comments: 33 pages; minor modifications for publication in Commun. Math. Phys

Report number: NSF-KITP-05-119

Journal ref: Commun.Math.Phys.271:247-274,2007

Loop Groups and Twisted K-Theory II

Authors: Daniel S. Freed, Michael J. Hopkins, Constantin Teleman

Abstract: This is the second 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. We introduce the Dirac family of Fredholm operators associated to a positive energy representation of a loop group. It determines a map from isomorphism classes of representations to twisted K-theory, which we prove is… ▽ More This is the second 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. We introduce the Dirac family of Fredholm operators associated to a positive energy representation of a loop group. It determines a map from isomorphism classes of representations to twisted K-theory, which we prove is an isomorphism if $G$ is connected with torsion-free fundamental group. We also introduce a Dirac family for finite dimensional representations of compact Lie groups; it is closely related to both the Kirillov correspondence and the equivariant Thom isomorphism. In Part III (math.AT/0312155) we extend the proof of our main theorem to arbitrary compact Lie groups G and provide supplements in various directions. In Part I (arXiv:0711.1906) we develop twisted equivariant K-theory and carry out some of the computations needed here. We refer to the announcements math.AT/0312155 and math.AT/0206237 for further expository material and motivation. △ Less

Submitted 7 December, 2012; v1 submitted 9 November, 2005; originally announced November 2005.

Comments: 61 pages; minor corrections in version 2; final corrections for publication in version 3

MSC Class: 19L47; 22E67 (Primary) 19K99 (Secondary)

Setting the quantum integrand of M-theory

Authors: Daniel S. Freed, Gregory W. Moore

Abstract: 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 us… ▽ More 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. △ Less

Submitted 22 December, 2005; v1 submitted 13 September, 2004; originally announced September 2004.

Comments: 52 pages; revised version for publication in Commun. Math. Phys. corrects a few typos

Journal ref: Commun.Math.Phys. 263 (2006) 89-132

Twisted K-theory and loop group representations

Authors: Daniel S. Freed, Michael J. Hopkins, Constantin Teleman

Abstract: 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 an… ▽ More 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. △ Less

Submitted 10 November, 2005; v1 submitted 8 December, 2003; originally announced December 2003.

Comments: The final SELF-CONTAINED version is v.2. The current version had some material removed to the prequels [FHT1,2]. Minor notational changes

MSC Class: 19L47; 22E67 (primary); 19K99 (secondary)

The M-theory 3-form and E8 gauge theory

Authors: Emanuel Diaconescu, Daniel S. Freed, Gregory Moore

Abstract: 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… ▽ More 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. △ Less

Submitted 23 March, 2004; v1 submitted 5 December, 2003; originally announced December 2003.

Comments: 48pp. harvmac b-mode; v2: Several improvements added in response to the referee's comments. Typos fixed

Report number: RUNHETC-2003-34

Twisted equivariant K-theory with complex coefficients

Authors: Daniel S. Freed, Michael J. Hopkins, Constantin Teleman

Abstract: 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 co… ▽ More 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. △ Less

Submitted 23 July, 2006; v1 submitted 24 June, 2002; originally announced June 2002.

Comments: Final version, to appear in Topology. Exposition improved, rational homotopy calculation completely rewritten

MSC Class: 55N15; 22E67

Twisted K-theory and loop groups

Authors: Daniel S. Freed

Abstract: 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. 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. △ Less

Submitted 27 June, 2002; v1 submitted 23 June, 2002; originally announced June 2002.

Comments: 12 pages, ICM talk, assertion about ring structure fixed

K-Theory in Quantum Field Theory

Authors: Daniel S. Freed

Abstract: 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… ▽ More 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. △ Less

Submitted 18 June, 2002; originally announced June 2002.

Comments: 56 pages, expanded version of lectures at "Current Developments in Mathematics"

MSC Class: 81T30; 81T45; 81T50; 19L99

The Verlinde algebra is twisted equivariant K-theory

Authors: Daniel S. Freed

Abstract: 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. 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. △ Less

Submitted 4 January, 2001; originally announced January 2001.

Comments: 11 pages

Journal ref: Turk.J.Math 25 (2001) 159-167

Dirac Charge Quantization and Generalized Differential Cohomology

Authors: Daniel S. Freed

Abstract: 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-Sc… ▽ More 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. △ Less

Submitted 5 February, 2001; v1 submitted 24 November, 2000; originally announced November 2000.

Comments: 62 pages; small revisions for publication

On Ramond-Ramond fields and K-theory

Authors: D. S. Freed, M. J. Hopkins

Abstract: A recent paper by Moore and Witten explained that Ramond-Ramond fields in Type II superstring theory have a global meaning in K-theory. In this note we amplify and generalize some points raised in that paper. In particular, we express the coupling of the Ramond-Ramond fields to D-branes in a K-theoretic framework and show that the anomaly in this coupling exactly cancels the anomaly from the fer… ▽ More A recent paper by Moore and Witten explained that Ramond-Ramond fields in Type II superstring theory have a global meaning in K-theory. In this note we amplify and generalize some points raised in that paper. In particular, we express the coupling of the Ramond-Ramond fields to D-branes in a K-theoretic framework and show that the anomaly in this coupling exactly cancels the anomaly from the fermions on the brane, both in Type IIA and Type IIB. △ Less

Submitted 14 June, 2000; v1 submitted 3 February, 2000; originally announced February 2000.

Comments: 12 pages; final revision for publication in JHEP. References added and some minor clarifications as well

Journal ref: JHEP 0005 (2000) 044

Anomalies in String Theory with D-Branes

Authors: Daniel S. Freed, Edward Witten

Abstract: 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. 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. △ Less

Submitted 6 March, 2000; v1 submitted 26 July, 1999; originally announced July 1999.

Comments: 39 pages, 2 figures; revised version adds a reference

Journal ref: Asian J.Math.3:819,1999

Supersolutions

Authors: Pierre Deligne, Daniel S. Freed

Abstract: 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 lagra… ▽ More 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/ △ Less

Submitted 20 January, 1999; originally announced January 1999.

Comments: 130 pages, AMSTeX

Special Kahler Manifolds

Authors: Daniel S. Freed

Abstract: 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… ▽ More 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. △ Less

Submitted 24 August, 1998; v1 submitted 4 December, 1997; originally announced December 1997.

Comments: 29 pages, amstex, revised version contains minor corrections, to appear in Commun. Math. Phys

Journal ref: Commun.Math.Phys.203:31-52,1999

Two nontrivial index theorems in odd dimensions

Authors: Daniel S. Freed

Abstract: 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. 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. △ Less

Submitted 26 January, 2001; v1 submitted 15 January, 1996; originally announced January 1996.

Comments: 12 pages, AMSTeX, date corrected