Related papers: Defining extended TQFTs via handle attachments
We extend the derived Algebraic bordism of Lowrey and Sch\"urg to a bivariant theory in the sense of Fulton and MacPherson, and establish some of its basic properties. As a special case, we obtain a completely new theory of cobordism rings…
We construct cobordism maps on link Floer homology associated to decorated link cobordisms. The maps are defined on a curved chain homotopy type invariant. We describe the construction, and prove invariance. We also make a comparison with…
Just as knots and links can be algebraically described as certain morphisms in the category of tangles in 3 dimensions, compact surfaces smoothly embedded in R^4 can be described as certain 2-morphisms in the 2-category of `2-tangles in 4…
For a finite group $G$, we define an equivariant cobordism category $\mathcal{C}_d^G$. Objects of the category are $(d-1)$-dimensional closed smooth $G$-manifolds and morphisms are smooth $d$-dimensional equivariant cobordisms. We identify…
A family of TQFTs parametrised by G-crossed braided spherical fusion categories has been defined recently as a state sum model and as a Hamiltonian lattice model. Concrete calculations of the resulting manifold invariants are scarce because…
Heegaard Floer theory is a kind of topological quantum field theory, assigning graded groups to closed, connected, oriented 3-manifolds and group homomorphisms to smooth, oriented 4-dimensional cobordisms. Bordered Heegaard Floer homology…
Topological quantum field theory (TQFT) is a powerful tool to describe homologies, which normally involve complexes and a variety of maps/morphisms, what makes a functional integration approach with a sum over a single kind of maps…
Wehrheim and Woodward have shown how to embed all the canonical relations between symplectic manifolds into a category in which the composition is the usual one when transversality and embedding assumptions are satisfied. A morphism in…
We introduce the category of singular 2-dimensional cobordisms and show that it admits a completely algebraic description as the free symmetric monoidal category on a twin Frobenius algebra, by providing a description of this category in…
We create a framework for odd Khovanov homology in the spirit of Bar-Natan's construction for the ordinary Khovanov homology. Namely, we express the cube of resolutions of a link diagram as a diagram in a certain 2-category of chronological…
We introduce a version of Heegaard diagrams for $5$-dimensional cobordisms with $2$- and $3$-handles, $5$-dimensional $3$-handlebodies, and closed $5$-manifolds. We show that every such smooth $5$-manifold can be represented by a Heegaard…
In this paper, we endow the family of all closed genus $g \ge 1$ surfaces with a structure of a (co)cyclic object in the category of 3-dimensional cobordisms. As a corollary, any $3$-dimensional TQFT induces a (co)cyclic module, which we…
We axiomatize the extended operators in topological orders (possibly gravitationally anomalous, possibly with degenerate ground states) in terms of monoidal Karoubi-complete $n$-categories which are mildly dualizable and have trivial…
We use shifted symplectic geometry to construct the Moore-Tachikawa topological quantum field theories (TQFTs) in a category of Hamiltonian schemes. Our new and overarching insight is an algebraic explanation for the existence of these…
A key tool in our earlier work on ends of manifolds high-dimensional manifolds was an ability to embed cobordisms provided by the Quillen Plus Construction into those ends. Here we develop a `spherical modification' trick which provides a…
We introduce a formalism based on a combinatorial notion of cell complex subject to an inclusion-reversing duality operation. Our main goal is to open the way for a functorial definition of field theories in a context where no manifold or…
We introduce a system of axioms that uniquely defines an (infinity,d)-category of bordisms equipped with geometric data. The underlying manifolds of these bordisms may be smooth, complex, super, or formal smooth manifolds, as well as any…
We present a state sum construction of two-dimensional extended Topological Quantum Field Theories (TQFTs), so-called open-closed TQFTs, which generalizes the state sum of Fukuma--Hosono--Kawai from triangulations of conventional…
We show that unrolled quantum groups at odd roots of unity give rise to relative modular categories. These are the main building blocks for the construction of 1+1+1-TQFTs extending CGP invariants, which are non-semisimple quantum…
We introduce a notion of an integral along a bimonoid homomorphism as a simultaneous generalization of the integral and cointegral of bimonoids. The purpose of this paper is to characterize an existence of a specific integral, called a…