Topological quantum field theory.

learn more… | top users | synonyms

6
votes
0answers
52 views

Does the Turaev-Viro theory for the generalized $E_6$ subfactor for $\mathbb{Z}/7$ distinguish $L(7,1)$ and $L(7,2)$?

In the paper Sato-Wajui "COMPUTATIONS OF TURAEV-VIRO-OCNEANU INVARIANTS OF 3-MANIFOLDS FROM SUBFACTORS" they compute certain Turaev-Viro-Ocneanu invariants of certain lens spaces. One of the results ...
3
votes
1answer
101 views

What is the Heegaard Floer Homology of a connect sum of $S^2 \times S^1$s?

There are many conjecturally-equivalent three-manifold Floer homologies, of which my understanding is the most-computable is Heegaard Floer homology. What is the (Heegaard) Floer homology of a ...
4
votes
0answers
106 views

Fully dualizability of dg-algebras

I am working in the context of fully extended TQFTs and, at the moment, I am trying to find fully dualizable objects in certain $(\infty, 2)-$categories. In particular I know that for the $(\infty, ...
3
votes
1answer
140 views

Twists, balances, and ribbons in pivotal braided tensor categories

Let $\mathcal{C}$ be a pivotal tensor category. Feel free to assume finiteness, semisimplicity, fusion, sphericality, unitarity or whatever makes things interesting. Which of the following structures ...
7
votes
0answers
182 views

Is there a definition of an $\infty$-groupoid in HoTT whose terms are $n$-manifolds and whose higher morphisms are diffeomorphisms/isotopies/etc?

Suppose you want to work with TQFTs in homotopy type theory (HoTT). Working with $(\infty,n)$-categories, or even $(\infty,1)$-categories, is something that I gather is too difficult for HoTT at the ...
2
votes
1answer
119 views

How can I understand the braiding terms introduced in the plaquette operator of the Walker-Wang TQFT

Walker-Wang models as introduced in (3+1)-TQFTS and Topological Insulators are an example of 3+1D lattice TQFTS. In analogy with the Levin-Wen models in 2+1D the authors define an exactly solvable ...
7
votes
0answers
166 views

6j symbols with Majorana indices

The Levin-Wen model is a Hamiltonian formulation of Turaev-Viro (2 + 1)d TQFTs. It can be constructed from a unitary fusion category $\mathcal{C}$, which can be equivalently defined using $6j$ ...
7
votes
1answer
577 views

Segal's 1999 Stanford lecture notes on TQFT, where to find them?

I am trying to track down a copy of Graeme Segal's 1999 lecture notes on topological field theory. These are sometimes referred to as the "Stanford lectures" or something similar. For many years ...
2
votes
0answers
80 views

Choice of framing in Gravitational Chern Simons

I was trying to understand formula(2.21) in Witten's paper "Quantum Field Theory and Jones Polynomial"(link: https://projecteuclid.org/euclid.cmp/1104178138) (Page 360). There, it was mentioned, the ...
7
votes
2answers
210 views

Gauss-Milgram formula for fermionic topological order?

For Bosonic topological order, a very useful formula was proved to be true: $\sum_a d_a^2 \theta_a=\mathcal{D} \exp(\frac{c_-}{8}2\pi i) $ (for more detail: $d_a$ is the quantum dimension of anyon ...
7
votes
1answer
396 views

TQFT characterization of braiding statistics

In the TQFT language, quasiparticles correspond to Wilson loop operators. It is well-known that quasiparticles can have non-trivial braiding statistics. Take $2+1$ dimensional Abelian Chern-Simons ...
7
votes
0answers
184 views

Is there a classification of 2d extended TQFTs with defects?

Chris Schommer-Pries has classified 2d extended TQFTs (topological quantum field theories) in his PhD thesis. The result is a (not necessarily abelian) separable symmetric Frobenius algebra (possibly ...
5
votes
0answers
200 views

Is there a higher, “orientalish” version of geometric realisation?

Geometric realisation of simplicial sets can be roughly thought of like this: In some category $\mathcal{C}$, we choose an object for every abstract $n$-simplex. In topological spaces, we would ...
3
votes
1answer
274 views

Loop defects in Walker-Wang model

My question is about the description of general defects (specially loop defects) in the Walker-Wang (WW) model. Elementary excitations in the WW model can be point particles, loop defects and more ...
5
votes
1answer
170 views

Is there a quotient or exact sequence of symmetric, premodular (ribbon fusion) and modular categories?

In Walker and Wang's article about (3+1)-TQFTs from premodular categories, they say on page 14 that you can take a quotient of a premodular category $\mathcal{C}$ by its symmetric fusion subcategory ...
8
votes
2answers
413 views

How are the Walker-Wang TQFT and the Crane-Yetter TQFT related?

Mathematical physicists in solid state physics and topological insulators talk a lot about Walker-Wang models, which are a family of Hamiltonians defined on a 3d lattice. Unfortunately, the original ...
4
votes
0answers
260 views

Reference Request for TQFTs

I had originally asked this question on Math StackExchange but have not obtained any answers, so I decided to post this here. (I have flagged the MSE post to be moved to MathOverflow, for the ...
1
vote
0answers
123 views

translation invariance of the Laughlin wave function

This is a translation into math of the following question, posted on PhysicsOverflow. Let $H:=L^2(\mathbb C)$. For every $N$, let $\psi_N\in\Lambda^N H\cong (L^2(\mathbb C^N))^{S_N}$ be the function ...
4
votes
2answers
512 views

High dimensional topological field theory

In the article Topological Field Theories in 2 dimension, Constantin Teleman has the following commentary " By constrast, in higher dimension, there seem to be no interesting theories: all examples ...
5
votes
2answers
317 views

What are TQFTs that are multiplicative under connected sums? Do bordisms with connected sum as monoidal product exist?

In general, one extracts a manifold invariant from a TQFT by interpreting the closed manifold as a bordism from the empty set to the empty set. The TQFT sends this bordism to a homomorphism of the ...
12
votes
2answers
602 views

Classifying TQFTs with 1d vector spaces

To what extent have people classified $n$-dimensional TQFTs that assign a 1-dimensional vector space to every compact oriented $(n-1)$-manifold? I have some vague reasons to suspect that the ...
8
votes
1answer
907 views

Learning roadmap to TQFT from a mathematics perspective

I had asked a question on math.stackexchange but did not receive any answers. I hope that this question is appropriate for this website as it is about an advanced subject. Hence I am posting it below. ...
4
votes
1answer
237 views

How do we handle the symmetry condition in nCob and TQFTs?

A $(n+1)$-topological quantum field theory $\mathcal{T}$ is a rigid symmetric monoidal functor from the category $(n+1)$-Cob of $n$-manifolds and $(n+1)$-cobordisms to FdVect. My question is about the ...
2
votes
1answer
377 views

Comparison of Different Types of QFT

As far as I can tell, there are a number of major types of quantum field theory. For example, Constructive QFT, which has two major branches (Algebraic/Axiomatic QFT and Functorial QFT). Topological ...
5
votes
1answer
196 views

Geometric Intuition of $P^+$ in Modular Tensor Categories

I'm currently reading through Bakalov and Kirillov's "Lectures on Tensor Categories and Modular Functors," and I am having some difficulty understanding the definition of $p^\pm$ given on page 49. ...
7
votes
1answer
225 views

Does the notion of a “coherent state” exist in TQFTs? (ETQFTs?)

In the quantum harmonic oscillator, there exists a family of states called coherent states which form an overcomplete set of states. They are regarded as "the states most resembling classical states", ...
18
votes
3answers
700 views

Interpreting the CS/WZW correspondence

It is understood that there is a correspondence between the 3d Chern-Simons topological quantum field theory (TQFT) and the 2d Wess-Zumino-Witten conformal quantum field theory (CQFT). A good summary ...
2
votes
1answer
158 views

How to obtain $Z(\Sigma_f)=\text{Trace}\ \Sigma(f)$ in TQFT?

I am studying TQFT and have a question on one standard property. A remark in Wikipedia (see the link above) says: If for a closed manifold $M$ we view $Z(M)$ as a numerical invariant, then for a ...
10
votes
1answer
185 views

Mapping class group vs automorphism group in cobordism category

Let $3Cob$ be the category whose objects are closed surfaces and whose morphisms are diffeomorphism classes of cobordisms. By sending a diffeomorphism $\phi$ of a surface $X$ to its associated ...
2
votes
0answers
114 views

Where is there a treatment of double field theory other than in local coordinates?

The n-lab seems to lack a treatment of double field theory. Where is there a treatment other than in local coordinates? Or at least one which identifies the coordinates as local coordinates for a ...
10
votes
1answer
274 views

Is there a reasonable definition of TQFTs for n-cobordisms with connected inputs/outputs?

A question that's been on my mind for a while is whether any precise statement to the effect of "Heegaard Floer homology is a TQFT," for some reasonable definition of TQFT, can be made. Of course, a ...
9
votes
0answers
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 ...
5
votes
1answer
342 views

Kauffman's state model for the Alexander polynomial, via representation theory

I've been reading Oleg Viro's paper on "quantum relatives of the Alexander polynomial" (arXiv:math/0204290), which, among other more general things, derives state-sum formulas for the Alexander ...
5
votes
0answers
250 views

How to compute the abelianization of the representation theory of a Hopf algebra?

I will ask two versions of my question, which probably aren't precisely the same, and I am also interested in hearing about nuances between the two. Version 1: Let $(C,\otimes)$ be any monoidal ...
8
votes
1answer
390 views

Anomalies in the definition of Turaev's TQFT

In his book Quantum invariants of knots and 3-manifolds page 124, Turaev defined a TQFT $\tau$ axiomatically. For a cobordism $(M, \partial_{-}M, \partial_{+}M)$, a TQFT assignes a $k$-homomorhism ...
13
votes
2answers
391 views

How unique are extensions of TQFTs to lower dimension?

Say I have an "ordinary" TQFT $F$ of dimension $n$, assigning groups or vector spaces to closed $(n-1)$-manifolds and linear maps to cobordisms. Consider the different ways $F$ can be obtained from a ...
10
votes
4answers
533 views

Morita equivalence for *-algebras

This is a reference request. I'm looking for a definition of Morita equivalence of *-algebras, as described below. If anyone thinks that this is not the right way to define Morita equivalence of ...
5
votes
0answers
323 views

Is there a version of the 2d cobordism hypothesis for surfaces with non-empty incoming and outgoing boundary?

Question: Is there a condition on an object $x$ of an $(\infty,2)$-category $\mathcal C$ which is equivalent to $x = Z(pt_+)$ for a unique TFT $Z$ from the $(\infty,2)$-category of framed bordisms ...
9
votes
0answers
502 views

A proof of the gluing axiom of a TQFT

I posted the following question on math stackexchange but I have not received any answer. So I hope people here can help me. In the book Lectures on tensor categories and modular functors by Bakalov ...
8
votes
1answer
470 views

Trace of a functor (or dimension of a category) in extended 2d TQFTs

In an extended 2d TQFT $Z$, a point (with orientation + or -) is assigned a category $Z(+)$ or $Z(-)$. This category should be as close to a vector space as possible: $\mathbb{C}$-linear, monoidal, ...
5
votes
1answer
280 views

Does the following “symmetric” 2nd cohomology group of a finite group with coefficients in $Z_2$ always vanish?

Let $G$ be a finite group. Usually, a 2-cocycle on $G$ with values in $\mathbb{Z}\_2 = \{+1, -1\}$ is a collection of signs $\epsilon_{g,h} \in \{+1, -1\}$, $g,h \in G$, satisfying the cocycle ...
9
votes
3answers
1k views

Motivation and unsolved problems of TQFT

I have been studying topological quantum field theory by mainly reading the Turaev's book. I'd like to know if there are unsolved problems that motivate mathematicians to study TQFT, like Riemann's ...
7
votes
4answers
590 views

Understand Witten's “QFT and Jones Polynomials” - how does he get to the twisted Dirac operator L_{-}?

Hi, this is my first post here, so I hope I am asking the question the right way. I am trying to understand to following piece of algebra: In his paper, Witten claims that $\int_M Tr(B \wedge DB) + ...
12
votes
2answers
385 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 ...
5
votes
0answers
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 ...
6
votes
1answer
406 views

Examples of calculations of Turaev-Reshetikhin TQFT of cobordisms with boundaries have genera greater than 1

I am studying Turaev-Reshetikhin TQFT. I describe the definition of the invariant $\tau(M)$ of a cobordism $(M, \partial_{-}M, \partial_{+}M)$ in the previous question breifly. Framings in the ...
3
votes
1answer
373 views

Framings in the definition of Reshetikhin-Turaev TQFT

I posted the following question at Mathe Stack Exchange.link text But it has not yet answered. I am sorry if you check both sites but I also want people here to look at this problem. I am studying ...
5
votes
1answer
289 views

Set of physical states of FQHE on closed Riemann surface = ?

Disclaimer. One might argue that my question is off topic as it is clearly a question about physics... But I'd like a mathematically phrased answer, and I expect that only a mathematician can offer an ...
8
votes
0answers
309 views

Why does the index of the Dirac operator on a manifold with boundary live inside the Pfaffian line of the boundary Dirac operator?

I am trying to understand a statement from page 72 of What is an elliptic object? by Stolz and Teichner. They have a spin Riemannian 2-manifold $\Sigma$, with boundary 1-manifold $Y$. The Dirac ...
0
votes
0answers
162 views

Finding a ribbon graph for a mapping class group action

Turaev defines TQFT $(T, \tau)$ in his book "Quantum invariants of knots and 3-manifolds". He uses it to define an action of a mapping class group of a d-surface $\Sigma$. This action $\epsilon$ is ...