# Questions tagged [extended-tqft]

The extended-tqft tag has no usage guidance.

48
questions

11
votes

0
answers

250
views

### What are some examples of 3-dualizable $(\infty,2)$ categories?

From the cobordism hypothesis, we know that (the space of) symmetric monoidal functors from the $(\infty,3)$ category of framed cobordisms into a symmetric monoidal $(\infty,3)$ category is the same ...

5
votes

1
answer

301
views

### Defining extended TQFTs *with point, line, surface, … operators*

$\newcommand\Cob{\mathrm{Cob}}\newcommand\Vect{\mathrm{Vect}}\DeclareMathOperator\Rep{Rep}$The ordinary definition of a TQFT is:
Defnition: A $d$-dimensional TQFT is a symmetric monoidal functor $\Cob^...

6
votes

1
answer

214
views

### Checking 2-dualizability

Let $(\mathcal C, \otimes, I)$ be a symmetric monoidal 2-category, and let $X \in \mathcal C$ be a dualizable object, with dual $X^\vee$, unit $coev: I \to X \otimes X^\vee$, and counit $ev : X^\vee \...

10
votes

1
answer

243
views

### Are there 4d state sum models, extended TQFTs or chain mail invariant that detect smooth structures?

A state sum model is a smooth invariant defined on smooth triangulated, or PL manifolds, by summing a local partition function over labels attached to the elements of the triangulation.
Typical ...

14
votes

2
answers

442
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 ...

5
votes

0
answers

105
views

### Shapes of cores of symmetric monoidal $(\infty,n)$-categories (with duals)

According to the cobordism hypothesis, if $\mathcal{C}$ is a symmetric monoidal $(\infty,n)$-categories with duals, then framed fully extended TQFTs with target $\mathcal{C}$ are an $\infty$-groupoid, ...

11
votes

2
answers

488
views

### What are the topological phases of quantum Hall systems?

(Fractional) quantum Hall systems are $2+1$-dimensional models which are said to possess topological order. One (maybe even complete) set of invariants of topological phases in $2+1$ dimensions is ...

21
votes

1
answer

1k
views

### Fully extended TQFT and lattice models

I often read that fully extended TQFTs are supposed to classify topological phases of matter. So I would like to understand the formal nature of fully extended TQFTs on a more direct physical level (...

16
votes

2
answers

526
views

### How can I functorially dualise in a symmetric monoidal $(\infty,1)$-category with duals?

If $\mathcal{C}$ is a symmetric monoidal $(\infty,1)$-category with duals, then there should be a functor
$$
d: \mathcal{C} \longrightarrow \mathcal{C}^{op}
$$
such that $d(x)$ is dual to $x$ for ...

14
votes

1
answer

616
views

### Is there a PL, or topological, bordism hypothesis?

The bordism hypothesis says that the $(\infty, n)$-category of smooth, framed $n$-bordisms, $(n-1)$-dimensional boundaries, and corners down to points, is freely generated symmetric monoidal with ...

5
votes

0
answers

291
views

### Bosonic topological orders and unitary fully dualizable fully extended TQFT

I would like to ask if the following statement can be true:
bosonic topological orders in $n$-dimensional space-time 1-to-1 correspond to unitary fully dualizable fully extended TQFT in $n$-dimensions....

6
votes

0
answers

307
views

### Freed-Hopkins-Lurie-Teleman topological boundary conditions v.s. Lagrangian subspace

This question concerns the comparison of topological boundary conditions of TQFTs on a manifold with some boundary.
For example, we can consider defining the TQFT on a $D^3$ ball with a topological ...

5
votes

0
answers

240
views

### Analogue of Reshetikhin-Turaev construction for unoriented TQFTs

The Reshetikhin-Turaev construction takes a modular tensor category $\mathcal C$ and produces a 3-2-1 oriented TQFT $Z_{\mathcal C}$ such that $Z_{\mathcal C}(S^1) = \mathcal C$.
Is there an ...

9
votes

1
answer

586
views

### Is Turaev-Viro-Barrett-Westbury stronger than homotopy?

I've heard that Reshetikhin-Turaev (RT) is stronger than homotopy, and it can distinguish certain homotopy-equivalent, but non-homeomorphic Lens spaces (I think $L(7,1)$ and $L(7,2)$). Now the Turaev-...

7
votes

0
answers

205
views

### $S^3$ partition function from the 1-category of $S^1$ in Chern Simons theory

I am trying to learn about some categorical aspects of topological quantum field theories. For concreteness, I am considering Chern Simons theory with gauge group $G$ in three dimensions. As I ...

4
votes

0
answers

141
views

### Cobordism invariance and "reverse-extended TQFTs"

According to Atiyah, an $n$-dimensional TQFT is a functor from the bordism category of $(n-1)$-dimensional manifolds into $\mathrm{Hilb}$. That is, for every $(n-1)$-dimensional manifold it assigns a ...

1
vote

0
answers

137
views

### Informal description of symmetric monoidal $(\infty,n)$-categories

I know the question of what is a symmetric monoidal category has shown up here.
I was wondering if there was a more informal way of describing a symmetric monoidal $(\infty, n)$-category as a "...

9
votes

0
answers

306
views

### How do sutured TQFT fit into the larger TQFT picture?

In https://arxiv.org/abs/0807.2431, Honda--Kazez--Matic introduce a definition of (1+1 dimensional) sutured TQFT; see also e.g. Mathews http://arxiv.org/abs/1006.5433 and Fink https://arxiv.org/abs/...

7
votes

0
answers

264
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, 2)-...

