The exterior differential of differential forms on a manifold can be characterized as the unique super-derivation of degree 1 on the exterior algebra of forms such that $<df,X>=X(f)$
for $f$ a $C^{\infty}$ function, $X$ a vector field. So we really only need to know how to compute $df$, and everything else follows formally.


Is there a similar characterization for the Lie derivative acting on differential forms? 


My guess: Extend $L\_{X}$ from $L\_{X}f=X(f)$ to an action on all forms so that it commutes with $d$ (Cartan's magic formula?) and perhaps $L\_{[X,Y]}=[L\_{X},L\_{Y}]$. In other words, the Lie derivative should be a homomorphism of Lie algebras from vector fields to degree zero derivations of the de Rham algebra. 


If this is correct, can anyone give references for this point of view?



Characterization of the Lie derivative
Two ways of thinking about $L\_X$ on differential forms:


(1) Define it by using the infinitesimal flow determined by $X$. This implies that (a) $L\_X$ is a degree $0$ derivation of the algebra of differential forms (because pulling back by a diffeomorphism is an automorphism of the algebra), and (b) it commutes with $d$ (because pulling back by a diffeomorphism commutes with $d$), and (c) $L\_Xf=Xf$. And there cannot be more than one operator with properties (a), (b), (c), because the algebra is generated by functions and exact $1$-forms.


(2) Define it by $L\_X=d\circ i\_X+i\_X\circ d$. This also implies (a), (b), and (c) (using $d^2=0$), so it has to be the same as (1).


Conceptually it's better to think of an operator on sheaves of differential forms (forms defined on open subsets), because the fact the algebra of global forms is generated by what we said uses some ad hoc constructions in the $C^{\infty}$ case and is false in the holomorphic case, or in algebraic geometry. And of course in algebraic geometry you don't have the flow even locally, so (2) is especially good.


I did not mention tangent vector fields and $L\_XY=[X,Y]$. But let me point out the following.


For any sort of tensor bundle you can name (made by starting with tangent bundle, dualizing, tensoring, symmetrizing, ), there is an $L\_X$ acting. These are all instances of the following: you have a derivation $D$ of functions, and a related linear operator $L$ on sections of the bundle, and it satisfies $L(fs)=(Df)s+fLs$. The operator on the tensor product of two bundles satisfies $L(s\otimes t)=Ls\otimes t+s\otimes Lt$. And the operator on a bundle and its dual? If we denote the pairing of sections of $E$ and sections of $E^\star$ into functions by $(s,\alpha)$, then we have $D(s,\alpha)=(Ls,\alpha)+(s,L\alpha)$. This can serve as definition of either $Ls$ or $L\alpha$ in terms of the other. 


For $E=TM$ and $D=X$ and $L=L\_X$ this says $X(Y,df)=(L\_XY,df)+(Y,L\_Xdf)$, i.e. $XYf=(L\_XY)f+(Y,L\_Xdf)$, which makes the statement $L\_XY=XY-YX$ equivalent to the statement $L\_Xdf=d(Xf)$.


