Welcome to our community

Be a part of something great, join today!

Problem of the Week #270 - May 15, 2018

Status
Not open for further replies.
  • Thread starter
  • Moderator
  • #1

Euge

MHB Global Moderator
Staff member
Jun 20, 2014
1,896
Here is this week's POTW:

-----
Prove that for all vector fields $X$, $Y$, and $Z$ on a smooth manifold, their Lie derivatives $\mathscr{L}_X$, $\mathscr{L}_Y$, and $\mathscr{L}_Z$ satisfies Jacobi’s identity $$[\mathscr{L}_X,[\mathscr{L}_Y,\mathscr{L}_Z]] + [\mathscr{L}_Y, [\mathscr{L}_Z,\mathscr{L}_X]] + [\mathscr{L}_Z, [\mathscr{L}_X, \mathscr{L}_Y]] = 0$$

-----

Remember to read the POTW submission guidelines to find out how to submit your answers!
 
  • Thread starter
  • Moderator
  • #2

Euge

MHB Global Moderator
Staff member
Jun 20, 2014
1,896
No one answered this week's problem. You can read my solution below.


Let $X, Y, Z$ be vector fields on a smooth manifold $M$. They satisfy Jacobi's identity $[[X,Y], Z] + [[Y,Z],X] + [[Z,X],Y] = 0$, so $\mathscr{L}_{[[X,Y],Z]} + \mathscr{L}_{[[Y,Z],X]} + \mathscr{L}_{[[Z,X],Y]}.$ Therefore

$$[[\mathscr{L}_X,\mathscr{L}_Y], \mathscr{L}_Z] + [[\mathscr{L}_Y,\mathscr{L}_Z],\mathscr{L}_X] + [[\mathscr{L}_Z,\mathscr{L}_X], \mathscr{L}_Y]$$
$$=[\mathscr{L}_{[X,Y]},\mathscr{L}_Z] + [\mathscr{L}_{[Y,Z]}, \mathscr{L}_X] + [\mathscr{L}_{[Z,X]},\mathscr{L}_Y]$$
$$=\mathscr{L}_{[[X,Y],Z]} + \mathscr{L}_{[[Y,Z],X]} + \mathscr{L}_{[[Z,X],Y]}$$
$$= 0$$
 
Status
Not open for further replies.