Generalized Dupin Cyclides: Extensions & Applications

• Generalized Dupin cyclides are advanced extensions of classical cyclides, characterized by circular curvature lines and diverse representations in algebraic, Lie-sphere, and projective geometries.
• They employ methods such as rational parametrizations, degeneration analysis, and Lie sphere mappings to achieve systematic classifications in various geometric frameworks.
• These extended models enable practical applications in geometric design, discrete surface modeling, and physical systems including magnetic field configurations and Fermi cyclides.

A generalized Dupin cyclide is not a single universally fixed object in current geometry; rather, the term designates several closely related extensions of the classical Dupin cyclide. The classical surface is a surface in $3$-space conformally equivalent to a torus, a circular cone, or a cylinder, and its curvature lines are circles. In contemporary work, generalization proceeds in several directions: algebraically, as a distinguished subvariety inside the space of Darboux cyclides together with its degenerations; Lie-sphere-theoretically, as proper Dupin Legendre submanifolds with exactly two curvature spheres; projectively, as supercyclides; discretely, as cyclidic and supercyclidic nets; and volumetrically, as Dupin cyclidic cubes defined by rational trilinear quaternionic parametrizations (Menjanahary et al., 27 Mar 2025, Menjanahary et al., 2022, Cecil, 2020).

1. Classical basis and the scope of generalization

Classical Dupin cyclides are surfaces used in geometric design and architecture. They are characterized in the recent literature as surfaces conformally equivalent to a torus, a circular cone, or a cylinder, with curvature lines that are circles. From the algebraic viewpoint they are special cases of Darboux cyclides, which are algebraic surfaces in $\mathbb R^3$ of degree $3$ or $4$ (Menjanahary et al., 27 Mar 2025, Menjanahary et al., 2022).

A common misconception is that “generalized Dupin cyclide” is simply another name for “Darboux cyclide.” The literature supports a more differentiated statement. Every Dupin cyclide is a Darboux cyclide, but not every Darboux cyclide is a Dupin cyclide; moreover, different subfields use the phrase “generalized Dupin cyclide” for different extensions, including degenerations, higher-dimensional Lie-sphere models, projective supercyclides, and volumetric cyclidic cubes (Menjanahary et al., 2022, Pottmann et al., 2011).

Framework	Generalized object	Defining feature
Algebraic geometry	Generalized Dupin cyclides as the variety $D_0$	Classical cyclides plus degenerations
Lie sphere geometry	Cyclides of Dupin of characteristic $(p,q)$	Exactly two curvature spheres
Projective differential geometry	Supercyclides	Two conjugate families of conics
Discrete differential geometry	Cyclidic and supercyclidic nets	Patchworks adapted to nets
Volumetric extension	Dupin cyclidic cubes	Trilinear quaternionic parametrizations

This plurality is significant because it shows that the classical surface is best understood as the $2$-dimensional Euclidean member of a broader Möbius-, Lie-, and projective-geometric family.

2. Algebraic generalization inside the Darboux cyclide family

The basic algebraic ambient class is the Darboux cyclide, whose general implicit equation is

$$a_0 (x^2 + y^2 + z^2)^2 + 2(b_1x + b_2y + b_3z) (x^2 + y^2 + z^2) + c_1x^2 + c_2y^2 + c_3z^2 + 2d_1yz + 2d_2xz + 2d_3xy + 2e_1x + 2e_2y + 2e_3z + f_0 = 0.$$

Within the projective coefficient space $\mathbb P^{13}$, Dupin cyclides form a projective subvariety $D_0\subset \mathbb P^{13}$. Generically this is a codimension $\mathbb R^3$0 complete intersection. Quartic Dupin cyclides satisfy explicit polynomial conditions on the coefficients; cubic Dupin cyclides satisfy analogous rational conditions. The same algebraic locus also contains lower-dimensional and reducible degenerations, including quadratic surfaces, unions of spheres, and sphere-plane configurations. In that precise sense, the Zariski closure $\mathbb R^3$1 can be viewed as defining the concept of generalized Dupin cyclides (Menjanahary et al., 2022).

The algebraic characterization is complemented by a circle-constrained viewpoint. For a fixed circle

$\mathbb R^3$2

all Darboux cyclides passing through that circle have the form

$\mathbb R^3$3

with real projective parameters $\mathbb R^3$4. This space is $\mathbb R^3$5-dimensional. The Dupin subfamily splits into two geometrically distinct cases: the circle can be a Villarceau circle, characterized by explicit polynomial equalities and a non-degeneracy inequality, or a principal circle, characterized by the rank conditions

$\mathbb R^3$6

