re https://en.wikipedia.org/wiki/Exterior_derivative

The second definition given here, in terms of local coordinates, seems to be the same as the one given by Spivak:

CALCULUS ON MANIFOLDS (W. A. Benjamin 1965, page 91)

Spivak's next theorem, 4-10(2), then states

If \omega is a k-form and \eta is an l-form, then

d(\omega\wedge\eta) = d\omega \wedge \eta + (-1)^{k l} \omega \wedge d\eta.

This CONFLICTS with the first "axiomatic" definition on this web page. In it, using Spivak's notation, the sign of the second term is (-1)^k, not (-1)^{k l} .

I am not sure which of the first two definitions corresponds to the third "invariant formula" definition.

Possible sources of confusion:

- coordinates may be indexed from 1 to n, or from 0 to n-1

- in a monomial form "f dx_1 \wedge ... dx_n", the function f may appear at the end. Then its exterior derivative might be "dx_1 \wedge ... dx_n \wedge df".

- in the 3rd definition, in terms of invariant formula, the sign of all terms containing Lie bracket may be reversed.

Am I in a muddle, or is there real confusion here? AlHutchins (talk) 08:41, 14 May 2016 (UTC)Reply