Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 0710.0032

Extended TQFT's and Quantum Gravity

Jeffrey Morton
View original source ↗Read source document ↗Export metadata ↓

Abstract

This paper gives a definition of an extended topological quantum field theory (TQFT) as a weak 2-functor Z: nCob_2 -> 2Vect, by analogy with the description of a TQFT as a functor Z: nCob -> Vect. We also show how to obtain such a theory from any finite group G. This theory is related to a topological gauge theory, the Dijkgraaf-Witten model. To give this definition rigorously, we first define a bicategory of cobordisms between cobordisms. We also give some explicit description of a higher-categorical version of Vect, denoted 2Vect, a bicategory of "2-vector spaces". Along the way, we prove several results showing how to construct 2-vector spaces of "Vect-valued presheaves" on certain kinds of groupoids. In particular, we use the case when these are groupoids whose objects are connections, and whose morphisms are gauge transformations, on the manifolds on which the extended TQFT is to be defined. On cobordisms between these manifolds, we show how a construction of ``pullback and pushforward'' of presheaves gives both the morphisms and 2-morphisms in 2Vect for the extended TQFT, and that these satisfy the axioms for a weak 2-functor. Finally, we discuss the motivation for this research in terms of Quantum Gravity. If the results can be extended from a finite group G to a Lie group, then for some choices of G this theory will recover an existing theory of Euclidean quantum gravity in 3 dimensions. We suggest extensions of these ideas which may be useful to further this connection and apply it in higher dimensions.

Explore related subjects

math.QAmath.CT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jeffrey Morton. 2007-09-29. Extended TQFT's and Quantum Gravity. https://arxiv.org/abs/0710.0032

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Brunnian braids and the inclusion from double shuffle Lie algebra to Kashiwara-Vergne Lie algebra

Schneps \cite{Schneps2012,Schneps2025} and Enriquez-Furusho \cite{EF4} proved that the double shuffle Lie algebra $\mathfrak{dmr}_0$ embeds into the Kashiwara--Vergne Lie algebra $\mathfrak{krv}_2$. We give a Brunnian braid interpretation of a related embedding into the symmetric Kashiwara--Vergne Lie algebra $\mathfrak{krv}_2^{\mathrm{sym}}$. More precisely, the map \[ φ\longmapsto \bigl(φ(-x_0-x_1,x_0),φ(-x_0-x_1,x_1)\bigr) \] defines an injective Lie algebra homomorphism from the subalgebra of $\mathfrak{dmr}_0$ satisfying the condition \[ [x_0,φ(-x_0-x_1,x_0)] +[x_1,φ(-x_0-x_1,x_1)]=0 \] into $\mathfrak{krv}_2^{\mathrm{sym}}$. The proof reformulate the double shuffle and symmetric Kashiwara--Vergne relations through abelianizations of Brunnian Lie algebras associated with the disk and punctured disks. We generalize this inclusion in two directions. First, replacing these abelianizations by higher lower central series quotients yields generalizations of relations and implications among them. Second, we establish explicit identities relating the linear pentagon defect to the stuffle coproduct, the divergence map, and the necklace cobracket.

math.QA↗
arXiv2026

A $q$-Weyl Freeness Principle for Nichols Algebras and Pointed Hopf Algebras of Square-Free Dimension

Let $H$ be a pointed Hopf algebra of square-free dimension over an algebraically closed field of characteristic $p>0$. We prove that either $H$ is a group algebra or $\dim H/|\G(H)|=p$, and that in the latter case $H$ belongs to exactly one of two explicit families of rank-one pointed Hopf algebras. We develop a truncated $q$-Weyl freeness principle for finite-dimensional Nichols algebras of quandle type. If $V=\bigoplus_{x\in X}\K e_x$, $X'\subsetneq X$ is a nonempty subquandle, $V'=\bigoplus_{x\in X'}\K e_x$, and $s\in X\setminus X'$, then $\mathcal B(V)\simeq\K[e_s]/(e_s^{m_s})\otimes C_{s,X'}\otimes\mathcal B(V')$ for some graded vector space $C_{s,X'}$, where $m_s$ is the nilpotency order of $e_s$; in particular, $(m_s)_z\,\mathcal H_{\mathcal B(V')}(z)\mid\mathcal H_{\mathcal B(V)}(z)$. In the non-group case, this yields a $p^2$-divisibility obstruction that rules out noncentral support for the infinitesimal braiding. Together with a graded-dual argument, the resulting rank-one reduction forces the diagram of $H$ to have dimension $p$.

math.QA↗