Abstract
We describe computational algorithms for constructing the explicit power series expansions for normal forms of submanifolds under transformation groups. The procedure used to derive the coefficients relies on the recurrence formulae for differential invariants provided by the method of equivariant moving frames.
Access provided by CONRICYT-eBooks. Download conference paper PDF
Similar content being viewed by others
Keywords
- Lie group
- Submanifold
- Normal form
- Moving frame
- Differential invariant
- Curvature
- Recurrence formula
- Invariantization
1 Introduction
The equivariant method of moving frames, introduced in [1], provides a powerful computational tool for investigating the equivalence and symmetry properties of submanifolds under general Lie group actions (and, more generally, infinite-dimensional Lie pseudo-groups, [2, 3]), and determining the required differential invariants. The main new tool is the recurrence relations, which completely prescribe the structure of the non-commutative differential algebra they generate through the process of invariant differentiation. Remarkably, these relations and the consequent differential algebraic structure can be completely and straightforwardly constructed, requiring only basic linear algebra, and can thus be readily implemented in any modern computer algebra system, including Mathematica, Maple, and Sage.
A simple example is provided by the Euclidean geometry of space curves \(C \subset {\mathbb R}^3\), under the action of the group of rigid motions — translations and rotations. The fundamental differential invariants are the curvature and torsion of the space curve, and the invariant differential operator is differentiation with respect to arc length. As a consequence, every Euclidean differential invariant can be expressed as a function of curvature, torsion, and their successive arc-length derivatives.
The normalization procedure underlying the construction of a moving frame is equivalent to the specification of a “normal form” for submanifolds under the group action. Roughly, to construct a normal form, one uses the group transformations to simplify, as much as possible, the Taylor expansion of the submanifold at a given point. The result will be called a normal form for the submanifold at the point, also known as the Monge or Monge–Taylor form, [4, 5]. As we note below, this simplification is exactly the same as the choice of cross-section to the prolonged group orbits, which is the first step in the equivariant moving frame construction. Once a normal form has been specified, the non-constant coefficients in the resulting Taylor series expansion form a complete system of differential invariants, known, in the equivariant approach, as the fundamental normalized differential invariants.
The purpose of the present note is to explain, in simplified form, the moving frame algorithms and recurrence formulae, and how they can be used to construct the normal form expansion of a submanifold in terms of the fundamental differential invariants and their invariant derivatives. While direct calculations can be very tedious, if not impossible due to the limitations of current computer algebra software and hardware, the recurrence formulae provide a simple, straightforward route to the desired formulae. In this paper, we describe this calculus, first in the simplest context of plane curves, and then for general submanifolds under Lie group actions. The results are illustrated by a few basic examples of geometric and imaging importance.
2 Plane Curves
For simplicity, we first describe the normal form construction in the its most basic manifestation: plane curves under “ordinary” group actions. The general version can be found below in Sect. 3.
Throughout this section, \(C \subset M = {\mathbb R}^2\) will denote a regular, smoothFootnote 1 (\(\mathrm{C}^{\infty }\)) plane curve. We use \(z = (x,u)\) as local coordinates on M, and \(t \in I \subset {\mathbb R}\) as a curve parameter, so that C is the image of the function \(z(t) = (x(t),u(t))\) for t in the interval I. Regularity requires that the curve’s tangent vector is nowhere vanishingFootnote 2: \(\mathchoice{\frac{dz}{dt}}{dz/dt}{dz/dt}{dz/dt} = (x_t,u_t) \ne \mathbf{0}\). We will identify parametrizations that have identical image curves, meaning that we allow reparametrization, including those that reverse orientation. In particular, the curve is a graph if it is parametrized by the horizontal coordinate x, so that \(z(x) = (x,u(x))\) for \(x \in I \subset {\mathbb R}\). Locally, in a neighborhood of \(z_0 = (x_0,u_0) \in C\), a curve can be parametrized uniquely as a graph if and only if it intersects the vertical fiber \(\bigl \{\,{x = x_0}\,\bigr \}\) transversally, meaning that its tangent vector at \(z_0\) is not vertical, i.e., \(x_t \ne 0\) there.
Given a graph defined by the function u(x), we will identify its Taylor polynomial of order n at a point \(z_0 = (x_0,u_0) = (x_0,u(x_0)) \in C\), namely,Footnote 3
with the \(n\)th order jet of the curve at the point \(z_0\). Note that the n jet is uniquely prescribed by the derivatives of order \(\le n\) at the point in question. Thus, the space of \(n\)th order transverseFootnote 4 curve jets, denoted \(\mathrm{J}{}^{n}\), can be identified with \({\mathbb R}^{n+2}\), with coordinates
The n-jet of the graph \(C = \{(x,u(x))\}\) at the point \(z_0 = (x_0,u(x_0)) \in C\) is thereby identified with the \((n+2)\)–tuple
One can straightforwardly derive, via implicit differentiation, expressions for the curve jet components (2) in terms of a general parametrization \(z(t) = (x(t),u(t))\), writing the \(n\)th order jet coordinate \(u_n\) as an explicit rational function of the derivatives, of order \(\le n\), of x(t), u(t). For example,
with the higher order expressions obtained by iteratively applying the implicit total derivative operator
By a differential function, we mean a (locally defined) real-valued function on the jet space, \(F :\mathrm{J}{}^{n}\rightarrow {\mathbb R}\), and so, in coordinates, taking form
To us, the most important differential functions are the differential invariants, e.g., curvature, torsion, and the like. Note that one can use the parametric differentiation formulae (3) to re-express any differential function in terms of a general curve parametrization.
Let G be an r-dimensional Lie group acting on \(M = {\mathbb R}^2\). There is an induced action of G on curves, with \(g \in G\) mapping the curve C parametrized by z(t) to the image curve \(\widetilde{C}{}= g \cdot C\) parametrized by \(\widetilde{z}{}(t) = g \cdot z(t)\). Two curves \(C, \widetilde{C}{}\subset M\) are said to be equivalent if there exists a group element \(g \in G\) such that \( \widetilde{C}{}= g \cdot C\). Again, we allow reparametrization in our identification of curves. In practice, we are primarily interested in local equivalence, in the neighborhood of corresponding points on the two curves.
The action of G on curves induces an action on their jets. In other words, given a jet \(z^{(n)}_0\in \mathrm{J}{}^{n}|_{z_0}\), let C be any transverse curve whose jet at \(z_0 \in C\) coincides with \(z^{(n)}_0\) at the point \(z_0 \in C\). Then \(g \cdot z^{(n)}_0\) is equal to the n-jet of the image curve \(\widetilde{C}{}= g \cdot C\) at the image point \(\widetilde{z}{}_0 = g \cdot z_0\). If the image curve is not transverse, the action is not defined in the ordinary jet space (although it is defined on the extended jet bundle, cf. [6]), meaning that the prolonged group action on \(\mathrm{J}{}^{n}\) is, in general, only a local action even if the action on M is global. The explicit formulae for the prolonged action of a transformation group are obtained by implicit differentiation, [1, 6].
A differential invariant of order n is a differential function \(I(z^{(n)})\) that is unaffected by the prolonged group action, i.e., \(I(g \cdot z^{(n)}) = I(z^{(n)})\) for all \(g \in G\) and all \(z^{(n)}\in \mathrm{J}{}^{n}\), where defined. Clearly, equivalent curves have identical differential invariants, although, of course, their explicit formulae in terms of the curves’ individual parametrizations may vary. The Cartan solution to the equivalence problem, [7], is based on the functional identities, or syzygies, among the differential invariants which are used to parametrize the associated signature. (In the case of curves in Euclidean space, the signature curve was introduced earlier by Bruce and Giblin, [4], under the name “Monge-Taylor map”.) See, for example, [8,9,10,11,12,13] for various applications of the differential invariant signature to object recognition in digital images.
In its simplest incarnation, a cross-section to the prolonged group action is a fixed jet \(z^{(n)}_0\in \mathrm{J}{}^{n}\) with the property that for any (nearby) curve C and point \(z \in C\) there is a unique group element \(g\in G\) such that
meaning that the group element maps the curve jet at z to the fixed cross-section jet. In particular \(g \cdot z = z_0\). A straightforward chain rule argument demonstrates that the group element satisfying (5) depends only of the n-jet \(z^{(n)}= \mathrm{j}_{n}C |_{z}\) of the curve at the point z. In view of uniqueness, we write \(g = \rho (z^{(n)})\), whereby (5) is equivalent to the equation
In the language of [1], the mapFootnote 5 \(\rho :\mathrm{J}{}^{n}\rightarrow G\) defines a (right) moving frame of order n, and, as can be easily proved, satisfies the right equivariance rule
where the dot on the left hand side indicates the prolonged group action on \(\mathrm{J}{}^{n}\), while the dot on the right hand side represents group multiplication. Occasionally, formulae are more simply written in terms of the corresponding left equivariant moving frame, which is merely the group inverse of the right moving frame:
and mapping the normal form jet to the curve jet: \(\widetilde{\rho }(z^{(n)})\cdot z^{(n)}_0= z^{(n)}\).
Given a choice of cross-section, a curve \(C_0\) is said to be in normal form if \(z_0 \in C_0\) and its n-jet at \(z_0\) coincides with the fixed cross-section jet: \(\mathrm{j}_{n}C_0 |_{z_0} = z^{(n)}_0\). Thus, given
any normal form curve, parametrized as the graph of the function \(u_0(x)\), has Taylor expansion
at \(x= x_0\), whose first \(n+1\) coefficients are fixed by the choice of cross-section jet, whereas the values of those of order \(\ge n+1\) depend upon the particularities of the curve \(C_0\).
Remark: Existence of a cross-section of the above type is equivalent to the transitivity and freenessFootnote 6 of the prolonged group action on an open subset of \(\mathrm{J}{}^{n}\). If the Lie group G has dimension r, then this requires \(n = r-2\). A planar group action that admits a cross-section in the above sense is known as ordinary, [7]. The only non-ordinary group actions on \({\mathbb R}^2\) are intransitive actions and those whose prolongations exhibit pseudo-stabilization, meaning that they act intransitively but not freely on some jet space. All “standard” transitive group actions arising in geometry and image processing are ordinary. Moreover, non-ordinary actions can be readily handled by the general moving frame construction described in the following section.
Applying the moving frame group element \(g = \rho (z^{(n)})\) to the curve C produces the normal form curve \(C_0 = g \cdot C = \rho (z^{(n)}) \cdot C\) associated with the point \(z \in C\), that satisfies the normal form constraint \(\mathrm{j}_{n}C_0 = z^{(n)}_0\). Clearly, two curves are locally equivalent if and only if they have identical normal forms at the matching points. Consequently, each Taylor coefficient of the normal form curve at the point \(z_0\), when expressed as a function of the original curve jet, defines a differential invariant. In other words, for any k,
defines a vector-valued differential invariant: \(I^{(k)}(g \cdot z^{(k)}) = I^{(k)}(z^{(k)})\) for all \(g \in G\) where defined, whose individual components provide \(k+2\) scalar-valued differential invariantsFootnote 7:
As a result, the normal form Taylor expansion (9) is
We will call \(I_j(z^{(j)})\) the \(j\)th order normalized differential invariant; note that its value is independent of the choice of \(k\ge j\) in (11); indeed, it would be convenient to set \(k = \infty \) and work with Taylor series (infinite jets) throughout. Of course, the first \(n+2\) of these, \(H,I_0,\ldots ,I_{n}\), are constant, since they equal the corresponding Taylor coefficient (11) of the cross-section jet: \(I_j(z^{(n)}) = c_j\).
According to [1], the non-phantom or fundamental normalized differential invariants of order \(> n\), namely \(I_{n+1}(z^{(n+1)}), I_{n+2}(z^{(n+2)}),\ldots \>\), form a complete system of differential invariants for the action of G on curves, meaning that, locally, any other differential invariant can be written, uniquely, as a function thereof. Indeed, the Replacement Rule states that if \(J(z^{(k)}) = J(x,u,u_x,\ldots ,u_k)\) is any differential invariant of orderFootnote 8 \(k > n\), then, replacing each of its arguments by the corresponding normalized invariant,
gives an explicit formula for J in terms of the fundamental normalized invariants. In symbolic computation terminology, [14], (13) is a rewrite rule expressing any differential invariant in terms of the fundamental generators.
Further, the moving frame map induces a process of invariantization, denoted by \(\iota \), that associates a differential invariant with any differential function. Namely, if \(F(z^{(k)})\) is any function of the curve jets, then its invariantization \(J(z^{(k)}) = \iota \,\bigl [\,{F(z^{(k)})}\,\bigr ]\) is the unique differential invariant that agrees with the value of F on the normal form prescribed by the cross-section: \(J(z^{(k)}_0) = F(z^{(k)}_0)\). Note that invariantization respects all algebraic operations — but not differentiation, which is the point of the recurrence formulae derived below. It is not hard to see that the invariantization process is readily implemented by substituting each jet coordinate appearing in the argument of F by the corresponding normalized differential invariant:
Furthermore, invariantization does not affect differential invariants: \(\iota \bigl [\,{J(z^{(k)})}\,\bigr ] = J(z^{(k)}) \) and hence, comparison with (14) immediately establishes the Replacement Rule (13).
Example 1
Plane curves under orientation-preserving rigid motions: In this example, \(G = \mathrm{SE}(2)\) is the special Euclidean group, consisting of translations and rotations of \({\mathbb R}^2\):
To place a plane curve in Euclidean normal form at a point \(z \in C\), we first use the translations to move the base point to the origin, \(x_0 = u_0 = 0\), and then rotate the translated curve so that its tangent is horizontal, whereby \(u_{x,0} = 0\). The resulting Euclidean normal form for a plane curve has Taylor expansion
at the origin. Its Taylor coefficients
when expressed in terms of the original curve parametrization, are the fundamental normalized differential invariants.
The preceding choice of normal form corresponds to the cross-section
whence the three associated phantom invariants are
The resulting left moving frameFootnote 9 \(\widetilde{\rho }\,:\mathrm{J}{}^{1} \rightarrow \mathrm{SE}(2)\) can be identified with the classical moving frame, [15], namely, its translation component is the point \(z \in C\), while the columns of the rotation matrix, \(R = [\,\mathbf{t}, \mathbf{n}\,]\), are the orthonormal frame vectors based at z, that is, the unit tangent \(\mathbf{t}\) and normal \(\mathbf{n}\). Furthermore, by direct computation or, alternatively, by applying the moving frame construction, the lowest order normalized differential invariant
turns out to be the Euclidean curvature of the curve. We defer the identification of the higher order normalized invariants \(I_3, I_4, \ldots \>\), until we have constructed the associated recurrence formulae.
Remark: In the preceding example, there remains an unresolved discrete ambiguity since we can rotate by \(\pi \) radians without affecting the cross-section (18). The effect is to map \(u_0(x)\) to \(-u_0(-x)\), and hence change the sign of the even order normalized invariants, \(I_{2j} \mapsto -I_{2j}\), so that, in particular, the curvature invariant changes sign: \(\kappa \mapsto -\kappa \). This can be avoided by either working with its absolute value or, if one restricts attention to closed curves, by fixing the orientation. Here, to avoid technicalities, we will ignore this final ambiguity (as is done in most treatments), referring to [16] for the full details, including the additional effects of reflections on the moving frame and differential invariants.
An alternative method of generating differential invariants is through invariant differentiation. Given a transformation group acting on plane curves, we use ds to denote the G-invariant arc-length element, or, equivalently, the invariantFootnote 10 one-form of lowest order. We remark that the invariant one-forms can also be systematically constructed through a reasonably straightforward extension of the invariantization process associated with the moving frame, and refer the reader to [1, 17] for details.
Let \({\mathscr {D}}= \mathchoice{\frac{d}{ds}}{d/ds}{d/ds}{d/ds}\) be the dual invariant differential operator, i.e., the arc length derivative. Invariance of the arc-length form ds implies that \({\mathscr {D}}\) maps a differential invariant of order k to a differential invariant of order \(k+1\). In particular, starting with the (non-constant) normalized differential invariant \(\kappa = I_{n+1}\) of lowest order, namely \(n+1\), which we identifyFootnote 11 as the G-invariant curvature function, its successive arc-length derivatives \({\kappa _s = {\mathscr {D}}\kappa ,\ \kappa _{ss} = {\mathscr {D}}^2 \kappa , \ldots \>}\), are differential invariants of respective orders \(n+2,n+3,\ldots \>\). It is known that they also generate the algebra of differential invariants; one way of proving this assertion is by inspection of the recurrence formulae. The Replacement Rule (13) tells us that these are all functions of the normalized differential invariants; vice versa, it can be shown that the normalized differential invariants are themselves certain functions of the curvature invariant and its successive arc length derivatives. The resulting formulae
enable one to express the coefficients of the normal form Taylor expansion (12) of a curve in terms of the curvature invariant and its arc-length derivatives. Our goal is to develop the machinery that enables one to straightforwardly compute these formulas, and hence the explicit Taylor expansion for the normal form of a curve under a group action.
While, in principle, knowing the explicit coordinate formulae for the curvature invariants enables one, e.g. via the Replacement Rule (13), to express them in terms of the normalized invariants, and hence, by inversion, determine the desired formulae (21), in practice, for complicated group actions and higher order invariants, this can be a very cumbersome and complicated procedure that can overwhelm the abilities of even sophisticated computer algebra systems such as Mathematica, Maple, Sage, etc. The power of the equivariant moving frame method is that it enables one to systematically and straightforwardly derive these formulae without a priori knowledge of the explicit formulae for any of the differential invariants, or the invariant arc length derivative, or even the moving frame itself. All that is required is the formulae for the prolonged infinitesimal generators of the group action, coupled with some simple (symbolic) linear algebra!
To explain the computational algorithm, let
be a basis for the Lie algebra of infinitesimal generators of the action of G, which are vector fields on M, [6]. Let
be the corresponding infinitesimal generators of the prolonged action of G on the jet spaces, whose coefficients are explicitly determined by the well-known prolongation formula, [6]:
Here
is the total derivative operator, which effectively differentiates differential functions by treating u as a function of x.
The recurrence formulae for the differentiated invariants, [1], are
where \(\iota \) is the invariantization map (14) and \(K_1,\ldots ,K_{r}\) are certain as yet unspecified differential invariants known as the Maurer–Cartan invariants.Footnote 12 In particular, if one takes \(0 \le k \le n=r-2\) in (26), then \(I_k = c_k\) is a constant phantom invariant, and hence the first term on the right hand side of the recurrence formula is zero. Thus, the result is a system of \(r-1\) linear equations for the r Maurer–Cartan invariants in terms of the normalized differential invariants of order \(\le r-1 = n+1\). These are supplemented by the recurrence formula for the remaining phantom invariant \(H = \iota (x) = x_0\), which takes the form
It can be shown that the resulting system of r linear equations can be uniquely solved for the Maurer–Cartan invariants \(K_1,\ldots ,K_{r}\), which can thus all be expressed as certain rational functions of the curvature invariant \(\kappa = I_{n+1}\). With these expressions in hand, the resulting higher order recurrence formulae (26), for \(k > n\), will then iteratively provide the required formulae (21) for each \(I_{k+1}\) in terms of the arc length derivatives of \( \kappa \). Let us see how this works in the context of a couple of examples.
Example 2
Return to the action of the Euclidean group on plane curves introduced in Example 1. We use
to denote the invariant arc length total derivative operator.
The infinitesimal generators of the action (15) are
Applying the prolongation (24), the infinitesimal generators of the prolonged action of \(\mathrm{SE}(2)\) on plane curves are
Thus, the recurrence formulae (26), (27) for the three phantom invariants (19) are
and hence the Maurer–Cartan invariants are
Using (17), (19), these values are then iteratively substituted into the higher order recurrence formulae (26) to produce
and so on. We conclude that the explicit Taylor expansion of a curve placed in Euclidean normal form (16) is
Higher order terms can be systematically constructed by continuing the above procedure. However, I do not know a general formula for the differential polynomials in \(\kappa \) that appear as coefficients.
Example 3
A more substantial example is provided by the geometry of equi-affine planar curves, [15], also of importance for image processing, [8]. The equi-affine group \(\mathrm{SA}(2) \) acts on \(M = {\mathbb R}^2\) via area-preserving affine transformations
The normalization equations
define a cross-section to the prolonged action, which leads to the classical equi-affine moving frame. This normalization can be applied except at inflection points, i.e., provided the nondegeneracy condition \(u_{xx} \ne 0\) holds. (Similar nondegeneracy conditions appear in most examples, the preceding case of Euclidean plane curves being a notable exception. At isolated inflection points one can, in principle, use the general moving frame procedure, to be presented in Sect. 3, to construct a higher order moving frame.) The cross-section (35) corresponds to the following equi-affine normal form for a non-degenerate plane curve:
The fundamental differential invariant is the equi-affine curvature
while
is the invariant differentiation operator with respect to equi-affine arc-length. Both formulas (37), (38) can be straightforwardly found by a complete implementation of the moving frame construction, but are not required to perform the ensuing computations.
Our goal is to write the higher order differential invariants
and hence the equi-affine normal form (36), in terms of the equi-affine curvature and its arc-length derivatives. Applying (23), (24), the prolonged infinitesimal generators for the equi-affine group action (34) are
Thus, the recurrence formulae (26), (27) for the phantom invariants coming from invariantizing the cross-section coordinates (37) are
and hence the Maurer–Cartan invariants are
These values are then substituted into the higher order recurrence formulae (26) to iteratively produce the desired formulae:
and so on. We conclude that the equi-affine normal form for a plane curve at a non-inflection point is given by
Again, while they are easily found by iterating the preceding algorithm, I do not know a general explicit formula for the differential polynomials appearing in the normal form expansion (43).
3 Normal Forms for Submanifolds
We now turn to the equivariant moving frame construction, [1], that applies to completely general Lie group actions and, when suitably adapted, [2], also to infinite-dimensional Lie pseudo-group actions. Let M be an m-dimensional manifold which, since we are working locally, we identify as (an open subset of) \({\mathbb R}^m\). Given \(1 \le p < m\), there is an induced action of G on p-dimensional submanifolds \(S \subset M\), and we are interested in determining when two such submanifolds are equivalent, meaning that there exists \(g \in G\) mapping one (locally) to the other: \(\widetilde{S}{}= g \cdot S\). As before, we are interested in the submanifold purely as a subset of M, and thus allow arbitrary reparametrizations thereof. (Although one can readily adapt the procedure to avoid or restrict allowable reparametrizations.) The solution to the equivalence problem is based on the differential invariant signature, and the moving frame method allows one to explicitly determine the fundamental differential invariants used to construct the required signature, [1, 8].
We employ coordinates \((x,u) = (x^1,\ldots ,x^{p},u^1,\ldots ,u^{q})\) on \({\mathbb R}^m\), with \(p+q = m\), treating the x’s as independent variables and the u’s as dependent variables, whereby any p-dimensional submanifold S that is transverse to the vertical fibers \(\bigl \{\,{x = x_0}\,\bigr \}\) can be locally identified with the graph, \(S = \{(x,u(x))\}\), of a smooth vector-valued function \(x \mapsto u(x)\) with components \(u^ \alpha (x^1,\ldots ,x^{p})\), \(\alpha =1,\ldots ,q\). We identify the \(n\)th order Taylor expansion of u(x) at a point \(x_0\) in its domain as the n jet of the submanifold at the base point \(z_0 = (x_0,u_0) = (x_0, u(x_0))\in S\). The resulting \(n\)th order jet space \(\mathrm{J}{}^{n}\), for p-dimensional submanifolds, is coordinatized by the independent variables \(x^1,\ldots ,x^{p}\), the dependent variables \(u^1,\ldots ,u^{q}\), and their derivatives up to order n, which we denote by \(u^\alpha _J\), with \(\alpha =1,\ldots ,q\), and \(J = (j_1,\ldots ,j_{k})\) a symmetric multi-index, with \(1 \le j_k \le p\), of order \(1 \le k = \#J \le n\), whose entries indicate partial derivatives of \(u^ \alpha \) with respect to the x’s. Thus, a point in \(\mathrm{J}{}^{n}\) is specified by the coordinates
The action of G on submanifolds induces an action on their jets, leading to the prolonged group action on jet space. Explicit formulas are obtained by implicit differentiation. In general, a cross-section is a submanifold of the jet space, \({\mathscr {K}}\subset \mathrm{J}{}^{n}\) that has complementary dimension and is transverse to the prolonged group orbits. Moreover, we assume that, for each jet \(z^{(n)}\in \mathrm{J}{}^{n}\) sufficiently close to \({\mathscr {K}}\), there is a unique group element \(g = \rho (z^{(n)})\) that maps \(z^{(n)}\) to the cross-section, which, as before, specifies the moving frame mapFootnote 13 \(\rho :\mathrm{J}{}^{n}\rightarrow G\), satisfying the right equivariance condition (7). Transversality means that no (non-zero) prolonged infinitesimal generator is tangent to the cross-section, which can be straightforwardly verified using their explicit formulas, cf. (50) below, and involves computing the rank of a certain matrix. Existence of a cross-section, and hence a moving frame, requires that the prolonged action be (locally) free and regular on an open subset of \(\mathrm{J}{}^{n}\), and it can be proved that, assuming the action on M is locally effective on subsets, local freeness holds at a sufficiently high order n, [18]. Usually—although not always, [19, 20]—one chooses a coordinate cross-section obtained by setting (or normalizing) \(r = \dim G\) of the jet coordinates equal to suitable constants. Almost always, one chooses a minimal order cross-section, meaning that the normalized jet coordinates have as low an order as possible. For example, the cross-section for an ordinary planar group action used in Sect. 2 is minimal. From here on we implicitly assume that we have chosen a coordinate cross-section of minimal order, although the general moving frame constructions can be readily adapted to more exotic choices.
If the group acts transitively on M, a minimal order coordinate cross-section is contained in the jet space over a single point \({\mathscr {K}}\subset \mathrm{J}{}^{n}|_{z_0}\). One can interpret such a coordinate cross-section as normalizing particular Taylor coefficients of the submanifolds passing through the base point \(z_0\) — which is almost always taken to be at the origin. Once the moving frame map is specified, the normal form for a submanifold \(S \subset M\) at a point \(z\in S\) is obtained by applying the moving frame map corresponding to the submanifold’s n-jet at the point in question, \(z^{(n)}= \mathrm{j}_{n}S|_{z}\), so that \(S_0 = \rho (z^{(n)}) \cdot S\) is a submanifold passing through \(z_0 \in S_0\) and whose jet belongs to the cross-section, i.e., whose Taylor coefficients corresponding to the normalized cross-section jet coordinates have been normalized to the specified values. The remaining jet coordinates (Taylor coefficients), when expressed in terms of the originating submanifold jets \(z^{(k)}\), provide a complete system of differential invariants, known as the normalized differential invariants.
With the moving frame in hand, we define the invariantization of a differential function \(F(z^{(n)})\) to be the unique differential invariant \(J(z^{(n)}) = \iota \bigl [\,{F(z^{(n)})}\,\bigr ]\) that agrees with F on the cross-section: \(F \mid {\mathscr {K}}= J \mid {\mathscr {K}}\). In particular, invariantization of the jet coordinate functions leads to the normalized differential invariants:
The r jet coordinates that are used to define the cross-section produce the constant, phantom differential invariants, and the remaining, non-phantom fundamental normalized invariants provide a complete system of functionally independent differential invariants. The invariantization map has the explicit formula
in which one replaces all jet coordinates by the corresponding normalized differential invariants. Moreover, invariantization clearly preserves differential invariants, \(\iota (J) = J\), and hence any differential invariant can be expressed in terms of the normalized differential invariants via the Replacement Rule:
Furthermore, for p-dimensional submanifolds there are p invariant differential operators \({\mathscr {D}}_1,\ldots ,{\mathscr {D}}_{p}\) that map differential invariants to differential invariants, and obtained by invariantizingFootnote 14 the corresponding total derivative operators
where \(u^\alpha _{J,i} = D_i(u^\alpha _J) = u^\alpha _{j_1\ldots j_ki}\). The Basis Theorem, [1, 3], states that there exist a finite number of generating differential invariants \(J_1,\ldots ,J_{l}\) with the property that any other differential invariant can be written as a (not necessarily uniquely specified) function of the generating invariants and their successive invariant derivatives,
In particular, one can express all the normalized differential invariants in terms of them, and the explicit formulae can be found by iteratively applying the recurrence formulae, to be described next. It is known that, given a moving frame \(\rho \,:\mathrm{J}{}^{n}\rightarrow G\) of order n, the non-constant normalized differential invariants of order \(\le n+1\) form a generating set, although it typically contains redundancies and one can, by inspection of the recurrence relations and the commutation formulae (see Example 5 below) among the invariant differential operators, produce a smaller generating set. Determining the minimal number \(l = l_\mathrm{min}\) of generating differential invariants is a very challenging problem, with surprises even in seemingly well-studied situations, [21, 22]. The case of curves is, however, known, where the answer (for ordinary group actions) is precisely \(l = m-1\); see [23] for intriguing Lie theoretic tools for determining their orders.
To write out the recurrence formulae, let
be a basis for the infinitesimal generators of the action of G on M. The corresponding prolonged infinitesimal generators for the action on the jet spaces are given by the well-known prolongation formula
whose coefficients are readily calculated:
where \(D\!_J = D_{j_1}\cdot \ldots \cdot D_{j_k}\), with \(J = (j_1,\ldots ,j_{k})\), \(1 \le j_\nu \le p\), denotes the corresponding higher order total derivative.
The general recurrence formula for differential invariantsFootnote 15 can be then formulated as follows. Let \(F(z^{(n)})\) be any differential function. Then
whereFootnote 16 \(K_{i}^{\sigma }\) are certain differential invariants known as the Maurer–Cartan invariants. (Our earlier equations (26), (27) are both special cases of (52), in which \(F = u_k\) and x, respectively.) In particular, if we take F to be one of the cross-section coordinates, then its invariantization is a constant phantom invariant, and hence the first term on the hand side of (52) is zero. Thus, fixing \(1 \le i \le p\), and then successively substituting the r cross-section coordinates into (52) produces a system of \(r = \dim G\) linear equations which, according to [1], can be uniquely solved for the Maurer–Cartan invariants \(K_{i}^{1},\ldots ,K_{i}^{r}\) as rational functions of the normalized differential invariants. Substituting these expressions, for all \(i=1,\ldots ,p\), into (52), where now F is taken to be successive non-normalized jet coordinates, produces the full system of recurrence relations that completely specifies the structure of the rational, non-commutative differential invariant algebra and, in particular, leads to the desired formulae for the Taylor coefficients as invariant derivatives of the generating differential invariants.
Let us illustrate the procedure with two further examples.
Example 4
Consider the \(r=6\) – dimensional Euclidean group \(\mathrm{SE}(3)\) acting by rigid motions on space curves \(C\subset M = {\mathbb R}^3\). Here the submanifolds have dimension \(p=1\), and we use coordinates \(z = (x,u,v)\) on M. As usual, we concentrate on curves given by the graphs of functions: \(u = u(x), \ v = v(x)\), although all our results can be readily adapted to general parametrized curves \(z(t) = \left( \,x(t),u(t),v(t)\,\right) ^T\). Indeed, the recurrence formulae and consequent relations among differential invariants make no reference as to how the curve is parametrized. On the other hand, when writing out explicit formulas for the differential invariants, we use
and so on, to denote the derivative vectors along the curve, where the second expression can be used in the special case of a graph, parametrized by \(t=x\).
A basis for the infinitesimal generators is provided by the vector fields
Applying the prolongation formula (50), (24) leads to the corresponding prolonged infinitesimal generators on the curve jet spaces, which are parametrized by
To order 3, we find
The classical moving frame, [15], relies on the normalization equations
which serve to define a coordinate cross-section provided \(u_{xx} \ne 0\). (Indeed, the classical moving frame is not defined at inflection points of the space curve.) This corresponds to translating and rotating the curve into the Euclidean normal form so that it goes through the origin, has tangent in the direction of the x-axis, and second order contact with the x, u plane. For this particular cross-section, the translational component of the left moving frame is the point on the curve, \(z = (x,u,v)\in C\), while the columns of the rotational component \(R = [\, \mathbf{t},\mathbf{n},\mathbf{b}\,] \in \mathrm{SO}(3)\) are the usual orthonormal tangent, normal, and binormal frame vectors based at z. However, keep in mind that these explicit identifications are not required to generate the recurrence formulae for the differential invariants.
We let
be the normalized differential invariants resulting from invariantization, so that, in view of (56), the phantom invariants are
One can further identify
with, respectively, the classical curvature invariant,Footnote 17 and the product of curvature and torsion. These two invariants generate the differential invariant algebra through invariant differentiation with respect to arc length, and the recurrence formulae allow one to express the normalized invariants \(I_k,J_k\) in terms of curvature, torsion, and their successive arc-length derivatives: \(\kappa , \tau , \kappa _ s, \tau _s, \ldots \>\).
We note the classical formulas
which can be obtained by fully implementing the moving frame construction, [25]. The first expression is valid for arbitrary parametrized curves, and the second is for graphs. However, we emphasize that these explicit formulas are not required for us to determine the recurrence formulas, and hence the Taylor coefficients of the Euclidean normal form of a space curve.
In this example, the recurrence formulae (52) have the form
for any differential function \(F(x,u,v,u_x,v_x,u_{xx},\ldots )\), where \(K_1,\ldots ,K_{6}\) are the Maurer–Cartan invariants. Taking F in (61) to be, in turn, each of the cross-section jet coordinates \(x,u,v,u_x,v_x,v_{xx}\) that define the phantom invariants (58) leads, via (55), to the linear system
which can be immediately solved for the Maurer–Cartan invariants:
Substituting these expressions into (61) and letting F range over the other jet coordinates produces the non-phantom recurrence formulae
and so on. Starting with (59), and successively substituting into (62), we find
This implies that the Euclidean normal form of a space curve has Taylor expansion
Observe that if \(\tau \equiv 0\), so that the curve is planar, then the first equation in (64) reduces to the planar normal form (33).
Example 5
Finally, we treat the action of the Euclidean group \(\mathrm{SE}(3)\) on two-dimensional surfaces \(S\subset M = {\mathbb R}^3\). Now \(p=2\), and we use coordinates \(z = (x,y,u)\) on M. As usual, we focus our attention to surfaces given by the graphs of functions: \(u = u(x,y)\). All our results can be readily adapted to general parametrized surfaces, and, as always, the final recurrence formulae make no reference to the underlying parametrization. We refer to [21, 24] for additional details. The surface jet space has coordinates
and, in general, we use \(u_{jk}\) to denote the jet coordinate corresponding to the partial derivative \(\partial ^{j+k}u/\partial x^j \partial y^k\).
The classical moving frame construction, [15], relies on the coordinate cross-section
The corresponding phantom invariants are
where, in general, we denote the normalized differential invariants by
The fundamental differential invariants of lowest order are the principal curvatures
and it can be shown — through inspection of the recurrence formulae — that they generate the algebra of differential invariants via invariant differentiation. Surprisingly, as explained below, they do not form a minimal generating set.
The selected cross-section (65) corresponds to translating and rotating the surface so that it acquires the Euclidean normal form by passing through the origin, having horizontal tangent plane, and so that the directions of principal curvature line up with the coordinate axes. This requires that the point \(z \in S\) be non-umbilic, meaning that the two principal curvatures are unequal, \(\kappa _{1} \ne \kappa _{2}\), which is the standard non-degeneracy condition required for the existence of a well-defined Euclidean moving frame, [15]. (At a non-degenerate umbilic, one could, in principle, employ a higher order moving frame.) The mean and Gaussian curvature invariants
are often used as convenient alternatives to the principal curvature invariants, since they eliminate some of the residual discrete ambiguities in the moving frame. The resulting left moving frame consists of the point on the curve defining the translation component \(a = z \in {\mathbb R}^3\), while the columns of the rotation matrix \(R = [\, \mathbf{t}_1,\mathbf{t}_2,\mathbf{n}\,] \in \mathrm{SO}(3)\) contain the unit tangent vectors \(\mathbf{t}_1,\mathbf{t}_2\) forming the Darboux frame on the surface, [15], along with the unit normal \(\mathbf{n}\).
Higher order differential invariants are obtained by differentiation with respect to the diagonalizing dual Darboux coframe . We let \({\mathscr {D}}_1,{\mathscr {D}}_2\) denote the dual invariant differential operators, which differentiate in the principal curvature directions, and defined so that the differential of any differential function F can be written in invariant form
The invariant differential operators do not commute, but, rather satisfy the commutation relation
where
are known as the commutator invariants, whose expressions can also be established using the full moving frame calculus, [24]. Note that the denominator in (71) vanishes at umbilic points on the surface, where the principal curvatures coincide \(\kappa _{1}=\kappa _{2}\), and the moving frame is not valid.
Setting F to be, successively, \( x, y, u_{jk}\) in the general formulae (52) produces the recurrence relations
for \(j,k \ge 0\), where \(K_{1}^{\sigma }, K_{2}^{\sigma }\) are the Maurer–Cartan invariants, while \(\xi _\sigma ,\eta _\sigma ,\varphi _\sigma ^{jk}\) are, respectively, the coefficients of \(\partial _x, \partial _y ,\partial _{u_{jk}}\) in the prolonged infinitesimal generators, which are calculated via (51):
Substituting (73) into the recurrence formulae (72) corresponding to the phantom invariants (58), and solving the resulting linear systems produces the formulae for the Maurer–Cartan invariants
Substituting these expressions back into (72), we successively obtain the desired formulae for the higher order normalized differential invariants in terms of the principal curvatures, of which the third order ones are
while, taking these into account, the fourth order recurrence relations yield
There are two distinct formulae for \(I_{31},I_{22},I_{13}\) because they appear in both the first and second set of recurrence formulae in (72). The two expressions for \(I_{31}\) and \(I_{13}\) agree owing to the non-commutativity, (70), of \({\mathscr {D}}_1,{\mathscr {D}}_2\), while the two expressions for \(I_{22}\) imply the celebrated Codazzi syzygy
which can be written compactly as
The latter is the key identity employed by Guggenheimer, [15], for a short proof of Gauss’ Theorema Egregium. We conclude that the Euclidean normal form of a surface \(z = u(x,y)\) at a non-umbilic point is
where the fourth order coefficients appear in (76). Higher order terms can easily and automatically be determined using the recurrence formulae.
It is a classical result that the algebra of Euclidean differential invariants of a non-umbilic surface \(S \subset {\mathbb R}^3\) is generated, through invariant differentiation, by the principal curvatures or, equivalently, the Gauss and mean curvatures; see [15] and, for a direct proof based on the moving frame recurrence relations, [24]. Surprisingly, as noted in [21], for suitably nondegenerate surfaces, the mean curvature by itself suffices to generate all the differential invariants. In particular, the Gauss curvature K can be written as an explicit universal rational combination of the invariant derivatives of the mean curvature H of order \(\le 4\). Here we go slightly further by completely characterizing the nondegeneracy condition found in [21].
Definition 6
A surface \(S \subset {\mathbb R}^3\) is mean curvature degenerate if, for any non-umbilic point \(z_0 \in S\), there exist scalar functions \(f_1(t), f_2(t)\), such that
at all points \(z \in S\) in a suitable neighborhood of \(z_0\).
Clearly any constant mean curvature surface—including any minimal surface—is mean curvature degenerate, with \(f_1(t) \equiv f_2(t) \equiv 0\). Surfaces with non-constant mean curvature that admit a one-parameter group of Euclidean symmetries, i.e., non-cylindrical or non-spherical surfaces of rotation, non-planar surfaces of translation, or helicoid surfaces, obtained by, respectively, rotating, translating, or screwing a plane curve, are also mean curvature degenerate since, by the signature characterization of symmetry groups, [1], they have exactly one non-constant functionally independent differential invariant, namely their mean curvature H and hence any other differential invariant, including the invariant derivatives of H—as well as the Gauss curvature K—must be functionally dependent upon H. There also exist surfaces without continuous symmetries that are, nevertheless, mean curvature degenerate since it is entirely possible that (80) holds, but the Gauss curvature remains functionally independent of H. However, I do not know whether there is a good intrinsic geometric characterization of such surfaces.
Theorem 7
If a surface is mean curvature nondegenerate then the algebra of differential invariants is generated entirely by the mean curvature and its successive invariant derivatives.
Proof
Following the arguments in [21], in view of the Codazzi formula (78), it suffices to write the commutator invariants \(Y_1,Y_2\) in terms of the mean curvature. To this end, we note that the commutator identity (70) can be applied to any differential invariant. In particular,
and, furthermore, for \(j = 1\) or 2,
Provided the nondegeneracy condition
holds, we can solve (81), (82) to write the commutator invariants \(Y_1,Y_2\) as explicit rational functions of invariant derivatives of H. Plugging these expressions into the right hand side of the Codazzi identity (78) produces an explicit formula for the Gauss curvature as a rational function of the invariant derivatives, of order \(\le 4\), of the mean curvature, which is valid for all surfaces satisfying the nondegeneracy condition (83).
Thus it remains to show that (83) is equivalent to mean curvature nondegeneracy of the surface. First, if (80) holds, then
This immediately implies
proving mean curvature degeneracy. Vice versa, in view of (69), the degeneracy condition (84) implies that, for each \(j=1,2\), the differentials \(d H, d ({\mathscr {D}}_j H)\) are linearly dependent everywhere on S, which, by a general theorem characterizing functional dependency, [6, Theorem 2.16], implies that, locally, \({\mathscr {D}}_j H\) can be written as a function of H, thus establishing the degeneracy condition (80). Q.E.D.
Notes
- 1.
One can apply the construction to curves of class \(\mathrm{C}^{n}\) provided n is sufficiently large that all derivatives indicated are continuous.
- 2.
Subscripts on dependent variables indicate derivatives.
- 3.
In this section, \(u_n\) represents the \(n\)th order derivative of u with respect to x.
- 4.
See [6] for the extended jet bundle construction, that includes non-transverse curves.
- 5.
Typically \(\rho \) is only defined on an open subset of the jet space.
- 6.
The action of G is free at \(z^{(n)}\in \mathrm{J}{}^{n}\) if the only group element that fixes \(z^{(n)}\) is the identity, i.e., \(g \cdot z^{(n)}= z^{(n)}\) if and only if \(g = e\).
- 7.
When \(k \le n\), then \(I^{(k)} = \bigl (\,{x_0,c_0,c_1,\ldots ,c_k}\,\bigr )\) is constant.
- 8.
Since G acts transitively on \(\mathrm{J}{}^{n}\), any differential invariant of order \(\le n\) is necessarily constant, and still satisfies the Replacement Rule.
- 9.
- 10.
Strictly speaking, ds is only “contact-invariant”, meaning that it is not an invariant form on jet space but, rather, is invariant when restricted to curve jets, or, equivalently, is invariant modulo contact forms, [7].
- 11.
Identification of \(\kappa \) with a classical geometric quantity (Euclidean curvature, equi-affine curvature, projective curvature, etc.) requires an appropriate choice of normal form. Other choices may result in some function, e.g., a constant multiple, of the classical curvature invariant. Incidentally, the function in question can be straightforwardly found by applying the Replacement Rule (13) to the classical formula.
- 12.
This is because they are, in fact, the coefficients of the pull-backs of the Maurer–Cartan forms via the moving frame map \( \rho :\mathrm{J}{}^{n}\rightarrow G\), [1]. However, while this is essential to proving the validity of (26), from a purely practical standpoint there is no need to know this theoretical fact, or even understand what a “Maurer–Cartan form” is, since, as we will soon see, we can readily determine their explicit formulae directly from the recurrence formulae themselves.
- 13.
As before, the notation allows \(\rho \) to be only defined on an open subset of \(\mathrm{J}{}^{n}\).
- 14.
More correctly, one invariantizes the basic horizontal one-forms, \(\varpi ^i = \iota (dx^i)\), producing a invariant horizontal coframe, and the invariant differential operators are the dual total differentiation operators.
- 15.
- 16.
Now we have made the group index \(\sigma \) on the Maurer–Cartan invariants a superscript.
- 17.
As in the planar version, there is an ambiguous sign resulting from a \(180^\circ \) rotation, and one usually sets \(\kappa = |\,{I_2}\,|\) to ensure full invariance. To avoid minor technicalities, we shall ignore this extra complication here, and refer the reader to [16] for further details.
References
Fels, M., Olver, P.J.: Moving coframes. II. regularization and theoretical foundations. Acta Appl. Math. 55, 127–208 (1999)
Olver, P.J., Pohjanpelto, J.: Moving frames for Lie pseudo-groups. Can. J. Math. 60, 1336–1386 (2008)
Olver, P.J., Pohjanpelto, J.: Differential invariant algebras of Lie pseudo-groups. Adv. Math. 222, 1746–1792 (2009)
Bruce, J.W., Giblin, P.J.: Curves and Singularities. Cambridge University Press, Cambridge (1984)
Cipolla, R., Giblin, P.: Visual Motion of Curves and Surfaces. Cambridge University Press, Cambridge (2000)
Olver, P.J.: Applications of Lie Groups to Differential Equations. Graduate texts in mathematics, 2nd edn., vol. 107. Springer, New York (1993)
Olver, P.J.: Equivalence, Invariants, and Symmetry. Cambridge University Press, Cambridge (1995)
Calabi, E., Olver, P.J., Shakiban, C., Tannenbaum, A., Haker, S.: Differential and numerically invariant signature curves applied to object recognition. Int. J. Comput. Vis. 26, 107–135 (1998)
Grim, A., O’Connor, T., Olver, P.J., Shakiban, C., Slechta, R., Thompson, R.: Automatic reassembly of three–dimensional jigsaw puzzles. Int. J. Image Graph. 16, 1650009 (2016)
Grim, A., Shakiban, C.: Applications of signatures in diagnosing breast cancer. Minnesota J. Undergrad. Math. 1(1), 001 (2015)
Hoff, D., Olver, P.J.: Automatic solution of jigsaw puzzles. J. Math. Imaging Vis. 49, 234–250 (2014)
Marsland, S., McLachlan, R.I.: Möbius invariants of shapes and images. SIGMA: Symmetry Integr. Geom. Methods Appl. 12, 080 (2016)
Shakiban, C., Lloyd, P.: Signature curves statistics of DNA supercoils. In: Mladenov, I.M., Hirschfeld, A.C. (eds.) Geometry, Integrability and Quantization, vol. 5, pp. 203–210. Softex, Bulgaria (2004)
Hubert, E., Kogan, I.A.: Rational invariants of a group action. Construction and rewriting. J. Symb. Comput. 42, 203–217 (2007)
Guggenheimer, H.W.: Differential Geometry. McGraw-Hill, New York (1963)
Olver, P.J.: Joint invariant signatures. Found. Comput. Math. 1, 3–67 (2001)
Olver, P.J.: Lectures on moving frames. In: Levi, D., Olver, P., Thomova, Z., Winternitz, P. (eds.) Symmetries and Integrability of Difference Equations. London Math. Soc. Lecture Note Series, vol. 381, pp. 207–246. Cambridge University Press, Cambridge (2011)
Olver, P.J.: Moving frames and singularities of prolonged group actions. Selecta Math. 6, 41–77 (2000)
Kim, P.: Invariantization of numerical schemes using moving frames. BIT 47, 525–546 (2007)
Mansfield, E.L.: Algorithms for symmetric differential systems. Found. Comput. Math. 1, 335–383 (2001)
Olver, P.J.: Differential invariants of surfaces. Differ. Geom. Appl. 27, 230–239 (2009)
Hubert, E., Olver, P.J.: Differential invariants of conformal and projective surfaces. SIGMA 3, 097 (2007)
Green, M.L.: The moving frame, differential invariants and rigidity theorems for curves in homogeneous spaces. Duke Math. J. 45, 735–779 (1978)
Kogan, I.A., Olver, P.J.: Invariant Euler-Lagrange equations and the invariant variational bicomplex. Acta Appl. Math. 76, 137–193 (2003)
Gray, A., Abbena, E., Salamon, S.: Modern Differential Geometry of Curves and Surfaces with Mathematica, 3rd edn. Chapman & Hall/CRC, FL (2006)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Olver, P.J. (2018). Normal Forms for Submanifolds Under Group Actions. In: Kac, V., Olver, P., Winternitz, P., Özer, T. (eds) Symmetries, Differential Equations and Applications. Springer Proceedings in Mathematics & Statistics, vol 266. Springer, Cham. https://doi.org/10.1007/978-3-030-01376-9_1
Download citation
DOI: https://doi.org/10.1007/978-3-030-01376-9_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-01375-2
Online ISBN: 978-3-030-01376-9
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)