Explores defining tangent vectors without an embedding space, focusing on creating tangent spaces at every point of a manifold through equivalence classes of curves.
Explores making tangent spaces linear, defining tangent vectors without an embedding space and their operations, as well as the equivalence of different tangent space notions.
Explores the dynamics of steady Euler flows on Riemannian manifolds, covering ideal fluids, Euler equations, Eulerisable flows, and obstructions to exhibiting plugs.