Lie Sphere Geometry Diagrams

• Lie sphere geometry diagrams are canonical representations that capture envelope singularities and contact relations of oriented spheres via the Lie quadric framework.
• They integrate singularity theory and computational methods by linearizing geometric predicates, revealing structures such as cuspidal edges, swallowtails, and butterflies.
• These diagrams extend to generalized Voronoi constructions, enabling efficient convex polyhedron computations and unifying classical and modern geometric approaches.

Lie sphere geometry diagrams are canonical visual and analytic representations that encode the envelope, singularity structure, and transformation properties of geometric loci—particularly those defined by oriented spheres and their contacts—in the framework of Lie sphere geometry. This unifying projective-geometric language situates points, spheres, and hyperplanes within a single quadric, permitting the linearization of geometric predicates and the systematization of both singularity theory and computational diagram construction for a wide spectrum of classical and generalized Voronoi-type diagrams (Pember et al., 2017, Edwards et al., 2024).

1. Structure of Lie Sphere Geometry and the Lie Quadric

The foundational object in Lie sphere geometry is the Lie quadric $\Q$—the projectivization $\P(L^5)\subset\P^5$ of the light cone $L^5=\{\,X\in\R^{4,2}\mid (X,X)=0\}$ in a vector space $\R^{4,2}$ with bilinear form of signature $(4,2)$ (Pember et al., 2017). Points on $\Q$ correspond bijectively to oriented spheres, hyperplanes, and points in a chosen 3-spaceform. A representative null line $s=\operatorname{span}\{\sigma\}$ with $(\sigma,p)\neq0$ encodes the sphere $S =\{X\in M\mid (X,\sigma)=0\}$, using fixed point-sphere and spaceform vectors $p, q\in\R^{4,2}$.

In higher dimensions, the same framework extends with the $(d+1,2)$-signature Lie product on $\R^{d+3}$; coordinates for points, spheres, and hyperplanes in $\R^d$ are given explicitly in homogeneous form, with the Lie quadric $\mathcal{L}\subset\P^{d+2}$ defined by $(x, x)_L = 0$ (Edwards et al., 2024). Geometric predicates such as oriented contact, incidence, or containment correspond to the vanishing or sign of the Lie inner product between the appropriate homogeneous coordinates.

2. Analytic Singularities in Lie Sphere Diagrams

Singularities of the envelope of curvature spheres—corresponding to generic differential geometric features such as cusp edges, swallowtails, lips, beaks, and butterflies—are characterized by vanishing patterns of covariant derivatives of bundle sections. For a non-umbilic point $x\in\Sigma$, one works with a curvature sphere subbundle $s_1$ (with $s_1(x)\perp p$), a lift $\sigma_1\in \Gamma s_1$, and a curvature direction $X\in T_1$. The conditions are as follows [(Pember et al., 2017), Theorem 3.5]:

Singularity Type	Vanishing/Non-vanishing Conditions	Extra Algebraic Condition(s)
Cuspidal edge	$d_X\sigma_1(x)\notin s_1(x)$
Swallowtail	$d_X\sigma_1(x)\in s_1(x)$, $d_X^2\sigma_1(x)\notin s_1(x)$	$(d\sigma_1,p)\big|_x\neq0$
Lips / Beaks	$d_X\sigma_1(x)\in s_1(x)$, $d_X^2\sigma_1(x)\notin s_1(x)$	$(d\sigma_1,p)\big|_x=0$; $\det\Hess[(\sigma_1,p)](x)>0$ (lips), $<0$ (beaks)
Butterfly	$d_X\sigma_1(x),d_X^2\sigma_1(x)\in s_1(x)$, $d_X^3\sigma_1(x)\notin s_1(x)$	$(d\sigma_1,p)\big|_x\neq0$

At umbilic points, the cubic form $\mathcal{C}_x:S^3T_x\Sigma\to s(x)\otimes\big(\F(x)/s(x)\big)$ has a discriminant that determines elliptic $(D_4^-)$ versus hyperbolic $(D_4^+)$ singularities.

3. Geometric and Diagrammatic Interpretation

Lie sphere geometry diagrams visualize the envelope of curvature spheres: the one-parameter family $u\mapsto S_1(u)$ defines a ruling of spheres tangent to the surface front. The envelope is a developable sheet whose singular locus in $(u,v)$-space is characterized by $s_1\perp p$. Cross-sections reveal:

• Cuspidal edge: Fold locus with a semi-cubic cusp, marking where a family of spheres just grazes a tangent plane along a curve.
• Swallowtail: Emerges when the first folding derivative vanishes but not the second, producing a self-intersecting cusp and tangentially intersecting loops.
• Lips/Beaks: In degenerate cases, envelope cross-sections show either rounded “∧”-shaped lips (positive Hessian) or pointed “⌣”-shape beaks (negative Hessian).
• Butterfly: Higher-order fold with three fold lines converging, generating the double-loop shape.

