arXiv subjects

John C. Baez

Publications and source records attributed to John C. Baez.

126 records · Page 7Linked to original sources

arXiv1998

2-Tangles

Just as links may be algebraically described as certain morphisms in the category of tangles, compact surfaces smoothly embedded in R^4 may be described as certain 2-morphisms in the 2-category of `2-tangles in 4 dimensions'. In this announcement we give a purely algebraic characterization of the 2-category of unframed unoriented 2-tangles in 4 dimensions as the `free semistrict braided monoidal 2-category with duals on one unframed self-dual object'. A forthcoming paper will contain a proof of this result using the movie moves of Carter, Rieger and Saito. We comment on how one might use this result to construct invariants of 2-tangles.

q-alg↗

arXiv1998

Spin Foam Models

While the use of spin networks has greatly improved our understanding of the kinematical aspects of quantum gravity, the dynamical aspects remain obscure. To address this problem, we define the concept of a `spin foam' going from one spin network to another. Just as a spin network is a graph with edges labeled by representations and vertices labeled by intertwining operators, a spin foam is a 2-dimensional complex with faces labeled by representations and edges labeled by intertwining operators. Spin foams arise naturally as higher-dimensional analogs of Feynman diagrams in quantum gravity and other gauge theories in the continuum, as well as in lattice gauge theory. When formulated as a `spin foam model', such a theory consists of a rule for computing amplitudes from spin foam vertices, faces, and edges. The product of these amplitudes gives the amplitude for the spin foam, and the transition amplitude between spin networks is given as a sum over spin foams. After reviewing how spin networks describe `quantum 3-geometries', we describe how spin foams describe `quantum 4-geometries'. We conclude by presenting a spin foam model of 4-dimensional Euclidean quantum gravity, closely related to the state sum model of Barrett and Crane, but not assuming the presence of an underlying spacetime manifold.

gr-qc↗

arXiv1998

Categorification

Categorification is the process of finding category-theoretic analogs of set-theoretic concepts by replacing sets with categories, functions with functors, and equations between functions by natural isomorphisms between functors, which in turn should satisfy certain equations of their own, called `coherence laws'. Iterating this process requires a theory of `n-categories', algebraic structures having objects, morphisms between objects, 2-morphisms between morphisms and so on up to n-morphisms. After a brief introduction to n-categories and their relation to homotopy theory, we discuss algebraic structures that can be seen as iterated categorifications of the natural numbers and integers. These include tangle n-categories, cobordism n-categories, and the homotopy n-types of the loop spaces Omega^k S^k. We conclude by describing a definition of weak n-categories based on the theory of operads.

math.QA↗

arXiv1997

Diffeomorphism-Invariant Spin Network States

We extend the theory of diffeomorphism-invariant spin network states from the real-analytic category to the smooth category. Suppose that G is a compact connected semisimple Lie group and P -> M is a smooth principal G-bundle. A `cylinder function' on the space of smooth connections on P is a continuous complex function of the holonomies along finitely many piecewise smoothly immersed curves in M. We construct diffeomorphism-invariant functionals on the space of cylinder functions from `spin networks': graphs in M with edges labeled by representations of G and vertices labeled by intertwining operators. Using the `group averaging' technique of Ashtekar, Marolf, Mourao and Thiemann, we equip the space spanned by these `diffeomorphism-invariant spin network states' with a natural inner product.

q-alg↗

arXiv1997

An Introduction to n-Categories

An n-category is some sort of algebraic structure consisting of objects, morphisms between objects, 2-morphisms between morphisms, and so on up to n-morphisms, together with various ways of composing them. We survey various concepts of n-category, with an emphasis on `weak' n-categories, in which all rules governing the composition of j-morphisms hold only up to equivalence. (An n-morphism is an equivalence if it is invertible, while a j-morphism for j < n is an equivalence if it is invertible up to a (j+1)-morphism that is an equivalence.) We discuss applications of weak n-categories to various subjects including homotopy theory and topological quantum field theory, and review the definition of weak n-categories recently proposed by Dolan and the author.

q-alg↗

arXiv1997

Quantization of Diffeomorphism-Invariant Theories with Fermions

We extend ideas developed for the loop representation of quantum gravity to diffeomorphism-invariant gauge theories coupled to fermions. Let P -> Sigma be a principal G-bundle over space and let F be a vector bundle associated to P whose fiber is a sum of continuous unitary irreducible representations of the compact connected gauge group G, each representation appearing together with its dual. We consider theories whose classical configuration space is A x F, where A is the space of connections on P and F is the space of sections of F, regarded as a collection of Grassmann-valued fermionic fields. We construct the `quantum configuration space a x f as a completion of A x F. Using this we construct a Hilbert space L^2(a x f) for the quantum theory on which all automorphisms of P act as unitary operators, and determine an explicit `spin network basis' of the subspace L^2((a x f)/G) consisting of gauge-invariant states. We represent observables constructed from holonomies of the connection along paths together with fermionic fields and their conjugate momenta as operators on L^2((a x f)/G). We also construct a Hilbert space H_diff of diffeomorphism-invariant states using the group averaging procedure of Ashtekar, Lewandowski, Marolf, Mourao and Thiemann.

