---
title: Lie Arclength in Lie Sphere Geometry
url: https://www.emergentmind.com/topics/lie-arclength
type: topic
---

# Lie Arclength in Lie Sphere Geometry

Lie arclength is the Lie-invariant parameter arising in the Lie sphere geometry of generic curves in \(\Lambda\), the unit tangent bundle of the unit \(3\)-sphere, when those curves are everywhere transversal to the contact distribution of \(\Lambda\). By the method of moving frames, such curves can be parametrized by Lie arclength, and in that parametrization they are uniquely determined, up to Lie sphere transformation, by four local invariants called the Lie curvatures [2509.22408]. In a broader invariant-geometric sense, the literature also uses related arclength constructions associated with transformation groups, notably affine arc length in equiaffine geometry; this suggests that “Lie arclength” belongs to a family of group-invariant length elements rather than a single Euclidean-type metric notion [1205.0065].

## 1. Lie sphere-geometric setting

The ambient model for the Lie sphere theory under discussion is
\[
\mathbb{R}^{4,2}=\mathbb{R}^6
\]
equipped with the bilinear form
\[
\langle x, y \rangle =-(x^0y^5 + x^5y^0)-(x^1y^4 + x^4y^1) +x^2y^2 +x^3y^3 = {}^t x\, h\, y,
\]
of signature \((4,2)\), where
\[
h= \begin{pmatrix} 0 & 0 & -L\\ 0 & I_2 & 0\\ -L & 0 & 0 \end{pmatrix}, \qquad
L= \begin{pmatrix} 0&1\\ 1&0 \end{pmatrix}, \qquad
I_2= \begin{pmatrix} 1&0\\ 0&1 \end{pmatrix}.
\]
Let \(G\) be the identity component of
\[
\{A\in GL(6,\mathbb{R})\mid {}^tAhA=h\}\cong O(4,2),
\]
the Lie sphere group. The Lie quadric is
\[
\mathcal Q=\{[x]\in \mathbb{RP}^5\mid \langle x,x\rangle=0\}.
\]

The space \(\Lambda\) is the Grassmannian of null \(2\)-planes through the origin in \(\mathbb{R}^{4,2}\). Equivalently,
\[
\Lambda \cong G/G_0,
\]
and it is identified with the unit tangent bundle \(T_1(S^3)\) of the unit \(3\)-sphere. The chosen base point is
\[
\lambda_0=[e_0,e_1]\in \Lambda,
\]
and the projection
\[
\pi_\Lambda:G\to\Lambda,\qquad \pi_\Lambda(A)=[Ae_0,Ae_1]=[A_0,A_1],
\]
is a principal \(G_0\)-bundle [2509.22408].

A fundamental feature of \(\Lambda\) is its contact structure. If \(\omega=A^{-1}dA=(\omega^i_j)\) is the Maurer–Cartan form, then under any Lie frame field \(A:U\to G\), the forms
\[
\omega^4_0,\ \omega^2_0,\ \omega^2_1,\ \omega^3_0,\ \omega^3_1
\]
give a coframe on \(U\subset \Lambda\). Moreover,
\[
d\omega^4_0 \equiv -\omega^2_1\wedge \omega^2_0 - \omega^3_1\wedge \omega^3_0 \mod \omega^4_0,
\]
and therefore
\[
\omega^4_0\wedge d\omega^4_0\wedge d\omega^4_0\neq 0.
\]
Thus \(\omega^4_0\) defines a contact structure on \(\Lambda\) [2509.22408].

## 2. Transversal curves, nondegeneracy, and frame normalization

