Differential Geometry of Microlinear Frolicher Spaces I

The central object of synthetic differential geometry is microlinear spaces. In our previous paper [Microlinearity in Frolicher spaces -beyond the regnant philosophy of manifolds-, International Journal of Pure and Applied Mathematics, 60 (2010), 15-24] we have emancipated microlinearity from within well-adapted models to Frolicher spaces. Therein we have shown that Frolicher spaces which are microlinear as well as Weil exponentiable form a cartesian closed category. To make sure that such Frolicher spaces are the central object of infinite-dimensional differential geometry, we develop the theory of vector fields on them in this paper. The central result is that all vector fields on such a Frolicher space form a Lie algebra

Differential Geometry of Microlinear Frolicher Spaces IV-1

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 of the second to the third. The affine bundle theorem and the equivalence of the three approaches with coordinates are relegated to a subsequent paper

Differential Geometry of Microlinear Frolicher Spaces II

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 as grad (ient), div (ergence) and rot (ation) are uniquely determined geometrically or physically in classical vector calculus. This infinitesimal characterization of exterior differentiation has been completely missing in orthodox differential geometry

Axiomatic differential geometry I-1 - towards model cathegories of differential geometry

In this paper we give an axiomatization of di erential geometry comparable to model categories for homotopy theory. Weil functors play a predominant role