Exterior derivative

cosmos 6th November 2017 at 5:41pm
Exterior calculus

aka de Rham differential

On any manifold XX, there is a natural linear map d:Ωk(X)Ωk+1(X)d: \Omega^k(X) \to \Omega^{k+1}(X) (where Ωk(X)\Omega^k(X) is the space of k-forms on manifold XX) called the exterior derivative or the de Rham differential satisfying

  1. If fΩ0(X)=C(X)f \in \Omega^0(X) = C^\infty(X) then dfΩ1(X)=Γ(TX)df \in \Omega^1 (X) = \Gamma^\infty(T^*X) is the usual Derivative of ff
  2. d2=0:Ωk(X)Ωk+1(X)d^2=0: \Omega^k(X) \to \Omega^{k+1}(X)
  3. d(\alpha \wedge \beta) = (d\alpha)\wedge \beta+(-1)^k \alpha \wedge(d \beta) if αΩk(X)\alpha \in \Omega^k(X), βΩl(X)\beta\in \Omega^l(X).

These properties characterize dd uniquely.

Geometrical intuition behind this?

In coordinates:

dαU=j=1,...,n;i1...ik:1i1<...<iknαi1...ikxjdxjdxi1...dxikd\alpha_U = \sum\limits_{j=1,...,n \: ; \: i_1...i_k: 1\leq i_1<...<i_k \leq n} \frac{\partial\alpha_{i_1...i_k}}{\partial x_j}dx_j \wedge dx_{i_1} \wedge...\wedge dx_{i_k}

where αi1...ik\alpha_{i_1...i_k} are the components of the Exterior form α\alpha. Note that the new exterior form has indices which may not be ordered in increasing order. So it would be easier if α\alpha was in that form too...