Quantcast
  • Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.

News

PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback

Attributions

(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,047 questions , 2,200 unanswered
5,345 answers , 22,709 comments
1,470 users with positive rep
816 active unimported users
More ...

  TQFT associates a category to a manifold

+ 4 like - 0 dislike
2087 views

Any 3d TQFT (topological-quantum-field-theory) associates a number to a closed oriented 3-manifold, a vector space to a Riemann surface, a category to a circle, and a 2-category to a point.

This is properly well-known in category theory. I learned it from here.

I wish to have someone sharing their physical explanation and their best understanding about this statement.

I suppose the higher dim generalization is what Urs Schreiber describes using codimension surface. I have read the Phys.SE post: about-the-atiyah-segal-axioms-on-TQFT, but would not mind someone starts from the basic.

This post imported from StackExchange Physics at 2014-06-04 11:35 (UCT), posted by SE-user Idear
asked Jun 2, 2014 in Theoretical Physics by wonderich (1,500 points) [ no revision ]

This is a completely mathematical explanation, and does not even attempt to answer your question (but it is related).

An \(n\)-dimensional TQFT associated to each \(n\)-dimensional smooth closed oriented manifold a particular vector space, the Hilbert space. This is given by the tensor functor \(\mathbf{Z}:n\mathscr{C}\mathrm{ob}\to\mathscr{V}\mathrm{ect}_{\kappa}\), where \(\kappa\) is a base field. Let me demonstrate the ``number given by TQFT'' concept in the simple case when \(n=2\) and \(\kappa=\mathbf{C}\).

Let's choose a particular \(\mathbf{C}\)-vector space \(\mathcal{A}\) such that \(\mathbf{Z}(S^1)=\mathcal{A}\). Since all smooth closed oriented \(2\)-manifolds are disjoint unions of circles \(S^1\), we see that since \(\mathbf{Z}\) is a tensor functor, \(\mathbf{Z}(\Pi)\) for any \(\Pi\in\mathscr{O}\mathrm{bj}(2\mathscr{C}\mathrm{ob})\) can simply be written as the tensor product of vector spaces of some number of \(\mathcal{A}\)s. Consider, then \(\mathbf{Z}(\text{Pair of pants}):\mathbf{Z}(S^1\coprod S^1)\to \mathbf{Z}(S^1)\). This is, in \(\mathscr{V}\mathrm{ect}_\mathbf{C}\), a linear transformation taking \(\mathcal{A}\otimes \mathcal{A}\to\mathcal{A}\).

If we're to consider the map given by \(\mathbf{Z}(``\text{Half of a sphere''}):\mathbf{Z}(S^1)\to\mathbf{Z}(\emptyset)\), where \(\mathbf{Z}(\emptyset)\simeq\mathbf{C}\), then we see that this can be interpreted as a trace map \(\mathrm{trace}:\mathcal{A}\to\mathbf{C}\). The composition \(\mathbf{Z}(``\text{Half of a sphere''})\circ\mathbf{Z}(\text{Pair of pants}):\mathbf{Z}(S^1\coprod S^1)\to \mathbf{Z}(S^1)\to\mathbf{Z}(\emptyset)\) can be checked to be nondegenerate. But you see that there is a natural trace map; this associated a number to \(\mathcal{A}\), i.e., it associates a particular complex number to \(S^1\)(or any disjoint union of circles). You can generalize this to higher dimensions as well.

4 Answers

+ 4 like - 0 dislike

There are already some nice answers discussing the mathematics, so let me mention some physical aspects of extended Atiyah-Segal type TQFTs.

Essentially everything can be understood after identifying the category one assigns to a point with the $d-1$-category of *topologic* boundary conditions (note that these may not always exist, see below). Morphisms in this category are *topological* boundary-changing $d-2$-dimensional defects. 2-morphisms are defects along these, and so on down to $d-1$-morphisms being identified with boundary point operators. The tensor structures all come from fusion and the mapping class group actions from braidings of defects.

Now, by abstract nonsense, the $d-2$-category one assigns to a point should behave like the "trace of the identity functor" on the $d-1$-category of boundary conditions. Working this out means that it is identified with the set of bulk codimension 2 operators, with all the structure defined as above.

And so on...

I recommend reading Anton Kapustin's ICM talk from 2010 http://arxiv.org/abs/1004.2307 . He gives a very reasonable physical understanding of this extended TQFT business. To see it applied, check out Kapustin and Natalia Saulina's http://arxiv.org/abs/1008.0654 . Here they discuss some TQFTs which cannot be fully extended because they do not admit topological boundary conditions (though they do admit gapless boundary conditions).

answered Sep 12, 2014 by Ryan Thorngren (1,925 points) [ revision history ]
edited Sep 12, 2014 by Ryan Thorngren
+ 2 like - 0 dislike

I cannot comment on the category theory part, but the ideas regarding 'numbers' to a 3-manifold and vector spaces to Riemann surfaces comes about naturally in Gromov-Witten theory (see here: http://www.math.harvard.edu/~jbland/ma273x_notes.pdf for a nice introduction).

The heuristic recipe (physical explanation) is as follows: Take a closed symplectic (as one does in TQFT) manifold $\Omega$. Look at maps from Riemann surfaces of genus $g$: $R_{g}$, to a smooth space built from $\Omega$ (Like the Grassmannian $\mathbf{G}$). You can now look at the moduli stack of all such maps (i.e, the collection of pseudo-holomorphic curves $\psi$ from $R_{g}$ to $\mathbf{G}$ satisfying some conditions, call this $\mathcal{M}$). This moduli stack $\mathcal{M}$ admits a class field theory, i.e, has some equivalence relations on it $[Z,\tilde~]$ that tells you when two curves are equivalent. This is essential since Riemann surfaces have some strange behaviours, if you have ever studied branch-cuts and things you will know what I mean. Meaning that, given various $g$ you may have degeneracies between them.

One then studies intersection theory on this moduli stack and counts the number of pseudo-holomorphic curves that obey some relationships modulo the equivalence relation $\tilde~$. The intersection theory itself produces numerical invariants, which are useful to describe the topological nature of the manifold $\Omega$. These ideas are very reminiscent of the ideas of de-Rham cohomology, which study differential forms on the manifold $\Omega$ to better understand its topology. This is a very important concept in TQFT, since one would like to know precisely how 'unique' or otherwise their manifold structure is. Computation of these invariants using integrals over $\mathbf{G}$ can be done in principle.

As an example, in string theory, one can imagine that the strings of different kinds can join together to form various topological structures, which on a larger scale represent the different types of particles we observe. To exactly describe all possible configurations of how these strings join it is necessary to analyse these Gromov-Witten invariants to maintain internal consistency (i.e, you cannot have a particle which has two distinct ground state energy levels).

Not sure if that is helpful at all, but I think the study of Gromov-Witten invariants (or Donaldson-Thomas, etc) is what you are after here (see here: http://ncatlab.org/nlab/show/Gromov-Witten+invariants as well).

This post imported from StackExchange Physics at 2014-06-04 11:35 (UCT), posted by SE-user Arthur Suvorov
answered Jun 2, 2014 by Arthur Suvorov (180 points) [ no revision ]
@ Arthur Suvorov, thanks +1, it is good to hear Gromov-Witten invariants here, something not expected at first.

This post imported from StackExchange Physics at 2014-06-04 11:35 (UCT), posted by SE-user Idear
+ 2 like - 0 dislike

I expect this is somewhat of an axiomatic statement, since the TQFT axioms include the association of a Riemann surface $\Sigma$ to a vector space (or a module) $Z(\Sigma)$, and an element $Z(M)\in Z(\partial M)$ to a manifold $M$. They do not include direct reference to categories. It sounds like the categories are natural extensions to the lower dimensions ($d=0$ and $d=1$).

This post imported from StackExchange Physics at 2014-06-04 11:35 (UCT), posted by SE-user levitopher
answered Jun 2, 2014 by levitopher (160 points) [ no revision ]
@ levitopher, thanks +1. Get back to you soon.

This post imported from StackExchange Physics at 2014-06-04 11:35 (UCT), posted by SE-user Idear
+ 2 like - 0 dislike

There are maybe three different stages to be distinguished and to be understood here:

first: maybe part of the question is why an $n$-dimensional QFT should assign numbers to closed $n$-dimensional manifolds, and vector spaces to closed $(n-1)$-dimensional manifolds. That is what I had replied to in that other discussion linked to above: the vector spaces assigned are just the spaces of quantum states assigned to a spatial hyperslice of spacetime, the numbers assigned to closed $n$-dimensional pieces of spacetimes are the partition functions, and generally the linear maps assigned to $n$-dimensional pieces of spacetime with boundary are the quantum propagators (the correlators, the S-matrix) which propagate the incoming states to the outgoing states.

second: the question is why one would want to refine this assignment ("Atiyah-Segal-type QFT") to something that also assigns data to $(n-k)$-dimensional pieces of spacetime, for all $0 \leq k \leq n$. The answer to this is that this solves what in physics is known as the "problem of covariant quantization". Namely assigning vector spaces of states to spatial hyperslices a priori means breaking the diffeomorphism invariance of the field theory, after all it involves choosing these spatial hyperslices and assigning data to them in a way that is not a prior build up covariantly.

The whole point of "extended TQFT" is to solve this "problem of covariant quantization of field theory" by enforcing that the spaces of quantum states which are assigned to codimeninson-1 spatial hyperslices arise from gluing of local data. It's the locality principle of quantum field theory, by which every global assignment must be reconstructible from gluing of local assignments.

Mathematically this is where higher categories come in: where the ordinary category of vector spaces knows about vector spaces and linear maps between them, hence about the data of spaces of quantum states and of propagators between them, an n-categorical refinement of this would also know how to build spaces of quantum states (which are then promoted from objects to $(n-1)$-morphisms) from local data (namely by composing $(n-1)$-morphisms along $(n-2)$-morphisms).

So in summary: the reason for passing from Atiyah-Segal style QFT which formalizes the assignment of spaces of quantum states to spatial hypersurfaces and of linear quantum propagator maps between them to pieces of spacetime to higher categorical extended QFT is to fully implement the locality principle of quantum field theory in the axioms.

The high-point of this axiomaticts is the cobordism theorem which fully clasifies all fully local ("extended") TQFTs in a rigorous fashion.

third: the question then finally is: if an $n$-dimensional fully local (topological) quantum field theory hence is an n-functor $Bord_n \to \mathcal{C}$ from the n-category of cobordisms to some n-category $\mathcal{C}$ which in its two top dimension degrees looks like vector spaces with linear maps between them, then: what should $\mathcal{C}$ be like in lower degrees?

This is actually a question of ongoing investigation. The cobordism theorem itself allows any n-category wth all duals, but many of these will not "look very physical" in fact.

In any case, the point to notice here is that $\mathcal{C}$ is a choice. It may -- but need not -- look like suggested above in the question. This is what it tends to look like for 3d TQFT of Chern-Simons theory type. The strongest theorem to that effect is now probably Douglas & Schommer-Pries & Snyder 13. See there for more.

This post imported from StackExchange Physics at 2014-06-04 11:35 (UCT), posted by SE-user Urs Schreiber
answered Jun 2, 2014 by Urs Schreiber (6,095 points) [ no revision ]
@ Urs Schreiber, Vielen Danke, thanks +1. Get back to you soon.

This post imported from StackExchange Physics at 2014-06-04 11:35 (UCT), posted by SE-user Idear

By the way, Gregory Moore mentioned how this higher categorical effect in fully local TQFT is something that physics needs to catch up with in his Strings2014 "vision talk" Physical Mathematics and the Future in section "5.7 Locality, locality, locality". 

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
p$\hbar$ysicsOve$\varnothing$flow
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
Please complete the anti-spam verification




user contributions licensed under cc by-sa 3.0 with attribution required

Your rights
...