Distinction or rule about $d$ and $delta$ in differential forms

I have in trouble understanding the differential forms.

For $k$ form $\alpha$ and $l$ form $\beta$ we have

$$\begin{align} \alpha \wedge \beta = (-1)^{kl} \beta \wedge \alpha \end{align}$$
And for differentiation, we have
$$\begin{align} d(\alpha \wedge \beta) = d \alpha \wedge \beta + (-1)^k \alpha \wedge d \beta \end{align}$$

Apply this for usual Riemannian case, for 1-form spin connection $w$,
and two form curvature $R= dw+ w\wedge w$

$$\begin{align} d R = d^2 w + dw \wedge w - w \wedge dw = d w \wedge w - w \wedge dw \end{align}$$

Now i want to variation of differential forms. How about variation?
is the same rule holds?

In page 10 of lecture note and some computation in https://physics.stackexchange.com/questions/222100/variations-of-actions-of-lie-algebra-valued-differential-forms,
it seems they treat $\delta$, following usual Lebiniz rule. $i.e$,

$$\begin{align} \delta R = \delta d w+ \delta w \wedge w + w \wedge \delta w \end{align}$$

Is their procedure right?

In usual differentiation or variation case, this does not be a big problem,
(As far as i known, the role of differentiation and variation are similar whether they treat function or functional) but in terms of differential form. I got confused.

Can you give me some formula for variation $\delta$ acting on $(\alpha \wedge \beta)$?

How about Lie derivatives?

I tried to find some reference related with variation on differential form, but they only treat differentiation. Recommendation of any kinds of references are welcomed

Answer

I think what needs to be emphasised is that $d$ and this variational $\delta$ (as opposed to the codifferential $\delta$ that is the adjoint of $d$) are two very different operations, that both happen to be a bit like derivatives:

• Imprecisely, $d$ talks about the variation in the form $\alpha$ near $x$ as we move around on the manifold. A simple, though coarse, analogue is the derivative $d/dx$.


• Whereas $\delta$ is talking about what happens to a function of $\alpha$ if we change $\alpha$ by a small amount; I find the physicists' notation is rather lacking here. The (more precise) analogue is the functional derivative, $DF[\alpha](\phi) = \lim_{h \to 0} (F[\alpha+h\phi]-F[\alpha])/h$.

In particular, there is antisymmetry built into the definition of $d$, but $\delta$, while superficially looking the same, is an operation talking about different sorts of variations in a different place. A more mathematical way to write the variation is to expand $F[\alpha+h\phi]$ to first order in $h$, so, for example,

$$(\alpha+h\phi) \wedge (\alpha+h\phi) = \alpha \wedge \alpha + h(\phi \wedge \alpha + \alpha \wedge \phi) + o(h),$$
and subtracting and taking $h \to 0$ gives Leibniz for the variational derivative.