Related papers: Iterated spans and classical topological field the…
We construct a ring structure on complex cobordism tensored with the rationals, which is related to the usual ring structure as quantum cohomology is related to ordinary cohomology. The resulting object defines a generalized two-…
We construct a family of oriented extended topological field theories using the AKSZ construction in derived algebraic geometry, which can be viewed as an algebraic and topological version of the classical AKSZ field theories that occur in…
We show how the framework of crossed simplicial groups may be used to provide a classification of topological field theories on open cobordism categories defined by reductions of the structure group to a planar Lie group. Such theories are…
The cohomology theory known as Tmf, for "topological modular forms," is a universal object mapping out to elliptic cohomology theories, and its coefficient ring is closely connected to the classical ring of modular forms. We extend this to…
In this expository paper we introduce extended topological quantum field theories and the cobordism hypothesis.
We define the algebraic cobordism of $\infty$-categories equipped with universal line bundle data as an initial oriented functor in the associated span category. In the standard motivic framework, this recovers the Thom spectrum model…
We study the question of dualizability in higher Morita categories of locally presentable tensor categories and braided tensor categories. Our main results are that the 3-category of rigid tensor categories with enough compact projectives…
A faithful $(1+1)$ TQFT has recently been constructed, but the existence of a faithful $(2+1)$ TQFT remains an open question, that subsumes the hard problem of linearity of mapping class groups of surfaces. To circumvent the latter problem…
In the realm of invertible symmetry, the topological approach based on classifying spaces dominates the classification of 't Hooft anomalies and symmetry protected topological phases. We explore the alternative algebraic approach based on…
We construct spaces of 1-dimensional supersymmetric Euclidean field theories and show that they represent real or complex K-theory. A noteworthy feature of our bordism category is that the identity bordism of a point is connected to…
A generalized-homology bordism-theory is constructed, such that for certain manifold homotopy stratified sets (MHSS; Quinn-spaces) homeomorphism-invariant geometric fundamental-classes exist. The construction combines three ideas: Firstly,…
It has been common wisdom among mathematicians that Extended Topological Field Theory in dimensions higher than two is naturally formulated in terms of n-categories with n> 1. Recently the physical meaning of these higher categorical…
We present a general framework for TQFT and related constructions using the language of monoidal categories. We construct a topological category C and an algebraic category D, both monoidal, and a TQFT functor is then defined as a certain…
We construct extended TQFTs associated to Rozansky--Witten models with target manifolds $T^*\mathbb{C}^n$. The starting point of the construction is the 3-category whose objects are such Rozansky--Witten models, and whose morphisms are…
The study of topological quantum field theories increasingly relies upon concepts from higher-dimensional algebra such as n-categories and n-vector spaces. We review progress towards a definition of n-category suited for this purpose, and…
Mostly self-contained script on functorial topological quantum field theories. These notes give a slow introduction to the basic notions of category theory which serve a closer investigation of cobordisms and (commutative) Frobenius…
The goal of this paper is to introduce some of the major ideas behind extended topological quantum field theories with an emphasis on explicit examples and calculations. The statement of the Cobordism Hypothesis is explained and immediately…
We construct a certain `cobordism category' ${\cal D}$ whose morphisms are suitably decorated cobordism classes between similarly decorated closed oriented 1-manifolds, and show that there is essentially a bijection between…
We define (iterated) coisotropic correspondences between derived Poisson stacks, and construct symmetric monoidal higher categories of derived Poisson stacks where the $i$-morphisms are given by $i$-fold coisotropic correspondences.…
Quantum computing is captured in the formalism of the monoidal subcategory of $\textbf{Vect}_{\mathbb C}$ generated by $\mathbb C^2$ -- in particular, quantum circuits are diagrams in $\textbf{Vect}_{\mathbb C}$ -- while topological quantum…