Lie Sphere Geometry Diagram

• Lie sphere geometry diagrams are visual representations that encode cycles—spheres, points, and hyperplanes—via the projectivized null-cone of a bilinear form.
• They capture oriented contact and tangency by employing algebraic tests on the Lie quadric, offering insights into intersections and envelope structures.
• Their construction, using Legendre lifts and affine intersections, unifies classic geometric configurations with modern computational methods.

Lie sphere geometry provides a projective model for the unified treatment of spheres, points, and hyperplanes (collectively: "cycles") in $\mathbb{R}^n$ or $S^n$, with an incidence and contact structure governed by the so-called Lie quadric. A Lie sphere geometry diagram refers specifically to the graphical depiction of geometric relationships—such as oriented contact, tangency, or enveloped families—between these cycles, realized via the projective intersection of the Lie quadric with affine subspaces and the associated pencils, tangent lines, and envelopes. Such diagrams encode the rich algebraic and geometric structure underlying the contact configurations of spheres and their higher-dimensional analogs (Cecil, 2022, Zlobec et al., 2013, Edwards et al., 2024, Fennen et al., 2019).

1. The Ambient Model: Lie Quadric and Bilinear Form

The foundational object for Lie sphere geometry is the quadric $\mathcal{Q} \subset \mathbb{RP}^{n+2}$, defined as the projectivized null-cone of a nondegenerate bilinear form of signature $(n+1,2)$. Specifically, let $V = \mathbb{R}^{n+3}$, and define for $X, Y \in V$:

$$\langle X, Y \rangle = -X_0 Y_0 + X_1 Y_1 + \dots + X_{n+1} Y_{n+1} - X_{n+2} Y_{n+2}$$

The Lie quadric is the locus:

$$\mathcal{Q} = \{ [X] \in \mathbb{RP}^{n+2} : \langle X, X \rangle = 0 \}$$

Each point $[X] \in \mathcal{Q}$ corresponds bijectively to an oriented sphere (of any finite or infinite radius), an oriented hyperplane, or a point-sphere in $S^n$ or $S^n$0. The concrete model embeds an oriented sphere of center $S^n$1 and signed radius $S^n$2 as $S^n$3, with $S^n$4 (Cecil, 2022, Zlobec et al., 2013). For $S^n$5 models, alternate homogeneous representations (via "charts" $S^n$6 or $S^n$7) are employed (Zlobec et al., 2013, Fennen et al., 2019).

2. Oriented Contact, Tangency, and Intersection

Two Lie quadric points $S^n$8 are in oriented contact if and only if

$S^n$9

This algebraic test encodes geometric tangency (with compatibility of orientation) between the corresponding cycles—spheres or hyperplanes (Cecil, 2022, Zlobec et al., 2013, Edwards et al., 2024). Further structure is accessible via the bilinear form:

• The value of $\mathcal{Q} \subset \mathbb{RP}^{n+2}$0 directly encodes intersection angle, containment, or external/internal tangency (Fennen et al., 2019).
• Additional differential conditions (such as $\mathcal{Q} \subset \mathbb{RP}^{n+2}$1) distinguish higher-order contact.

3. Legendre Lifts, Curvature Spheres, and Pencil Structure

Central to the geometric interpretation is the notion of Legendre lifts. Given an oriented hypersurface $\mathcal{Q} \subset \mathbb{RP}^{n+2}$2 with unit normal $\mathcal{Q} \subset \mathbb{RP}^{n+2}$3, the Legendre lift associates to each $\mathcal{Q} \subset \mathbb{RP}^{n+2}$4 the projective line

$\mathcal{Q} \subset \mathbb{RP}^{n+2}$5

where $\mathcal{Q} \subset \mathbb{RP}^{n+2}$6 and $\mathcal{Q} \subset \mathbb{RP}^{n+2}$7, with $\mathcal{Q} \subset \mathbb{RP}^{n+2}$8. Curvature spheres, associated to principal curvatures $\mathcal{Q} \subset \mathbb{RP}^{n+2}$9, are given by $(n+1,2)$0, and their Lie sphere representatives lie on the corresponding pencil line (Cecil, 2022).

4. Construction and Interpretation of Lie Sphere Geometry Diagrams

A Lie sphere geometry diagram is constructed as follows:

