Symmetric Cartan calculus, the Patterson-Walker metric and Killing vector fields
Abstract
We develop symmetric Cartan calculus, an analogue of classical Cartan calculus for symmetric differential forms. We first show that the analogue of the exterior derivative, the symmetric derivative, is not unique and its different choices are parametrized by torsion-free affine connections. We use a choice of symmetric derivative to generate the symmetric Lie derivative and the symmetric bracket, and give geometric interpretations of all of them. By proving the structural identities and describing the role of affine morphisms, we reveal an unexpected link of symmetric Cartan calculus with the Patterson-Walker metric, which we recast as a direct analogue of the canonical symplectic form on the cotangent bundle. We show that, in the light of the Patterson-Walker metric, symmetric Cartan calculus becomes a complete analogue of classical Cartan calculus. In this analogy, its Killing vector fields play a central role.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.