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.




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.




Synthetic Differential Topology


Book Description

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




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.




Mathematical Logic and Theoretical Computer Science


Book Description

Mathematical Logic and Theoretical Computer Science covers various topics ranging from recursion theory to Zariski topoi. Leading international authorities discuss selected topics in a number of areas, including denotational semanitcs, reccuriosn theoretic aspects fo computer science, model theory and algebra, Automath and automated reasoning, stability theory, topoi and mathematics, and topoi and logic. The most up-to-date review available in its field, Mathematical Logic and Theoretical Computer Science will be of interest to mathematical logicians, computer scientists, algebraists, algebraic geometers, differential geometers, differential topologists, and graduate students in mathematics and computer science.




New Foundations for Physical Geometry


Book Description

Tim Maudlin sets out a completely new method for describing the geometrical structure of spaces, and thus a better mathematical tool for describing and understanding space-time. He presents a historical review of the development of geometry and topology, and then his original Theory of Linear Structures.




A Primer of Infinitesimal Analysis


Book Description

A rigorous, axiomatically formulated presentation of the 'zero-square', or 'nilpotent' infinitesimal.




A History of Geometrical Methods


Book Description

Full and authoritative, this history of the techniques for dealing with geometric questions begins with synthetic geometry and its origins in Babylonian and Egyptian mathematics; reviews the contributions of China, Japan, India, and Greece; and discusses the non-Euclidean geometries. Subsequent sections cover algebraic geometry, starting with the precursors and advancing to the great awakening with Descartes; and differential geometry, from the early work of Huygens and Newton to projective and absolute differential geometry. The author's emphasis on proofs and notations, his comparisons between older and newer methods, and his references to over 600 primary and secondary sources make this book an invaluable reference. 1940 edition.




Differential Geometry and Lie Groups


Book Description

This textbook explores advanced topics in differential geometry, chosen for their particular relevance to modern geometry processing. Analytic and algebraic perspectives augment core topics, with the authors taking care to motivate each new concept. Whether working toward theoretical or applied questions, readers will appreciate this accessible exploration of the mathematical concepts behind many modern applications. Beginning with an in-depth study of tensors and differential forms, the authors go on to explore a selection of topics that showcase these tools. An analytic theme unites the early chapters, which cover distributions, integration on manifolds and Lie groups, spherical harmonics, and operators on Riemannian manifolds. An exploration of bundles follows, from definitions to connections and curvature in vector bundles, culminating in a glimpse of Pontrjagin and Chern classes. The final chapter on Clifford algebras and Clifford groups draws the book to an algebraic conclusion, which can be seen as a generalized viewpoint of the quaternions. Differential Geometry and Lie Groups: A Second Course captures the mathematical theory needed for advanced study in differential geometry with a view to furthering geometry processing capabilities. Suited to classroom use or independent study, the text will appeal to students and professionals alike. A first course in differential geometry is assumed; the authors’ companion volume Differential Geometry and Lie Groups: A Computational Perspective provides the ideal preparation.