1. Select an affine planar section $(n+1,2)$1 of $(n+1,2)$2 intersecting $(n+1,2)$3 in a nondegenerate conic $(n+1,2)$4.
2. Parameterize $(n+1,2)$5; points on $(n+1,2)$6 represent the family of oriented spheres tangent to a chosen contact element.
3. Plot specific pencils of points on $(n+1,2)$7 corresponding, for example, to curvature spheres from a given Legendre lift (hypersurface).
4. Draw tangent lines to $(n+1,2)$8 at these points—these lines encode the projective family of spheres in oriented contact at a given parameter value.
5. The envelope of these tangent lines corresponds to a cyclide or envelope surface in the classical setting (e.g., Dupin cyclide in $(n+1,2)$9).

Schematically: | Diagram Component | Geometric Interpretation | Projective Model (in $V = \mathbb{R}^{n+3}$0) | | ---------------------------------- | -------------------------------- | ------------------------------------- | | Points on the conic $V = \mathbb{R}^{n+3}$1 | Oriented spheres | Null-vectors on $V = \mathbb{R}^{n+3}$2| | Colored tracks (pencil loci) | Families of curvature spheres | Curves traced in $V = \mathbb{R}^{n+3}$3 by Legendre lift | | Tangent lines to $V = \mathbb{R}^{n+3}$4 | Spheres in oriented contact | Projective tangents at points of $V = \mathbb{R}^{n+3}$5 | | Envelope of tangent lines | Cyclide (envelope surface) | Caustic/dual curve in projective plane|

This diagram reveals, for any given configuration, all spheres (or cycles) sharing a contact element, the families they trace under geometric flow, and the algebraic structure of their envelopes (Cecil, 2022).

5. Explicit Low-Dimensional Example: The Plane ($V = \mathbb{R}^{n+3}$6)

For $V = \mathbb{R}^{n+3}$7, oriented circles and lines in $V = \mathbb{R}^{n+3}$8 are null vectors in $V = \mathbb{R}^{n+3}$9 with signature $X, Y \in V$0 (Fennen et al., 2019). The homogeneous coordinates for a circle of radius $X, Y \in V$1 centered at $X, Y \in V$2 and for a line $X, Y \in V$3 are:

• Circle: $X, Y \in V$4
• Line: $X, Y \in V$5

A diagram can be plotted on the left as the standard $X, Y \in V$6-$X, Y \in V$7 plane with the indicated circles and a line, and, on the right, as points lying on a conic section of the projective light-cone $X, Y \in V$8 in Minkowski space. Explicit geometric relations (tangency, orthogonality) are computed via $X, Y \in V$9 (Fennen et al., 2019).

6. Algorithmic Construction and Applications

Lie sphere geometry diagrams lend themselves to a systematic construction pipeline, facilitating both visualization and computation for complex configurations:

1. Convert cycles (centers and radii for spheres, normal and offsets for hyperplanes) into homogeneous Lie vectors.
2. Identify and plot the conic (or higher-degree) intersection of the Lie quadric with a chosen affine subspace.
3. Assign geometric meaning to loci, pencils, tangent lines, and envelopes in the diagram.
4. Compute invariants and relative positions algebraically via the inner product.
5. Visualize resulting configurations (families of spheres, envelopes, loci of contact) in standard CAD or plotting frameworks (Zlobec et al., 2013).

In higher dimensions, this methodology extends to unifying and generalizing the computation of Voronoi diagrams, power diagrams, and medial axes by encoding all site geometries as extremal Lie spheres within a single convex hull or dual polyhedral framework (Edwards et al., 2024).

7. Significance and Research Context

Lie sphere geometry diagrams encode, both algebraically and visually, the rich web of contact relationships among spheres and related cycles in Euclidean and spherical spaces. These diagrams play a pivotal role in the classification of Dupin hypersurfaces—hypersurfaces characterized by constant principal curvatures—through isoparametric and Legendre lift constructions (Cecil, 2022). They also enable algorithmically efficient approaches to generalized Voronoi diagram computation, unifying special cases (classical, power, Apollonius diagrams, and medial axes) within a single projective-geometric framework (Edwards et al., 2024). Applications extend to domains as diverse as cosmological lattice models (Fennen et al., 2019) and the computation of invariants of cycle configurations (Zlobec et al., 2013). The diagrammatic language, rooted in the intersection of projective geometry, conformal geometry, and the algebraic theory of quadratic forms, remains central to current research and computational practice in Lie sphere geometry.