2 Discrete linear Weingarten surfaces in space forms

We aim to describe discrete linear Weingarten surfaces, defined in terms of mixed areas (cf. [Reference Bobenko, Pottmann and Wallner3, Definition 8] and [Reference Bobenko, Hertrich-Jeromin and Lukyanenko4, Definition 3.1]), in Riemannian and Lorentzian space forms in a unified manner. To this end, we consider the space form geometries as subgeometries of Lie sphere geometry: fix orthogonal vectors $\mathfrak{p},\mathfrak{q}\in \mathbb{R}^{4,2}\setminus \{0\}$ , and let

(2.1) $$\begin{eqnarray}\mathfrak{Q}^{3}:=\{\mathfrak{y}\in \mathbb{R}^{4,2}\,|\,(\mathfrak{yy})=0,(\mathfrak{yq})=-1,(\mathfrak{yp})=0\},\end{eqnarray}$$

where $(\cdot \cdot )$ denotes the inner product of $\mathbb{R}^{4,2}$ ; $\langle \cdot ,\cdots \,,\cdot \rangle$ denotes the linear span of vectors. If $(\mathfrak{pp})\neq 0$ , then $\mathfrak{Q}^{3}$ is a three-dimensional quadric of constant sectional curvature $-(\mathfrak{qq})$ .

In this setting, the projective light cone or Lie quadric ${\mathcal{L}}^{4}:=\{\langle \mathfrak{y}\rangle \,|\,\mathfrak{y}\in \mathbb{R}^{4,2},(\mathfrak{y}\mathfrak{y})=0\}\subset \mathbb{P}(\mathbb{R}^{4,2})$ parametrizes the set of oriented $2$ -spheres (thus, complete, totally umbilic hypersurfaces) in $\mathfrak{Q}^{3}$ via

$$\begin{eqnarray}s\mapsto \mathfrak{Q}^{3}\cap s^{\bot }.\end{eqnarray}$$

In particular, for $\mathfrak{y}\in \mathfrak{Q}^{3}$ , $s=\langle \mathfrak{y}\rangle$ corresponds to the point sphere $\{\mathfrak{y}\}$ , while, when $s\in {\mathcal{L}}^{4}$ differs from its reflection $s^{\prime }$ in the hyperplane orthogonal to $\mathfrak{p}$ , $s,s^{\prime }$ correspond to the same sphere but with opposite orientations.

In general, a nonzero point $\mathfrak{k}\in \mathbb{R}^{4,2}$ (or, more properly, a point $\langle \mathfrak{k}\rangle \in \mathbb{P}(\mathbb{R}^{4,2})$ ) defines the linear sphere complex ${\mathcal{L}}^{4}\cap \mathfrak{k}^{\bot }$ , a three-dimensional family of $2$ -spheres. In particular, taking $\mathfrak{k}=\mathfrak{q}$ yields

(2.2) $$\begin{eqnarray}\mathfrak{P}^{3}:=\{\mathfrak{y}\in \mathbb{R}^{4,2}|(\mathfrak{yy})=0,(\mathfrak{yq})=0,(\mathfrak{yp})=-1\},\end{eqnarray}$$

the complex of (spacelike if $(\mathfrak{pp})>0$ ) hyperplanes (thus, complete, totally geodesic hypersurfaces) in the space form $\mathfrak{Q}^{3}$ (cf. [Reference Hertrich-Jeromin14, Section 1.4]).

Two oriented $2$ -spheres are in oriented contact if and only if the corresponding points of ${\mathcal{L}}^{4}$ are orthogonal. It follows that lines in ${\mathcal{L}}^{4}$ correspond to pencils of $2$ -spheres sharing a common contact element and so parametrize those contact elements. For more details, see Cecil [Reference Cecil9, Chapter 1].

To make this approach more tangible, assume that $(\mathfrak{pp})=\mp 1$ and $(\mathfrak{qq})\neq 0$ . Now, the constant offset

$$\begin{eqnarray}\biggl\{\mathfrak{x}=\mathfrak{f}+\frac{\mathfrak{q}}{(\mathfrak{q}\mathfrak{q})}\biggm\vert\mathfrak{f}\in \mathfrak{Q}^{3}\biggr\}\subset \langle \mathfrak{p},\mathfrak{q}\rangle ^{\bot }\end{eqnarray}$$

yields the standard model of a space form as a (connected component of a) quadric in a four-dimensional linear space with nondegenerate inner product, and the unit (timelike if $(\mathfrak{pp})=+1$ ) tangent space of the space form at $\mathfrak{x}=\mathfrak{f}+\frac{\mathfrak{q}}{(\mathfrak{q}\mathfrak{q})}$ becomes the constant offset

$$\begin{eqnarray}\left\{\mathfrak{n}=\mathfrak{t}+\frac{\mathfrak{p}}{(\mathfrak{pp})}\biggm\vert\mathfrak{t}\in \mathfrak{P}^{3}\cap \langle \mathfrak{f}\rangle ^{\bot }\right\}\subset \langle \mathfrak{p},\mathfrak{q}\rangle ^{\bot }.\end{eqnarray}$$

In the case $(\mathfrak{qq})=0$ of a flat ambient space form geometry, the situation becomes slightly less obvious: here, a choice of origin $\mathfrak{o}\in \mathfrak{Q}^{3}$ yields an identification via inverse stereographic projection,

(2.3) $$\begin{eqnarray}\mathfrak{Q}^{3}\ni \mathfrak{f}=\mathfrak{o}+\mathfrak{x}+\frac{1}{2}(\mathfrak{xx})\mathfrak{q}\;\leftrightarrow \;\mathfrak{x}\in \langle \mathfrak{o},\mathfrak{p},\mathfrak{q}\rangle ^{\bot }\cong \left\{\begin{array}{@{}ll@{}}\mathbb{R}^{3},\quad & \text{if }(\mathfrak{pp})=-1,\\ \mathbb{R}^{2,1},\quad & \text{if}(\mathfrak{pp})=+1,\end{array}\right.\end{eqnarray}$$

and $\mathfrak{P}^{3}\cap \langle \mathfrak{f}\rangle ^{\bot }$ becomes the unit (timelike in the Lorentzian case) tangent space of $\mathbb{R}^{3}$ or $\mathbb{R}^{2,1}$ , respectively, via

(2.4) $$\begin{eqnarray}\mathfrak{P}^{3}\cap \langle \mathfrak{f}\rangle ^{\bot }\ni \mathfrak{t}=-\frac{\mathfrak{p}}{(\mathfrak{pp})}+\mathfrak{n}+(\mathfrak{xn})\mathfrak{q}\;\leftrightarrow \;\mathfrak{n}\in \langle \mathfrak{o},\mathfrak{p},\mathfrak{q}\rangle ^{\bot }.\end{eqnarray}$$

Now, consider a discrete principal (circular) netFootnote ²   $\mathfrak{f}:\mathbb{Z}^{2}\rightarrow \mathfrak{Q}^{3}$ ; that is, $\mathfrak{f}$ has planar faces in $\mathbb{R}^{4,2}$ (cf. [Reference Bobenko and Suris2, Theorem 3.9]). For nondegeneracy, we assume that neither edges nor diagonals of $\mathfrak{f}$ are isotropic: if $(ijkl)$ denotes an elementary quadrilateral of $\mathbb{Z}^{2}$ , then the vectors

$$\begin{eqnarray}d\mathfrak{f}_{ij}:=\mathfrak{f}_{j}-\mathfrak{f}_{i}\qquad \text{and}\qquad \unicode[STIX]{x1D6FF}\mathfrak{f}_{ik}:=\mathfrak{f}_{k}-\mathfrak{f}_{i}\end{eqnarray}$$

are assumed to be non-null. In particular, any two or three vertices of a face of $\mathfrak{f}$ span a two- or three-dimensional subspace of $\mathbb{R}^{4,2}$ , respectively, with a nondegenerate induced inner product. Further, in order to be able to define the Gauß and mean curvatures via mixed areas below, we assume that the faces of $\mathfrak{f}$ have nonparallel diagonals, so that their areas do not vanish.

Such a principal net admits a two-parameter family of Gauß maps, that is, unit (timelike in the Lorentzian case) “normal” vector fields along $\mathfrak{f}$ , so that, for each edge $(ij)$ , there is an edge curvature sphere $\unicode[STIX]{x1D705}_{ij}$ that is orthogonal to the “normal” vectors at the endpointsFootnote ³   $\mathfrak{f}_{i}$  and $\mathfrak{f}_{j}$ (cf. [Reference Bobenko and Suris2, Theorem 3.36]). In our Lie-geometric setup, a choice of Gauß map for the principal net $\mathfrak{f}$ amounts to a choice of a “tangent plane” congruence $\mathfrak{t}:\mathbb{Z}^{2}\rightarrow \mathfrak{P}^{3}$ with $\mathfrak{t}\bot \mathfrak{f}$ . This pair of maps gives rise to the Legendre lift (principal contact element net, cf. [Reference Bobenko and Suris2, Definition 3.23]) of a principal net in a space form with Gauß map:

Definition 2.1. Let $\mathfrak{f}:\mathbb{Z}^{2}\rightarrow \mathfrak{Q}^{3}$ be a principal net in a quadric $\mathfrak{Q}^{3}$ of constant sectional curvature with tangent plane congruence $\mathfrak{t}:\mathbb{Z}^{2}\rightarrow \mathfrak{P}^{3}$ , $\mathfrak{t}\bot f$ . The line congruenceFootnote ⁴

$$\begin{eqnarray}\mathbb{Z}^{2}\ni i\mapsto f_{i}:=\langle \mathfrak{f}_{i},\mathfrak{t}_{i}\rangle \subset {\mathcal{L}}^{4}\end{eqnarray}$$

is called the Legendre lift of the pair $(\mathfrak{f},\mathfrak{t})$ if adjacent lines $f_{i}$ and $f_{j}$ intersect; $\unicode[STIX]{x1D705}_{ij}:=f_{i}\cap f_{j}$ is called the curvature sphere of $f$ on the edge $(ij)$ . The pair $(\mathfrak{f},\mathfrak{t})$ is called the space form projection of the Legendre map $f$ .

We exclusively deal with pairs $(\mathfrak{f},\mathfrak{t}):\mathbb{Z}^{2}\rightarrow \mathfrak{Q}^{3}\times \mathfrak{P}^{3}$ occurring as space form projections of Legendre maps. Note that, generically,Footnote ⁵ any choice of a point sphere complex $\mathfrak{p}\in \mathbb{R}^{4,2}$ , $(\mathfrak{pp})\neq 0$ , and a space form vector $\mathfrak{q}\in \mathbb{R}^{4,2}\setminus \{0\}$ , $(\mathfrak{qp})=0$ , gives rise to a space form projection $(\mathfrak{f},\mathfrak{t})$ of a given Legendre map $f$ .

As the edge curvature sphere $\unicode[STIX]{x1D705}_{ij}\in {\mathcal{L}}^{4}$ is obtained as the intersection $\unicode[STIX]{x1D705}_{ij}=f_{i}\cap f_{j}$ of the lines of the Legendre lift of a principal net $\mathfrak{f}$ with tangent plane congruence $\mathfrak{t}$ at the endpoints of an edge $(ij)$ , we may write

(2.5) $$\begin{eqnarray}\unicode[STIX]{x1D705}_{ij}=\mathfrak{t}_{i}+k_{ji}\mathfrak{f}_{i}=\mathfrak{t}_{j}+k_{ij}\mathfrak{f}_{j}\end{eqnarray}$$

for (a lift of) the curvature sphere with suitable coefficients $k_{ij}$ and $k_{ji}$ . Now,

$$\begin{eqnarray}k_{ji}=\frac{(\unicode[STIX]{x1D705}_{ij}\mathfrak{q})}{(\unicode[STIX]{x1D705}_{ij}\mathfrak{p})}=k_{ij},\end{eqnarray}$$

showing that $(ij)\mapsto k_{ij}$ is an edge function, that is, takes equal values for opposite orientations of an edge. This yields a notion of a principal curvature function on the edges of a principal net $\mathfrak{f}$ in $\mathfrak{Q}^{3}$ with tangent plane congruence $\mathfrak{t}$ . Rewriting (2.5) as

(2.6) $$\begin{eqnarray}0=d\mathfrak{t}_{ij}+k_{ij}d\mathfrak{f}_{ij},\end{eqnarray}$$

we obtain a Rodrigues’ type formula. Conversely, (2.6) implies that $\mathfrak{f}$ , and hence $\mathfrak{t}$ , is a conjugate net in $\mathbb{R}^{4,2}$ as long as the principal curvature function $k$ is not constant around an elementary quadrilateral, that is, away from umbilical faces, where the curvature spheres of the four edges of a face coincide. Thus, we obtain the following characterization.

In particular, the faces of $\mathfrak{f}$ and $\mathfrak{t}$ lie in parallel planes so that the $\unicode[STIX]{x1D6EC}^{2}\mathbb{R}^{4,2}$ -valued (mixed) area functions

$$\begin{eqnarray}A(\mathfrak{t},\mathfrak{t})_{ijkl}={\textstyle \frac{1}{2}}\unicode[STIX]{x1D6FF}\mathfrak{t}_{ik}\wedge \unicode[STIX]{x1D6FF}\mathfrak{t}_{jl}\qquad \text{and}\qquad A(\mathfrak{f},\mathfrak{t})_{ijkl}={\textstyle \frac{1}{4}}\{\unicode[STIX]{x1D6FF}\mathfrak{f}_{ik}\wedge \unicode[STIX]{x1D6FF}\mathfrak{t}_{jl}+\unicode[STIX]{x1D6FF}\mathfrak{t}_{ik}\wedge \unicode[STIX]{x1D6FF}\mathfrak{f}_{jl}\}\end{eqnarray}$$

are multiples of $A(\mathfrak{f},\mathfrak{f})_{ijkl}=\frac{1}{2}\unicode[STIX]{x1D6FF}\mathfrak{f}_{ik}\wedge \unicode[STIX]{x1D6FF}\mathfrak{f}_{jl}.$ Note that $A(\mathfrak{f},\mathfrak{f})\neq 0$ by our regularity assumption on $\mathfrak{f}$ .

Lemma and Definition 2.3. There are two functions, $H$ and $K$ , defined on the facesFootnote ⁶ of a space form projection of a Legendre map so that

$$\begin{eqnarray}0\equiv A(\mathfrak{f},\mathfrak{t})+H\,A(\mathfrak{f},\mathfrak{f})=A(\mathfrak{t},\mathfrak{t})-K\,A(\mathfrak{f},\mathfrak{f}).\end{eqnarray}$$

These are called the mean curvature and Gauß curvature of the pair $(\mathfrak{f},\mathfrak{t})$ , respectively.

As the mixed areas are invariant under translation, the mean and Gauß curvatures defined here clearly coincide with those of [Reference Bobenko, Hertrich-Jeromin and Lukyanenko4, Definition 3.1] in the case of a Riemannian ambient geometry.

To see that they coincide with the ones of [Reference Bobenko and Suris2, Definition 4.45] and [Reference Bobenko, Pottmann and Wallner3, Definition 8] in the case of a principal net $\mathfrak{x}$ in $\mathbb{R}^{3}$ with (unit) Gauß map $\mathfrak{n}$ , we employ (2.3) and (2.4) to observe that the mixed areas of

$$\begin{eqnarray}\mathfrak{f}=\mathfrak{o}+\mathfrak{x}+{\textstyle \frac{1}{2}}(\mathfrak{xx})q\qquad \text{and}\qquad \mathfrak{t}=\mathfrak{p}+\mathfrak{n}+(\mathfrak{xn})\mathfrak{q}\end{eqnarray}$$

take values in $\unicode[STIX]{x1D6EC}^{2}\langle \mathfrak{o},\mathfrak{p},\mathfrak{q}\rangle ^{\bot }\oplus (\langle \mathfrak{o},\mathfrak{p},\mathfrak{q}\rangle ^{\bot }\wedge \langle \mathfrak{q}\rangle )$ and that the mean and Gauß curvatures $H$ and $K$ are therefore determined by the $\unicode[STIX]{x1D6EC}^{2}\langle \mathfrak{o},\mathfrak{p},\mathfrak{q}\rangle ^{\bot }$ -parts $A(\mathfrak{n},\mathfrak{n})$ , $A(\mathfrak{x},\mathfrak{n})$ and $A(\mathfrak{x},\mathfrak{x})$ of the mixed areas $A(\mathfrak{t},\mathfrak{t})$ , $A(\mathfrak{t},\mathfrak{f})$ and $A(\mathfrak{f},\mathfrak{f})$ .

Definition 2.4. The space form projection $(\mathfrak{f},\mathfrak{t}):\mathbb{Z}^{2}\rightarrow \mathfrak{Q}^{3}\times \mathfrak{P}^{3}$ of a Legendre map is called a linear Weingarten net if its mean and Gauß curvatures satisfy a nontrivial affine relation

(2.7) $$\begin{eqnarray}0=\unicode[STIX]{x1D6FC}\,K+2\unicode[STIX]{x1D6FD}\,H+\unicode[STIX]{x1D6FE}.\end{eqnarray}$$

Note the symmetry of the situation: in the case $(\mathfrak{qq})\neq 0$ , we may interchange the geometric interpretations of $\mathfrak{p}$ and $\mathfrak{q}$ , thus swapping the roles of $\mathfrak{f}$ and $\mathfrak{t}$ . That is, $\mathfrak{t}$ is interpreted as the principal net and $\mathfrak{f}$ as its tangent plane congruence. As long as $A(\mathfrak{t},\mathfrak{t})\neq 0$ , that is, $K\neq 0$ , we obtain $\frac{H}{K}$ and $\frac{1}{K}$ as the mean and Gauß curvatures of the pair $(\mathfrak{t},\mathfrak{f})$ , which is therefore a linear Weingarten net also. In particular, if $(\mathfrak{f},\mathfrak{t})$ is a minimal net, $H\equiv 0$ , then so is $(\mathfrak{t},\mathfrak{f})$ . In this case, $A(\mathfrak{f},\mathfrak{t})\equiv 0$ , so that $\mathfrak{f}$ and $\mathfrak{t}$ are Königs dual nets in $\mathbb{R}^{4,2}$ (cf. [Reference Bobenko and Suris2, Definition 2.22]):

Definition 2.5. Two discrete maps $\unicode[STIX]{x1D70E}^{\pm }$ into an affine space are called Königs dual if they are edge-parallel and their opposite diagonals are parallel: for any edge $(ij)$ and any elementary quadrilateral $(ijkl)$ ,

$$\begin{eqnarray}d\unicode[STIX]{x1D70E}_{ij}^{+}\Vert d\unicode[STIX]{x1D70E}_{ij}^{-}\qquad \text{and}\qquad \unicode[STIX]{x1D6FF}\unicode[STIX]{x1D70E}_{ik}^{\pm }\Vert \unicode[STIX]{x1D6FF}\unicode[STIX]{x1D70E}_{jl}^{\mp }.\end{eqnarray}$$

Indeed, $\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D70E}_{ik}^{+}\wedge \unicode[STIX]{x1D6FF}\unicode[STIX]{x1D70E}_{jl}^{-}=\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D70E}_{ik}^{-}\wedge \unicode[STIX]{x1D6FF}\unicode[STIX]{x1D70E}_{jl}^{+}$ for any edge-parallel nets $\unicode[STIX]{x1D70E}^{+}$ and $\unicode[STIX]{x1D70E}^{-}$ , so that the vanishing of their mixed area, $A(\unicode[STIX]{x1D70E}^{+},\unicode[STIX]{x1D70E}^{-})_{ijkl}\equiv 0,$ is readily seen to be equivalent to their opposite diagonals being parallel. Thus, we obtain a characterization of minimal nets in space forms via Königs duality (cf. [Reference Bobenko, Hertrich-Jeromin and Lukyanenko4]).

