2-forms and dual 0-forms

Functions on a manifold cannot be integrated per se. This is also the reason for the notation

Ufdx1dxn

if one wants to integrate a function f over a region URn. If you express f in different coordinates  (for example polar coordinates) the integral changes (unless you stick in some Jacobi determinant). Objects living on regions in Rn that can be integrated independent of the choice of coordinates are called n-forms. In the above formula dx1dx1 is such an n-form and its integral over URn always calculates the n-dimensional volume of U, no matter which coordinates you use. Conversely, if you know the integral of an n-form over any subregion of U you know the n-form.

This gives us a clue how to define 2-forms on our discrete surfaces: A 2-form σ assigns to each face φ a real number σ(φ). We also use the notation

σ(φ)=:φσ.

If UF is a union of faces we define

Uσ:=φUφσ.

Also we write

Mσ:=Fσ.

In many situations it is possible to an area to each face. Such an assignment of areas to faces is a special case of a 2-form, usually referred to as the volume form σvol of M. The total area of M is then

vol(M):=Mσvol.

Even in the presence of a volume form discrete functions fΩ0(M) cannot be integrated. This is because they represent function values at vertices and there is no canonical way to multiply such an f with σvol in order to get a 2-form that can be intergrated.

We use this as a motivation to introduce another kind of objects: dual 0-forms. We think of them as real-valued functions on the surface that are constant on the interior of all faces. Formally speaking they are also just defined as functions

f:FR.

The above remarks should have made it clear though that it is not wise to confuse dual 0-forms with 2-forms: functions cannot be integrated while this is perfectly possible for 2-forms. Functions can however be multiplied with 2-forms, the result being another 2-form:

φ(fσ):=f(φ)φσ.

Note that this seems to be a reasonable formula for functions f that are constant on each face.

We denote the vector space of all functions by Ω0(M). This space is indeed canonically isomorphic to the dual vector space of Ω1(M): To verify this statement it enough to exhibit a nondegenerate bilinear pairing

,:Ω0(M)×Ω2(M)R

f,σ:=Mfσ.

Finally: If we are given a volume form, we can integrate dual functions by defining

Mf:=Mfσvol.

Integral of dual functions over unions U of faces can then be defined in a similar way.

Leave a Reply