arXiv research

A modular object in a symmetric monoidal bicategory is a Frobenius algebra object whose product and coproduct are biadjoint, equipped with a braided structure and a compatible twist, satisfying rigidity, ribbon, pivotality, and modularity conditions. We prove that the oriented 3-dimensional bordism bicategory of 1-, 2-…

A bicategory approach to differential cohomology is presented. Based on the axioms of Bunke-Schick, a symmetric monoidal groupoid is associated to differential refinements of cohomology theories. It is proven that such differential refinements are unique up to equivalence of the corresponding symmetric monoidal groupoi…

Defines extended TQFTs using handle attachments.

Theory of 2-vector bundles for smooth manifolds developed.

The paper solves a problem in constructing a bicategory of algebra bundles.

The paper discusses strictification and non-strictification of monoidal categories.

Develops a new framework for anomaly description in quantum field theories.

We give another definition of two-dimensional extended homotopy field theories (E-HFTs) with aspherical targets and classify them. When the target of E-HFT is chosen to be a $K(G,1)$-space, we classify E-HFTs taking values in the symmetric monoidal bicategory of algebras, bimodules, and bimodule maps by certain Frobeni…

This paper categorifies Quinn's TQFTs and computes them for specific omega-groupoids.

We use techniques from functorial quantum field theory to provide a geometric description of the parity anomaly in fermionic systems coupled to background gauge and gravitational fields on odd-dimensional spacetimes. We give an explicit construction of a geometric cobordism bicategory which incorporates general backgro…

New monoids tied to symmetric group and Jones/Brauer monoids discovered.

Constructs 2-vector bundles and 2K-theory for Lie groupoids and 2-equivariant settings.

We study the algebraic structures of the virtual singular braid monoid, $VSB_n$, and the virtual singular pure braid monoid, $VSP_n$. The monoid $VSB_n$ is the splittable extension of $VSP_n$ by the symmetric group $S_n$. We also construct a representation of $VSB_n$.

The paper studies submonoids of singular twisted virtual braids and their properties.

Abstract TQFT for sutured manifolds using Floer homology.

Involutive Hopf monoids yield surface invariants.

Equivalent bicategories constructed from action Lie groupoids.

We define a symmetric monoidal (4,3)-category with duals whose objects are certain enriched multi-fusion categories. For every modular tensor category $\mathcal{C}$, there is a self enriched multi-fusion category $\mathfrak{C}$ giving rise to an object of this symmetric monoidal (4,3)-category. We conjecture that the e…

It is shown that the multiplicative monoids of Brauer's centralizer algebras generated out of the basis are isomorphic to monoids of endomorphisms in categories where an endofunctor is adjoint to itself, and where, moreover, a kind of symmetry involving the self-adjoint functor is satisfied. As in a previous paper, of …

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 terms of generators and relations. A twin Frobenius algebra (C, W, z, z^*) consist…

Extends six operations to sheaves in any symmetric monoidal category.

The paper studies posets from decompositions in symmetric monoidal categories.

We describe a bicategory $(\mathcal{R}ed\,\mathcal{O}rb)$ of reduced orbifolds in the framework of classical differential geometry (i.e. without any explicit reference to notions of Lie groupoids or differentiable stacks, but only using orbifold atlases, local lifts and changes of charts). In order to construct such a …

It is well known that the opposite F^{op} of the category F of finitely generated free groups is a Lawvere theory for groups, and also that F is a free symmetric monoidal category on a commutative Hopf monoid, or, in other words, a PROP for commutative Hopf algebras. In this paper, we give a direct, combinatorial proof…

We construct a weak 2-functor from the bicategory of oriented tangles to a bicategory of Lagrangian cospans. This functor simultaneously extends the Burau representation of the braid groups, its generalization to tangles due to Turaev and the first-named author, and the Alexander module of 1 and 2-dimensional links.

We study Question 7.9 in the paper "Monoids in the mapping class group" by Etnyre and Van Horn-Morris; whether a symmetric mapping class admitting a positive factorization is a lift of a quasi-positive braid. We answer affirmatively for mapping classes satisfying certain cyclic conditions.

Study of equivariant Poisson 2-algebra bundles over configuration spaces.

Study shows $S^1$ algebraic structure in 2-dimensional CW-complex cobordisms.

We construct a categorification of the maximal commutative subalgebra of the type $A$ Hecke algebra. Specifically, we propose a monoidal functor from the (symmetric) monoidal category of coherent sheaves on the flag Hilbert scheme to the (non-symmetric) monoidal category of Soergel bimodules. The adjoint of this functo…

Internalizes Turaev's construction for TQFTs using ribbon categories.

New geometric variant of factorization homology for conformally flat manifolds.

We define and study the category of symmetric $\mathfrak{sl}_2$-webs. This category is a combinatorial description of the category of all finite dimensional quantum $\mathfrak{sl}_2$-modules. Explicitly, we show that (the additive closure of) the symmetric $\mathfrak{sl}_2$-spider is (braided monoidally) equivalent to …

A modular functor is constructed from non-semisimple 3d TFTs.

We categorify the notion of an infinitesimal braiding in a linear strict symmetric monoidal category, leading to the notion of a (strict) infinitesimal 2-braiding in a linear symmetric strict monoidal 2-category. We describe the associated categorification of the 4-term relation, leading to six categorified relations. …

Polytopes in R^n with integral vertices form a monoid under the Minkowski sum, and the Grothendieck construction gives rise to a group. We show that every symmetric polytope is a norm in this group for every n.

Quasifold groupoids and diffeological quasifolds are studied, showing an equivalence of categories.

Study of generalized Legendrian racks and their GL-structures.

We give a simple sufficient condition for Quinn's "bordism-type spectra" to be weakly equivalent to strictly associative ring spectra. We also show that Poincare bordism and symmetric L-theory are naturally weakly equivalent to monoidal functors. Part of the proof of these statements involves showing that Quinn's funct…

Solves open problem on Lie groupoids equivalence.

The conformal Laplacian's algebraic structure is explored in 2D, revealing a central charge.

New mapping class group actions on Hochschild complexes for modular categories.

Extends 4D cornered skein theory to surfaces, proving gluing formulas.

Cube category simplifies set modeling.

Open 2D TFTs extend to closed theories with circle value as Hochschild homology.

New construction of Turaev-Viro invariants invariant under Morita equivalence.

Motivated by the Moore-Segal axioms for an open-closed topological field theory, we consider planar open string topological field theories. We rigorously define a category 2Thick whose objects and morphisms can be thought of as open strings and diffeomorphism classes of planar open string worldsheets. Just as the categ…

We describe the universal target of annular Khovanov-Rozansky link homology functors as the homotopy category of a free symmetric monoidal category generated by one object and one endomorphism. This categorifies the ring of symmetric functions and admits categorical analogues of plethystic transformations, which we use…

Motivated by topology, we develop a general theory of traces and shadows for an endobicategory, which is a~pair: bicategory $\mathbf{C}$ and endobifunctor $Σ\colon \mathbf C \to\mathbf C$. For a graded linear bicategory and a fixed invertible parameter $q$, we quantize this theory by using the endofunctor $Σ_q$ such th…