We aim to generalize this description for linear Weingarten nets. To this end, suppose that $\unicode[STIX]{x1D70E}^{\pm }$ are Königs dual lifts of sphere congruencesFootnote ⁷ $s^{\pm }$ spanning a Legendre map $f$ . Further suppose that each sphere congruence takes values in a linear sphere complex $\mathfrak{k}^{\pm }$ . Since $\unicode[STIX]{x1D70E}^{+}$ and $\unicode[STIX]{x1D70E}^{-}$ are edge-parallel nets and $\unicode[STIX]{x1D70E}^{\pm }\bot \mathfrak{k}^{\pm }$ , the inner products $(\unicode[STIX]{x1D70E}^{\pm }\mathfrak{k}^{\mp })\equiv \text{const}$ . As long as these inner products do not vanish, we may, without loss of generality, assume the same relative normalizations as for space form projections:Footnote ⁸

$$\begin{eqnarray}(\unicode[STIX]{x1D70E}^{\pm }\mathfrak{k}^{\pm })=0\qquad \text{and}\qquad (\unicode[STIX]{x1D70E}^{\pm }\mathfrak{k}^{\mp })=-1.\end{eqnarray}$$

Now, $\mathfrak{k}^{\pm }$ span a plane, and choosing a point sphere complex $\mathfrak{p}$ and a space form vector $\mathfrak{q}$ for a space form projection $(\mathfrak{f},\mathfrak{t})$ of $f$ in this plane, $\langle \mathfrak{q},\mathfrak{p}\rangle =\langle \mathfrak{k}^{+},\mathfrak{k}^{-}\rangle$ , our relative normalizations control the relation between basis transformations. With $B\in \text{Gl}(2)$ , a change of basis

(2.8) $$\begin{eqnarray}(\mathfrak{q},\mathfrak{p})=(\mathfrak{k}^{+},\mathfrak{k}^{-})B\text{ yields }(\unicode[STIX]{x1D70E}^{-},\unicode[STIX]{x1D70E}^{+})=(\mathfrak{f},\mathfrak{t})B^{t}.\end{eqnarray}$$

As both the symmetric products on $\langle \mathfrak{k}^{-},\mathfrak{k}^{+}\rangle$ and the mixed areas of pairs of edge-parallel nets spanning $f$ are symmetric bilinear forms, they change in a similar way:

(2.9) $$\begin{eqnarray}\displaystyle & \displaystyle {\mathfrak{q}\odot \mathfrak{q}\atop \mathfrak{p}\odot \mathfrak{q}}\,{\mathfrak{q}\odot \mathfrak{p}\atop \mathfrak{p}\odot \mathfrak{p}}=B^{t}{\mathfrak{k}^{+}\odot \mathfrak{k}^{+}\atop \mathfrak{k}^{-}\odot \mathfrak{k}^{+}}\,{\mathfrak{k}^{+}\odot \mathfrak{k}^{-}\atop \mathfrak{k}^{-}\odot \mathfrak{k}^{-}}B\qquad \text{and} & \displaystyle \nonumber\\ \displaystyle & \displaystyle {A(\unicode[STIX]{x1D70E}^{-},\unicode[STIX]{x1D70E}^{-})\atop A(\unicode[STIX]{x1D70E}^{+},\unicode[STIX]{x1D70E}^{-})}\,{A(\unicode[STIX]{x1D70E}^{-},\unicode[STIX]{x1D70E}^{+})\atop A(\unicode[STIX]{x1D70E}^{+},\unicode[STIX]{x1D70E}^{+})}=B{A(\mathfrak{f},\mathfrak{f})\atop A(\mathfrak{t},\mathfrak{f})}\,{A(\mathfrak{f},\mathfrak{t})\atop A(\mathfrak{t},\mathfrak{t})}B^{t}. & \displaystyle\end{eqnarray}$$

Thus, if $\unicode[STIX]{x1D70E}^{\pm }$ are Königs dual, $A(\unicode[STIX]{x1D70E}^{+},\unicode[STIX]{x1D70E}^{-})\equiv 0$ , then the constructed space form projection $(\mathfrak{f},\mathfrak{t})$ is a linear Weingarten net:

(2.10) $$\begin{eqnarray}\unicode[STIX]{x1D6FC}A(\mathfrak{t},\mathfrak{t})-2\unicode[STIX]{x1D6FD}A(\mathfrak{t},\mathfrak{f})+\unicode[STIX]{x1D6FE}A(\mathfrak{f},\mathfrak{f})\equiv 0,\end{eqnarray}$$

for suitable constants $\unicode[STIX]{x1D6FC},\unicode[STIX]{x1D6FD},\unicode[STIX]{x1D6FE}\in \mathbb{R}$ , which are determined from the basis representation of the symmetric bilinear formFootnote ⁹

(2.11) $$\begin{eqnarray}W:=2\,\mathfrak{k}^{-}\odot \mathfrak{k}^{+}=\frac{1}{2(\unicode[STIX]{x1D6FC}\unicode[STIX]{x1D6FE}-\unicode[STIX]{x1D6FD}^{2})}\{\unicode[STIX]{x1D6FC}\,\mathfrak{q}\odot \mathfrak{q}+2\unicode[STIX]{x1D6FD}\,\mathfrak{q}\odot \mathfrak{p}+\unicode[STIX]{x1D6FE}\,\mathfrak{p}\odot \mathfrak{p}\}.\end{eqnarray}$$

To see the converse, we merely reverse this line of argument. Let $(\mathfrak{f},\mathfrak{t}):\mathbb{Z}^{2}\rightarrow \mathfrak{Q}^{3}\times \mathfrak{P}^{3}$ be a linear Weingarten net, that is, its mixed areas satisfy a linear relation (2.10). We seek $\mathfrak{k}^{\pm }$ satisfying (2.11), that is, factorizing

$$\begin{eqnarray}W:=\unicode[STIX]{x1D6FC}\,\mathfrak{q}\odot \mathfrak{q}+2\unicode[STIX]{x1D6FD}\,\mathfrak{q}\odot \mathfrak{p}+\unicode[STIX]{x1D6FE}\,\mathfrak{p}\odot \mathfrak{p}.\end{eqnarray}$$

Clearly, this ambition is in vain if $W$ does not have full rank, that is, if $\unicode[STIX]{x1D6FC}\unicode[STIX]{x1D6FE}-\unicode[STIX]{x1D6FD}^{2}=0$ : as the sought-after $\mathfrak{k}^{\pm }$ are linearly independent, $\mathfrak{k}^{+}\odot \mathfrak{k}^{-}$ has rank $2$ . Thus, we exclude this case from the investigation. The following terminology is chosen in analogy to the smooth case, where the linear Weingarten surfaces with $\unicode[STIX]{x1D6FC}\unicode[STIX]{x1D6FE}=\unicode[STIX]{x1D6FD}^{2}$ are those with a constant principal curvature.

In the non-tubular case $\unicode[STIX]{x1D6FF}^{2}:=\unicode[STIX]{x1D6FD}^{2}-\unicode[STIX]{x1D6FC}\unicode[STIX]{x1D6FE}\neq 0$ , we can now solve the factorization problem up to order and (geometrically irrelevant) scaling, hence obtaining a pair of Königs dual lifts $\unicode[STIX]{x1D70E}^{\pm }$ of sphere congruences $s^{\pm }$ .

If $\unicode[STIX]{x1D6FC}\neq 0$ , then $\mathfrak{k}^{+}\odot \mathfrak{k}^{-}=\frac{1}{4\unicode[STIX]{x1D6FC}}W$ , with $\mathfrak{k}^{\pm }:=\frac{1}{2\unicode[STIX]{x1D6FC}}\{(\unicode[STIX]{x1D6FC}\mathfrak{q}+\unicode[STIX]{x1D6FD}\mathfrak{p})\pm \unicode[STIX]{x1D6FF}\mathfrak{p}\}$ and $\unicode[STIX]{x1D70E}^{\pm }=\mathfrak{f}\pm \frac{1}{\unicode[STIX]{x1D6FF}}(\unicode[STIX]{x1D6FD}\mathfrak{f}-\unicode[STIX]{x1D6FC}\mathfrak{t})$ , yield the sought-after Königs dual lifts of sphere congruences $s^{\pm }:=\langle \unicode[STIX]{x1D70E}^{\pm }\rangle :\mathbb{Z}^{2}\rightarrow {\mathcal{L}}^{4}$ . By construction, the sphere congruences $s^{\pm }$ take values in (different) linear sphere complexes $\mathfrak{k}^{\pm }$ , $s^{\pm }\bot \mathfrak{k}^{\pm }$ . Note that $\mathfrak{k}^{\pm }$ and $\unicode[STIX]{x1D70E}^{\pm }$ become complex conjugate when $\unicode[STIX]{x1D6FC}\unicode[STIX]{x1D6FE}-\unicode[STIX]{x1D6FD}^{2}>0$ .

If $\unicode[STIX]{x1D6FC}=0$ , then $\unicode[STIX]{x1D6FD}\neq 0$ and $\mathfrak{k}^{+}\odot \mathfrak{k}^{-}=\frac{1}{2\unicode[STIX]{x1D6FD}}W$ , with $\mathfrak{k}^{-}:=\mathfrak{p}$ and $\mathfrak{k}^{+}:=\mathfrak{q}+\frac{\unicode[STIX]{x1D6FE}}{2\unicode[STIX]{x1D6FD}}\mathfrak{p}$ . In this case, not too surprisingly, we recover the constant mean curvature net $\unicode[STIX]{x1D70E}^{-}=\mathfrak{f}$ together with its mean curvature sphere congruence $\unicode[STIX]{x1D70E}^{+}=\mathfrak{t}+H\,\mathfrak{f}$ (cf. [Reference Burstall, Hertrich-Jeromin, Rossman and Santos6, Definition 5.1] or [Reference Bobenko, Hertrich-Jeromin and Lukyanenko4, Definition 4.1]) as a pair of enveloped sphere congruences with Königs dual lifts. Again, $s^{\pm }$ take values in the linear sphere complexes given by $\mathfrak{k}^{\pm }$ .

Thus, we have proved the following.

In particular, as parallel nets in a space form are obtained from space form projections $(\mathfrak{f},\mathfrak{t})$ and $(\tilde{\mathfrak{f}},\tilde{\mathfrak{t}})$ of the same Legendre map $f$ with respect to bases $(\mathfrak{q},\mathfrak{p})$ and $(\tilde{\mathfrak{q}},\tilde{\mathfrak{p}})$ that are related by an orthogonal transformation of their common plane, we have not too surprisingly also learned:

3 Discrete $\unicode[STIX]{x1D6FA}$ -surfaces and their Calapso deformation

Recall that a discrete Legendre map is a line congruence $\mathbb{Z}^{2}\ni i\mapsto f_{i}\subset {\mathcal{L}}^{4}\subset \mathbb{P}(\mathbb{R}^{4,2})$ , so that adjacent lines share a (unique) curvature sphere, $f_{i}\cap f_{j}=\unicode[STIX]{x1D705}_{ij}\in {\mathcal{L}}^{4}$ (cf. [Reference Bobenko and Suris2, Definition 3.23]). In Theorem 2.8, we see that non-tubular linear Weingarten nets lift to Legendre maps that are spanned by pairs of sphere congruences admitting Königs dual lifts; that is, they lift to $\unicode[STIX]{x1D6FA}$ -nets of Lie sphere geometry.

