We study a special sort of 2-dimensional extended Topological Quantum Field Theories (TQFTs). These are defined on open-closed cobordisms by which we mean smooth compact oriented 2-manifolds with corners that have a particular global structure in order to model the smooth topology of open and closed string worldsheets. We show that the category of open-closed TQFTs is equivalent to the category of knowledgeable Frobenius algebras. A knowledgeable Frobenius algebra (A, C, ı, ı * ) consists of a symmetric Frobenius algebra A, a commutative Frobenius algebra C, and an algebra homomorphism ı : C → A with dual ı * : A → C, subject to some conditions. This result is achieved by providing a description of the category of open-closed cobordisms in terms of generators and the well-known Moore-Segal relations. In order to prove the sufficiency of our relations, we provide a normal form for such cobordisms which is characterized by topological invariants. Starting from an arbitrary such cobordism, we construct a sequence of moves (generalized handle slides and handle cancellations) which transforms the given cobordism into the normal form. Using the generators and relations description of the category of open-closed cobordisms, we show that it is equivalent to the symmetric monoidal category freely generated by a knowledgeable Frobenius algebra. Our formalism is then generalized to the context of open-closed cobordisms with labeled free boundary components, i.e. to open-closed string worldsheets with D-brane labels at their free boundaries. (2000): 57R56, 57M99, 81T40, 58E05, 19D23, 18D35. Mathematics Subject Classification

We derive an exact duality transformation for pure non-Abelian gauge theory regularized on a lattice. The duality transformation can be applied to gauge theory with an arbitrary compact Lie group G as the gauge group and on Euclidean space-time lattices of dimension d ≥ 2. It maps the partition function as well as the expectation values of generalized non-Abelian Wilson loops (spin networks) to expressions involving only finitedimensional unitary representations, intertwiners and characters of G. In particular, all group integrations are explicitly performed. The transformation maps the strong coupling regime of non-Abelian gauge theory to the weak coupling regime of the dual model. This dual model is a system in statistical mechanics whose configurations are spin foams on the lattice.

In conventional gauge theory, a charged point particle is described by a representation of the gauge group. If we propagate the particle along some path, the parallel transport of the gauge connection acts on this representation. The Lagrangian density of the gauge field depends on the curvature of the connection which can be calculated from the holonomy around (infinitesimal) loops. For Abelian symmetry groups, say G = U (1), there exists a generalization, known as p-form electrodynamics, in which (p − 1)-dimensional charged objects can be propagated along p-surfaces and in which the Lagrangian depends on a generalized curvature associated with (infinitesimal) closed p-surfaces. In this article, we use Lie 2-groups and ideas from higher category theory in order to formulate a discrete gauge theory which generalizes these models at the level p = 2 to possibly non-Abelian symmetry groups. An important feature of our model is that it involves both parallel transports along paths and generalized transports along surfaces with a non-trivial interplay of these two types of variables. Our main result is the geometric picture, namely the assignment of non-Abelian quantities to geometrical objects in a coordinate free way. We construct the precise assignment of variables to the curves and surfaces, the generalized local symmetries and gauge invariant actions and we clarify which structures can be non-Abelian and which others are always Abelian. A discrete version of connections on non-Abelian gerbes is a special case of our construction. Even though the motivation sketched so far suggests applications mainly in string theory, the model presented here is also related to spin foam models of quantum gravity and may in addition provide some insight into the role of centre monopoles and vortices in lattice QCD.

The term higher gauge theory refers to the generalization of gauge theory to a theory of connections at two levels, essentially given by 1-and 2-forms. So far, there have been two approaches to this subject. The differential picture uses non-Abelian 1-and 2-forms in order to generalize the connection 1-form of a conventional gauge theory to the next level. The integral picture makes use of curves and surfaces labeled with elements of non-Abelian groups and generalizes the formulation of gauge theory in terms of parallel transports. We recall how to circumvent the classic no-go theorems in order to define non-Abelian surface ordered products in the integral picture. We then derive the differential picture from the integral formulation under the assumption that the curve and surface labels depend smoothly on the position of the curves and surfaces. We show that some aspects of the no-go theorems are still present in the differential (but not in the integral) picture. This implies a substantial structural difference between non-perturbative and perturbative approaches to higher gauge theory. We finally demonstrate that higher gauge theory provides a geometrical explanation for the extended topological symmetry of BF -theory in both pictures.

We study generalizations of 3-and 4-dimensional BF -theory in the context of higher gauge theory. First, we construct topological higher gauge theories as discrete state sum models and explain how they are related to the state sums of Yetter, Mackaay, and Porter. Under certain conditions, we can present their corresponding continuum counterparts in terms of classical Lagrangians. We then explain that two of these models are already familiar from the literature: the ΣΦEA-model of 3-dimensional gravity coupled to topological matter, and also a 4-dimensional model of BF -theory coupled to topological matter.

We propose a spin foam model for pure gauge fields coupled to Riemannian quantum gravity in four dimensions. The model is formulated for the triangulation of a fourmanifold which is given merely combinatorially. The Riemannian Barrett-Crane model provides the gravity sector of our model and dynamically assigns geometric data to the given combinatorial triangulation. The gauge theory sector is a lattice gauge theory living on the same triangulation and obtains from the gravity sector the geometric information which is required to calculate the Yang-Mills action. The model is designed so that one obtains a continuum approximation of the gauge theory sector at an effective level, similarly to the continuum limit of lattice gauge theory, when the typical length scale of gravity is much smaller than the Yang-Mills scale.

The partition function of the SO(4)-or Spin(4)-symmetric Euclidean Barrett-Crane model can be understood as a sum over all quantized geometries of a given triangulation of a four-manifold. In the original formulation, the variables of the model are balanced representations of SO(4) which describe the quantized areas of the triangles. We present an exact duality transformation for the full quantum theory and reformulate the model in terms of new variables which can be understood as variables conjugate to the quantized areas. The new variables are pairs of S 3 -values associated to the tetrahedra. These S 3 -variables parameterize the hyperplanes spanned by the tetrahedra (locally embedded in Ê 4 ), and the fact that there is a pair of variables for each tetrahedron can be viewed as a consequence of an SO(4)-valued parallel transport along the edges dual to the tetrahedra. We reconstruct the parallel transport of which only the action of SO(4) on S 3 is physically relevant and rewrite the Barrett-Crane model as an SO(4) lattice BF -theory living on the 2-complex dual to the triangulation subject to suitable constraints whose form we derive at the quantum level. Our reformulation of the Barrett-Crane model in terms of continuous variables is suitable for the application of various analytical and numerical techniques familiar from Statistical Mechanics.

We present a state sum construction of two-dimensional extended Topological Quantum Field Theories (TQFTs), so-called open-closed TQFTs, which generalizes the state sum of Fukuma-Hosono-Kawai from triangulations of conventional two-dimensional cobordisms to those of open-closed cobordisms, i.e. smooth compact oriented 2-manifolds with corners that have a particular global structure. This construction reveals the topological interpretation of the associative algebra on which the state sum is based, as the vector space that the TQFT assigns to the unit interval. Extending the notion of a two-dimensional TQFT from cobordisms to suitable manifolds with corners therefore makes the relationship between the global description of the TQFT in terms of a functor into the category of vector spaces and the local description in terms of a state sum fully transparent. We also illustrate the state sum construction of an open-closed TQFT with a finite set of D-branes using the example of the groupoid algebra of a finite groupoid.Mathematics Subject Classification (2000): 57R56, 57M99, 81T40, 57Q20.