Loop and Path Spaces and Four-Dimensional BF Theories: Connections, Holonomies and Observables

We study the differential geometry of principal G-bundles whose base space is the space of free paths (loops) on a manifold M. In particular we consider connections defined in terms of pairs (A,B), where A is a connection for a fixed principal bundle P(M,G) and B is a 2-form on M. The relevant curvatures, parallel transports and holonomies are computed and their expressions in local coordinates are exhibited. When the 2-form B is given by the curvature of A, then the so-called non-abelian Stokes formula follows. For a generic 2-form B, we distinguish the cases when the parallel transport depends on the whole path of paths and when it depends only on the spanned surface. In particular we discuss generalizations of the non-abelian Stokes formula. We study also the invariance properties of the (trace of the) holonomy under suitable transformation groups acting on the pairs (A,B). In this way we are able to define observables for both topological and non-topological quantum field theories of the BF type. In the non topological case, the surface terms may be relevant for the understanding of the quark-confinement problem. In the topological case the (perturbative) four-dimensional quantum BF-theory is expected to yield invariants of imbedded (or immersed) surfaces in a 4-manifold M.Comment: TeX, 39 page

Four-Dimensional Yang-Mills Theory as a Deformation of Topological BF Theory

The classical action for pure Yang--Mills gauge theory can be formulated as a deformation of the topological $BF$ theory where, beside the two-form field $B$, one has to add one extra-field $\eta$ given by a one-form which transforms as the difference of two connections. The ensuing action functional gives a theory that is both classically and quantistically equivalent to the original Yang--Mills theory. In order to prove such an equivalence, it is shown that the dependency on the field $\eta$ can be gauged away completely. This gives rise to a field theory that, for this reason, can be considered as semi-topological or topological in some but not all the fields of the theory. The symmetry group involved in this theory is an affine extension of the tangent gauge group acting on the tangent bundle of the space of connections. A mathematical analysis of this group action and of the relevant BRST complex is discussed in details.Comment: 74 pages, LaTeX, minor corrections; to be published in Commun. Math. Phy

Link Invariants and Combinatorial Quantization of Hamiltonian Chern-Simons Theory

We define and study the properties of observables associated to any link in $\Sigma\times {\bf R}$ (where $\Sigma$ is a compact surface) using the combinatorial quantization of hamiltonian Chern-Simons theory. These observables are traces of holonomies in a non commutative Yang-Mills theory where the gauge symmetry is ensured by a quantum group. We show that these observables are link invariants taking values in a non commutative algebra, the so called Moduli Algebra. When $\Sigma=S^2$ these link invariants are pure numbers and are equal to Reshetikhin-Turaev link invariants.Comment: 39, latex, 7 figure

Topological BF Theories in 3 and 4 Dimensions

In this paper we discuss topological BF theories in 3 and 4 dimensions. Observables are associated to ordinary knots and links (in 3 dimensions) and to 2-knots (in 4 dimensions). The vacuum expectation values of such observables give a wide range of invariants. Here we consider mainly the 3-dimensional case, where these invariants include Alexander polynomials, HOMFLY polynomials and Kontsevich integrals.Comment: 25 pages, latex, no figures. Transmission problems have been solve

Link Invariants of Finite Type and Perturbation Theory

The Vassiliev-Gusarov link invariants of finite type are known to be closely related to perturbation theory for Chern-Simons theory. In order to clarify the perturbative nature of such link invariants, we introduce an algebra V_infinity containing elements g_i satisfying the usual braid group relations and elements a_i satisfying g_i - g_i^{-1} = epsilon a_i, where epsilon is a formal variable that may be regarded as measuring the failure of g_i^2 to equal 1. Topologically, the elements a_i signify crossings. We show that a large class of link invariants of finite type are in one-to-one correspondence with homogeneous Markov traces on V_infinity. We sketch a possible application of link invariants of finite type to a manifestly diffeomorphism-invariant perturbation theory for quantum gravity in the loop representation.Comment: 11 page

Braneworld Flux Inflation

We propose a geometrical model of brane inflation where inflation is driven by the flux generated by opposing brane charges and terminated by the collision of the branes, with charge annihilation. We assume the collision process is completely inelastic and the kinetic energy is transformed into the thermal energy after collision. Thereafter the two branes coalesce together and behave as a single brane universe with zero effective cosmological constant. In the Einstein frame, the 4-dimensional effective theory changes abruptly at the collision point. Therefore, our inflationary model is necessarily 5-dimensional in nature. As the collision process has no singularity in 5-dimensional gravity, we can follow the evolution of fluctuations during the whole history of the universe. It turns out that the radion field fluctuations have a steeply tilted, red spectrum, while the primordial gravitational waves have a flat spectrum. Instead, primordial density perturbations could be generated by a curvaton mechanism.Comment: 11 pages, 6 figures, references adde

4-Dimensional BF Theory as a Topological Quantum Field Theory

Starting from a Lie group G whose Lie algebra is equipped with an invariant nondegenerate symmetric bilinear form, we show that 4-dimensional BF theory with cosmological term gives rise to a TQFT satisfying a generalization of Atiyah's axioms to manifolds equipped with principal G-bundle. The case G = GL(4,R) is especially interesting because every 4-manifold is then naturally equipped with a principal G-bundle, namely its frame bundle. In this case, the partition function of a compact oriented 4-manifold is the exponential of its signature, and the resulting TQFT is isomorphic to that constructed by Crane and Yetter using a state sum model, or by Broda using a surgery presentation of 4-manifolds.Comment: 15 pages in LaTe