Dual 1-forms and derivatives of dual 0-forms

The derivative of a 0-form is a function on oriented edges e that records the difference between the values of f at the vertices end(e) and start(e). Similarly, the derivative of a dual 0-form f encodes the difference between the two function values of f on the two sides of e: For fΩ0(M) we define

2f:ER

2f(e)=f(left(e))f(right(e)).

We use the same letters for dual 0-forms and 0-forms, but it will be convenient to use a diffrent letter (pronounced “del”) for the derivative. Formally, 2f looks like a 1-form, but the meaning is different. So we decide to call an object like the above 2f a dual 1-form and denote the space of all dual 1-forms by

Ω1(M)={η:ER|ηρ=η}.

Just as we interpreted Ω0(M) as the dual space of Ω2(M) we can define a non-degenerate pairing between dual 1-forms and 1-forms:

,:Ω1(M)×Ω1(M)R

η,ω:=eE^η(e)ω(e).

Just as we did for 1-forms, we can visualize dual 1-forms by writing numbers on arrows. Also here we could reverse any arrow and change the sign of the corresponding number. The picture below shows the derivative of the dual function that is 1 on the red face and -1 on the blue one.

Leave a Reply