hep-th↗

arXiv1997

Degenerate Solutions of General Relativity from Topological Field Theory

Working in the Palatini formalism, we describe a procedure for constructing degenerate solutions of general relativity on 4-manifold M from certain solutions of 2-dimensional BF theory on any framed surface Sigma embedded in M. In these solutions the cotetrad field e (and thus the metric) vanishes outside a neighborhood of Sigma, while inside this neighborhood the connection A and the field E = e ^ e satisfy the equations of 4-dimensional BF theory. Moreover, there is a correspondence between these solutions and certain solutions of 2-dimensional BF theory on Sigma. Our construction works in any signature and with any value of the cosmological constant. If M = R x S for some 3-manifold S, at fixed time our solutions typically describe `flux tubes of area': the 3-metric vanishes outside a collection of thickened links embedded in S, while inside these thickened links it is nondegenerate only in the two transverse directions. We comment on the quantization of the theory of solutions of this form and its relation to the loop representation of quantum gravity.

gr-qc↗

arXiv1997

Higher-Dimensional Algebra III: n-Categories and the Algebra of Opetopes

We give a definition of weak n-categories based on the theory of operads. We work with operads having an arbitrary set S of types, or `S-operads', and given such an operad O, we denote its set of operations by elt(O). Then for any S-operad O there is an elt(O)-operad O+ whose algebras are S-operads over O. Letting I be the initial operad with a one-element set of types, and defining I(0) = I, I(i+1) = I(i)+, we call the operations of I(n-1) the `n-dimensional opetopes'. Opetopes form a category, and presheaves on this category are called `opetopic sets'. A weak n-category is defined as an opetopic set with certain properties, in a manner reminiscent of Street's simplicial approach to weak omega-categories. Similarly, starting from an arbitrary operad O instead of I, we define `n-coherent O-algebras', which are n times categorified analogs of algebras of O. Examples include `monoidal n-categories', `stable n-categories', `virtual n-functors' and `representable n-prestacks'. We also describe how n-coherent O-algebra objects may be defined in any (n+1)-coherent O-algebra.

q-alg↗

arXiv1996

Higher-Dimensional Algebra II: 2-Hilbert Spaces

A 2-Hilbert space is a category with structures and properties analogous to those of a Hilbert space. More precisely, we define a 2-Hilbert space to be an abelian category enriched over Hilb with a *-structure, conjugate-linear on the hom-sets, satisfying = = . We also define monoidal, braided monoidal, and symmetric monoidal versions of 2-Hilbert spaces, which we call 2-H*-algebras, braided 2-H*-algebras, and symmetric 2-H*-algebras, and we describe the relation between these and tangles in 2, 3, and 4 dimensions, respectively. We prove a generalized Doplicher-Roberts theorem stating that every symmetric 2-H*-algebra is equivalent to the category Rep(G) of continuous unitary finite-dimensional representations of some compact supergroupoid G. The equivalence is given by a categorified version of the Gelfand transform; we also construct a categorified version of the Fourier transform when G is a compact abelian group. Finally, we characterize Rep(G) by its universal properties when G is a compact classical group. For example, Rep(U(n)) is the free connected symmetric 2-H*-algebra on one even object of dimension n.

q-alg↗

arXiv1995

Functional Integration on Spaces of Connections

Let $G$ be a compact connected Lie group and $P \to M$ a smooth principal $G$-bundle. Let a `cylinder function' on the space $\A$ of smooth connections on $P$ be a continuous function of the holonomies of $A$ along finitely many piecewise smoothly immersed curves in $M$, and let a generalized measure on $\A$ be a bounded linear functional on cylinder functions. We construct a generalized measure on the space of connections that extends the uniform measure of Ashtekar, Lewandowski and Baez to the smooth case, and prove it is invariant under all automorphisms of $P$, not necessarily the identity on the base space $M$. Using `spin networks' we construct explicit functions spanning the corresponding Hilbert space $L^2(\A/\G)$, where $\G$ is the group of gauge transformations.

q-alg↗

arXiv1995

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.

q-alg↗

arXiv1994

Spin Network States in Gauge Theory

Given a real-analytic manifold M, a compact connected Lie group G and a principal G-bundle P -> M, there is a canonical `generalized measure' on the space A/G of smooth connections on P modulo gauge transformations. This allows one to define a Hilbert space L^2(A/G). Here we construct a set of vectors spanning L^2(A/G). These vectors are described in terms of `spin networks': graphs phi embedded in M, with oriented edges labelled by irreducible unitary representations of G, and with vertices labelled by intertwining operators from the tensor product of representations labelling the incoming edges to the tensor product of representations labelling the outgoing edges. We also describe an orthonormal basis of spin networks associated to any fixed graph phi. We conclude with a discussion of spin networks in the loop representation of quantum gravity, and give a category-theoretic interpretation of the spin network states.