8
votes

0
answers

338
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 ...

7
votes

0
answers

452
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 ...

4
votes

0
answers

337
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 ...

10
votes

1
answer

343
views

### Extended TFT with coefficients in spans in any $\infty$-topos

In the TFT classification article by Jacob Lurie (arXiv:0905.0465) the (∞,n)-category of correspondences (there: $Fam_n$) plays a key role, whose $k$-morphisms are $k$-fold spans of $\infty$-...

16
votes

0
answers

1k
views

### "extended TQFT" versus "TQFT with defects"

There are two ways in which higher categories appear in topological field theory: in extended TFTs and in TFTs with defects. How are these appearances related?
According to the Atiyah-Segal axioms, a ...

2
votes

0
answers

143
views

### target category of extended field theory

An A-S TFT is a functor from $\text{Bord}_{<n−1,n>}(\mathcal{F})$ to $\text{Vect}$ where $\mathcal{F}$ denotes a set of background fields, eg a spin structure. An extended theory is a functor ...

11
votes

2
answers

973
views

### Relation between fully-extended TQFT and a "topless" TQFT

Consider 3-dimensional TQFTs for example. One version of them is the
3-2-1-0 fully extended TQFT. Do we have another version: 2-1-0 extended "TQFT"?
If yes, do we have an example of 2-1-0 extended ...

8
votes

1
answer

330
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", ...

5
votes

0
answers

235
views

### (∞,n)-category of triangulated cobordisms

What is an accepted definition of a (∞,n)-category of triangulated cobordisms?
Is there one that has a forgetful functor to (Rezk - Hopkins -) Lurie's smooth cobordisms? Does it shed light on how ...

13
votes

2
answers

497
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 ...

6
votes

0
answers

492
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 ...

4
votes

0
answers

414
views

### Pull-back and push-forward of higher local systems

This is a follow up to the following two MO questions: q1,q2
What I'm interesting in understanding is the universal property (if any) of the morphism $Sum_n:Fam_n(\mathcal{C})\to \mathcal{C}$ ...

12
votes

0
answers

426
views

### Higher holonomies for higher local systems

