Related papers: Differential bundles and fibrations for tangent ca…

In this paper we consider a manifold with a dynamical vector field and inquire about the possible tangent bundle structures which would turn the starting vector field into a second order one. The analysis is restricted to manifolds which…

Cartesian differential categories were introduced to provide an abstract axiomatization of categories of differentiable functions. The fundamental example is the category whose objects are Euclidean spaces and whose arrows are smooth maps.…

The theory of frames normal for general connections on differentiable bundles is developed. Links with the existing theory of frames normal for covariant derivative operators (linear connections) in vector bundles are revealed. The…

This work is the first in a series of papers that, among other things, extends the formalism of diolic differential calculus, wherein a new context for obtaining differential calculus in vector bundles was established. Here we provide a…

A theory of double affine and special double affine bundles, i.e. differential manifolds with two compatible (special) affine bundle structures, is developed as an affine counterpart of the theory of double vector bundles. The motivation…

Tangent categories were introduced by Rosicky as a categorical setting for differential structures in algebra and geometry; in recent work of Cockett, Crutwell and others, they have also been applied to the study of differential structure…

In the first part of the paper we define a perturbative (pre-formal) geometry and formulate a theorem on the relation between the construction of a perturbative neighborhood of affine varieties and the higher tangent bundles. In the second…

In this dissertation the notion of deformation quantization of principal fibre bundles is established and investigated in order to find a geometric formulation of classical gauge theories on noncommutative space-times. As a generalization,…

We investigate when the tangent bundle of a projective manifold has a non-trivial first order (or positive-dimensional) deformation. This leads to a new conjectural characterization of the complex projective space.

Type families on higher inductive types such as pushouts can capture homotopical properties of differential geometric constructions including connections, curvature, and vector fields. We define a class of pushouts based on simplicial…

A linear F-manifold is an F-manifold (E, \circ , e) defined on the total space of a vector bundle \pi : E \rightarrow M for which the multiplication and unit field are linear tensor fields. We develop a systematic treatment of linear…

In this paper we develop the theory of topological categories over a base category, that is, a theory of topological functors. Our notion of topological functor is similar to (but not the same) the existing notions in the literature (see…

Three definitions of a differential form on a tangent structure are considere. It is proved that the (covariant) definition given by Souriau (as a collection of forms indexed by the plaques) is equivalent to a smooth section of the…

We define a differential Tannakian category and show that under a natural assumption it has a fibre functor. If in addition this category is neutral, that is, the target category for the fibre functor are finite dimensional vector spaces…

We consider here the category of diffeological vector pseudo-bundles, and study a possible extension of classical differential geometric tools on finite dimensional vector bundles, namely, the group of automorphisms, the frame bundle, the…

There is an abstract notion of connection in any tangent category. In this paper, we show that when applied to the tangent category of affine schemes, this recreates the classical notion of a connection on a module (and similarly, in the…

The derived category of bounded complexes of coherent sheaves is one of the most important algebraic invariants of a smooth projective variety. An important approach to understand derived categories is to construct full strongly exceptional…

In this series of papers I examine a special kind of geometric objects that can be defined in space-time --- five-dimensional tangent vectors. Similar objects exist in any other differentiable manifold, and their dimension is one unit…

Inspired by the recent algebraic approach to classical field theory, we propose a more general setting based on the manifold of smooth sections of a non-trivial fiber bundle. Central is the notion of observables over such sections, i.e.…

Lagrange geometry is the geometry of the tensor field defined by the fiberwise Hessian of a non degenerate Lagrangian function on the total space of a tangent bundle. Finsler geometry is the geometrically most interesting case of Lagrange…