**13**

votes

**1**answer

786 views

### Representations of quantum groups at roots of unity

I'm interested in the semisimplified category of representations of a quantum group at a root of unity. I've heard that simple objects in this category correspond to certain "integral" conjugacy ...

**30**

votes

**4**answers

1k views

### Why do people study representations of 3-manifold groups into $SL(n,\mathbb{C})$?

Varieties of representations and characters of $3$-manifold groups in $SL(2,\mathbb{C})$ have been intensively studied. They have provided tools to identify geometric structures on manifolds, and are ...

**6**

votes

**3**answers

259 views

### Polynomial invariants for unoriented links

I have seen that usually one finds polynomial invariants for oriented links (for example the Jones polynomial, the Hompfly polynomial). Does anyone know what polynomial invariants exist for non-...

**51**

votes

**4**answers

4k views

### Why hasn't anyone proved that the two standard approaches to quantizing Chern-Simons theory are equivalent?

The two standard approaches to the quantization of Chern-Simons theory are geometric quantization of character varieties, and quantum groups plus skein theory. These two approaches were both first ...

**12**

votes

**2**answers

387 views

### S-matrix for the HOMFLY/Hecke category

This question concerns the HOMFLY-PT category, closely related to Hecke algebras. (See here for example.)
The minimal idempotents of this category are indexed by pairs $(\lambda_+, \lambda_-)$ of ...

**8**

votes

**1**answer

194 views

### Brauer-Picard for a fusion category coming from a quantum group

In Fusion Categories and Homotopy Theory, ENO attatch a 3-groupoid to a fusion category. In the case of A graded vector spaces they further compute it's truncation as an orthogonal group $O(A \...

**13**

votes

**1**answer

225 views

### Examples of n+1D TQFT with 1 dimensional Hilbert spaces on n-torus and n-sphere but higher dimensional Hilbert spaces on other n-manifolds

Are there simple examples of $n+1$D TQFT that assign 1-dimensional Hilbert spaces to both $n$-torus and $n$-sphere but higher dimensional Hilbert spaces to some other $n$-manifolds? Here I am assuming ...

**35**

votes

**5**answers

4k views

### Algebraic Proof of 4-Colour Theorem?

4-Colour Theorem. Every planar graph is 4-colourable.
This theorem of course has a well-known history. It was first proven by Appel and Haken in 1976, but their proof was met with skepticism ...

**24**

votes

**1**answer

467 views

### The Jones polynomial at specific values of $t$.

I've been calculating some Jones polynomials lately and I was just curious if there was a physical meaning to evaluating the Jones polynomial at a particular value of $t$.
For example, if I take the ...

**3**

votes

**1**answer

376 views

### Jones polynomial of tangles using Temperley-Lieb algbra?

The definition of the Jones polynomial of tangles (a la Reshetikhin and Turaev) uses the space of invariants for $U_q sl_2$ and R-matrices. It seems to me the same thing cane be done in terms of the ...

**2**

votes

**0**answers

82 views

### Mutant pairs distinguished by [2,1]-colored HOMFLY polynomials

Morton and Cromwell showed that the famous mutant pair, Kinoshita-Terasaka and Conway knots, can be distinguished by HOMFLY polynomials colored by [2,1] Young diagram. Are there any other mutant pairs ...

**6**

votes

**2**answers

316 views

### Vassilliev invariants of knots and their cables

The following is perhaps a standard question, but i could not find a plain enough answer
by simply searching online.
Q: Given a knot $K$ and its $(p,q)$-cable $K_{p,q}$ what is a relation
between ...

**7**

votes

**1**answer

434 views

### Proving that the Jones polynomial is q-holonomic

The Jones polynomial is known to have many different interpretations or definitions, by now. There are connections with QFT, quantum groups, Hilbert schemes, Cherednik algebras, etc.
My question is ...

**8**

votes

**1**answer

291 views

### Does the limit in the Volume conjecture converge?

The Volume conjecture says that if $J_n(q)$ are the colored Jones polynomials of a knot $K \subset S^3$, then
$$\lim_{N \to \infty} \frac{ 2 \pi}N \left\vert J_N(e^{2\pi i / N})\right\vert = vol(K)$$
...

**14**

votes

**1**answer

611 views

### Why are Witten-Reshetikhin-Turaev invariants expected to be integral?

A Witten-Reshetikhin-Turaev (WRT) Invariant $\tau_{M,L}^G(\xi)\in\mathbb{C}$ is an invariant of closed oriented 3-manifold $M$ containing a framed link $L$, where $G$ is a simple Lie group, and $\xi$ ...

**6**

votes

**2**answers

173 views

### On trivalent spines of surfaces

Let $\Sigma$ be a surface with non-empty boundary labelled by finitely many points $x_i$.
For our purposes a spine $s$ for $\Sigma$ is a uni-trivalent graph embedded in $\Sigma$ whose 1-vertices are ...

**19**

votes