These results provide an explicit coefficient-space description of all Dupin cyclides containing a prescribed circle and underlie symbolic and numerical constructions for blending along circles in CAGD (Menjanahary et al., 2024).

A second misconception is that classical generation by inversion of tori exhausts the theory. The recent algebraic papers show that coefficient-space recognition, degeneration analysis, and circle-constrained parametrization give a substantially more systematic description than the classical inversion picture alone (Menjanahary et al., 2022, Menjanahary et al., 2024).

3. Lie sphere geometry, Legendre maps, and higher-dimensional generalized cyclides

Lie sphere geometry supplies the most expansive conceptual generalization. In this framework, oriented spheres are points of the Lie quadric, contact elements are lines in that quadric, and the basic objects are Legendre immersions. A Dupin condition is imposed not on Euclidean principal curvature functions directly, but on curvature sphere maps: a Legendre submanifold is Dupin if along each curvature surface the corresponding curvature sphere map is constant, and it is proper Dupin if the number of distinct curvature spheres is constant on the manifold (Cecil, 2020).

Within this language, a generalized cyclide of Dupin of characteristic $\mathbb R^3$7 is a proper Dupin Legendre submanifold with exactly two distinct curvature spheres of multiplicities $\mathbb R^3$8 and $\mathbb R^3$9, where $3$0. Pinkall’s classification states that every compact, connected cyclide of Dupin of characteristic $3$1 is Lie equivalent to the Legendre lift of

$3$2

Thus the classical $3$3-dimensional cyclide appears as the $3$4 case of a higher-dimensional Lie-sphere-theoretic model (Cecil, 2020).

For surfaces, the Lie-sphere description is especially concrete. A Dupin cyclide can be represented by a Legendre map of product type

$3$5

where $3$6, $3$7, and $3$8 is a $3$9-dimensional subspace of signature $4$0. More generally, any umbilic-free Legendre map carries a “Lie cyclide splitting”

$4$1

with

$4$2

These subbundles define congruences of Dupin cyclides: at each point one obtains the unique Dupin cyclide having second-order contact with the surface along a curvature line. In this sense, “generalized Dupin cyclides” also denotes associated cyclide congruences rather than a single surface class (Pember et al., 2017).

This perspective aligns with the broader classification result that, in Lie sphere geometry, all nonumbilic Dupin Legendre immersions are Lie sphere congruent to a standard model. Gary R. Jensen’s formulation makes explicit why the method of moving frames is effective in this setting: the classification reduces to integrable distributions on $4$3, and classically distinct Euclidean realizations become equivalent at the Lie-sphere level (Jensen, 2014).

4. Projective and discrete extensions: supercyclides, cyclidic nets, and cyclic systems

Projective differential geometry yields another extension in the form of the supercyclide. A supercyclide is a surface in projective $4$4-space with a conjugate parametrization such that both parameter families are conics, and along each conic the tangent planes envelop a quadratic cone. Every Dupin cyclide is a supercyclide, but not vice versa. This makes the supercyclide a projective generalization of the metric Möbius class of Dupin cyclides (Bobenko et al., 2014).

The discrete theory begins with cyclidic nets. A $4$5-dimensional cyclidic net is a piecewise smooth $4$6-surface built from patches of Dupin cyclides, each bounded by curvature lines of the supporting cyclide. The vertices form a circular net, the tangent planes form a conical net, and the full construction is given explicitly in Lie-geometric terms. The $4$7-dimensional version is a discrete analogue of a triply orthogonal coordinate system: each elementary cell is a cyclidic cube, and coordinate surfaces intersect orthogonally along discrete curvature lines (Bobenko et al., 2011).

Supercyclidic nets extend this further from circular nets to arbitrary Q-nets. Neighboring supercyclidic patches satisfy Tangent Cone Continuity, and the transition between tangent line frames is controlled not by Euclidean reflections but by projective reflections. The resulting $4$8-dimensional system is multidimensionally consistent, and every Q-net in $4$9 can be extended to a supercyclidic net (Bobenko et al., 2014).

A related integrable discretization is the discrete cyclic system. Here one considers a discrete triply orthogonal system with one family of circular coordinate lines. The associated circle congruence is cyclic if and only if it admits a flat connection on the trivial bundle $D_0$0 consisting of Lie inversions mapping adjacent circles onto each other. In one important construction, starting from a discrete Dupin cyclide and a totally umbilic Ribaucour transform, the resulting cyclic system has all coordinate surfaces as discrete Dupin cyclides (Hertrich-Jeromin et al., 2021).

These projective and discrete theories show that generalization is not only a matter of enlarging a class of smooth surfaces. It also means transferring the cyclidic structure to nets, patches, and multidimensionally consistent discrete systems.

5. Volumetric generalization: Dupin cyclidic cubes and the Miquel point

