arXiv subjects

Urs Schreiber

Publications and source records attributed to Urs Schreiber.

At least 109 records · Page 6Linked to original sources

arXiv2012

The E8 moduli 3-stack of the C-field in M-theory

The higher gauge field in 11-dimensional supergravity -- the C-field -- is constrained by quantum effects to be a cocycle in some twisted version of differential cohomology. We argue that it should indeed be a cocycle in a certain twisted nonabelian differential cohomology. We give a simple and natural characterization of the full smooth moduli 3-stack of configurations of the C-field, the gravitational field/background, and the (auxiliary) E8-field. We show that the truncation of this moduli 3-stack to a bare 1-groupoid of field configurations reproduces the differential integral Wu structures that Hopkins-Singer had shown to formalize Witten's argument on the nature of the C-field. We give a similarly simple and natural characterization of the moduli 2-stack of boundary C-field configurations and show that it is equivalent to the moduli 2-stack of anomaly free heterotic supergravity field configurations. Finally we show how to naturally encode the Horava-Witten boundary condition on the level of moduli 3-stacks, and refine it from a condition on 3-forms to a condition on the corresponding full differential cocycles.

hep-th↗

arXiv2012

Multiple M5-branes, String 2-connections, and 7d nonabelian Chern-Simons theory

The worldvolume theory of coincident M5-branes is expected to contain a nonabelian 2-form/nonabelian gerbe gauge theory that is a higher analog of self-dual Yang-Mills theory. But the precise details -- in particular the global moduli / instanton / magnetic charge structure -- have remained elusive. Here we deduce from anomaly cancellation a natural candidate for the holographic dual of this nonabelian 2-form field, under AdS7/CFT6-duality. We find this way a 7-dimensional nonabelian Chern-Simons theory of String 2-connection fields, which, in a certain higher gauge, are given locally by non-abelian 2-forms with values in an affine Kac-Moody Lie algebra. We construct the corresponding action functional on the entire smooth moduli 2-stack of field configurations, thereby defining the theory globally, at all levels and with the full instanton structure, which is nontrivial due to the twists imposed by the quantum corrections. Along the way we explain some general phenomena of higher nonabelian gauge theory that we need.

hep-th↗

arXiv2012

Twisted differential String and Fivebrane structures

In the background effective field theory of heterotic string theory, the Green-Schwarz anomaly cancellation mechanism plays a key role. Here we reinterpret it and its magnetic dual version in terms of differential twisted String- and differential twisted Fivebrane-structures that generalize the notion of Spin-structures and Spin-lifting gerbes and their differential refinement to smooth Spin-connections. We show that all these structures can be encoded in terms of nonabelian cohomology, twisted nonabelian cohomology, and differential twisted nonabelian cohomology, extending the differential generalized abelian cohomology as developed by Hopkins and Singer and shown by Freed to formalize the global description of anomaly cancellation problems in higher gauge theories arising in string theory. We demonstrate that the Green-Schwarz mechanism for the H_3-field, as well as its magnetic dual version for the H_7-field define cocycles in differential twisted nonabelian cohomology that may be called, respectively, differential twisted Spin(n)-, String(n)- and Fivebrane(n)-structures on target space, where the twist in each case is provided by the obstruction to lifting the classifying map of the gauge bundle through a higher connected cover of U(n) or O(n). We show that the twisted Bianchi identities in string theory can be captured by the (nonabelian) L-infinity-algebra valued differential form data provided by the differential refinements of these twisted cocycles.

math.AT↗

arXiv2012

Survey of mathematical foundations of QFT and perturbative string theory

Recent years have seen noteworthy progress in the mathematical formulation of quantum field theory and perturbative string theory. We give a brief survey of these developments. It serves as an introduction to the more detailed collection "Mathematical Foundations of Quantum Field Theory and Perturbative String Theory".

math-ph↗

arXiv2011

