Related papers: Two-Categorical Bundles and Their Classifying Spac…
Categorifying the concept of topological group, one obtains the notion of a 'topological 2-group'. This in turn allows a theory of 'principal 2-bundles' generalizing the usual theory of principal bundles. It is well-known that under mild…
I categorify the definition of fibre bundle, replacing smooth manifolds with differentiable categories, Lie groups with coherent Lie 2-groups, and bundles with a suitable notion of 2-bundle. To link this with previous work, I show that…
We develop a ready-to-use comprehensive theory for (super) 2-vector bundles over smooth manifolds. It is based on the bicategory of (super) algebras, bimodules, and intertwiners as a model for 2-vector spaces. We discuss symmetric monoidal…
In this paper we introduce principal 2-bundles and show how they are classified by non-abelian Cech cohomology. Moreover, we show that their gauge 2-groups can be described by 2-group-valued functors, much like in classical bundle theory.…
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 generalize principal bundles and quotient stacks to the two-categorical context of bisites. We introduce a notion of principal 2-bundle that makes sense for a 2-category with finite flexible limits, endowed with a bitopology. We then use…
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 introduce and examine the notion of principal $\mathbb{Z}_2^n$-bundles, i.e., principal bundles in the category of $\mathbb{Z}_2^n$-manifolds. The latter are higher graded extensions of supermanifolds in which a $\mathbb{Z}_2^n$-grading…
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…
The main result of this paper is a new classification theorem for links (smooth embeddings in codimension 2). The classifying space is the rack space (defined in [Trunks and classifying spaces, Applied Categorical Structures, 3 (1995)…
We deal with the symmetries of a (2-term) graded vector space or bundle. Our first theorem shows that they define a (strict) Lie 2-groupoid in a natural way. Our second theorem explores the construction of nerves for Lie 2-categories,…
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…
Connections and curvings on gerbes are beginning to play a vital role in differential geometry and mathematical physics -- first abelian gerbes, and more recently nonabelian gerbes. These concepts can be elegantly understood using the…
The classification problem for principal fibre bundles over two-dimensional CW-complexes is considered. Using the Postnikov factorization for the base space of a universal bundle a Puppe sequence that gives an implicit solution for the…
We associate to a 2-vector bundle over an essentially finite groupoid a 2-vector space of parallel sections, or, in representation theoretic terms, of higher invariants, which can be described as homotopy fixed points. Our main result is…
Vector bundles and double vector bundles, or $2$-fold vector bundles, arise naturally for instance as base spaces for algebraic structures such as Lie algebroids, Courant algebroids and double Lie algebroids. It is known that all these…
We study the notion of duality in the context of graded manifolds. For graded bundles, somehow like in the case of Gelfand representation and the duality: points vs. functions, we obtain natural dual objects which belongs to a different…
For any topological bicategory B, the Duskin nerve NB of B is a simplicial space. We introduce the classifying topos BB of B as the Deligne topos of sheaves Sh(NB) on the simplicial space NB. It is shown that the category of geometric…
In the sixties, Grothendieck developed the theory of pro-objects over a category. The fundamental property of the category $Pro(C)$ is that there is an embedding $C \stackrel{c}{\rightarrow} Pro(C)$, $Pro(C)$ is closed under small…
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…