Synthetic Reasoning In Differential Geometry.
We describe for any Riemannian manifold M a certain scheme M L, lying in between the first and second neighbourhood of the diagonal of M. Semi-conformal maps between Riemannian manifolds are then analyzed as those maps that preserve M L; harmonic maps are analyzed as those that preserve the (Levi-Civita-) mirror image formation inside M L.
We clarify in which precise sense the theory of principal bundles and the theory of groupoids are equivalent; and how this equivalence of theories, in the differentiable case, reflects itself in the theory of connections. The method used is that of synthetic differential geometry.
In the context of Synthetic Differential Geometry, we discuss vector fields/ordinary differential equations as actions; in particular, we exploit function space formation (exponential spaces) in the category of actions.
Page 1 Next