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.
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.
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.
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…
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…
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 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.
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.
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 introduce symplectic structures on "Lie pairs" of (real or complex) algebroids as studied by Chen, Stienon and the second author (From Atiyah classes to homotopy Leibniz algebras, arXiv:1204.1075), encompassing homogeneous symplectic spaces, symplectic manifolds with a $\mathfrak g$-action and holomorphic symplectic manifolds. We show that to each such symplectic Lie pair are associated Rozansky-Witten-type invariants of three-manifolds and knots, given respectively by weight systems on trivalent and chord diagrams.