MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

In "Topological Gauge Theories and Group Cohomology", Dijkgraaf and Witten construct a 3-manifold invariant from a finite group $G$ and 3-cocycle $\omega$. I would think there is also an associated knot invariant, coming in particular from the twisted quantum double $D^\omega(G)$, but haven't been able to find a place where it is explicitly described or computed.

If it exists, could someone point me to the right reference? I would be interested in both a general construction and a specific example, for instance computing it in the case of $\mathbb{Z}_n$.

share|cite|improve this question

Whenever you have a 2+1-dimensional TQFT you also have a link invariant by taking the path integral of the complement of the link.

More specifically, let $L\subset S^3$ be a framed, oriented link and let $N$ be the complement of a tubular neighborhood of $L$. The path integral $Z(N)$ lives in the vector space $Z(\def\bd{\partial}\bd N)$ associated to $\bd N$, which is a disjoint union of tori. The orientation and framing of $L$ determine a diffeomorphism of each torus in $\bd N$ to the standard torus. The standard torus has an orthonormal basis indexed by irreducible representations of the semisimple category associated to a circle by the TQFT. Labeling each component of the link by an irrep, we get a numerical invariant of oriented, framed, labeled links in $S^3$ (or in any 3-manifold, for that matter).

In the specific case of DW theory, the category of the circle has objects {maps of the circle into BG} and morphisms linear combinations of maps of $S^1\times I$ into BG, twisted by the cocycle $\omega$. In the case where $\omega$ is zero, the irreps of this category are indexed by pairs $(x, \rho)$, where $x\in G$ runs through representatives of the conjugacy classes of $G$, and $\rho$ runs through irreps of the centralizer of $x$.


Here's a sketch of an argument that for $G$ abelian, and for any twisting cocycle, the link invariant depends only on the linking matrix of the link.

Step 1. The irreducible representations of the annular category mentioned above are all 1-dimensional. (This is the category whose morphisms are maps of an annulus into BG.)

Step 2. If $\alpha$ and $\beta$ are two such irreps, then $\alpha\otimes\beta$ is again a 1-dimensional irrep (as opposed to a direct sum of several irreps). Here the tensor product is induced by a pair of pants.

Step 3. It follows that the Hilbert space of a 4-punctured sphere, with punctures labeled by $\alpha, \beta, \beta^*, \alpha^*$, is 1-dimensional. (cf. Witten's famous argument that in the case of $SU(2)$ Chern-Simons theory the analogous Hilbert space is 2-dimensional.)

Step 4. It follows that there is a skein relation saying that the path integral of a overcrossing is a scalar multiple of the path integral of an undercrossing. (Again cf. Witten in the SU(2) case, where one gets a three term skein relation.) The over- and undercrossings live in a 3-ball whose boundary is the sphere of Step 3.

Step 5. Using the skein relation of Step 4, it follows that the link invariant depends only on the linking matrix and the labels of the components of the link.

share|cite|improve this answer
@Kevin In Chern-Simons theory Witten suggested invariants of links as "Wilson loops" (i.e. expectation values of traces of monodromies of connections) is it equivalent to " taking the path integral of the complement of the link" ? – Alexander Chervov Jan 25 '12 at 19:04
Yes, it's equivalent. Think of the solid torus $D^2\times S^1$ with a Wilson loop at $\{0\}\times S^1$. The path integral (with Wilson loop) of this 3-manifold determines a vector in the Hilbert space of a torus, and this vector is the same as the one I refer to above. – Kevin Walker Jan 25 '12 at 19:18
@Kevin: A key word in Iva's question is "explicit". $\mathbb Z_m$ we all know, it's $H^3$ is also known, so someone must have figured out explicitly what are the corresponding DW invariants. Are they powerful or silly? Are they evaluations of the Alexander polynomial? If you draw a random 10 crossings knot, can you compute its DW invariants by staring at it and marking this strand with $A$ and the other one with $B^{-1}$ and multiplying everything in some this or that simple-minded algebra? I.e., is there a description of the answer that is as simple-minded and as explicit as the Kauffman br – Dror Bar-Natan Jan 25 '12 at 19:32
@Dror: I guess I misunderstood the emphasis in the question. I was just pointing out that there is, indeed, a well-defined invariant of labeled links, for very general reasons. I'm not aware of explicit computations in the literature, especially in the case of a non-trivial twisting. For untwisted $\mathbb{Z}/m$, it will boil down to a homology computation (with $\mathbb{Z}/m$ coefficients), so I doubt there's anything interesting in that case. – Kevin Walker Jan 25 '12 at 19:57
@Kevin: Thank you for the answer, it gives a nice overview of the general mechanism. I am in fact looking for a specific formula for the knot invariants in the DW setting, as Dror points out, that would allow me to evaluate them on given knots. By "general" I meant for any $G$ and $\omega$. Sorry if that wasn't very clear in the question. – Iva Halacheva Jan 25 '12 at 22:43

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.