A major recent extension replaces surface patches by trivariate cells. A Dupin cyclidic cube is a natural volumetric generalization of a Dupin cyclide patch. It is bounded by six principal patches, and its eight corner points lie on a common sphere or plane. The defining map is a rational trilinear quaternionic Bézier parametrization

$D_0$1

where $D_0$2 and $D_0$3. The paper deriving these formulas gives explicit control points and weights, including formulas for the last weight $D_0$4 and for the eighth vertex $D_0$5, which is not arbitrary but must be the Miquel point associated with the other seven vertices (Menjanahary et al., 27 Mar 2025).

In the finite case, $D_0$6 is given by

$D_0$7

with

$D_0$8

This expresses a $D_0$9-dimensional compatibility condition generalizing the classical Miquel theorem. The construction is conformally invariant, supports Hermite-type interpolation by corner values and first derivatives, and ensures compatibility of the six principal patches (Menjanahary et al., 27 Mar 2025).

The singularity theory of these cubes has been classified up to Möbius equivalence. Dupin cyclidic cubes fall into four primary types, denoted S, O, A, and B. Spherical systems have at least one family of coordinate surfaces consisting of Möbius spheres. Offset systems are related to offsets of a Dupin cyclide and have singular loci given by focal ellipse-hyperbola or parabola-parabola configurations. Type A systems have three real $(p,q)$0-spheres of symmetry and singular loci described by bicircular quartics, focal ellipse-hyperbola pairs, or two intersecting lines. Type B systems have two real $(p,q)$1-spheres and one imaginary sphere, with singular loci given by focal $(p,q)$2-oval bicircular quartics (Menjanahary et al., 2024).

This volumetric theory is best understood as a trilinear quaternionic extension of the bilinear theory of principal patches. A plausible implication is that generalized Dupin cyclides now include not only extended surfaces but also extended coordinate volumes.

6. Symmetry, non-Euclidean settings, and applications

The generalized theory retains strong links to rational canal surfaces and symmetry. Dupin cyclides are the only canal surfaces that are simultaneously envelopes of two distinct one-parameter families of spheres. For canonical Dupin cyclides, the symmetry groups are explicit: Type I has symmetry group $(p,q)$3; Type II has $(p,q)$4, enlarged to $(p,q)$5 in the super-symmetric case; Type III has $(p,q)$6, enlarged to $(p,q)$7 in the super-symmetric case. The same paper states that if a generalized Dupin cyclide is defined as a rational canal surface with multiple spine curve/radius pairs, then the symmetry characterization and algorithms extend mutatis mutandis (Alcázar et al., 2016).

Generalization also occurs beyond Euclidean Möbius geometry. In the Lorentzian conformal geometry of $(p,q)$8, Dennis The’s analysis identifies Dupin cyclides as hyperbolic, $(p,q)$9-elliptic surfaces with

$2$0

Unlike the Euclidean Möbius case, where all classical Dupin cyclides are conformally equivalent, the Lorentzian setting contains infinitely many non-equivalent Dupin cyclides, parameterized by the constant torsion $2$1. The surface $2$2 provides the first known example of a Dupin cyclide in a Lorentzian space (The, 2010).

Several applications use specific generalized or cyclidic geometries. For elliptic Dupin cyclides in cyclidal coordinates, the fact that all curvature lines are circles enables the construction of a force-free magnetic field confined to the surface, via a flux function $2$3 satisfying

$2$4

The paper presents an explicit analytic solution and recovers the torus limit when $2$5 and $2$6 (Marsh, 2023).

Toroidal Dupin cyclides also appear in geometric analysis. The stereographic images of rectangular Clifford tori yield toroidal Dupin cyclides whose area and volume admit hypergeometric closed forms. The corresponding isoperimetric ratio is strictly increasing within each inversion branch, but for $2$7 it does not uniquely determine the Euclidean shape; only in the square case is the shape uniquely determined by the isoperimetric ratio (Bostan et al., 2024).

In condensed-matter theory, “Fermi cyclides” arise as Fermi surfaces in nodal line semimetals. Under tilt and finite Fermi energy, these surfaces take toroidal, horn, spindle, or more complicated generalized cyclide forms, and their geometry controls scaling regimes and kinks in the optical conductivity. This suggests that the cyclidic formalism is useful not only as a classification of surfaces but also as a geometry-to-observable correspondence (Ahn et al., 2017).

Across these settings, the term “generalized Dupin cyclide” therefore marks a family of extensions unified by circularity, contact with spheres, and conformal or Lie-sphere invariance, but diversified by algebraic closure, projective deformation, discrete integrability, volumetric parametrization, and non-Euclidean ambient geometry.