For regularity, we assume, as for the principal net $\mathfrak{f}$ of a space form projection, that the spheres at different vertices of an elementary quadrilateral do not touch; that is, $d\unicode[STIX]{x1D70E}^{\pm }$ and $\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D70E}^{\pm }$ never become isotropic. Hence, the endpoints of an edge of $s^{\pm }$ span a two-dimensional Minkowski space, and the vertices of any face of $s^{\pm }$ span a three-dimensional space with nondegenerate induced inner product. We also exclude umbilical faces, where the curvature spheres of the incident edges all coincide.

As an immediate consequence of this definition, the sphere congruences $s^{\pm }$ are Ribaucour sphere congruences in the sense of [Reference Bobenko and Suris2, Definition 3.27]: both sphere congruences $s^{\pm }$ have planar faces.

Moreover, $s^{\pm }:\mathbb{Z}^{2}\rightarrow {\mathcal{L}}^{4}$ are isothermic sphere congruences as Königs nets in the Lie quadric.Footnote ¹⁰ To see that $s^{\pm }$ are indeed Königs nets in $\mathbb{P}(\mathbb{R}^{4,2})$ , we employ a characterization of Königs nets in terms of their diagonal vertex starsFootnote ¹¹ (cf. [Reference Bobenko and Suris2, Theorem 2.27]). Since the Königs dual lifts $\unicode[STIX]{x1D70E}^{\pm }$ of $s^{\pm }$ are Königs nets (in $\mathbb{R}^{4,2}$ ), their diagonal vertex stars lie in three-dimensional (affine) subspaces of $\mathbb{R}^{4,2}$ . Consequently, the diagonal vertex stars of $s^{\pm }$ span four-dimensional (linear) subspaces of $\mathbb{R}^{4,2}$ , and hence lie in three-dimensional (projective) subspaces of $\mathbb{P}(\mathbb{R}^{4,2})$ . To summarize, we have the following.

Below, we see that the sphere congruences $s^{\pm }$ come with a cross ratio factorizing edge labeling as well as their respective isothermic loops of flat connections (cf. [Reference Doliwa12, Definition 4 and Proposition 10] and [Reference Burstall, Hertrich-Jeromin, Rossman and Santos6, Definition 2.1 and Lemma 2.5]).

The definition of an $\unicode[STIX]{x1D6FA}$ -net aims to provide a discrete analogue of smooth $\unicode[STIX]{x1D6FA}$ -surfaces, the genericFootnote ¹² deformable surfaces of Lie geometry (see [Reference Blaschke1, Section 85] or [Reference Musso and Nicolodi16]). In the smooth case, these come in two classes: the ones originally investigated by Demoulin [Reference Demoulin10, Reference Demoulin11], which are given by a real pair of isothermic sphere congruences, and the ones where the enveloped isothermic sphere congruences become complex conjugate. In the discrete case, these two classes merge and Definition 3.1 captures the entire class without the need to allow for complex conjugate pairs of sphere congruences.

To prove this lemma, we investigate how to construct a new pair of isothermic sphere congruences from a given one. Thus, let $f=s^{+}\oplus s^{-}$ , with a pair of isothermic sphere congruences $s^{\pm }$ that have Königs dual lifts $\unicode[STIX]{x1D70E}^{\pm }$ . Hence, there is a real function $r$ so that $\unicode[STIX]{x1D70E}^{\pm }$ satisfy the Christoffel formula

(3.1) $$\begin{eqnarray}d\unicode[STIX]{x1D70E}_{ij}^{-}=r_{i}r_{j}\,d\unicode[STIX]{x1D70E}_{ij}^{+}\quad \Leftrightarrow \quad d\unicode[STIX]{x1D70E}_{ij}^{+}=\frac{1}{r_{i}r_{j}}\,d\unicode[STIX]{x1D70E}_{ij}^{-}\end{eqnarray}$$

and $\unicode[STIX]{x1D707}^{\pm }=r^{\pm 1}\unicode[STIX]{x1D70E}^{\pm }$ are Moutard lifts of $s^{\pm }$ (see [Reference Bobenko and Suris2, Theorems 2.31 and 2.32]).Footnote ¹³ Note that the Moutard equations [Reference Bobenko and Suris2, (2.44)] for $\unicode[STIX]{x1D707}^{\pm }$ are nothing but the integrability conditionsFootnote ¹⁴ for (3.1),

$$\begin{eqnarray}(r_{k}^{\pm 1}-r_{i}^{\pm 1})\{r_{l}^{\pm 1}\unicode[STIX]{x1D70E}_{l}^{\pm }-r_{j}^{\pm 1}\unicode[STIX]{x1D70E}_{j}^{\pm }\}=(r_{l}^{\pm 1}-r_{j}^{\pm 1})\{r_{k}^{\pm 1}\unicode[STIX]{x1D70E}_{k}^{\pm }-r_{i}^{\pm 1}\unicode[STIX]{x1D70E}_{i}^{\pm }\}.\end{eqnarray}$$

Now, for any two constants $c^{+}\neq c^{-}$ ,

(3.2) $$\begin{eqnarray}\tilde{\unicode[STIX]{x1D70E}}^{\pm }:=\frac{1}{r+c^{\mp }}\{\unicode[STIX]{x1D70E}^{-}+c^{\pm }r\unicode[STIX]{x1D70E}^{+}\}\end{eqnarray}$$

yields Königs dual lifts of another pair of isothermic sphere congruences spanning the same $\unicode[STIX]{x1D6FA}$ -net. The fact that $\tilde{\unicode[STIX]{x1D70E}}^{\pm }$ are edge-parallel,

$$\begin{eqnarray}(r_{i}+c^{-})(r_{j}+c^{-})\,d\tilde{\unicode[STIX]{x1D70E}}_{ij}^{+}=(r_{i}+c^{+})(r_{j}+c^{+})\,d\tilde{\unicode[STIX]{x1D70E}}_{ij}^{-},\end{eqnarray}$$

hinges on the Christoffel equation (3.1), while the Königs duality of $\tilde{\unicode[STIX]{x1D70E}}^{\pm }$ ,

$$\begin{eqnarray}\frac{(r_{i}+c^{-})(r_{k}+c^{-})}{r_{k}-r_{i}}\,\unicode[STIX]{x1D6FF}\tilde{\unicode[STIX]{x1D70E}}_{ik}^{+}=\frac{(r_{j}+c^{+})(r_{l}+c^{+})}{r_{l}-r_{j}}\,\unicode[STIX]{x1D6FF}\tilde{\unicode[STIX]{x1D70E}}_{jl}^{-},\end{eqnarray}$$

follows from the Königs duality [Reference Bobenko and Suris2, (2.40)] of $\unicode[STIX]{x1D70E}^{\pm }$ and the Moutard equations [Reference Bobenko and Suris2, (2.44)] for $\unicode[STIX]{x1D707}^{\pm }$ ,

(3.3) $$\begin{eqnarray}\displaystyle & \displaystyle \frac{r_{i}^{\pm 1}r_{k}^{\pm 1}}{r_{k}^{\pm 1}-r_{i}^{\pm 1}}\,\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D70E}_{ik}^{\pm }=\frac{1}{r_{l}^{\pm 1}-r_{j}^{\pm 1}}\,\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D70E}_{jl}^{\mp }\qquad \text{and} & \displaystyle \nonumber\\ \displaystyle & \displaystyle \frac{1}{r_{k}^{\pm 1}-r_{i}^{\pm 1}}\,\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D707}_{ik}^{\pm }=\frac{1}{r_{l}^{\pm 1}-r_{j}^{\pm 1}}\,\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D707}_{jl}^{\pm }. & \displaystyle\end{eqnarray}$$

These computations also yield $\tilde{r}:=\frac{r+c^{-}}{r+c^{+}}$ as a rescaling for Moutard lifts $\tilde{\unicode[STIX]{x1D707}}^{\pm }=\tilde{r}^{\pm 1}\tilde{\unicode[STIX]{x1D70E}}^{\pm }$ of the new isothermic sphere congruences $\tilde{s}^{\pm }=\langle \tilde{\unicode[STIX]{x1D70E}}^{\pm }\rangle$ .

Thus, given an $\unicode[STIX]{x1D6FA}$ -net $f=s^{+}\oplus s^{-}$ in terms of a pair of isothermic sphere congruences $s^{\pm }$ with Königs dual lifts $\unicode[STIX]{x1D70E}^{\pm }$ , another such pair $\tilde{s}^{\pm }$ can be constructed to pass through any two spanning spheres at a given initial point $0\in \mathbb{Z}^{2}$ by choosing the constants $c^{\pm }$ appropriately. We have therefore proved Lemma 3.3.

Clearly, choosing $c^{\pm }$ complex conjugate in (3.2), say $c^{\pm }=\pm i$ , a complex conjugate pair

$$\begin{eqnarray}\tilde{\unicode[STIX]{x1D70E}}^{\pm }=\frac{1}{r\mp i}\{\unicode[STIX]{x1D70E}^{-}\pm ir\unicode[STIX]{x1D70E}^{+}\}\end{eqnarray}$$

of Königs dual lifts in $\mathbb{R}^{4,2}\otimes \mathbb{C}\cong \mathbb{C}^{6}$ is obtained from a real pair $\unicode[STIX]{x1D70E}^{\pm }$ . To see that, conversely, a real pair can be obtained from a complex conjugate pair, $\unicode[STIX]{x1D70E}^{+}=\overline{\unicode[STIX]{x1D70E}^{-}}$ , first note that we can, without loss of generality, assume that $|r|^{2}\equiv 1$ . On any edge, $|r_{i}|^{2}|r_{j}|^{2}=1$ , by (3.1), when $\unicode[STIX]{x1D70E}^{\pm }$ are complex conjugate; hence, $|r|^{2}\equiv 1$ as soon as the scaling of $r$ is chosen so that $|r_{0}|^{2}=1$ at some initial point $0\in \mathbb{Z}^{2}$ . Now, we obtain a purely imaginary pair

$$\begin{eqnarray}\tilde{\unicode[STIX]{x1D70E}}^{\pm }=\frac{\pm i}{|r\mp i|^{2}}\{(\unicode[STIX]{x1D70E}^{+}+\unicode[STIX]{x1D70E}^{-})\pm i\,(r\unicode[STIX]{x1D70E}^{+}-\bar{r}\unicode[STIX]{x1D70E}^{-})\},\end{eqnarray}$$

by choosing $c^{\pm }=\pm i$ again. Hence, $\mp i\tilde{\unicode[STIX]{x1D70E}}^{\pm }$ define Königs dual liftsFootnote ¹⁵ of a real $\unicode[STIX]{x1D6FA}$ -net and we conclude the following.

Thus, our Definition 3.1 encompasses also the linear Weingarten nets with $\unicode[STIX]{x1D6FC}\unicode[STIX]{x1D6FE}-\unicode[STIX]{x1D6FD}^{2}>0$ by Theorem 2.8.

The transformations of the enveloped isothermic sphere congruences of an $\unicode[STIX]{x1D6FA}$ -net give rise to transformations of the net. As the isothermic transformation theory of discrete isothermic nets hinges on the isothermic loop of flat connections of the net, which, in turn, depends on the cross ratio factorizing function of the net, we start by getting our hands on this function.

First, observe that on rewriting (3.1) we obtain (a lift of) the edge curvature sphere

(3.4) $$\begin{eqnarray}\unicode[STIX]{x1D705}_{ij}=r_{i}r_{j}\unicode[STIX]{x1D70E}_{i}^{+}-\unicode[STIX]{x1D70E}_{i}^{-}=r_{i}r_{j}\unicode[STIX]{x1D70E}_{j}^{+}-\unicode[STIX]{x1D70E}_{j}^{-}\in f_{i}\cap f_{j}\end{eqnarray}$$

of the Legendre map $f$ on an edge $(ij)$ (cf. (2.5)). Using that $\unicode[STIX]{x1D705}_{ij}\bot \unicode[STIX]{x1D70E}_{i}^{\pm },\unicode[STIX]{x1D70E}_{j}^{\pm }$ , we learn that

(3.5) $$\begin{eqnarray}(\unicode[STIX]{x1D70E}_{i}^{-}\unicode[STIX]{x1D70E}_{j}^{+})=(\unicode[STIX]{x1D70E}_{i}^{+}\unicode[STIX]{x1D70E}_{j}^{-})=(\unicode[STIX]{x1D707}_{i}^{\pm }\unicode[STIX]{x1D707}_{j}^{\pm })=:a_{ij}.\end{eqnarray}$$

Clearly, $a$ is an edge function, $a_{ij}=a_{ji}$ . Rearranging the Moutard equation for $\unicode[STIX]{x1D707}^{+}$ from (3.3) suitably and taking norm squares,

$$\begin{eqnarray}\frac{\unicode[STIX]{x1D707}_{k}^{+}}{r_{k}-r_{i}}-\frac{\unicode[STIX]{x1D707}_{l}^{+}}{r_{l}-r_{j}}=\frac{\unicode[STIX]{x1D707}_{i}^{+}}{r_{k}-r_{i}}-\frac{\unicode[STIX]{x1D707}_{j}^{+}}{r_{l}-r_{j}}\quad \Rightarrow \quad \frac{a_{ij}-a_{kl}}{(r_{k}-r_{i})(r_{l}-r_{j})}=0,\end{eqnarray}$$

we also learn that $a$ is an edge labeling in the sense of [Reference Bobenko and Suris2, Definition 4.4]; that is, it is constant across opposite edges of faces, $a_{ij}=a_{kl}$ (cf. [Reference Bobenko and Suris2, Theorem 4.29]).

To see that $a$ is indeed a cross ratio factorizing function (cf. [Reference Hertrich-Jeromin14, Section 5.7.2] or [Reference Doliwa12, Proposition 10]), first note that the vertices of a face of either isothermic sphere congruence $s^{\pm }$ lie on a conic in a projective plane since $s^{\pm }$ are Ribaucour sphere congruences in the sense of [Reference Bobenko and Suris2, Definition 3.27]. Fixing three points $s_{i}^{\pm }$ , $s_{j}^{\pm }$ and $s_{l}^{\pm }$ of a face, the cross ratio $q=[s_{i}^{\pm },s_{j}^{\pm },s_{k}^{\pm },s_{l}^{\pm }]\in \mathbb{R}\cup \{\infty \}$ bijectively parametrizes the conic via

(3.6) $$\begin{eqnarray}s_{k}^{\pm }=\left\langle \unicode[STIX]{x1D70E}_{i}^{\pm }+\frac{1}{(\unicode[STIX]{x1D70E}_{j}^{\pm }\unicode[STIX]{x1D70E}_{l}^{\pm })}\left\{(q-1)(\unicode[STIX]{x1D70E}_{i}^{\pm }\unicode[STIX]{x1D70E}_{l}^{\pm })\unicode[STIX]{x1D70E}_{j}^{\pm }+\left(\frac{1}{q}-1\right)(\unicode[STIX]{x1D70E}_{i}^{\pm }\unicode[STIX]{x1D70E}_{j}^{\pm })\unicode[STIX]{x1D70E}_{l}^{\pm }\right\}\right\rangle ,\end{eqnarray}$$

where $\unicode[STIX]{x1D70E}^{\pm }$ is any lift of $s^{\pm }$ (cf. [Reference Doliwa12, (B.7)]Footnote ¹⁶ or [Reference Burstall, Hertrich-Jeromin, Rossman and Santos6, Section 2.1]). It is now straightforward to verify that $q=a_{ij}/a_{jk}$ , as, for Moutard lifts $\unicode[STIX]{x1D707}^{\pm }$ of $s^{\pm }$ and taking inner products with $\unicode[STIX]{x1D707}_{j}^{\pm }$ in (3.3),

