Related papers: Principal bundles as Frobenius adjunctions with ap…

Hilsum-Skandalis maps, from differential geometry, are studied in the context of a cartesian category. It is shown that Hilsum-Skandalis maps can be represented as stably Frobenius adjunctions. This leads to a new and more general proof…

Let $X$ be a normal projective variety defined over an algebraically closed field $k$ of positive characteristic. Let $G$ be a connected reductive group defined over $k$. We prove that some Frobenius pull back of a principal $G$-bundle…

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…

Principal bundles have at least three different definitions, depending on the category of geometric objects studied. In Differential Geometry, they are defined as locally trivial projection map of smooth manifolds with an atlas whose…

We consider principal bundles over homogeneous spaces G/P, where P is a parabolic subgroup of a semisimple and simply connected complex linear algebraic group G. We prove that a holomorphic principal H--bundle, where H is a complex…

The theory of principal bundles makes sense in any infinity-topos, such as that of topological, of smooth, or of otherwise geometric infinity-groupoids/infinity-stacks, and more generally in slices of these. It provides a natural geometric…

It it shown that geometric morphisms between elementary toposes can be represented as adjunctions between the corresponding categories of locales. These adjunctions are characterised as those that preserve the order enrichment, commute with…

We show the Frobenius pullback of a general semi-stable vector bundle in the moduli space of vector bundles with fixed rank and degree is still semi-stable by deformation trick. We then present several applications of the main theorem.

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.…

We define double principal bundles (DPBs), for which the frame bundle of a double vector bundle, double Lie groups and double homogeneous spaces are basic examples. It is shown that a double vector bundle can be realized as the associated…

Let X be a compact connected Riemann surface equipped with an anti-holomorphic involution \sigma. Let G be a connected complex reductive affine algebraic group, and let \sigma_G be a real form of G. We consider holomorphic principal…

We consider principal bundles as generalized morphisms between topological groupoids. In the category of these generalized morphisms two topological groupoids are isomorphic if and only if they are Morita equivalent. We show that the fibers…

Let M be a geometrically irreducible smooth projective variety, defined over a finite field k, such that M admits a k-rational point x_0. Let \varpi(M,x_0) denote the corresponding fundamental group--scheme introduced by Nori. Let E_G be a…

Let $G$ be a Lie group and $G\to\Aut(G)$ be the canonical group homomorphism induced by the adjoint action of a group on itself. We give an explicit description of a 1-1 correspondence between Morita equivalence classes of, on the one hand,…

Higher bundles are homotopy coherent generalisations of classical fibre bundles. They appear in numerous contexts in geometry, topology and physics. In particular, higher principal bundles provide the geometric framework for higher-group…

Let M be an irreducible smooth projective variety defined over \bar{{\mathbb F}_p}. Let \pi(M, x_0) be the fundamental group scheme of M with respect to a base point x_0. Let G be a connected semisimple linear algebraic group over…

The main goal of this article is to construct some geometric invariants for the topology of the set $\mathcal{F}$ of flat connections on a principal $G$-bundle $P\,\longrightarrow\, M$. Although the characteristic classes of principal…

We define a parameter dependent notion of stability for principal bundles with a certain local decoration, which generalizes both parabolic and level structures, and construct their coarse moduli space. A necessary technical step is the…

We consider the internalization of the usual notion of principal bundle in a site that has all pullbacks and a terminal object. We use this notion to consider the explicit construction of quotient prestacks via presheaves of categories of…

A categorical principal bundle is a structure comprised of categories that is analogous to a classical principal bundle; examples arise from geometric contexts involving bundles over path spaces. We show how a categorical principal bundle…