Questions tagged [quantum-topology]
Finite-type (Vassiliev) invariants, quantum invariants, and perturbative invariants of knotted objects and of manifolds.
86
questions
3
votes
1
answer
146
views
quantum invariants, ribbon Tannakian duality and classification of ribbon Hopf algebras
In a nutshell, my question is:
Q0: is there a classification of invariant of (framed) tangles arising from the Reshetikhin–Turaev construction?
I will now make it more precise. One could define a ...
- 193
4
votes
0
answers
152
views
Coloured Jones polynomial at 4th root of unity and Arf invariant
Looking at the link invariants of $\operatorname{SU}(2)$ Chern-Simons theory, if we take the coloured Jones polynomial of a knot K, say $J_N^K$ at fundamental representation $N=2$, then we get the ...
- 81
6
votes
1
answer
203
views
Does $U_q (\mathfrak{sl}_2)$ have a universal $R$-matrix?
Consider the standard quantum group $U_q (\mathfrak{sl}_2)$ over the field $\mathbb{C}(q)$ of rational functions (or over $\mathbb{C}$ if $q \in \mathbb{C}$ is not a root of unity), with the usual ...
- 581
3
votes
1
answer
188
views
Squier's conjecture on Burau at roots of unity
In Squier's short, yet influential, paper about the Burau representation, he made two conjectures that might have provided a proof for the faithfulness of the Burau representation (which we now know ...
- 1,267
5
votes
0
answers
79
views
References for completions of finite group tensor categories
Let $G$ be a finite group and $\operatorname{Vec}_G$ be the tensor category of $G$-graded vector spaces (or, if you prefer, $\pi_{\le 2}(BG)$).
The completion $\overline{\operatorname{Vec}_G}$ of $\...
- 12.7k
3
votes
0
answers
183
views
Reshuffling power series (aka Melvin–Morton expansion in knot theory)
I am struggling to understand a statement which follows from some change of variables in a power series. I think that the context does not really matter here, so I will put it at the end of the ...
- 581
3
votes
1
answer
133
views
Closed-form expressions for the Kashaev invariant via surgery
For a knot $K$, let $J_N(K)$ denote the $N$th Kashaev invariant of $K$. This is the same as the $N$th colored Jones polynomial evaluated at an $N$th root of unity (or $2N$th depending on your ...
- 2,503
8
votes
1
answer
728
views
Inverse Kirby knot
Given an (oriented framed) knot $K$ in the 3-sphere $S^3$, we can perform a surgery along $K$ to get another 3-manifold $M$. From $M$, we can perform the inverse surgery back to $S^3$.
However, the ...
- 5,088
3
votes
0
answers
149
views
A spectral sequence in Khovanov Homology
Szabo equipped the mod $2$ Khovanov complex with a family of differentials $\{d_{i} \}_{i=1}^{\infty}$ such that each $d_{i}$ has bigrading $(i,2i-2)$ where $d_1$ is the mod $2$ Khovanov differential ...
- 341
4
votes
1
answer
162
views
Link invariants from modular categories (strictification and computation)
By the theory of Reshetikhin and Turaev, a modular tensor category $C$ gives rise to a link invariant. While $C$ is strict as a monoidal category (e.g. $\mathbb{Fib}$), calculating the link can be ...
- 5,088
2
votes
1
answer
211
views
Non-extendable 3D TQFTs
Non-extendable 2D TQFTs correspond to finite dimensional Frobenius algebras [1].
How about 3D TQFTs? While the answer is clear for the extended ones (e.g. (3,2,1) TQFTs almost correspond to modular ...
- 5,088
1
vote
1
answer
197
views
Is there a combinatorial way to determine the coefficients of the universal finite-type invariant on a given knot?
There are various (equivalent?) descriptions of a universal finite-type knot invariant, e.g. https://arxiv.org/abs/q-alg/9603010. They take the form of formal power series valued in Feynman diagrams (...
- 2,503
9
votes
0
answers
219
views
Algebraic context for Mednykh's formula?
Let $S$ be a closed orientable surface and let $G$ be a finite group, then Mednykh's formula says that
$$
\sum_{V}d(V)^{\chi(S)} = |G|^{\chi(S) - 1} |\text{Hom}(\pi_1 S, G)|
$$
where the sum is over ...
- 5,349
1
vote
0
answers
77
views
Ordering in Cobordism Category
Let $Cob^{3}$ denote the cobordism category of $1$ dimensional manifolds i.e the objects are finite disjoint union of circles and morphisms are represented by surfaces.
Is it possible to treat the ...
- 341
14
votes
2
answers
482
views
Lagrangian of Reshetikhin-Turaev TFT's
One of the results from the Reshetikhin-Turaev package is that given a modular tensor category $\mathscr{C}$ one can construct a TFT $Z$. In the case where $\mathscr{C}$ is the category of positive ...
5
votes
1
answer
327
views
How does the scalar TV invariant of a 3-manifold with boundary fit into the TQFT picture?
Chen and Yang have a more general version of the volume conjecture that they state for all hyperbolic $3$-manifolds (Conjecture 1.1 of [2]) including those with boundary. To do this, they have to ...
- 2,503
12
votes
2
answers
753
views
Relations between quantum groups at roots of unity, modular representation theory, and physics
I understand that quantum groups at roots of unity are related to physics because they are used in the construction of Reshetikhin-Turaev invariants, conjectured by Witten. Are there other relations ...
- 2,774
3
votes
0
answers
93
views
Are the tangle functors based off Khovanov homology braided monoidal functors?
I was wondering if the tangle functors constructed in
"A functor-valued invariant of tangles"
https://arxiv.org/pdf/math/0103190.pdf
"An invariant of tangle cobordisms via subquotients of arc rings"
...
- 81
9
votes
1
answer
410
views
Generators and relations for the 2-dimensional unoriented cobordism category
It is very well known in the field of TQFT that the 2-dimensional oriented cobordism category is generated by the disk and the pair of pants (each going in both directions), subject to a finite set of ...
- 2,981
6
votes
1
answer
195
views
Applications of quantum representations of the mapping class group to quantum computers
Quantum representations of the mapping class group of a surface are certain representations constructed from the data of a TQFT and described, for example, in and 1 and 2.
The following sources 3 ...
- 2,774
5
votes
1
answer
358
views
Computation of \tau invariant
I am trying to understand the following inequality, $$0 \leq \tau (K_{+}) - \tau(K_{-}) \leq 1$$ from the following paper by Livingston. \ https://arxiv.org/pdf/math/0311036.pdf . At page 737 , he ...
- 341
5
votes
2
answers
378
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}(\...
- 1,430
4
votes
0
answers
186
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 ...
- 4,316
15
votes
1
answer
773
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 ...
- 4,316
7
votes
1
answer
179
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$ ...
- 529
7
votes
0
answers
209
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 ...
- 39.8k
9
votes
0
answers
227
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 +\...
- 1,430
4
votes
1
answer
262
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)$ ...
- 1,430
3
votes
0
answers
182
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.
- 449
13
votes
1
answer
1k
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 ...
- 318
18
votes
2
answers
1k
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 ...
- 183
31
votes
4
answers
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 ...
- 22k
8
votes
1
answer
427
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 \...
- 993
15
votes
1
answer
547
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 ...
- 485
6
votes
3
answers
632
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-...
- 743
4
votes
1
answer
929
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 ...
- 803
2
votes
0
answers
101
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 ...
- 2,273
8
votes
1
answer
410
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)$$
...
- 2,839
8
votes
1
answer
673
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 ...
- 85.3k
15
votes
1
answer
1k
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$ ...
- 22k
33
votes
2
answers
3k
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$.
...
- 453
6
votes
2
answers
321
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 ...
- 365
6
votes
0
answers
374
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 ...
- 61
4
votes
1
answer
778
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 ...
user21574
4
votes
1
answer
258
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 ...
- 41
14
votes
1
answer
2k
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 ...
- 1,599
11
votes
0
answers
337
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-...
- 7,780
4
votes
0
answers
234
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 ...
- 22k
12
votes
1
answer
839
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)\...
- 18.6k
9
votes
1
answer
1k
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 ...
- 22k