A smooth immersed curve
\[
\gamma:J\to \Lambda
\]
is a transversal curve, or \(T\)-curve, if it is everywhere transverse to the contact distribution, namely if
\[
\alpha(\gamma'(t))\neq 0
\]
for every local contact form \(\alpha=A^*(\omega^4_0)\). In the model \(\Lambda\cong T_1(S^3)\), such a curve is an immersed curve \(v(t)\in S^3\) together with a unit vector field \(\xi\) along \(v\), whose tangential component never vanishes [2509.22408].

A Lie frame field along \(\gamma\) is a smooth lift
\[
A:I\to G
\]
such that \([A_0(t),A_1(t)]=\gamma(t)\). Because \(\gamma\) is transversal, one can locally choose a first order Lie frame for which
\[
\theta^4_0=\rho(t)\,dt,\qquad \rho(t)>0, \qquad
\theta^2_0=\theta^2_1=\theta^3_0=\theta^3_1=0.
\]
For such a frame one has
\[
\begin{pmatrix} \theta^2_4 & \theta^2_5\\ \theta^3_4 & \theta^3_5 \end{pmatrix}
=P\,\theta^4_0.
\]
Under change of first order frame,
\[
\widehat P=\det(C)\,{}^tBPC,
\]
so \(\operatorname{rank}P\) is invariant. The curve is nondegenerate if
\[
\det P\neq 0
\]
everywhere. In that case one can normalize \(P=I_2\), obtaining a second order frame [2509.22408].

A further normalization yields a third order frame satisfying
\[
\theta^0_0+\theta^1_1=0.
\]
Then
\[
\frac12(\theta^0_1+\theta^1_0)=:p\,\theta^4_0, \qquad \theta^1_1=:q\,\theta^4_0,
\]
and \(p^2+q^2\) is invariant. The curve is generic if
\[
p^2+q^2>0 \quad\text{everywhere}.
\]
For a generic curve one can impose \(p=0\), thereby obtaining a fourth order frame. The remaining ambiguity is only \(\mathbb Z_2=\{\pm I\}\), so the canonical frame lives in \([G]=G/\mathbb Z_2\) [2509.22408].

## 3. Definition of Lie arclength and Lie curvatures

For a second order frame, the \(1\)-form \(\theta^4_0\) is frame-independent. Since
\[
\theta^4_0=\rho\,dt,\qquad \rho>0,
\]
there exists a strictly increasing function \(s\) such that
\[
\theta^4_0=ds.
\]
This parameter \(s\) is the Lie arclength of the curve, uniquely determined up to an additive constant [2509.22408].

In the generic case, the canonical frame \(\mathfrak A=[A]:J\to [G]\) satisfies
\[
\mathfrak{A}^*(\omega)=A^*(\omega)=
\begin{pmatrix}
\kappa_1 I_{1,1}+\kappa_2 L I_{1,1} & L & \kappa_4 I_{1,1}\\
0 & \kappa_3 L I_{1,1} & I_2\\
I_{1,1} & 0 & \kappa_1 I_{1,1}-\kappa_2 L I_{1,1}
\end{pmatrix}ds,
\]
where
\[
I_{1,1}= \begin{pmatrix} 1&0\\ 0&-1 \end{pmatrix}.
\]
The functions
\[
\kappa_1,\kappa_2,\kappa_3,\kappa_4
\]
are the Lie curvatures of \(\gamma\), and \(\kappa_1\neq 0\). These four functions, together with the Lie arclength \(s\), classify generic transversal curves up to Lie sphere transformation [2509.22408].

The significance of Lie arclength is therefore structural rather than metric in the Euclidean sense. It is the parameter in which the canonical moving-frame equations assume their normalized form, and it is precisely the parameter with respect to which the four Lie curvatures become the complete local data recorded by the canonical frame [2509.22408].

## 4. Existence, uniqueness, and reconstruction

The fundamental existence-and-uniqueness statement is the following: given a strictly increasing smooth function \(s:J\to\mathbb R\) and smooth functions \(\kappa_1,\kappa_2,\kappa_3,\kappa_4\) with \(\kappa_1\neq 0\), there exists a generic transversal curve \(\gamma:J\to\Lambda\) having \(s\) as Lie arclength and \(\kappa_1,\kappa_2,\kappa_3,\kappa_4\) as Lie curvatures, unique up to Lie sphere transformation [2509.22408].

This result places Lie arclength in the same role that Euclidean arc length occupies in classical Frenet theory, but within Lie sphere geometry. The curve is not described by Euclidean curvature and torsion; instead, after normalization by the moving frame, it is encoded by the Lie-invariant parameter \(s\) and four Lie curvatures. A plausible implication is that Lie arclength functions as the canonical independent variable for the local differential geometry of generic transversal curves in \(\Lambda\) [2509.22408].

Because \(\Lambda\) is identified with \(T_1(S^3)\), the reconstruction statement also links the invariant description to the geometry of contact elements on the \(3\)-sphere. The data \((s,\kappa_1,\kappa_2,\kappa_3,\kappa_4)\) determine the curve only up to the full Lie sphere group, not merely up to Euclidean rigid motion, which is exactly the natural equivalence in this geometry [2509.22408].

## 5. The Lie-arclength functional and its Euler–Lagrange equations

The simplest Lie-invariant functional considered on generic transversal curves is
\[
\mathcal{L}[\gamma]=\int_\gamma ds.
\]
The variational problem is posed on the space \(\mathfrak T\) of generic \(T\)-curves parametrized by Lie arclength, with compactly supported variations through generic \(T\)-curves [2509.22408].

The prolonged frame data are encoded in
\[
\mathfrak a(s)=\big([A],\kappa_1,\kappa_2,\kappa_3,\kappa_4\big)\in M:=[G]\times\mathbb R^4.
\]
On \(M\), the Pfaffian system \((\mathcal A,\eta)\) is generated by
\[
\begin{aligned}
\mu^1&=\omega^2_0, & \mu^2&=\omega^2_1, & \mu^3&=\omega^3_0, & \mu^4&=\omega^3_1,\\
\mu^5&=\omega^2_4-\eta, & \mu^6&=\omega^3_5-\eta, & \mu^7&=\omega^2_5, & \mu^8&=\omega^3_4,\\
\mu^9&=\omega^0_0-\kappa_1\eta, & \mu^{10}&=\omega^1_1+\kappa_1\eta, & \mu^{11}&=\omega^1_0-\kappa_2\eta, & \mu^{12}&=\omega^0_1+\kappa_2\eta,\\
\mu^{13}&=\omega^3_2-\kappa_3\eta, & \mu^{14}&=\omega^0_4-\kappa_4\eta,
\end{aligned}
\]
with independence condition
\[
\eta=\omega^4_0\neq 0.
\]
The integral curves of \((\mathcal A,\eta)\) are exactly the prolonged frames of generic transversal curves, and the derived flag has constant rank:
\[
\mathcal A_1=\mathrm{span}\{\mu^1,\dots,\mu^8\},\quad
\mathcal A_2=\mathrm{span}\{\mu^1,\dots,\mu^4\},\quad
\mathcal A_3=\{0\}.
\]
The analysis uses Griffiths’ exterior differential systems approach to the calculus of variations [2509.22408].

The criticality criterion is explicit. A generic \(T\)-curve \(\gamma\), parametrized by Lie arclength, is a critical curve of \(\mathcal L\) if and only if its Lie curvatures are constant and satisfy
\[
\kappa_3=0,\qquad \kappa_4=\kappa_1^2-\kappa_2^2,\qquad \kappa_1\neq 0.
\]
Equivalently,
\[
d\kappa_1=0,\qquad d\kappa_2=0,\qquad \kappa_3=0,\qquad \kappa_4=\kappa_1^2-\kappa_2^2.
\]
If \(\gamma\) is critical, then the canonical frame satisfies
\[
\mathfrak A^{-1}d\mathfrak A = X(u,v)\,ds,
\]
with
\[
X(u,v)=
\begin{pmatrix}
u I_{1,1}+v L I_{1,1} & L & (u^2-v^2)I_{1,1}\\
0 & 0 & I_2\\
I_{1,1} & 0 & u I_{1,1}-v L I_{1,1}
\end{pmatrix}\in\mathfrak g.
\]
Hence
\[
\mathfrak A(s)=A\exp[X(u,v)s]
\]
for some fixed \(A\in G\), and
\[
\gamma(s)=A\exp[X(u,v)s]\cdot \lambda_0.
\]
Thus the critical curves of the Lie-arclength functional are exactly the orbits of one-parameter subgroups of the Lie sphere group through the base point \(\lambda_0\) [2509.22408].

## 6. Broader invariant-arclength context and terminological scope

In the broader theory of invariant curve geometry, the phrase “Lie arclengths” refers to invariant length elements associated with transformation groups acting on curves and surfaces. In equiaffine \(3\)-space \(A^3\), for example, a nondegenerate curve has affine arc length
\[
s_\alpha(t)=\int_0^t \sqrt[6]{\det\!\big[\alpha'(\sigma)\ \alpha''(\sigma)\ \alpha'''(\sigma)\big]}\,d\sigma,
\]
while a nondegenerate surface carries the affine first fundamental form
\[
\mathrm{I}_{\mathrm{aff}} = |\ell n-m^2|^{-1/4}\big(\ell\,du^2+2m\,du\,dv+n\,dv^2\big),
\]
and a curve in that surface acquires the induced affine length
\[
s_\Sigma(t)=\int_0^t \sqrt{\mathrm{I}_{\mathrm{aff}}(\alpha'(\sigma))}\,d\sigma.
\]
These two affine-invariant arc length notions generally differ. The paper introducing this comparison states that it fits into the general theory of Lie arclengths and identifies exactly when the two arc lengths agree [1205.0065].

A separate, but related, usage appears in harmonic analysis, where affine arclength measure is the natural replacement for ordinary arclength when studying Fourier restriction to possibly degenerate curves in \(\mathbb R^d\). For a \(C^d\) curve \(y:I\to\mathbb R^d\),
\[
d\lambda(t)=w(t)\,dt,\qquad
w(t)=|\tau(t)|^{\frac{2}{d^2+d}},\qquad
\tau(t)=\det\big(y'(t),y''(t),\dots,y^{(d)}(t)\big).
\]
In that context, the phrase “Lie/affine arclength” refers to a canonical geometric measure on curves that generalizes ordinary arclength in a way compatible with affine harmonic analysis [1109.1300].

The terminology is not uniform across all uses of “arclength” near Lie-theoretic problems. In the study of line tracking in spherical images, the relevant quantity is the sub-Riemannian arclength on the Lie group \(SO(3)\), contrasted with spherical arclength on \(S^2\); there the group parameter measures length with respect to a left-invariant sub-Riemannian structure [1604.03800]. By contrast, in pseudo-arclength continuation for structural avalanches in amorphous carbon, the arclength is explicitly a numerical continuation parameterization and “is not referring to ‘Lie arclength’ or any differential-geometric path length associated with Lie groups or flows” [2601.22933].

Within this terminological landscape, Lie arclength in the strict sense is the invariant parameter produced by moving-frame normalization in a geometry governed by a transformation group. In the Lie sphere setting, that parameter is \(s\) defined by
\[
\theta^4_0=ds,
\]
and its role is inseparable from the four Lie curvatures and from the classification and variational theory of generic transversal curves in \(\Lambda\) [2509.22408].

Source: https://www.emergentmind.com/topics/lie-arclength