Monatsh Math (2018) 186:249–279 https://doi.org/10.1007/s00605-017-1075-5 1 2 S. Fujimori · U. Hertrich-Jeromin · 3 4 5 M. Kokubu · M. Umehara · K. Yamada Received: 21 December 2016 / Accepted: 9 June 2017 / Published online: 3 July 2017 © The Author(s) 2017. This article is an open access publication Abstract We investigate the relation between quadrics and their Christoffel duals on the one hand, and certain zero mean curvature surfaces and their Gauss maps on the other hand. To study the relation between timelike minimal surfaces and the Christoffel duals of 1-sheeted hyperboloids we introduce para-holomorphic elliptic functions. The curves of type change for real isothermic surfaces of mixed causal type turn out to be aligned with the real curvature line net. Communicated by A. Constantin. B U. Hertrich-Jeromin udo.hertrich-jeromin@tuwien.ac.at S. Fujimori fujimori@math.okayama-u.ac.jp M. Kokubu kokubu@cck.dendai.ac.jp M. Umehara umehara@is.titech.ac.jp K. Yamada kotaro@math.titech.ac.jp Department of Mathematics, Okayama University, Okayama 700-8530, Japan Vienna University of Technology, Wiedner Hauptstraße 8–10/104, 1040 Vienna, Austria Department of Mathematics, Tokyo Denki University, Tokyo 120-8551, Japan Department of Mathematical and Computing Sciences, Tokyo Institute of Technology, Tokyo 152-8552, Japan Department of Mathematics, Tokyo Institute of Technology, Tokyo 152-8551, Japan 123 250 S. Fujimori et al. Keywords Isothermic surface · Christoffel transformation · Minimal surface · Maximal surface · Saddle tower · Scherk surface · Karcher saddle tower · Central quadric · Ellipsoid · Hyperboloid · Timelike surface · Causal type Mathematics Subject Classiﬁcation 53C42 · 53A10 · 53A30 · 37K25 · 37K35 1 Introduction Though quadrics belong to the most thoroughly investigated surfaces there are still mysterious aspects in their geometry. In particular, quadrics can reasonably be studied in a variety of ambient geometries—Möbius or conformal geometry not being one of these geometries since Möbius transformations generally do not map a quadric to another quadric. Nevertheless, quadrics belong to the (Möbius geometric) class of isothermic surfaces, and display rather interesting and surprising features in this context, which are far from being understood. This paper aims to shed some light on some of these, seemingly incongruous, features. Minimal surfaces in Euclidean space admit, away from umbilics, conformal curva- ture line parameters: this characterizes minimal surfaces as isothermic surfaces, that is, surfaces that are “capable of division into inﬁnitesimal squares by means of their curves of curvature”, cf. [1]. Motivated by the existence of the 1-parameter family of associated minimal surfaces for a given minimal surface, that are isometric and feature parallel tangent planes, Christoffel classiﬁed those surfaces that admit a non-trivial partner surface that is conformally related to the ﬁrst by parallel tangent planes, cf. [2]: apart from associated minimal surfaces these are precisely the isothermic sur- faces, which admit a partner surface that is generically unique up to scaling so that the relation is orientation reversing: we will refer to this partner surface of an isothermic surface as its Christoffel dual. Given an isothermic surface z → x (z) parametrized by conformal curvature line parameters z = u + i v, that is, (x , x ) = 0 and det(x , x , x ) = 0, z z uv u v its Christoffel dual z → x (z) may be obtained by integrating Christoffel’s equations x = x , (1.1) z ¯ (x , x ) z z ¯ cf. (3.2), see [2,IV] or [8, §5.2.1]. Any minimal surface yields an example, with its Gauss map providing the Christoffel dual—the reconstruction of the minimal surface from its Gauss image is essentially the Enneper–Weierstrass representation, cf [8, §5.3.12]. It is well known that quadrics are isothermic surfaces, see [1], and their Christoffel duals were determined in [15], in terms of the usual elliptic coordinates. A formulation using Jacobi elliptic functions, cf. [8, §5.2.21], allows to study the global behaviour of the ellipsoid as an isothermic surface, in particular, of its Christoffel dual and a 123 Quadrics and Scherk towers 251 common polarization—a holomorphic quadratic differential whose existence yields another characterization of isothermic surfaces, see [8, §5.2.12] and [17, Sect. 4]. The present paper was motivated by the observation that the Christoffel dual of a tri-axial ellipsoid is the afﬁne image of a Scherk tower, cf. [8, §5.2.21 Footnote 21], see [16] and [14, §83(41)]. As the notions of isothermic surface and Christoffel duality are Möbius geometric and Euclidean notions, respectively, this feature of the ellipsoid and its Christoffel dual appear to be a highly unlikely coincidence: the principal aim of this paper is to shed further light on this coincidence and to obtain a better understanding of the reasons behind it. As a key result we derive Lemma 3.2, which presents an approach to understand the phenomenon, and which allows us to easily derive similar results for 2- and 1- sheeted hyperboloids in Minkowski space, cf. [13] and [12, Prop 3.1]. As the Enneper– Weierstrass representation for minimal surfaces in Euclidean space provides a method to explicitly determine the Christoffel dual of a tri-axial ellipsoid, so do Kobayashi’s and Konderak’s Weierstrass type representations for maximal and timelike minimal surfaces in Minkowski space to ﬁnd the Christoffel duals of hyperboloids, see [10] resp [11]. To investigate timelike minimal surfaces we derive some results on para- holomorphic functions, in particular, we introduce para-complex analogues of the Jacobi elliptic functions in Def & Cor A.2,cf. [4]. As we work in Minkowski space, we obtain isothermic surfaces that change causal type by afﬁne transformations: an interesting feature of these surfaces is that the lines of separation between the space- and timelike parts of such a surface follows the cur- vature line net, see Lemma 2.2. Indeed, part of our investigations is independent of the existence of and relation to a zero mean curvature surface: we obtain explicit repre- sentations of Christoffel duals in Euclidean as well as Minkowski ambient geometries, see Cor 3.3,Cor 4.2,Cor 4.3,Cor 5.1 and Cor 5.2. Though we restrict ourselves to quadrics in Minkowski space that are aligned to the timelike axis of the ambient space, this restriction is not essential: the same methods will lead to similar results if a surface is in a more general position as the nature of the occurring differential equation will not change—however, computations and formulas will be less transparent. 2 The ellipsoid To set the scene we discuss ellipsoids in Euclidean space, cf [8, §5.2.21]: as we wish to establish a relation with minimal surfaces, we seek a curvature line parametrization in terms of a meromorphic function, that is, in terms of a complex variable. To this end we adopt a new method to determine a suitable curvature line parametrization of an ellipsoid, based on two elementary observations: • curvature line parameters (u,v) of a surface x : → R can be characterized as orthogonal conjugate parameters, and • the notion of conjugate parameters is an afﬁne notion, in particular, independent of a choice of an ambient metric and invariant under afﬁne transformations of R . If (., .) now denotes a non-degenerate inner product on R then (x , x ) ≡ const implies that x ⊥ dx, hence 123 252 S. Fujimori et al. 0 = (x , x ) = (x , x ) + (x , x ), v u u v uv that is, (u,v) are conjugate parameters if and only if they are orthogonal. 2 3 In particular, conjugate parameters of the standard round sphere S ⊂ R can be characterized by orthogonality with respect to the induced metric. Clearly, these also qualify as “curvature line parameters”, i.e., orthogonal conjugate parameters, on S . In order to obtain curvature line coordinates on an ellipsoid we parametrize the 2-sphere conformally over a Riemann surface and post-compose by an afﬁne trans- formation, more speciﬁcally, x : → S is conformal and α x : → R , where 3 3 α : R → R scales the axes by a, b, c > 0. Writing x in terms of a meromorphic function y : → C ∪{∞} we seek conditions on y so that, in terms of suitable holomorphic coordinates z = u + i v : → C on the Riemann surface , ⎛ ⎞ ⎛ ⎞ 2a Re y a( y +¯ y) 1 1 3 3 ⎝ ⎠ ⎝ ⎠ α x = 2b Im y = −ib( y −¯ y) : → R ⊂ C 1 +| y| 1 + y y ¯ c(1 −| y| ) c(1 − y y ¯) (2.1) yields an orthogonal, hence curvature line parametrization. In terms of z = u + i v, orthogonality of the parameter lines v = const and u = const is expressed by the fact that the z-derivative Im (α x ) ,(α x ) = 0, where (α x ) = (α x ) = ((α x ) − i (α x ) ) z u v 3 3 and (., .) : C × C → C denotes the bilinear extension of the standard inner product 3 3 of R to C . Excluding the case a = b = c, when the derivative ⎛ ⎞ a 1 −¯ y ⎝ ⎠ (α x ) = −ib 1 +¯ y (1 + y y ¯) −2c y ¯ becomes isotropic, i.e., z → (α x )(z) conformal, the condition that z → ((α x ) ,(α x ) ) (z) ∈ R be real-valued reads 2 2 2 2 2 2 2 2 2 y = a 1 − y − b 1 + y + 4c y , (2.2) where z → (z) ∈ R is a suitable real-valued and holomorphic function, hence a (real) constant by the Cauchy–Riemann equations + i = 0. u v Thus the function y : → C ∪{∞} is an elliptic function, deﬁned on a suitable torus = C/, and z can be considered as a globally deﬁned coordinate function. For a tri-axial ellipsoid, where a, b and c are pairwise distinct, the four branch values 123 Quadrics and Scherk towers 253 2 2 2 2 y = 0 ⇔ y = a − c ± b − c 2 2 a − b of the elliptic function y yield the singularities of the curvature line net, that is, the four umbilics of the ellipsoid. Note that the set of branch values is symmetric with respect to reﬂections in the real and imaginary axes, we well as with respect to inversion in the unit circle. Hence, depending on the order of half-axis lengths, the branch values are all real, all purely imaginary or all unitary. For example, for a tri-axial ellipsoid in R we may assume that a > b > c, without loss of generality. We then set 2 2 2 2 2 2 a − b b − c a − c p := , q := = 1 − p and r := ; 2 2 2 2 a − c a − c b hence (2.2) reads 2 2 1 + q 1 − q 2 2 2 2 2 2 y = b r p y − y − . p p 1±q 2 2 Then the branch values y = ( ) of y are all real and symmetric with respect to the unit circle: this reﬂects the position and symmetry of the umbilics on such a tri-axial ellipsoid, which lie on the “equator” ellipse in the plane orthogonal to its middle length axis. As a constant real factor may be absorbed by a (constant) scaling in the domain 2 2 we may, without loss of generality, assume that 1 = 4 b r to obtain a solution of (2.2): i am y = e = sn −i cn , where am : C → C ∪{∞} p p p denotes the Jacobi amplitude function with module p, i.e., am = dn = 2 2 1 − p sn . Hence a curvature line parametrization can be expressed explicitly in terms of Jacobi elliptic functions: 2 2 1 Lemma 2.1 Let p, q ∈ (0, 1) so that p + q = 1 and r ∈ (0, ); a curvature line parametrization of a tri-axial ellipsoid is then obtained, using the Jacobi elliptic functions sn , cn : C → C ∪{∞} with module p, by p p ⎛ ⎞ ⎧ 2 2 a sn u dn v a := 1 + r p , p q ⎝ ⎠ u + i v = z → (α x )(z) := −b cn u cn v , where b := 1, p q 2 2 c dn u sn v p q c := 1 − r q . Conversely, up to homothety every tri-axial ellipsoid, with half-axes a > b > c, admits such a curvature line parametrization. Note that the same arguments apply for a Minkowski ambient geometry: the notion of a conjugate net is independent of metric, hence only the orthogonality condition (2.2) changes by a sign—replacing c by ic in (2.2) we obtain 123 254 S. Fujimori et al. 3 2,1 Fig. 1 A tri-axial ellipsoid with its curvature line net in R resp R 2 2 2 2 2 2 2 2 2 y = a 1 − y − b 1 + y − 4c y (2.3) as the condition for z = u+i v to yield a curvature line net for the ellipsoid parametrized by (2.1). However, there is now a distinguished (timelike) direction, and a detailed analysis depends on how the order of half-axes lengths of the ellipsoid relates to the timelike direction. In particular, the branch values of y are now either all real or all purely imaginary: 2 2 2 2 y = 0 ⇔ y = a + c ± b + c . 2 2 a − b Also, note that an ellipsoid in Minkowski space decomposes into three connected components, two of which carry a positive deﬁnite induced metric while the induced metric has Lorentz signature on the remaining component—and it degenerates on the two curves separating these components, cf. Fig. 1. The umbilics necessarily lie in the spacelike part of the ellipsoid, as is conﬁrmed by determining the points where the equator ellipse containing the umbilics intersects the curve that separates the space- and timelike parts of the ellipsoid: when a > b, without loss of generality, these are given by 2 2 y = a + c ± c ; the assertion then is a consequence of the chain of inequalities √ √ √ 2 2 2 2 2 2 2 2 a + c − b + c a + c − c √ < < 1 2 2 a − b √ √ √ 2 2 2 2 2 2 2 2 a + c + c a + c + b + c < < √ . 2 2 a − b 123 Quadrics and Scherk towers 255 These curves of separation between the spacelike and timelike parts of the ellipsoid follow the curvature line net, hence may be considered as curvature lines as well: if (u,v) are orthogonal conjugate parameters of a surface x, that is, x = λx + μx and (x , x ) = 0, uv u v u v then G = (x , x ) = 2μ(x , x ) = 2μ G u v v u v v satisﬁes a ﬁrst order linear differential equation; consequently, the function u → G(u,v) vanishes identically if it vanishes for some u. Clearly, an analogous statement holds true for E. Thus we have proved: 2,1 Lemma 2.2 Let (u,v) → x (u,v) ∈ R denote an orthogonal and conjugate parametrization of a surface patch in Minkowski space. If the induced metric degen- erates at a point x (u,v) then it degenerates along a parameter curve through this point. 3 Scherk’s saddle tower We shall now see how the elliptic functions y = sn −i cn , derived above to p p parametrize ellipsoids by curvature lines, also yields (curvature line) parametriza- tions of Scherk’s singly periodic saddle towers, cf [16], see also [9, §2.3.4] and [14, §83(41)]. Moreover, the Christoffel dual of a tri-axial ellipsoid as an isothermic sur- face, cf. [15]or[8, §5.2.21], can be obtained from a suitable saddle tower by an afﬁne transformation. Given a meromorphic function y : → C ∪{∞} and a polarization q, i.e., a meromorphic quadratic differential, on the Riemann surface the Weierstrass repre- sentation formula yields a minimal surface ⎛ ⎞ 1 − y ∗ 2 ⎝ ⎠ x = Re i (1 + y ) with dy −2 y ⎛ ⎞ ⎛ ⎞ 2Re y y +¯ y 1 1 ⎝ ⎠ ⎝ ⎠ x = 2Im y = ( y −¯ y) (3.1) 2 i 1 +| y| 1 + y y ¯ 1 −| y| 1 − y y ¯ ∗ 2 as its Gauss map and q = (x , x ) dz as its Hopf differential since x dz = x . (3.2) z ¯ (x , x ) dz z ¯ z Note that in case q = dz , that is, when z = u + i v are conformal curvature line coordinates, the Weierstrass formula (3.2) simpliﬁes to the Christoffel formula for the dual of an isothermic surface, see [2,IV] or [8, §5.2.1], cf [8, §5.3.12]: 123 256 S. Fujimori et al. ⎛ ⎞ ∗ 2 1 − y x = x , 1 1 2 |x | ∗ u ⎝ ⎠ x = i (1 + y ) = x ⇔ z ¯ ∗ 2 2 y (x , x ) x =− x . z ¯ z v v 2 −2 y |x | When y : → C ∪{∞} is an elliptic function, deﬁned on a suitable torus = C/, it is straightforward to integrate the Weierstrass formula (3.1) using partial fractions. In particular, for the function 1 1 i am 2 2 4 2 2 y = e = sn −i cn , satisfying y = p 1 + y − 2 1 + q y , p p i 4 (3.3) that we used in Lemma 2.1 above to obtain a curvature line parametrization of a tri-axial ellipsoid we ﬁnd 1− y 2 y dy = artanh , 2 2 y p(1+ y ) 1+ y 2i 2qy 2 2iq y i dy = artanh = arctan , (3.4) 2 2 2 pq pq y p(1− y ) p(1− y ) 2 y q(1+ y ) dy = artanh . 2 2 y (1− y ) Hence we learn (cf. “Appendix”) that the minimal surface x of (3.1) obtained from (3.3) has an implicit representation 2 ∗ ∗ 2 ∗ q cosh px + cos pq x − p cosh qx = 0, (3.5) 1 2 3 thus it yields a curvature line parametrization of a Scherk tower, cf. [16, §8] and [14, §83(41)]: 2 2 Lemma 3.1 Let p, q ∈ (0, 1) so that p + q = 1; a curvature line parametrization of a Scherk tower is then obtained, using the Jacobi elliptic functions sn , cn , dn : p p p C → C ∪{∞} with module p, by ⎛ ⎞ q artanh p sn ⎜ ⎟ ⎜ ⎟ arctan z → x (z) := Re (z). p cn ⎝ p ⎠ pq q sn p artanh i cn Thus considering (x , x ) as a Christoffel pair, any afﬁne image of the pair will 3 3 form a Combescure pair: under any afﬁne transformation α : R → R the common (conformal) curvature line parameters (u,v) of x and x are turned into common conjugate parameters of α x and α x , with parallel tangents [for conciseness, we drop parentheses in α x = (α x ) = dα(x )], z ¯ z ¯ z ¯ 1 1 ∗ ∗ x = x ⇒ α x = α x . z ¯ z ¯ z z (x , x ) (x , x ) z z ¯ z z ¯ 123 Quadrics and Scherk towers 257 Then α x and α x are conformally related if and only if (u,v) are orthogonal coor- dinates, that is, curvature line coordinates for both surfaces. Namely, if α x = α x z ¯ with a (real) function , then ∗ 2 2 ∗ ∗ ∗ 2 2 |α x | du + 2 α x ,α x dudv +|α x | du u u v u 2 2 2 2 2 = |α x | du − 2 (α x ,α x ) dudv +|α x | du . u u v u In fact, we obtain a stronger result, as integrability of dx implies that z = u + i v yield conjugate parameters, since ∗ ∗ 0 = x − x = (x ) + (x ) = 2x + x + x . u v v u uv v u u v uv vu Thus, using Christoffel’s characterization [2] of a Christoffel pair of isothermic sur- faces as an orientation reversing conformal Combescure pair, cf. [13, Main Thm] or [12, Prop 3.1], we obtain the following ∗ 3 Lemma 3.2 Suppose that the differentials of two surfaces x and x in R are related by x = x , ∗ u x = x ⇔ z ¯ ∗ x =− x . Then (u,v) are common conjugate parameters for x and x . Moreover, if (u,v) are orthogonal coordinates for some ambient metric (., .), x ⊥ x ⇔ z → (x , x )(z) ∈ R, u v z z then (x , x ) is a Christoffel pair with common curvature line parameters (u,v). Note that, starting as above with common conformal curvature line coordinates ∗ ∗ (u,v) of a Christoffel pair (x , x ) to obtain a new Christoffel pair (α x,α x ) by an afﬁne transformation via the orthogonality condition of Lemma 3.2, the coordinates will in general not be conformal for either surface, α x or α x : in general (α x ,α x ) z z does not vanish, even if it is real. However, as x satisﬁes a Laplace equation x = λx + μx uv u v when (u,v) are conjugate parameters, we infer that 1 (α x ,α x ) (α x ,α x ) (x , x ) 1 (α x ,α x ) u u u v u v v v ln = μ − = 0and ln = 0 2 (x , x ) (α x ,α x ) (x , x ) 2 (x , x ) u u u u u u v v v u 123 258 S. Fujimori et al. as soon as (u,v) are curvature line coordinates for both, x and α x. Consequently, conformal curvature line coordinates (u ˜, v) ˜ for α x are obtained from those of x by integrating |α x | |α x | u v d u ˜ = du and dv ˜ = dv. |x | |x | u v Identiﬁcation of conformal curvature line parameters for α x is more involved if a reference conformal factor is missing, that is, if (u,v) were not conformal curvature line parameters for x. Combining the results from Lemmas 2.1, 3.1 and 3.2 we learn how a solution y of (2.2) gives rise to a curvature line parametrization of a tri-axial ellipsoid on the one hand, and to a curvature line parametrization of a Scherk tower on the other hand— hence, by Lemma 3.2, to a curvature line parametrization of the Christoffel dual of the tri-axial ellipsoid, cf. [15, §6]: 2 2 Cor 3.3 Let p, q ∈ (0, 1) so that p + q = 1 and r ∈ (0, ); the Christoffel dual of the tri-axial ellipsoid with half axes 2 2 2 2 a := 1 + r p , b := 1 and c := 1 − r q is an afﬁne transformation of a Scherk tower, thus in terms of Jacobi elliptic functions given by ⎛ ⎞ 2a 1 artanh p p sn ⎜ ⎟ 2b q ⎜ ⎟ arctan z → α x (z) := Re (z). pq p cn ⎝ p ⎠ q sn 2c p artanh q i cn Lemma 3.2 holds also for spacelike or timelike real isothermic surfaces in a Minkowski ambient geometry: apart from the characterization of curvature line coor- dinates as orthogonal conjugate parameters the proof of Lemma 3.2 only relies on Christoffel’s formula x = x , z ¯ (x , x ) z z ¯ which holds in both the spacelike and timelike real isothermic cases, cf. [13,Main Thm]. Hence we obtain a Christoffel dual for a tri-axial ellipsoid in Minkowski space, see Fig. 2. 2 3 2,1 However, the standard 2-sphere S ⊂ R is not totally umbilic in R , hence inverse stereographic projection of a holomorphic function y does in general not yield an orthogonal net on S . In particular, the solution y of (2.3) that provides a curvature line net of a tri-axial ellipsoid by inverse stereographic projection followed by a suitable afﬁne transformation does in general not yield a curvature line net on the 2-sphere, before the afﬁne transformation: setting a = b in (2.3) conﬁrms that a curvature line 123 Quadrics and Scherk towers 259 3 2,1 Fig. 2 The Christoffel duals of the ellipsoids in R resp R of Fig. 1 2 2,1 net of S as a non-umbilic surface of revolution in R is necessarily given by its meridians and circles of latitude. Note that the catenoid is still the Christoffel dual of the (Euclidean) sphere as a surface of revolution in Minkowski space, since the meridians and lines of latitude are orthogonal: the Christoffel dual (u,v) → x (u,v) of a surface of revolution (u,v) → x (u,v) can explicitly be computed as ⎛ ⎞ ⎛ ⎞ − cos v r (u) r (u) cos v ⎜ ⎟ ⎜ ⎟ ⎝ ⎠ − sin v x (u,v) = , where x (u,v) = r (u) sin v , r (u) ⎝ ⎠ h(u) h (u)du r (u) since 2 2 r ± h − r x (u,v) = x (u,v) and (x (u,v), x (u,v)) = (u) ∈ R z ¯ z z r (u) 4 for the standard metrics (., .) of signature (+, +, ±) on R . Hence Lemma 3.2 shows that the Minkowski Christoffel dual of a surface of revolution with timelike axis coincides with its Euclidean dual. In particular, for r (u) = and h(u) = tanh u, cosh u the conformal curvature line parametrizations of the catenoid and its Gauss map are obtained. 4 The spacelike hyperboloid In order to obtain a similar relation between the Christoffel duality of a quadric and an afﬁne transformation of a zero mean curvature surface in Minkowski space, as we did for the Christoffel dual of an ellipsoid in Euclidean space in the previous section, 2,1 we will need to focus on a totally umbilic quadric in R . As we shall see, the same methodology then yields similar results. 123 260 S. Fujimori et al. Thus consider inverse stereographic projection onto the standard 2-sheeted hyper- 2,1 boloid in R as a conformal parametrization of the hyperboloid: ⎛ ⎞ ⎛ ⎞ 2Re y ( y +¯ y) 1 1 ⎝ ⎠ ⎝ ⎠ 2Im y −i ( y −¯ y) (C ∪{∞}) \S y → x := = 1 −| y| 1 − y y ¯ 1 + y y ¯ 1 +| y| 2,1 3 ∈ R ⊂ C . A parametrization of a general 2-sheeted hyperboloid, with timelike principal axis, is then obtained as as an afﬁne transformation of the standard hyperboloid, ⎛ ⎞ ⎛ ⎞ 2a Re y a( y +¯ y) 1 1 2,1 3 ⎝ ⎠ ⎝ ⎠ α x = 2b Im y = −ib( y −¯ y) : → R ⊂ C . 1 −| y| 1 − y y ¯ c(1 +| y| ) c(1 + y y ¯) (4.1) As before, the orthogonality condition z → ((α x ) ,(α x ) )(z) ∈ R for the conjugate parameters (u,v), written as a complex parameter z = u + i v, yields an elliptic differential equation 2 2 2 2 2 2 2 2 2 y = a 1 + y − b 1 − y − 4c y , (4.2) with its branch values 2 2 2 2 y =− a − c ± b − c 2 2 a − b 2,1 determining the umbilics of the 2-sheeted hyperboloid in Minkowski space R . Note that (4.2) may be obtained from the equation (2.2) for a Euclidean ellipsoid by replacing y by iy and a sign change of . However, in contrast to the case of an ellipsoid in Euclidean space, the hyperboloid has a distinguished (timelike) axis and various geometric conﬁgurations may occur, as an elementary case study reveals. (i) a, b ≥ c: in this case, the 2-sheeted hyperboloid is spacelike and, as long as the half-axis lengths are pairwise distinct, the branch values of y are either real or imaginary and yield the four umbilics of the 2-sheeted hyperboloid, with their symmetries reﬂected by the symmetries of the branch values of y, as in the case of the ellipsoid, cf. Fig. 3,left. If a = b the hyperboloid is a surface of revolution with only two umbilics, given by branch values at y = 0 and y =∞.If, on the other hand, a = c or b = c then the branch values of y become unitary, reﬂecting the absence of umbilics in this case. (ii) a, b < c: now the hyperboloid has mixed causal type, each component consists of a (compact) spacelike part and an (annular) timelike part. Unless a = b and we obtain a surface of revolution, the hyperboloid has four umbilics in its spacelike part, given by the real or imaginary branch values of y, cf. Fig. 3, middle. Note 123 Quadrics and Scherk towers 261 2,1 Fig. 3 Three types of 2-sheeted hyperboloids and their Christoffel duals in R that, by Lemma 2.2, the lines where the causal type of the hyperboloid changes are aligned with the curvature line net. (iii) a < c ≤ b or a ≥ c > b: in these cases, the hyperboloid has also mixed causal type, but now both components decompose into one spacelike and two timelike parts, cf. Fig. 3, right, and the branch values of y become unitary, reﬂecting the fact that these hyperboloids have no umbilics. Thus, in analogy to Lemma 2.1 for curvature line parameters of Euclidean ellipsoids, we obtain curvature line parameters for 2-sheeted hyperboloids in Minkowski space in terms of Jacobi elliptic functions, based on the same methods as in the ellipsoid case: Lemma 4.1 Any tri-axial 2-sheeted hyperboloid in Minkowski space admits, up to homothety, a curvature line parametrization using the Jacobi elliptic functions cn , sn : C → C ∪{∞}, p p ⎛ ⎞ ⎧ 2 2 a cn u cn v a := 1 + r p , p q ⎝ ⎠ u + i v = z → α x (z) := b sn u dn v , where b := 1, p q dn u sn v ⎩ p q 2 2 c := 1 − r q 123 262 S. Fujimori et al. 2 2 and p, q, r ∈ R ∪ i R with p + q = 1 satisfy one of the following: (i) p, q ∈ (0, 1), r ∈ 0, ; r 1 (ii) p ∈ i R, q > 1, ∈ 0, ; i q r 1 (iii) p > 1, q ∈ i R, ∈ 0, . i p As Lemma 3.2, which served as the key step in characterizing the Christoffel dual of a Euclidean ellipsoid as an afﬁne image of a Scherk saddle tower, did not depend on the signature of the ambient metric an analogous result is obtained for the Christoffel duals of 2-sheeted hyperboloids in Minkowski space, cf Cor 3.3. Employing the Weierstrass representation of [10, Thm 1.1] for maximal surfaces in Minkowski space, ⎛ ⎞ ⎛ ⎞ 1 + y y +¯ y q 1 ∗ 1 ⎝ ⎠ ⎝ ⎠ x = Re i 1 − y with x = (4.3) ( y −¯ y) dy 1 − y y ¯ 2 y 1 + y y ¯ as the Gauss map and q = dz as a polarization of the (universal cover of the) underlying Riemann surface = C yields again Christoffel’s formula for the dual of a (spacelike) isothermic surface, ⎛ ⎞ 1 + y x = x , 1 1 u 2 |x | ∗ u ⎝ ⎠ x = = x ⇔ i 1 − y z ¯ ∗ 2 2 y x , x ( ) z ¯ z x =− x . v 2 2 y |x | Thus replacing y by iy in (3.3), to obtain a solution of (4.2) with =− 2 2 4(a −c ) from that of (2.2), we arrive at i am 2 2 4 2 2 y = e = cn +i sn , satisfying y =− p 1 + y + 2 1 + q y . p p (4.4) Using (3.4) we hence integrate (4.3), 1 + y 2 2 y dy =− arctan , 2 2 y p p(1 − y ) 1 − y 2i 2qy 2 2qy i dy =− arctan = artanh , 2 2 2 y pq p(1 + y ) pq ip(1 + y ) 2 y 2 q(1 − y ) dy = artanh . (4.5) 2 2 y q (1 + y ) 123 Quadrics and Scherk towers 263 As the timelike x -axis is geometrically distinguished we obtain (cf. “Appendix”) two qualitatively different implicit representations of the maximal surfaces x obtained from (4.4), cf [6, Sect 3]: 2 ∗ ∗ 2 ∗ q cos px + cosh pq x − p cosh qx =0if p < 1 and q ∈ (0, 1); 1 2 3 ∗ ∗ pq x qx 2 ∗ 2 2 3 q cos px + cos − p cos =0if p > 1 and q ∈ i R. (4.6) i i For the tri-axial 2-sheeted hyperboloid this yields another “permutability theorem”, intertwining Christoffel duality and afﬁne transformation: Cor 4.2 The Christoffel dual of a tri-axial 2-sheeted hyperboloid in Minkowski space with half axes lengths (i) a > b > c,(ii) c > a > b or (iii) b > c > a is the afﬁne image of a maximal surface, more precisely, up to homothety it is given by ⎛ ⎞ 2a 1 ⎧ arctan p ip sn 2 2 p ⎪ a −b p := , ⎜ ⎟ 2 2 a −c 2b q ⎜ ⎟ artanh z → α x (z) := Re (z) with pq ip cn ⎝ p ⎠ 2 2 b −c sn q := . 2c q p 2 2 a −c artanh q i cn Note that the hyperboloid as well as its dual are spacelike in case (i), whereas both surfaces change causal type in the cases (ii) and (iii), even though the employed maximal surfaces are spacelike, cf Fig. 3. On their timelike parts the surfaces are real isothermic in the sense of [13, Sect. 2.1], that is, admit Lorentz conformal curvature line parameters, and the curvature line nets on the spacelike and timelike parts of the surfaces extend across the lines of causal type change, which follow the curvature line net by Lemma 2.2. In case (iii) the Christoffel dual surface has a translational period, cf. Fig. 3, and the surface can be extended to a triply periodic surface in Minkowski space, as is also seen from the implicit representation (4.6). As the 2-sheeted hyperboloid is not totally umbilic in Euclidean space, the con- struction of the Christoffel dual as an afﬁne image of a minimal surface fails for a hyperboloid in a Euclidean ambient geometry. However, the only failure of the con- struction turns out to be the minimality: integrating ⎛ ⎞ ⎛ ⎞ 1 + y 2Re y 1 2| y | 1 ∗ 2 ⎝ ⎠ ⎝ ⎠ x = i 1 − y = x with x = 2Im y z ¯ 2 2 2 y 2 1 −| y| 1 −| y| 2 y 1 +| y| ∗ 3 we obtain x as the (harmonic) real part of a holomorphic curve in C that is not a null ∗ 3 ∗ curve though, hence does not yield a minimal surface x in R . As the pair (x , x ) satisﬁes the assumption of Lemma 3.2 we just wheel out the orthogonality condition z → ((α x ) ,(α x ) )(z) ∈ R for some afﬁne image α x of x to obtain a Christoffel 123 264 S. Fujimori et al. Fig. 4 The Euclidean 2-sheeted hyperboloid and its Christoffel dual, cf. Fig. 3 pair (α x,α x ), with common curvature line coordinates given by a solution y of the elliptic differential equation 2 2 2 2 2 2 2 2 2 y = a 1 + y − b 1 − y + 4c y , (4.7) with real or imaginary branch values given by 2 2 2 2 y =− a + c ± b + c . 2 2 a − b As long as a = b, that is, the hyperboloid is not a surface of revolution, the four branch values are symmetric with respect to the origin as well as to the unit circle, reﬂecting the symmetry of the four umbilics of the 2-sheeted hyperboloid, cf. Fig. 4. More precisely, assuming without loss of generality a > b for a non-rotational 2 2 2-sheeted hyperboloid, and with 0 = 1 + 4(a + c ), we obtain 2 2 a − b i am y = cn +i sn = e with p = ∈ (0, 1) p p 2 2 a + c as a solution of (4.7), completely analogous to (4.2). Consequently, a curvature line parametrization of the Christoffel dual of a 2-sheeted hyperboloid in Euclidean space is obtained by precisely the same formulas as in Minkowski space, in Cor 4.2,cf. [15, §8]: Cor 4.3 The Christoffel dual of a non-rotational 2-sheeted hyperboloid in Euclidean x x x 1 2 2 2 3 2 space with half axes lengths a, b, c > 0, where 1 + ( ) + ( ) = ( ) and a > b a b c without loss of generality, admits a curvature line parametrization z → α x (z) by Jacobi elliptic functions: 123 Quadrics and Scherk towers 265 ⎛ ⎞ 2a 1 ⎧ arctan 2 2 p ip sn p ⎪ a −b p := , ⎜ ⎟ 2 2 q a +c 2b ⎜ ⎟ artanh z → α x (z) := Re (z) with pq ip cn ⎝ p ⎠ 2 2 b +c q := . q sn 2c p 2 2 a +c artanh q i cn 5 The timelike hyperboloid In the previous section we investigated the dual of a tri-axial 2-sheeted hyperboloid as an afﬁne transform of a maximal surface that was obtained as a dual of the standard 2,1 totally umbilic 2-sheeted hyperboloid in Minkowski space R . However, the Lorentz sphere yields another totally umbilic quadric, thus provides a starting point for a similar investigation of the Christoffel transforms of 1-sheeted hyperboloids. 1,1 2,1 As the 1-sheeted hyperboloid S ={x ∈ R |(x , x ) = 1} is a timelike surface in Minkowski space Christoffel duality leads to Konderak’s Weierstrass-type repre- sentation [11, Thm 3.3] for minimal timelike surfaces in Minkowski space: instead of holomorphic functions this representation employs para-holomorphic functions, deﬁned on the algebra of Lorentz-numbers, { } L = y + jy | y , y ∈ R , where j = 1, 1 2 1 2 cf. [3]or[7]. Note that L can be considered as the Clifford algebra of the real line with its usual operations. More speciﬁcally, we consider the inverse stereographic projection ⎛ ⎞ ⎛ ⎞ y +¯ y 2Re y 1 1 1 1 1,1 2,1 ⎝ ⎠ ⎝ ⎠ 2Im y ( y −¯ y) L\S y → x := = ∈ S ⊂ R 1 − y 1 − y y ¯ 1 + y 1 + y y ¯ into the Minkowski space of signature (−, +, +), where y ¯ and y denote the conju- gate resp the modulus of a Lorentz number y ∈ L, Re( y + jy ) = y , 1 2 1 2 2 2 y = y y ¯ = ( y + jy )( y − jy ) = y − y and 1 2 1 2 1 2 Im( y + jy ) = y , 1 2 2 as usual. With a para-holomorphic function y : L → L, z → y(z), an analogue of the Enneper–Weierstrass representation formula then yields a conformal curvature line parametrization ⎛ ⎞ 1 + y dz ∗ 2 ⎝ ⎠ x =− Re j 1 − y (5.1) 2 y 123 266 S. Fujimori et al. of a timelike minimal surface with Gauss map x,cf. [11, Thm 3.3]: as the Christoffel formula ⎛ ⎞ 1 + y ∗ x = x , 1 1 u u 2 ∗ 2 |x | ⎝ ⎠ x =− j 1 − y = x ⇔ z ¯ z 2 x = x 2 y (x , x ) z ¯ z 2 v |x | 2 y v holds with z = u + j v, by the para-complex version of the Cauchy–Riemann equations 0 = 2 y = (( y ) − ( y ) ) + j (( y ) − ( y ) ) , z ¯ 1 u 2 v 2 u 1 v we deduce that x ⊥ dx and, with Lemma 3.2, that (u,v) are conjugate parameters for x which are orthogonal as they are conformal, 2 2 (x , x ) = |x | +|x | + 2 j (x , x ) = 0. z z u v u v Note that (x , x ) forms a pair of real isothermic surfaces, in the sense of [13, Sect. 2] as the surfaces have real curvature directions: in general, the shape operator of a timelike surface in Minkowski space may have complex conjugate eigendirections, or not diagonalize at all. Wheeling out the orthogonality condition for the coordinates of an afﬁne transform ⎛ ⎞ ⎛ ⎞ 2a Re y a( y +¯ y) 1 1 2,1 3 ⎝ ⎠ ⎝ ⎠ α x = 2b Im y = jb( y −¯ y) : → R ⊂ L , (5.2) 1 − y 1 − y y ¯ c(1 + y ) c(1 + y y ¯) as in the spacelike cases, we arrive now at the Lorentzian ordinary differential equation 2 2 2 2 2 2 2 2 2 y =− a 1 + y − b 1 − y − 4c y (5.3) with a real function as the condition for z = u + j v to yield a (real) curvature line net for the hyperboloid parametrized by (5.2), cf. (2.2) and (4.2). Then, similar to the complex case, the para-complex Cauchy–Riemann equations imply that the real function is, in fact, a real constant, since y = 0 implies = 0. z ¯ z ¯ Note though that the apparent similarity with the cases previously examined is deceptive: in contrast to the elliptic Eqs. (4.2), or (2.2), we are now dealing with a para-holomorphic function y and its para-complex derivative in (5.3). However, as the differential equations are real, we may employ a real solution of (4.2) to obtain a real solution of (5.3) that we may then extend to a para-holomorphic solution. To make this idea more tangible consider our above solution 2 2 a − b i am z y(z) = e = cn z + i sn z, where p = , p p 2 2 a − c 123 Quadrics and Scherk towers 267 of the elliptic Eq. (4.2), 2 2 4 2 2 y =− p y + 1 + 2 1 + q y 2 2 2 2 2 2 2 2 =− a 1 + y − b 1 − y − 4c y . 2 2 4 a − c We may then replace y(z) by y(iz) to obtain a real solution of (5.3) with a suitable choice of the constant, =− , by restriction of the complex solution to real 2 2 4(a −c ) variables: 1 − sn z cn z q q i am iz y(z) = e = = solves cn z 1 + sn z q q 2 2 4 2 2 y = p 1 + y + 2 1 + q y . (5.4) Note that the conversion formulae for reciprocal and imaginary moduli do not affect reality of the Jacobi elliptic functions, hence this approach does not depend on an order of the half axes lengths. We then extend this real analytic solution (uniquely, cf Lemma A.1) to a Lorentz- analytic solution 1 + j 1 − j cn u − j sn v dn u q q q y(u + j v) = y(u + v) + y(u − v) = . (5.5) 2 2 cn v + sn u dn v q q q Note that the same arguments that prove the corresponding properties of the L-Jacobi functions in Def & Cor A.2 also show that this L-analytic extension indeed solves the para-holomorphic differential Eq. (5.3). The Lorentz-analytic function y then yields a curvature line parametrization of (part of) the 1-sheeted hyperboloid, cf. Fig. 5. 3 2,1 Fig. 5 Parametrizations of a 1-sheeted hyperboloid in R resp R obtained from (5.4) 123 268 S. Fujimori et al. As the differential Eq. (5.4) that y now satisﬁes only differs by a sign from (4.4) we read the integrals in (5.1)off (4.5), 1 + y 2 2 y dy = arctan , 2 2 y p p(1 − y ) 1 − y 2 j 2qy j dy = arctan , 2 2 y pq p(1 + y ) 2 y 2 q(1 − y ) dy =− artanh . (5.6) 2 2 y q (1 + y ) In case of a complex elliptic modulus, p ∈ i R, the terms may be turned into purely para-complex form by replacing arctan by artanh, cf. “Appendix”. Again we obtain two qualitatively different implicit representations for the timelike minimal surfaces x given by (5.4), where the x -axis is now the distinguished axis: 2 2 q cos Re pz + cos Re pq z − p cosh Re qz =0if p ∈ (0, 1) and q ∈ (0, 1); 1 2 3 pz pq z 1 2 2 2 q cosh Re + cosh Re + p cosh Re qz =0if p ∈ i R and q ∈ (1, ∞). i i (5.7) Thus, analogous to Cor 4.2, we obtain a “permutability” result for the Christoffel dual of a 1-sheeted hyperboloid in Minkowski space: Cor 5.1 The Christoffel dual of (part of) a tri-axial 1-sheeted hyperboloid (5.2) in Minkowski space, ⎛ ⎞ a cn u 2 2 1 b − c ⎝ ⎠ u + j v = z → α x (z) = −b sn v dn u with q := , q q 2 2 sn u dn v a − c q q c cn v is the afﬁne image of a timelike minimal surface, more precisely, up to homothety it is given by ⎛ ⎞ cn 2a p − arctan p p sn 2 2 ⎜ ⎟ a − b q cn ∗ 2b ⎜ ⎟ z → α x (z) := Re − j arctan (z) with p := , pq p ⎝ ⎠ 2 2 a − c 2c artanh q sn where z = u + j v ∈ L is a para-complex variable, and cn and sn denote the p p L-Jacobi functions obtained as L-analytic extensions of the respective real Jacobi elliptic functions. To investigate the singularities of the curvature line net, that is, umbilics of the 1-sheeted hyperboloid, we seek again the branch values of the differential Eq. (5.3) resp (5.4): 123 Quadrics and Scherk towers 269 -1 -2 -3 -2 -1 0 1 2 3 2,1 Fig. 6 Parametrizations of patches of a 1-sheeted hyperboloid in R with umbilics √ √ 2 2 2 2 2 2 1±q a −c ± b −c − =− , p 2 2 a −b 2 4 2 2 2 2 0 = p y + 2 1 + q y + p ⇔ y = √ √ 2 2 2 2 2 2 1± jq a −c ± j b −c − =− . p 2 2 a −b Thus in order for the branch values to exist (as para-complex numbers) we must have √ √ 2 2 2 2 1 ± q a − c ± b − c c > a > b or = √ ∈ i R ⇔ 2 2 b > a > c. a − b As the para-complex equation y = 1 has four solutions, y =±1 and y =± j,we obtain 16 branch values in this case: q ± 1 q ± j q ± 1 q ± j ± , ± , ± j , ± j , ip ip ip ip q+ j q+ j q− j four of which do not project to the hyperboloid since = = 1, see ip ip ip Fig. 6. At the same time, the branch values yield the corners of the range of the solution y of (5.5), as well as of the solutions − y and ± jy, obtained from y by symmetry. This sharply contrasts the Euclidean case, where the orthogonality condition leads to the differential equation 2 2 2 2 2 2 2 2 2 y = a 1 + y + b 1 − y + 4c y , (5.8) cf. (2.3) and (4.7). As a para-complex differential equations this does not admit any branch values—not surprisingly, as a 1-sheeted hyperboloid in Euclidean space cannot have any umbilics. 123 270 S. Fujimori et al. Following our earlier strategy we obtain an explicit solution by replacing a by ia in (5.4); the corresponding curvature line parametrization of the hyperboloid and its dual is then simply read off Cor 5.1: x x x 2 2 2 1 2 3 Cor 5.2 A tri-axial 1-sheeted hyperboloid 1 + ( ) = ( ) + ( ) in Euclidean a b c space, where without loss of generality b < c, and its Christoffel dual admit curvature line parametrizations by L-analytic extensions of Jacobi elliptic functions: ⎛ ⎞ cn 2a p ⎛ ⎞ − arctan p p sn a cn u ⎜ ⎟ q cn 2b p ⎜ ⎟ ⎝ ⎠ α x (z) = −b sn v dn u and α x (z) = Re − j arctan (z). q q pq p ⎝ ⎠ sn u dn v q q c cn v 2c artanh q sn 2 2 2 2 a +b b −c where z = u + j v ∈ L, and p = and q = − ,cf. Fig. 5. 2 2 2 2 a +c a +c Acknowledgements Open access funding provided by Austrian Science Fund (FWF). This work would not have been possible without the valuable and enjoyable discussions with B Springborn and E Tjaden about the subject more than a decade ago; further we would like to thank A Honda, M Pember for fruitful more recent discussions around the subject. This work has been partially supported by the Austrian Science Fund (FWF) and the Japan Society for the Promotion of Science (JSPS) through the FWF/JSPS Joint Project grant I1671-N26 “Transformations and Singularities”. Furthermore, we gratefully acknowledge partial support from JSPS through personal grants: Fujimori (B) 25800047; Umehara (A) 26247005; Yamada (C) 26400066; as well as from the Wesco Scientiﬁc Promotion Foundation: Fujimori. Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 Interna- tional License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. Appendix: Reinbek’s formulas It has been known for long that quadrics are isothermic surfaces, in fact, it seems that investigations on quadrics were one of the main motivations to investigate isothermic surfaces, cf. [1]. After obtaining the Christoffel duality for isothermic surfaces in [2] an obvious question was to determine the Christoffel transforms of quadrics: this was the topic of the Ph.D. thesis [15]. As this thesis may not be very easy to obtain or read we brieﬂy list the results that are most relevant to this paper: using the well known conversion formulas 1 1 + t 1 1 + it artanh t = ln and arctan t = ln 2 1 − t 2i 1 − it we rewrite the representations that Reinbek obtained for the Christoffel duals of quadrics in terms of the usual elliptic coordinates in [15, §§6,7,8]: x z 1 2 2 2 2 2 (i) for an ellipsoid {(x , x , x ) | ( ) + ( ) + ( ) = 1}, with a ≥ t ≥ b ≥ 1 2 3 1 a b c t ≥ c , 123 Quadrics and Scherk towers 271 ⎛ ⎞ 2 2 a −t a −t ( 1)( 2) 2 2 2 2 ⎜ ⎟ a −b a −c ( )( ) ⎜ ⎟ ⎜ ⎟ 2 2 b −t b −t ( 1)( 2) ⎜ ⎟ x (t , t ) = and 1 2 b ⎜ 2 2 2 2 ⎟ b −a b −c ( )( ) ⎜ ⎟ ⎝ ⎠ 2 2 (c −t )(c −t ) 1 2 2 2 2 2 (c −a )(c −b ) ⎛ ⎞ a −t artanh 2 2 2 2 2 ⎜ a −b a −c a −t ⎟ ( )( ) 2 ⎜ ⎟ ⎜ ⎟ ∗ b t −b ⎜ ⎟ x (t , t ) = arctan ; 1 2 2 2 2 2 2 ⎜ b −t ⎟ (a −b )(b −c ) ⎜ ⎟ ⎝ ⎠ 2 2 c t −c artanh 2 2 2 2 2 a −c b −c t −c ( )( ) 1 x 2 2 z 2 2 2 (ii) for a hyperboloid {(x , x , x ) | ( ) + ( ) − ( ) = 1}, with a ≥ t ≥ b > 1 2 3 1 a b c −c ≥ t , ⎛ ⎞ 2 2 a −t a −t ( 1)( 2) 2 2 2 2 ⎜ ⎟ (a −b )(a +c ) ⎜ ⎟ ⎜ ⎟ 2 2 (b −t )(b −t ) 1 2 ⎜ ⎟ x (t , t ) = and 1 2 2 2 2 2 ⎜ ⎟ b −a b +c ( )( ) ⎜ ⎟ ⎝ ⎠ 2 2 c +t c +t ( 1)( 2) 2 2 2 2 c +a c +b ( )( ) ⎛ ⎞ 2 2 a a −t artanh 2 2 2 2 2 ⎜ ⎟ (a −b )(a +c ) a −t ⎜ ⎟ ⎜ ⎟ t −b ∗ b ⎜ 1 ⎟ x (t , t ) = arctan ; 1 2 2 2 2 2 2 ⎜ ⎟ a −b b +c b −t ( )( ) 2 ⎜ ⎟ ⎝ ⎠ 2 2 c t +c arctan − 2 2 2 2 2 a +c b +c c +t ( )( ) x y 1 2 2 z 2 2 2 (iii) for a hyperboloid {(x , x , x ) | ( ) − ( ) − ( ) = 1}, with a > −b ≥ 1 2 3 a b c t ≥−c ≥ t , 1 2 ⎛ ⎞ 2 2 a −t a −t ( )( ) 1 2 2 2 2 2 ⎜ a +b a +c ⎟ ( )( ) ⎜ ⎟ ⎜ ⎟ 2 2 b +t b +t ( 1)( 2) ⎜ ⎟ x (t , t ) = and 1 2 b ⎜ 2 2 2 2 ⎟ b +a b −c ( )( ) ⎜ ⎟ ⎝ ⎠ 2 2 (c +t )(c +t ) 1 2 2 2 2 2 (c +a )(c −b ) ⎛ ⎞ a a −t artanh 2 2 2 2 2 ⎜ a +b a +c a −t ⎟ ( )( ) 2 ⎜ ⎟ ⎜ ⎟ 2 2 ∗ b b +t ⎜ ⎟ x (t , t ) = artanh . 1 2 2 2 2 2 2 ⎜ ⎟ (a +b )(−b +c ) b +t ⎜ ⎟ ⎝ ⎠ 2 2 t +c c 1 arctan − 2 2 2 2 2 a +c −b +c c +t ( )( ) 2 123 272 S. Fujimori et al. Lorentz analytic functions Our analysis of the Christoffel duals of quadrics and the associated zero mean curvature surfaces hinges crucially on elliptic functions, as solutions of the occurring elliptic differential equations. To obtain the para-holomorphic analogues of the Jacobi elliptic functions we seek a suitable extension theorem for para-holomorphic functions. Following [4, Def 4.11(4)] we say that a function y : L ⊃ U → L is L-analytic (or Lorentz-analytic) if it admits a power series expansion around every point z = u + j v ∈ U, 0 0 y(u + j v) = a ((u − u ) + j (v − v )) . n 0 0 n∈N Any L-analytic function is para-holomorphic in its domain, in fact, has para-complex derivatives of any order, which are given by term-by-term differentiation of its power series [4, Thm 4.12]. Note that, in contrast to the case of complex holomorphic functions, para- holomorphicity does neither imply L-analyticity nor the existence of higher order derivatives, cf. [4, Expl 4.13]. In fact, any differentiable function y : R ⊃ I → R, regardless of higher order differentiability of y, has a para-holomorphic extension 1 + j 1 − j y ˜(u + j v) := y(u + v) + y(u − v) 2 2 1 1 as Re y ˜(u,v) = ( y(u + v) + y(u − v)) and Im y ˜(u,v) = ( y(u + v) − y(u − v)) 2 2 clearly satisfy the para-complex version of the Cauchy–Riemann equations, (Re y ˜) = (Im y ˜) and (Im y ˜) = (Re y ˜) . u v u v Note that this extension is not unique: for example, j y ˜ is para-holomorphic with j y ˜| ≡ 0, hence any superposition of y ˜ and j y ˜ yields another extension of y; in fact, any real differentiable function y provides a para-holomorphic extension j y ˜ of 0. To see that the above construction yields a unique extension of a real analytic function to an L-analytic function, ﬁrst observe that 1 ± j 1 ± j 1 + j 1 − j = and = 0. 2 2 2 2 1+ j 1− j Thus writing u + j v = (u + v) + (u − v) we learn that the extension of a real 2 v power series is a para-complex power series since 1 + j 1 − j n n n a (u + j v) = a (u + v) + a (u − v) . n n n 2 2 n∈N n∈N n∈N 123 Quadrics and Scherk towers 273 Uniqueness follows by comparison of coefﬁcients: if y ˜(u + j v) = a (u + j v) n∈N restricts to a real analytic function y then all coefﬁcients a must be real, hence are uniquely determined by y. Thus we have proved the following, cf. [4, Expl 3.2 and Prop 3.1(4)]: Lemma A.1 Every real analytic function y : R ⊃ I → R has a unique L-analytic extension y ˜ : L ⊃ {u + j v | u ± v ∈ I } → L, 1 + j 1 − j u + j v →˜ y(u + j v) := y(u + v) + y(u − v) . 2 2 Note that the L-analytic trigonometric functions of [4, Expl 3.3] are different from those that are obtained by extension of the real trigonometric functions. Clearly, sums and products of the L-analytic extensions of real analytic functions are the L-analytic extensions of the corresponding sums resp products of the real functions, and as 1 + j 1 − j 1 1 + j 1 1 − j y(u + v) + y(u − v) + = 1 2 2 y(u + v) 2 y(u − v) 2 the same holds true for quotients, where they are deﬁned. In fact, these properties also follow from the compatibility of our L-analytic extension with the composition, f ◦ y = f ◦˜ y since (Re y ˜ ± Im y ˜) (u + j v) = y(u ± v). the composition of the extensions of real analytic functions As the derivative of an L-analytic function is obtained by term-by-term differen- tiation of its power series expansion it is clear that the derivative of the L-analytic extension of a real analytic function is the L-analytic extension of its derivative. How- ever, a similar argument as above can be given, that does not depend on the power series expansion: 1 ∂ ∂ y ˜ (u + j v) = + j y ˜(u + j v) 2 ∂ u ∂v y + jy 1 + j y − jy 1 − j = (u + v) + (u + v) = y (u + j v). 2 2 2 2 Jacobi elliptic functions For the reader’s convenience we collect some basic facts about the Jacobi elliptic functions of pole type n: in terms of the Jacobi amplitude function am these may be deﬁned by 2 2 cn z = cos am z, sn z = sin am z, dn z = 1 − p sn z. p p p p p 123 274 S. Fujimori et al. The Pythagorean laws are then a direct consequence of these deﬁnitions: 2 2 2 2 2 1 = cn + sn = dn + p sn ; p p p p and with am = dn the characterizing elliptic differential equations are readily derived: 2 2 2 2 2 cn = 1 − cn q + p cn , p p p 2 2 2 2 sn = 1 − sn 1 − p sn , p p p 2 2 2 2 dn = dn −1 q − dn . p p p The Jacobi elliptic functions are analytic functions, naturally deﬁned for complex arguments: in fact, they are holomorphic functions from a torus to the Riemann sphere since they are doubly periodic, with the period lattice spanned by 4 K and 4iK , p q where K denotes the complete elliptic integral of the ﬁrst kind. To resort to real arguments the conversion formulae of imaginary arguments, 1 sn z dn z q q cn (iz) = , sn (iz) = i , dn (iz) = , p p p cn z cn z cn z q q q are combined with the argument sum formulas cn u cn v − sn u dn u sn v dn v p p p p p p cn (u + v) = , 2 2 2 1 − p sn u sn v p p sn u cn v dn v + sn v cn u dn u p p p p p p sn (u + v) = , 2 2 2 1 − p sn u sn v p p dn u dn v − p sn u cn u sn v cn v p p p p p p dn (u + v) = . 2 2 2 1 − p sn u sn v p p Hence, for example, cn u cn v + i sn u dn v p q p q i am (u+i v) e = . 1 + dn u sn v p q Finally, the conversion formulas for inverse and imaginary moduli allow to unify the treatment of hyperboloids of different half axes conﬁgurations: cn z p z cn z = dn , cn z = , 1/ p p ip p p dn p √ p = , sn 1+ p z p z sn z = p sn , sn z = q , where 1/ p p ip p dn q = . z 1 z 1+ p dn z = cn ; dn z = , 1/ p p ip p dn 123 Quadrics and Scherk towers 275 Note that these conversions preserve reality of the Jacobi elliptic functions for real arguments. Considering the Jacobi elliptic functions as real analytic functions we may use Lemma A.1 to obtain L-analytic extensions that are deﬁned on a square torus: Def & Cor A.2 The Jacobi elliptic functions have unique L-analytic extensions to L, that we will refer to as L-elliptic or L-Jacobi functions. These L-elliptic functions satisfy the same elliptic differential equations as their real counterparts and they are doubly periodic, with fundamental domains " # u + j v |− 2 K ≤ u ± v ≤ 2 K . p p Existence of unique L-analytic extensions and their periodicity follows directly from Lemma A.1; as the above elliptic differential equations characterizing the Jacobi elliptic functions are (real) analytic, ω 2 0 = f ( y , y) with f ∈ C (R ), the extensions of y and y satisfy the same elliptic differential equations as the original real functions do. For example, the real solution cn u 1 i am iu 2 2 4 2 2 y(u) = e = of y = p (1 + y ) + 2(1 + q ) y 1 + sn u 4 extends to a para-complex solution of the same elliptic differential equation, cn u − j sn v dn u q q q y(u + j v) = . cn v + sn u dn v q q q Note that − y and ± jy provide other solutions of the same elliptic differential equation. Implicit representations While veriﬁcation of the implicit representations of the occurring zero mean curvature surfaces given in the text is fairly straightforward, we provide some hints and formulas that may facilitate the endeavour in this appendix. First recall that three cases are discussed: Case Elliptic ode Solution 2 2 2 2 2 (1− y ) −q (1+ y ) 1 i am z 2 p Ellipsoid/Scherk towers (3.3) y = y(z) = e , 4 i 2 2 2 2 2 (1+ y ) −q (1− y ) 2 i am z 2-sheeted hyperboloid (4.4) − y = y(z) = e , 2 2 2 2 2 (1+ y ) −q (1− y ) 2 i am iz 1-sheeted hyperboloid (5.4) y = y(z) = e . 123 276 S. Fujimori et al. 2 2 2 2 a −b b −c Here p = and q = 1 − p = denote the elliptic modulus and 2 2 2 2 a −c a −c co-modulus of the elliptic function y, obtained from the half axes a, b, c > 0of the ellipsoid or hyperboloid, respectively. Note that, depending on the order of the half axes, three cases can occur: (i) a > b > c or c > b > a yields p ∈ (0, 1) and q ∈ (0, 1); (ii) c > a > b or b > a > c yields p ∈ i R and q > 1; (iii) b > c > a or a > c > b yields p > 1 and q ∈ i R. Using the differential equation of the elliptic function y the integrals in the Weier- strass representations, (3.4), (4.5) and (5.6), are readily veriﬁed using 2 y p 1− y 2 y p 1+ y 2 y 2 y artanh = , arctan = ; 2 2 2 2 2 2 p 1+ y 2 2 2 p(1− y ) 2 2 2 ( ) 1− y −q 1+ y 1+ y −q 1− y ( ) ( ) ( ) ( ) 2 y pq 1+ y 2 y pq 1− y 2qy 2qy artanh = , arctan = ; 2 2 2 2 2 2 2 2 2 2 2 2 p(1− y ) p(1+ y ) 1− y −q 1+ y 1+ y −q 1− y ( ) ( ) ( ) ( ) q 1± y ±4yy q artanh = . 2 2 2 1∓ y 2 2 2 ( ) 1∓ y −q 1± y ( ) ( ) We now investigate the three cases, the ellipsoid in Euclidean space and the space- resp timelike hyperboloids in Minkowski geometry, in turn. Ellipsoid/Scherk tower (3.4): We set 1 − y 2 2 y z := dy = artanh , 2 2 y p p(1 + y ) 1 + y 2i 2qy 2 2iq y z := i dy = artanh = arctan , 2 2 2 y pq p(1 − y ) pq p(1 − y ) 2 y 2 q(1 + y ) z := dy = artanh . 2 2 y q (1 − y ) Then we use 2 2 1 +| tanh z| 1 −| tan z| cosh(z +¯ z) = and cos(z +¯ z) = 2 2 |1 − tanh z| |1 + tan z| to compute 2 2 2 2 2 pz 4 y p |1+ y | +4| y| 2 1 $ $ tanh = , cosh Re pz = ; 2 1 $ 2 2$ 2 2 2 2 2 2 p 1+ y ( ) 1− y −q 1+ y $( ) ( ) $ 2 2 2 2 2 2 2 pq z −4q y p |1− y | −4q | y| 2 2 $ $ tan = , cos Re pq z = ; 2 $ $ 2 2 2 2 2 2 2 2 p (1− y ) 1− y −q 1+ y $( ) ( ) $ 2 2 2 2 2 2 2 q 1+ y qz |1− y | +q |1+ y | 2 3 $ $ tanh = , cosh Re qz = . 2 $ $ 2 2 2 2 2 2 2 (1− y ) 1− y −q 1+ y $( ) ( ) $ 123 Quadrics and Scherk towers 277 Without loss of generality we assume case (i) a > b > c here, so that p, q ∈ (0, 1). Thus we obtain the implicit representation (3.5) of the Scherk tower x of Lemma 3.1: 2 2 q cosh Re pz + cos Re pq z − p cosh Re qz = 0. 1 2 3 2-sheeted hyperboloid (4.5): Here we set 1 + y 2 2 y z := dy =− arctan , 2 2 y p p(1 − y ) 1 − y 2i 2qy 2 2qy z := i dy =− arctan = artanh , 2 2 2 y pq p(1 + y ) pq ip(1 + y ) 2 2 2 y 2 q(1 − y ) 2i q(1 − y ) z := dy = artanh = arctan . 2 2 2 y q (1 + y ) q i (1 + y ) Employing the same method as before, two cases, (i) a > b > c and (iii) b > c > a, need to be considered, as the x -axis is geometrically distinguished: exchanging the x - and x -axes will interchange the equations of cases (i) and (ii). Thus we compute 1 2 2 2 2 2 2 pz 4 y p |1− y | −4| y| 2 1 tan = , cos Re pz = ; 2 2 2 1 2 2 2 2 2 p (1− y ) |(1+ y ) −q (1− y ) | 2 2 2 2 2 2 2 pq z 4q y p |1+ y | +4q | y| 2 2 tanh =− , cosh Re pq z = if p < 1, 2 2 2 2 2 2 2 2 p (1+ y ) |(1+ y ) −q (1− y ) | 2 2 2 2 2 2 2 pq z 4q y pq z p |1+ y | +4q | y| 2 2 2 tan = , cos Re = if p > 1; 2 2 2 2 2 2 2 2 2i i p (1+ y ) |(1+ y ) −q (1− y ) | 2 2 2 2 2 2 2 2 qz q (1− y ) |1+ y | +q |1− y | 2 3 tanh = , cosh Re qz = if p < 1, 2 2 3 2 2 2 2 2 (1+ y ) |(1+ y ) −q (1− y ) | 2 2 2 2 2 2 2 2 qz q (1− y ) qz |1+ y | +q |1− y | 2 3 3 tan =− , cos Re = if p > 1; 2 2 2 2 2 2 2 2i i (1+ y ) |(1+ y ) −q (1− y ) | and hence obtain implicit representations (4.6) for the maximal surfaces of Cor 4.2: 2 2 q cos Re pz + cosh Re pq z − p cosh Re qz =0if p < 1 and q ∈ (0, 1); 1 2 3 pq z qz 2 3 2 2 q cos Re pz + cos Re − p cos Re =0if p > 1 and q ∈ i R. i i 1-sheeted hyperboloid (5.6): Here we use para-complex coordinate functions 1 + y 2 2 y 2i 2iy z := dy = arctan =− artanh , 2 2 2 y p p(1 − y ) p p(1 − y ) 1 − y 2 j 2qy 2ij 2iq y z := j dy = arctan =− artanh , 2 2 2 y pq p(1 + y ) pq p(1 + y ) 2 y 2 q(1 − y ) z := dy =− artanh . 2 2 y q (1 + y ) Note that we are now using the L-analytic extensions of real elliptic functions, hence may need to replace artanh by arcoth if necessary—however, this has no effect as we again use 123 278 S. Fujimori et al. 2 2 1 + tanh z 1 − tan z cosh(z +¯ z) = and cos(z +¯ z) = , 2 2 1 + tan z 1 − tanh z 2 2 together with tan jz = j tan z, tanh jz = j tanh z and jy =− y , to compute 2 2 2 2 pz 2 y p 1− y −4 y tan = , cos Re pz = if p ∈ R, 2 2 2 2 2 2 p(1− y ) (1+ y ) −q (1− y ) 2 2 2 2 pz 2iy pz p 1− y −4 y 1 1 tanh =− , cosh Re =− if p ∈ i R; 2 2 2 2 2 2 2i i p(1− y ) (1+ y ) −q (1− y ) 2 2 2 2 2 pq z 2 jq y p 1+ y +4q y tan = , cos Re pq z = if p ∈ R, 2 2 2 2 2 2 2 2 p(1+ y ) (1+ y ) −q (1− y ) 2 2 2 2 2 pq z 2ijqy pq z p 1+ y +4q y 2 2 tanh =− , cosh Re =− if p ∈ i R; 2 2 2 2 2 2 2i i p(1+ y ) (1+ y ) −q (1− y ) 2 2 2 2 2 2 qz q(1− y ) 1+ y +q 1− y tanh =− , cosh Re qz = . 2 2 2 2 2 2 (1+ y ) (1+ y ) −q (1− y ) Thus we obtain implicit representations (5.7) of the timelike minimal surfaces of Cor 5.1: 2 2 q cos Re pz + cos Re pq z − p cosh Re qz =0if p ∈ (0, 1) and q ∈ (0, 1); 1 2 3 pz pq z 1 2 2 2 q cosh Re + cosh Re + p cosh Re qz =0if p ∈ i R and q ∈ (1, ∞). i i Note that the third case, (iii) b > c > a, can be neglected since the x -axis is the timelike axis so that this case can be obtained from case (i) by exchanging the x - and x -axes. References 1. Cayley, A.: On the surfaces divisible into squares by their curves of curvature. Proc. Lond. Math. Soc. 4, 8–9 & 120–121 (1872) 2. Christoffel, E.: Ueber einige allgemeine Eigenschaften der Minimumsﬂächen. Crelle’s J. 67, 218–228 (1867) 3. Cockle, J.: On a new imaginary in algebra. Philos. Mag. 34, 37–47 (1849) 4. di Terlizzi, L., Konderak, J., Lacirasella, I.: On differentiable functions over Lorentz numbers and their geometric applications. Differ. Geom. Dyn. Syst. 16, 113–139 (2014) 5. Fujimori, S., Kim, Y., Koh, S.-E., Rossman, W., Shin, H., Takahashi, H., Umehara, M., Yamada, K., Yang, S.-D.: Zero mean curvature surfaces in L containing a light-like line. C R Math. 350, 975–978 (2012) 6. Fujimori, S., Kim, Y., Koh, S.-E., Rossman, W., Shin, H., Umehara, M., Yamada, K., Yang, S.-D.: Zero mean curvature surfaces in Lorentz–Minkowski 3-space and 2-dimensional ﬂuid mechanics. Math. J. Okayama Univ. 57, 173–200 (2015) 7. Harkin, A., Harkin, J.: Geometry of generalized complex numbers. Math. Mag. 77, 118–129 (2004) 8. Hertrich-Jeromin, U.: Introduction to Möbius Differential Geometry; London Mathematical Society Lecture Note Series, vol. 300. Cambridge University Press, Cambridge (2003) 9. Karcher, H.: Construction of Minimal Surfaces. Surveys in Geometry, pp. 1–96. Tokyo University, Tokyo (1989) 10. Kobayashi, O.: Maximal surfaces in the 3-dimensional Minkowski space L . Tokyo J. Math. 6, 297–309 (1983) 11. Konderak, J.: A Weierstrass representation theorem for Lorentz surfaces. Complex Var. Theory Appl. 50, 319–332 (2005) 12. Magid, M.: Lorentzian isothermic surfaces and Bonnet pairs. Ann. Pol. Math. 83, 129–139 (2004) 123 Quadrics and Scherk towers 279 13. Magid, M.: Lorentzian isothermic surfaces in R .Rocky Mt.J.Math. 35, 627–640 (2005) 14. Nitsche, J.: Lectures on Minimal Surfaces. Cambridge University Press, Cambridge (1989) 15. Reinbek, K.: Ueber diejenigen Flächen, auf welche die Flächen zweiten Grades durch parallele Nor- malen conform abgebildet werden. Ph.D. thesis, Georg-Augusts-Universität Göttingen (1886) 16. Scherk, H.: Bemerkungen über die kleinste Fläche innerhalb gegebener Grenzen. Crelle’s J. 13, 185– 208 (1835) 17. Smyth, B.: Soliton surfaces in the mechanical equilibrium of closed membranes. Commun. Math. Phys. 250, 81–94 (2004)
Monatshefte f�r Mathematik – Springer Journals
Published: Jul 3, 2017
It’s your single place to instantly
discover and read the research
that matters to you.
Enjoy affordable access to
over 18 million articles from more than
15,000 peer-reviewed journals.
All for just $49/month
Query the DeepDyve database, plus search all of PubMed and Google Scholar seamlessly
Save any article or search result from DeepDyve, PubMed, and Google Scholar... all in one place.
Get unlimited, online access to over 18 million full-text articles from more than 15,000 scientific journals.
Read from thousands of the leading scholarly journals from SpringerNature, Elsevier, Wiley-Blackwell, Oxford University Press and more.
All the latest content is available, no embargo periods.
“Hi guys, I cannot tell you how much I love this resource. Incredible. I really believe you've hit the nail on the head with this site in regards to solving the research-purchase issue.”
Daniel C.
“Whoa! It’s like Spotify but for academic articles.”
@Phil_Robichaud
“I must say, @deepdyve is a fabulous solution to the independent researcher's problem of #access to #information.”
@deepthiw
“My last article couldn't be possible without the platform @deepdyve that makes journal papers cheaper.”
@JoseServera
DeepDyve Freelancer | DeepDyve Pro | |
---|---|---|
Price | FREE | $49/month |
Save searches from | ||
Create lists to | ||
Export lists, citations | ||
Read DeepDyve articles | Abstract access only | Unlimited access to over |
20 pages / month | ||
PDF Discount | 20% off | |
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.
ok to continue