Synthetic geometry of manifolds

"This elegant book is sure to become the standard introduction to synthetic differential geometry. It deals with some classical spaces in differential geometry, namely 'prolongation spaces' or neighborhoods of the diagonal. These spaces enable a natural description of some of the basic constructions in local differential geometry and, in fact, form an inviting gateway to differential geometry, and also to some differential-geometric notions that exist in algebraic geometry. The presentation conveys the real strength of this approach to differential geometry. Concepts are clarified, proofs are streamlined, and the focus on infinitesimal spaces motivates the discussion well. Some of the specific differential-geometric theories dealt with are connection theory (notably affine connections), geometric distributions, differential forms, jet bundles, differentiable groupoids, differential operators, Riemannian metrics, and harmonic maps. Ideal for graduate students and researchers wishing to familiarize themselves with the field"--Provided by publisher. "This book deals with a certain aspect of the theory of smoothmanifolds, namely (for each k) the kth neigbourhood of the diagonal. A part of the theory presented here also applies in algebraic geometry (smooth schemes). The neighbourhoods of the diagonal are classical mathematical objects. In the context of algebraic geometry, they were introduced by the Grothendieck school in the early 1960s; the Grothendieck ideas were imported into the context of smooth manifolds by Malgrange, Kumpera and Spencer, and others. Kumpera and Spencer call them "prolongation spaces of order k". The study of these spaces has previously been forced to be rather technical, because the prolongation spaces are not themselves manifolds, but live in a wider category of "spaces", which has to be described. For the case of algebraic geometry, one passes from the category of varieties to the wider category of schemes; for the smooth case, Malgrange, Kumpera and Spencer, and others described a category of "generalized differentiablemanifolds with nilpotent elements" (Kumpera and Spencer, 1973, p. 54)"--Provided by publisher.