Related papers: The free tangent structure
Principal bundles have at least three different definitions, depending on the category of geometric objects studied. In Differential Geometry, they are defined as locally trivial projection map of smooth manifolds with an atlas whose…
In this paper is proposed a kind of model theory for our axiomatic differential geometry. It is claimed that smooth manifolds, which have occupied the center stage in differential geometry, should be replaced by functors on the category of…
We establish an in-in formalism for geodesic deviation as an alternative to Synge calculus, based on a covariant calculus of differential forms in tangent bundle. This derives the exact Lagrangian and equations governing the finite geodesic…
Motivated by generalized geometry, we discuss differential geometric structures on the total space $\mathfrak{T}M$ of the bundle $TM\oplus T^*M$, where $M$ is a differentiable manifold; $\mathfrak{T}M$ is called a big-tangent manifold. The…
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…
Synthetic Differential Geometry (SDG) is a categorical version of differential geometry based on enriching the real line with infinitesimals and weakening of classical logic to intuitionistic logic. We show that SDG provides an effective…
An overview of some recent results on the geometry of partial differential equations in application to integrable systems is given. Lagrangian and Hamiltonian formalism both in the free case (on the space of infinite jets) and with…
Integration is the final key step when turning an infinitesimal argument into a result applicable to quantities of finite size. Conceptually, it is about combining infinitesimal contributions to a finite whole. We make a first step towards…
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…
We review the basic definitions and properties concerning smooth structures, convenient spaces, diffeological spaces and tangent structures. The relation betwen them is described. A tangent structure is constructed for each pre-convenient…
We show how the tangent bundle decomposition generated by a system of ordinary differential equations may be generalized to the case of a system of second order PDEs `of connection type'. Whereas for ODEs the decomposition is intrinsic, for…
We build a tangent structure on the category of divided power algebras using a particular notion of semidirect product. We show that this tangent structure admits an adjoint tangent structure, which involves a version of K\"ahler…
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…
We review the intrinsic geometry of the tangent bundle of a differentiable manifold $M$, aside from any non-natural structures. We recall the properties of the mirror map $B\in\mathrm{End}(TTM)$, known also as the canonical endomorphism or…
This paper gives a first step towards developing synthetic differential geometry within homotopy type theory. Its model theory will be discussed in a subsequent paper.
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…
We consider two principal bundles of embeddings with total space $Emb(M,N),$ with structure groups $Diff(M)$ and $Diff_+(M),$ where $Diff_+(M)$ is the groups of orientation preserving diffeomorphisms. The aim of this paper is to describe…
This paper presents an algebraic-geometric construction of the derivative developed initially within the class of polynomial functions without introducing limits at the initial stage. Tangency is characterized by an algebraic condition: the…
Tangent category theory is a well-established categorical context for differential geometry. In a previous paper, a formal approach was adopted to provide a genuine Grothendieck construction in the context of tangent categories by…
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…