Questions tagged [quantum-topology]

Finite-type (Vassiliev) invariants, quantum invariants, and perturbative invariants of knotted objects and of manifolds.

Filter by
Sorted by
Tagged with
4
votes
0answers
52 views

Does WRT invariant detect hyperelliptic involution on the genus 2 surface?

The Witten-Reshetikhin-Turaev invariant cannot detect the hyperelliptic involution on the genus 1 surface, and that if $M_U$ is the mapping torus for a mapping class group element $U\in \mathrm{Mod}(\...
4
votes
0answers
137 views

Are Turaev-Viro invariants holonomic?

Consider a 3-manifold $M$ with a boundary, which is a genus $g\geq 1$ surface $\Sigma$. Fix a triangulation $T$ of $\Sigma$. Then Turaev-Viro invariants $TV_q(M)$ are functions, assigning to integer ...
14
votes
1answer
398 views

P-adic Volume Conjecture

Let $M$ be a closed hyperbolic 3-manifold. One can use hyperbolic structure on $M$ to define hyperbolic volume $Vol(M)$. Thanks to Mostow's rigidity theorem the volume depends only on the topology of ...
6
votes
0answers
84 views

Quantum homology of $(S^2 \times S^2,\omega_{FS}\oplus \omega_{FS})$ and Poincare duality

I am having some issues computing Poincare duality for the quantum homology $QH(M)$ when $(M,\omega)=(S^2 \times S^2,\omega_{FS}\oplus \omega_{FS})$. I am using the simple novikov ring $\Lambda$ ...
7
votes
0answers
166 views

IH-moves on trivalent graphs, and a complex that might be known to low-dimensional topologists

Here is a combinatorial problem which is hard to Google but seems like it might have a solution well known to people who study finite type invariants etc. Let $G_{g,b}$ denote the set of finite ...
9
votes
0answers
152 views

What is the “classical limit” of Khovanov homology?

Let me first explain what I mean by the "classical limit". For quantum group invariants of links and webs (such as colored Jones polynomials), the "classical limit" means the limit $k\rightarrow +\...
3
votes
1answer
216 views

Framing dependence of HOMFLY polynomial

I want to understand the framing dependence of the Khovanov-Rozansky homology, and as its first step, I am trying to understand the framing dependence of the HOMFLY polynomial (i.e. quantum $sl(n)$ ...
3
votes
0answers
137 views

Example of a non-extendable TQFT?

All 3D TQFTs I know of are of Reshetikhin-Turaev type. These are fully extended and I wondered if there are known examples of TQFTs such that there is no once-extended TQFT extending it.
10
votes
1answer
557 views

Classification of unitary modular tensor categories (UMTCs)

Context/background: I'm approaching this topic from the perspective of anyonic systems. In the study of anyons, one works with fusion categories. Of course, for physicality, we demand that i) The ...
17
votes
2answers
571 views

Hyperbolic Volume and Chern-Simons

In the paper ``Analytic Continuation Of Chern-Simons Theory'' (arXiv:1001.2933) Witten postulates that hyperbolic volume of 3-dimensional manifold coincides with the value of the Chern-Simons ...
30
votes
4answers
2k 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 ...
8
votes
1answer
309 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 \...
14
votes
1answer
358 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 ...
6
votes
3answers
435 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-...
4
votes
1answer
562 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
0answers
96 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 ...
8
votes
1answer
334 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)$$ ...
8
votes
1answer
560 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 ...
14
votes
1answer
972 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$ ...
32
votes
2answers
1k 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" (or, rather, geometric) meaning to evaluating the Jones polynomial at a particular value of $t$. ...
6
votes
2answers
232 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 ...
6
votes
0answers
282 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 ...
4
votes
1answer
586 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$ corresponds ...
4
votes
1answer
235 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 ...
12
votes
1answer
982 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 ...
11
votes
0answers
304 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-...
3
votes
0answers
199 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 link ...
12
votes
1answer
697 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)\...
8
votes
1answer
784 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 ...
6
votes
2answers
359 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 ...
10
votes
3answers
528 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
1answer
397 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 $...
5
votes
0answers
329 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. ...
6
votes
1answer
403 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, ...
2
votes
1answer
280 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, $...
12
votes
2answers
495 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 ...
6
votes
0answers
178 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 ...
12
votes
1answer
598 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}$? ...
5
votes
1answer
874 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}...
9
votes
2answers
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 ...
60
votes
4answers
7k 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 ...
2
votes
1answer
445 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 ...
15
votes
0answers
1k 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 ...
7
votes
1answer
426 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 $...
7
votes
2answers
659 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 ...
6
votes
1answer
346 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). ...
1
vote
1answer
620 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 ...
8
votes
2answers
746 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 $\...
3
votes
1answer
244 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 ...
2
votes
1answer
502 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 ...