Related papers: Differential Geometry, Lie Groups and Symmetric Sp…
It is often noted that many of the basic concepts of differential geometry, such as the definition of connection, are purely algebraic in nature. Here, we review and extend existing work on fully algebraic formulations of differential…
Complete sets of bases of differential invariants, operators of invariant differentiation and Lie determinants of continuous transformation groups acting on the real plane are constructed. As a necessary preliminary, realizations of…
Differential geometry may be generalized to allow infinitesimals to any order. The purpose of the present contribution is to show that the theory so developed expands received geometrical ideas in an interesting way, rich in potential for…
In this paper, we introduce the notion of a super tangent bundle of a manifold, and extend the basic notions of differential geometry such as differential forms, exterior derivation, connection, metric and divergence on manifolds that…
This is the first paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In this paper, we lay the foundations for this study by introducing the…
We describe the notion of a \emph{weighting} along a submanifold $N\subset M$, and explore its differential-geometric implications. This includes a detailed discussion of weighted normal bundles, weighted deformation spaces, and weighted…
We present a new formulation of some basic differential geometric notions on a smooth manifold M, in the setting of nonstandard analysis. In place of classical vector fields, for which one needs to construct the tangent bundle of M, we…
This talk introduces a Cartan-geometric framework for generalised geometries governed by a differential graded Lie algebra. In contrast to ordinary Cartan geometry, the tangent bundle is extended and qu both a global duality group and a…
This paper lays the foundations for a nonlinear theory of differential geometry that is developed in a subsequent paper which is based on Colombeau algebras of tensor distributions on manifolds. We adopt a new approach and construct a…
A notion of an algebroid - a generalization of a Lie algebroid structure is introduced. We show that many objects of the differential calculus on a manifold M associated with the canonical Lie algebroid structure on T^M can be obtained in…
Projective spaces for finite-dimensional vector spaces over general fields are considered. The geometry of these spaces and the theory of line bundles over these spaces is presented. Particularly, the space of global regular sections of…
We define Weil spaces, Weil manifolds, Weil varieties and Weil Lie groups over an arbitrary commutative base ring K (in particular, over discrete rings such as the integers), and we develop the basic theory of such spaces, leading up the…
These notes provide an introduction to the algebra and geometry of differential operators and jet bundles. Their point of view is guided by the leitmotiv that higher-spin gravity theories call for higher-order generalisations of Lie…
Lie theory is, beyond any doubt, an absolutely essential part of differential geometry. It is therefore necessary to seek its generalization to $\mathbb{Z}$-graded geometry. In particular, it is vital to construct non-trivial and explicit…
In this paper, we develop a general framework of geometric functorial field theories, meaning that all bordisms in question are endowed with geometric structures. We take particular care to establish a notion of smooth variation of such…
Tangent categories offer a categorical context for differential geometry, by categorifying geometric notions like the tangent bundle functor, vector fields, Euclidean spaces, vector bundles, connections, etc. In the last decade, the theory…
We briefly review our results on the Lie theory underlying vector bundles over Lie groupoids and Lie algebroids, pointing out the role of Poisson geometry in extending these results to double Lie algebroids and LA-groupoids.
We report on our experience formalizing differential geometry with mathlib, the Lean mathematical library. Our account is geared towards geometers with no knowledge of type theory, but eager to learn more about the formalization of…
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…
We present a geometric framework for discrete classical field theories, where fields are modeled as "morphisms" defined on a discrete grid in the base space, and take values in a Lie groupoid. We describe the basic geometric setup and…