Absolute differential forms

Idea

It's well known that one can integrate a differential form on an oriented submanifold. Less well known (but also true), one can integrate a differential pseudoform on an pseudoriented (transversely oriented) submanifold. But in classical differential geometry, one also sees forms that can be integrated on unoriented submanifolds.

I call these absolute forms. The term ‘absolute’ suggests a lack of additional required structure, in this case some sort of orientation on the domain of integration. It also suggests absolute value, since many of the examples from classical differential geometry involve absolute values. Indeed, we can define the absolute value of a form or a pseudoform to be an absolute form, although not every absolute form arises in this way.

The main theorem of absolute forms is that, if $\omega$ is a (pseudo)-$p$-form and $R$ is a (pseudo)-oriented $p$-dimensional submanifold, then

$\mid {\int }_{R}\omega \mid \le {\int }_{\mid R\mid }\mid \omega \mid ,${|\int_R \omega|} \leq \int_{|R|} {|\omega|} ,

where $\mid \omega \mid$ is an absolute $p$-form (the absolute value of $\omega$), $\mid R\mid$ is simply $R$ with its (pseudo)-orientation ignored, and the absolute value on the left is the ordinary absolute value of scalars. This theorem also applies if we start with an absolute $p$-form $\omega$, (although in that case $R$ starts out unoriented and so is the same as $\mid R\mid$). If $R$ is a de Rham chain (a formal linear combination of appropriately oriented submanifolds), we also take absolute values of the formal coefficients in $\mid R\mid$.

Definitions

Let $X$ be a differentiable manifold (or similar sort of space), and let $p$ be a natural number (typically $0\le p\le n$, where $n$ is the dimension of $X$). Recall that an (exterior differential) $p$-form $\omega$ on $X$ is a function that assigns a real number (or whatever is the relevant sort of scalar) ${\omega }_{c}\left({v}_{1},\dots ,{v}_{p}\right)$ to a point $c$ in $X$ and a $p$-tuple $\left({v}_{1},\dots ,{v}_{p}\right)$ of tangent vectors at $c$, multilinearly? and alternating? in the ${v}_{i}$. Similarly, a $p$-pseudoform $\omega$ on $X$ is a function that assigns a scalar ${\omega }_{c}^{o}\left({v}_{1},\dots ,{v}_{p}\right)$ to a point $c$ in $X$, a local orientation $o$ at $c$, and a $p$-tuple $\left({v}_{1},\dots ,{v}_{p}\right)$ of tangent vectors at $c$, multilinearly and alternating in the ${v}_{i}$ and reversing sign under a reversal of $o$.

Definition

An absolute $p$-form $\omega$ on $X$ is a function that assigns a scalar ${\omega }_{c}\left({v}_{1},\dots ,{v}_{p}\right)$ to a point $c$ in $X$ and a $p$-tuple $\left({v}_{1},\dots ,{v}_{p}\right)$ of tangent vectors at $c$ and that satisfies the following conditions:

1. Fixing $c$, ${\omega }_{c}\left(-\right)$ shall be uniformly continuous.

2. The $p$-tuple $\left({v}_{1},\dots ,{v}_{p}\right)$ shall be linearly independent if ${\omega }_{c}\left({v}_{1},\dots ,{v}_{p}\right)\ne 0$. Thus, although ${\omega }_{c}$ is not linear, we may still call it alternating?; however (as a consequence of 3), it is actually symmetric.

3. Fix a $p$-dimensional subspace $S$ of the tangent space at $c$ and an orientation $o$ of $S$. Now given a linearly independent $p$-tuple $\left({v}_{1},\dots ,{v}_{p}\right)$ from $S$ (that is a basis of $S$), let ${\omega }_{c}\left({v}_{1},\dots ,{v}_{p}{\right)}_{S}^{o}$ be $±{\omega }_{c}\left({v}_{1},\dots ,{v}_{p}\right)$ according to whether the orientation of $S$ induced by the ${v}_{i}$ matches $o$, and extend this by continuity to all $p$-tuples from $S$ (which extension must be unique and exists by 1&2). The resulting function ${\omega }_{c}\left(-{\right)}_{S}^{o}$ shall be multilinear? (and so also alternating, by 2).

