Functional Differential Geometry [Sussman]

[mklabgr]

Functional Differential Geometry by Gerald Jay Sussman, Jack Wisdom, and Will Farr presents differential geometry as a computational and conceptual language for physics, particularly general relativity and classical mechanics. The authors aim to make mathematical ideas precise by combining geometric reasoning with functional programming. Rather than relying heavily on traditional index notation, they emphasize vector fields, one-forms, differential forms, and operations that have clear semantic meaning. 

The book develops the basic structure of manifolds and then introduces vector fields, one-form fields, coordinate bases, integral curves, and changes of basis. It proceeds to integration in higher dimensions, the exterior derivative, and Stokes's theorem, showing how these concepts provide a unified framework for classical vector calculus. A central theme is that mathematical objects should be defined independently of particular coordinates whenever possible, making their geometric meaning easier to understand. 

A major portion of the text concerns derivatives on manifolds. The authors introduce the Lie derivative, covariant derivative, parallel transport, and geodesics, followed by curvature, torsion, geodesic deviation, and the Bianchi identities. Metrics are subsequently introduced to connect geometry with physical quantities, including the Lagrange equations and applications to relativity. The later chapters apply the framework to the Hodge star, electrodynamics, the wave equation, and special relativity, including Lorentz transformations and the twin paradox.

One of the book's distinctive ideas is that programming can function as a tool for mathematical understanding, rather than merely numerical computation. A computer requires formulas to be sufficiently precise and unambiguous, so translating mathematics into executable functional programs can expose hidden assumptions, ambiguities, and errors. For example, the authors reinterpret the Lagrange equation $ \frac{d}{dt}\frac{\partial L}{\partial \dot q}-\frac{\partial L}{\partial q}=0 $ by explicitly specifying the path $q=w(t)$ and its derivative. Their broader philosophy is that formalization, computation, and debugging can reinforce mathematical understanding. 

Key takeaways

1. Differential geometry provides a unified mathematical language for modern physics.
   
2. Manifolds allow geometry to be studied independently of a particular coordinate system.
   
3. Vector fields and one-forms are emphasized instead of relying primarily on traditional tensor index notation.
   
4. Differential forms provide a natural framework for integration and generalizations of classical vector calculus.
   
5. Stokes's theorem connects differentiation and integration in higher-dimensional spaces.
   
6. The Lie derivative describes how geometric objects change along flows.
   
7. The covariant derivative provides differentiation compatible with curved spaces and enables the definition of parallel transport.
   
8. Geodesics generalize the idea of straight lines to curved spaces.
   
9. Curvature, torsion, and geodesic deviation describe intrinsic geometric properties of a space.
   
10. Metrics introduce notions of distance, angle, and physical measurement and connect geometry to mechanics and relativity.
    
11. General relativity can be formulated naturally using the geometric machinery developed in the book.
    
12. Programming is presented as a method for forcing mathematical expressions to become explicit, precise, and testable.
    
13. Functional notation can reveal ambiguities that conventional mathematical shorthand sometimes hides.
    
14. Debugging mathematical programs can expose misconceptions and contribute to deeper understanding.
    
15. The overall philosophy is that mathematical meaning should take precedence over symbolic manipulation.
    

BOOK [PDF]