Related papers: Principal infinity-bundles - Presentations
In this paper we describe a classifying theory for families of simplicial topological groups. If $B$ is a topological space and $G$ is a simplicial topological group, then we can consider the non-abelian cohomology $H(B,G)$ of $B$ with…
We classify SO(n)-equivariant principal bundles over $S^n$ in terms of their isotropy representations over the north and south poles. This is an example of a general result classifying equivariant $(\Pi, G)$-bundles over cohomogeneity one…
Essentials of sheaves are briefly presented, followed by related comments on presheaves, bundles, manifolds and singularities, aiming to point to their differences not only in their different formal mathematical structures, but also in the…
Modules over a vertex operator algebra V give rise to sheaves of coinvariants on moduli of stable pointed curves. If V satisfies finiteness and semi-simplicity conditions, these sheaves are vector bundles. This relies on factorization, an…
The usual notion of a site fibred over a stack is expanded to a definition of a site C/A fibred over a presheaf of categories A. Presheaves of simplicial sets on the site fibred over a presheaf of categories A are contravariant enriched…
Given any topological group $G$, the topological classification of principal $G$-bundles over a finite CW-complex $X$ is long-known to be given by the set of free homotopy classes of maps from $X$ to the corresponding classifying space…
Let $\mathscr X$ be an $\infty$-topos, for example the $\infty$-category of simplicial sheaves on a Grothendieck site. Then $\infty$-group sheaves are group objects in $\mathscr X$. Let $A\in\mathrm{Grp}\mathscr X$ be such a group object.…
We provide a general, homotopy-theoretic definition of string group models within an $\infty$-category of smooth spaces, and we present new smooth models for the string group. Here, a smooth space is a presheaf of $\infty$-groupoids on the…
We present a novel generalisation of principal bundles -- principaloid bundles: These are fibre bundles $\pi:P\to B$ where the typical fibre is the arrow manifold $G$ of a Lie groupoid $G\rightrightarrows M$ and the structure group is…
We introduce a new construction, the isotropy groupoid, to organize the orbit data for split $\Gamma$-spaces. We show that equivariant principal $G$-bundles over split $\Gamma$-CW complexes $X$ can be effectively classified by means of…
This article describes the cocompletion of a category $C$ with finite limits as the homotopy category of some equivalence 2-groupoids in coproducts of elements of $C$. This yields a simple link between several definitions of an infinitary…
We introduce the notion of a strong generalized holomorphic (SGH) fiber bundle and develop connection and curvature theory for an SGH principal $G$-bundle over a regular generalized complex (GC) manifold, where $G$ is a complex Lie group.…
We develop a bundle theory of presheaves on small categories, based on similar work by Brent Everitt and Paul Turner. For a certain set of presheaves on posets, we produce a Leray-Serre type spectral sequence that gives a reduction property…
We describe the moduli space of extensions in the model category of simplicial presheaves. This article can be seen as a generalization of Blomgren-Chacholski results in the case of simplicial sets. Our description of the moduli space of…
The theory of principal $G$-bundles over a Lie groupoid is an important one, unifying the various types of principal $G$-bundles, including those over manifolds, those over orbifolds, as well as equivariant principal $G$-bundles. In this…
Motivated by algebraic quantum field theory, we study presheaves of symmetric tensor categories defined over the base of a space, intended as a spacetime. Any section of a presheaf (that is, any "superselection sector", in the applications…
Let H be a closed subgroup of a linear algebraic group G defined over a field F. There is an equivalence of categories between the category of linear finite-dimensional representations of H and the category of finite rank G-homogeneous…
Let G be a compact, connected and simply connected Lie group, and {\Omega}G the space of the loops in G based at the identity. This note shows a way to compute the cohomology of the total space of a principal {\Omega}G-bundle over a…
The main goal of this paper is to establish close relations among sheaves of modules on atomic sites, representations of categories, and discrete representations of topological groups. We characterize sheaves of modules on atomic sites as…
If $G$ is a presheaf of groupoids on a small site, and $A$ is a sheaf of abelian groups, we prove that the sheaf cohomology group $H^2 (BG, A)$ is in bijection with a set of central extensions of $G$ by $A$. We use this result to study the…