The multilinearity condition here is rather weaker than for a (pseudo)-form, since it applies only within a $p$-dimensional subspace. Shifting one vector even slightly outside of $S$ loses all connection provided by multilinearity, which is why we need a continuity condition; continuity holds for (pseudo)-forms automatically.

An absolute $p$-form $\omega$ is continuous if it is jointly continuous in all of its data ($c$ as well as the ${v}_{i}$). Since the domain of the function $\omega$ is a manifold (a vector bundle over $X$, although $\omega$ is not a map of vector bundles), we can even discuss differentiability, smoothness, and even analyticity of $\omega$ when $X$ has the relevant structure.

An absolute $0$-form is the same thing as a $0$-form. An absolute $n$-form on an $n$-dimensional manifold $X$ is essentially the same thing as an $n$-pseudoform; with the notation from condition 3, the only possibility for $S$ is the entire tangent space ${T}_{c}X$, and we have

${\stackrel{˜}{\omega }}_{c}^{o}\left({v}_{1},\dots ,{v}_{n}\right)={\omega }_{c}\left({v}_{1},\dots ,{v}_{n}{\right)}_{{T}_{c}X}^{o}$\tilde\omega_c^o(v_1,\ldots,v_n) = \omega_c(v_1,\ldots,v_n)_{T_c{X}}^o

to relate the $n$-pseudoform $\stackrel{˜}{\omega }$ to the absolute $n$-form $\omega$. Finally, the only absolute $p$-form for $p>n$ is $0$.

At a point $c$, an absolute $p$-form $\omega$ is:

• indefinite if ${\omega }_{c}\left({v}_{1},\dots ,{v}_{p}\right)>0$ for some (necessarily linearly independent) $p$-tuple of vectors and ${\omega }_{c}\left({v}_{1},\dots ,{v}_{p}\right)<0$ for some $p$-tuple,

• semidefinite if not indefinite,

• definite (and hence semidefinite) if ${\omega }_{c}\left({v}_{1},\dots ,{v}_{p}\right)\ne 0$ for every independent $p$-tuple of vectors at $c$,

• positive (and hence semidefinite) if ${\omega }_{c}\left({v}_{1},\dots ,{v}_{p}\right)\ge 0$ for every $p$-tuple of vectors (it is enough when they are independent),

• negative (and hence semidefinite) if ${\omega }_{c}\left({v}_{1},\dots ,{v}_{p}\right)\le 0$ for every (independent) $p$-tuple of vectors.

All these are at a point $c$; $\omega$ satisfies the condition (tout court) if it holds for all $c$.

Given an absolute $p$-form $\omega$, its absolute value $\mid \omega \mid$ is a positive semidefinite absolute $p$-form:

${\mid \omega \mid }_{c}\left({v}_{1},\dots ,{v}_{p}\right)≔\mid {\omega }_{c}\left({v}_{1},\dots ,{v}_{p}\right)\mid .${|\omega|}_c(v_1,\ldots,v_p) \coloneqq {|\omega_c(v_1,\ldots,v_p)|} .

If we start with a $p$-form $\omega$, then the same definition defines a positive absolute $p$-form $\mid \omega \mid$. If we start with a $p$-pseudoform $\omega$, then essentially the same definition still works; we use either orientation to evaluate $\omega$ with the same result. Note that $\mid \omega \mid$ is continuous if $\omega$ is. However, we may not conclude that $\mid \omega \mid$ is differentiable even if $\omega$ is smooth. On the other hand, $\mid \omega \mid$ inherits differentiability properties from $\omega$ wherever $\omega \ne 0$. (Even then, however, we cannot inherit analyticity.)

Given two absolute $p$-forms $\omega$ and $\eta$, their sum $\omega +\eta$ is an absolute $p$-form:

$\left(\omega +\eta {\right)}_{c}\left({v}_{1},\dots ,{v}_{p}\right)≔{\omega }_{c}\left({v}_{1},\dots ,{v}_{p}\right)+{\eta }_{c}\left({v}_{1},\dots ,{v}_{p}\right).$(\omega + \eta)_c(v_1,\ldots,v_p) \coloneqq \omega_c(v_1,\ldots,v_p) + \eta_c(v_1,\ldots,v_p) .

Given an absolute $p$-form $\omega$ and a scalar field $f$, their product $f\omega$ is an absolute $p$-form:

$\left(f\omega {\right)}_{c}\left({v}_{1},\dots ,{v}_{p}\right)≔f\left(c\right){\omega }_{c}\left({v}_{1},\dots ,{v}_{p}\right).$(f \omega)_c(v_1,\ldots,v_p) \coloneqq f(c) \omega_c(v_1,\ldots,v_p) .

In this way, the space of absolute $p$-forms is a module over the algebra of scalar fields and the space of sections of a vector bundle. For the moment, we decline to define products of absolute forms of aribtrary rank.

Given an absolute $p$-form $\omega$ on $X$, a manifold $U$, and a continuously differentiable map $R:U\to X$, the pullback ${R}^{*}\omega$ is an absolute $p$-form on $U$:

$\left({R}^{*}\omega {\right)}_{c}\left({v}_{1},\dots ,{v}_{p}\right)≔{\omega }_{R\left(c\right)}\left({R}_{*}{v}_{1},\dots ,{R}_{*}{v}_{p}\right).$(R^*\omega)_c(v_1,\ldots,v_p) \coloneqq \omega_{R(c)}(R_*v_1,\ldots,R_*v_p) .

Here, ${R}_{*}{v}_{i}$ is the pushforward? of ${v}_{i}$ under $R$. Note that ${R}^{*}\omega$ is continuous if $\omega$ is; we can also pull back differentiability and analyticity properties that $\omega$ and $R$ both have.

Given a continuous absolute $p$-form $\omega$ on $X$, a $p$-dimensional manifold $U$, and a continuously differentiable map $R:U\to X$, the integral ${\int }_{R}\omega$ is a scalar:

${\int }_{R}\omega ≔{\int }_{U}{R}^{*}\omega .$\int_R \omega \coloneqq \int_U R^*\omega .

On the right-hand side, ${R}^{*}\omega$ is a continuous absolute $p$-form on $U$, but since $U$ is $p$-dimensional, this is essentially the same as a continuous $p$-pseudoform on $U$, and we already know how to integrate this (see integration of differential forms).

Examples

Examples of absolute forms from classical differential geometry include:

• Absolute $0$-forms are the same as ordinary $0$-forms.

• Absolute $n$-forms on an $n$-dimensional manifold are the same as $n$-pseudoforms (and hence the same as absolutely continuous Radon measures).

• In complex analysis, $\mid \mathrm{d}z\mid$ is an absolute $1$-form sometimes used in contour integration. This literally is the absolute value of the differential of the identity map $z$.

• More generally, the arclength? element $\mathrm{d}s=\parallel \mathrm{d}x\parallel$ on a Riemannian manifold is an absolute $1$-form. Neither $\mathrm{d}s$ nor $\mathrm{d}x$ (in general) is actually the differential of anything, but $\mathrm{d}x$ is the canonical vector-valued $1$-form (which, on a Cartesian space, really is the differential of the identity map $x$), and we really can use the metric to take the norm of such a form to get an absolute $1$-form.

• Similarly, the surface area? element on a Riemannian manifold is an absolute $2$-form, and we can continue into higher dimensions (although the classical volume element in ${ℝ}^{3}$ is already covered as a $3$-pseudoform).

References

Near the end of a Usenet post from 2002, we see a definition of ${\int }_{R}\mid \omega \mid$ for $\omega$ a (pseudo)-$p$-form and $R$ a $p$-dimensional submanifold, but without a broader context for $\mid \omega \mid$ itself:

Apparently absolute $p$-forms (at least if continuous) are the same as even $p$-densities as defined by Gelfand; see this MathOverflow answer:

Revised on March 6, 2013 05:35:28 by Toby Bartels (98.16.160.142)