The extended-tqft tag has no wiki summary.

**5**

votes

**0**answers

136 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

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

**9**

votes

**1**answer

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

**10**

votes

**0**answers

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

**1**

vote

**0**answers

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

**9**

votes

**2**answers

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

**7**

votes

**1**answer

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

**3**

votes

**0**answers

182 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

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

**5**

votes

**0**answers

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

**3**

votes

**0**answers

250 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}$ ...

**10**

votes

**0**answers

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

**8**

votes

**3**answers

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

**6**

votes

**1**answer

382 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

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

**17**

votes

**1**answer

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

**7**

votes

**0**answers

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

**10**

votes

**1**answer

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

**13**

votes

**2**answers

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

**6**

votes

**0**answers

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

**11**

votes

**3**answers

1k 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, ...

**13**

votes

**0**answers

619 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$ ...

**14**

votes

**1**answer

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

**8**

votes

**1**answer

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

**22**

votes

**1**answer

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

**9**

votes

**2**answers

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

**11**

votes

**2**answers

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