Selfdual strings and loop space Nahm equations

We give two independent arguments why the classical membrane fields should be loops. The first argument comes from how we may construct selfdual strings in the M5 brane from a loop space version of the Nahm equations. The second argument is that there appears to be no infinite set of finite-dimensional Lie algebras (such as $su(N)$ for any $N$) that satisfies the algebraic structure of the membrane theory.Comment: 28 pages, various additional comment

Fermions in three-dimensional spinfoam quantum gravity

We study the coupling of massive fermions to the quantum mechanical dynamics of spacetime emerging from the spinfoam approach in three dimensions. We first recall the classical theory before constructing a spinfoam model of quantum gravity coupled to spinors. The technique used is based on a finite expansion in inverse fermion masses leading to the computation of the vacuum to vacuum transition amplitude of the theory. The path integral is derived as a sum over closed fermionic loops wrapping around the spinfoam. The effects of quantum torsion are realised as a modification of the intertwining operators assigned to the edges of the two-complex, in accordance with loop quantum gravity. The creation of non-trivial curvature is modelled by a modification of the pure gravity vertex amplitudes. The appendix contains a review of the geometrical and algebraic structures underlying the classical coupling of fermions to three dimensional gravity.Comment: 40 pages, 3 figures, version accepted for publication in GER

Categorical formulation of quantum algebras

We describe how dagger-Frobenius monoids give the correct categorical description of certain kinds of finite-dimensional 'quantum algebras'. We develop the concept of an involution monoid, and use it to construct a correspondence between finite-dimensional C*-algebras and certain types of dagger-Frobenius monoids in the category of Hilbert spaces. Using this technology, we recast the spectral theorems for commutative C*-algebras and for normal operators into an explicitly categorical language, and we examine the case that the results of measurements do not form finite sets, but rather objects in a finite Boolean topos. We describe the relevance of these results for topological quantum field theory.Comment: 34 pages, to appear in Communications in Mathematical Physic

Differential equations over octonions

Differential equations with constant and variable coefficients over octonions are investigated. It is found that different types of differential equations over octonions can be resolved. For this purpose non-commutative line integration is used. Such technique is applied to linear and non-linear partial differential equations in real variables. Possible areas of applications of these results are outlined.Comment: 50 page

The projector on physical states in loop quantum gravity

We construct the operator that projects on the physical states in loop quantum gravity. To this aim, we consider a diffeomorphism invariant functional integral over scalar functions. The construction defines a covariant, Feynman-like, spacetime formalism for quantum gravity and relates this theory to the spin foam models. We also discuss how expectation values of physical quantity can be computed.Comment: 15 pages, 2 figures, substantially revised versio

Holography in the EPRL Model

In this research announcement, we propose a new interpretation of the EPR quantization of the BC model using a functor we call the time functor, which is the first example of a CLa-ren functor. Under the hypothesis that the universe is in the Kodama state, we construct a holographic version of the model. Generalisations to other CLa-ren functors and connections to model category theory are considered.Comment: research announcement. Latex fil

Nonassociative strict deformation quantization of C*-algebras and nonassociative torus bundles

In this paper, we initiate the study of nonassociative strict deformation quantization of C*-algebras with a torus action. We shall also present a definition of nonassociative principal torus bundles, and give a classification of these as nonassociative strict deformation quantization of ordinary principal torus bundles. We then relate this to T-duality of principal torus bundles with $H$-flux. We also show that the Octonions fit nicely into our theory.Comment: 15 pages, latex2e, exposition improved, to appear in LM

Closed forms and multi-moment maps

We extend the notion of multi-moment map to geometries defined by closed forms of arbitrary degree. We give fundamental existence and uniqueness results and discuss a number of essential examples, including geometries related to special holonomy. For forms of degree four, multi-moment maps are guaranteed to exist and are unique when the symmetry group is (3,4)-trivial, meaning that the group is connected and the third and fourth Lie algebra Betti numbers vanish. We give a structural description of some classes of (3,4)-trivial algebras and provide a number of examples.Comment: 36 page

A New Recursion Relation for the 6j-Symbol

The 6j-symbol is a fundamental object from the re-coupling theory of SU(2) representations. In the limit of large angular momenta, its asymptotics is known to be described by the geometry of a tetrahedron with quantized lengths. This article presents a new recursion formula for the square of the 6j-symbol. In the asymptotic regime, the new recursion is shown to characterize the closure of the relevant tetrahedron. Since the 6j-symbol is the basic building block of the Ponzano-Regge model for pure three-dimensional quantum gravity, we also discuss how to generalize the method to derive more general recursion relations on the full amplitudes.Comment: 10 pages, v2: title and introduction changed, paper re-structured; Annales Henri Poincare (2011

Causal categories: relativistically interacting processes

A symmetric monoidal category naturally arises as the mathematical structure that organizes physical systems, processes, and composition thereof, both sequentially and in parallel. This structure admits a purely graphical calculus. This paper is concerned with the encoding of a fixed causal structure within a symmetric monoidal category: causal dependencies will correspond to topological connectedness in the graphical language. We show that correlations, either classical or quantum, force terminality of the tensor unit. We also show that well-definedness of the concept of a global state forces the monoidal product to be only partially defined, which in turn results in a relativistic covariance theorem. Except for these assumptions, at no stage do we assume anything more than purely compositional symmetric-monoidal categorical structure. We cast these two structural results in terms of a mathematical entity, which we call a `causal category'. We provide methods of constructing causal categories, and we study the consequences of these methods for the general framework of categorical quantum mechanics.Comment: 43 pages, lots of figure