Abstract
We give a detailed description of the geometry of isotropic space, in parallel to those of Euclidean space within the realm of Laguerre geometry. After developing basic surface theory in isotropic space, we define spin transformations, directly leading to the spinor representation of conformal surfaces in isotropic space. As an application, we obtain the Weierstrass-type representation for zero mean curvature surfaces, and the Kenmotsu-type representation for constant mean curvature surfaces, allowing us to construct many explicit examples.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The Erlanger program [17] of Klein was epochal to the field of differential geometry for obtaining space form geometries via transformation groups, also investigated in his two papers [16, 18]. The central idea was to present projective geometry as the commonground for various known space form geometries. In particular, applying the ideas of Cayley [6], Klein showed a way to define metrics in the realm of projective geometry by restricting to projective transformations that leave a certain quadric invariant. This was referred to as the absolute by Cayley. By doing so, Klein unified Euclidean geometry with the various non-Euclidean geometries including hyperbolic geometry and elliptical geometry as subgeometries of projective geometry.
Researchers found other ways to choose the absolute; the geometry of isotropic plane is one of such Cayley-Klein geometries, first studied in works such as [3, 4, 35]. The study of isotropic 3-space followed soon, most notably by Strubecker, covering the basics of isotropic geometry [29], space curve theory [30], and surface theory [31,32,33,34]. Many modern expositions on the topic of isotropic plane and isotropic space including [27, 38] also follow such approach of Klein. Recently, the geometry of isotropic space has gained interest, most notably for their applicability to architectural geometry [25] (see also, for example, [15, 21, 36, 37]).
On the other hand, spin transformations for conformal surfaces in Euclidean space were defined in [13] by relating two conformally equivalent surfaces via homotheties and rotations of the corresponding tangent planes. Spin transformations were used to characterize Bonnet pairs via isothermic surfaces, a class of surfaces that admit conformal curvature coordinates. The quaternionic description of rotation in Euclidean space proved to be central to obtaining the Dirac-type equation as the compatibility condition for spin transformations [13], and deriving spinor representations of conformal surfaces [19] via spin transformations [9].
In this paper, we propose Laguerre geometry as a basis for understanding isotropic space and surface theory within, which in itself is closely related to the approach of Klein. Laguerre geometry [20] is concerned with the set of transformations in Euclidean space that maps points (viewed as zero radius spheres) and spheres to points and spheres, and planes to planes. (For details, see [5, 7], for example.) The corresponding Laguerre geometry of isotropic geometry was given in [10, 24, 26]; our primary motivation for using Laguerre geometry is to unify the approaches to Euclidean geometry and isotropic geometry. Thus in Sect. 2, we show that the Laguerre geometric description of Euclidean space carries over to isotropic space by viewing both space forms as hyperplanes in the Minkowski 4-space (see also [22, 23]). In particular, we carefully review the notions of Laguerre geometry in Euclidean space in Sect. 2.1, where the Euclidean notions will provide valuable intuition for the definitions of points, spheres, planes, and normals in isotropic space, which we introduce in Sect. 2.2. In doing so, we also check that our definitions are in harmony with the classical definitions given in [29] or [25]. Such approach allows for the geometry of isotropic space to be understood in parallel to that of Euclidean space, without any prior knowledge of projective geometry.
Laguerre geometric approach to isotropic space turns out to be highly suitable for surface theoretic considerations, which is the center of our attention in Sect. 3. By viewing surfaces as codimension two immersions in Minkowski 4-space, we use the notion of lightcone Gauss maps of [12], which we call lightlike Gauss maps after [22], to define the second fundamental form of the surface. This allows us to recover the structure equations of Gauss and Weingarten, given by Strubecker in [32] (see Sect. 3.1).
Furthermore, the well-known isomorphism between Minkowski 4-space and Hermitian matrices allows us to use the matrix group \(\textrm{SL}(2,{\mathbb {C}})\) to obtain a quaternion-like description of rotations in isotropic 3-space. Thus, after converting the structure equations in terms of Hermitian matrices in Sect. 3.1, we define spin transformations of conformal surfaces in isotropic 3-space in Definition 3.5, and obtain Dirac-type equation as the compatibility condition in Theorem 3.6. We note here that since surfaces in isotropic 3-space can be regarded as objects in Minkowski 4-space, the spin transformation is a special case of the result in [2] (see also [1]).
Using spin transformations, we then obtain the spinor representation of conformal surfaces in isotropic 3-space in Theorem 3.7, a notion that can also be interpreted as Kenmotsu representation for surfaces with prescribed mean curvature [14] (see Remark 3.8). As an application, we recover the Weierstrass-type representation for minimal surfaces [32] (see also [8, 22, 27, 28]) in Theorem 3.9. We also obtain the Kenmotsu-type representation for non-zero constant mean curvature (cmc) surfaces in isotropic 3-space in Theorem 3.10. A standout feature of the Kenmotsu-type representation for cmc surfaces in isotropic 3-space is that one can obtain many explicit examples of cmc surfaces using the representation; we demonstrate this with concrete examples given in Sect. 3.5.
2 Geometry of Isotropic 3-Space
The parallels between the geometry of isotropic 3-space and Euclidean 3-space cannot be understood using the approach involving inner products, since the inner product of isotropic 3-space is degenerate. Thus to see the parallelism between the two spaces, we need to understand both geometries without any dependence on metrics. We propose Laguerre geometry [20] as the commonground for understanding the geometry of both Euclidean and isotropic 3-spaces without any use of inner products (see also [23, Example 3.3]).
In this section, we first give a detailed Laguerre geometric description of basic geometric objects such as planes, spheres, and normals in Euclidean 3-space without dependence on the standard Euclidean metric, where Euclidean geometric intuition will serve as justifications for the definitions. We then use the intuition gained from the Euclidean case to define the analogous geometric objects in isotropic 3-space using Laguerre geometry, making connections to previously known descriptions of isotropic 3-space.
2.1 Laguerre Geometry of Euclidean 3-Space
First, we give an account of the Laguerre geometric description of Euclidean 3-space (see also [7, §3.4] or [5, 4. Kapitel]). Let \({\mathbb {L}}^4 := \{ (x_0, x_1, x_2, x_3)^t : x_0, x_1, x_2, x_3 \in {\mathbb {R}}\} \) denote the Minkowski 4-space with the given metric
Choosing a unit timelike vector \({\mathfrak {p}}\), i.e., \(\langle {\mathfrak {p}}, {\mathfrak {p}} \rangle = -1\), we have
where \({\mathbb {E}}^3\) is the standard Euclidean 3-space. We note here that any vector \(x \in {\mathbb {L}}^4\) can be expressed as
for some \(x_E \in {\mathbb {E}}^3\) and \(\alpha \in {\mathbb {R}}\), and let \(\pi _E: {\mathbb {L}}^4 \rightarrow {\mathbb {E}}^3\) be the orthoprojection, that is, \(\pi _E x = x_E\).
Explicitly, one can normalize \({\mathfrak {p}} = (1,0,0,0)^t\) with a coordinate chart \(\psi : \{({\textbf{x}}, {\textbf{y}}, {\textbf{z}})\} \rightarrow {\mathbb {E}}^3\) so that
2.1.1 Spheres and Planes
Let \(s \in {\mathbb {L}}^4\) be any given point, and consider the affine light cone \({\mathcal {L}}_s\) centered at s, that is,
An oriented sphere S of Euclidean 3-space corresponding to s is given as the intersection between \({\mathcal {L}}_s\) and \({\mathbb {E}}^3\), i.e.,
In fact, writing
for some \(c \in {\mathbb {E}}^3\) and \(r \in {\mathbb {R}}\), we have that the center and the signed radiusFootnote 1 of S are c and r, respectively. This is called the isotropy projection (see Fig. 1a). Explicitly, for \(s = c + r {\mathfrak {p}} = (r, c_1, c_2, c_3)^t \in {\mathbb {L}}^4\), we have \(x \in {\mathcal {L}}_s \cap {\mathbb {E}}^3\) if and only if using coordinates,
Thus, every point \(s \in {\mathbb {L}}^4\) corresponds to an oriented sphere in \({\mathbb {E}}^3 \cong \langle {\mathfrak {p}} \rangle ^\perp \) under the isotropy projection.
In particular, every point \(s \in {\mathbb {L}}^4\) such that \(\langle s, {\mathfrak {p}} \rangle = 0\) corresponds to points (zero radius spheres) in \({\mathbb {E}}^3\); for this reason the vector \({\mathfrak {p}}\) is referred to as the point sphere complex.
On the other hand, consider an affine isotropic hyperplane \(I_{g,q}\) given by a null vector \(g \in {\mathbb {L}}^4\) and some constant \(q \in {\mathbb {R}}\) via
Without loss of generality, we normalize g so that
An oriented plane P in \({\mathbb {E}}^3\) is then given by the intersection between such affine isotropic hyperplanes \(I_{g,q}\) and \({\mathbb {E}}^3 \cong \langle {\mathfrak {p}} \rangle ^\perp \) (see Fig. 1b).
Explicitly, let \(g = (1, g_1, g_2, g_3)^t\). Then we have \(x \in P = I_{g,q} \cap {\mathbb {E}}^3\) if and only if
so that P is a plane in the coordinate space \(\{({\textbf{x}}, {\textbf{y}}, {\textbf{z}})\}\).
Remark 2.1
The prescription of orientation on spheres and planes is essential. In the case of spheres, both \(s = c + r {\mathfrak {p}}\) and \({\tilde{s}} = c - r {\mathfrak {p}}\) give the same sphere in \({\mathbb {E}}^3\), but with opposite orientations. As we will see similarly for the case of planes, both \(I_{g,q}\) and \(I_{{\tilde{g}}, -q}\) for \({\tilde{g}} = (1, -g_1, -g_2, -g_3)^t\) define two distinct isotropic hyperplanes resulting in the same plane in Euclidean 3-space, but again with opposite orientations. See Fig. 2. From now on, we a priori assume that spheres and planes are prescribed with orientations, and refer to oriented spheres and oriented planes simply as spheres and planes.
2.1.2 Contact Elements and Normals
A sphere is in oriented contact with a plane if and only if the affine lightcone \({\mathcal {L}}_s\) defining the sphere is tangent to the isotropic hyperplane \(I_{g,q}\) defining the plane. Thus a sphere S defined by \(s \in {\mathbb {L}}^4\) and plane P defined by \(I_{g,q}\) are in oriented contact if and only if \(s \in I_{g,q}\) (see Fig. 3a).
Now suppose that \(s \in I_{g,q}\), and let L be the affine line along which \(I_{g,q}\) is tangent to \({\mathcal {L}}_s\), i.e. \(L = I_{g,q} \cap {\mathcal {L}}_s\). For any \({\tilde{s}} \in L\), we have that
Since \(s \in I_{g,q}\) implies that \(\langle s, g \rangle = q\), we note that
implying that \({\tilde{s}} - s\) and g are both null vectors that are orthogonal to each other. Thus, \({\tilde{s}} - s = a g\) for some \(a \in {\mathbb {R}}\), that is, L is an affine null line in the direction of g.
Defining \(x = L \cap {\mathbb {E}}^3\), we see that S is in oriented contact with P at the point x (see Fig. 3b). Furthermore, any other \({\tilde{s}} \in L\) also defines a sphere \({\tilde{S}}\) in oriented contact with P at the point x (see Fig. 3c). Thus, an affine null line L represents a 1-parameter family of spheres in oriented contact with each other, also called a parabolic sphere pencil (cf. [11, Definition 1.2.3]); since parabolic sphere pencils uniquely determine the oriented contact at the corresponding points, they are referred to as contact elements, and we denote the set of all contact elements by
To recover the normal to the plane P within the Euclidean space in this setup, let L be a contact element of P at x. Consider \(N := \pi _E L\), the orthoprojection of L to \({\mathbb {E}}^3\). Then the centers of the spheres represented by L lie on N (2.1); thus, basic Euclidean geometry tells us that N is orthogonal to P (see Fig. 3d). Intersecting N with the unit sphere centered at x, we obtain the unit normal \(\nu \) to the plane P in Euclidean 3-space.Footnote 2
In fact, we can explicitly calculate the unit normal \(\nu \) to the plane from the isotropic hyperplane \(I_{g,q}\) generating the plane. Recall that L is an affine null line through x pointing in the direction of \(g = (1, g_1, g_2, g_3)^t\). Thus \(N = \pi _E L\) is a line through x pointing in the direction of \(\pi _E g = g_E = (0, g_1, g_2, g_3)^t\), which is the unit Euclidean normal to the plane (2.4) where the unit length follows from the normalization of g (2.3).
Conversely, given a unit normal \(\nu \) to a plane P in Euclidean space, one can easily recover g via \(g = \nu + {\mathfrak {p}}\).
2.1.3 Surfaces and Their Contact Elements
Let \(x: \Sigma \rightarrow {\mathbb {E}}^3\) be an immersion defined on some simply-connected domain \(\Sigma \). For every point \(p \in \Sigma \), the tangent plane to x at x(p), denoted by \(T_{x(p)} x\), gives rise to a contact element of \(T_{x(p)} x\) at x(p), represented by an affine null line \(L(p) \in {\mathcal {Z}}\). The contact element L(p) also gives rise to the unit normal \(\nu (p)\) to \(T_{x(p)} x\) at x(p), so that \(\nu : \Sigma \rightarrow S^2 \subset {\mathbb {E}}^3\) is the Gauss map of x. Thus a surface, together with its contact elements, can be thought of as a map into the set of contact elements \(L : \Sigma \rightarrow {\mathcal {Z}}\), which we call the contact lift of x. In fact, we have
Now, we aim to understand when a surface can be recovered from a map into the set of contact elements \(L : \Sigma \rightarrow {\mathcal {Z}}\), where we view L as a null line bundle. For this, we first define the following notions:
Definition 2.2
Let \(L : \Sigma \rightarrow {\mathcal {Z}}\) be a map into the set of contact elements, and let \(G : \Sigma \rightarrow {\mathbb {P}}({\mathcal {L}})\) such that \(G(p) \parallel L(p)\) for every \(p \in \Sigma \). L is called a Legendre map or a frontal if L satisfies the contact condition on \(\Sigma \):
A Legendre map L further satisfying the immersion condition on \(\Sigma \):
is called a Legendre immersion, or a \(front \).
From a Legendre map L, one can recover the surface by taking the intersection with \({\mathbb {E}}^3\), i.e. \(x = L \cap \langle {\mathfrak {p}} \rangle ^\perp : \Sigma \rightarrow {\mathbb {E}}^3\). Under the assumption that x so recovered immerses, we can recover the Gauss map as follows: let \(G : \Sigma \rightarrow {\mathbb {P}}({\mathcal {L}})\) be as in Definition 2.2, and consider the affine hyperplane \(\Pi \) parallel to \({\mathbb {E}}^3\) defined via
Let \(g: \Sigma \rightarrow {\mathcal {L}}\) be defined via \(g := G \cap \Pi \), that is, \(g \in \Gamma G\) with \(\langle g, {\mathfrak {p}}\rangle = -1\). Then we have
for some \(\nu : \Sigma \rightarrow S^2 \subset {\mathbb {E}}^3\). Therefore, \(\pi _E g = \nu \) is the Gauss map of x, and we call g the lightlike Gausmap [12, p. 517].
To justify our Definition 2.2 of frontals and fronts, recall that \(x: \Sigma \rightarrow {\mathbb {R}}^3\) is called a frontal if one can find a unit normal vector field \(\nu : \Sigma \rightarrow S^2\), that is, \({\textrm{d}}{x} \perp \nu \), while x is a front if \((x,\nu ) : \Sigma \rightarrow {\mathbb {R}}^3 \times S^2\) is an immersion. Now, let \(L: \Sigma \rightarrow {\mathcal {Z}}\) with \(x := L \cap {\mathbb {R}}^3\), and define \(G : \Sigma \rightarrow {\mathbb {P}}({\mathcal {L}})\) as in Definition 2.2 so that \(L = x + G\). Again, let \(g \in \Gamma G\) such that \(\langle g, {\mathfrak {p}} \rangle = -1\), and define \(\nu := \pi _E g : \Sigma \rightarrow S^2\), i.e. \(g = \nu + {\mathfrak {p}}\).
To consider the contact condition (2.6), first note that the choice of section \(g \in \Gamma G\) does not matter; thus take \(g = \nu + {\mathfrak {p}}\), and let \(\ell \in \Gamma L\) be any section. Then there is a function \(\alpha : \Sigma \rightarrow {\mathbb {R}}\) satisfying
so that
Therefore,
Hence we have that L is Legendre if and only if \(\nu \) is a unit normal vector field of x, i.e. x is a frontal.
For the immersion condition (2.7), assume that L is Legendre, and suppose for any section \(\ell \in \Gamma L\) that
Equivalently, we have for any \(\alpha : \Sigma \rightarrow {\mathbb {R}}\),
Thus L satisfies the immersion condition (2.7) if and only if x is a front.
Remark 2.3
We remark here that (2.8) holds true if X is a principal direction and \(\alpha \) is the radius of the corresponding curvature sphere. Noting that any section \(\ell \in \Gamma L\) represents a sphere congruence enveloping x, we see that \(\ell \) is a curvature sphere congruence if and only if
for some non-zero \(X \in \Gamma T\Sigma \). Moreover, such X gives the principal direction.
2.1.4 Isometries Fixing the Origin
Finally, denoting by \(\textrm{SO}(3,1)\) the orthogonal group of \({\mathbb {L}}^4\), the orientation-preserving isometries of \({\mathbb {E}}^3\) fixing the origin are given by all \(A \in \textrm{SO}(3,1)\) such that \(A{\mathfrak {p}} = {\mathfrak {p}}\).
2.1.5 Summary
We conclude this section by providing a summary of the Laguerre representatives of Euclidean objects:
-
The space form \({\mathbb {E}}^3\) is obtained via a timelike point sphere complex \({\mathfrak {p}}\) through the straightforward isomorphism \({\mathbb {E}}^3 \cong \langle {\mathfrak {p}} \rangle ^\perp \).
-
An oriented sphere with center \(c \in {\mathbb {E}}^3\) and radius \(r \in {\mathbb {R}}\) is represented by \(s = c + r {\mathfrak {p}} \in {\mathbb {L}}^4\), and recovered by taking the intersection of \({\mathbb {E}}^3\) with the affine lightcone centered at s.
-
An oriented plane P is represented by an isotropic hyperplane \(I_{g,q}\) determined by a null vector g and a constant q.
-
A contact element (parabolic sphere pencil) is represented by an affine null line L.
-
The normal line N to the plane P is given by the orthoprojection of an affine null line \(L \subset I_{g,q}\).
-
A surface together with its tangent bundle is given by the map into the set of contact elements \({\mathcal {Z}}\).
2.2 Laguerre Geometry of Isotropic 3-Space
Now we turn our attention to isotropic 3-space and define its basic geometric objects analogously to those of the Euclidean case using Laguerre geometry summarized in Sect. 2.1.5. For the classical approaches to isotropic geometry, we kindly refer the readers to [27].
Choosing a point sphere complex \({\mathfrak {p}}\) so that \(\langle {\mathfrak {p}}, {\mathfrak {p}} \rangle = 0\), the isotropic 3-space \({\mathbb {I}}^3\) can be defined via
Now we let \(\tilde{{\mathfrak {p}}} \in {\mathcal {L}}\) with \(\langle {\mathfrak {p}}, \tilde{{\mathfrak {p}}} \rangle = 1\), so that
Then any \(x \in {\mathbb {L}}^4\) can now be written as
for \(x_I \in {\mathbb {I}}^3\) and \(\alpha \in {\mathbb {R}}\). We define the projection \(\pi _I: {\mathbb {L}}^4 \rightarrow {\mathbb {I}}^3\) via \(\pi _I x = x_I\).
To make explicit connection with previously known definitions of planes and spheres of isotropic 3-space (see, for example, [25]), we normalize \({\mathfrak {p}}\) and \(\tilde{{\mathfrak {p}}}\) so that
Let \(\psi : \{({\textbf{l}}, {\textbf{x}}, {\textbf{y}})\} \rightarrow {\mathbb {I}}^3\) be a coordinate chart so that
Then the metric \(g_{{\mathbb {I}}^3}\) of \({\mathbb {I}}^3\) is endowed from the ambient space \({\mathbb {L}}^4\) so that
Remark 2.4
When describing or visualizing isotropic 3-space using the coordinate space \(\{({\textbf{l}}, {\textbf{x}}, {\textbf{y}})\}\), we will refer to the \({\textbf{l}}\)–direction as vertical.
Remark 2.5
We will refer to both \(({\textbf{l}}, {\textbf{x}}, {\textbf{y}}, {\textbf{l}})^t \in {\mathbb {L}}^4\) and \(\psi ^{-1}(({\textbf{l}}, {\textbf{x}}, {\textbf{y}}, {\textbf{l}})^t) = ({\textbf{l}}, {\textbf{x}}, {\textbf{y}})\) as being in the isotropic 3-space.
2.2.1 Spheres in Isotropic Space
Analogous to the Euclidean case, let an oriented sphere S in isotropic space be defined via \(S := {\mathcal {L}}_s \cap {\mathbb {I}}^3\), where \({\mathcal {L}}_s\) denotes an affine lightcone centered at any \(s \in {\mathbb {L}}^4\). To find the “center” and the “radius” of the sphere in isotropic space, let \(s = (s_0, s_1, s_2, s_3)^t\), and note that \(x \in {\mathbb {I}}^3\) implies that via coordinates, \(x = ({\textbf{l}}, {\textbf{x}}, {\textbf{y}}, {\textbf{l}})^t\). Now for \(c = (c_0, c_1, c_2, c_0)^t := \pi _I s\) and some \(r \in {\mathbb {R}}\), we can write
Thus \(x \in {\mathcal {L}}_s \cap {\mathbb {I}}^3\) if and only if
so that
We say that the sphere given by (2.9) or (2.10) has center \(c = (c_0, c_1, c_2)\) and radius r in the coordinate space \(\{ ({\textbf{l}}, {\textbf{x}}, {\textbf{y}}) \}\).
If \(r \ne 0\), then this gives a sphere of non-zero radius in isotropic 3-space, also called an i-sphere of the parabolic type in [25, Equation (3)], which is a paraboloid of rotation in the coordinate space. In particular, if \(r = 1\), then we call it a unit sphere. Furthermore, if a unit sphere is centered at the origin, then
which coincides with the isotropic unit sphere given in [25, Equation (5)]. It can be checked that the metric of these spheres induced by the ambient space is Riemannian; hence, we refer to these spheres as spacelike spheres.
On the other hand, if \(r \rightarrow 0\) and \(c_0 \rightarrow -\infty \) at suitable rates so that \(r c_0 \rightarrow R \in {\mathbb {R}}_{\ge 0}\), then we also have
These are spheres of zero radius in isotropic 3-space, also called the i-spheres of the cylindrical type, and are vertical lines or a circular cylinders in the coordinate space. Again, one can check that the metric of these spheres induced by the ambient space is degenerate, and we refer to these spheres as lightlike spheres.
2.2.2 Planes in Isotropic Space
Analogous to the Euclidean case, oriented planes P in isotropic 3-space are given by the intersection of affine isotropic hyperplanes \(I_{g,q}\) and \({\mathbb {I}}^3 \cong \langle {\mathfrak {p}} \rangle ^\perp \). Explicitly, let an affine isotropic hyperplane \(I_{g,q}\) be as in (2.2) for some lightlike \(g = (g_0, g_1, g_2, g_3)^t\). Then \(x \in P = I_{g,q} \cap {\mathbb {I}}^3\) if and only if
in the coordinate space.
Since g is lightlike, \(g_0 = g_3\) implies \(g = 0\). Thus, we may assume that \(g_0 \ne g_3\) so that \(g \not \in {\mathbb {I}}^3\), then we obtain non-vertical planes in the coordinate space, which we refer to as spacelike planes (see Fig. 5).
Since \(\langle g, {\mathfrak {p}} \rangle = g_3 -g_0\), in the case of spacelike planes, we normalize g without loss of generality so that \(\langle g, {\mathfrak {p}} \rangle = 1\). Then \(g = (g_0, g_1, g_2, g_0 + 1)^t\), and the equation of the plane becomes
2.2.3 Contact Elements and Normals
Since we are mainly interested in spacelike surfaces, i.e. surfaces whose induced metric is Riemannian, we will only discuss contact elements for spacelike planes. Let P be a spacelike plane in \({\mathbb {I}}^3\) given by affine isotropic hyperplane \(I_{g,q}\) with lightlike \(g = (g_0, g_1, g_2, g_0 + 1)^t\). As in the Euclidean case, the sphere S given by \(s \in {\mathbb {L}}^4\) is in oriented contact with P if and only if \({\mathcal {L}}_s\) is tangent to \(I_{g,q}\), or equivalently, \(s \in I_{g,q}\) (see Fig. 6a).
Now, if we let L be the affine line along which \(I_{g,q}\) and \({\mathcal {L}}_s\) is tangent as in Sect. 2.1.2, then we have again that L is an affine null line pointing in the direction of \(g \not \in {\mathbb {I}}^3\). Thus, we can uniquely find \(x = L \cap {\mathbb {I}}^3\) (see Fig. 6b), and see that L represents all spheres that are in oriented contact with the plane P at the point x (see Fig. 6c).
Let \(N := \pi _I L\) be the projection of L, and for \(g_I := \pi _I g\), write g as
Then N is a line in the direction of \(g_I\), and the centers of the spheres represented by L lie in N (2.9). We then take the unique intersection \(\nu \) of N with the unit sphere centered at x: we call \(\nu \) the unit normal to the plane P (see Fig. 6d).
To find \(\nu \) explicitly, we first see that
since \(g_I \in {\mathbb {I}}^3\). Hence
To see when N intersects the unit sphere centered at \(x =: (c_0, c_1, c_2, c_0)^t\), we parametrize N via
so that
Now calculate using (2.10) with center \(\psi ^{-1} (x) = (c_0, c_1, c_2)\) and \(r = 1\) that
However, since g is lightlike, we have
so that
Thus, we can explicitly calculate the unit normal to any spacelike plane given in the coordinate space:
Proposition 2.6
Let P be a spacelike plane in isotropic 3-space given via
for some \(\alpha , \beta , \gamma , q \in {\mathbb {R}}\). Then the unit normal \(\nu \) to P is given by
Proof
Since P is a spacelike plane, (2.11) implies \(\alpha \ne 0\), allowing us to divide the equation giving the plane by \(\alpha \) so that
Comparing with (2.12), we see \(g_1 = \frac{\beta }{\alpha }\) and \(g_2 = \frac{\gamma }{\alpha }\), and substituting these into (2.13) gives the desired conclusion. \(\square \)
2.2.4 Surfaces and Their Contact Elements
Now let \(x : \Sigma \rightarrow {\mathbb {I}}^3\) be a spacelike immersion surface, that is, for every \(p \in \Sigma \), the tangent plane \(T_{x(p)} x\) is spacelike. The Gauss map of x is then given by taking the unit normal to the tangent plane \(T_{x(p)} x\) as in Proposition 2.6. (Note that our definition of the Gauss map (almost)Footnote 3 coincides with the original definition of spherical image in [32, § 76] (see also [31, § 28]).) In addition, \(T_{x(p)} x\) again gives rise to a contact element \(L(p) \in {\mathcal {Z}}\) such that \(x(p) = L(p) \cap {\mathbb {I}}^3\). Thus, as in the Euclidean case, a surface and its contact element is represented by a map into the set of contact elements, \(L: \Sigma \rightarrow {\mathcal {Z}}\), which we refer to as the contact lift of x.
Conversely, let \(L: \Sigma \rightarrow {\mathcal {Z}}\) be a Legendre immersion into the set of contact elements. Unlike the Euclidean case, we need to assume some regularity conditions on L:
Assumption 2.7
On every \(p \in \Sigma \):
-
1.
\(L(p) \cap {\mathbb {I}}^3 \ne \varnothing \) to ensure that the surface is defined, and
-
2.
\(L(p) \not \subset {\mathbb {I}}^3\) to ensure that the tangent plane of the surface is spacelike.
Note that both of these conditions are trivially satisfied in the Euclidean case.
Under the non-degeneracy condition, we can recover the surface \(x : \Sigma \rightarrow {\mathbb {I}}^3\) from L by taking the intersection with \({\mathbb {I}}^3\), that is, \(x := L \cap \langle {\mathfrak {p}} \rangle ^\perp \). We can also recover the Gauss map by considering the unique map into the projective light cone \(G: \Sigma \rightarrow {\mathbb {P}}({\mathcal {L}})\) so that \(G(p) \parallel L(p)\) for every \(p \in \Sigma \). For a hyperplane \(\Pi \) parallel to \({\mathbb {I}}^3\) defined by
let \(g: \Sigma \rightarrow {\mathcal {L}}\) be defined via \(g := G \cap \Pi \). Using the decomposition \({\mathbb {L}}^4 = {\mathbb {I}}^3 \oplus \langle \tilde{{\mathfrak {p}}} \rangle \), the condition \(\langle g, {\mathfrak {p}} \rangle = 1\) tells us that
The Gauss map \(\nu \) is thus given by \(\pi _I g = g_I\) while we call g the lightlike Gauss map of x.
In fact, L being Legendre gives important information about the lightlike Gauss map:
Lemma 2.8
Suppose that \(x: \Sigma \rightarrow {\mathbb {I}}^3\) is a spacelike immersion, and let \(g: \Sigma \rightarrow {\mathbb {L}}\) be its lightlike Gauss map. Then we have
Proof
Let \(L:\Sigma \rightarrow {\mathcal {Z}}\) be the contact lift of x, so that L is a Legendre immersion. Take any section \(\ell \in \Gamma L\), so that we can write
for some \(\alpha : \Sigma \rightarrow {\mathbb {R}}\). Then the contact condition (2.6) reads
giving us the desired conclusion. \(\square \)
2.2.5 Isometries in Isotropic Space—Hermitian Matrix Model
Finally, the orientation-preserving isometries of isotropic 3-space fixing the origin are given analogously by all \(A \in \textrm{SO}(3,1)\) such that \(A{\mathfrak {p}} = {\mathfrak {p}}\). Recalling that a spacelike plane P through the origin is defined by \(I_{g,0}\) for lightlike \(g \not \in {\mathbb {I}}^3\), it is straightforward to observe that:
Lemma 2.9
In isotropic 3-space, there is only one spacelike plane through the origin up to origin-fixing isometries.
On the other hand, such isometries can be described explicitly when using the Hermitian matrix model of isotropic 3-space, which we explain now. The set of \(2\times 2\) Hermitian matrices denoted by \(\textrm{Herm}(2)\) is given by
and we identify \({\mathbb {L}}^4 \cong \textrm{Herm}(2)\) via
Under this identification, we have
Thus the action of \(F \in \textrm{SL}(2,{\mathbb {C}})\) on \(X \in \textrm{Herm}(2)\) via
amounts to an origin-fixing isometry of \({\mathbb {L}}^4\), where \(F^*\) denotes the conjugate transpose of F. Since F and \(-F\) are the same action, we have that \(\textrm{SL}(2,{\mathbb {C}})\) is a double cover of \(\textrm{SO}(3,1)\).
The Hermitian matrix model of isotropic 3-space is then given by
Noting that
we have that for \(F = \begin{pmatrix} a &{}\quad b \\ c &{}\quad d \end{pmatrix} \in \textrm{SL}(2,{\mathbb {C}})\),
Thus, if F is an isometry of isotropic 3-space fixing the origin, that is, \(F{\mathfrak {P}}F^* = {\mathfrak {P}}\), then we have \(c = 0\) and \(a = e^{i \theta }\) for some \(\theta \in {\mathbb {R}}\). Furthermore, since \(F \in \textrm{SL}(2,{\mathbb {C}})\), we must have that
so that \(d = e^{-i \theta }\). Summarizing:
Lemma 2.10
The action of \(F \in \textrm{SL}(2,{\mathbb {C}})\) on \(X \in \textrm{Herm}(2)\) is an isometry of isotropic 3-space fixing the origin if and only if \(F \in \textrm{SU}(1,0,1)\) where
With such explicit parametrization of \(\textrm{SU}(1,0,1)\), we can also parametrize the Lie algebra \(\mathfrak {su}(1,0,1)\):
We state the following corollary which will be useful later on:
Corollary 2.11
If \(F \in \textrm{SU}(1,0,1)\), then
Proof
The result follows directly using calculation with explicit parametrization given in (2.14). \(\square \)
3 Spin Transformations and Spinor Representation
In this section, we consider the spin transformations of conformally immersed spacelike surfaces in isotropic 3-space, analogously to those of Euclidean 3-space defined in [13, Definition 2.1]. After recovering the structure equations using the Minkowski model of \({\mathbb {L}}^4\), we utilize the Hermitian matrix model to define spin transformations since the group of origin-fixing isometries play an important role in the definition. Using spin transformations, we recover the spinor representation of conformal immersions in isotropic 3-space, and obtain the Weierstrass-type representation for minimal surfaces and the Kenmotsu-type representation for (non-zero) constant mean curvature (cmc) surfaces as an application.
3.1 Basic Surface theory of Spacelike Surfaces
Suppose that \(x : \Sigma \rightarrow {\mathbb {I}}^3\) is a spacelike immersion, i.e. the induced metric from the ambient space \({\mathbb {L}}^4\) is Riemannian. Thus, we may assume that \((u,v) \in \Sigma \) are conformal coordinates, allowing us to introduce a complex structure via \(z = u + i v\), and let
denote the Wirtinger derivatives. Then the metric of the surface can be written as
for some function \(\sigma : \Sigma \rightarrow {\mathbb {R}}\).
The key difference from the Euclidean case arises in the consideration of the second fundamental form: the Gauss map \(\nu \) of the surface in isotropic 3-space is defined via contact, not metric, and thus, \(\langle {\textrm{d}}{x}, \nu \rangle \ne 0\) in general. To overcome this issue, we take advantage of viewing isotropic 3-space within Minkowski 4-space: we treat spacelike surfaces in isotropic 3-space as spacelike surfaces (of codimension two) in Minkowski 4-space with a flat normal bundle. Every fiber of the normal bundle is spanned by a constant vector \({\mathfrak {p}}\) and the lightlike Gauss map \(g : \Sigma \rightarrow {\mathcal {L}}\) of x, i.e. \(\langle g, {\mathfrak {p}} \rangle = 1\), since Lemma 2.8 tells us that the fact that x is an immersion implies \(\langle {\textrm{d}}{x}, g \rangle = 0\). In other words, \({\mathfrak {p}}\) and g constitute a null basis of the fibers of the normal bundle.
Furthermore, since \({\mathfrak {p}}\) is a constant section of the normal bundle, we only need to consider the lightlike Gauss map g for the second fundamental form; thus, we define the coefficients of the second fundamental form as
Remark 3.1
Since \(g = \nu + \tilde{{\mathfrak {p}}}\) for the Gauss map \(\nu \), we have
so that the coefficients of the second fundamental form can also be calculated from the Gauss map \(\nu \) via
The shape operator S satisfies
so that the mean curvature H is
while the Hopf differential can be defined by
Now we use \(\{x_z, x_{{\bar{z}}}, {\mathfrak {p}}, g\}\) as a basis to calculate the Gauss-Weingarten equations:
Note that the coefficient of g always vanishes; therefore, we can treat the Gauss-Weingarten equations (3.2) purely within the scope of isotropic 3-space [32, § 72].
The Gauss equation and the Codazzi equation follow:
Remark 3.2
Noting that the (extrinsic) Gaussian curvature is given by
we see that the Gauss equation implies that the Gaussian curvature is extrinsic. This is a fact noted by Strubecker in [31, § 27], where K is called the relative curvature.
Remark 3.3
The calculation of the structure equations for surfaces in Euclidean space can be carried out similarly: Namely, viewing the surface in Minkowski 4-space (having codimension two), one can note that the fibers of the normal bundle are spanned by the Euclidean Gauss map \(\nu \) and the timelike point sphere complex \({\mathfrak {p}}\). Since \({\mathfrak {p}}\) is again a constant section of the normal bundle, the second fundamental form is calculated using \(\nu \). The Gauss-Weingarten equations can also be calculated using the basis \(\{x_z, x_{{\bar{z}}}, \nu , {\mathfrak {p}}\}\); however, in the Euclidean case, the coefficient of \({\mathfrak {p}}\) vanishes, resulting in the usual Gauss-Weingarten equations for surfaces in Euclidean space expressed in terms of \(\{x_z, x_{{\bar{z}}}, \nu \}\).
For spacelike surfaces in isotropic 3-space, the coordinate function for the vertical direction is directly related to the mean curvature:
Lemma 3.4
Suppose that a spacelike surface \(x: \Sigma \rightarrow {\mathbb {I}}^3\) is parametrized via
Then we have
Proof
Note that since \(\langle x, \tilde{{\mathfrak {p}}} \rangle = {\textbf{l}}\), we have that \({\textbf{l}}_{z {\bar{z}}} = \langle x_{z{\bar{z}}} , \tilde{{\mathfrak {p}}} \rangle \). Thus,
giving us the desired conclusion. \(\square \)
Isometries fixing the origin are central to the definition of spin transformations [13, Definition 2.1]; thus, we will use the Hermitian matrix model of \({\mathbb {I}}^3\) as the switch allows us to write the isometries explicitly as in Lemma 2.10. For this, we first rewrite the Gauss-Weingarten equations (3.2) within the context of Hermitian matrix model.
Choosing the basis of \({\mathbb {L}}^4\) as \(\{ e_1, e_2, {\mathfrak {p}}, \tilde{{\mathfrak {p}}}\}\) for
we see that they correspond to
in the Hermitian matrix model, respectively.
Now, let \(F : \Sigma \rightarrow \textrm{SU}(1,0,1)\) such that
Since \(F \subset \textrm{SU}(1,0,1)\) implies that
we then have
where G is the lightlike Gauss map in the Hermitian matrix model.
Thus, using \(X_z = \frac{1}{2}(X_u - i X_v) = e^\sigma F \frac{E_1 - i E_2}{2} F^*\), we may rewrite the structure equations (3.2) as
On the other hand, differentiating \(X_z\) and G, we also obtain that
Since \(F^{-1}{\textrm{d}}{F}\) is an \(\mathfrak {su}(1,0,1)\)-valued 1–form, we use (2.15) to write
for some \(A, B, a, b : \Sigma \rightarrow {\mathbb {C}}\). Now comparing the different expressions for \(X_{zz}, X_{z{\bar{z}}}, G_z\) in (3.4) and (3.5), we obtain the relations
allowing us to solve for A, B, a, b, and conclude that
3.2 Spin Transformation and Dirac-Type Operator
Spin transformations relate two conformally equivalent surfaces via homotheties and rotations of the corresponding tangent planes. Since rotations fixing the origin are given by \(\textrm{SU}(1,0,1)\), we let
where \({\mathbb {R}}^+\) denotes the set of positive real numbers. We define spin transformations of a conformal immersion as follows:
Definition 3.5
(cf. [13, Definition 2.1]). Let \(X, {\tilde{X}}: \Sigma \rightarrow {\mathbb {I}}^3\) be conformal immersions. Then \({\tilde{X}}\) is called a spin transformation of X if there exists some \(B: \Sigma \rightarrow {\mathcal {G}}\) such that
Suppose that we wish to find spin transformations \({\tilde{X}}\) of X using (3.7). For such \({\tilde{X}}\) to exist, we need \({\textrm{d}}{({\textrm{d}}{{\tilde{X}}})} = 0\), or equivalently using coordinates,
To see when \({\textrm{d}}{{\tilde{X}}}\) is closed, note that for \({\hat{F}} := B F\), (3.7) implies
allowing us to calculate
Defining
we can verify that
so that (3.8) implies that \({\textrm{d}}{{\tilde{X}}}\) is closed if and only if
or equivalently,
Now suppose that \(B: \Sigma \rightarrow {\mathcal {G}}\) satisfies the compatibility condition (3.9). To see how the metric changes, we note that
Now, for some \({\tilde{F}}: \Sigma \rightarrow \textrm{SU}(1,0,1)\), we can write
so that \({\tilde{X}}\) satisfies the analogous Gauss-Weingarten equations (3.6):
where \({\tilde{H}}\) and \({\tilde{Q}}\) are the mean curvature and Hopf differential factor of \({\tilde{X}}\), respectively. On the other hand, if we let \(A := fB : \Sigma \rightarrow \textrm{SU}(1,0,1)\) for some \(f: \Sigma \rightarrow {\mathbb {R}}^+\), then we have
Thus we also have
Noting that since \(\det {A} = 1\), the change in metric (3.10) implies
so that
Therefore, comparing the two expressions for the logarithmic derivative of \({\tilde{F}}\) (3.11) and (3.12), we obtain
so that
while
for
Finally, we also note the change in the Hopf differential:
The compatibility condition on \(\Omega \) and \(\Lambda \) (3.9), and the subsequent equations (3.13), (3.14) can be expressed in terms of a single Dirac–type equation for isotropic 3–space:
Theorem 3.6
(cf. [13, Lemmata 2.3, 2.4]). Let \(X: \Sigma \rightarrow {\mathbb {I}}^3\) be a conformal immersion with mean curvature H. A spin transformation \({\tilde{X}}: \Sigma \rightarrow {\mathbb {I}}^3\) of X is well-defined if and only if \(B : \Sigma \rightarrow {\mathcal {G}} = {\mathbb {R}}^+ \otimes \textrm{SU}(1,0,1)\) satisfies the Dirac–type equation for isotropic 3–space, that is, for some \(\rho : \Sigma \rightarrow {\mathbb {R}}\),
where \(\tilde{{\mathfrak {P}}} = ({\begin{matrix} 0 &{} 0 \\ 0 &{} -1 \end{matrix}})\). Furthermore, the mean curvature \({\tilde{H}}\) of \({\tilde{X}}\) can be obtained via
Proof
We only need to see that the Dirac–type equation (3.15) is equivalent to the compatibility condition for \({\tilde{X}}\) (3.9). To do this, first we calculate using coordinates that
On the other hand, we also have using Corollary 2.11,
Thus the Dirac–type equation is satisfied if and only if
Now, for one direction of the proof, suppose the compatibility condition (3.9) is satisfied so that \({\tilde{X}}\) is well-defined. Thus, we have the relations (3.13) and (3.14), which imply that (3.17) holds, that is, B satisfies the Dirac–type equation (3.15).
For the other direction, if B satisfies the Dirac–type equation (3.15), then (3.17) holds, which implies that the compatibility condition (3.9) is satisfied.
\(\square \)
3.3 Spinor Representation
We have now gathered the necessary ingredients to obtain the spinor representation of conformal spacelike surfaces in isotropic 3-space. By Lemma 2.9, we can map any spacelike plane through the origin to another one via isometries fixing the origin. Thus, any conformal spacelike immersion can be obtained as a spin transformation of the map \(X: \Sigma \rightarrow {\mathbb {I}}^3\) where
Then we have that \(F: \Sigma \rightarrow \textrm{SU}(1,0,1)\) as in (3.3) is the identity map.
Now to consider spin transfomations of X, write \(B: \Sigma \rightarrow {\mathcal {G}}\) explicitly as
for some complex functions \(\alpha , \beta \) defined on \(\Sigma \), and note that \(\alpha \) never vanishes since \(\det B \ne 0\) everywhere. Then we calculate
The map B must satisfy the Dirac–type equation; using equivalent conditions in (3.17), we find that since \(\alpha \) never vanishes
For such B, we can then calculate
or in terms of coordinates,
Summarizing:
Theorem 3.7
(Spinor representation of conformal immersions). Any conformal immersion \({\tilde{x}}: \Sigma \rightarrow {\mathbb {I}}^3\) can locally be represented as
for some non-vanishing holomorphic function \(\alpha : \Sigma \rightarrow {\mathbb {C}}\), and a complex valued function \(\beta : \Sigma \rightarrow {\mathbb {C}}\) satisfying
The metric of \({\tilde{x}}\) then is
while the mean curvature \({\tilde{H}}\) of \({\tilde{x}}\) is given by
Moreover, the lightlike Gauss map \({\tilde{g}}: \Sigma \rightarrow {\mathcal {L}}\) is given by
Proof
Since the representation by the integral formula (3.19) is already proven, we proceed to prove the rest of the claims. For the metric, we use the relation on metric (3.10) to see that
while for the mean curvature \({\tilde{H}}\), we use (3.16) with the value of \(\rho \) given by (3.14):
For the lightlike Gauss map, first note that if \(A = f B : \Sigma \rightarrow \textrm{SU}(1,0,1)\) for some \(f : \Sigma \rightarrow {\mathbb {R}}^+\), then
Thus the new lightlike Gauss map is given by
Since \({\tilde{G}} \in \textrm{Herm}(2)\), we can let \({\tilde{g}}\) be the corresponding vector in \({\mathbb {L}}^4\) to obtain the desired conclusion. \(\square \)
Remark 3.8
We remark here that one can also prescribe the mean curvature function \(H : \Sigma \rightarrow {\mathbb {R}}\) first, and find holomorphic function \(\alpha \) and a complex function satisfying (3.21). Such \(\alpha \) and \(\beta \) will satisfy the compatibility condition (3.20), thus giving us the Kenmotsu representation of conformal surfaces with prescribed mean curvature [14, Theorem 2].
3.4 Weierstrass-Type Representation and Kenmotsu-Type Representation for cmc Surfaces
Now suppose that the conformal immersion is minimal, i.e. \(H = 0\), so that (3.21) implies that \(\beta _{{\bar{z}}} = 0\). Since \(\alpha \) and \(\beta \) are now both holomorphic, define a meromorphic function \(h: \Sigma \rightarrow {\mathbb {C}}\) and a holomorphic 1–form \(\omega \) via
Then the Weierstrass-type representation for minimal surfaces in isotropic 3-space [32, Equation 8.31] is obtained as an application of the spinor representation:
Theorem 3.9
(Weierstrass-type representation of minimal immersions). Any minimal immersion \(x: \Sigma \rightarrow {\mathbb {I}}^3\) can locally be represented as
for some meromorphic \(h: \Sigma \rightarrow {\mathbb {C}}\) and holomorphic 1–form \(\omega \) such that \(h^2 \omega \) is holomorphic.
The metric of x is then given by
the Hopf differential
and the lightlike Gauss map \(g: \Sigma \rightarrow {\mathcal {L}}\)
On the other hand, suppose that the conformal immersion has non-zero cmc \(H \ne 0\). Then by (3.21) we have
for some holomorphic \(\alpha : \Sigma \rightarrow {\mathbb {C}}\). Thus,
for some holomorphic \(\gamma : \Sigma \rightarrow {\mathbb {C}}\). Therefore, if we define \(h_1, h_2: \Sigma \rightarrow {\mathbb {C}}\) via
then we have that \(h_1\) is holomorphic, while \(h_2\) is meromorphic, satisfying
Thus the Kenmotsu-type representation for non-zero constant mean curvature H surfaces can also be obtained as an application of the spinor representation:
Theorem 3.10
(Kenmotsu-type representation of cmc immersions). Any non-zero cmc H immersion \(x: \Sigma \rightarrow {\mathbb {I}}^3\) can locally be represented as
for some holomorphic \(h_1: \Sigma \rightarrow {\mathbb {C}}\), meromorphic \(h_2: \Sigma \rightarrow {\mathbb {C}}\) and holomorphic 1–form \(\omega \) such that \(h_2^2 \omega \) is holomorphic while
The metric of x is then given by
the Hopf differential
and the lightlike Gauss map \(g: \Sigma \rightarrow {\mathcal {L}}\)
for \(h := {\bar{h}}_1 + h_2\). We call \((h_2, \omega )\) the Kenmotsu data.
Remark 3.11
We note here that the Weierstrass-type representation for minimal surfaces in Theorem 3.9 is a special case of the Kenmotsu-type representation for cmc surfaces in Theorem 3.10, as (3.23) says that if \(H = 0\), then \(h_1 \equiv \text {constant}\), and \(h:= {\bar{h}}_1 + h_2\) is meromorphic with holomorphic \(h^2 \omega \).
3.5 Examples of cmc Surfaces
In this section, we compute some cmc surfaces explicitly using the Kenmotsu-type representation in Theorem 3.10.
Spheres: For some constant H, let \(\omega = e^z {\textrm{d}}{z}\) and \(h_2 = 0\). Then
Then by the Kenmotsu-type representation, we have
so that
Integrating, we see that
giving us a sphere with radius \(\frac{1}{H}\) by (2.10) (see Fig. 7a).
In fact, if \(h_2 = 0\), then the resulting surface is a sphere: Kenmotsu-type representation tells us that
Since we have that \(h_1\) is holomorphic,
so that
which is a sphere with radius \(\frac{1}{H}\) by (2.10).
Cylinders: Fixing some constant H, let \(\omega = {\textrm{d}}{z}\) and \(h_2 = H z\). Thus we have
Using the Kenmotsu-type representation, we find
Calculating that
we can integrate and obtain
This is the cmc H cylinder in the isotropic 3-space (see Fig. 7b).
Delaunay-type surfaces: For this example, let \(\omega = e^z {\textrm{d}}{z}\) so that \(h_1 = H e^z\), and set \(h_2 = a e^{-z}\) for some constant a. Using the Kenmotsu-type representation, we find
Therefore, we obtain
and integrating tells us that
These are the rotationally invariant cmc H surfaces in isotropic 3-space (see Fig. 8).
Singly periodic cmc surfaces: To obtain examples of singly periodic cmc surfaces, let \(\omega = e^{az} {\textrm{d}}{z}\) so that \(h_1 = \frac{H}{a} e^{az}\), and set \(h_2 = e^{(b-a)z}\) for some constants a, b. Then the Kenmotsu-type representation tells us that
Thus we calculate that
Integrating, we obtain
Let a, b be rational numbers so that there are relatively prime pair \((p_1, q_1), (p_2, q_2) \in {\mathbb {Z}}^2\) with
For such \(a,b \in {\mathbb {Q}}\), the surface is \(2\pi L\)-periodic over v, i.e. \(x(u,v) = x(u, v+ 2\pi L)\) for
where \(\gcd \) and \({\text {lcm}}\) stands for the greatest common divisor and the least common multiple, respectively. In particular, the cmc surface has dihedral symmetry \(D_{L|b|}\) (see Fig. 9).
Data Availability
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
Notes
The signature of the radius is interpreted as orientation.
The intersection yields two candidates for the unit normal; however, the orientation on the spheres uniquely determines the unit normal.
The only difference arises in the choice of the radius of the unit sphere [32, Equation (7.1)].
References
Aledo, J.A., Gálvez, J.A., Mira, P.: Marginally trapped surfaces in \(\mathbb{{L}} ^4\) and an extended Weierstrass-Bryant representation. Ann. Global Anal. Geom. 28(4), 395–415 (2005). https://doi.org/10.1007/s10455-005-1620-7
Bayard, P.: On the spinorial representation of spacelike surfaces into 4-dimensional Minkowski space. J. Geom. Phys. 74, 289–313 (2013). https://doi.org/10.1016/j.geomphys.2013.08.006
Beck, H.: Zur Geometrie in der Minimalebene. S.-B. Berlin. Math. Ges. 12, 14–30 (1913)
Berwald, L.: über Bewegungsinvarianten und elementare Geometrie in einer Minimalebene. Monatsh. Math. Phys. 26(1), 211–228 (1915). https://doi.org/10.1007/BF01999449
Blaschke, W.: Vorlesungen über Differentialgeometrie und geometrische Grundlagen von Einsteins Relativitätstheorie III: Differentialgeometrie der Kreise und Kugeln. Springer, Berlin (1929)
Cayley, A.: A sixth memoir upon quantics. Philos. Trans. R. Soc. Lond. 149, 61–90 (1859). https://doi.org/10.1098/rstl.1859.0004
Cecil, T.E.: Lie sphere geometry. Universitext, 2nd edn. Springer, New York (2008). https://doi.org/10.1007/978-0-387-74656-2
da Silva, L.C.B.: Holomorphic representation of minimal surfaces in simply isotropic space. J. Geom. 112(3), 35 (2021). https://doi.org/10.1007/s00022-021-00598-z
Friedrich, T.: On the spinor representation of surfaces in Euclidean \(3\)-space. J. Geom. Phys. 28(1–2), 143–157 (1998). https://doi.org/10.1016/S0393-0440(98)00018-7
Graf, U.: Zur Möbiusschen und Laguerreschen Kreisgeometrie in der Minimalebene. S.-B. Berlin. Math. Ges. 35, 25–34 (1936)
Hertrich-Jeromin, U.: Introduction to Möbius Differential Geometry. London Mathematical Society Lecture Note Series, vol. 300. Cambridge University Press, Cambridge (2003)
Izumiya, S., Pei, D., Romero Fuster, Md.C.: The lightcone Gauss map of a spacelike surface in Minkowski 4-space. Asian J. Math. 8(3), 511–530 (2004). https://doi.org/10.4310/AJM.2004.v8.n3.a7
Kamberov, G., Pedit, F., Pinkall, U.: Bonnet pairs and isothermic surfaces. Duke Math. J. 92(3), 637–644 (1998). https://doi.org/10.1215/S0012-7094-98-09219-5
Kenmotsu, K.: Weierstrass formula for surfaces of prescribed mean curvature. Math. Ann. 245(2), 89–99 (1979). https://doi.org/10.1007/BF01428799
Kilian, M., Pellis, D., Wallner, J., Pottmann, H.: Material-minimizing forms and structures. ACM Trans. Graph. 36(6), 173 (2017). https://doi.org/10.1145/3130800.3130827
Klein, F.: Ueber die sogenannte Nicht-Euklidische Geometrie. Math. Ann. 4(4), 573–625 (1871). https://doi.org/10.1007/BF02100583
Klein, F.: Vergleichende Betrachtungen über neuere geometrische Forschungen. Verlag von Andreas Deichert, Erlangen (1872)
Klein, F.: Ueber die sogenannte Nicht-Euklidische Geometrie. Math. Ann. 6(2), 112–145 (1873). https://doi.org/10.1007/BF01443189
Kusner, R., Schmitt, N.: The spinor representation of minimal surfaces (1995), https://doi.org/10.48550/arXiv.dg-ga/9512003. arXiv:dg-ga/9512003
Laguerre, E.: Sur la transformation par directions réciproques. C. R. Acad. Sci. Paris 92, 71–73 (1881)
Millar, C., Mitchell, T., Mazurek, A., Chhabra, A., Beghini, A., Clelland, J.N., McRobie, A., Baker, W.F.: On designing plane-faced funicular gridshells. Int. J. Space Struct. 38(1), 40–63 (2023). https://doi.org/10.1177/09560599221126656
Pember, M.: Weierstrass-type representations. Geom. Dedicata 204(1), 299–309 (2020). https://doi.org/10.1007/s10711-019-00456-y
Pember, M., Polly, D., Yasumoto, M.: Discrete Weierstrass-type representations. Discrete Comput. Geom. (2022). https://doi.org/10.1007/s00454-022-00439-z. (to appear)
Pottmann, H., Grohs, P., Mitra, N.J.: Laguerre minimal surfaces, isotropic geometry and linear elasticity. Adv. Comput. Math. 31(4), 391–419 (2009). https://doi.org/10.1007/s10444-008-9076-5
Pottmann, H., Liu, Y.: Discrete surfaces in isotropic geometry. In: Martin, R., Sabin, M., Winkler, J. (eds.) Mathematics of Surfaces XII. Lecture Notes in Computer Science, pp. 341–363. Springer, Berlin, Heidelberg (2007). https://doi.org/10.1007/978-3-540-73843-5_21
Pottmann, H., Peternell, M.: Applications of Laguerre geometry in CAGD. Comput. Aided Geom. Design 15(2), 165–186 (1998). https://doi.org/10.1016/S0167-8396(97)00023-X
Sachs, H.: Isotrope Geometrie des Raumes. Friedr. Vieweg & Sohn, Braunschweig (1990). https://doi.org/10.1007/978-3-322-83785-1
Seo, J.J., Yang, S.D.: Zero mean curvature surfaces in isotropic three-space. Bull. Korean Math. Soc. 58(1), 1–20 (2021). https://doi.org/10.4134/BKMS.b190783
Strubecker, K.: Beiträge zur Geometrie des isotropen Raumes. J. Reine Angew. Math. 178, 135–173 (1938). https://doi.org/10.1515/crll.1938.178.135
Strubecker, K.: Differentialgeometrie des isotropen Raumes. I. Theorie der Raumkurven. Akad. Wiss. Wien, S.-B. IIa 150, 1–53 (1941)
Strubecker, K.: Differentialgeometrie des isotropen Raumes. II. Die Flächen konstanter Relativkrümmung \({{K}}=rt-s^2\). Math. Z. 47, 743–777 (1942). https://doi.org/10.1007/BF01180984
Strubecker, K.: Differentialgeometrie des isotropen Raumes. III. Flächentheorie. Math. Z. 48, 369–427 (1942). https://doi.org/10.1007/BF01180022
Strubecker, K.: Differentialgeometrie des isotropen Raumes. IV. Theorie der flächentreuen Abbildungen der Ebene. Math. Z. 50, 1–92 (1944). https://doi.org/10.1007/BF01312437
Strubecker, K.: Differentialgeometrie des isotropen Raumes. V. Zur Theorie der Eilinien. Math. Z. 51, 525–573 (1949). https://doi.org/10.1007/BF01181547
Study, E.: Zur Differentialgeometrie der analytischen Curven. Trans. Am. Math. Soc. 10(1), 1–49 (1909). https://doi.org/10.2307/1988719
Tellier, X., Douthe, C., Baverel, O., Hauswirth, L.: Designing funicular grids with planar quads using isotropic Linear-Weingarten surfaces. Int. J. Solids Struct. 264(112028), 1–16 (2023). https://doi.org/10.1016/j.ijsolstr.2022.112028
Vouga, E., Höbinger, M., Wallner, J., Pottmann, H.: Design of self-supporting surfaces. ACM Trans. Graph. 31(4), 87 (2012). https://doi.org/10.1145/2185520.2185583
Yaglom, I.M.: A sImple Non-Euclidean Geometry and Its Physical Basis. Heidelberg Science Library, Springer, New York (1979). https://doi.org/10.1007/978-1-4612-6135-3
Acknowledgements
We are thankful to the referee for many indispensable comments.
Funding
Open access funding provided by TU Wien (TUW). The last author gratefully acknowledges the partial support from the National Research Foundation of Korea (2017R1E1A1A03070929 and 2020R1F1A1A01074585).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors have no relevant financial or non-financial interests to disclose.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Cho, J., Lee, D., Lee, W. et al. Spinor Representation in Isotropic 3-Space via Laguerre Geometry. Results Math 79, 8 (2024). https://doi.org/10.1007/s00025-023-02031-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00025-023-02031-0
Keywords
- Laguerre geometry
- isotropic geometry
- spinor representation
- Weierstrass representation
- Kenmotsu representation