Access the full text.
Sign up today, get DeepDyve free for 14 days.
F. Burstall, U. Hertrich-Jeromin, W. Rossman (2014)
DISCRETE LINEAR WEINGARTEN SURFACESNagoya Mathematical Journal, 231
S. Foufou, Lionel Garnier (2004)
Dupin Cyclide Blends Between Quadric Surfaces for Shape ModelingComputer Graphics Forum, 23
BoPengbo, PottmannHelmut, KilianMartin, WangWenping, WallnerJohannes (2011)
Circular arc structuresACM Transactions on Graphics
Gaspard Monge
Application de l'analyse à la géométrie
Thomas Cecil (1992)
Lie Sphere Geometry: With Applications to Submanifolds
Ronaldo Garcia, J. Llibre, J. Sotomayor (2006)
Lines of principal curvature on canal surfaces in R3.Anais da Academia Brasileira de Ciencias, 78 3
A. Bobenko, H. Pottmann, Thilo Rörig (2018)
Multi-Nets. Classification of Discrete and Smooth Surfaces with Characteristic Properties on Arbitrary Parameter RectanglesDiscrete & Computational Geometry, 63
A. Bobenko, Y. Suris (2008)
Discrete Differential Geometry: Integrable Structure, 98
G. Jensen, Emilio Musso, L. Nicolodi (2016)
Lie Sphere Geometry
W. Blaschke (1912)
Vorlesungen über DifferentialgeometrieMonatshefte für Mathematik und Physik, 23
A. Bobenko, H. Pottmann, J. Wallner (2009)
A curvature theory for discrete surfaces based on mesh parallelityMathematische Annalen, 348
Pengbo Bo, H. Pottmann, M. Kilian, Wenping Wang, J. Wallner (2011)
Circular arc structuresACM SIGGRAPH 2011 papers
M. Dajczer, R. Tojeiro (2002)
An Extension of The Classical Ribaucour TransformationProceedings of the London Mathematical Society, 85
Lucie Druoton, R. Langevin, Lionel Garnier (2014)
Blending canal surfaces along given circles using Dupin cyclidesInternational Journal of Computer Mathematics, 91
M. Pember, G. Szewieczek (2017)
Channel surfaces in Lie sphere geometryBeiträge zur Algebra und Geometrie / Contributions to Algebra and Geometry, 59
H. Pollaczek-Geiringer
W. Blaschke, Vorlesungen über Differentialgeometrie I. 2. Auflage (Grundlehren der math. Wiss. in Einzeldarstellungen, Bd. I). Verlag J. Springer, Berlin 1924Zamm-zeitschrift Fur Angewandte Mathematik Und Mechanik, 5
E Vessiot (1919)
Leçons de Gèométrie Supérieure. Librarie Scientifique
F. Burstall, U. Hertrich-Jeromin, M. Miro (2017)
Ribaucour coordinatesBeiträge zur Algebra und Geometrie / Contributions to Algebra and Geometry, 60
M. Bokeloh, Michael Wand, V. Koltun, H. Seidel (2011)
Pattern-aware Deformation Using Sliding Dockers, 30
K. Brauner (1930)
Vorlesungen über Differentialgeometrie IIIMonatshefte für Mathematik und Physik, 37
Austria uhj@geometrie.tuwien.ac.at gudrun@geometrie.tuwien.ac.at W
S Foufou, L Garnier (2004)
Dupin Cyclide Blends Between Quadric Surfaces for Shape Modeling. Computer Graphics Forum
A Bobenko, Y Suris (2008)
Discrete Differential Geometry: Integrable Structure. Graduate Studies in Mathematics
E. Vessiot, G. Koenigs (2009)
Lecons De Geometrie Superieure
E. Vessiot
Contribution à la géométrie conforme. Théorie des surfaces. IIBulletin de la Société Mathématique de France, 2
U. Hertrich-Jeromin (2003)
Introduction to Möbius differential geometry
A. Bobenko, Emanuel Huhnen-Venedey (2011)
Curvature line parametrized surfaces and orthogonal coordinate systems: discretization with Dupin cyclidesGeometriae Dedicata, 159
A. Bobenko, Y. Suris (2006)
Isothermic surfaces in sphere geometries as Moutard netsProceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, 463
Publisher's Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations
We present a definition of discrete channel surfaces in Lie sphere geometry, which reflects several properties for smooth channel surfaces. Various sets of data, defined at vertices, on edges or on faces, are associated with a discrete channel surface that may be used to reconstruct the underlying particular discrete Legendre map. As an application we investigate isothermic discrete channel surfaces and prove a discrete version of Vessiot’s Theorem. Keywords Channel surface · Dupin cyclide · Lie sphere geometry · Discrete Legendre map · Lie cyclide · Blending surface · Vessiot’s Theorem · Discrete isothermic net · Ribaucour transformation Mathematics Subject Classification 53C42 · 53A40 · 37K35 · 37K25 1 Introduction From a perspective of higher geometries, channel surfaces form a class of simple surfaces, as they can be considered as curves in a suitable space of geometric objects, e.g. a space of spheres or a space of Dupin cyclides. As such, they are well suited for applications in engi- neering or computer aided geometric design, as they can be described in a simpler way than more general surfaces. On the other hand, they are of interest from a theoretical point of view, since, for example, they provide a class to draw simple but non-trivial examples for complex problems—in particular, when invariance under Möbius or Lie sphere transformations is sought. In this paper, we propose a discretization of channel surfaces and, as a main theorem and application of our discretization, we prove a discrete version of Vessiot’s Theorem [19]. Gudrun Szewieczek gudrun@geometrie.tuwien.ac.at Udo Hertrich-Jeromin udo.hertrich-jeromin@tuwien.ac.at Wayne Rossman wayne@math.kobe-u.ac.jp TU Wien, Wiedner Hauptstraße 8-10/104, 1040 Vienna, Austria Department of Mathematics, Kobe University, Rokko, Kobe 657-8501, Japan 123 748 U. Hertrich-Jeromin et al. A satisfactory discretization of the notion of a channel surface turns out to be surprisingly intricate: due to the various characterizations and geometric properties of channel surfaces that we aim to reflect in the discretization, a direct and naive approach has proven unable to preserve the desired mathematical structures. The natural context of these structures is varied, and we will work simultaneously in different geometries: Möbius geometry, Lie sphere geometry, as well as Euclidean geometry. The various sets of data associated to a channel surface depend on the respective setting. In particular, we find that a geometric object may not be defined at just one type of cells in the underlying cell complex, but be distributed across cells of different dimensions. This approach is based not only on the analysis of enveloped sphere congruences, but also on enveloped congruences of Dupin cyclides, cf. [4]. In particular, we use a notion of “Lie cyclide” for discrete channel surfaces. Also, the approach we propose carries directly over to a semi-discrete setting. 1.1 Smooth channel surfaces and problems with the discretization Smooth channel surfaces, first introduced by Monge [16], can be characterized by various equivalent properties [1]: a channel surface is (S1) an envelope of a 1-parameter family of spheres, (S2) a surface with one family of circular curvature lines, (S3) a surface such that one of its principal curvatures is constant along its curvature direc- tion. The equivalence of these properties mainly relies on a fact which follows from Joachimsthal’s Theorem: if a surface is the envelope of a 1-parameter family of spheres, then it envelopes along curvature lines, which are therefore circles. We start by investigating the interplay of the conditions (S1)–(S3) for discrete nets. It will turn out that there are significant differences between the smooth and the discrete theories and, therefore, a naive definition of a discrete channel surface using a discrete version of just one of the smooth properties is unsatisfactory. Let us consider discretizations of surfaces parametrized by curvature line coordinates, namely principal contact element nets (cf. [6, § 3.5]). These are circular nets equipped with normals that represent “contact elements”, that is, for each vertex the sphere pencil consisting of spheres with this normal that also contain the vertex. Moreover, two adjacent normals fulfill the Legendre condition, that is, two adjacent contact elements share a common sphere, called the curvature sphere for the related edge. Recall that a principal contact element net f : Z →{contact elements} envelopes a 2 2 sphere congruence s : Z →{oriented spheres} if s ∈ f for any p ∈ Z . p p Hence, from the definition we immediately deduce that the properties (S1) and (S3) are equivalent also in the discrete setting: if f envelopes a 1-parameter family of spheres, they are curvature spheres and therefore the principal curvature along the corresponding curvature line is constant. Conversely, curvature spheres which are constant along one family of curvature lines determine a 1-parameter family of enveloped spheres. The following construction yields examples of principal contact element nets, which will further help to illustrate the situation in the discrete setting: let c : Z → R be an arbitrary discrete curve equipped with normals n fulfilling the Legendre condition. Reflecting the curve and these normals in an arbitrary plane gives a second curve c with normals n that 2 2 again satisfy the Legendre condition. Hence, the sequence ((c , n ), (c , n )) determines a 1 1 2 2 123 Discrete channel surfaces 749 Fig. 1 Left: a principal contact element net, which satisfies properties (S1)–(S3) and therefore qualifies as a “discrete channel surface”. Right: a discrete Legendre map enveloping a 1-parameter family of spheres without circular curvature lines coordinate ribbon of a principal contact element net. In this way, by repeated reflection in a sequence ( P ) of planes, we obtain a principal contact element net f := (c , n ) . i i ∈ I ⊆Z i i i ∈ I Example 1 Let c be a discrete circular curve with normals that interesect at a common point, hence the contact elements along this curve share a common curvature sphere. For any choice of planes ( P ) , we then obtain a principal contact element net, which satisfies the properties i i ∈ I (S1)–(S3) (cf. Fig. 1,left). Example 2 Let c be an arbitrary discrete curve on a sphere with normals n going through the 1 1 center of this sphere and ( P ) be a sequence of non-parallel planes. Then f := (c , n ) i i ∈ I i i i ∈ I yields a discrete principal contact element net, which envelopes a 1-parameter family of spheres, hence satisfies (S1) and (S3). But, if the initial curve c is not circular, property (S2) obviously does not hold (cf. Fig. 1, right). Example 3 Let c be a discrete circular curve with normals n that do not intersect at the same 1 1 point and ( P ) be a sequence of parallel planes. Then the principal contact element net i i ∈ I f := (c , n ) has a family of circular curvature lines, but does not envelop a 1-parameter i i i ∈ I family of spheres. Thus, this construction provides examples which contradict the properties (S1) and (S3), while (S2) is fulfilled. In the realm of Lie sphere geometry, Blaschke gave another characterization of smooth channel surfaces using the Lie cyclides of a surface, special Dupin cyclides which make maximal-order contact with the surface along its curvature directions (cf. [1,17]): a surface in Lie sphere geometry is a channel surface if and only if (S4) its Lie cyclide congruence is constant along one of its curvature directions. In the case of a channel surface the curvature spheres along each circular curvature direction coincide with those of the corresponding constant Lie cyclide. This characterization inspires our definition for discrete channel surfaces, which will satisfy discrete versions of the properties (S1)–(S3) for smooth channel surfaces. 1.2 Preliminaries Throughout this paper we will work in the realm of Lie sphere geometry and will use the hexaspherical coordinate model introduced by Lie. In this subsection we briefly summarize 123 750 U. Hertrich-Jeromin et al. Fig. 2 Left: a (part of a) ‘+’-coordinate ribbon bounded by two ‘+’-coordinate lines. Right: The notation used for a face (ijkl) the basic principles of this model and fix notations. For more details about the theoretic background, see for example [10]. 4,2 In order to use Lie’s model of Lie sphere geometry, we shall consider the vector space R endowed with a metric (., .) of signature (4, 2). The linear span of vectors will be denoted by ., ..., .. In this setting the Lie quadric (projective light cone) 4,2 4,2 L := {η⊂ R | (η, η) = 0}⊂ P(R ) represents the set of oriented 2-spheres and two 2-spheres are in oriented contact if and only if any corresponding vectors in the light cone are orthogonal. Therefore lines in L correspond to pencils of 2-spheres which are all in oriented contact to each other, hence parametrise 4,2 “contact elements”. This Grassmannian of null 2-planes in R will be denoted by 4,2 4,2 Z := {η, ξ⊂ R | (η, ξ ) = 0}⊂ G (R ). The group of Lie sphere transformations preserves oriented contact between spheres, hence, also contact elements. However, parallel transformations are Lie transformations in Euclidean space, hence points (viewed as spheres with radius zero) and spheres are not distinguishable. We observe how Möbius geometry arises as a subgeometry in this model. After the choice 4,2 of a point sphere complex p ∈ R , (p, p) = 0, that is, after we have decided which spheres have radius zero and are therefore “points” (called point spheres), we obtain a Möbius geometry modeled on p . Namely, those Lie sphere transformations that fix the point sphere complex p are exactly the conformal transformations of p . 4,2 Furthermore, if additionally another vector q ∈ R \{0},(p, q) = 0, is fixed, a Rieman- nian or Lorentzian space form geometry can also be treated as a subgeometry of Lie sphere geometry. To this end, we consider the space form 3 4,2 Q := {η ∈ R | (η, η) = 0,(η, q) =−1,(η, p) = 0}, a 3-dimensional quadric of constant sectional curvature −(q, q). 1.3 Discrete Legendre maps Discrete surfaces studied in this paper are represented by discrete Legendre maps from a connected quadrilateral cell complex G = (V, E , F ) to the space of contact elements Z.The set of vertices (0-cells), edges (1-cells) and faces (2-cells) of the cell complex G are denoted by V, E and F. Moreover, we assume that interior vertices are of even degree, that is, the number of edges e ∈ E incident to a vertex v ∈ V is even. 123 Discrete channel surfaces 751 Then there exists a consistent labelling of the edges E of G such that two opposite edges of a face are labelled with ‘+’ and the other two edges of the face are labelled with ‘−’. In + − this way, we obtain a partition E ∪ E = E of the set of edges. Paths along edges with the same label ‘±’ will be called ±-coordinate lines, while sequences of faces consecutively sharing common edges with the same edge-label ’∓’ are said to be ±-coordinate ribbons (cf. Fig. 2). In the next paragraphs we recall the notion of discrete Legendre maps, which are par- ticular discrete line congruences “living” on 0-cells (vertices) of a cell complex and which represent discrete surfaces in Lie sphere geometry. As a novel point of view, we discuss how discrete Legendre maps can be described by alternative data prescribed on 1- or 2-cells of the underlying cell complex. Definition 1.1 [6,8]A discrete Legendre map is a line congruence f : V → Z, i → f so that two adjacent contact elements f and f share a common curvature sphere s := f ∩ f . i j ij i j Note that, for any discrete Legendre map, we therefore obtain two curvature sphere congru- + + − − ences s :E → L and s :E → L. Conversely, by prescribing suitable curvature sphere congruences on the edges of a quadri- lateral cell complex, we can recover the discrete Legendre map: Proposition 1.2 Amap s : E → L induces a discrete Legendre map with curvature sphere congruences s| + and s| − if and only if the spheres corresponding to a vertex-star span a E E contact element. To carry the concept of prescribed data for a discrete Legendre map over to faces, we take up the idea of gluing patches of smooth surfaces into discrete surfaces (cf. [2,4]and also [9] for the semi-discrete case). In particular, it turns out that patches of Dupin cyclides fit well with the concept of discrete principal curvature line nets in Lie sphere geometry. Definition 1.3 [4]Let f : V → Z be a discrete Legendre map. Then a Dupin cyclide which shares the four curvature spheres with a face will be called a face-cyclide for the corresponding face. In [4] it was shown that for any face of f there exists a 1-parameter family of face-cyclides and, if suitably chosen, these patches of Dupin cyclides extend a discrete net to a continuously differentiable surface. Nevertheless, when working with face-cyclide congruences in this paper, we will not ask for this additional smoothness. We recall that in the Lie geometric setup a Dupin cyclide is described by an orthogonal (2, 1)-splitting, where the light cones in the two (2, 1)-planes represent the curvature sphere congruences of the Dupin cyclide, which degenerate to two 1-parameter families of spheres in this case. This leads to another characterization of discrete Legendre maps in terms of face-cyclides: Proposition 1.4 A congruence of Dupin cyclides described by pairs of orthogonal (2, 1)- planes + − 4,2 4,2 γ = ( D , D ) : F → G (R ) × G (R ) (2,1) (2,1) induces a Legendre map with γ as face-cyclides if and only if there exist two maps s : + − − E → L and s : E → L such that for each face (ijkl) + + + − − − s , s ⊂ D and s , s ⊂ D jk li ijkl ij kl ijkl 123 752 U. Hertrich-Jeromin et al. + − and spheres of s and s incident to the same vertex span a contact element. Such a congruence γ of Dupin cyclides will be called a face-cyclide congruence for the induced Legendre map. + − Proof Suppose that γ is such a congruence of Dupin cyclides, then the maps s and s satisfy the conditions of Proposition 1.2 and therefore induce a discrete Legendre map. Conversely, the curvature sphere congruences of a discrete Legendre map provide suitable + − maps s and s and the congruence γ is given by face-cyclides. 2 Discrete channel surfaces 2.1 Lie geometric characterization of discrete channel surfaces Similar to the characterization (S4) of Blaschke [1, §84] that uses Lie cyclides to distinguish smooth channel surfaces, we use the face-cyclides to define discrete channel surfaces: Definition 2.1 A discrete channel surface is a discrete Legendre map that admits a face- cyclide congruence which is constant along one family of coordinate ribbons. Such a face-cyclide congruence will be called a Lie cyclide congruence for the discrete channel surface; the label of the coordinate ribbon in which the Lie cyclide congruence is constant is then the circular direction of the discrete channel surface. We start by investigating discrete versions of the properties (S1)–(S3) discussed in the intro- duction: Proposition 2.2 (Property (S3)) One of the curvature sphere congruences of a discrete chan- nel surface is constant along its coordinate lines. Proof First consider two faces (i , j , j , i ) and (i , j , j , i ) of a discrete Legendre map f adjacent along the edge (ij ) and assume that they share a common face-cyclide γ given + + − + ⊥ − 4,2 by the splitting D ⊕ D of R . Then, the three curvature spheres s , s and s of i i ii ij f are in the same contact element f . Moreover, by definition, these three spheres are also curvature spheres in a common contact element of the smooth face-cyclide γ . However, since there are at most two curvature spheres in each contact element of a smooth + − + + Legendre map and D ∩ D ={0}, the curvature spheres s and s must coincide. i i ii In the case of a discrete channel surface the Lie cyclide congruence is constant along each coordinate ribbon in the circular direction. Hence, by the above, the curvature spheres along the circular direction must be constant. Thus, for a circular coordinate line of a discrete channel surface the constant curvature sphere assigned to the edges is contained in every contact element along this coordinate line. In this way, we gain information on vertices from data originally given on edges: Corollary 2.3 (Property (S1)) A discrete channel surface envelopes a 1-parameter family of spheres. Furthermore, we can also deduce information about the curvature sphere congruence along the non-circular direction of a discrete channel surface. Without loss of generality, we assume that ‘+’ is the circular direction. Since along each ‘+’-coordinate ribbon the curvature spheres of the discrete channel surface coincide with 123 Discrete channel surfaces 753 those of the corresponding Lie cyclide, the curvature spheres s along each ‘+’-coordinate 4,2 ribbon lie in a fixed (2, 1)-plane in R . Conversely, this prescribed data for both curvature sphere congruences is now sufficient to induce a discrete Legendre map which is a discrete channel surface: Proposition 2.4 A discrete Legendre map induced by a map s : E → L is a discrete channel surface with circular direction ‘+’ if and only if s| is constant along any ‘+’-coordinate line and s| − determines a (2, 1)−plane along each ‘+’-coordinate ribbon. Proof Utilizing the arguments above, it only remains to show that s with the required proper- ties induces a discrete channel surface. Thus, we have to construct a face-cyclide congruence which is constant along each ‘+’-coordinate ribbon. Indeed, for any ‘+’-coordinate ribbon the spheres s| − belonging to this coordinate ribbon determine a Dupin cyclide, which is a face-cyclide: along the coordinate ribbon the constant sphere s| + and the spheres of s| − E E are suitable curvature spheres of the Dupin cyclide. 4,2 Since any (2, 1)-plane in R uniquely determines a Dupin cyclide, we obtain the following corollary as an immediate consequence of Proposition 2.4: Corollary 2.5 The Lie cyclide congruence of a discrete channel surface is unique. Next we aim to examine if a discrete channel surface carries one family of circular curvature lines and therefore property (S2) is satisfied also in the discrete case. Contemplating the notion of a “circle” in our Lie geometric setup, a circle, considered as a curve of points, is a Möbius geometric object. Hence, we fix a Möbius geometry by choosing a point sphere complex p to distinguish point spheres from the set of 2-spheres. A circle is then a Dupin cyclide with one family of point spheres as curvature spheres. The other family of curvature spheres of a circle is then given by an elliptic sphere pencil, namely, by all spheres containing the points of the circle. Clearly, in Euclidean space the notion of a circle is not Lie invariant: for example, a parallel transformation maps a circle to a torus of revolution. Property (S2) for smooth channel surfaces can be reformulated in the following way: for any projection to a Möbius geometry, there exists a particular 1-parameter family of touching Dupin cyclides; they touch along one family of curvature lines and all Dupin cyclides of this family become circles in this Möbius geometry. We say that a smooth Dupin cyclide touches a discrete Legendre map along a discrete curvature line if the contact elements of the Dupin cyclide and the discrete Legendre map correspond along a coordinate line in G. Thus, analogous to the smooth case, we will prove the existence of circular curvature lines for our discrete channel surfaces: Theorem and Definition 2.6 (Property (S2)) If f is a discrete channel surface, then, fixing an arbitrary projection to a Möbius geometry, there exists a 1-parameter family of Dupin cyclides that touch f along one family of coordinate lines and become circles in this Möbius geometry. These circles are called generating circles of the discrete channel surface; in the Lie geometric context we also speak of generating cyclides. Proof Without loss of generality we assume that f is a discrete channel surface where the label ‘+’ provides the circular direction. Further, let ⊥ 4,2 4,2 (c, c ) :{‘ + ’ − coordinate lines}→ G (R ) × G (R ) (2,1) (2,1) 123 754 U. Hertrich-Jeromin et al. Fig. 3 A discrete channel surface with different data given along coordinate ribbons (gray) and coordinate lines (orange). Top: a constant Lie cyclide (gray) along a coordinate ribbon in circular direction and two generating circles (orange). Left: two curvature spheres (orange), which are constant along the circular direction and a face-sphere (gray) containing the two generating circles. Right: quer-spheres (orange) for each circular coordinate line and a face-quer-sphere (gray) orthogonal to the corresponding face-sphere be an arbitrary 1-parameter family of touching Dupin cyclides along the family of ‘+’- + − ⊥ coordinate lines, where s ∈ c and s ∈ c . Since a Lie cyclide touches f along the two corresponding discrete circular curvature lines, the existence of such a family (c, c ) is guaranteed. We choose a point sphere complex p such that p ⊥ s and without loss of generality we assume (s , p) =−1. To construct the sought-after family of Dupin cyclides we consider the isometry ⊥ 4,2 + ϕ : c → R , y → y + ( y, p)s . ⊥ ⊥ Since ϕ injects and is timelike, the map c˜ := (ϕ(c )) defines a 1-parameter family of Dupin + − − cyclides. Furthermore, since f =s ,ϕ(s ) and ϕ(s ) ⊥ p, the Dupin cyclides touch f and consist of point spheres, hence degenerate to circles in this Möbius geometry. Note that indeed any choice of touching Dupin cyclides (c, c ) leads to this circle con- gruence. 123 Discrete channel surfaces 755 2.2 Möbius geometric properties of a discrete channel surface In order to construct discrete channel surfaces as envelopes of 1-parameter families of spheres, their curvature lines and, in particular, the generating circles will be crucial. To gain a better geometric understanding of the situation we study them in the context of transformations in a Möbius geometry. Thus, in this section, we fix a Möbius geometry p and study discrete channel surfaces f : V →p from a Möbius geometric point of view. Recall from [9,11] that two smooth and non-oriented curves c , c are said to form a 1 2 Ribaucour pair if they envelop a circle congruence, that is, at corresponding points they are tangent to a common circle. We call the induced point-to-point correspondence between two parametrized curves a Ribaucour correspondence. Since, later, Ribaucour pairs of two circles will be crucial, we remark on important prop- erties of such pairs. In what follows, we will exclude multiple coverings of the investigated circles and will only consider simple, non-oriented circles. Hence, the Ribaucour correspondence between two such circles c and c relates any point of c to exactly one point of c (see Fig. 4). 1 2 1 2 Lemma 2.7 If c and c are two cospherical simple circles, then there exist at most two 1 2 Ribaucour correspondences between them. In particular, if c and c are touching circles, that is, two parallel lines after stereographic 1 2 projection, there exists only one Ribaucour correspondence. The degenerate Ribaucour cor- respondence, where the smooth enveloped circle congruence is given by one of the two circles and all points on this circle are related to the contact point of the two circles, contradicts the assumption of simplicity of the two circles. Lemma 2.8 A Ribaucour pair of two simple circles satisfies the following conditions: (i) The two circles lie on a common sphere. (ii) Any two pairs of corresponding points are concircular. The proofs of the lemmas follow by elementary geometric arguments after establishing that there exists a suitable stereographic projection of the two circles to the plane (cf. Fig. 4). For discrete curves, the enveloping condition of a Ribaucour transformation translates into circularity of two neighbouring pairs of vertices [6]: Definition 2.9 Two discrete curves c , c form a Ribaucour pair if any two adjacent pairs of 1 2 corresponding points are concircular. A Ribaucour transformation of discrete circular curves is said to be induced by a smooth Ribaucour transformation if the discrete point-to-point correspondence can be extended to a smooth Ribaucour correspondence between the two underlying smooth circles. Although, on a smooth Ribaucour pair of circles, there are many choices for vertices to obtain a discrete Ribaucour pair, a discrete Ribaucour correspondence induced by a smooth Ribaucour transformation is more restrictive: by Lemma 2.7, for two cospherical circles there exist, up to subdivision, mostly two such discrete Ribaucour correspondences (cf. Fig. 4). In this realm of Ribaucour transformations, we next investigate the geometry of two curvature lines of a discrete channel surface (Fig. 5). Recall that a smooth Dupin cyclide is an inversion of a circular cone, a cylinder or a torus of revolution and therefore any two curvature lines of the same family of a smooth Dupin cyclide 123 756 U. Hertrich-Jeromin et al. Fig. 4 Discrete Ribaucour correspondences induced by a smooth Ribaucour transformation between two circles form a smooth Ribaucour pair. Hence, because by Theorem 2.6 the generating circles of a discrete channel surface are curvature lines on the corresponding Lie cyclides, two adjacent generating circles are related by a Ribaucour transformation. Moreover, by construction, two corresponding vertices on two adjacent generating circles also lie on a curvature line of the Lie cyclide, which proves together with Lemma 2.8(i) the following proposition: Proposition and Definition 2.10 Any two adjacent circular curvature lines of a discrete chan- nel surface are related by a discrete Ribaucour correspondence that is induced by a smooth Ribaucour transformation. In particular, two adjacent circular curvature lines lie on a common sphere, called a face-sphere of the discrete channel surface. We remark that Lie geometrically a face-sphere is the common curvature sphere of its two corresponding generating circles, interpreted as Dupin cyclides (cf. Fig. 3). Moreover, by Proposition 2.10 and Lemma 2.8 (ii), we deduce the following relation between non-circular curvature lines of a discrete channel surface: Corollary 2.11 Any two discrete curvature lines in the non-circular direction of a discrete channel surface form a Ribaucour pair. This reveals a relation to a subclass of circular nets, the so-called multi-circular nets, recently introduced in [3]; that is, circular nets with the additional property that any coordinate quadri- lateral is also circular. For a discrete channel surface, we obtain this additional circularity along any coordinate ribbon: Corollary 2.12 A discrete channel surface is composed of multi-circular coordinate ribbons which have circular curvature lines along their coordinate lines. Apart from the 1-parameter family of enveloped curvature spheres and the face-sphere con- gruence, we observe another family of spheres which is well-known from the smooth theory of channel surfaces. As discussed by Blaschke [1, §57], for a smooth channel surface there exists the 1-parameter family of quer-spheres. If the enveloped sphere congruence is parametrized by arc-length, these spheres are obtained as first derivatives of the 1-parameter family of enveloped spheres that the quer- spheres intersect orthogonally. For discrete channel surfaces in a Möbius geometry, we observe the existence of such spheres on vertices and on faces. Following the naming given by Blaschke, we will call this data quer- spheres and begin to discuss the quer-spheres living on vertices: 123 Discrete channel surfaces 757 Definition 2.13 A sphere that orthogonally intersects the curvature sphere, which is constant along the circular direction, at the corresponding generating circle will be called the quer- sphere of this generating circle. These quer-spheres of a discrete channel surface are closely related to the Lie cyclide con- gruence: since two adjacent Lie cyclides share a curvature sphere along the common circular curvature line, they have—considered as smooth channel surfaces— a common classically defined quer-sphere. By construction, this quer-sphere coincides with the quer-sphere of the discrete channel surface. Proposition and Definition 2.14 For any two adjacent generating circles of a discrete channel surface there exists a sphere, which is orthogonal to the face-sphere and for which inversion interchanges the two generating circles. We call these spheres face-quer-spheres. Proof Note that, due to the existence of the Lie cyclide congruence, any two adjacent gener- ating circles are two members of a family of curvature lines of a Dupin cyclide. Thus, they are cospherical and there exists an inversion mapping the curvature lines onto each other (see for example [3]). Moreover, this sphere is orthogonal to the sphere containing the two curvature lines, which is the face-sphere. 2.3 A discrete channel surface as the envelope of a sphere curve A smooth channel surface is given as the envelope of a 1-parameter family of (curvature) spheres, hence, can be uniquely reconstructed from data given along a curve. Here we aim to obtain a discrete channel surface from prescribed 1-dimensional data. Recall from Example 2 that a 1-parameter family of prescribed curvature spheres does not necessarily yield a discrete channel surface. Indeed, as Proposition 2.4 shows, information about both curvature sphere congruences on a 2-dimensional cell complex is required to describe a discrete channel surface. However, considering the projection of a discrete channel surface to a Möbius geometry, the face-spheres, described by a discrete curve of pairwise intersecting spheres, are available. Conversely, a discrete curve of prescribed pairwise intersecting spheres determines a family of circles, which allows the reconstruction of a discrete channel surface with these circles as generating circles. But, due to the ambiguity in the choice of the curvature spheres (which corresponds to the choice of a normal), the reconstructed discrete channel surface is far from being unique and this approach is therefore unsatisfactory. To solve these issues, we prescribe spheres on a 1-dimensional cell complex G = (V, E ), and use a combination of the 1-parameter family of enveloped curvature spheres and of face-spheres. In this way we obtain a unique discrete channel surface from a projection in a Möbius geometry p : 3,1 Theorem 2.15 Let s = (s,σ ) : (V, E ) → S be a regular discrete sphere curve, that is, (i) three consecutive spheres σ , s ,σ form an elliptic sphere pencil: ij j jk ⊥ 4,1 ⊥ s ∈σ ,σ =: c ⊂ R =p and j ij jk (ii) two consecutive spheres s , s intersect σ at the same unoriented angle: i j ij 2 2 (s ,σ ) = (s ,σ ) . i ij j ij 123 758 U. Hertrich-Jeromin et al. Fig. 5 The constructed Lie cyclide between two adjacent generating circles depends on the orientation of the two corresponding curvature spheres Then there exists a discrete channel surface with s as one family of curvature spheres and σ as face-spheres. This channel surface is unique up to subdivision in the circular direction. Proof Suppose s is a regular sphere curve. We will construct a projection of a discrete Legendre map in the Möbius geometry p which is a discrete channel surface with σ as face-spheres and s as 1-parameter family of enveloped spheres. 3,1 Taking into account condition (i), the map σ : E → S consists of pairwise intersecting spheres and therefore determines a sequence of smooth circles (c ) , which shall become i i ∈E the generating circles for the sought-after discrete channel surface. Since two adjacent circles c and c lie on the common sphere σ , there exist at most two smooth Ribaucour correspon- i j ij dences between them (cf. Lemma 2.7). We denote these point-to-point correspondences by r : c → c and r : c → c . 1 i j 2 i j Following the ideas in [9], we next aim to construct for any two adjacent generating circles c and c a Dupin cyclide, which will then become the Lie cyclide of the discrete channel i j surface. First note that the normal field of the oriented sphere s induces a parallel normal field on the circle c .By[9, Lemma 2.1], any Ribaucour correspondence maps n to a parallel normal i i field n of the circle c . In doing so, the two Ribaucour correspondences r and r determine j j 1 2 the orientation of n (cf Fig. 5). Since the spheres s and s intersect the face-sphere σ at j i j ij the same angle, the normal field n induced by either r or r coincides with the normal field j 1 2 of the sphere s .Wefixthe normalfield n such that its orientation aligns with the normal j j field of s . The intersection points of the constructed parallel normal fields n and n then give rise to i j a 1-parameter family of oriented spheres, which determines a Dupin cyclide with the circles c and c as curvature lines and the spheres s and s as curvature spheres. Thus, in this way i j i j we obtain a unique 1-parameter family of Dupin cyclides 4,2 4,2 γ : V → G (R ) × G (R ) ij (2,1) (2,1) such that two adjacent Dupin cyclides γ and γ have the sphere s as common curvature ij jk j sphere and intersect in the circle c . In order to obtain a discrete channel surface, we furthermore choose vertices on the generating circles such that corresponding vertices on two adjacent circles are related by a discrete Ribaucour transformation induced by the smooth Ribaucour correspondence r or r . This choice of vertices is unique up to subdivision along the circles c . 2 i In summary, we get a discrete channel surface with generating circles c , face-spheres σ , i ij Lie cyclides γ and it envelopes the 1-parameter family of curvature spheres s . ij i 123 Discrete channel surfaces 759 We remark that, by Proposition 2.8, a discrete channel surface can always be closed in the circular direction. Also, the blending Dupin cyclide between two generating cyclides can be constructed Lie geometrically using a projection, similar to the construction of generating circles in the proof ⊥ ⊥ of Theorem 2.6:given c = ( D ⊕ D ) and s ∈ D , the projection i i i i i (τ, s ) τ → π(τ ) := τ − s (s , s ) i j yields a Dupin cyclide (π( D ), π( D ) ) touching the original Dupin cyclide as well as any i i prescribed sphere s . The symmetry of those construction in i and j follows from the fact that c and c are Ribaucour transformations of each other, as elaborated above. i j 2.4 Discrete Dupin cyclides As an application, we discuss how the subclass of discrete Dupin cyclides arises in this context. We define them in Lie sphere geometry analogous to the smooth case: Definition 2.16 A discrete Legendre map is called a discrete Dupin cyclide if it is a discrete channel surface with respect to both coordinate directions. As expected, a discrete Dupin cyclide has similar properties as its smooth counterpart: Proposition 2.17 A discrete Dupin cyclide f : V → Z has the following properties: (i) any projection of f in a Möbius geometry has two families of discrete circular curvature lines. (ii) f envelopes two 1-parameter families of spheres. ± ± (iii) the two curvature sphere congruences s : E → L lie in two fixed orthogonal (2, 1)- 4,2 planes in R . (iv) the Lie cyclide congruence of f is constant. Proof Suppose f is a discrete Dupin cyclide. Then assertion (i) follows directly from Propo- sition 2.6, while statement (ii) holds by Proposition 2.2. Property (iii) is a consequence of Proposition 2.4:since f is a discrete channel surface + − with respect to both curvature directions, the curvature sphere congruences s and s are constant along the ‘+’- and ‘−’-direction, respectively. Thus, they lie in two fixed orthogonal (2, 1)-planes, which shows condition (iii). Hence, the two curvature sphere congruences of a discrete Dupin cyclide coincide with the curvature sphere congruences of a (unique) smooth Dupin cyclide, which yields the constant Lie cyclide congruence of f .Thisprovesassertion(iv). Thus, a discrete Dupin cyclide shares contact elements with a (unique) smooth Dupin cyclide. Hence, the contact elements along a circular discrete curvature line, thought of as lines in projective space, intersect in a single point: they determine a multi-line congruence in the sense of [3]. Therefore, a smooth Dupin cyclide yields discrete Dupin cyclides by (suitably) sampling along its curvature lines. 123 760 U. Hertrich-Jeromin et al. 3 A channel surface from two prescribed curvature lines Due to their special geometric properties smooth channel surfaces and, in particular Dupin cyclides, are useful as blending surfaces between two prescribed curves in computer graphics [12,13], as well as, in the theory of semi-discrete surfaces [9]. Throughout this section we work in a Möbius geometry p , where we prescribe two discrete curves and aim to answer the following central question: is it possible to find a discrete channel surface which has these two prescribed discrete curves as curvature lines? We start with the case of two prescribed circular discrete curvature lines. In [12], it was proven that, for any two cospherical (unparametrized) smooth circles, there exists a blending smooth Dupin cyclide with these circles as curvature lines. In the discrete setup, a better understanding of the relation between the non-circular curvature lines of a discrete channel surface will shed light on the situation. As Vessiot noticed (cf. [14,18]), non-circular curvature lines of a smooth channel surface satisfy a Riccati- equation. As a consequence, we obtain a particular relation between the non-circular curvature lines: suppose we fix any four non-circular curvature lines and compute the cross-ratio of the corresponding four points lying on a common generating circle. Then this cross-ratio is the same for any generating circle. We observe the same property in the discrete setting: Proposition 3.1 The cross-ratio of four vertices on a generating circle of a discrete channel surface is constant along these four non-circular curvature lines. Proof By Proposition 2.10, two corresponding vertices on two adjacent generating circles lie on a smooth curvature line of the corresponding Lie cyclide. Thus, in particular, these vertices lie on four curvature lines of a smooth channel surface and as a consequence of Vessiot’s observations in the smooth case, the cross-ratio for both generating circles is the same. Thus, the cross-ratio is constant along these non-circular discrete curvature lines. Therefore, in general, a blending discrete channel surface with any number of intermediate generating circles between two discrete circles does not exist. If we only prescribe two smooth circles and allow for a choice of vertices, we can rely on the smooth theory [12] and obtain blending discrete surfaces by suitably sampling a sequence of intermediate smooth blending Dupin cyclides (cf. Proposition 2.17). Next we consider the second case, where two discrete curvature lines in the non-circular direction of the sought-after discrete channel surface are prescribed. In [9], it was recently proven that for any Ribaucour pair of smooth curves there exists a 1-parameter family of channel surfaces having these curves as curvature lines. As the next theorem shows, there is more freedom in the discrete setup: Theorem 3.2 Let (c , c ) be a discrete Ribaucour pair of curves, then there exists (up to 1 2 subdivision in the circular direction) a 3-parameter family of discrete channel surfaces that contain both curves c and c as curvature lines. 1 2 Proof Suppose that the discrete curves c and c form a Ribaucour pair. To obtain the sought- 1 2 after discrete channel surfaces we construct suitable Lie cyclide congruences, which then, by Theorem 2.15, determine discrete channel surfaces. These are unique up to subdivision in the circular direction. To do so we choose a contact element for an initial vertex on one of the curves c and c , 1 2 which leaves us with a 2-parameter choice. Since the curves c and c are related by a discrete 1 2 123 Discrete channel surfaces 761 Fig. 6 A non-cylindrical discrete channel surface with two parallel lines (orange) as prescribed curvature lines Ribaucour transformation, this contact element can be consistently extended on all vertices of c and c such that we obtain one coordinate ribbon of a discrete Legendre map. Then, for 1 2 each face of this coordinate ribbon there exists a 1-parameter family of face-cyclides. If we fix a face-cyclide on one initial face, then there exists a unique choice of face-cyclides on the other faces of the coordinate ribbon such that two consecutive face-cyclides intersect along a common curvature line. By construction, this yields a Lie cyclide congruence for a discrete channel surface which has as generating circles these common curvature lines as shown in the proof of Theorem 2.15. To demonstrate the difference between the smooth and the discrete theories we explicitly construct all channel surfaces with two parallel lines as prescribed curvature lines in the non-circular direction: Example 3.3 Suppose we prescribe two smooth parallel lines, then the 1-parameter family of smooth channel surfaces with these two lines as curvature lines is given by cylinders with varying radii. If we prescribe a Ribaucour pair of parallel discrete lines related by a smooth Ribaucour transformation, then there exists a 3-parameter family of discrete channel surfaces with the parallel lines as curvature lines in the non-circular direction. To obtain these discrete channel surfaces we follow the construction given in the proof of Theorem 3.2 and construct suitable Lie cyclide congruences: if we choose a cylinder with the two parallel lines as curvature lines as a (constant) Lie cyclide, we obtain discrete cylindrical surfaces. However, as demonstrated in Fig. 6, there exist non-cylindrical discrete channel surfaces with the two discrete lines as curvature lines: here the Lie cyclides are given by parts of tori of revolution. 4 Discrete isothermic channel surfaces In this section, as an application of our notion of a discrete channel surface, we present a classification of discrete isothermic channel surfaces, where familiar subclasses of channel surfaces in Euclidean subgeometries will make an appearance. Recall (see [19]and [15, 3.7]) that smooth isothermic channel surfaces in Möbius geom- etry are parts of surfaces of revolution, cylinders or cones in a suitably chosen Euclidean subgeometry. To begin with we define discrete counterparts of these surfaces and then prove that these are exactly the discrete isothermic channel surfaces. 123 762 U. Hertrich-Jeromin et al. 4.1 Discrete surfaces of revolution, cylinders and cones We consider discrete Legendre maps in a Euclidean subgeometry and define these three types of discrete channel surfaces by specifying their Lie cyclide congruences: ⎧ ⎫ ⎨ discrete surface of revolution⎬ Definition 4.1 A discrete channel surface is a discrete cylinder if it admits ⎩ ⎭ discrete cone ⎧ ⎫ tori of revolution having the same axis ⎨ ⎬ a Lie cyclide congruence of cylinders having parallel axes of revolution . ⎩ ⎭ circular cones with the same vertex As a consequence of the definition, we obtain characterizations in terms of the related face- sphere congruences of the discrete channel surfaces: ⎧ ⎫ ⎨ surface of revolution⎬ Proposition 4.2 A discrete channel surface is a cylinder if and only if its ⎩ ⎭ cone ⎧ ⎫ orthogonally intersected by a fixed line ⎨ ⎬ planes which intersect a fixed plane orthogonally face-spheres are . ⎩ ⎭ planes which all intersect at a fixed point Note that the notion of a discrete surface of revolution given here coincides with the standard definition in Euclidean geometry: Corollary 4.3 A discrete channel surface is a surface of revolution if it is generated by revolv- ing a discrete planar curve about an axis coplanar with the curve. Proof By definition, the Lie cyclide congruence of a discrete surface of revolution is given by tori of revolution having the same axis. Since a non-circular discrete curvature line consists of adjacent vertices that lie on a smooth curvature line of the torus and all tori have the same axis, the claim is proven. Furthermore, the curvature lines of discrete cylinders and discrete cones also share analogous properties with their smooth counterparts: Corollary 4.4 A discrete cylinder is generated by an arbitrary discrete planar curve, which is translated orthogonally to the plane of the profile curve. The vertices of any non-circular curvature line of a discrete cone lie on a sphere with the vertex of the cone as center. The proof follows directly from Propositions 4.2 and 2.10. 4.2 Vessiot’s Theorem We will prove that the three just defined subclasses of discrete channel surfaces lead to a discrete version of Vessiot’s characterization of smooth isothermic channel surfaces. From now on we restrict to graphs G with vertices of degree 4 and consider nowhere- spherical discrete surfaces, that is, discrete nets such that the nine vertices of any four adjacent faces are not cospherical. 123 Discrete channel surfaces 763 Fig. 7 Notation used for four neighbouring quadrilaterals Theorem 4.5 (Vessiot’s Theorem) A nowhere-spherical discrete channel surface is isother- mic if and only if it is a surface of revolution, a cylinder or a cone in a suitably chosen Euclidean subgeometry. We will prove this theorem by elementary geometric arguments, using the 5-point sphere condition for isothermic nets introduced in [5]: a nowhere-spherical circular net is isothermic if and only if every vertex and its four diagonal neighbours lie in a common sphere, which does not contain the set of the other four neighbouring points of the vertex. The proof of Vessiot’s Theorem is based on the following observation: Lemma 4.6 A nowhere-spherical discrete channel surface is isothermic if and only if the four diagonal neighbours of each vertex are concircular. Proof Let f be a nowhere-spherical isothermic discrete channel surface with circular direction ‘+’. By way of contradiction, using the notation from Fig. 7, we assume that the four diagonal neighbours f , f , f and f of any vertex f are not concircular. Then it follows that these i i k k j four vertices uniquely determine the 5-point sphere S , which guarantees isothermicity. Furthermore, since by Corollary 2.11 any two non-circular curvature lines of a discrete channel surface form a Ribaucour pair, the vertices f , f , f and f , as well as the vertices i j j i f , f , f and f , determine two intersecting circles. j k k j Thus, these six vertices lie on a common sphere. But this sphere coincides with the 5-point sphere S , which contradicts the assumption that f is a nowhere-spherical isothermic net. In conclusion, the four diagonal neighbours of f have to be concircular. Conversely, if for any vertex f the four diagonal neighbours are concircular, there exists a 5-point sphere containing these five vertices. If the patch is nowhere-spherical, it does not contain all of the vertices of the vertex-star of f . Therefore the discrete channel surface is isothermic. Proof of Theorem 4.5 Let f be an isothermic discrete channel surface and denote three adja- cent generating circles by c , c and c . Since adjacent generating circles are related by a i j k Ribaucour transformation, c and c ,aswellas c and c , are cospherical (see Lemma 2.8). i j j k Furthermore, by Lemma 4.6, we obtain additional circularity conditions between vertices on the circles c and c , which therefore also lie on a common sphere. We study the three i k possible configurations of c and c : i j 123 764 U. Hertrich-Jeromin et al. 1. c and c are tangent. By a further Möbius tranformation, the two generating circles i j become two parallel lines and therefore the corresponding face-sphere becomes a plane. Since c is cospherical with each of the circles c and c , it lies in a plane E containing k i j i c and in a plane E containing c . Therefore c = E ∩ E is a line parallel to c and c i j j k i j i j and the two face-spheres are planes orthogonal to a fixed plane. Analogous arguments for consecutive generating circles show that in this case f is Möbius equivalent to a generalized cylinder. 2. c and c intersect in two points. After a suitable Möbius transformation we obtain i j two generating lines intersecting at a point p .Then c is the line obtained as the ∞ k intersection of a plane containing c with a plane containing c . Therefore, in this case, i j we get face-spheres which determine a generalized cone. 3. c and c do not intersect. From the cases (1) and (2), we then know that c also does i j k not intersect c and c , hence we can consider c as a line coplanar with each of the two i j j circles c and c . In this situation consider the “equator plane” of the sphere containing i k c and c , which is orthogonal to this sphere and the line c : in this plane there exists i k j acircle c¯, which has as axis the line c , therefore intersects the planes of the circles c j i and c orthogonally, and at the same time orthogonally intersects the sphere containing the circles c and c . If we transform this circle by a Möbius transformation to a line i k such that the generating circles c , c and c become circles, then they have this line as i j k common axis and lie in parallel planes. Hence, we obtain (a part of) a discrete surface of revolution. Conversely, if we have a discrete channel surface of one of the three types, we learn from Corollaries 4.3 and 4.4 that, due to symmetry, the four diagonal neighbours of any vertex are concircular. Therefore, by Lemma 4.6, these surfaces are isothermic. Using the classification of multi-circular nets recently given in [3, Theorem 7.6], we learn from Vessiot’s Theorem how these nets arise in the realm of discrete channel surfaces: Corollary 4.7 A discrete channel surface is isothermic if and only if it is multi-circular, that is, a circular net where additionally the vertices of any coordinate quadrilateral are also concircular. 4.3 Examples Consider a discrete Legendre map f with f the projection to a spaceform determined by p and q and n its unit normal, that is, f =f, n with f ⊥ p,(f, q) =−1, n ⊥ q,(n, p) =−1. 4,2 4,2 Let ∧: R × R → o(4, 2), (x ∧ y)(v) = (x,v) y − ( y,v)x and denote the mixed area of the quadrilaterals a and b with parallel corresponding edges by A(a, b) := (da ∧ db + db ∧ da ), ijkl ik jl ik jl where da := a − a . Then, following [8], we can define the Gauss and mean curvatures ik k i on faces of f as A(n, n) A(n, f) ijkl ijkl K = and H =− . (1) ijkl ijkl A(f, f) A(f, f) ijkl ijkl We will only consider non-degenerate projections of discrete Legendre maps, that is, the mixed area A(f, f) is nowhere vanishing and with sufficiently large cell complexes. ijkl 123 Discrete channel surfaces 765 Fig. 8 Principal curvatures along a‘+’-coordinate ribbon Furthermore, we define principal curvatures κ on edges of f using Rodrigues’ equation ij dn =−κ df . (2) ij ij ij We have the following corollary of Vessiot’s Theorem 4.5: Corollary 4.8 Discrete isothermic channel surfaces in space forms that are not Möbius equiv- alent to discrete surfaces of revolution in a Euclidean subgeometry are all Möbius equivalent to flat surfaces in a Euclidean subgeometry. Proof By Theorem 4.5, an isothermic discrete channel surface, which is not Möbius equiv- alent to a discrete surface of revolution is Möbius equivalent to a generalized cylinder or cone in R . Let that generalized cylinder or cone be f above, with q then necessarily null. Then, since all generating circles are straight lines with n constant along those lines, we have A(n, n) ≡ 0, implying the result. ijkl Moreover, we can characterize further well-known classes of isothermic surfaces: Proposition 4.9 Discrete minimal and constant mean curvature channel surfaces in R are surfaces of revolution. Proof Suppose f is a discrete constant mean curvature channel surface with circular direction ‘+’. By the Eqs. (1)and (2), the mean curvature H of a face (ijkl) can be written in terms of the principal curvatures as (cf. [7]) (κ − κ − κ + κ ) H = κ κ − κ κ . ij il jk kl jk li ij kl To prove the claim, we will show that the Lie cyclides of f are tori of revolution with the same axis of revolution. Thus, we first investigate the principal curvatures on the ‘−’-edges along each ‘+’-coordinate ribbon. Since the principal curvatures along each ‘+’-coordinate line of the discrete channel surface are constant, by using the notation given in Fig. 8,we obtain for two adjacent faces of the ‘+’-coordinate ribbon − − − − (κ + κ − C ) H = A − κ κ i j i j − − − − (κ + κ − C ) H = A − κ κ , j k j k + + + + where A := κ κ and C := κ + κ . 1 2 1 2 123 766 U. Hertrich-Jeromin et al. − − − Therefore, if the mean curvature is constant, we obtain (κ − κ )(κ + H ) = 0for any two i k j adjacent faces of the coordinate ribbon. Thus, along a ‘+’-coordinate ribbon, for any two adjacent faces one of the conditions − − − κ = κ or H =−κ i k j holds and we deduce that at least three principal curvatures on the ‘−’-edges coincide. Moreover, since f is a discrete channel surface, for any ‘+’-coordinate ribbon there exists a Lie cyclide which, by construction, edgewise shares the principal curvatures with f. Thus, since at least three principal curvatures κ along a ‘+’-coordinate ribbon coincide and the three curvature spheres of the Lie cyclide therefore have the same radius, the cyclide is a torus of revolution. The axis of this torus is the common axis of the two generating circles. In summary, in the case of a discrete constant mean curvature channel surface, the Lie cyclide congruence consists of tori of revolution having the same axis, and therefore it is, by definition, a discrete surface of revolution. We remark that similar ideas lead to characterizations of discrete linear Weingarten channel surfaces in R , as well as in space forms. A detailed analysis of these discrete surfaces will be left for a later project. Acknowledgements Open access funding provided by TU Wien (TUW). We would like to thank Mason Pember and Joseph Cho for fruitful and enjoyable discussions around this topic. For the main parts of this work the third author was funded by her JSPS Postdoctoral Fellowship P17734. Moreover, this work has been partially supported by the FWF/JSPS Joint Project grant I1671- N26 “Transformations and Singularities” and also by the grants Kiban S(17H06127) and Kiban C(15K04845) from the Japan Society for the Promotion of Science. Finally, the authors express their gratitude to the referee for useful comments and suggestions. Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and repro- duction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. References 1. Blaschke, W.: Vorlesungen über Differentialgeometrie III. Springer Grundlehren XXIX, Berlin (1929) 2. Bo, P., Pottmann, H., Kilian, M., Wang, W., Wallner, J.: Circular arc structures. ACM Trans. Graphics, Proc. SIGGRAPH 30:#101,1–11, (2011) 3. Bobenko, A., Pottmann, H., Rörig, T.: Multi-Nets. Classification of discrete and smooth surfaces with characteristic properties on arbitrary parameter rectangles. EPrint arXiv:1802.05063, (2018) 4. Bobenko, A., Huhnen-Venedey, E.: Curvature line parametrized surfaces and orthogonal coordinate sys- tems: discretization with Dupin cyclides. Geom. Dedicata 159, 207–237 (2012) 5. Bobenko, A., Suris, Y.: Isothermic surfaces in sphere geometries as Moutard nets. Proc. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. 463(2088), 3171–3193 (2007) 6. Bobenko, A., Suris, Y.: Discrete Differential Geometry: Integrable Structure. Graduate Studies in Math- ematics, vol. 98. Amer. Math. Soc., Providence (2008) 7. Bobenko, A., Pottmann, H., Wallner, J.: A curvature theory for discrete surfaces based on mesh parallelity. Math. Ann. 348(1), 1–24 (2010) 8. Burstall, F., Hertrich-Jeromin, U., Rossman, W.: Discrete linear Weingarten surfaces. Nagoya Math. J. 231, 5588 (2018) 9. Burstall, F., Hertrich-Jeromin, U., Lara Miro, M.: Ribaucour coordinates. Beiträge zur Algebra und Geometrie 60(1), 39–55 (2019) 10. Cecil, T.: Lie sphere geometry. With applications to submanifolds. Springer, New York (2008) 11. Dajczer, M., Tojeiro, R.: An extension of the classical Ribaucour transformation. Proc. Lond. Math. Soc. (3) 85(1), 211–232 (2002) 12. Druoton, L., Langevin, R., Garnier, L.: Blending canal surfaces along given circles using Dupin cyclides. Int. J. Comput. Math. 91(3), 641–660 (2014) 123 Discrete channel surfaces 767 13. Foufou, S., Garnier, L.: Dupin Cyclide Blends Between Quadric Surfaces for Shape Modeling. Computer Graphics Forum. The Eurographics Association and Blackwell Publishing, Oxford (2004) 14. Garcia, R., Llibre, J., Sotomayor, J.: Lines of principal curvature on canal surfaces in R . Anais da Acad. Brasileira de Ciencias 78, 405–415 (2006) 15. Hertrich-Jeromin, U.: Introduction to Möbius Differential Geometry. Cambridge University Press, Cam- bridge (2003) 16. Monge, G.: Application de l’analyse a la géométrie. Bachelier, Paris (1850) 17. Pember, M., Szewieczek, G.: Channel surfaces in Lie sphere geometry. Beitr Algebra Geom 59, 779–796 (2018). https://doi.org/10.1007/s13366-018-0394-6 18. Vessiot, E.: Leçons de Gèométrie Supérieure. Librarie Scientifique. J. Hermann, Paris (1919) 19. Vessiot, E.: Contribution à la géométrie conforme. Théorie des surfaces. Bull. Soc. Math. France 54, 139–179 (1926) Publisher’s Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Mathematische Zeitschrift – Springer Journals
Published: Feb 17, 2020
You can share this free article with as many people as you like with the url below! We hope you enjoy this feature!
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.