Diagrams systematically encode these singularities via the analytic and geometric construction steps delineated in Section 4 of (Pember et al., 2017).

4. Methodology for Diagram Construction

The explicit workflow for constructing Lie sphere geometry diagrams is as follows (Pember et al., 2017):

1. Select local principal curvature coordinates $(u,v)$ with $T_1 = \partial_u$, $T_2 = \partial_v$.
2. Compute the front $f(u,v)$ and unit normal $t(u,v)$; obtain the principal curvature $\kappa_1(u,v)$.
3. Determine curvature-sphere centers $c_1=f+\frac{1}{\kappa_1}t$ and radii $|1/\kappa_1|$.
4. In a 2D slice $v=\text{const}$, plot the family of circles $\{C_u\mid c_1(u),r_1(u)\}$.
5. Identify the envelope curve $\Gamma_1$ by solving $\partial_u(c_1\pm r_1 n)=0$ for radial $n$.
6. Locate the singular parameter curve $u_0(v)$ where $s_1(u_0)\perp p$, equivalently $f_u(u_0)=0$.
7. Examine the variation of $r_1(u)$ at $(u_0,v_0)$ in the normal slice:
   • $r_1'(u_0)\neq0$: cusp edge;
   • $r_1'(u_0)=0$, $r_1''(u_0)\neq0$: swallowtail;
   • $r_1'''(u_0)\neq0$: butterfly.
8. Repeat for the orthogonal slice $u=\text{const}$ as needed.

This procedure realizes canonical singular diagrams whose analytic types follow directly from order-of-vanishing criteria.

5. Lie Sphere Geometry and Generalized Voronoi Diagrams

Lie sphere geometry also admits a polyhedral-unification perspective for Voronoi-type diagrams (Edwards et al., 2024). Each geometric site (point, sphere, half-space) in $\R^d$ is encoded as a point on the Lie quadric $\mathcal{L}$. Diagrams are constructed as follows:

• Geometric constraints (interior, exterior, tangency) correspond to linear or bilinear Lie product inequalities, yielding a system of half-spaces in $\R^{d+3}$.
• The intersection polyhedron $P$ cut out by all such inequalities, restricted to the quadric $(\sigma,\sigma)_L=0$, parametrizes all feasible “Lie spheres”; boundary faces correspond to extremality with respect to subsets of sites.
• The projection to $\R^d$ of the boundary faces yields the cells of the diagram, unifying classical Voronoi, power diagrams, medial axes, Apollonius diagrams, and order-$k$ diagrams in a single algorithmic and theoretical framework.

Under the affine-lifting viewpoint, minimization diagrams correspond to the arrangement of affine functions in $\R^{d+3}$, with the lower envelope equating to the intersection pattern of half-spaces on the quadric.

Algorithmically, the construction reduces to convex polyhedron (or half-space intersection) computations in fixed dimension $D=d+3$:

$$\mathcal{O}(N \log N + N^{\lfloor D/2 \rfloor}) \text{ time,} \quad \mathcal{O}(N^{\lfloor D/2 \rfloor}) \text{ space}$$

for $N$ sites and constraints (Edwards et al., 2024).

6. Transformation Properties and Invariance

Lie sphere transformations—projective actions by $A\in O(4,2)$—act linearly on the lifts $\sigma$ and induce transformations on the corresponding fronts and curvature spheres:

• The new front $\hat f$ and normal $\hat T$ are obtained via homogeneous coordinates as affine combinations of $A\sigma_1, A\sigma_2$.
• Singular loci and order-of-vanishing conditions are preserved in type, although locations and orientations are altered projectively.
• The qualitative nature of singularities (edge, swallowtail, lips, beaks, butterfly, $D_4^\pm$ umbilics) is invariant under this transformation, with diagrams shifting accordingly.

This contact-invariant structure ensures that geometric properties and combinatorics of singularity loci are stable under the full Lie group of sphere transformations (Pember et al., 2017).

7. Unification and Implications

Lie sphere geometry diagrams unify the visualization, classification, and computation of singularities, envelopes, and Voronoi-type constructions by translating geometric and incidence properties into linear and bilinear forms on the Lie quadric. This framework streamlines both local (differential, singularity-theoretic) and global (combinatorial, algorithmic) questions, providing a comprehensive and contact-invariant approach across surface geometry and computational geometry (Pember et al., 2017, Edwards et al., 2024).

A plausible implication is that this methodology enables systematic extensions to new types of geometric diagrams and robust algorithmic generalizations in higher dimensions, as all classical and many exotic subdivisions reduce to structural properties of a high-dimensional convex polyhedron intersected with the Lie quadric.