Smooth Functors vs. Differential Forms

We establish a relation between smooth 2-functors defined on the path 2-groupoid of a smooth manifold and differential forms on this manifold. This relation can be understood as a part of a dictionary between fundamental notions from category theory and differential geometry. We show that smooth 2-functors appear in several fields, namely as connections on (non-abelian) gerbes, as curvatures of smooth functors and as critical points in BF theory. We demonstrate further that our dictionary provides a powerful tool to discuss the transgression of geometric objects to loop spaces.

math.DG↗

arXiv2010

Categorified symmetries

Quantum field theory allows more general symmetries than groups and Lie algebras. For instance quantum groups, that is Hopf algebras, have been familiar to theoretical physicists for a while now. Nowdays many examples of symmetries of categorical flavor -- categorical groups, groupoids, Lie algebroids and their higher analogues -- appear in physically motivated constructions and faciliate constructions of geometrically sound models and quantization of field theories. Here we consider two flavours of categorified symmetries: one coming from noncommutative algebraic geometry where varieties themselves are replaced by suitable categories of sheaves; another in which the gauge groups are categorified to higher groupoids. Together with their gauge groups, also the fiber bundles themselves become categorified, and their gluing (or descent data) is given by nonabelian cocycles, generalizing group cohomology, where infinity-groupoids appear in the role both of the domain and the coefficient object. Such cocycles in particular represent higher principal bundles, gerbes, -- possibly equivariant, possibly with connection -- as well as the corresponding associated higher vector bundles. We show how the Hopf algebra known as the Drinfeld double arises in this context. This article is an expansion of a talk that the second author gave at the 5th Summer School of Modern Mathematical Physics in 2008.

math.QA↗

arXiv2009

Fivebrane Structures

We study the cohomological physics of fivebranes in type II and heterotic string theory. We give an interpretation of the one-loop term in type IIA, which involves the first and second Pontrjagin classes of spacetime, in terms of obstructions to having bundles with certain structure groups. Using a generalization of the Green-Schwarz anomaly cancelation in heterotic string theory which demands the target space to have a String structure, we observe that the "magnetic dual" version of the anomaly cancelation condition can be read as a higher analog of String structure, which we call Fivebrane structure. This involves lifts of orthogonal and unitary structures through higher connected covers which are not just 3- but even 7-connected. We discuss the topological obstructions to the existence of Fivebrane structures. The dual version of the anomaly cancelation points to a relation of String and Fivebrane structures under electric-magnetic duality.

math.AT↗

arXiv2008

AQFT from n-functorial QFT

There are essentially two different approaches to the axiomatization of quantum field theory (QFT): algebraic QFT, going back to Haag and Kastler, and functorial QFT, going back to Atiyah and Segal. More recently, based on ideas by Baez and Dolan, the latter is being refined to "extended" functorial QFT by Freed, Hopkins, Lurie and others. The first approach uses local nets of operator algebras which assign to each patch an algebra "of observables", the latter uses n-functors which assign to each patch a "propagator of states". In this note we present an observation about how these two axiom systems are naturally related: we demonstrate under mild assumptions that every 2-dimensional extended Minkowskian QFT 2-functor ("parallel surface transport") naturally yields a local net. This is obtained by postcomposing the propagation 2-functor with an operation that mimics the passage from the Schroedinger picture to the Heisenberg picture in quantum mechanics. The argument has a straightforward generalization to general pseudo-Riemannian structure and higher dimensions.

math.CT↗

arXiv2008

The inner automorphism 3-group of a strict 2-group

