Related papers: Higher-Dimensional Algebra IV: 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…
Holomorphic vector bundles on $\mathbb C\times M$, $M$ a complex manifold, with meromorphic connections with poles of Poincar\'e rank 1 along $\{0\}\times M$ arise naturally in algebraic geometry. They are called $(TE)$-structures here.…
Relative self-linking and linking "numbers" for pairs of knots in oriented 3-manifolds are defined in terms of intersection invariants of immersed surfaces in 4-manifolds. The resulting concordance invariants generalize the usual…
For a weak 2-group, we construct a bicategory of flat 2-group bundles over differentiable stacks as a localization of a functor bicategory. This description is amenable to explicit geometric constructions. For example, we show that flat…
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 the paper, we consider the class of so-called endo-commutative algebras. From the identity imposed to specify this class, one can easily see that the product in this class preserves the square of elements. We give a complete…
We explore algebraic characterizations of 2-knots whose associated knot manifolds fibre over lower-dimensional orbifolds, and consider also some issues related to the groups of higher-dimensional fibred knots.
We present a new duality between the F-terms of supersymmetric field theories defined in two- and four-dimensions respectively. The duality relates N=2 supersymmetric gauge theories in four dimensions, deformed by an Omega-background in one…
We extend the theory of relative trisections of smooth, compact, oriented $4$-manifolds with connected boundary given by Gay and Kirby to include $4$-manifolds with an arbitrary number of boundary components. Additionally, we provide…
We classify all compact simply connected biquotients of dimension 4 and 5. In particular, all pairs of groups $(G,H)$ and embeddings $H\rightarrow G\times G$ giving rise to a particular biquotient are classified.
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…
We define the class of high dimensional graph manifolds. These are compact smooth manifolds supporting a decomposition into finitely many pieces, each of which is diffeomorphic to the product of a torus with a finite volume hyperbolic…
By using the notion of a rigid R-matrix in a monoidal category and the Reshetikhin--Turaev functor on the category of tangles, we review the definition of the associated invariant of long knots. In the framework of the monoidal categories…
Duality groups of Abelian gauge theories on four manifolds and their reduction to two dimensions are considered. The duality groups include elements that relate different space-times in addition to relating different gauge-coupling…
In this paper, we address the construction of homotopy bicategories of $(\infty,2)$-categories, which we take as being modeled by 2-fold Segal spaces. Our main result is the concrete construction of a functor $h_2$ from the category of…
Charts are oriented labeled graphs in a disk. Any simple surface braid (2-dimensional braid) can be described by using a chart. Also, a chart represents an oriented closed surface (called a surface-link) embedded in 4-space. In this paper,…
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,…
Finite-order invariants of knots in arbitrary 3-manifolds (including non-orientable ones) are constructed and studied by methods of the topology of discriminant sets. Obstructions to the integrability of admissible weight systems to…
We make the category BGrb_M of bundle gerbes on a manifold M into a 2-category by providing 2-cells in the form of transformations of bundle gerbe morphisms. This description of BGrb_M as a 2-category is used to define the notion of a…
We introduce a framework to define coalgebra and bialgebra structures on two-dimensional (2D) square lattices, extending the algebraic theory of Hopf algebras and quantum groups beyond the one-dimensional (1D) setting. Our construction is…