34
$\begingroup$

Why is Cartan's magic formula $$\mathscr{L}_X\omega = i_Xd\omega + d(i_X\omega)$$

called "magic"?

Should it be considered a highly surprising result? Does it "magically" prove several other theorems? What is the etymology? (Why it is variously referred to as E.Cartan's formula and H.Cartan's formula?)

  • 7
    Well it spells out $\mathcal{L}_X$ in terms of contraction and the exterior derivative, it's very user-friendly. In particular you can establish easy results, for instance when $\omega$ is a closed symplectic form and $X$ is the Hamiltonian vector field.2012-08-30
  • 5
    Either one of the Cartans, [father Élie](http://en.wikipedia.org/wiki/Élie_Cartan) or [son Henri](http://en.wikipedia.org/wiki/Henri_Cartan) could plausibly have invented it... See also [the MO thread *Is “Cartan’s magic formula” due to Élie or Henri?*](http://mathoverflow.net/questions/39540/is-cartans-magic-formula-due-to-lie-or-henri)2012-08-30
  • 0
    Yes, I've seen the MO thread, in fact. The parenthetical question at the end of the post is not mine, but was added by others.2012-08-30
  • 3
    Maybe because $\mathscr{L}_X$ is of $0$-degree (derivation) and is nicely related to a $1$-degree map $d$ and a $-1$-degree map $i_X$2013-02-21

1 Answers 1