gr-qc↗

arXiv1993

Generalized Measures in Gauge Theory

Let P -> M be a principal G-bundle. Using techniques from the loop representation of gauge theory, we construct well-defined substitutes for ``Lebesgue measure'' on the space A of connections on P and for ``Haar measure'' on the group Ga of gauge transformations. More precisely, we define algebras of ``cylinder functions'' on the spaces A, Ga, and A/Ga, and define generalized measures on these spaces as continuous linear functionals on the corresponding algebras. Borrowing some ideas from lattice gauge theory, we characterize generalized measures on A, Ga, and A/Ga in terms of graphs embedded in M. We use this characterization to construct generalized measures on A and Ga, respectively. The ``uniform'' generalized measure on A is invariant under the group of automorphisms of P. It projects down to the generalized measure on A/Ga considered by Ashtekar and Lewandowski in the case G = SU(n). The ``generalized Haar measure'' on Ga is right- and left-invariant as well as Aut(P)-invariant. We show that averaging any generalized measure on A against generalized Haar measure gives a gauge-invariant generalized measure on A.

hep-th↗

arXiv1993

Strings, Loops, Knots and Gauge Fields

The loop representation of quantum gravity has many formal resemblances to a background-free string theory. In fact, its origins lie in attempts to treat the string theory of hadrons as an approximation to QCD, in which the strings represent flux tubes of the gauge field. A heuristic path-integral approach indicates a duality between background-free string theories and generally covariant gauge theories, with the loop transform relating the two. We review progress towards making this duality rigorous in three examples: 2d Yang-Mills theory (which, while not generally covariant, has symmetry under all area-preserving transformations), 3d quantum gravity, and 4d quantum gravity. $SU(N)$ Yang-Mills theory in 2 dimensions has been given a string-theoretic interpretation in the large-$N$ limit by Gross, Taylor, Minahan and Polychronakos, but here we provide an exact string-theoretic interpretation of the theory on $\R\times S^1$ for finite $N$. The string-theoretic interpretation of quantum gravity in 3 dimensions gives rise to conjectures about integrals on the moduli space of flat connections, while in 4 dimensions there may be connections to the theory of 2-tangles.

hep-th↗

arXiv1993

Diffeomorphism-invariant generalized measures on the space of connections modulo gauge transformations

The notion of a measure on the space of connections modulo gauge transformations that is invariant under diffeomorphisms of the base manifold is important in a variety of contexts in mathematical physics and topology. At the formal level, an example of such a measure is given by the Chern-Simons path integral. Certain measures of this sort also play the role of states in quantum gravity in Ashtekar's formalism. These measures define link invariants, or more generally multiloop invariants; as noted by Witten, the Chern-Simons path integral gives rise to the Jones polynomial, while in quantum gravity this observation is the basis of the loop representation due to Rovelli and Smolin. Here we review recent work on making these ideas mathematically rigorous, and give a rigorous construction of diffeomorphism-invariant measures on the space of connections modulo gauge transformations generalizing the recent work of Ashtekar and Lewandowski. This construction proceeds by doing lattice gauge theory on graphs analytically embedded in the base manifold.

hep-th↗

arXiv1993

Link Invariants, Holonomy Algebras and Functional Integration

Given a principal G-bundle over a smooth manifold M, with G a compact Lie group, and given a finite-dimensional unitary representation of G, one may define an algebra of functions on the space of connections modulo gauge transformations, the ``holonomy Banach algebra'' H_b, by completing an algebra generated by regularized Wilson loops. Elements of the dual H_b* may be regarded as a substitute for measures on the space of connections modulo gauge transformations. There is a natural linear map from diffeomorphism- invariant elements of H_b* to the space of complex-valued ambient isotopy invariants of framed oriented links in M. Moreover, this map is one-to-one. Similar results hold for a C*-algebraic analog, the ``holonomy C*-algebra.'' These results clarify the relation between diffeomorphism-invariant gauge theories and link invariants, and the framing dependence of the expectation values of products of Wilson loops.

hep-th↗

arXiv1992

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.

hep-th↗

arXiv1992

Quantum Gravity and the Algebra of Tangles

In Rovelli and Smolin's loop representation of nonperturbative quantum gravity in 4 dimensions, there is a space of solutions to the Hamiltonian constraint having as a basis isotopy classes of links in R^3. The physically correct inner product on this space of states is not yet known, or in other words, the *-algebra structure of the algebra of observables has not been determined. In order to approach this problem, we consider a larger space H of solutions of the Hamiltonian constraint, which has as a basis isotopy classes of tangles. A certain algebra T, the ``tangle algebra,'' acts as operators on H. The ``empty state'', corresponding to the class of the empty tangle, is conjectured to be a cyclic vector for T. We construct simpler representations of T as quotients of H by the skein relations for the HOMFLY polynomial, and calculate a *-algebra structure for T using these representations. We use this to determine the inner product of certain states of quantum gravity associated to the Jones polynomial (or more precisely, Kauffman bracket).

hep-th↗