nLab
differential geometry

Context

Differential geometry

differential geometry

synthetic differential geometry

Axiomatics

Models

Concepts

Theorems

Applications

Higher geometry

Contents

Scope

Differential geometry is a mathematical discipline studying geometry of spaces using differential and integral calculus. Classical differential geometry studied submanifolds (curves, surfaces…) in Euclidean spaces. The traditional objects of differential geometry are finite and infinite-dimensional differentiable manifolds modelled locally on topological vector spaces. Techniques of differential calculus can be further stretched to generalized smooth spaces. One often distinguished analysis on manifolds from differential geometry: analysis on manifolds focuses on functions from a manifold to the ground field and their properties, togehter with applications like PDEs on manifolds. Differential geometry on the other hand studies objects embedded into the manifold like submanifolds, their relations and additional structures on manifolds like bundles, connections etc. while the topological aspects are studied in a younger branch (from 1950s on) which is called differential topology.

Generalized smooth spaces from nnPOV

See also generalized smooth space.

Finite-dimensional differential geometry is the geometry modeled on Cartesian spaces and smooth functions between them.

Formally, it is the geometry modeled on the pre-geometry 𝒢=\mathcal{G} = CartSp.

This includes a sequence of concepts of generalized smooth spaces:

Similarly, standard models of synthetic differential geometry in higher geometry are modeled on the pre-geometry 𝒢=\mathcal{G} = ThCartSp. To wit, the cohesive topos Sh(ThCartSp)Sh(ThCartSp) is the smooth topos called the Cahiers topos:

local modelglobal geometry
Klein geometryCartan geometry
Klein 2-geometryCartan 2-geometry
higher Klein geometryhigher Cartan geometry

References

Traditional

Textbooks include

  • Shoshichi Kobayashi, Katsumi Nomizu, Foundations of differential geometry , Volume 1 (1963), Volume 2 (1969), Interscience Publishers, reprinted 1996 by Wiley Classics Library

  • Michael Spivak, A comprehensive introduction to differential geometry (5 Volumes)

  • Michael Spivak, Calculus on Manifolds (1971)

  • M M Postnikov, Lectures on geometry (6 vols.: 1 “Analytic geometry”, 2 “Linear algebra”, 3 “Diff. manifolds”; 4 “Diff. geometry” (covers extensively fibre bundles and connections); 5 “Lie groups”; 6 “Riemannian geometry”)

With emphasis in G-structures:

With emphasis on Cartan geometry:

  • R. Sharpe, Differential geometry – Cartan’s generalization of Klein’s Erlagen program, Springer (1997)

Lecture notes include

An introduction with an eye towards applications in physics, specifically to gravity and gauge theory is in

A discussion in the context of Frölicher spaces and diffeological spaces is in

Discussion with emphasis on natural bundles is in

See also

Higher

See at higher differential geometry.

Derived

For derived differential geometry see

Revised on May 4, 2016 09:46:19 by Urs Schreiber (131.220.184.222)