(3.7) $$\begin{eqnarray}\unicode[STIX]{x1D707}_{k}^{\pm }=\unicode[STIX]{x1D707}_{i}^{\pm }-\frac{a_{ij}-a_{jk}}{(\unicode[STIX]{x1D707}_{j}^{\pm }\unicode[STIX]{x1D707}_{l}^{\pm })}\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D707}_{jl}^{\pm }=\unicode[STIX]{x1D707}_{i}^{\pm }+\frac{r_{k}^{\pm 1}-r_{i}^{\pm 1}}{r_{l}^{\pm 1}-r_{j}^{\pm 1}}\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D707}_{jl}^{\pm }.\end{eqnarray}$$

In summary, we have the following.

Lemma 3.5. The edge labeling $a$ of (3.5) factorizes the cross ratios of faces of either isothermic sphere congruence,

$$\begin{eqnarray}[s_{i}^{\pm },s_{j}^{\pm },s_{k}^{\pm },s_{l}^{\pm }]=\frac{a_{ij}}{a_{jk}}.\end{eqnarray}$$

In particular, the edge labeling $a$ of (3.5) is, up to constant rescaling, a well-defined Lie-geometric invariant of each isothermic sphere congruence, $s^{+}$ and $s^{-}$ .

We are now in a position to exploit the zero-curvature representation of discrete isothermic nets. We begin with a rapid review of the formalism of metric connections on the discrete vector bundle $\mathbb{Z}^{2}\times \mathbb{R}^{4,2}\rightarrow \mathbb{Z}^{2}$ (cf. [Reference Burstall, Hertrich-Jeromin, Rossman and Santos6, Definition 2.4]): a metric connection $\unicode[STIX]{x1D6E4}$ on $\mathbb{Z}^{2}\times \mathbb{R}^{4,2}$ assigns to each oriented edge $(ij)$ a linear isometry $\unicode[STIX]{x1D6E4}_{ij}:\{j\}\times \mathbb{R}^{4,2}\rightarrow \{i\}\times \mathbb{R}^{4,2}$ such that $\unicode[STIX]{x1D6E4}_{ji}=\unicode[STIX]{x1D6E4}_{ij}^{-1}$ , for all edges $(ij)$ . In this context, a gauge transformation is a map $i\mapsto T_{i}:\mathbb{Z}^{2}\rightarrow \text{SO}(4,2)$ , where we view $T_{i}$ as a linear isometry of $\{i\}\times \mathbb{R}^{4,2}$ . Gauge transformations $T$ act on connections $\unicode[STIX]{x1D6E4}$ by

$$\begin{eqnarray}(T\unicode[STIX]{x1D6E4})_{ij}=T_{i}\unicode[STIX]{x1D6E4}_{ij}T_{j}^{-1}.\end{eqnarray}$$

A connection $\unicode[STIX]{x1D6E4}$ is flat if, on every elementary quadrilateral $(ijkl)$ , we have

$$\begin{eqnarray}\unicode[STIX]{x1D6E4}_{ij}\unicode[STIX]{x1D6E4}_{jk}\unicode[STIX]{x1D6E4}_{kl}\unicode[STIX]{x1D6E4}_{li}=\text{id, or, equivalently, }\unicode[STIX]{x1D6E4}_{ij}\unicode[STIX]{x1D6E4}_{jk}=\unicode[STIX]{x1D6E4}_{il}\unicode[STIX]{x1D6E4}_{lk}.\end{eqnarray}$$

In this case, we can trivialize the connection. That is, there is a gauge transformation $T$ with $T\unicode[STIX]{x1D6E4}=\operatorname{id}$ :

$$\begin{eqnarray}\unicode[STIX]{x1D6E4}_{ij}=T_{i}^{-1}T_{j},\end{eqnarray}$$

for all edges $(ij)$ . Clearly, any gauge transform of a flat connection is also flat.

With this understood, we are able to introduce the isothermic loop of connections of an isothermic sphere congruence.

Definition 3.6. Let $s:\mathbb{Z}^{2}\rightarrow {\mathcal{L}}^{4}$ be an isothermic sphere congruence with cross ratio factorizing edge labeling $a$ . The isothermic loop of connections $(\unicode[STIX]{x1D6E4}(t))_{t\in \mathbb{R}}$ of $s$ is a one-parameter family of connections given by