**3**answers

1k views

### Is there a volume conjecture for closed 3-manifolds?

A typical statement of the volume conjecture, for instance in Murakami's survey 1002.0126, is
Conjecture: For $K$ a knot in $S^3$, the N-th colored Jones polynomials are related to the volume of ...

**6**

votes

**0**answers

199 views

### Construction of 3D Topological Quantum Field Theory from a 2D Modular Functor

I have been reading Bakalov and Kirillov's Lectures on Tensor Categories and Modular Functors in which the authors state that a direct construction of a $C$-extended 3D TQFT from a $C$-extended 2D ...

**3**

votes

**1**answer

440 views

### Quantization of symplectic vector space and choice of lagrangian subspaces

My question is related to Geometric Quantization.
I don't undrestand the philosophy of following assertion
If $(V,\omega)$ be a symplectic vector space then the quantizations of
$V$ ...

**4**

votes

**1**answer

229 views

### The Maslov triple product is alternating in its entries

Let $(V,\omega)$ be a $2g$-dimensional symplectic vector space. I'm trying to understand the Maslov triple product. I know that it can be defined in a variety of ways, but for the applications I'm ...

**11**

votes

**1**answer

765 views

### Kontsevich integral : state of the art

The Kontsevich integral is known to be a universal Vassiliev invariant.
It is still an open question whether it is a complete knot invariant, i.e. whether it distinguishes a given knot from all other ...

**9**

votes

**0**answers

256 views

### Provide a citation for the “spine lemma”?

