Related papers: $\infty$-Bundles
The notion of a higher bundle gerbe is introduced to give a geometric realization of the higher degree integral cohomology of certain manifolds. We consider examples using the infinite dimensional spaces arising in gauge theories.
This paper studies the homotopy theory of parameterized spectrum objects in a model category from a global point of view. More precisely, for a model category $\mathcal{M}$ satisfying suitable conditions, we construct a relative model…
This is an invited survey article on higher gauge theory for the Encyclopedia of Mathematical Physics, 2nd edition. In particular, we provide a lightning introduction to higher structures and to the construction of the kinematical data of…
We develop a description of higher gauge theory with higher groupoids as gauge structure from first principles. This approach captures ordinary gauge theories and gauged sigma models as well as their categorifications on a very general…
The notion of global higher-form symmetries has received much attention, but leaves room for a more systematic mathematical formulation. In this article, we highlight the concept of higher automorphism bundles from the field of higher…
In these lecture notes we will try to give an introduction to the use of the mathematics of fibre bundles in the understanding of some global aspects of gauge theories, such as monopoles and instantons. They are primarily aimed at beginning…
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…
This set of lecture notes first gives an introduction to the geometry of principal bundles. Next, it demonstrates how they can be used to formalize the concept of gauge theories arising in physics. A basic familiarity with the differential…
The homotopy theory of gauge groups has received considerable attention in recent decades. In this work, we study the homotopy theory of gauge groups over some high dimensional manifolds. To be more specific, we study gauge groups of…
A gauge theory is associated with a principal bundle endowed with a connection permitting to define horizontal lifts of paths. The horizontal lifts of surfaces cannot be defined into a principal bundle structure. An higher gauge theory is…
Hyperholomorphic bundle is a bundle with connection defined over a hyperkaehler manifold such that this connection is holomorphic with respect to all complex structures induced by a hyperkaehler structure. A hyperholomorphic connection is…
We define the pull-back of a smooth principal fibre bundle, and show that it has a natural principal fibre bundle structure. Next, we analyse the relationship between pull-backs by homotopy equivalent maps. The main result of this article…
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…
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…
Invited contribution to the Encyclopedia of Mathematical Physics. We give an introduction to the homotopical theory of higher categories, focused on motivating the definitions of the basic objects, namely $\infty$-categories and…
The intended model of the homotopy type theories used in Univalent Foundations is the infinity-category of homotopy types, also known as infinity-groupoids. The problem of higher structures is that of constructing the homotopy types needed…
We introduce a general definition of higher-form connections on principal $\infty$-bundles in differential geometry. This is achieved by developing the formal differentiation and integration of maps from smooth manifolds to derived stacks…
The paper glosses different forms of an introducing of higher order tangent-like functors, especially functors derived from higher order nonholonomic tangent functors. A special attention is devoted to higher order osculating bundles: their…
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…
In this paper, we introduce the concept of principal bundles on statistical manifolds. After necessary preliminaries on information geometry and principal bundles on manifolds, we study the $\alpha$-structure of frame bundles over…