Questions tagged [quantum-topology]
Finite-type (Vassiliev) invariants, quantum invariants, and perturbative invariants of knotted objects and of manifolds.
83
questions
3
votes
1
answer
147
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,055
5
votes
0
answers
73
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.2k
3
votes
0
answers
176
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 ...
- 499
3
votes
1
answer
116
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,353
9
votes
1
answer
709
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 ...
- 4,648
2
votes
0
answers
130
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 ...
- 331
4
votes
1
answer
140
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 ...
- 4,648
2
votes
1
answer
197
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 ...
- 4,648
1
vote
1
answer
160
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,353
9
votes
0
answers
192
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,299
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 ...
- 331
14
votes
2
answers
434
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
310
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,353
12
votes
2
answers
637
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,431
3
votes
0
answers
83
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
355
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,799
6
votes
1
answer
172
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,431
5
votes
1
answer
309
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 ...
- 331
5
votes
2
answers
366
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,410
4
votes
0
answers
180
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,226
15
votes
1
answer
704
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,226
7
votes
1
answer
167
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$ ...
- 509
7
votes
0
answers
205
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 ...
- 38.7k
9
votes
0
answers
216
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,410
4
votes
1
answer
257
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,410
3
votes
0
answers
178
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.
- 439
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 ...
- 263
18
votes
2
answers
952
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 ...
- 21.8k
8
votes
1
answer
381
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 \...
- 963
15
votes
1
answer
497
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 ...
- 455
6
votes
3
answers
598
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-...
- 723
4
votes
1
answer
821
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
393
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,789
8
votes
1
answer
654
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 ...
- 84.2k
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$ ...
- 21.8k
32
votes
2
answers
2k
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$.
...
- 443
6
votes
2
answers
315
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
359
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
747
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
256
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
13
votes
1
answer
1k
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,579
11
votes
0
answers
335
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,470
4
votes
0
answers
225
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 ...
- 21.8k
12
votes
1
answer
821
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.1k
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 ...
- 21.8k
7
votes
2
answers
401
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 ...
- 73
10
votes
3
answers
548
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)...
- 21.8k
7
votes
1
answer
469
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 $...
- 113k