I'm looking for a citable reference for the following (perhaps folkloric?) result on topological field theories.
(There are obviously generalizations to other dimensions; I'm happy with just the 2-...

**6**

votes

**1**answer

331 views

### Computations and applications of Khovanov's functor valued invariant of tangles

Soon after his famous paper "A categorification of the Jones polynomial", Khovanov
introduced a "bordered" version. His theory assingns to every oriented even tangle
a complex of (H_n,H_m)-bimodules, ...

**3**

votes

**0**answers

166 views

### Is a generic link diagram semi-adequate?

Each crossing in a link diagram of a link $L$ has an A-resolution and a B-resolution.
Resolving all crossings gives a collection of circles in the plane, connected by dotted lines. A state of a ...

**7**

votes

**1**answer

408 views

### Are Turaev--Viro invariants secretly a discretized path integral?

Turaev--Viro http://www.ams.org/mathscinet-getitem?mr=1191386 defined an invariant of three-manifolds $M$ denoted $TV(M)$, which was subsequently shown by Kevin Walker to coincide with $\left|WRT(M)\...

**7**

votes

**1**answer

536 views

### Diagrammatic proof of unique prime decomposition of knots

Consider a knot to be a diagram in a plane--- i.e. a drawing of a finite connected planar graph (loops and multiple edges allowed) whose vertices are 4-valent with cyclic ordering for the incident ...

**10**

votes

**3**answers

422 views

### Is a knotted trivalent graph determined by its set of unzips?

A knotted trivalent graph (KTG) is a framed embedding of a trivalent graph in $\mathbb{R}^3$, modulo ambient isotopy. I believe they were first considered (in the quantum topological context, at least)...

**7**

votes

**1**answer

335 views

### Reference request: the “Kauffman bracket skein category”?

There should be a category $3\text{CobTang}$ whose
objects are some kind of surfaces with a finite set of marked points
morphisms $M : S \to T$ are some kind of $3$-dimensional cobordisms $...

**4**

votes

**0**answers

306 views

### On finding A-polynomials

I have two questions to obtain the explicit forms of A-polynomials.
Takata used the mathematica pacage qMultisum.m to obtain the recursion relation of the colored Jones polynomials for twist knots. ...

**1**

vote

**1**answer

161 views

### Skein Modules on closed 3-manifolds

Hi all! Why are skein modules 1-dimensional on closed 3-manifolds? The result seems clear on closed manifolds with vanishing first Betti number (e.g. $S^3$), but I don't see how to prove it for, say, $...

**5**

votes

**0**answers

157 views

### S-matrix for the BMW category

This question concerns the Birman-Murakami-Wenzl category, or equivalently the tangle category associated to the 2-variable Kauffman polynomial. (See here for example.)
The minimal idempotents of ...

**1**

vote

**1**answer

554 views

### Recovering the Alexander Polynomial from Ocneanu's HOMFLYPT

Let $H_q(n)$ denote the Hecke algebra associated to the symmetric group $S(n)$: this is the $\mathbb{Z}[q^{\pm 1/2}]$ algebra generated by $T_1, \ldots, T_{n-1}$ satisfying the braid relations along ...

**12**

votes

**1**answer

548 views

### Integer matrices with a strange divisibility property

Fix an integer $n$. What can you say about a (not necessarily square) matrix $A$ with integer entries that has the property that for any $k$, every $k\times k$ minor of $A$ is divisible by $n^{k-1}$? ...

**9**

votes

**2**answers

2k views

### How to find Colin Day's PhD Thesis

A week or so ago, I was saddened to read Jim Stasheff's post on the AlgTop mailing list, announcing the passing of Colin Day, after a long bout with cancer.
I was thinking of reading Colin Day's PhD ...

**7**

votes

**2**answers

635 views

### Quantum E6/E7 knot polynomials

Has anybody seen seen quantum knot invariants associated to (E6, 27) or (E7, 56) worked out in the literature? Even for just simple knots like the trefoil or figure-8?
I suspect these haven't been ...

**4**

votes

**1**answer

715 views

### Closed formula for colored Jones polynomial of the trefoil? (reference request)

(EDIT: Powers of $q$ in the formula corrected.)
I've been doing some computations with skein modules, and I found the following formula for the N-th colored Jones polynomial of the trefoil:
$\frac{1}...

**2**

votes

**1**answer

381 views

### Why is the quantum Lorentz group not connected?

Podles and Woronowicz' construct the quantum Lorentz group, by which they mean $SL_q(2,\mathbb{C})$, as a quantum double of the compact quantum group $SU_q(2)$. More precisely, it is a bicrossed ...

**7**

votes

**1**answer

338 views

### Quantum coordinate ring at root of unity

Noah Snyder gave a great answer to this question about different versions of a quantum group $U_q(\mathfrak g)$ when $q$ is a root of unity. I want to ask about forms of the deformed coordinate ring $...

**5**

votes

**1**answer

283 views

### What vector space does the Kauffman bracket skein algebra of FxI act on?

The Kauffman bracket skein module $K_t(F\times I)$ (where $t$ is an indeterminant and $F$ is a closed surface) is an associative algebra (the operation being "stacking" links in the $I$ direction). ...

**8**

votes

**2**answers

679 views

### Torus knots in Euclidean space — a symmetry argument

Consider a $(p,q)$ torus knot $K$ in 3-dimensional Euclidean space $\mathbb R^3$ where $p,q \geq 2$ and $\operatorname{GCD}(p,q)=1$.
Let $\operatorname{Isom}(\mathbb R^3,K)$ be the isometries of $\...

**2**

votes

**1**answer

477 views

### Now that I got a mutant-discriminating invariant…

...what can I do with the darn thing?
Background: I read that still no Vassiliev Invariant with mutant-discriminating
power is known (correct me if this is outdated). Now, my research lead to a
whole ...

**3**

votes

**1**answer

217 views

### Invariants of unframed, oriented links from Reshetikhin Turaev construction

Hello!
I have a few questions on Reshetikhin Turaev invariants.
By RT any ribbon category ${\mathcal C}$ yields an invariant of oriented, framed links labelled with objects of ${\mathcal C}$.
Is ...

**0**

votes

**1**answer

344 views

### Some Vassiliev Invariant Questions

The V.I. definition goes doublepoint=overpass-underpass (or was it the other
way around? If it's 50:50, I score 0 always :-). Would it lead anywhere
to define doublepoint=overpass+underpass? (Even if ...

**3**

votes

**1**answer

537 views

### What if I change field in a Topological Quantum Field Theory?

Of course I'm talking about the algebraic notion of field.
In a few words, if a TQFT consists of a functor $Z\colon Cob(n)\to \mathbf{Vec}_k$, I'm wondering if there are sensible relations among ...

**17**

votes

**3**answers

6k views

### Quantum mathematics?

"Quantum" as a term/prefix used to be genuinely physical: what was supposed to be physically continuous turned out to be physically quantized.
What sense does this distinction make inside ...

**17**

votes

**1**answer

1k views

### How are the Conway polynomial and the Alexander polynomial different?

Background story:
I have just come out from a talk by Misha Polyak on generalizations of an arrow-diagram formula for coefficients of the Conway polynomial by Chmutov, Khoury, and Rossi. In it, he ...

**9**

votes

**1**answer

959 views

### Why Lagrangian cobordism?

There are a good number of quantum topology papers in which a TQFT-like set-up is constructed as a functor to the category of vector spaces from some category of cobordisms which satisfy some "...

**24**

votes

**2**answers

2k views

### Why is the volume conjecture important?

The volume conjecture, a formula relating hyperbolic volume of a knot complement with the semiclassical limit of a family of coloured Jones polynomials, is widely considered the biggest open problem ...

**8**

votes

**0**answers

302 views

### Which presentations of (non)planar algebras give rise to knots?

Reidermeister's theorem states that the set of knots, modulo ambient isotopy, is isomorphic to the planar algebra generated by crossings, modulo Reidemeister moves. This planar algebra presentation is ...

**5**

votes

**0**answers

228 views

### generators for Hecke algebra quotients

What are generators for the kernel of the (k,r)-quotient of the Hecke algebras of type A? Are just the two projections onto the reps. corresponding to Young digarams with 1-row of length r-k+1 and ...