No Arabic abstract
Motion groups of links in the three sphere $mathbb{S}^3$ are generalizations of the braid groups, which are motion groups of points in the disk $mathbb{D}^2$. Representations of motion groups can be used to model statistics of extended objects such as closed strings in physics. Each $1$-extended $(3+1)$-topological quantum field theory (TQFT) will provide representations of motion groups, but it is difficult to compute such representations explicitly in general. In this paper, we compute representations of the motion groups of links in $mathbb{S}^3$ with generalized axes from Dijkgraaf-Witten (DW) TQFTs inspired by dimension reduction. A succinct way to state our result is as a step toward a twisted generalization (Conjecture ref{mainconjecture}) of a conjecture for DW theories of dimension reduction from $(3+1)$ to $(2+1)$: $textrm{DW}^{3+1}_G cong oplus_{[g]in [G]} textrm{DW}^{2+1}_{C(g)}$, where the sum runs over all conjugacy classes $[g]in [G]$ of $G$ and $C(g)$ the centralizer of any element $gin [g]$. We prove a version of Conjecture ref{mainconjecture} for the mapping class groups of closed manifolds and the case of torus links labeled by pure fluxes.
The goal of the paper is an exposition of the simplest $(2+1)$-TQFTs in a sense following a pictorial approach. In the end, we fell short on details in the later sections where new results are stated and proofs are outlined. Comments are welcome and should be sent to the 4th author.
We build extensions of the arc rings, relate their centers to the cohomology rings of the Springer varieties, and categorify all level two representations of quantum sl(N).
We prove that for geometrically finite groups cohomological dimension of the direct product of a group with itself equals 2 times the cohomological dimension dimension of the group.
We introduce the notion of $n$-dimensional topological quantum field theory (TQFT) with defects as a symmetric monoidal functor on decorated stratified bordisms of dimension $n$. The familiar closed or open-closed TQFTs are special cases of defect TQFTs, and for $n=2$ and $n=3$ our general definition recovers what had previously been studied in the literature. Our main construction is that of generalised orbifolds for any $n$-dimensional defect TQFT: Given a defect TQFT $mathcal{Z}$, one obtains a new TQFT $mathcal{Z}_{mathcal{A}}$ by decorating the Poincare duals of triangulated bordisms with certain algebraic data $mathcal{A}$ and then evaluating with $mathcal{Z}$. The orbifold datum $mathcal{A}$ is constrained by demanding invariance under $n$-dimensional Pachner moves. This procedure generalises both state sum models and gauging of finite symmetry groups, for any $n$. After developing the general theory, we focus on the case $n=3$.
A generalised orbifold of a defect TQFT $mathcal{Z}$ is another TQFT $mathcal{Z}_{mathcal{A}}$ obtained by performing a state sum construction internal to $mathcal{Z}$. As an input it needs a so-called orbifold datum $mathcal{A}$ which is used to label stratifications coming from duals of triangulations and is subject to conditions encoding the invariance under Pachner moves. In this paper we extend the construction of generalised orbifolds of $3$-dimensional TQFTs to include line defects. The result is a TQFT acting on 3-bordisms with embedded ribbon graphs labelled by a ribbon category $mathcal{W}_{mathcal{A}}$ that we canonically associate to $mathcal{Z}$ and $mathcal{A}$. We also show that for special orbifold data, the internal state sum construction can be performed on more general skeletons than those dual to triangulations. This makes computations with $mathcal{Z}_{mathcal{A}}$ easier to handle in specific examples.