Cobordism hypothesis

{{Short description|Classification of topological quantum field theories}}

In mathematics, the cobordism hypothesis, due to John C. Baez and James Dolan,{{cite journal | last1=Baez | first1=John C. | last2=Dolan | first2=James | title=Higher‐dimensional algebra and topological quantum field theory | journal=Journal of Mathematical Physics | volume=36 | issue=11 | year=1995 | issn=0022-2488 | doi=10.1063/1.531236 | pages=6073–6105|arxiv=q-alg/9503002| bibcode=1995JMP....36.6073B | s2cid=14908618 }} concerns the classification of extended topological quantum field theories (TQFTs). In 2008, Jacob Lurie outlined a proof of the cobordism hypothesis, though the details of his approach have yet to appear in the literature as of 2022.{{cite book|author1=Hisham Sati|author2=Urs Schreiber|title=Mathematical Foundations of Quantum Field Theory and Perturbative String Theory|url=https://books.google.com/books?id=eUmDAwAAQBAJ&pg=PA18|year=2011|publisher=American Mathematical Soc.|isbn=978-0-8218-5195-1|page=18}}{{cite arXiv|last1=Ayala|first1=David|last2=Francis|first2=John|date=2017-05-05|title=The cobordism hypothesis|eprint=1705.02240|class=math.AT}}{{cite arXiv|last1=Grady|first1=Daniel|last2=Pavlov|first2=Dmitri|date=2021-11-01|title=The geometric cobordism hypothesis|class=math.AT|eprint=2111.01095}} In 2021, Daniel Grady and Dmitri Pavlov claimed a complete proof of the cobordism hypothesis, as well as a generalization to bordisms with arbitrary geometric structures.

Formulation

For a symmetric monoidal (\infty, n)-category \mathcal {C} which is fully dualizable and every k-morphism of which is adjointable, for 1\leq k\leq n-1, there is a bijection between the \mathcal {C}-valued symmetric monoidal functors of the cobordism category and the objects of \mathcal {C}.

Motivation

Symmetric monoidal functors from the cobordism category correspond to topological quantum field theories. The cobordism hypothesis for topological quantum field theories is the analogue of the Eilenberg–Steenrod axioms for homology theories. The Eilenberg–Steenrod axioms state that a homology theory is uniquely determined by its value for the point, so analogously what the cobordism hypothesis states is that a topological quantum field theory is uniquely determined by its value for the point. In other words, the bijection between \mathcal {C}-valued symmetric monoidal functors and the objects of \mathcal {C} is uniquely defined by its value for the point.

See also

References

{{reflist}}

Further reading

  • {{cite journal | last=Freed | first=Daniel S.|author-link=Dan Freed | title=The Cobordism hypothesis | journal=Bulletin of the American Mathematical Society | publisher=American Mathematical Society (AMS) | volume=50 | issue=1 | date=11 October 2012 | issn=0273-0979 | doi=10.1090/s0273-0979-2012-01393-9 | pages=57–92| doi-access=free }}
  • [http://theoreticalatlas.wordpress.com/2013/04/22/seminar-on-cob-hyp/ Seminar on the Cobordism Hypothesis and (Infinity,n)-Categories], 2013-04-22
  • Jacob Lurie (4 May 2009). On the Classification of Topological Field Theories