Next: Poisson homology
Up: Schouten-Nijenhuis bracket
Previous: Compatible Poisson tensors
Contents
![\begin{thm}[Koszul formula]
Let $P\in \gX^p M$, $Q\in\gX^q M$. Then
\begin{equat...
... i_Qdi_P + (-1)^pi_{P\wedge Q}d +
(-1)^q d i_{P\wedge Q}
\end{equation}\end{thm}](img271.png)
Remark: Koszul formula implies Lichnerowicz formula
(![[*]](file:/usr/local/share/lib/latex2html/icons/crossref.png)
) after contracting with 
-form.
This formula can be also memorized as
but with graded commutators on the right !
Pawel Witkowski
2006-06-26
![\begin{displaymath}
i_{[P, Q]}=[[i_P, d], i_Q]
\end{displaymath}](img274.png){kind=small}