Related papers: Lie groups in tangent join restriction categories
Several representations of geometric shapes involve quotients of mapping spaces. The projection onto the quotient space defines two sub-bundles of the tangent bundle, called the horizontal and vertical bundle. We investigate in these notes…
It is well-known that principal bundles and associated bundles underlie the geometric structure of classical gauge field theories. In this paper, we explore the reformulation of gauge theories in terms of Lie algebroids and their associated…
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…
Two new classes of metrizable vector bundles have been presented in the papers [1] and [4]. The Lie algebroid generalized tangent bundle of a dual vector bundle is presented. This Lie algebroid is a new example of metrizable vector bundle.…
Tangent categories provide a categorical axiomatization of the tangent bundle. There are many interesting examples and applications of tangent categories in a variety of areas such as differential geometry, algebraic geometry, algebra, and…
Manifolds with boundary and with corners form categories ${\bf Man}\subset{\bf Man^b}\subset{\bf Man^c}$. A manifold with corners $X$ has two notions of tangent bundle: the tangent bundle $TX$, and the b-tangent bundle ${}^bTX$. The usual…
Let $G$ be a reductive algebraic group. A toric principal $G$-bundle is a principal $G$-bundle over a toric variety together with a torus action commuting with the $G$-action. Extending the Klyachko classification of toric vector bundles,…
Regular Lie groups are infinite dimensional Lie groups with the property that smooth curves in the Lie algebra integrate to smooth curves in the group in a smooth way (an `evolution operator' exists). Up to now all known smooth Lie groups…
Differential lambda-categories were introduced by Bucciarelli et al. as models for the simply typed version of the differential lambda-calculus of Ehrhard and Regnier. A differential lambda-category is a cartesian closed differential…
By virtue of the well-known theorem, a structure Lie group K of a principal bundle $P$ is reducible to its closed subgroup H iff there exists a global section of the quotient bundle P/K. In gauge theory, such sections are treated as Higgs…
We take advantage of the principal bundle geometry of the space of connections to obtain general results on the presymplectic structure of two classes of (pure) gauge theories: invariant theories, and non-invariant theories satisfying two…
This paper explores a new perspective on the universality of the vertical lift in tangent categories by presenting a categorification of the dimension of smooth manifolds. The universality of the vertical lift is a key part of the axioms of…
The talk was done at the International Conference "Analysis, Topology and Applications", Harbin, China, 23.08.2011. Transitive Lie algebroids have specific properties that allow to look at the transitive Lie algebroid as an element of the…
Cartan geometry provides a unifying algebraic construction of curvature and torsion, based on an underlying model Lie algebra -- a viewpoint that can be extended naturally to the higher algebraic structures underlying supergravity. We…
We prove that isomorphism classes of principal bundles over a diffeological space are in bijection to certain maps on its free loop space, both in a setup with and without connections on the bundles. The maps on the loop space are smooth…
We define a notion of morphism for quotient vector bundles that yields both a category $\textit{QVBun}$ and a contravariant global sections functor $C:\textit{QVBun}^{\textrm{op}}\to\textit{Vect}$ whose restriction to trivial vector bundles…
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…
The group of vertical diffeomorphisms of a principal bundle forms the generalised action Lie groupoid associated to the bundle. The former is generated by the group of maps with value in the structure group, which is also the group of…
A generalized notion of a Lie algebroid is presented. Using this, the Lie algebroid generalized tangent bundle is obtained. A new point of view over (linear) connections theory on a fiber bundle is presented. These connections are…
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…