In Jacob Lurie's classification of tqfts, one finds a version of the cobordism hypothesis for $(X,\zeta)$-structure, where an $(X,\zeta)$ structure on a manifold $M$ is the datum of a continuous map $...

14
votes

3
answers

2k
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 ...

6
votes

1
answer

537
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

1
answer

544
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 ...

19
votes

2
answers

1k
views

### Are fully extended TQFTs generalized cohomology theories?

Forgive the naiveness of this question. Whatever an $n$-vector space exactly is, one expects that the basic example of fully extended $n$-dimensional tqft is a symmetric monoidal functor $Cob_n\to n$-...

8
votes

0
answers

605
views

### TQFTs with target category of higher type than the source

In the classical version of the Cobordism Hypothesis, such as, e.g., in Jacob Lurie's On the Classification of Topological Field Theories, one considers the $\infty$-category of symmetric monoidal ...

13
votes

2
answers

940
views

### (3,2,1)-TQFTs and Verlinde algebras

Given a modular category $\mathcal{C}$ there are two natural ways to get a Frobenius algebra out of $\mathcal{C}$. One is to take the Verlinde algebra (or `fusion algebra') of $\mathcal{C}$. The other ...

14
votes

2
answers

898
views

### Homotopy Fixed Points of SO(2) on Fully Dualizable Algebras

Note: by fixed points, I always mean homotopy fixed points.
As explained in Jacob Lurie's paper on the cobordism hypothesis, we have an action of O(2) on the $\infty $-groupoid $X$ given by ...

7
votes

0
answers

508
views

### Principal $G$-bundles as fully extended TQFTs, and $n$-representations

This is a follow up to this MO question: Fully dualizable objects in classical field theories
Assuming the notation there (which in turn come from Topological Quantum Field Theories from Compact Lie ...

18
votes

3
answers

2k
views

### How to calculate the Witten-Reshetikhin-Turaev invariants from a triangulation?

I'm interested in the Witten-Reshetikhin-Turaev invariants for 3-manifolds, and in particular, how to calculate them from a triangulation of the 3-manifold (recall that as they were first introduced, ...

16
votes

1
answer

1k
views

### Fully dualizable objects in classical field theories

This is a follow up to this MO question: Free symmetric monoidal $(\infty,n)$-categories with duals
Freed-Hopkins-Lurie-Teleman define a classical field theory as a symmetric monoidal functor $I$ ...

17
votes

1
answer

1k
views

### Free symmetric monoidal $(\infty,n)$-categories with duals

The reading of (Hopkins-)Lurie's On the Classification of Topological Field Theories (arXiv:0905.0465) suggests that a stronger version of the cobordism hypothesis should hold; namely, that (under ...

10
votes

1
answer

729
views

### The algebro-geometric counterpart of the Dijkgraaf-Witten model

Can the Dikgraaf-Witten model for a finite gauge group $G$ [Robbert Dijkgraaf and Edward Witten, Topological Gauge Theories and Group Cohomology, Commun. Math. Phys. 129 (1990), 393] be described in ...

23
votes

1
answer

1k
views

### When is a TQFT the dimensional reduction of a higher dimensional TQFT?

In Lurie's framework for TQFT's, a TQFT is a symmetric mondoial functor from $Cob_n(n)$ to some symmetric monoidal $n$-category $\mathcal{C}$. One can construct an $(n-1)$-dimensional TQFT from an $n$-...

12
votes

2
answers

1k
views

### Turaev-Viro extended TQFT

Hi I am looking for any papers which extends the Turaev-Viro TQFT to a 3-2-1 theory (i.e. allows manifolds with corners) . I know this construction is known, but I cannot find a source. Please help.
...

12
votes

2
answers

705
views

### What do decategorification and "compactification on a circle" have to do with each other?

Some physicists have told me that if you think about an extended n-dimensional TQFT $F$, then the decategorification is given by $F'(X)=F(X\times S^1)$, which I believe they call "compactification on ...