Related papers: Higher-dimensional study of extensions via torsors

Starting with a k-linear or DG category admitting a (homotopy) Serre functor, we construct a k-linear or DG 2-category categorifying the Heisenberg algebra of the numerical K-group of the original category. We also define a 2-categorical…

Let $C,A$ be countable abelian groups. In this paper we determine the complexity of classifying extensions $C$ by $A$, in the cases when $C$ is torsion-free and $A$ is a $p$-group, a torsion group with bounded primary components, or a free…

In this thesis, we develop the theory of bifibrations of polycategories. We start by studying how to express certain categorical structures as universal properties by generalising the shape of morphism. We call this phenomenon…

We obtain an explicit upper bound on the torsion of the Picard group of the forms of the affine line and their regular completions. We also obtain a sufficient condition for the Picard group of the forms of the affine line to be non trivial…

We define a bicategory $\mathbf{2TDX}$ whose 1-cells provide a categorification of transducers, computational devices extending finite-state automata with output capabilities. This bicategory is a mathematically interesting object: its…

In this paper, we study 2-representations of 2-quantum groups (in the sense of Rouquier and Khovanov-Lauda) categorifying tensor products of irreducible representations. Our aim is to construct knot homologies categorifying…

Higher derivations on an associative algebra generalizes higher order derivatives. We call a tuple consisting of an algebra and a higher derivation on it by an AssHDer pair. We define a cohomology for AssHDer pairs with coefficients in a…

We classify all three-dimensional connected topological loops such that the group topologically generated by their left translations is the four-dimensional connected Lie group $G$ which has trivial center and precisely two one-dimensional…

Topological T-duality correspondences are higher categorical objects that can be classified by a strict Lie 2-group. In this article we compute the categorical automorphism group of this 2-group; hence, the higher-categorical symmetries of…

We associate to each toric vector bundle on a toric variety X(Delta) a "branched cover" of the fan Delta together with a piecewise-linear function on the branched cover. This construction generalizes the usual correspondence between toric…

This is the second paper in a series. In part I we developed deformation theory of objects in homotopy and derived categories of DG categories. Here we extend these (derived) deformation functors to an appropriate bicategory of artinian DG…

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…

We prove the first nontrivial reconstruction theorem for modular tensor categories: the category associated to any twisted Drinfeld double of any finite group, can be realised as the representation category of a completely rational…

Given an appropriate diagram of left Quillen functors between model categories, one can define a notion of homotopy fiber product, but one might ask if it is really the correct one. Here, we show that this homotopy pullback is well-behaved…

We give a systematic construction of semiorthogonal decompositions of derived categories of coherent sheaves on quasi-smooth derived algebraic stacks over $\mathbb{C}$, where the summands are subcategories defined by weight conditions, and…

We compute the algebraic Picard group of the category of $K(n)$-local spectra, for all heights $n$ and all primes $p$. In particular, we show that it is always finitely generated over $\mathbb{Z}_p$ and, whenever $n \geq 2$, is of rank $2$,…

Homomorphisms are defined between the multiplicative group of an etale algebra of dimension 4 and the multiplicative group of a canonically associated etale algebra of degree 6 over an arbitrary field. These homomorphisms are used to relate…

This paper is a contribution to the development of the theory of representations of inverse semigroups in toposes. It continues the work initiated by Funk and Hofstra. For the topos of sets, we show that torsion-free functors on…

We classify the $5$-dimensional homogeneous geometries in the sense of Thurston. The present paper (part 2 of 3) classifies those in which the linear isotropy representation is either irreducible or trivial. The $5$-dimensional geometries…

The purpose of this paper is to investigate the global categorical symmetries that arise when gauging finite higher groups in three or more dimensions. The motivation is to provide a common perspective on constructions of non-invertible…