Related papers: 2-Tangles

We associate to a braided 2-stack ${\cal C}$ a torsor, endowed with a symmetric cube structure (or $\Sigma$-structure), whose triviality is equivalent to the existence on ${\cal C}$ of a fully symmetric monoidal structure. In order to…

We show that if $M$ is a Frobenius manifold of dimension $n$ such that $T_{x} M$ is semisimple for every $x \in M$, then there exists a canonical 2-vector bundle $\mathcal{B}$ over $M$ of rank $n$. This 2-vector bundle encodes the…

We discuss some specializations of the frames of flat orthonormal frame bundles over geometries of indefinite signature, and the resulting symmetries of families of embedded Riemannian or pseudo-Riemannian geometries. The specializations…

We construct a compact closed category out of any symmetric monoidal category by freely adding adjoints to its objects. The morphisms of the completion are defined as string diagrams annotated by objects and morphisms from the original…

We give a finite presentation of the cobordism symmetric monoidal bicategory of (smooth, oriented) closed manifolds, cobordisms and cobordisms with corners as an extension of the bicategory of closed manifolds, cobordisms and…

We classify four-dimensional compact solvmanifolds up to diffeomorphism, while determining which of them have complex analytic structures. In particular, we shall see that a four-dimensional compact solvmanifold S can be written, up to…

Tangent categories provide an axiomatic framework for understanding various tangent bundles and differential operations that occur in differential geometry, algebraic geometry, abstract homotopy theory, and computer science. Previous work…

In this paper, we provide a notion of $\infty$-bicategories fibred in $\infty$-bicategories which we call 2-Cartesian fibrations. Our definition is formulated using the language of marked biscaled simplicial sets: Those are scaled…

We describe some of the basic properties of the 2-category of 2-term complexes in an abelian category, using butterflies as morphisms.

Given a 2-category $\mathcal{A}$, a $2$-functor $\mathcal{A} \overset {F} {\longrightarrow} \mathcal{C}at$ and a distinguished 1-subcategory $\Sigma \subset \mathcal{A}$ containing all the objects, a $\sigma$-cone for $F$ (with respect to…

We show that among the Euclidean submanifolds with codimension two the ones of rank two that are parabolic but nonruled are isometrically rigid. This generalizes the result in [10] that these submanifolds are genuinely rigid. In addition,…

We study algebraic structures ($L_\infty$ and $A_\infty$-algebras) introduced by Gaiotto, Moore and Witten in their recent work devoted to certain supersymmetric 2-dimensional massive field theories. We show that such structures can be…

We classify 1-dimensional connected dually flat manifolds $M$ that are toric in the sense of [Molitor, arXiv:2109.04839], and show that the corresponding torifications are complex space forms. Special emphasis is put on the case where M is…

We relate degree one grasper families of embedded circles to various constructions of diffeomorphisms found in the literature -- theta clasper classes of Watanabe, barbell diffeomorphisms of Budney and Gabai, and twin twists of Gay and…

We consider spaces of plane curves in the setting of algebraic geometry and of singularity theory. On one hand there are the complete linear systems, on the other we consider unfolding spaces of bivariate polynomials of Brieskorn-Pham type.…

The purpose of this work is to close the local deformation problem of rank two Euclidean submanifolds in codimension two by describing their moduli space of deformations. In the process, we provide an explicit simple representation of these…

We study holomorphic 2-forms on projective (or compact Kaehler) threefolds not of general type and prove that in almost all cases the 2-form is created by some standard process. This means roughly that every 2-form is induced by a…

We define an invariant of tangles and framed tangles given a finite crossed module and a pair of functions, called a Reidemeister pair, satisfying natural properties. We give several examples of Reidemeister pairs derived from racks,…

Following the general theory of categorified quantum groups developed by the author previously (arxiv:2304.07398), we construct the 2-Drinfel'd double associated to a finite group $N=G_0$. For $N=\mathbb{Z}_2$, we explicitly compute the…

A braided monoidal category may be considered a $3$-category with one object and one $1$-morphism. In this paper, we show that, more generally, $3$-categories with one object and $1$-morphisms given by elements of a group $G$ correspond to…