We give a detailed account of the so-called "universal construction" that aims to extend invariants of closed manifolds, possibly with additional structure, to topological field theories and show that it amounts to a generalization of the GNS construction. We apply this construction to an invariant defined in terms of the groupoid cardinality of groupoids of bundles to recover Dijkgraaf-Witten theories, including the vector spaces obtained as a linearization of spaces of principal bundles.
We construct a version of Dijkgraaf-Witten theory based on a compact abelian Lie group within the formalism of Turaev's homotopy quantum field theory. As an application we show that the 2+1-dimensional theory based on U(1) classifies lens spaces up to homotopy type.
The goal of the paper is to categorify Dijkgraaf-Witten theory, aiming at providing foundation for a direct construction of Dijkgraaf-Witten theory as an Extended Topological Quantum Field Theory. The main tool is cohomology with coefficients in a Picard groupoid, namely the Picard groupoid of hermitian lines.
We explicitly construct a series of lattice models based upon the gauge group $Z_{p}$ which have the property of subdivision invariance, when the coupling parameter is quantized and the field configurations are restricted to satisfy a type of mod-$p$ flatness condition. The simplest model of this type yields the Dijkgraaf-Witten invariant of a $3$-manifold and is based upon a single link, or $1$-simplex, field. Depending upon the manifold's dimension, other models may have more than one species of field variable, and these may be based on higher dimensional simplices.
We introduce defects, with internal gauge symmetries, on a knot and Seifert surface to a knot into the combinatorial construction of finite gauge-group Dijkgraaf-Witten theory. The appropriate initial data for the construction are certain three object categories, with coefficients satisfying a partially degenerate cocycle condition.
Symmetries of three-dimensional topological field theories are naturally defined in terms of invertible topological surface defects. Symmetry groups are thus Brauer-Picard groups. We present a gauge theoretic realization of all symmetries of abelian Dijkgraaf-Witten theories. The symmetry group for a Dijkgraaf-Witten theory with gauge group a finite abelian group $A$, and with vanishing 3-cocycle, is generated by group automorphisms of $A$, by automorphisms of the trivial Chern-Simons 2-gerbe on the stack of $A$-bundles, and by partial e-m dualities. We show that transmission functors naturall…
Dijkgraaf-Witten theories are extended three-dimensional topological field theories of Turaev-Viro type. They can be constructed geometrically from categories of bundles via linearization. Boundaries and surface defects or interfaces in quantum field theories are of interest in various applications and provide structural insight. We perform a geometric study of boundary conditions and surface defects in Dijkgraaf-Witten theories. A crucial tool is the linearization of categories of relative bundles. We present the categories of generalized Wilson lines produced by such a linearization procedur…
In this work, for a finite group $G$ and a 4-cocycle $ω\in Z^4(G, \mathbf{k}^\times)$, we compute explicitly the center of the monoidal 2-category $\operatorname{2Vec}_G^ω$ of $ω$-twisted $G$-graded 1-categories of finite dimensional $\mathbf{k}$-vector spaces. This center gives a precise mathematical description of the topological defects in the associated 3+1D Dijkgraaf-Witten TQFT. We prove that this center is a braided monoidal 2-category with a trivial sylleptic center.
We study representations of the braid groups from braiding gapped boundaries of Dijkgraaf-Witten theories and their twisted generalizations, which are (twisted) quantum doubled topological orders in two spatial dimensions. We show that the resulting braid (pure braid) representations are all monomial with respect to some specific bases, hence all such representation images of the braid groups are finite groups. We give explicit formulas for the monomial matrices and the ground state degeneracy of the Kitaev models that are Hamiltonian realizations of Dijkgraaf-Witten theories. Our results impl…
Based on a weak action of a finite group J on a finite group G, we present a geometric construction of J-equivariant Dijkgraaf-Witten theory as an extended topological field theory. The construction yields an explicitly accessible class of equivariant modular tensor categories. For the action of a group J on a group G, the category is described as the representation category of a J-ribbon algebra that generalizes the Drinfel'd double of the finite group G.
Given a finite $\mathbb{Z}_2$-graded group $\hat{\mathsf{G}}$ with ungraded subgroup $\mathsf{G}$ and a twisted cocycle $\hatλ \in Z^n(B \hat{\mathsf{G}}; \mathsf{U}(1)_π)$ which restricts to $λ\in Z^n(B \mathsf{G}; \mathsf{U}(1))$, we construct a lift of $λ$-twisted $\mathsf{G}$-Dijkgraaf--Witten theory to an unoriented topological quantum field theory. Our construction uses a new class of homotopy field theories, which we call orientation twisted. We also introduce an orientation twisted variant of the orbifold procedure, which produces an unoriented topological field theory from an orientat…
In this paper, we provide a construction of a state-sum model for finite gauge-group Dijkgraaf-Witten theory on surfaces with codimension 1 defects. The construction requires not only that the triangulation be subordinate to the filtration, but flag-like: each simplex of the triangulation is either disjoint from the defect curve, or intersects it in a closed face. The construction allows internal degrees of freedom in the defect curves by introducing a second gauge-group from which edges of the curve are labeled in the state-sum construction. Edges incident with the defect, but not lying in it…
We give an interpretation of Yetter's Invariant of manifolds $M$ in terms of the homotopy type of the function space $TOP(M,B(G))$, where $G$ is a crossed module and $B(G)$ is its classifying space. From this formulation, there follows that Yetter's invariant depends only on the homotopy type of $M$, and the weak homotopy type of the crossed module $G$. We use this interpretation to define a twisting of Yetter's Invariant by cohomology classes of crossed modules, defined as cohomology classes of their classifying spaces, in the form of a state sum invariant. In particular, we obtain an extensi…
We show that any twisted Dijkgraaf-Witten representation of a mapping class group of an orientable, compact surface with boundary has finite image. This generalizes work of Etingof, Rowell and Witherspoon showing that the braid group images are finite. In particular, our result answers their question regarding finiteness of images of arbitrary mapping class group representations in the affirmative. Our approach is to translate the problem into manipulation of colored graphs embedded in the given surface. To do this translation, we use the fact that any twisted Dijkgraaf-Witten representation a…
The quotient process of Müger and Bruguières is used to construct modular categories and TQFTs out of closed subsets of the Weyl alcove of a simple Lie algebra. In particular it is determined at which levels closed subsets associated to nonsimply-connected groups lead to TQFTs. Many of these TQFTs are shown to decompose into a tensor product of TQFTs coming from smaller subsets. The "prime" subsets among these are classified, and apart from some giving TQFTs depending on homology as described by Murakami, Ohtsuki and Okada, they are shown to be in one-to-one correspondence with the TQFTs predi…
We study discrete symmetries of Dijkgraaf-Witten theories and their gauging in the framework of (extended) functorial quantum field theory. Non-abelian group cohomology is used to describe discrete symmetries and we derive concrete conditions for such a symmetry to admit 't Hooft anomalies in terms of the Lyndon-Hochschild-Serre spectral sequence. We give an explicit realization of a discrete gauge theory with 't Hooft anomaly as a state on the boundary of a higher-dimensional Dijkgraaf-Witten theory. This allows us to calculate the 2-cocycle twisting the projective representation of physical …
We prove that the parallel transport of a flat $n-1$-gerbe on any given target space gives rise to an $n$-dimensional extended homotopy quantum field theory. In case the target space is the classifying space of a finite group, we provide explicit formulae for this homotopy quantum field theory in terms of transgression. Moreover, we use the geometric theory of orbifolds to give a dimension-independent version of twisted and equivariant Dijkgraaf-Witten models. Finally, we introduce twisted equivariant Dijkgraaf-Witten theories giving us in the 3-2-1-dimensional case a new class of equivariant …
We show how to construct, starting from a quasi-Hopf algebra, or quasi-quantum group, invariants of knots and links. In some cases, these invariants give rise to invariants of the three-manifolds obtained by surgery along these links. This happens for a finite-dimensional quasi-quantum group, whose definition involves a finite group $G$, and a 3-cocycle $\om$, which was first studied by Dijkgraaf, Pasquier and Roche. We treat this example in more detail, and argue that in this case the invariants agree with the partition function of the topological field theory of Dijkgraaf and Witten dependin…
We prove a decomposition formula for the dimensional reduction of an extended topological field theory that arises as an orbifold of an equivariant topological field theory. Our decomposition formula can be expressed in terms of a categorification of the integral with respect to groupoid cardinality. The application of our result to topological field theories of Dijkgraaf-Witten type proves a recent conjecture of Qiu-Wang.
We investigate the 3d lattice topological field theories defined by Chung, Fukuma and Shapere. We concentrate on the model defined by taking a deformation $\D{G}$ of the quantum double of a finite commutative group $G$ as the underlying Hopf algebra. It is suggested that Chung-Fukuma-Shapere partition function is related to that of Dijkgraaf-Witten by $\zcfs = |\zdw|^2$ when $G=\Z_{2N+1}$. For $G=\Z_{2N}$, such a relation does not hold.
Boundary conditions and defects of any codimension are natural parts of any quantum field theory. Surface defects in three-dimensional topological field theories of Turaev-Reshetikhin type have applications to two-dimensional conformal field theories, in solid state physics and in quantum computing. We explain an obstruction to the existence of surface defects that takes values in a Witt group. We then turn to surface defects in Dijkgraaf-Witten theories and their construction in terms of relative bundles; this allows one to exhibit Brauer-Picard groups as symmetry groups of three-dimensional …
A family of invariants of smooth, oriented four-dimensional manifolds is defined via handle decompositions and the Kirby calculus of framed link diagrams. The invariants are parameterised by a pivotal functor from a spherical fusion category into a ribbon fusion category. A state sum formula for the invariant is constructed via the chain-mail procedure, so a large class of topological state sum models can be expressed as link invariants. Most prominently, the Crane-Yetter state sum over an arbitrary ribbon fusion category is recovered, including the nonmodular case. It is shown that the Crane-…
A version of Kirby calculus for spin and framed three-manifolds is given and is used to construct invariants of spin and framed three-manifolds in two situations. The first is ribbon *-categories which possess odd degenerate objects. This case includes the quantum group situations corresponding to the half-integer level Chern-Simons theories conjectured to give spin TQFTs by Dijkgraaf and Witten \cite{DW90}. In particular, the spin invariants constructed by Kirby and Melvin \cite{KM91} are shown to be identical to the invariants associated to $\mathrm{SO}(3).$ Second, an invariant of spin mani…