Any group $G$ gives rise to a 2-group of inner automorphisms, $\mathrm{INN}(G)$. It is an old result by Segal that the nerve of this is the universal $G$-bundle. We discuss that, similarly, for every 2-group $G_{(2)}$ there is a 3-group $\mathrm{INN}(G_{(2)})$ and a slightly smaller 3-group $\mathrm{INN}_0(G_{(2)})$ of inner automorphisms. We describe these for $G_{(2)}$ any strict 2-group, discuss how $\mathrm{INN}_0(G_{(2)})$ can be understood as arising from the mapping cone of the identity on $G_{(2)}$ and show that its underlying 2-groupoid structure fits into a short exact sequence $G_{(2)} \to \mathrm{INN}_0(G_{(2)}) \to ΣG_{(2)}$. As a consequence, $\mathrm{INN}_0(G_{(2)})$ encodes the properties of the universal $G_{(2)}$ 2-bundle.

math.CT↗

arXiv2008

L-infinity algebra connections and applications to String- and Chern-Simons n-transport

We give a generalization of the notion of a Cartan-Ehresmann connection from Lie algebras to L-infinity algebras and use it to study the obstruction theory of lifts through higher String-like extensions of Lie algebras. We find (generalized) Chern-Simons and BF-theory functionals this way and describe aspects of their parallel transport and quantization. It is known that over a D-brane the Kalb-Ramond background field of the string restricts to a 2-bundle with connection (a gerbe) which can be seen as the obstruction to lifting the PU(H)-bundle on the D-brane to a U(H)-bundle. We discuss how this phenomenon generalizes from the ordinary central extension U(1) -> U(H) -> PU(H) to higher categorical central extensions, like the String-extension BU(1) -> String(G) -> G. Here the obstruction to the lift is a 3-bundle with connection (a 2-gerbe): the Chern-Simons 3-bundle classified by the first Pontrjagin class. For G = Spin(n) this obstructs the existence of a String-structure. We discuss how to describe this obstruction problem in terms of Lie n-algebras and their corresponding categorified Cartan-Ehresmann connections. Generalizations even beyond String-extensions are then straightforward. For G = Spin(n) the next step is "Fivebrane structures" whose existence is obstructed by certain generalized Chern-Simons 7-bundles classified by the second Pontrjagin class.

math.DG↗

arXiv2007

Unoriented WZW Models and Holonomy of Bundle Gerbes

The Wess-Zumino term in two-dimensional conformal field theory is best understood as a surface holonomy of a bundle gerbe. We define additional structure for a bundle gerbe that allows to extend the notion of surface holonomy to unoriented surfaces. This provides a candidate for the Wess-Zumino term for WZW models on unoriented surfaces. Our ansatz reproduces some results known from the algebraic approach to WZW models.

hep-th↗

arXiv2006

Higher Gauge Theory

Just as gauge theory describes the parallel transport of point particles using connections on bundles, higher gauge theory describes the parallel transport of 1-dimensional objects (e.g. strings) using 2-connections on 2-bundles. A 2-bundle is a categorified version of a bundle: that is, one where the fiber is not a manifold but a category with a suitable smooth structure. Where gauge theory uses Lie groups and Lie algebras, higher gauge theory uses their categorified analogues: Lie 2-groups and Lie 2-algebras. We describe a theory of 2-connections on principal 2-bundles and explain how this is related to Breen and Messing's theory of connections on nonabelian gerbes. The distinctive feature of our theory is that a 2-connection allows parallel transport along paths and surfaces in a parametrization-independent way. In terms of Breen and Messing's framework, this requires that the "fake curvature" must vanish. In this paper we summarize the main results of our theory without proofs.

math.DG↗

arXiv2005

From Loop Space Mechanics to Nonabelian Strings

