nLab pseudoform

Contents

Contents

Idea

A pseudoform is a differential form that has been twisted by the pseudoscalar bundle.

Concretely, this means that when written in two (local) systems of coordinates, the form transforms by an additional factor of 1-1 when the coordinate systems have opposite orientations. For a top-dimension pseudoform, this has the effect that at any given point, the form has a consistent sign regardless of the orientation of the coordinates.

An nn-pseudoform is the fundamental object of integration on an n n -manifold. In particular the volume (or area, or length) is a pseudoform.

Definition

Definition

A pseudoform on a manifold XX is a section of the tensor product ΛΨ\Lambda \otimes \Psi, where

By comparison, an untwisted differential form is a section of the exterior algebra Λ\Lambda itself.

Properties

See also discussion under “Twisted and vector-valued forms” at differential form.

Correspondence to untwisted forms given orientation

For a pseudoform ω\omega on an oriented manifold with orientation oo, multiplying ω\omega by the pseudoscalar field 1 o1_o whose value at orientation oo is everywhere 11 gives an untwisted form ω o=1 oω\omega_o = 1_o \wedge \omega. Similarly an untwisted form α\alpha corresponds to a pseudoform 1 oα1_o \wedge \alpha.

As a result, on an orientable manifold, any pseudoform ω\omega corresponds to two untwisted forms, one for each orientation, which differ only in sign. Conversely, on an orientable manifold any untwisted form corresponds to two pseudoforms differing only in sign. Even when the manifold is nonorientable, this correspondence holds locally because each point has an orientable neighborhood.

When working on a manifold with a chosen orientation, many authors conflate a pseudoform ω\omega with the corresponding untwisted form ω o\omega_o and vice versa.

Integration

When integrating differential forms on an nn-manifold, the most fundamental is the integration of nn-pseudoforms.

This corresponds to how in multivariable calculus, the formula for change of variables has a factor of the absolute value of the determinant (just like for an nn-pseudoform), and not of the determinant itself (as one would have for an untwisted nn-form).

With an orientation, one can of course also integrate (untwisted) nn-forms; this can be seen as using the orientation to convert the nn-form to an nn-pseudoform and integrating that.

More generally one can integrate a pp-pseudoform on an nn-manifold XX if one has a pp-submanifold UU to integrate over and a pseudoorientation of UU in XX. See integration of differential forms.

Examples

Top-dimensional examples

The volume (or area, or length) on an nn-manifold is an nn-pseudoform. On an oriented manifold one often speaks of a volume form as an untwisted nn-form.

The absolute value of an untwisted nn-form (on an nn-manifold) is an nn-pseudoform, as is the absolute value of an nn-pseudoform.

Alternatively, both of these examples can be thought of as absolute differential forms. On an nn-manifold, an absolute nn-form is equivalent to an nn-pseudoform.

Electromagnetism

In electromagnetism, the current form jj, measuring flux of charge, is a 2-pseudoform. This can be seen by considering how one integrates it: you need a 2-surface together with a notion of which way through the surface is forward and which is backward, or in other words a pseudooriented surface.

By contrast the magnetic field strength BB is an untwisted 2-form. To integrate BB over a surface UU, one needs not a pseudoorientation but an orientation of UU itself, identifying a direction of circulation within the surface rather than a transverse direction through the surface.

Traditionally in electromagnetism these look very similar because one freely converts an orientation to a pseudoorientation and vice versa. The tell when one does so is that it relies on an arbitrary choice of orientation of the ambient 3-dimensional space, namely the right-hand rule?. Comparing the right-hand rule to a left-hand rule, one gets the same physical meaning by integrating jj over the same surface with the same pseudoorientation (hence opposite orientations), confirming that the pseudoorientation is primary and jj is properly a pseudoform. With BB, one needs the same orientation on the surface (hence opposite pseudoorientations), confirming that the orientation is primary and BB is an untwisted form.

References

Many useful explanations by Toby Bartels and John Baez in this long Usenet thread. In particular:

Last revised on May 15, 2023 at 06:39:17. See the history of this page for a list of all contributions to it.