Instructor: Dr. Clayton Shonkwiler
Time: Monday, Wednesday, and Friday, 11:15–12:05
Location: Boyd 326
Office: Boyd 436
Text: Foundations of Differentiable Manifolds and Lie Groups, by Frank W. Warner
Email Address: firstname.lastname@example.org
This course develops the theory of differential forms on manifolds and the connections to cohomology by way of de Rham cohomology on the way to stating and proving the Hodge Theorem, which says that every cohomology class on a closed, oriented, smooth Riemannian manifold is represented by a unique harmonic form. The course generally follows Frank Warner’s book Foundations of Differentiable Manifolds and Lie Groups, though we will skip around a bit and discuss a number of motivations and applications not found in the book.
The Hodge Theorem is a wonderful synthesis of algebraic topology, differential geometry, and analysis which has extensions and applications to algebraic geometry, physics, and data analysis. Proving it will require us to come to terms with concepts ranging from exterior algebras to cochain complexes to the regularity of elliptic operators, so we will get a scenic tour of interesting mathematics along the way.
Moreover, the basic motivation for all of this structure is incredibly simple and down-to-earth. For example, when is a divergence-free vector field (on a closed 3-manifold or even a region in 3-dimensional Euclidean space) the curl of another vector field? The answer turns out to depend on the topology of the manifold or domain; on the 3-sphere or the 3-ball, every divergence-free field is a curl, whereas this is not true on the 3-torus or on a solid torus. The Hodge Theorem makes this precise and answers analogous questions in all dimensions.