$$\begin{eqnarray}\unicode[STIX]{x1D6E4}_{ij}(t)x:=\left\{\begin{array}{@{}ll@{}}(1-ta_{ij})\,x,\quad & \text{if }x\in s_{i},\\ x,\quad & \text{if }x\in (s_{i}\oplus s_{j})^{\bot },\\ \displaystyle \frac{1}{1-ta_{ij}}\,x,\quad & \text{if }x\in s_{j}.\end{array}\right.\end{eqnarray}$$

Clearly, $\unicode[STIX]{x1D6E4}_{ji}(t)\unicode[STIX]{x1D6E4}_{ij}(t)=\operatorname{id}$ away from the singularity $t=\frac{1}{a_{ij}}$ , so that $\unicode[STIX]{x1D6E4}(t)$ defines indeed a connection on the discrete vector bundle $\mathbb{Z}^{2}\times \mathbb{R}^{4,2}$ . When $\unicode[STIX]{x1D70E}$ denotes any lift of the isothermic sphere congruence $s$ , then

$$\begin{eqnarray}\unicode[STIX]{x1D6E4}_{ij}(t)x=x+\frac{ta_{ij}}{(\unicode[STIX]{x1D70E}_{i}\unicode[STIX]{x1D70E}_{j})}\left\{\frac{1}{1-ta_{ij}}(x\unicode[STIX]{x1D70E}_{i})\unicode[STIX]{x1D70E}_{j}-(x\unicode[STIX]{x1D70E}_{j})\unicode[STIX]{x1D70E}_{i}\right\}.\end{eqnarray}$$

Note the structural similarity to (3.6)—indeed, parallel sections of $\unicode[STIX]{x1D6E4}(t)$ in the Lie quadric yield Darboux transforms of $s$ : the corresponding condition on edges realizes a propagation by cross ratio $ta$ , and thus yields a discrete version of Darboux’s linear system (cf. [Reference Burstall, Hertrich-Jeromin, Rossman and Santos6, Definition 4.1]). For both Darboux and Calapso transformations of an isothermic sphere congruence, flatness of the connections $\unicode[STIX]{x1D6E4}(t)$ is paramount. Thus, returning to our context of an $\unicode[STIX]{x1D6FA}$ -net $f$ enveloped by a pair $s^{\pm }$ of isothermic sphere congruences, we aim to convince ourselves that the connections $\unicode[STIX]{x1D6E4}^{+}(t)$ of $s^{+}$ are flat (cf. [Reference Burstall, Hertrich-Jeromin, Rossman and Santos6, Lemma 2.5]).

Thus, we wish to show that, on an elementary quadrilateral $(ijkl)$ and as long as $t\neq \frac{1}{a_{ij}},\frac{1}{a_{jk}}$ ,

$$\begin{eqnarray}\unicode[STIX]{x1D6E4}_{ij}^{+}(t)\unicode[STIX]{x1D6E4}_{jk}^{+}(t)=\unicode[STIX]{x1D6E4}_{il}^{+}(t)\unicode[STIX]{x1D6E4}_{lk}^{+}(t).\end{eqnarray}$$

Having obtained the cross ratio factorizing property of the edge labeling $a$ in Lemma 3.5 above, the relevant part of the proof of [Reference Burstall, Hertrich-Jeromin, Rossman and Santos6, Lemma 2.5] applies, asserting correctness of the claim.

For autonomy, we outline a simple algebraic proof here. First, observe that, clearly,

$$\begin{eqnarray}\unicode[STIX]{x1D6E4}_{ij}^{+}(t)\unicode[STIX]{x1D6E4}_{jk}^{+}(t)\,x=\frac{1-ta_{jk}}{1-ta_{ij}}\,x\quad \text{for }x\in s_{j}^{+},\end{eqnarray}$$

and a straightforward computation, using the Moutard lift $\unicode[STIX]{x1D707}^{+}=r\unicode[STIX]{x1D70E}^{+}$ of $s^{+}$ and (3.7), shows that

$$\begin{eqnarray}\unicode[STIX]{x1D6E4}_{ij}^{+}(t)\unicode[STIX]{x1D6E4}_{jk}^{+}(t)\,x=\frac{1-ta_{ij}}{1-ta_{jk}}\,x\quad \text{for }x\in s_{l}^{+}.\end{eqnarray}$$

Since $\unicode[STIX]{x1D6E4}_{ij}^{+}(t)\unicode[STIX]{x1D6E4}_{jk}^{+}(t)\in \text{SO}(\mathbb{R}^{4,2})$ acts trivially on $(s_{i}^{+}\oplus s_{j}^{+}\oplus s_{l}^{+})^{\bot }$ , it must act trivially on $(s_{j}^{+}\oplus s_{l}^{+})^{\bot }$ , and flatness of $\unicode[STIX]{x1D6E4}^{+}(t)$ follows by symmetry and the fact that $a$ is an edge labeling.Footnote ¹⁷

Instead of using a symmetry argument to deduce the flatness of the connections $\unicode[STIX]{x1D6E4}^{-}(t)$ , we employ a gauge theoretic argument. We see that $\unicode[STIX]{x1D6E4}^{-}(t)$ and $\unicode[STIX]{x1D6E4}^{+}(t)$ are gauge equivalent; hence, the flatness of $\unicode[STIX]{x1D6E4}^{+}(t)$ from Lemma 3.7 implies flatness of $\unicode[STIX]{x1D6E4}^{-}(t)$ .

To this end, let $g$ be any function on $\mathbb{Z}^{2}$ , and consider the following gauge transform of $\unicode[STIX]{x1D6E4}^{-}(t)$ :

(3.8) $$\begin{eqnarray}\displaystyle & \displaystyle \unicode[STIX]{x1D6E4}_{ij}^{g}(t):=(A^{g}\unicode[STIX]{x1D6E4}^{-})_{ij}(t)=A_{i}^{g}(t)\unicode[STIX]{x1D6E4}_{ij}^{-}(t)A_{j}^{g}(-t),\quad \text{for} & \displaystyle \nonumber\\ \displaystyle & \displaystyle A^{g}(t):=1-tg\,(\unicode[STIX]{x1D70E}^{+}\wedge \unicode[STIX]{x1D70E}^{-})=\exp (-tg\,\unicode[STIX]{x1D70E}^{+}\wedge \unicode[STIX]{x1D70E}^{-}), & \displaystyle\end{eqnarray}$$

where we identify $\mathfrak{s}o(4,1)\cong \bigwedge ^{2}\mathbb{R}^{4,2}$ via $(x\wedge y)z=(xz)y-(yz)x$ . Then, any of the $\unicode[STIX]{x1D6E4}^{g}(t)$ is a metric connection on the discrete vector bundle $\mathbb{Z}^{2}\times \mathbb{R}^{4,2}$ .

Next, note that the connections $\unicode[STIX]{x1D6E4}^{g}(t)$ have the same shape as the connections $\unicode[STIX]{x1D6E4}^{\pm }(t)$ of the isothermic loops of connections of $s^{\pm }$ : first, $\unicode[STIX]{x1D6E4}_{ij}^{g}(t)$ acts trivially on the curvature sphere $f_{i}\cap f_{j}$ ; second, using the lift (3.4) of the curvature sphere $\langle \unicode[STIX]{x1D705}_{ij}\rangle =f_{i}\cap f_{j}$ , we learn that $\unicode[STIX]{x1D6E4}_{ij}^{g}(t)$ has eigenspacesFootnote ¹⁸

$$\begin{eqnarray}\displaystyle & \displaystyle x_{ij}:=A_{j}^{g}\left(\frac{1}{a_{ij}}\right)s_{i}^{-}=\langle \unicode[STIX]{x1D70E}_{i}^{-}+g_{j}\unicode[STIX]{x1D705}_{ij}\rangle \qquad \text{and} & \displaystyle \nonumber\end{eqnarray}$$

$$\begin{eqnarray}\displaystyle & \displaystyle x_{ji}:=A_{i}^{g}\left(\frac{1}{a_{ij}}\right)s_{j}^{-}=\langle \unicode[STIX]{x1D70E}_{j}^{-}+g_{i}\unicode[STIX]{x1D705}_{ij}\rangle & \displaystyle \nonumber\end{eqnarray}$$

with eigenvalues $(1-ta_{ij})^{\pm 1}$ , respectively, since $(\unicode[STIX]{x1D70E}^{+}\wedge \unicode[STIX]{x1D70E}^{-})_{j}\unicode[STIX]{x1D70E}_{i}^{-}=(\unicode[STIX]{x1D70E}^{+}\wedge \unicode[STIX]{x1D70E}^{-})_{i}\unicode[STIX]{x1D70E}_{j}^{-}=-a_{ij}\unicode[STIX]{x1D705}_{ij}$ ; finally, $\unicode[STIX]{x1D6E4}_{ij}^{g}(t)$ acts trivially on $(f_{i}+f_{j})^{\bot }$ —hence,

$$\begin{eqnarray}\unicode[STIX]{x1D6E4}_{ij}^{g}(t)x=\left\{\begin{array}{@{}ll@{}}(1-ta_{ij})\,x,\quad & \text{if }x\in x_{ij}\subset f_{i},\\ x,\quad & \text{if }x\in (x_{ij}\oplus x_{ji})^{\bot },\\ \displaystyle \frac{1}{1-ta_{ij}}\,x,\quad & \text{if }x\in x_{ji}\subset f_{j}.\end{array}\right.\end{eqnarray}$$

In particular, $x_{ij}=s_{i}^{+}$ and $x_{ji}=s_{j}^{+}$ for $g\equiv 1$ , showing that $\unicode[STIX]{x1D6E4}^{+}=\unicode[STIX]{x1D6E4}^{1}$ , so that flatness of $\unicode[STIX]{x1D6E4}^{+}(t)$ from Lemma 3.7 yields flatness of $\unicode[STIX]{x1D6E4}^{-}(t)=\unicode[STIX]{x1D6E4}^{0}(t)$ , and hence of all connections $\unicode[STIX]{x1D6E4}^{g}(t)$ .

Note that the gauge family of loops of connections $\unicode[STIX]{x1D6E4}^{g}$ also comprises the isothermic loops of the sphere congruences $\tilde{s}^{\pm }=\langle \tilde{\unicode[STIX]{x1D70E}}^{\pm }\rangle$ of (3.2): $\tilde{s}^{\pm }$ and $s^{\pm }$ share the same edge labeling $a$ , and

$$\begin{eqnarray}\displaystyle & \displaystyle x_{ij}=\langle \unicode[STIX]{x1D70E}_{i}^{-}+c^{\pm }r_{i}\unicode[STIX]{x1D70E}_{i}^{+}\rangle =\tilde{s}_{i}^{\pm }\qquad \text{and} & \displaystyle \nonumber\end{eqnarray}$$

$$\begin{eqnarray}\displaystyle & \displaystyle x_{ji}=\langle \unicode[STIX]{x1D70E}_{j}^{-}+c^{\pm }r_{j}\unicode[STIX]{x1D70E}_{j}^{+}\rangle =\tilde{s}_{j}^{\pm }\quad \text{for }g=\frac{c^{\pm }}{r+c^{\pm }}. & \displaystyle \nonumber\end{eqnarray}$$

In particular, when $s^{\pm }$ have a complex conjugate pair of Königs dual lifts, the gauge family contains real connections. A simple choice is given by $g\equiv \frac{1}{2}$ : using that $r_{i}r_{j}$ is unitary, $r_{i}r_{j}=e^{-2i\unicode[STIX]{x1D6FC}}$ , we find that $\unicode[STIX]{x1D6E4}_{ij}^{g}(t)$ has real eigenspaces

$$\begin{eqnarray}x_{ij}=\langle e^{i\unicode[STIX]{x1D6FC}}(r_{i}r_{j}\unicode[STIX]{x1D70E}_{i}^{+}+\unicode[STIX]{x1D70E}_{i}^{-})\rangle \qquad \text{and}\qquad x_{ji}=\langle e^{i\unicode[STIX]{x1D6FC}}(r_{i}r_{j}\unicode[STIX]{x1D70E}_{j}^{+}+\unicode[STIX]{x1D70E}_{j}^{-})\rangle .\end{eqnarray}$$

By their flatness, all connections $\unicode[STIX]{x1D6E4}^{g}(t)$ can be trivialized: there are (away from singularities) maps

(3.9) $$\begin{eqnarray}T^{g}(t):\mathbb{Z}^{2}\rightarrow \text{SO}\,(\mathbb{R}^{4,2})\text{ so that }(T^{g}\unicode[STIX]{x1D6E4}^{g})_{ij}(t)=T_{i}^{g}(t)\unicode[STIX]{x1D6E4}_{ij}^{g}(t)(T_{j}^{g}(t))^{-1}=\operatorname{id}\end{eqnarray}$$

on every edge $(ij)$ of $\mathbb{Z}^{2}$ . Further, as the connections are gauge equivalent via (3.8), the gauge transformations $T^{g}(t)$ are, up to constants of integration, related by $T^{-}(t)=(T^{g}A^{g})(t).$ In particular, recall that the Calapso transformation $T$ of an isothermic surface (in a quadric of any signature) is obtained by trivializing the loop of isothermic connections. See [Reference Burstall, Hertrich-Jeromin, Rossman and Santos6, Definition 2.7] or [Reference Burstall, Donaldson, Pedit and Pinkall5, Theorem 4.15], where this is treated in a rather general setting. In the present case, the Calapso transformations $T^{\pm }$ of the pair $s^{\pm }$ of isothermic sphere congruences are related by $T^{-}=T^{+}A^{1}$ . Thus, as $A_{i}^{g}(t)$ acts trivially on the contact element $f_{i}$ , any of the gauge transformations $T^{g}$ realizes the Calapso transforms $T^{\pm }(t)s^{\pm }=T^{g}(t)s^{\pm }$ of both isothermic sphere congruences $s^{\pm }$ spanning an $\unicode[STIX]{x1D6FA}$ -net. This motivates the following definition (cf. [Reference Burstall, Hertrich-Jeromin and Rossman7, Section 3] and [Reference Burstall, Hertrich-Jeromin, Rossman and Santos6, Lemma 2.7]).

Theorem and Definition 3.9. Let $f=s^{+}\oplus s^{-}$ be an $\unicode[STIX]{x1D6FA}$ -net spanned by a pair of isothermic sphere congruences $s^{\pm }$ admitting Königs dual lifts $\unicode[STIX]{x1D70E}^{\pm }$ , and let $T^{g}(t)$ be trivializing gauge transformations (3.9) of the connections $\unicode[STIX]{x1D6E4}^{g}(t)$ of (3.8). Then, the deformation

$$\begin{eqnarray}t\mapsto f(t):=T^{g}(t)f=T^{\pm }(t)f\end{eqnarray}$$

does not depend on the choice of gauge function $g$ . It is called the Calapso deformation of the $\unicode[STIX]{x1D6FA}$ -net $f$ . The Calapso transforms $f(t)$ of $f$ are $\unicode[STIX]{x1D6FA}$ -nets with enveloped isothermic sphere congruences $s^{\pm }(t)=T^{g}(t)s^{\pm }=T^{\pm }(t)s^{\pm }$ and Königs dual lifts $\unicode[STIX]{x1D70E}^{\pm }(t)=T^{g}(t)\unicode[STIX]{x1D70E}^{\pm }$ .

Only the last claim of the theorem—that $f(t)=(s^{+}\oplus s^{-})(t)$ is an $\unicode[STIX]{x1D6FA}$ -net with $s^{\pm }(t)$ admitting Königs dual lifts—requires further thought. As the Calapso transform does not depend on the choice of $g$ , we may, without loss of generality, assume $g\equiv 0$ ; that is, $T^{g}=T^{-}$ .

Since $T^{-}(t):\mathbb{Z}^{2}\rightarrow O(\mathbb{R}^{4,2})$ , the Calapso transforms $f(t)$ of $f$ take values in the space of contact elements. To prove that $\unicode[STIX]{x1D70E}^{\pm }(t)$ are edge-parallel, and hence $f(t)$ satisfies the contact condition, we employ the lift (3.4) of the curvature spheres. Then, on any edge $(ij)$ ,

(3.10) $$\begin{eqnarray}\displaystyle r_{i}r_{j}d\unicode[STIX]{x1D70E}_{ij}^{+}(t) & = & \displaystyle T_{i}^{-}(t)\{\unicode[STIX]{x1D6E4}_{ij}^{-}(t)(\unicode[STIX]{x1D70E}_{j}^{-}+\unicode[STIX]{x1D705}_{ij})-(\unicode[STIX]{x1D70E}_{i}^{-}+\unicode[STIX]{x1D705}_{ij})\}\nonumber\\ \displaystyle & = & \displaystyle T_{i}^{-}(t)\{\unicode[STIX]{x1D6E4}_{ij}^{-}(t)\unicode[STIX]{x1D70E}_{j}^{-}-\unicode[STIX]{x1D70E}_{i}^{-}\}=d\unicode[STIX]{x1D70E}_{ij}^{-}(t).\end{eqnarray}$$

Thus, $\unicode[STIX]{x1D70E}^{\pm }(t)$ are edge-parallel and $f(t)$ is a Legendre map with curvature spheres

$$\begin{eqnarray}\langle \unicode[STIX]{x1D705}_{ij}(t)\rangle =\langle r_{i}r_{j}\unicode[STIX]{x1D70E}_{i}^{+}(t)-\unicode[STIX]{x1D70E}_{i}^{-}(t)\rangle =\langle r_{i}r_{j}\unicode[STIX]{x1D70E}_{j}^{+}(t)-\unicode[STIX]{x1D70E}_{j}^{-}(t)\rangle =f_{i}(t)\cap f_{j}(t).\end{eqnarray}$$

This also teaches us that $\unicode[STIX]{x1D707}^{\pm }(t):=r^{\pm 1}\unicode[STIX]{x1D70E}^{\pm }(t)$ with $r(t)=r$ yields Moutard lifts of $s^{\pm }(t)$ , since the Moutard equations (3.3) are just the integrability conditions of (3.1). Königs duality (away from umbilical faces) of $\unicode[STIX]{x1D70E}^{\pm }(t)$ (see (3.3)) now also follows directly from (3.10):

$$\begin{eqnarray}\displaystyle \displaystyle r_{i}r_{k}(r_{l}-r_{j})\,\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D70E}_{ik}^{+}(t) & = & \displaystyle r_{i}r_{k}r_{l}(d\unicode[STIX]{x1D70E}_{il}^{+}(t)+d\unicode[STIX]{x1D70E}_{lk}^{+}(t))-r_{i}r_{j}r_{k}(d\unicode[STIX]{x1D70E}_{ij}^{+}(t)+d\unicode[STIX]{x1D70E}_{jk}^{+}(t))\nonumber\\ \displaystyle \displaystyle & = & \displaystyle r_{k}(d\unicode[STIX]{x1D70E}_{ji}^{-}(t)+d\unicode[STIX]{x1D70E}_{il}^{-}(t))-r_{i}(d\unicode[STIX]{x1D70E}_{jk}^{-}(t)+d\unicode[STIX]{x1D70E}_{kl}^{-}(t))\nonumber\\ \displaystyle \displaystyle & = & \displaystyle (r_{k}-r_{i})\,\unicode[STIX]{x1D6FF}\unicode[STIX]{x1D70E}_{jl}^{-}(t).\nonumber\end{eqnarray}$$

This concludes the proof of Theorem 3.9.

Note that, in contrast to the function $r$ relating Königs duals and Moutard lifts that is invariant under the Calapso deformation, the edge labeling $a$ changes (cf. [Reference Hertrich-Jeromin14, Section 5.7.16] or [Reference Burstall, Hertrich-Jeromin, Rossman and Santos6, Lemma 2.7]):

$$\begin{eqnarray}a_{ij}(t)=(\unicode[STIX]{x1D707}_{i}^{\pm }(t)\unicode[STIX]{x1D707}_{j}^{\pm }(t))=(\unicode[STIX]{x1D707}_{i}^{\pm }\unicode[STIX]{x1D6E4}_{ij}^{\pm }\unicode[STIX]{x1D707}_{j}^{\pm })=\frac{1}{1-ta_{ij}}(\unicode[STIX]{x1D707}_{i}^{\pm }\unicode[STIX]{x1D707}_{j}^{\pm })=\frac{a_{ij}}{1-ta_{ij}}.\end{eqnarray}$$

4 Lawson transformation of linear Weingarten surfaces

In this section, we see how the Calapso deformation of Theorem 3.9 for $\unicode[STIX]{x1D6FA}$ -nets descends to a “Lawson transformation” for linear Weingarten nets. To this end, we need to investigate the effect of the deformation on the two linear sphere complexes that come with a linear Weingarten net. Thus, let $f=s^{+}\oplus s^{-}$ be an $\unicode[STIX]{x1D6FA}$ -net, so that $s^{\pm }$ have Königs dual lifts $\unicode[STIX]{x1D70E}^{\pm }$ , and take values in linear sphere complexes $\mathfrak{k}^{\pm }$ , where we assume the above relative normalizations $(\mathfrak{k}^{\pm }\unicode[STIX]{x1D70E}^{\mp })=-1$ .

For symmetry, we base our analysis on the middle connection $\unicode[STIX]{x1D6E4}^{g}$ with $g\equiv \frac{1}{2}$ . Recall that $\unicode[STIX]{x1D6E4}^{g}$ is then real in the complex conjugate case, and, consequently, so is $T^{g}$ when fixing $T^{g}$ to be real at an initial point, say $T_{0}^{g}=\text{id}$ at some point $0\in \mathbb{Z}^{2}$ . Now,

(4.1) $$\begin{eqnarray}\mathfrak{k}^{\pm }(t):=T^{g}(t)\left\{\mathfrak{k}^{\pm }+\frac{t}{2}\,\unicode[STIX]{x1D70E}^{\pm }\right\}=T^{\pm }(t)\mathfrak{k}^{\pm }\equiv \text{const}\end{eqnarray}$$

for any fixed $t$ , since $\mathfrak{k}^{\pm }\bot s_{i}^{\pm }\oplus s_{j}^{\pm }$ , so that $\unicode[STIX]{x1D6E4}_{ij}^{\pm }(t)\mathfrak{k}^{\pm }=\mathfrak{k}^{\pm }$ on any edge $(ij)$ . Moreover,

$$\begin{eqnarray}(\mathfrak{k}^{\pm }(t)s^{\pm }(t))\equiv 0\quad \text{for }s^{\pm }(t)=T^{g}(t)s^{\pm },\end{eqnarray}$$

since $T^{g}:\mathbb{Z}^{2}\rightarrow O(\mathbb{R}^{4,2})$ . Thus, $\mathfrak{k}^{\pm }(t)$ define linear sphere complexes that the isothermic sphere congruences $s^{\pm }(t)$ spanning the Calapso transform $f(t)=(s^{+}\oplus s^{-})(t)$ of $f$ take values in.

Note that, with the Königs dual lifts $\unicode[STIX]{x1D70E}^{\pm }(t)=T^{g}(t)\unicode[STIX]{x1D70E}^{\pm }$ of $s^{\pm }(t)$ (see Theorem 3.9), the deformation preserves the relative scaling $(\mathfrak{k}^{\pm }(t)\unicode[STIX]{x1D70E}^{\mp }(t))\equiv -1$ , and, in the complex conjugate case, $\unicode[STIX]{x1D70E}^{\pm }(t)$ as well as $\mathfrak{k}^{\pm }(t)$ are complex conjugate again.

Consequently, we have proved that the Calapso deformation yields a transformation for linear Weingarten nets: given a linear Weingarten net, its Legendre lift is an $\unicode[STIX]{x1D6FA}$ -net (by Theorem 2.8) admitting (see Theorem 3.9) Calapso deformation into a new $\unicode[STIX]{x1D6FA}$ -net, which has the characteristics of the Legendre lift of a linear Weingarten net (cf. Theorem 2.8). The only potential issue is that the resulting $\unicode[STIX]{x1D6FA}$ -net may not admit an appropriate space form projection—if the plane spanned by $\mathfrak{k}^{+}(t)$ and $\mathfrak{k}^{-}(t)$ becomes null, then it does not contain a point sphere complex $\mathfrak{p}(t)$ . Computing inner products, we find

(4.2) $$\begin{eqnarray}(\mathfrak{k}^{\pm }(t)\mathfrak{k}^{\pm }(t))=(\mathfrak{k}^{\pm }\mathfrak{k}^{\pm })\qquad \text{and}\qquad (\mathfrak{k}^{+}(t)\mathfrak{k}^{-}(t))=(\mathfrak{k}^{+}\mathfrak{k}^{-})-t,\end{eqnarray}$$

showing that this issue does not occur generically: it only occurs at a single value of $t$ when $\mathfrak{k}^{\pm }$ define a (possibly complex conjugate) pair of spheres. Below, we discuss these cases.

To justify the terminology, we consider constant mean curvature nets (cf. [Reference Burstall, Hertrich-Jeromin, Rossman and Santos6, Section 5]).

Example 4.2. Let $(\mathfrak{f},\mathfrak{t}):\mathbb{Z}^{2}\rightarrow \mathfrak{Q}^{3}\times \mathfrak{P}^{3}$ be a constant mean curvature net; that is, a linear Weingarten net with

(4.3) $$\begin{eqnarray}0=\unicode[STIX]{x1D6FC}\,K+2\unicode[STIX]{x1D6FD}H+\unicode[STIX]{x1D6FE},\quad \text{where }\unicode[STIX]{x1D6FC}=0.\end{eqnarray}$$

In the discussion leading up to Theorem 2.8, we already saw (cf. [Reference Bobenko, Hertrich-Jeromin and Lukyanenko4, Lemma 4.1]) that

$$\begin{eqnarray}\unicode[STIX]{x1D70E}^{-}=\mathfrak{f}\qquad \text{and}\qquad \unicode[STIX]{x1D70E}^{+}=\mathfrak{t}+H\,\mathfrak{f}\end{eqnarray}$$

yield a Königs dual pair of isothermic sphere congruences $s^{\pm }$ that take values in linear sphere complexes

$$\begin{eqnarray}\mathfrak{k}^{-}=\mathfrak{p}\qquad \text{and}\qquad \mathfrak{k}^{+}=\mathfrak{q}-H\,\mathfrak{p}.\end{eqnarray}$$

To recover the Lawson correspondence of [Reference Burstall, Hertrich-Jeromin, Rossman and Santos6, Definition 5.2], we follow the arguments that proved Theorem 4.1, but now base our analysis on $T^{-}$ instead of $T^{1/2}$ . Since $\unicode[STIX]{x1D6E4}_{ij}^{-}(t)\mathfrak{k}^{-}=\mathfrak{k}^{-}$ for all $t$ and all edges $(ij)$ , we may assume that $T^{-}(t)\mathfrak{p}=\mathfrak{p}$ for all $t$ ; that is, $T^{-}(t)$ is a Möbius geometric Calapso transformation of the discrete isothermic net $\mathfrak{f}:\mathbb{Z}^{2}\rightarrow \mathfrak{Q}^{3}$ when $(\mathfrak{pp})=-1$ (see [Reference Hertrich-Jeromin14, Section 5.7.16]). Hence, for all $t$ ,

$$\begin{eqnarray}\mathfrak{k}^{-}(t)=\mathfrak{k}^{-}=\mathfrak{p}\end{eqnarray}$$

provides a canonical point sphere complex for space form projection of the Calapso transform $f(t)$ of the Legendre lift $f$ of $(\mathfrak{f},\mathfrak{t})$ . Further,

$$\begin{eqnarray}\mathfrak{k}^{+}(t)=T^{-}(t)\{\mathfrak{k}^{+}+t\unicode[STIX]{x1D70E}^{+}\}\end{eqnarray}$$

is obtained as the image of (the Lie-geometric lift of) the linear conserved quantity of [Reference Burstall, Hertrich-Jeromin, Rossman and Santos6, Definition 5.1]. Consequently,

$$\begin{eqnarray}\mathfrak{q}(t):=\mathfrak{k}^{+}(t)-\frac{(\mathfrak{k}^{+}(t)\mathfrak{p})}{(\mathfrak{pp})}\mathfrak{p}=T^{-}(t)\left\{\mathfrak{q}+t\left(\unicode[STIX]{x1D70E}^{+}+\frac{\mathfrak{p}}{(\mathfrak{pp})}\right)\right\}\end{eqnarray}$$

yields a canonical space form vector for the space form projection.

Hence, as $\unicode[STIX]{x1D70E}^{\pm }(t)=T^{-}(t)\unicode[STIX]{x1D70E}^{\pm }$ , the corresponding space form projection is given by

$$\begin{eqnarray}\displaystyle & \displaystyle \mathfrak{f}(t)=T^{-}(t)\,\mathfrak{f}:\mathbb{Z}^{2}\rightarrow \mathfrak{Q}^{3}(t)\qquad \text{and} & \displaystyle \nonumber\\ \displaystyle & \displaystyle \mathfrak{t}(t)=T^{-}(t)\left\{\mathfrak{t}-\frac{t}{(\mathfrak{pp})}\mathfrak{f}\right\}:\mathbb{Z}^{2}\rightarrow \mathfrak{P}^{3}(t). & \displaystyle \nonumber\end{eqnarray}$$

Now, $\unicode[STIX]{x1D70E}^{+}(t)=\mathfrak{t}(t)+\left(H+\frac{t}{(\mathfrak{pp})}\right)\mathfrak{f}(t)$ , showing that the linear Weingarten net $(\mathfrak{f},\mathfrak{t})(t)$ has constant mean curvature

$$\begin{eqnarray}H(t)=H+\frac{t}{(\mathfrak{pp})}.\end{eqnarray}$$

Note that we also recover the Lawson invariant, relating the mean curvature of the constant mean curvature net and its ambient constant sectional curvature (cf. (4.2)):

$$\begin{eqnarray}(\mathfrak{pp})\,H^{2}(t)+(\mathfrak{q}(\mathfrak{t})\mathfrak{q}(\mathfrak{t}))=(\mathfrak{k}^{+}(\mathfrak{t})\mathfrak{k}^{+}(\mathfrak{t}))=(\mathfrak{k}^{+}\mathfrak{k}^{+})=(\mathfrak{pp})\,H^{2}+(\mathfrak{qq}).\end{eqnarray}$$

Thus, our Lawson transformation of Definition 4.1 does indeed generalize the Lawson correspondence of [Reference Burstall, Hertrich-Jeromin, Rossman and Santos6, Section 5] for discrete constant mean curvature nets.

Coming back to the genericity issue of the Lawson transformation from Theorem 4.1, we consider the discrete analogue of (intrinsically) flat surfaces in hyperbolic space (cf. [Reference Hoffmann, Rossman, Sasaki and Yoshida15, Section 4.3] and [Reference Burstall, Hertrich-Jeromin and Rossman7]).

Example 4.3. Thus, let $(\mathfrak{f},\mathfrak{t}):\mathbb{Z}^{2}\rightarrow \mathfrak{Q}^{3}\times \mathfrak{P}^{3}$ , where $(\mathfrak{pp})=-1$ and $(\mathfrak{qq})=+1$ , so that $\mathfrak{Q}^{3}$ becomes hyperbolic space, satisfy $A(\mathfrak{t},\mathfrak{t})=A(\mathfrak{f},\mathfrak{f})$ (cf. [Reference Hoffmann, Rossman, Sasaki and Yoshida15, Lemma 6.5]). That is, $(\mathfrak{f},\mathfrak{t})$ is linear Weingarten with

(4.4) $$\begin{eqnarray}0=\unicode[STIX]{x1D6FC}\,K+2\unicode[STIX]{x1D6FD}\,H+\unicode[STIX]{x1D6FE},\quad \text{where }\unicode[STIX]{x1D6FC}+\unicode[STIX]{x1D6FE}=\unicode[STIX]{x1D6FD}=0.\end{eqnarray}$$

Now, $A(\mathfrak{f}+\mathfrak{t},\mathfrak{f}-\mathfrak{t})=0$ , so that a Königs dual pair of enveloped isothermic sphere congruences is given by

$$\begin{eqnarray}\unicode[STIX]{x1D70E}^{\pm }:=\mathfrak{f}\pm \mathfrak{t}.\end{eqnarray}$$

As $\mathfrak{f}$ and $\mathfrak{t}$ take values in $\mathfrak{Q}^{3}$ and $\mathfrak{P}^{3}$ , respectively, $s^{\pm }$ take values in linear sphere complexes

$$\begin{eqnarray}\mathfrak{k}^{\pm }:={\textstyle \frac{1}{2}}(\mathfrak{q}\mp \mathfrak{p}).\end{eqnarray}$$

These define two oriented spheres, since $(\mathfrak{k}^{\pm }\mathfrak{k}^{\pm })=0$ : they are the two orientations of the infinity boundary of the ambient hyperbolic space (cf. [Reference Burstall, Hertrich-Jeromin and Rossman7, Section 2]), and the fact that $\unicode[STIX]{x1D70E}^{\pm }$ take values in the sphere complexes defined by $\mathfrak{k}^{\pm }$ teaches us that $\unicode[STIX]{x1D70E}^{\pm }$ touch the infinity boundary (with opposite orientations); that is, $\unicode[STIX]{x1D70E}^{\pm }$ are horosphere congruences.

Before proceeding to the Lawson transformation, note how the parallel nets of $(\mathfrak{f},\mathfrak{t})$ are obtained by simultaneous reciprocal rescaling of $\mathfrak{k}^{\pm }$ and $\unicode[STIX]{x1D70E}^{\pm }$ (cf. (2.8) and Corollary 2.9). With

$$\begin{eqnarray}\tilde{\mathfrak{k}}^{\pm }=e^{\pm \unicode[STIX]{x1D70C}}\mathfrak{k}^{\pm }\qquad \text{and}\qquad \tilde{\unicode[STIX]{x1D70E}}^{\pm }=e^{\pm \unicode[STIX]{x1D70C}}\unicode[STIX]{x1D70E}^{\pm },\end{eqnarray}$$

the relative scalings are preserved and a new choice of point sphere complex and space form vector

$$\begin{eqnarray}\displaystyle & \displaystyle \left.\begin{array}{@{}c@{}}\tilde{\mathfrak{p}}:=\tilde{\mathfrak{k}}^{-}-\tilde{\mathfrak{k}}^{+}=\mathfrak{p}\cosh \unicode[STIX]{x1D70C}-\mathfrak{q}\sinh \unicode[STIX]{x1D70C}\\ \tilde{\mathfrak{q}}:=\tilde{\mathfrak{k}}^{-}+\tilde{\mathfrak{k}}^{+}=\mathfrak{q}\cosh \unicode[STIX]{x1D70C}-\mathfrak{p}\sinh \unicode[STIX]{x1D70C}\end{array}\right\}\text{yields } & \displaystyle \nonumber\\ \displaystyle & \displaystyle \left\{\begin{array}{@{}c@{}}\tilde{\mathfrak{f}}=\mathfrak{f}\cosh \unicode[STIX]{x1D70C}+\mathfrak{t}\sinh \unicode[STIX]{x1D70C},\\ \tilde{\mathfrak{t}}=\mathfrak{ f}\sinh \unicode[STIX]{x1D70C}+\mathfrak{ t}\cosh \unicode[STIX]{x1D70C}.\end{array}\right. & \displaystyle \nonumber\end{eqnarray}$$

The linear Weingarten condition (4.4) is preserved by this change of space form projection by parallel transformation. Thus, the parallel nets of a flat net in hyperbolic space are flat. For the analysis of the Lawson transformation below, we disregard this freedom.

To honor the symmetry of the situation, we again use the Calapso transformations $T^{g}(t)$ of the middle connection $\unicode[STIX]{x1D6E4}^{g}(t)$ with $g\equiv \frac{1}{2}$ , as above and in [Reference Burstall, Hertrich-Jeromin and Rossman7, Section 3]. Thus (cf. (4.1)), we obtain

$$\begin{eqnarray}\displaystyle & \displaystyle \unicode[STIX]{x1D70E}^{\pm }(t)=T^{g}(t)\unicode[STIX]{x1D70E}^{\pm }=T^{g}(t)\{\mathfrak{f}\pm \mathfrak{t}\}\qquad \text{and} & \displaystyle \nonumber\\ \displaystyle & \displaystyle \mathfrak{k}^{\pm }(t)=T^{g}(t)\left\{\mathfrak{k}^{\pm }+\frac{t}{2}\unicode[STIX]{x1D70E}^{\pm }\right\}=T^{g}(t)\left\{\frac{\mathfrak{q}+t\mathfrak{f}}{2}\mp \frac{\mathfrak{p}-t\mathfrak{t}}{2}\right\} & \displaystyle \nonumber\end{eqnarray}$$

as the Königs dual pair spanning the Calapso transform $f(t)$ of the original $\unicode[STIX]{x1D6FA}$ -net and the sphere complexes the enveloped isothermic sphere congruences take values in. By (4.2), the new sphere complexes still define two oriented spheres, $(\mathfrak{k}^{\pm }\mathfrak{k}^{\pm })=0$ , which can be interpreted as the two orientations of the infinity boundary of a hyperbolic space as long as they do not touch,

$$\begin{eqnarray}(\mathfrak{k}^{+}(\mathfrak{t})\mathfrak{k}^{-}(\mathfrak{t}))=(\mathfrak{k}^{+}\mathfrak{k}^{-})-t={\textstyle \frac{1}{2}}(1-2t)\neq 0.\end{eqnarray}$$

That is, as long as the genericity condition of Theorem 4.1 is satisfied.Footnote ²⁰ Then, a choice of

$$\begin{eqnarray}\displaystyle & \displaystyle \mathfrak{p}(t):=\mathfrak{k}^{-}(t)\!-\!\mathfrak{k}^{+}(t)=T^{g}(t)(\mathfrak{p}\!-\!t\,\mathfrak{t})\qquad \text{and} & \displaystyle \nonumber\\ \displaystyle & \displaystyle \mathfrak{q}(t):=\mathfrak{k}^{-}(t)\!+\!\mathfrak{k}^{+}(t)=T^{g}(t)(\mathfrak{q}\!+\!t\,\mathfrak{f}) & \displaystyle \nonumber\end{eqnarray}$$

for the point sphere complex and space form vector yields a projection to a hyperbolic space and a de Sitter space as its (unit) tangent bundle, or vice versa, depending on the sign of $1-2t$ :

$$\begin{eqnarray}(\mathfrak{p}(t)\mathfrak{p}(t))=-(1-2t)\qquad \text{and}\qquad (\mathfrak{q}(t)\mathfrak{q}(t))=+(1-2t).\end{eqnarray}$$

The corresponding space form projection

$$\begin{eqnarray}(\mathfrak{f},\mathfrak{t})(t)=(T^{g}(t)\mathfrak{f},T^{g}(t)\mathfrak{t}):\mathbb{Z}^{2}\rightarrow \mathfrak{Q}^{3}(t)\times \mathfrak{P}^{3}(t)\end{eqnarray}$$

is a linear Weingarten net satisfying the same linear Weingarten condition (4.4), since, as before,

$$\begin{eqnarray}W(t):=2\,\mathfrak{k}^{+}(t)\odot \mathfrak{k}^{-}(t)={\textstyle \frac{1}{2}}\{\mathfrak{q}(t)\odot \mathfrak{q}(t)-\mathfrak{p}(t)\odot \mathfrak{p}(t)\}.\end{eqnarray}$$

In particular, as long as $t<\frac{1}{2}$ , the Lawson transforms $(\mathfrak{f},\mathfrak{t})(t)$ of $(\mathfrak{f},\mathfrak{t})$ remain discrete analogs of (intrinsically) flat surfaces in hyperbolic space.Footnote ²¹ Beyond the singularity of the Lawson transformation, when $t>\frac{1}{2}$ , we obtain linear Weingarten nets $(\mathfrak{f},\mathfrak{t})(t)$ with constant (extrinsic) Gauss curvature $K=1$ in de Sitter space.Footnote ²²

Thus, we obtain a case where the genericity issue for the Lawson transformation does occur, and, in particular, we see how the two conserved quantities $\mathfrak{k}^{\pm }(t)$ in this case become spheres—the two orientations of the infinity spheres of the ambient hyperbolic geometries—as predicted from (4.2). Below, we give a more exhaustive discussion of the genericity phenomenon.

Generalizing Example 4.3, we next discuss discrete nets of (arbitrary) constant Gauss curvature in (possibly Lorentzian) space forms.

Example 4.4. Let $(\mathfrak{f},\mathfrak{t}):\mathbb{Z}^{2}\rightarrow \mathfrak{Q}^{3}\times \mathfrak{P}^{3}$ , where $\unicode[STIX]{x1D700}:=-(\mathfrak{pp})=\pm 1$ and $\unicode[STIX]{x1D705}=-(\mathfrak{qq})$ , be a space form projection into a quadric $\mathfrak{Q}^{3}$ of constant curvature $\unicode[STIX]{x1D705}$ satisfying

(4.5) $$\begin{eqnarray}0=\unicode[STIX]{x1D6FC}\,K+2\unicode[STIX]{x1D6FD}\,H+\unicode[STIX]{x1D6FE},\quad \text{with }\unicode[STIX]{x1D6FD}=0.\end{eqnarray}$$

Clearly,Footnote ²³ $\unicode[STIX]{x1D6FC}\neq 0$ , so that we may, without loss of generality, assume that $\unicode[STIX]{x1D6FC}=1$ . Excluding tubular linear Weingarten surfaces, we have $K=-\unicode[STIX]{x1D6FE}\neq 0$ . Now,

$$\begin{eqnarray}2W=4\,\mathfrak{k}^{+}\odot \mathfrak{k}^{-}=\mathfrak{p}\odot \mathfrak{p}-\frac{1}{K}\,\mathfrak{q}\odot \mathfrak{q}\text{ with }\mathfrak{k}^{\pm }:=\frac{1}{2}\left\{\mathfrak{p}\mp \frac{1}{\sqrt{K}}\,\mathfrak{q}\right\},\end{eqnarray}$$

showing that $\mathfrak{k}^{\pm }$ and the corresponding Königs dual lifts $\unicode[STIX]{x1D70E}^{\pm }=\mathfrak{t}\pm \sqrt{K}\,\mathfrak{f}$ of enveloped isothermic sphere congruences $s^{\pm }$ become complex conjugate when $K<0$ .

To investigate the Lawson transformation, we use the middle connection $\unicode[STIX]{x1D6E4}^{g}$ with $g\equiv \frac{1}{2}$ again, as in the case of flat fronts in hyperbolic space. Recall that this connection is real in the complex conjugate case, so that the Calapso transformations $T^{g}(t)$ can be assumed to be real as well. Now (cf. (4.1)),

$$\begin{eqnarray}\unicode[STIX]{x1D70E}^{\pm }(t)=T^{g}(t)\{\mathfrak{t}\pm \sqrt{K}\,\mathfrak{f}\}\qquad \text{and}\qquad \mathfrak{k}^{\pm }(t)=T^{g}(t)\left\{\frac{\mathfrak{p}+t\mathfrak{t}}{2}\mp \frac{\mathfrak{q}-tK\mathfrak{f}}{2\sqrt{K}}\right\}\end{eqnarray}$$

yield the Calapso transform $f(t)$ of the original $\unicode[STIX]{x1D6FA}$ -net $f=(\mathfrak{f},\mathfrak{t})$ and the two sphere complexes that its pair of enveloped isothermic sphere congruences $s^{\pm }(t)=\langle \unicode[STIX]{x1D70E}^{\pm }(t)\rangle$ take values in. Thus, as long as $\mathfrak{p}+t\mathfrak{t}$ does not become isotropic, $\unicode[STIX]{x1D700}+2t\neq 0$ , we may choose

$$\begin{eqnarray}\mathfrak{p}(t):=\frac{1}{\sqrt{|\unicode[STIX]{x1D700}+2t|}}T^{g}(t)\{\mathfrak{p}+t\mathfrak{t}\}\qquad \text{and}\qquad \mathfrak{q}(t):=T^{g}(t)\{\mathfrak{q}-tK\mathfrak{f}\}\end{eqnarray}$$

as the new point sphere complex and space form vector for the space form projection $(\mathfrak{f},\mathfrak{t})(t)$ of $f(t)$ , so that

$$\begin{eqnarray}\mathfrak{f}(t)=T^{g}(t)\mathfrak{f}\qquad \text{and}\qquad \mathfrak{t}(t)=\sqrt{|\unicode[STIX]{x1D700}+2t|}\,T^{g}(t)\mathfrak{t}.\end{eqnarray}$$

Note that $\unicode[STIX]{x1D700}(t)=-(\mathfrak{p}(t)\mathfrak{p}(t))$ changes sign at $t=-\frac{\unicode[STIX]{x1D700}}{2}$ ; hence, the ambient geometry of $(\mathfrak{f},\mathfrak{t})(t)$ changes signature, as in the case of flat nets in hyperbolic space.

Now,

$$\begin{eqnarray}2W(t)=4\mathfrak{k}^{+}(t)\odot \mathfrak{k}^{-}(t)=|\unicode[STIX]{x1D700}+2t|\,\mathfrak{p}(t)\odot \mathfrak{p}(t)-\frac{1}{K}\,\mathfrak{q}(t)\odot \mathfrak{q}(t)\end{eqnarray}$$

encodes the linear Weingarten condition for $(\mathfrak{f},\mathfrak{t})(t)$ . The new (constant) Gauss and ambient curvatures become

$$\begin{eqnarray}K(t)=K\,|\unicode[STIX]{x1D700}+2t|\qquad \text{and}\qquad \unicode[STIX]{x1D705}(t)=-(\mathfrak{q}(t)\mathfrak{q}(t))=\unicode[STIX]{x1D705}-2tK.\end{eqnarray}$$

As a consequence, the intrinsic Gauss curvatures

$$\begin{eqnarray}K_{\text{int}}(t)=\unicode[STIX]{x1D700}(t)K(t)+\unicode[STIX]{x1D705}(t)\equiv K_{\text{int}}\end{eqnarray}$$

of the nets remain unchanged by the Lawson transformation. Of course, this fact depends on the chosen normalization of the space form vectors $\mathfrak{q}(t)$ . A rescaling of $\mathfrak{q}(t)$ results in a rescaling of both the extrinsic and intrinsic Gauss curvatures by the square of the factor. In particular, if $1/(\sqrt{|\unicode[STIX]{x1D700}+2t|})\mathfrak{q}(t)$ is chosen for the space form projections instead, the extrinsic Gauss curvatures remain unchanged while the intrinsic Gauss curvatures get scaled in the family.

Similar thoughts show that the apparent problem of the space form projection when $t=-\frac{\unicode[STIX]{x1D700}}{2}$ is easily resolved as long as the intrinsic Gauss curvature of the original net does not vanish: as long as neither $\mathfrak{p}(t)$ nor $\mathfrak{q}(t)$ becomes isotropic, their roles can be interchanged after suitable rescalings. In particular, a common rescaling by $1/(\sqrt{|\unicode[STIX]{x1D705}(t)|})$ and reinterpretation of $1/(\sqrt{|\unicode[STIX]{x1D705}(t)|})\mathfrak{q}(t)$ as the point sphere complex results in a linear Weingarten net $\sqrt{|\unicode[STIX]{x1D705}(t)|}(\mathfrak{t},\mathfrak{f})(t)$ of constant Gauss curvature $1/(K(t))$ . Hence, the Lawson transformation is well defined as long as $\mathfrak{p}(t)$ and $\mathfrak{q}(t)$ do not simultaneously become isotropic; that is, as long as

$$\begin{eqnarray}\unicode[STIX]{x1D705}\left(-\frac{\unicode[STIX]{x1D700}}{2}\right)=K_{\text{int}}\neq 0.\end{eqnarray}$$

As a third special class of linear Weingarten surfaces, obtained by the vanishing of the third coefficient in the linear Weingarten condition, we discuss nets of constant harmonic mean curvature as a discrete analogue of the surfaces with constant average of their curvature radii.

Example 4.5. Fix a space form projection $(\mathfrak{f},\mathfrak{t}):\mathbb{Z}^{2}\rightarrow \mathfrak{Q}^{3}\times \mathfrak{P}^{3}$ , where $-(\mathfrak{pp})=:\unicode[STIX]{x1D700}=\pm 1$ and the ambient curvature is given by $-(\mathfrak{qq})=\unicode[STIX]{x1D705}$ as before, and suppose that

(4.6) $$\begin{eqnarray}0=\unicode[STIX]{x1D6FC}\,K+2\unicode[STIX]{x1D6FD}\,H+\unicode[STIX]{x1D6FE},\quad \text{where }\unicode[STIX]{x1D6FE}=0.\end{eqnarray}$$

As we exclude tubular linear Weingarten nets, we must have $\unicode[STIX]{x1D6FD}\neq 0$ . Hence, without loss of generality, $\unicode[STIX]{x1D6FD}=1$ and $\unicode[STIX]{x1D6FC}=-2\frac{H}{K}$ are given by the constant harmonic mean curvature of the net. The enveloped isothermic sphere congruences of the constant harmonic mean curvature net then turn out to be its tangent plane congruence and its middle sphere congruence,

$$\begin{eqnarray}\unicode[STIX]{x1D70E}^{-}=\mathfrak{t}\qquad \text{and}\qquad \unicode[STIX]{x1D70E}^{+}=\mathfrak{f}+\frac{H}{K}\,\mathfrak{t},\end{eqnarray}$$

which take values in the linear sphere complexes

$$\begin{eqnarray}\mathfrak{k}^{-}=\mathfrak{q}\qquad \text{and}\qquad \mathfrak{k}^{+}=\mathfrak{p}-\frac{H}{K}\,\mathfrak{q}.\end{eqnarray}$$

Note the similarity to the constant mean curvature nets of Example 4.2. Writing (4.6) in the more symmetric form (2.10),

$$\begin{eqnarray}0=\unicode[STIX]{x1D6FC}\,A(\mathfrak{t},\mathfrak{t})-2\unicode[STIX]{x1D6FD}\,A(\mathfrak{t},\mathfrak{f})+\unicode[STIX]{x1D6FE}\,A(\mathfrak{f},\mathfrak{f}),\end{eqnarray}$$

makes this similarity more tangible: as long as $\unicode[STIX]{x1D705}\neq 0$ , the aforementioned duality for linear Weingarten nets relates constant harmonic mean curvature nets and constant mean curvature nets. In particular, a common rescaling of the point sphere complex and the space form vector,

$$\begin{eqnarray}(\tilde{\mathfrak{q}},\tilde{\mathfrak{p}})=\frac{1}{\sqrt{|\unicode[STIX]{x1D705}|}}(\mathfrak{p},\mathfrak{q}),\text{ yields }(\tilde{\mathfrak{f}},\tilde{\mathfrak{t}})=\sqrt{|\unicode[STIX]{x1D705}|}\,(\mathfrak{t},\mathfrak{f})\end{eqnarray}$$

as a constant mean curvature $\tilde{H}=\frac{H}{K}$ net in a quadric of constant curvature $\tilde{\unicode[STIX]{x1D705}}=\frac{\unicode[STIX]{x1D700}}{|\unicode[STIX]{x1D705}|}$ , whose signature is given by $\tilde{\unicode[STIX]{x1D700}}=\frac{\unicode[STIX]{x1D705}}{|\unicode[STIX]{x1D705}|}$ . The Lawson transformation of Example 4.2 then yields a transformation into constant mean curvature nets withFootnote ²⁴

$$\begin{eqnarray}\tilde{H}(t)=\tilde{H}-\tilde{\unicode[STIX]{x1D700}}\,\frac{t}{|\unicode[STIX]{x1D705}|}\qquad \text{and}\qquad \tilde{\unicode[STIX]{x1D705}}(t)=\tilde{\unicode[STIX]{x1D705}}+2\tilde{H}\,\frac{t}{|\unicode[STIX]{x1D705}|}-\tilde{\unicode[STIX]{x1D700}}\,\left(\frac{t}{|\unicode[STIX]{x1D705}|}\right)^{2}.\end{eqnarray}$$

As long as $\tilde{\unicode[STIX]{x1D705}}(t)\neq 0$ , the same duality can then be used to obtain constant harmonic mean curvature nets $(\mathfrak{f}(t),\mathfrak{t}(t))=\sqrt{|\tilde{\unicode[STIX]{x1D705}}(t)|}(\tilde{\mathfrak{t}}(t),\tilde{\mathfrak{f}}(t))$ as Lawson transforms of the original net $(\mathfrak{f},\mathfrak{t})$ .

Aiming to obtain the Lawson transformation for nets of constant harmonic mean curvature directly, we recover the same regularity issues as outlined above. Motivated by the observation that the characterizing feature of constant harmonic mean curvature nets in our setup is its tangent plane congruence $\mathfrak{t}$ being one of the enveloped isothermic sphere congruences, we base our analysis on $T^{-}$ , where constants of integration are adjusted so that $T^{-}(t)\mathfrak{q}=\mathfrak{q}$ . Then, we aim to obtain

$$\begin{eqnarray}\mathfrak{k}^{+}(t)=T^{-}(t)\{\mathfrak{k}^{+}+t\unicode[STIX]{x1D70E}^{+}\}\Vert \mathfrak{p}(t)-\frac{H(t)}{K(t)}\,\mathfrak{q},\end{eqnarray}$$

with a normalized point sphere complex $\mathfrak{p}(t)\bot \mathfrak{q}$ , in order to recover the linear Weingarten condition of a constant harmonic mean curvature net. Orthogonalization then requires $\unicode[STIX]{x1D705}\neq 0$ , and normalization requires also $\tilde{\unicode[STIX]{x1D705}}(t)\neq 0$ . When both are satisfied,Footnote ²⁵

$$\begin{eqnarray}\displaystyle & \displaystyle \mathfrak{p}(t)=\frac{1}{\sqrt{|\unicode[STIX]{x1D705}\tilde{\unicode[STIX]{x1D705}}(t)|}}\,T^{-}(t)\left\{\mathfrak{p}+t\,\left(\unicode[STIX]{x1D70E}^{+}-\frac{1}{\unicode[STIX]{x1D705}}\mathfrak{q}\right)\right\}\text{ yields } & \displaystyle \nonumber\\ \displaystyle & \displaystyle \frac{1}{\sqrt{|\unicode[STIX]{x1D705}\tilde{\unicode[STIX]{x1D705}}(t)|}}\mathfrak{k}^{+}(t)=\mathfrak{p}(t)-\frac{1}{\sqrt{|\unicode[STIX]{x1D705}\tilde{\unicode[STIX]{x1D705}}(t)|}}\left(\frac{H}{K}-\frac{1}{\unicode[STIX]{x1D705}}\,t\right)\,\mathfrak{q}. & \displaystyle \nonumber\end{eqnarray}$$

Starting from a constant harmonic mean curvature net in a flat ambient geometry, the Lawson transformation is still well defined, but the above approach, following Example 4.2, does not yield a suitable space form projection. However, exploiting the fact that constant harmonic mean curvature nets in flat ambient geometries arise as parallel nets of minimal nets leads to an alternative approach. Choosing

$$\begin{eqnarray}\tilde{\mathfrak{p}}(t):=\mathfrak{k}^{+}(t)\qquad \text{and}\qquad \tilde{\mathfrak{q}}(t):=\mathfrak{k}^{-}(t)-\unicode[STIX]{x1D700}t\,\mathfrak{k}^{+}(t)\end{eqnarray}$$

for a space form projection,Footnote ²⁶ we obtain a constant mean curvature net

$$\begin{eqnarray}(\tilde{\mathfrak{f}}(t),\tilde{\mathfrak{t}}(t))=(\unicode[STIX]{x1D70E}^{+}(t),\unicode[STIX]{x1D70E}^{-}(t)+\unicode[STIX]{x1D700}t\,\unicode[STIX]{x1D70E}^{+}(t)),\end{eqnarray}$$

as, clearly, $A(\tilde{\mathfrak{f}}(t),\tilde{\mathfrak{t}}(t))=\unicode[STIX]{x1D700}t\,A(\tilde{\mathfrak{f}}(t),\tilde{\mathfrak{f}}(t)).$ Note that, in particular, this choice of projection yields a minimal net $(\tilde{\mathfrak{f}}(0),\tilde{\mathfrak{t}}(0))$ for $t=0$ . When $t\neq 0$ , the ambient curvature of the constant mean curvature net $(\tilde{\mathfrak{f}}(t),\tilde{\mathfrak{t}}(t))$ does not vanish, $\tilde{\unicode[STIX]{x1D705}}(t)=-\unicode[STIX]{x1D700}t^{2}\neq 0$ , so that a choice

$$\begin{eqnarray}\mathfrak{p}(t):=\frac{1}{t}\tilde{\mathfrak{q}}(t)\qquad \text{and}\qquad \mathfrak{q}(t):=\tilde{\mathfrak{p}}(t)\end{eqnarray}$$

now yields a net $(\mathfrak{f}(t),\mathfrak{t}(t))=(\tilde{\mathfrak{t}}(t),t\tilde{\mathfrak{f}}(t))$ of constant harmonic mean curvature $H(t)/K(t)=-\unicode[STIX]{x1D700}$ in a (Lorentzian if $\unicode[STIX]{x1D700}=1$ ) quadric of constant curvature $\unicode[STIX]{x1D705}(t)=\unicode[STIX]{x1D700}$ .

Indeed, as our discussion of the Lawson transformation for constant harmonic mean curvature nets hints at, the Lawson transformation is a transformation for parallel families of linear Weingarten nets rather than for individual nets: it involves a choice of space form projection that, essentially, is a choice of a net in a parallel family. We see that every parallel family of discrete linear Weingarten nets contains nets of at least one of the particular types discussed in the preceding examples.

Parallel Families 4.6. In Corollary 2.9, we see that parallel nets of a linear Weingarten net are linear Weingarten (cf. [Reference Hertrich-Jeromin14, Section 2.7]). Using the same setup as above, let $(\mathfrak{f},\mathfrak{t})$ denote a linear Weingarten net in a space form given by a point sphere complex $\mathfrak{p}$ and a space form vector $\mathfrak{q}\bot \mathfrak{p}$ . A change of basis

$$\begin{eqnarray}(\tilde{\mathfrak{q}},\tilde{\mathfrak{p}})=(\mathfrak{q},\mathfrak{p})B,\end{eqnarray}$$

where $B\in \text{Gl}(2)$ is chosen to preserve inner products of the basis, yields a parallel linear Weingarten net $(\tilde{\mathfrak{f}},\tilde{\mathfrak{t}})$ . The coefficients of the linear Weingarten relations (2.7) of $(\mathfrak{f},\mathfrak{t})$ and $(\tilde{\mathfrak{f}},\tilde{\mathfrak{t}})$ are then related byFootnote ²⁷

$$\begin{eqnarray}{\tilde{\unicode[STIX]{x1D6FC}}\atop \tilde{\unicode[STIX]{x1D6FD}}}\,{\tilde{\unicode[STIX]{x1D6FD}}\atop \tilde{\unicode[STIX]{x1D6FE}}}=B{\unicode[STIX]{x1D6FC}\atop \unicode[STIX]{x1D6FD}}\,{\unicode[STIX]{x1D6FD}\atop \unicode[STIX]{x1D6FE}}B^{t}.\end{eqnarray}$$

As the shape of the basis transformations $B$ depends on the signature of the plane $\langle \mathfrak{q},\mathfrak{p}\rangle$ , we discuss the cases that occur in turn (cf. [Reference Palais and Terng17, Section 3.4] or [Reference Hertrich-Jeromin, Tjaden and Zürcher13, Section II.5]).

1. (1) In the definite case, we assume $(\mathfrak{q},\mathfrak{p})$ to be an orthonormal basis, so that the parallel family of nets is parametrized by

   $$\begin{eqnarray}B={\cos \unicode[STIX]{x1D717}\atop \sin \unicode[STIX]{x1D717}}\,{-\text{sin}\unicode[STIX]{x1D717}\atop \phantom{-}\cos \unicode[STIX]{x1D717}}.\end{eqnarray}$$
   Writing $(\unicode[STIX]{x1D6FC}+\unicode[STIX]{x1D6FE})/2=\unicode[STIX]{x1D707}$ , $(\unicode[STIX]{x1D6FC}-\unicode[STIX]{x1D6FE})/2=\unicode[STIX]{x1D71A}\cos 2\unicode[STIX]{x1D714}$ and $\unicode[STIX]{x1D6FD}=\unicode[STIX]{x1D71A}\sin 2\unicode[STIX]{x1D714}$ , the coefficients of the linear Weingarten condition (2.7) of the parallel nets $(\mathfrak{f},\mathfrak{t})(\unicode[STIX]{x1D717})$ become
   $$\begin{eqnarray}\displaystyle & \displaystyle \unicode[STIX]{x1D6FC}(\unicode[STIX]{x1D717})=\unicode[STIX]{x1D707}+\unicode[STIX]{x1D71A}\cos 2(\unicode[STIX]{x1D717}+\unicode[STIX]{x1D714}),\qquad \unicode[STIX]{x1D6FD}(\unicode[STIX]{x1D717})=\unicode[STIX]{x1D71A}\sin 2(\unicode[STIX]{x1D717}+\unicode[STIX]{x1D714})\qquad \text{and} & \displaystyle \nonumber\\ \displaystyle & \displaystyle \unicode[STIX]{x1D6FE}(\unicode[STIX]{x1D717})=\unicode[STIX]{x1D707}-\unicode[STIX]{x1D71A}\cos 2(\unicode[STIX]{x1D717}+\unicode[STIX]{x1D714}). & \displaystyle \nonumber\end{eqnarray}$$
   Thus, if $\unicode[STIX]{x1D71A}\neq 0$ , then $\sin 2(\unicode[STIX]{x1D717}+\unicode[STIX]{x1D714})=0$ yields two pairs of antipodal constant Gauss curvature nets, and, if also
   $$\begin{eqnarray}\unicode[STIX]{x1D707}^{2}-\unicode[STIX]{x1D71A}^{2}=\unicode[STIX]{x1D6FC}\unicode[STIX]{x1D6FE}-\unicode[STIX]{x1D6FD}^{2}<0,\end{eqnarray}$$
   then $\cos 2(\unicode[STIX]{x1D717}+\unicode[STIX]{x1D714})=\mp \frac{\unicode[STIX]{x1D707}}{\unicode[STIX]{x1D71A}}$ yields two pairs of antipodal constant mean curvature nets and of constant harmonic mean curvature nets, respectively. When $\unicode[STIX]{x1D707}=0$ , these coincide and yield minimal nets. Note the symmetric spacing of the twelve or eight nets that appear in this case.

   If, on the other hand, $\unicode[STIX]{x1D71A}=0$ then all $(\mathfrak{f},\mathfrak{t})(\unicode[STIX]{x1D717})$ are intrinsically flat, cf. Example 4.4.

2. (2) In the degenerate case, we assume that $(\mathfrak{qq})=0$ and $(\mathfrak{pp})=\pm 1$ , so that the parallel family is parametrized by

   $$\begin{eqnarray}B={1\atop 0}\,{\unicode[STIX]{x1D717}\atop 1},\end{eqnarray}$$
   and the linear Weingarten coefficients of (2.7) of the parallel nets $(\mathfrak{f},\mathfrak{t})(\unicode[STIX]{x1D717})$ become
   $$\begin{eqnarray}\unicode[STIX]{x1D6FC}(\unicode[STIX]{x1D717})=\unicode[STIX]{x1D6FC}+2\unicode[STIX]{x1D6FD}\unicode[STIX]{x1D717}+\unicode[STIX]{x1D6FE}\unicode[STIX]{x1D717}^{2},\qquad \unicode[STIX]{x1D6FD}(\unicode[STIX]{x1D717})=\unicode[STIX]{x1D6FD}+\unicode[STIX]{x1D6FE}\unicode[STIX]{x1D717}\qquad \text{and}\qquad \unicode[STIX]{x1D6FE}(\unicode[STIX]{x1D717})=\unicode[STIX]{x1D6FE}.\end{eqnarray}$$
   Thus, in the generic case, $\unicode[STIX]{x1D717}=-\frac{\unicode[STIX]{x1D6FD}}{\unicode[STIX]{x1D6FE}}$ yields a constant Gauss curvature net, which has two parallel constant mean curvature nets at $\unicode[STIX]{x1D717}=-\frac{\unicode[STIX]{x1D6FD}}{\unicode[STIX]{x1D6FE}}\pm \frac{1}{\unicode[STIX]{x1D6FE}}\sqrt{\unicode[STIX]{x1D6FD}^{2}-\unicode[STIX]{x1D6FC}\unicode[STIX]{x1D6FE}}$ as soon as the root is real. We recover the classical Bonnet theorem in this case (cf. [Reference Hertrich-Jeromin14, Section 2.7.4]).

   If, however, $\unicode[STIX]{x1D6FE}=0$ , then the parallel family consists of the parallel constant harmonic mean curvature nets of a minimal net at $\unicode[STIX]{x1D717}=-\frac{\unicode[STIX]{x1D6FC}}{2\unicode[STIX]{x1D6FD}}$ , as discussed in Example 4.5.

3. (3) In the indefinite case of hyperbolic and de Sitter spaces, we base the analysis on an orthonormal basis again, so that

   $$\begin{eqnarray}B={\cosh \unicode[STIX]{x1D717}\atop \sinh \unicode[STIX]{x1D717}}\,{\sinh \unicode[STIX]{x1D717}\atop \cosh \unicode[STIX]{x1D717}}\end{eqnarray}$$
   now parametrizes the parallel family. To obtain a convenient representation of the linear Weingarten coefficients of (2.7) for the parallel nets $(\mathfrak{f},\mathfrak{t})(\unicode[STIX]{x1D717})$ , we distinguish three cases.

   1. (i) If $|(\unicode[STIX]{x1D6FC}+\unicode[STIX]{x1D6FE})/2|>|\unicode[STIX]{x1D6FD}|$ , we write $(\unicode[STIX]{x1D6FC}-\unicode[STIX]{x1D6FE})/2=\unicode[STIX]{x1D707}$ , $(\unicode[STIX]{x1D6FC}+\unicode[STIX]{x1D6FE})/2=\unicode[STIX]{x1D71A}\cosh 2\unicode[STIX]{x1D714}$ and $\unicode[STIX]{x1D6FD}=\unicode[STIX]{x1D71A}\sinh 2\unicode[STIX]{x1D714}$ , to obtain

      $$\begin{eqnarray}\displaystyle & \displaystyle \unicode[STIX]{x1D6FC}(\unicode[STIX]{x1D717})=\unicode[STIX]{x1D707}+\unicode[STIX]{x1D71A}\cosh 2(\unicode[STIX]{x1D717}+\unicode[STIX]{x1D714}),\qquad \unicode[STIX]{x1D6FD}(\unicode[STIX]{x1D717})=\unicode[STIX]{x1D71A}\sinh 2(\unicode[STIX]{x1D717}+\unicode[STIX]{x1D714})\qquad \text{and} & \displaystyle \nonumber\\ \displaystyle & \displaystyle \unicode[STIX]{x1D6FE}(\unicode[STIX]{x1D717})=-\unicode[STIX]{x1D707}+\unicode[STIX]{x1D71A}\cosh 2(\unicode[STIX]{x1D717}+\unicode[STIX]{x1D714}). & \displaystyle \nonumber\end{eqnarray}$$
      Thus, $\unicode[STIX]{x1D717}=-\unicode[STIX]{x1D714}$ yields one constant Gauss curvature net, which has two parallel constant mean or constant harmonic mean curvature nets if $\unicode[STIX]{x1D71A}^{2}-\unicode[STIX]{x1D707}^{2}=\unicode[STIX]{x1D6FC}\unicode[STIX]{x1D6FE}-\unicode[STIX]{x1D6FD}^{2}<0$ .

   1. (ii) If $(\unicode[STIX]{x1D6FC}+\unicode[STIX]{x1D6FE})/2=\pm \unicode[STIX]{x1D6FD}$ , we find, with $(\unicode[STIX]{x1D6FC}-\unicode[STIX]{x1D6FE})/2=\unicode[STIX]{x1D707}\neq 0$ ,

      $$\begin{eqnarray}\displaystyle & \displaystyle \unicode[STIX]{x1D6FC}(\unicode[STIX]{x1D717})=\unicode[STIX]{x1D707}\pm \unicode[STIX]{x1D6FD}e^{\pm 2\unicode[STIX]{x1D717}},\qquad \unicode[STIX]{x1D6FD}(\unicode[STIX]{x1D717})=\unicode[STIX]{x1D6FD}e^{\pm 2\unicode[STIX]{x1D717}}\qquad \text{and} & \displaystyle \nonumber\\ \displaystyle & \displaystyle \unicode[STIX]{x1D6FE}(\unicode[STIX]{x1D717})=-\unicode[STIX]{x1D707}\pm \unicode[STIX]{x1D6FD}e^{\pm 2\unicode[STIX]{x1D717}}. & \displaystyle \nonumber\end{eqnarray}$$
      Thus, as long as $\unicode[STIX]{x1D6FD}\neq 0$ , the parallel family contains no constant Gauss curvature net, but either one constant mean or one constant harmonic mean curvature net, depending on the sign of $(\unicode[STIX]{x1D6FC}-\unicode[STIX]{x1D6FE})/(\unicode[STIX]{x1D6FC}+\unicode[STIX]{x1D6FE})$ . On the other hand, $\unicode[STIX]{x1D6FD}=0$ yields a parallel family of flat fronts (see Example 4.3).

      Note that we obtain discrete analogs of linear Weingarten surfaces of Bryant type in hyperbolic or de Sitter space here. With $\unicode[STIX]{x1D700}=-(\mathfrak{pp})$ and $\unicode[STIX]{x1D705}=-(\mathfrak{qq})=-\unicode[STIX]{x1D700}$ , and assuming, without loss of generality,Footnote ²⁸ that $(\unicode[STIX]{x1D6FC}+\unicode[STIX]{x1D6FE})/2=-\unicode[STIX]{x1D6FD}$ , the linear Weingarten condition reads

      $$\begin{eqnarray}0=(\unicode[STIX]{x1D707}-\unicode[STIX]{x1D6FD})(K-1)+2\unicode[STIX]{x1D6FD}\,(H-1)=(\unicode[STIX]{x1D707}-\unicode[STIX]{x1D6FD})\unicode[STIX]{x1D700}\,K_{int}+2\unicode[STIX]{x1D6FD}\,(H-1).\end{eqnarray}$$
      As in the smooth case (see [Reference Burstall, Hertrich-Jeromin and Rossman8, Section 4]), a characteristic feature of these nets is that one of the linear sphere complexes $\mathfrak{k}^{\pm }$ consists of spheres touching the infinity sphere $\mathfrak{p}-\mathfrak{q}$ :
      $$\begin{eqnarray}W=(\unicode[STIX]{x1D707}-\unicode[STIX]{x1D6FD})\,\mathfrak{q}\odot \mathfrak{q}+2\unicode[STIX]{x1D6FD}\,\mathfrak{q}\odot \mathfrak{p}-(\unicode[STIX]{x1D707}+\unicode[STIX]{x1D6FD})\,\mathfrak{p}\odot \mathfrak{p}=\mathfrak{k}^{+}\odot \mathfrak{k}^{-},\end{eqnarray}$$
      with $\mathfrak{k}^{+}=\mathfrak{p}-\mathfrak{q}$ and $\mathfrak{k}^{-}=(\unicode[STIX]{x1D6FD}-\unicode[STIX]{x1D707})\,\mathfrak{q}-(\unicode[STIX]{x1D6FD}+\unicode[STIX]{x1D707})\,\mathfrak{p}$ . This observation leads to a geometric Weierstrass type representation for these linear Weingarten nets (cf. [Reference Hoffmann, Rossman, Sasaki and Yoshida15]).

   1. (iii) If $|(\unicode[STIX]{x1D6FC}+\unicode[STIX]{x1D6FE})/2|<|\unicode[STIX]{x1D6FD}|$ , we write $(\unicode[STIX]{x1D6FC}-\unicode[STIX]{x1D6FE})/2=\unicode[STIX]{x1D707}$ , $(\unicode[STIX]{x1D6FC}+\unicode[STIX]{x1D6FE})/2=\unicode[STIX]{x1D71A}\sinh 2\unicode[STIX]{x1D714}$ and $\unicode[STIX]{x1D6FD}=\unicode[STIX]{x1D71A}\cosh 2\unicode[STIX]{x1D714}$ , to find

      $$\begin{eqnarray}\displaystyle & \displaystyle \unicode[STIX]{x1D6FC}(\unicode[STIX]{x1D717})=\unicode[STIX]{x1D707}+\unicode[STIX]{x1D71A}\sinh 2(\unicode[STIX]{x1D717}+\unicode[STIX]{x1D714}),\qquad \unicode[STIX]{x1D6FD}(\unicode[STIX]{x1D717})=\unicode[STIX]{x1D71A}\cosh 2(\unicode[STIX]{x1D717}+\unicode[STIX]{x1D714}) & \displaystyle \nonumber\\ \displaystyle & \displaystyle \text{and}\qquad \unicode[STIX]{x1D6FE}(\unicode[STIX]{x1D717})=-\unicode[STIX]{x1D707}+\unicode[STIX]{x1D71A}\sinh 2(\unicode[STIX]{x1D717}+\unicode[STIX]{x1D714}). & \displaystyle \nonumber\end{eqnarray}$$
      Thus, the family does not contain any nets of constant Gauss curvature, but a constant mean and a constant harmonic mean curvature net are obtained when $\sinh 2(\unicode[STIX]{x1D717}+\unicode[STIX]{x1D714})=\mp \frac{\unicode[STIX]{x1D707}}{\unicode[STIX]{x1D71A}}$ . When $\unicode[STIX]{x1D707}=0$ , these coincide and the net is minimal.

Thus, in any family of parallel (non-tubular) linear Weingarten nets, there occurs at least one of the special nets that the Lawson transformation was discussed for in the above examples. In particular, our analysis shows that the genericity issue of the Lawson transformation only occurs in the cases of parallel families of intrinsically flat surfaces in nonzero ambient curvature.Footnote ²⁹