Questions tagged [extended-tqft]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
0 answers
113 views

Why does the bordism category have duals?

The proof of the Cobordism Hypothesis outlined by Lurie seems to assume that the $(\infty, n)$-category $\mathbf{Bord}_n^{(X, \zeta)}$ has duals, i.e. duals for objects and adjoints for all $k$-...
Hyunbok Wi's user avatar
11 votes
1 answer
523 views

Can you deduce the correspondence between 2D oriented TQFTs and commutative Frobenius algebras from the (framed) Cobordism Hypothesis?

Background I am currently writing an MSc dissertation on TQFTs (and Khovanov homology, but that is unrelated to this question). After having read most of Kock's book on the equivalence between 2D ...
Santiago Pareja Pérez's user avatar
11 votes
0 answers
295 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 ...
davik's user avatar
  • 2,035
5 votes
1 answer
362 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^...
Pulcinella's user avatar
  • 5,506
6 votes
1 answer
241 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 \...
Tim Campion's user avatar
  • 60.5k
10 votes
1 answer
250 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 ...
Manuel Bärenz's user avatar
14 votes
2 answers
455 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 ...
Alonso Perez Lona's user avatar
5 votes
1 answer
322 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 ...
Calvin McPhail-Snyder's user avatar
5 votes
0 answers
108 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, ...
domenico fiorenza's user avatar
11 votes
2 answers
561 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 ...
Andi Bauer's user avatar
  • 2,901
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 (...
Andi Bauer's user avatar
  • 2,901
16 votes
2 answers
541 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 ...
Jan Steinebrunner's user avatar
14 votes
1 answer
626 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 ...
Manuel Bärenz's user avatar
5 votes
0 answers
292 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....
Xiao-Gang Wen's user avatar
6 votes
0 answers
313 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 ...
wonderich's user avatar
  • 10.3k
5 votes
0 answers
241 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 ...
Arun Debray's user avatar
  • 6,756
9 votes
1 answer
601 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-...
Manuel Bärenz's user avatar
7 votes
0 answers
211 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 ...
nio's user avatar
  • 171
4 votes
0 answers
143 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 ...
Dominic Else's user avatar
1 vote
0 answers
143 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 "...
SWV's user avatar
  • 143
9 votes
0 answers
307 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/...
Andy Manion's user avatar
  • 1,454
7 votes
0 answers
266 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)-...
Andrea Tirelli's user avatar
8 votes
0 answers
347 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 ...
Manuel Bärenz's user avatar
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 ...
Manuel Bärenz's user avatar
4 votes
0 answers
339 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
349 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$-...
Urs Schreiber's user avatar
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 ...
Alex Turzillo's user avatar
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 ...
Alex Turzillo's user avatar
11 votes
2 answers
979 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 ...
Xiao-Gang Wen's user avatar
8 votes
1 answer
339 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", ...
Manuel Bärenz's user avatar
5 votes
0 answers
236 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 ...
Manuel Bärenz's user avatar
13 votes
2 answers
500 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 ...
Andy Manion's user avatar
  • 1,454
6 votes
0 answers
499 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 ...
Sam Gunningham's user avatar
4 votes
0 answers
418 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}$ ...
domenico fiorenza's user avatar
12 votes
0 answers
428 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 $...
domenico fiorenza's user avatar
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
539 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 ...
user avatar
3 votes
1 answer
553 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 ...
user avatar
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$-...
domenico fiorenza's user avatar
8 votes
0 answers
607 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 ...
domenico fiorenza's user avatar
13 votes
2 answers
946 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 ...
domenico fiorenza's user avatar
14 votes
2 answers
910 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 ...
Sam Gunningham's user avatar
7 votes
0 answers
511 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 ...
domenico fiorenza's user avatar
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, ...
John Pardon's user avatar
  • 18.3k
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$ ...
domenico fiorenza's user avatar
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 ...
domenico fiorenza's user avatar
10 votes
1 answer
736 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 ...
domenico fiorenza's user avatar
24 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$-...
skupers's user avatar
  • 7,923
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. ...
user1654's user avatar
  • 121
12 votes
2 answers
716 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 ...
Ben Webster's user avatar
  • 43.9k