相关论文: Butterflies I: morphisms of 2-group stacks

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.

Poly-bicategories generalise planar polycategories in the same way as bicategories generalise monoidal categories. In a poly-bicategory, the existence of enough 2-cells satisfying certain universal properties (representability) induces…

The classification of algebraic vector bundles of rank 2 over smooth affine fourfolds is a notoriously difficult problem. Isomorphism classes of such vector bundles are not uniquely determined by their Chern classes, in contrast to the…

A crossed module is (A,H,d,\la) where d:A\to H is a homomorphism of groups and H acts on A, with conditions leading to a groupoid A\lcross H{\to\atop \to}H as an example of a strict 2-group. We give the corresponding notion of a quantum…

We give a general description of the structure of a discrete double groupoid (with an extra, quite natural, filling condition) in terms of groupoid factorizations and groupoid 2-cocycles with coefficients in abelian group bundles. Our…

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…

Let X be a geometrically irreducible smooth projective curve over a field k. We describe the algebra of endomorphisms of indecomposable unstable vector bundles over X of rank 2 and degree d. Fixing some numerical invariants, namely the…

We study non-abelian differentiable gerbes over stacks using the theory of Lie groupoids. More precisely, we develop the theory of connections on Lie groupoid $G$-extensions, which we call "connections on gerbes", and study the induced…

The first goal of this survey paper is to argue that if orbifolds are groupoids, then the collection of orbifolds and their maps has to be thought of as a 2-category. Compare this with the classical definition of Satake and Thurston of…

We attempt to develop a general algebro-geometric study of the moduli stack of commutative, 1-parameter formal Lie groups. We emphasize the pro-algebraic structure of this stack: it is the inverse limit, over varying n, of moduli stacks of…

We discuss various lifting and reduction problems for bundles and gerbes in the context of a strict Lie 2-group. We obtain a geometrical formulation (and a new proof) for the exactness of Breen's long exact sequence in non-abelian…

In the first part of this paper, we propose a uniform interpretation of characteristic classes as obstructions to the reduction of the structure group and to the existence of an equivariant extension of a certain homomorphism defined a…

Raynaud--Gruson characterized flat and pure morphisms between affine schemes in terms of projective modules. We give a similar characterization for non-affine morphisms. As an application, we show that every quasi-coherent sheaf is the…

We give a classification of all equivariant line of bundles on the semi-stable model $\hat{\mathbb{H}}$ of the Drinfeld upper half plane $\mathbb{H}$ on $\mathbb{Q}_p$ for a certain subgroup $[G]_2$ of ${\rm GL}_2(\mathbb{Q}_p)$ of index…

Usually bundle gerbes are considered as objects of a 2-groupoid, whose 1-morphisms, called stable isomorphisms, are all invertible. I introduce new 1-morphisms which include stable isomorphisms, trivializations and bundle gerbe modules.…

For those deformations that satisfy a certain non-degeneracy condition, we describe the structure of certain simple modules of the deformations of the subcharacter algebra of a finite group. For finite abelian groups, we prove that the…

Inspired by Morse theory, we introduce a topological stack Broken, which we refer to as the moduli stack of broken lines. We show that Broken can be presented as a Lie groupoid with corners and provide a combinatorial description of sheaves…

The behaviour of limits of weak morphisms in 2-dimensional universal algebra is not 2-categorical in that, to fully express the behaviour that occurs, one needs to be able to quantify over strict morphisms amongst the weaker kinds.…

We construct a cycle in higher Hochschild homology associated to the 2-dimensional torus which represents 2-holonomy of a non-abelian gerbe in the same way the ordinary holonomy of a principal G-bundle gives rise to a cycle in ordinary…

In this paper, first we classify non-abelian extensions of Leibniz algebras by the second non-abelian cohomology. Then, we construct Leibniz 2-algebras using derivations of Leibniz algebras, and show that under a condition on the center, a…