Related papers: Principal 2-bundles and quotient 2-stacks

Simplicial objects $\mathsf{sC}$ in descent categories $\mathsf{C}$, as introduced by Behrend and Getzler, provide a context in which to study higher stacks. In this note, we extend the construction of the canonical cocycle of a smooth…

We prove Behrend's conjecture on the rationality of the canonical reduction of principal bundles and reductive group schemes for classical groups and give new bounds for the conjecture for exceptional groups. However we find a…

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…

The cartesian structure possessed by relations, spans, profunctors, and other such morphisms is elegantly expressed by universal properties in double categories. Though cartesian double categories were inspired in part by the older program…

In 2017, Catanese--Perroni gave a natural correspondence between the Picard group of a double cover and a set of pairs of a vector bundle of rank two and a certain morphism of vector bundles on the base space. In this paper, we describe 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 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,…

If a characteristic class for two vector bundles over the same base space does not coincide, then the bundles are not isomorphic. We give under rather common assumptions a lower bound on the topological dimension of the set of all points in…

This paper works as an appendix of the paper titled Geometry of Associated Quantum Vector Bundles and the Quantum Gauge Group and for paper titled Yang-Mills-Connes Theory and Quantum Principal SU(N)-Bundles. Here, we are going to prove…

We introduce a spherical variant of Milnor's classifying construction for diffeological groups, based on quadratic normalization of barycentric coordinates. This construction gives rise to a contractible diffeological space endowed with…

A compact closed bicategory is a symmetric monoidal bicategory where every object is equipped with a weak dual. The unit and counit satisfy the usual "zig-zag" identities of a compact closed category only up to natural isomorphism, and the…

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…

A natural explicit condition is given ensuring that an action of the multiplicative monoid of non-negative reals on a manifold F comes from homotheties of a vector bundle structure on F, or, equivalently, from an Euler vector field. This is…

We present a construction (and classification) of certain invariant 2-forms on the real symplectic group. They are used to define a symplectic form on the quotient by a maximal torus and to "lift" a symplectic structure from a symplectic…

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…

We study monoidal 2-categories and bicategories in terms of categorical extensions and the cohomological data they determine in appropriate cohomology theories with coefficients in Picard groupoids. In particular, we analyze the hierarchy…

We develop a 2-dimensional version of accessibility and presentability compatible with the formalism of flat pseudofunctors. First we give prerequisites on the different notions of 2-dimensional colimits, filteredness and cofinality; in…

We generalize geometric prequantization of symplectic manifolds to differentiable stacks. Our approach is atlas-independent and provides a bijection between isomorphism classes of principal circle bundles (with or without connections) and…

We build a concrete and natural model for the strict 2-category of orbifolds. In particular we prove that if one localizes the 2-category of proper etale Lie groupoids at a class of 1-arrows that we call "covers", then the strict 2-category…

Given an arbitrary topological complex vector space $A$, a quotient vector bundle for $A$ is a quotient of a trivial vector bundle $\pi_2:A\times X\to X$ by a fiberwise linear continuous open surjection. We show that this notion subsumes…