Related papers: Differential Geometry of Microlinear Frolicher Spa…
Frolicher spaces and smooth mappings form a cartesian closed category. It was shown in our previous paper [Far East Journal of Mathematical Sciences, 35 (2009), 211-233] that its full subcategory of Weil exponentiable Frolicher spaces is…
In our previous paper entitled "Axiomatic differential geometry -towards model categories of differential geometry-, we have given a category-theoretic framework of differential geometry. As the first part of our series of papers concerned…
In this paper, as the second in our series of papers on differential geometry of microlinear Frolicher spaces, we study differenital forms. The principal result is that the exterior differentiation is uniquely determined geometrically, just…
It is well known that the category of Frolicher spaces and smooth mappings is Cartesian closed. The principal objective in this paper is to show that the full subcategory of Frolicher spaces that believe in fantasy that every Weil functor…
In our previous papers [Far East Journal of Mathematical Sciences, 35 (2009), 211-223] and [International Journal of Pure and Applied Mathematics, 60 (2010), 15-24] we have developed the theory of Weil prolongation, Weil exponentiability…
As the third of our series of papers on differential geometry of microlinear Frolicher spaces, this paper is devoted to the Frolicher-Nijenhuis calculus of their named bracket. The main result is that the Frolicher-Nijenhuis bracket…
The aim of this work is to lay the foundations of differential geometry and Lie theory over the general class of topological base fields and -rings for which a differential calculus has been developed in recent work (collaboration with H.…
We study continuous groups of generalized Kerr-Schild transformations and the vector fields that generate them in any n-dimensional manifold with a Lorentzian metric. We prove that all these vector fields can be intrinsically characterized…
Diffeological and differential spaces are generalisations of smooth structures on manifolds. We show that the "intersection" of these two categories is isomorphic to Fr\"olicher spaces, another generalisation of smooth structures. We then…
This paper is the sequel to our previous paper (Differetial Geometry of Microlinear Frolicher spaces IV-1), where three approaches to jet bundles are presented and compared. The first objective in this paper is to give the affine bundle…
The fourth paper of our series of papers entitled "Differential Geometry of Microlinear Frolicher Spaces is concerned with jet bundles. We present three distinct approaches together with transmogrifications of the first into the second and…
Fr\"olicher spaces form a cartesian closed category which contains the category of smooth manifolds as a full subcategory. Therefore, mapping groups such as C^\infty(M,G) or \Diff(M), but also projective limits of Lie groups are in a…
Groupoids provide a more appropriate framework for differential geometry than principal bundles. Synthetic differential geometry is the avant-garde branch of differential geometry, in which nilpotent infinitesimals are available in…
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…
This article is about the formalization of synthetic differential geometry with the Lean proof assistant and the mathematical library mathlib. The main result we prove and formalize is a Taylor theorem for functions of several variables,…
The fundamental symmetries in gravity and gauge theories, formulated using differential forms, are gauge transformations and diffeomorphisms. These symmetries act in distinct ways on different dynamical fields. Yet, the commutator of these…
We give an abstract formulation of the formal theory partial differential equations (PDEs) in synthetic differential geometry, one that would seamlessly generalize the traditional theory to a range of enhanced contexts, such as…
Vector fields and line fields, their counterparts without orientations on tangent lines, are familiar objects in the theory of dynamical systems. Among the techniques used in their study, the Morse--Smale decomposition of a (generic) field…
We generalize the differential space concept as a tool for developing differential geometry, and enrich this geometry with infinitesimals that allow us to penetrate into the superfine structure of space. This is achieved by Yoneda embedding…
In this paper we study differential forms and vector fields on the orbit space of a proper action of a Lie group on a smooth manifold, defining them as multilinear maps on the generators of infinitesimal diffeomorphisms, respectively. This…