Synthetic Geometry of Manifolds


Book Description

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.




Basic Concepts of Synthetic Differential Geometry


Book Description

Starting at an introductory level, the book leads rapidly to important and often new results in synthetic differential geometry. From rudimentary analysis the book moves to such important results as: a new proof of De Rham's theorem; the synthetic view of global action, going as far as the Weil characteristic homomorphism; the systematic account of structured Lie objects, such as Riemannian, symplectic, or Poisson Lie objects; the view of global Lie algebras as Lie algebras of a Lie group in the synthetic sense; and lastly the synthetic construction of symplectic structure on the cotangent bundle in general. Thus while the book is limited to a naive point of view developing synthetic differential geometry as a theory in itself, the author nevertheless treats somewhat advanced topics, which are classic in classical differential geometry but new in the synthetic context. Audience: The book is suitable as an introduction to synthetic differential geometry for students as well as more qualified mathematicians.




Synthetic Differential Geometry


Book Description

This book, first published in 2006, details how limit processes can be represented algebraically.




Foundations of Differentiable Manifolds and Lie Groups


Book Description

Foundations of Differentiable Manifolds and Lie Groups gives a clear, detailed, and careful development of the basic facts on manifold theory and Lie Groups. Coverage includes differentiable manifolds, tensors and differentiable forms, Lie groups and homogenous spaces, and integration on manifolds. The book also provides a proof of the de Rham theorem via sheaf cohomology theory and develops the local theory of elliptic operators culminating in a proof of the Hodge theorem.




Recent Synthetic Differential Geometry


Book Description

A synthetic approach to intrinsic differential geometry in the large and its connections with the foundations of geometry was presented in "The Geometry of Geodesics" (1955, quoted as G). It is the purpose of the present report to bring this theory up to date. Many of the later ip.vestigations were stimulated by problems posed in G, others concern newtopics. Naturally references to G are frequent. However, large parts, in particular Chapters I and III as weIl as several individual seetions, use only the basic definitions. These are repeated here, sometimes in a slightly different form, so as to apply to more general situations. In many cases a quoted result is quite familiar in Riemannian Geometry and consulting G will not be found necessary. There are two exceptions : The theory of paralleIs is used in Sections 13, 15 and 17 without reformulating all definitions and properties (of co-rays and limit spheres). Secondly, many items from the literature in G (pp. 409-412) are used here and it seemed superfluous to include them in the present list of references (pp. 106-110). The quotations are distinguished by [ ] and ( ), so that, for example, FreudenthaI [1] and (I) are found, respectively, in G and here.




Models for Smooth Infinitesimal Analysis


Book Description

The aim of this book is to construct categories of spaces which contain all the C?-manifolds, but in addition infinitesimal spaces and arbitrary function spaces. To this end, the techniques of Grothendieck toposes (and the logic inherent to them) are explained at a leisurely pace and applied. By discussing topics such as integration, cohomology and vector bundles in the new context, the adequacy of these new spaces for analysis and geometry will be illustrated and the connection to the classical approach to C?-manifolds will be explained.




Synthetic Differential Topology


Book Description

Represents the state of the art in the new field of synthetic differential topology.




Foliations on Riemannian Manifolds and Submanifolds


Book Description

This monograph is based on the author's results on the Riemannian ge ometry of foliations with nonnegative mixed curvature and on the geometry of sub manifolds with generators (rulings) in a Riemannian space of nonnegative curvature. The main idea is that such foliated (sub) manifolds can be decom posed when the dimension of the leaves (generators) is large. The methods of investigation are mostly synthetic. The work is divided into two parts, consisting of seven chapters and three appendices. Appendix A was written jointly with V. Toponogov. Part 1 is devoted to the Riemannian geometry of foliations. In the first few sections of Chapter I we give a survey of the basic results on foliated smooth manifolds (Sections 1.1-1.3), and finish in Section 1.4 with a discussion of the key problem of this work: the role of Riemannian curvature in the study of foliations on manifolds and submanifolds.




Cartan for Beginners


Book Description

This book is an introduction to Cartan's approach to differential geometry. Two central methods in Cartan's geometry are the theory of exterior differential systems and the method of moving frames. This book presents thorough and modern treatments of both subjects, including their applications to both classic and contemporary problems. It begins with the classical geometry of surfaces and basic Riemannian geometry in the language of moving frames, along with an elementary introduction to exterior differential systems. Key concepts are developed incrementally with motivating examples leading to definitions, theorems, and proofs. Once the basics of the methods are established, the authors develop applications and advanced topics.One notable application is to complex algebraic geometry, where they expand and update important results from projective differential geometry. The book features an introduction to $G$-structures and a treatment of the theory of connections. The Cartan machinery is also applied to obtain explicit solutions of PDEs via Darboux's method, the method of characteristics, and Cartan's method of equivalence. This text is suitable for a one-year graduate course in differential geometry, and parts of it can be used for a one-semester course. It has numerous exercises and examples throughout. It will also be useful to experts in areas such as PDEs and algebraic geometry who want to learn how moving frames and exterior differential systems apply to their fields.




Algebraic Geometry over C∞-Rings


Book Description

If X is a manifold then the R-algebra C∞(X) of smooth functions c:X→R is a C∞-ring. That is, for each smooth function f:Rn→R there is an n-fold operation Φf:C∞(X)n→C∞(X) acting by Φf:(c1,…,cn)↦f(c1,…,cn), and these operations Φf satisfy many natural identities. Thus, C∞(X) actually has a far richer structure than the obvious R-algebra structure. The author explains the foundations of a version of algebraic geometry in which rings or algebras are replaced by C∞-rings. As schemes are the basic objects in algebraic geometry, the new basic objects are C∞-schemes, a category of geometric objects which generalize manifolds and whose morphisms generalize smooth maps. The author also studies quasicoherent sheaves on C∞-schemes, and C∞-stacks, in particular Deligne-Mumford C∞-stacks, a 2-category of geometric objects generalizing orbifolds. Many of these ideas are not new: C∞-rings and C∞ -schemes have long been part of synthetic differential geometry. But the author develops them in new directions. In earlier publications, the author used these tools to define d-manifolds and d-orbifolds, “derived” versions of manifolds and orbifolds related to Spivak's “derived manifolds”.