Related papers: Lie groups in tangent join restriction categories

Let $\Omega$ be a complex manifold, and let $X\subset \Omega$ be an open submanifold whose closure $\bar X$ is a (not necessarily compact) submanifold with smooth boundary. Let $G$ be a complex Lie group, $\Pi$ be a differentiable principal…

Associated to a symmetric space there is a canonical connection with zero torsion and parallel curvature. This connection acts as a binary operator on the vector space of smooth sections of the tangent bundle, and it is linear with respect…

We investigate the properties of a specific quotient space construction, the "warped projection'" $\pi: W_\alpha \to D_\alpha$, over a smoothly contractible base. In a previous version of this work, it was claimed that this structure…

We study fiber bundles where the fibers are not a group $G$, but a free $G$-space with disjoint orbits. These bundles closely resemble principal bundles, hence we call them semi-principal bundles. The study of such bundles is facilitated by…

Let $G \to P \to M$ be a flat principal bundle over a closed and oriented manifold $M$ of dimension $m=2d$. We construct a map of Lie algebras $\Psi: \H_{2\ast} (L M) \to {\o}(\Mc)$, where $\H_{2\ast} (LM)$ is the even dimensional part of…

We show that the category of affine bundles over a smooth manifold M is equivalent to the category of affine spaces modelled on projective finitely generated C^\infty(M)-modules. Using this equivalence of categories, we are able to give an…

This review paper is concerned with the generalizations to field theory of the tangent and cotangent structures and bundles that play fundamental roles in the Lagrangian and Hamiltonian formulations of classical mechanics. The paper…

In this paper we study the classifying theory of principal bundles in the parametrized setting, motivated by recent interest in higher gauge theory. Using simplicial techniques, we construct a product-preserving classifying space functor…

It is well known that the moduli space of flat connections on a trivial principal bundle MxG, where G is a connected Lie group, is isomorphic to the representation variety Hom(\pi_1(M), G)/G. For a tiling T, viewed as a marked copy of R^d,…

A classic result in the foundations of Yang-Mills theory, due to J. W. Barrett ["Holonomy and Path Structures in General Relativity and Yang-Mills Theory." Int. J. Th. Phys. 30(9), (1991)], establishes that given a "generalized" holonomy…

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…

Invariance and equivariance to geometrical transformations have proven to be very useful inductive biases when training (convolutional) neural network models, especially in the low-data regime. Much work has focused on the case where the…

In the theory of so called "Covariant Quantum Mechanics" a basic role is played by Hermitian vector fields on a complex line bundle in the frameworks of Galilei and Einstein spacetimes. In fact, it has been proved that the Lie algebra of…

This paper explores differential bundles in tangent categories, characterizing them as functors from a structure category. This is analogous to the actegory perspective of Garner and Leung, which we also use to describe the tangent…

Motivated by some questions in the path integral approach to (topological) gauge theories, we are led to address the following question: given a smooth map from a manifold $M$ to a compact group $G$, is it possible to smoothly `diagonalize'…

We construct a noncommutative geometry with generalised `tangent bundle' from Fell bundle $C^*$-categories ($E$) beginning by replacing pair groupoid objects (points) with objects in $E$. This provides a categorification of a certain class…

We prove that for a suitable class of metric measure spaces, the abstract notion of tangent module as defined by the first author can be isometrically identified with the space of $L^2$-sections of the `Gromov-Hausdorff tangent bundle'. The…

In this paper we construct classifying localic categories and groupoids for various bundles equipped with logical structure. When these bundles are local homeomorphisms, we recover the localic groupoids that classify geometric theories,…

A topology is defined on the mapping class group of a compact connected orientable surface. It is shown that a notion of "genericity" on subsets of the mapping class group arises from this definition. Many plausible results follow from this…

Let $G$ be a connected complex Lie group. A real form of $G$ is a closed subgroup $H\subset G$ whose Lie algebra $\mathfrak{h}$ is a real form of the Lie algebra $\mathfrak{g}$ of $G$. A pair $(G,H)$ of this type is reductive, and the…