Lifting supersymmetric quantum mechanics to loop space yields the superstring. A particle charged under a fiber bundle thereby turns into a string charged under a 2-bundle, or gerbe. This stringification is nothing but categorification. We look at supersymmetric quantum mechanics on loop space and demonstrate how deformations here give rise to superstring background fields and boundary states, and, when generalized, to local nonabelian connections on loop space. In order to get a global description of these connections we introduce and study categorified global holonomy in the form of 2-bundles with 2-holonomy. We show how these relate to nonabelian gerbes and go beyond by obtaining global nonabelian surface holonomy, thus providing a class of action functionals for nonabelian strings. The examination of the differential formulation, which is adapted to the study of nonabelian p-form gauge theories, gives rise to generalized nonabelian Deligne hypercohomology. The (possible) relation of this to strings in Kalb-Ramond backgrounds, to M2/M5-brane systems, to spinning strings and to the derived category description of D-branes is discussed. In particular, there is a 2-group related to the String-group which should be the right structure 2-group for the global description of spinning strings.

hep-th↗

arXiv2004

Higher Gauge Theory: 2-Connections on 2-Bundles

Connections and curvings on gerbes are beginning to play a vital role in differential geometry and mathematical physics -- first abelian gerbes, and more recently nonabelian gerbes. These concepts can be elegantly understood using the concept of `2-bundle' recently introduced by Bartels. A 2-bundle is a generalization of a bundle in which the fibers are categories rather than sets. Here we introduce the concept of a `2-connection' on a principal 2-bundle. We describe principal 2-bundles with connection in terms of local data, and show that under certain conditions this reduces to the cocycle data for nonabelian gerbes with connection and curving subject to a certain constraint -- namely, the vanishing of the `fake curvature', as defined by Breen and Messing. This constraint also turns out to guarantee the existence of `2-holonomies': that is, parallel transport over both curves and surfaces, fitting together to define a 2-functor from the `path 2-groupoid' of the base space to the structure 2-group. We give a general theory of 2-holonomies and show how they are related to ordinary parallel transport on the path space of the base manifold.

hep-th↗

arXiv2004

Nonabelian 2-forms and loop space connections from SCFT deformations

It is shown how the deformation of the superconformal generators on the string's worldsheet by a nonabelian super-Wilson line gives rise to a covariant exterior derivative on loop space coming from a nonabelian 2-form on target space. The expression obtained this way is new in the context of strings, and its consistency is verified by checking that its global gauge transformations on loop space imply the familiar gauge transformations on target space. We derive the second order gauge transformation from infinitesimal local gauge transformations on loop space and find that a consistent picture is obtained only when the sum of the 2-form and the 1-form field strengths vanish. The same condition has recently been derived from 2-group gauge theory reasoning. We observe that this condition implies that the connection on loop space is flat, which is a crucial sufficient condition for the nonabelian surface holonomy induced by it to be well defined. Finally we compute the background equations of motion of the nonabelian 2-form by canceling divergences in the deformed boundary state.

hep-th↗

arXiv2004

Pohlmeyer invariants are expressible in terms of DDF invariants

It is shown that the Pohlmeyer invariants of the classical bosonic string are a proper subset of the classical DDF invariants. This makes the quantization of the Pohlmeyer invariants particularly transparent and allows to generalize them to the superstring.

math-ph↗

arXiv2004

DDF and Pohlmeyer invariants of (super)string

We show how the Pohlmeyer invariants of the bosonic string are expressible in terms of DDF invariants. Quantization of the DDF observables in the usual way yields a consistent quantization of the algebra of Pohlmeyer invariants. Furthermore it becomes straightforward to generalize the Pohlmeyer invariants to the superstring as well as to all backgrounds which allow a free field realization of the worldsheet theory.

hep-th↗

arXiv2004

Super-Pohlmeyer invariants and boundary states for non-abelian gauge fields

Aspects of the supersymmetric extension of the Pohlmeyer invariants are studied, and their relation to superstring boundary states for non-abelian gauge fields is discussed. We show that acting with a super-Pohlmeyer invariant with respect to some non-abelian gauge field A on the boundary state of a bare D9 brane produces the boundary state describing that non-abelian background gauge field on the brane. Known consistency conditions on that boundary state equivalent to the background equations of motion for A hence also apply to the quantized Pohlmeyer invariants.

hep-th↗