Dihedralization of Minimal Surfaces in
Abstract.
It is a well known phenomenon that many classical minimal surfaces in Euclidean space also exist with “higher dihedral symmetry”. More precisely, these surfaces are solutions to free boundary problems in a wedge bounded by two vertical planes with varying angle. We study the limit of such surfaces when the angle converges to 0. In many cases, these limits are simpler than the original surface, and can be used in conjunction with the implicit function theorem to give new existence proofs of the original surfaces with small dihedral angle. This approach has led to the discovery of new minimal surfaces as well.
1. Introduction
It is well-known that minimal surfaces with arbitrary genus and high rotational symmetry group exist. Famous examples, such as the Scherk surface and the Costa surface, often have “companion” surfaces with -fold rotational symmetry. In order to study a minimal surface with -th order rotational symmetry group , it suffices to study a fundamental piece of . In full generality, can be seen as a minimal surface in a “twisted wedge” which is omitted here for the sake of simplicity. In this paper we will only consider the surfaces with high dihedral symmetries. Consequently, can be seen as a solution to a free boundary problem in a wedge bounded by two vertical planes that meet at an angle . Visa-versa a given minimal surface , whose boundary lies on two symmetry planes meeting at an angle (thus meets the bounding planes orthogonally), can be extended by reflections to a complete minimal surface in . We can also generalize the free boundary problems by allowing for any non-negative real wedge angle where . This generalization allow us to consider a continuous family of solutions. Therefore, one can investigate minimal surfaces with high rotational symmetry of any order by studying free boundary problems in a wedge bounded by two vertical planes with a varying angle.
This perspective raises many questions: Is it possible to solve the free boundary problem for every ? If that is not the case, for what upper and lower bounds of , can we solve it? What would the solutions look like for the limiting case ? Clearly, our understanding of the moduli spaces of rotationally symmetric minimal surfaces would be enhanced if we had the answers to these questions.
For the purpose of understanding moduli spaces of minimal surfaces, a key method, frequently used in the past, has been to work on limits of families of minimal surfaces. For instance, Traizet showed in a series of articles [Tra96, Tra98, Tra02] that new examples of minimal surfaces in Euclidean space can be regenerated by utilizing noded Riemann surface limits. In this paper, inspired by regeneration methods, we regenerate solutions to certain free boundary problems by utilizing the limiting solution as goes to . Note that, for , the bounding planes of the wedges become parallel, and with appropriate scaling, we obtain a free boundary problem in a slab bounded by two parallel, vertical planes. As approaches , there is of course a change in the edges of wedges since the wedges in the free boundary problem transform into a slab in the limit case. Fig 1 illustrates the phases of this phenomenon; note, in particular, the dramatic change of the edges as we transition from Fig 1(b) to (c).
This work presents results for minimal surfaces in the following class.
Definition 1.1.
A minimal surface is called -dihedral if is the largest dihedral subgroup of Sym. When is a variant of an existing minimal surface , we refer to as the dihedralized .
A very well known example of -dihedral surfaces are the so-called Scherk Towers found by Hermann Karcher (see Fig. 1(a) and [Kar88]). In order to put the discussion of minimal surfaces with high dihedral symmetry into context of free boundary problems in wedges, we define:
Definition 1.2.
A minimal surface , whose boundary lies on two symmetry planes making an angle , is called a minimal wedge. In particular, the surface meets the bounding planes orthogonally.
Hereafter, we will call the dihedral angle on account of the fact that an -dihedral minimal surface gives rise to a minimal wedge which can be defined as a fundamental piece of . For example, the minimal wedge corresponding to a Scherk Tower of ends is given in Fig. 1(b)). As mentioned earlier, for any , can be extended to a complete minimal surface in , and we will refer to the extension of as the dihedral limit of the sequence . As goes to , the limit becomes a minimal surface in a slab. Hence, the rotational symmetries of the sequence are replaced by the translational periodicity of its dihedral limit.
Surprisingly, we cannot always expect a dihedralized version of a minimal surface to exist. For example, our numerical experiments show that the -dihedral variants of Wohlgemuth’s surface of genus (see [Woh93]) do not exist for integers . On the other hand, the dihedralized variations of the Costa-Hoffman-Meeks (see [HK97]) and the Callahan-Hoffman-Meeks (see [CHMI89]) surfaces are known to exist for all ; and they converge to the singly periodic Scherk and the Karcher-Meeks-Rosenberg surfaces (see [Kar88], [MIR89]) respectively. It is therefore interesting to classify minimal surfaces on the basis of their “dihedralizability”.
This paper reveals that, indeed, there are a number of families of minimal surfaces that can be regenerated from their dihedral limit. In many cases, these limits are simpler than the original surfaces, and can be used in conjunction with the implicit function theorem to obtain new and simpler existence proofs of the original surfaces with small dihedral angle. This approach, which we call dihedralization, has also led us to the discovery of new minimal surfaces.
A prototype example of regeneration with dihedralization is an existence proof for the dihedralized Chen-Gackstatter surface of genus (which we denote by ) for large enough positive integer , obtained by first proving the existence of its limit surface. Generally, this requires one to solve a dimensional system of equations that include integrand terms of exponents . It is known that such surfaces exist (see [Tha], [WW98]), but our argument provides a shorter proof that does not involve integration of the abovementioned terms with complicated exponents. Furthermore, through dihedralization arguments, we introduce two novel surfaces illustrated in Figures 2(a) and 3(a), as described by the following two theorems.
Theorem 1.3.
For sufficiently large , there exists an -dihedral, finite type minimal surface of genus with four catenoidal ends, which is invariant under a reflection with respect to a horizontal plane. Moreover, as , converges to an embedded singly periodic minimal surface of genus with annular ends, which is invariant under horizontal translations. The limit surface is a less symmetric Scherk Tower of ends and it is also invariant under a vertical reflection and a horizontal reflection.
The surface as it appears in Theorem 1.3, is a variant of Wolgemuth’s Surface of genus (see [Woh93]) with all catenoidal ends instead of planar ends. Hence we call it the “dihedralized catenoidal Costa-Wohlgemuth surface”.
Theorem 1.4.
For sufficiently large , there exists a complete, embedded, singly periodic -dihedral minimal surface of genus with annular ends, which is invariant under reflection with respect to a horizontal plane. Moreover, as , converges to an embedded doubly periodic minimal surface of genus with annular ends. The limit surface, known as the doubly periodic Karcher-Scherk surface of genus , is invariant under a vertical reflection and a horizontal reflection.
On the other hand, the surface given in Theorem 1.4, and aptly called the “dihedralized Karcher Scherk surfaces with handles”, can be seen as Scherk towers with added handles.
The paper is organized as follows: In Section 2, we demonstrate that the assumed symmetries of our surfaces have strong implications on the flat structures of the Weierstrass -forms, allowing us to parametrize the surfaces via Schwarz-Christoffel maps and -functions which are also introduced in Section 2. Section 3 contains an existence proof for the surfaces and the corresponding wedges . This proof serves as the prototype example of the new dihedralization method. In Section 4, employing dihedralization, we provide a concise proof for the existence of a -dihedral Weber-Wolf surface with 4 catenoidal ends and a planar end. While acknowledging the existing knowledge about these surfaces, we present brief proofs that highlight the methodologies of the dihedralization process.
2. Geometry of the Weierstrass Representation
Let a minimal map (i.e. a conformal parametrization of a minimal surface) be given by
(1) |
where
Here, the meromorphic function is the stereographic projection of the Gauss map, and the holomorphic 1-form is called the height differential.
Recall that multiplying by a real factor scales the surface, and multiplying it by is the Bonnet deformation. Multiplying by a real factor is called the López-Ros deformation, while multiplying by rotates the surface about a vertical axis by the angle .
Let be a minimal map, given by Weierstrass data and . Introduce , , and .
We will next explain that the particular symmetries we assume about our surfaces imply that the flat structures of , and satisfy certain conditions. This is crucial for our line of reasoning, because it will allow us to define , and either as integrands of Schwarz-Christoffel maps from the upper half plane to Euclidean polygons or as integrands of rational functions with -function factors on tori.
Proposition 2.1.
Symmetries of minimal surfaces.
-
(1)
Suppose that , , and extend continuously to the real interval and map it to a segment orthogonal to, to a segment making angle with, and to a segment making angle with the real axis, respectively. Then the Schwarz reflection principle guarantees that , , and and thus can be extended across by reflection. We claim that this extension of is realized by a rotation about , which is a horizontal straight line in making angle with the -direction.
-
(2)
Suppose that , , and extend continuously to the real interval and map it to a segment parallel to, to a segment making angle with, and to a segment making angle with the real axis, respectively. Then the Schwarz reflection principle guarantees that , , and and thus can be extended across by reflection. Then is a reflectional symmetry curve in a vertical plane in making angle with the -axis.
-
(3)
Suppose that is a conformal involution of such that and , then is symmetric with respect to reflection on a horizontal plane in that contains image of fixed points of under .
Proof.
To see (1) and (2), we first note that we can assume that . Otherwise we multiply by : This rotates the segments and to become parallel to the real axis, and leaves unchanged. On the other hand, it rotates the surface about a vertical axis by angle . Since now , extension across conjugates and . Consequently, this leaves unchanged, while it turns and into and . Vice versa, if a minimal surface contains a horizontal straight line (necessarily a symmetry line) that is parametrized by a segment , the Weierstrass integrals above map to segments with the appropriate angles. Similarly, , , and map the real interval to a segment parallel to, a segment making angle with, and a segment making angle with the real axis, respectively, if and only if is a reflectional symmetry curve in a vertical plane making angle with the -direction. Finally, let be as in the proposition, then it fixes and while it turns to . As a result is realized by a reflection on a horizontal plane that contains fixed points of . ∎
In order to construct Weierstrass Data on tori, we will use the will use -functions given below. For our purposes, -functions on tori are analogous to linear functions on .
is one the classical Jacobi -functions and it is an entire function with simple zeroes at the lattice points of the integer lattice spanned by and , moreover, in a fundamental parallelogram, has no further zeroes. it also enjoys the following properties:
-
(1)
,
-
(2)
,
-
(3)
,
-
(4)
,
-
(5)
for ,
Note that property (5) implies that is real on the real line when is purely imaginary.
Our method for constructing minimal surfaces begins with the initial creation of a simply connected fundamental piece of minimal wedges . These initial components serve as the foundation, and then we leverage prescribed symmetries to extend them into complete surfaces. In the next section, we will not only illustrate the construction methodology but also present a proof for the existence of the Chen-Gackstatter Surface of genus with dihedral symmetry. This proof will be established through a dihedralization argument.
3. The Chen-Gackstatter Surface of genus with dihedral symmetry
Our objective is to prove the following theorem, providing insights into the methodology and details of dihedralization along the way. This will serve as a template for future examples.
Theorem 3.1.
For sufficiently large values of , there exists a finite type -dihedral minimal surface DE of genus with one Enneper type end which is invariant under horizontal rotations. Moreover, as , DE converges to a singly periodic minimal surface of genus 0 with an Enneper type end and, the dihedral limit surface is invariant under vertical translations and rotations around two horizontal lines.
Proof of Theorem 3.1.
We begin the proof by giving Lemma 3.2, which contains a construction of a half of a wedge, corresponding to , which can be seen as a minimal octagon in Fig 5. For , this minimal octagon corresponds to th of the surface .
Lemma 3.2.
For any , and , there is a Weierstrass map , cf. Section 2, that maps the upper half plane to a minimal octagon with one vertex at in . The edges of this octagon lie in vertical symmetry planes either parallel to the -axis or make an angle with the -axis alternatingly (if , then all the symmetry planes are parallel to the -axis and all the vertices of the minimal polygons are at ). Moreover, there is a half straight line on this octagon that passes from two of the vertices and divides the octogon into two symmetrical pieces.
Proof of Lemma 3.2.
First, when is nonzero, we utilize two Schwarz-Christoffel maps to construct such a minimal octagon. We define,
(2) |
One of the two Schwarz-Christoffel maps is defined by integrand given in (2), and this map sends the upper half plane to left side of the polygon Figure 6(a). The other Schwarz-Christoffel map is defined by integrand given in (2) and sends the upper half plane to right side of the polygon seen in Figure 6(b).
The forms and are positive on which in turn determines our choice of rotations and branch cuts. Also note that the Schwarz-Christoffel maps with and for integrands, send the imaginary line to the symmetry axes of the polygons in Figure 6. Then we choose these 1-forms to be the Weierstrass 1-forms , with a suitable López-Ros factor which will be chosen later in our argument. As a result we get , and clearly maps the imaginary and real lines to the imaginary and real lines, respectively. Then by Proposition 2.1, will map the upper half plane to a minimal octagon as described in the statement of Lemma 3.2. We note that, our construction of the Schwarz-Christoffel maps allows us to choose , for which we obtain the following 1-forms:
Due to the assumption that , we calculate the residues of , at the points and see that maps the upper half plane to the polygon in Figure 7(a) and maps the upper half plane to the polygon in Figure 7(b).
Therefore, by Proposition 2.1, when , maps the upper half plane to a minimal octagon with all vertices at infinity and edges on parallel planes. ∎
3.1. Period Problem
In order to extend the minimal octagon given by Lemma 3.2 to a complete wedge corresponding to the surface, it is sufficient and necessary that the alternating edges of the minimal octagon lie on the same vertical symmetry plane. We know that two alternating edges will lie on parallel planes and we can measure the distance between the parallel planes containing the two alternating edges as follows: Let be two consecutive numbers in , let be the immediate predecessor of and be the immediate successor of in . Also, let be a circle in that starts at a point in the interval , moves in the counterclockwise direction and passes through a point in the interval . That is, encircles and , are alternating edges of the minimal octagon. As in Proposition 2.1, we can extend i.e. analytically continue and across . This corresponds to extending the minimal octagon by a vertical reflection with respect to the plane that contains the edge . Then is equal to the twice of the normal vector between the plane containing and the plane containing . Since both and are symmetric with respect to the imaginary line, it is clear that if this normal vector is for and , then it is simultaneously for and . Hence for a given , to be able to extend the minimal octagon by closing the period , we need values of such that
(3) |
So far, we have parametrized the surface with 3 parameters and we have 3 period equations to solve. We can solve one these conditions, choose the López-Ros factor and reduce the number of parameters essentially by scaling as follows:
Lemma 3.3.
Assume that for a given , there exist such that the following holds true
(4) |
where and are continued analytically along the circles . Then there exists a such that for , , the period conditions given in (3) are satisfied.
Proof of Lemma 3.3.
Note that and are positive.
We define . Observe that,
Similarly,
and finally,
∎
Next, we will address the period problem and complete the proof of Theorem 3.1.
Lemma 3.4.
For small enough , there exists a minimal wedge corresponding to the surface given in Theorem 3.1.
Proof.
We define the map
(5) |
Note that can be expressed, using the residue theorem, in the following way:
Moreover, we have that . In other words, we can solve the period problem when . We can now apply the Implicit Function Theorem to the differentiable function at . We exclude the computations that show that the Jacobian of at is equal to , since it can be found using standard arguments. Since it is clearly non-zero, we conclude that for every in a neighborhood of , we can indeed the solve the period conditions given in (3) for some . ∎
3.2. Extension and Types of Ends
In this section we discuss the extension of to and the properties of the end point of .
Observe that for an integer and , we can extend the minimal surface by reflections to . Note that the th of the developed image of the extended and in are the octagons in Figure 6. We observe that and have winding numbers and respectively, where is a half circle around in the the upper half plane. Thus for the extended Weierstrass data, images of a circle under the maps and have winding numbers and . Hence and have poles of order and , respectively. Consequently, has a zero of order and has pole of order around the end point of the extended surface. This implies that the extended surface has an enneper type end.
On the other hand, when , after reflecting the minimal octagon once, we obtain a singly periodic surface which is defined on by
We see that has simple zeros at and simple poles at whereas only has a second order pole at . This implies that the dihedral limit of has Scherk type ends at the points and an enneper type end at .
Now, for any sufficiently large , we use Lemma 3.4 to solve the period conditions for the minimal wedge with . Then the extended surface is the Chen-Gackstatter Surface of genus with dihedral symmetry as claimed in Theorem 3.1. With this we conclude the proof of Theorem 3.1.
∎
4. Dihedralized Weber Wolf Surface
In this section we will give an alternative existence proof of Weber-Wolf Surface with catenoidal ends, with -fold dihedral symmetry and with 4 catenoidal ends. These surfaces, along with many of their variants, were first introduced in [WW02] by using Teichmuller theoretical methods to construct. Our proof provides the existence of a specific case mentioned above in a brief manner.
Theorem 4.1.
For sufficiently large values of , there exists a finite type -dihedral minimal surface of genus with four catenoidal ends and with a planar end which is invariant under horizontal rotations. Moreover, as , converges to a singly periodic minimal surface of genus 0 with 8 annular ends, the dihedral limit surface is invariant under vertical translations and rotations around two horizontal lines.
Proof.
As in the case with , the quotient of under rotational symmetry group is conformally equal to . Hence the proof structure is identical to proof Theorem 3.1. First, we construct a half of the wedge corresponding to in the following lemma.
Lemma 4.2.
For any , and , there is a Weierstrass map , cf. Section 2, that maps the upper half plane to a minimal octagon with consecutive 5 vertices at in . The edges of this octagon lie in vertical symmetry planes either parallel to the -axis or make an angle with the -axis alternatingly (if , then all the symmetry planes are parallel to the -axis and all the vertices of the minimal octagons are at ). Moreover, there is a half straight line on this octagon that passes from two of the vertices and divides the octogon into two symmetrical pieces.
2
Proof.
As in the previous case, we begin the proof by constructing Schwarz-Christoffel maps to symmetric the polygons in Figure 10 where the positive imaginary line in is mapped to the symmetry axes given by dashed lines in the figures. Define,
(6) |
The Schwarz-Christoffel map, with integrand defined in (6), sends the upper half plane to the right side of the polygon in Figure 10(a). Similarly, the Schwarz-Christoffel map, with integrand defined in (6), sends the upper half plane to the left side of the polygon in Figure 10(b). Thus, we choose the Weierstrass -forms given by , and a suitable will be chosen in the following arguments.
Hence, the Gauss map and the height differential are given by
Observe that assumes real values on the real line. As a consequence of Proposition 2.1(2), we see that the Weierstrass map maps the real line to vertical symmetry curves. Thus Proposition 2.1(3) implies that will map the upper half place to a minimal octagon as described in the statement of Lemma 4.2. Then we finish the proof of Lemma 4.2 by using our symmetry Proposition 2.1 again and by describing the limits of the Schwarz-Christoffel maps and the limits of polygons given in Figure 10, as goes to . The limits of the Schwarz-Christoffel maps are given by
Which map the upper half plane to the polygons
∎
4.1. Period Problem
In order to extend the minimal octagon, obtained in Lemma 5.1, to a minimal wedge , we need to show that the sides of the octagon in Figure 9 that make the same angle with the -axis, lie on the same plane. Similar to the extension of the half wedge corresponding to the surface found in Section 3.1 and Lemma 3.3, this can be achieved by satisfying the condition
(7) |
where is as described in Section 3.1. Note that for , the conditions in (10) are also valid for the limiting octagon.
Lemma 4.3.
For small enough , there exists a minimal wedge corresponding to the surface given in Theorem 4.1.
Proof.
We define the map
(8) |
The first coordinate of , by the residue theorem, is equal to
where is the second coordinate is equal to
In particular for , and we have and Jacobian of P at is nonzero. Therefore, we can extend the solution for by Implicit Function Theorem where all the solution triples are of the form . ∎
4.2. Extension, Types of Ends and Growth rates
Lemma 4.3 shows that, for large enough n the period problem of can be solved for . By the winding number argument in Section 3.2, one can show that that the ends of are catenoidal. In particular, the growth rate of catenoidal end around is and that around is . Moreover, at the two growth rates are equal. That is to say that outside of a compact cylinder in , looks like a union of two asymptotic concentric catenoids, and a horizontal plane that divides these catenoids into 2 symmetric pieces on their neck. On the other hand at , all the ends are replaced by Scherk type ends which are parallel to each other. Equal growth condition motivated the author to look for solutions in form . This concludes the proof of Theorem 4.1. ∎
5. Dihedralized Catenoidal Costa-Wohlgemuth Surface
Having outlined the dihedralization argument in Sections 3 and 4, we shift our focus to proving the existence of two novel minimal surfaces, thereby supporting the merit of our method. While the proof of existence for the first surface closely aligns with previous examples, the latter necessitates additional arguments, given that we cannot employ the Residue Theorem in the limit case, as done in previous instances. We now discuss the proof of Theorem 1.3.
Proof of Theorem 1.3.
Similar to the situation with and , the conformal equivalence of the quotient of under rotational symmetry group is to . Hence will construct in the same way on the upper half plane by using the Schwarz-Christoffel maps. First, we construct a half of the wedge corresponding to in the following lemma.
Lemma 5.1.
For any , and , there is a Weierstrass map that maps the upper half plane to a minimal hexagon with 4 vertices at in . The edges of this hexagon lie in vertical symmetry planes that are either parallel to or make an angle with the -axis alternatingly (if , then all the symmetry planes are parallel to the -axis and all the vertices of the minimal hexagons are at ). Moreover, this polygon is invariant under reflection with respect to a horizontal plane.
Proof.
We begin the proof by constructing Schwarz-Christoffel maps to the polygons in Figure 13. Define,
(9) |
We can see that the Schwarz-Christoffel map, with integrand defined in (9), sends the upper half plane to the right side of the polygon in Figure 13(a). Similarly, the Schwarz-Christoffel map, with integrand defined in (9), sends the upper half plane to the left side of the polygon in Figure 13(b).
We choose branch cuts that allow to be positive on the interval . The forms then become the Weierstrass -forms and after scaling by a real factor. Consequently, the Gauss map and the height differential are given by
Observe that assumes real values on the real line. As a consequence of Proposition 2.1(2), we see that the Weierstrass map maps the real line to vertical symmetry curves. Also observe that for , we have and , where denotes the reflection on the imaginary line. In conjunction with Proposition 2.1(3), this implies that can be realized by a reflection with respect to a horizontal plane in and the imaginary line in the upper half plane is mapped into this symmetry plane in . Hence, we deduce that the Weierstrass map maps the upper half plane to a minimal hexagon (cf. Figure 12).
As in Lemma 3.2, we consider the limits of the Schwarz-Christoffel maps and the limits of polygons given in Figure 13, as goes to . At , we have
Since are well defined on , we can calculate the residues and show that, as , the polygons in Figure 13(a),(b) converge to the polygons in Figure 14(a),(b) respectively.
5.1. Period Problem
In order to extend the minimal hexagon, obtained in Lemma 5.1, to a minimal wedge , we need to show that the sides of the hexagon in Figure 12(a) that make the same angle with the -axis, lie on the same plane. This is similar to the extension of the half wedge corresponding to the surface found in Section 3.1. Thanks to the fact that these hexagons are symmetric with respect to reflections on a horizontal plane, this can be achieved by showing that the two conditions in (10) are satisfied:
(10) |
where is as described in Section 3.1. Note that for , the conditions in (10) are also valid for the limiting hexagon in Figure 12.
We reformulate the period conditions in (10) of as follows. First we define the period function by
For a given , the existence of a triple satisfying the condition implies the existence of a surface, which is a corresponding wedge of the surface. Observe that for , using the Residue Theorem, we can write the first coordinate of as
whereas the second coordinate of can be written as: | ||||
Next we regenerate solutions the period problem of corresponding to .
Lemma 5.2.
For small enough , there exists a minimal wedge , corresponding to given in Theorem 1.3.
Proof.
It is easy to see for , and for , that . One can show that the determinant of the Jacobian of is precisely equal to for values of and given above. Here, we exclude writing the explicit expression for the determinant of the Jacobian of as it is a rational function of polynomials in two variables whose numerator is of degree and denominator is of degree . Then by the Implicit Function Theorem, for small enough , the period condition given in (10) can be solved. Thus we conclude the proof of Lemma 5.2. ∎
5.2. Extension, Types of Ends and Growth rates
In Section 5.1, we demonstrated how the period problem can be solved for a natural number and for . Now, a winding number argument similar to the one in Section 3.2, shows that the ends of are catenoidal. The growth rate of catenoidal end around is and that around is . For simplicity, we look for solutions where the two growth rates are equal. One can easily show that for , these growth rates are equal. Geometrically this means that outside of a compact cylinder in , looks like a union of two asymptotic concentric catenoids, one inside of the other. On the other hand at , the catenoidal ends are replaced by Scherk type ends and the limit surface of is a singly periodic minimal surface with genus . Joaquin Perez and Martin Traizet proved in [PT07] that Hermann Karcher’s saddle towers are the only singly periodic minimal surfaces of genus 0 with annular ends. In particular, the dihedral limit of is a lesser symmetric Scherk Tower with ends.
Remark 5.3.
The catenoidal ends of the minimal wedges , obtained in Lemma 5.2, have equal growth rates.
We still need to show that the dihedral limit of is a lesser symmetric saddle tower with 6 ends. One can show that for the values of given in Lemma 5.2 i.e. , and , the Möbius transformation that maps to , to and to is an orientation preserving automorphism of the upper half plane. Additionally, this map is realized by the Weierstrass map , as a 3rd order rotational symmetry of the limit surface, around a line that is parallel to the -axis in . Combining this information with Lemma 5.2 we finish the proof of Theorem 1.3. ∎
6. Dihedralized Singly Period Karcher Scherk Surface with Handles
In this section we will discuss the proof of Theorem 1.4. Unlike the previous three examples, we are unable to construct surfaces using the Schwarz-Christoffel maps because , where is th order rotation, is of genus . Instead we will utilize -functions introduced in Section 2.
Proof of Theorem 1.4.
We start the construction of this surface on a rectangular torus as follows: Let be the quarter of a fundamental parallelogram of with where , , , , and , as shown in Figure 16.
Lemma 6.1.
Let , and . Then there is a Weierstrass map that maps to a minimal hexagon where the images of the horizontal sides , and are the edges that lie on vertical symmetry planes and the images of the vertical sides , and are the edges that lie on horizontal symmetry planes. Moreover, for , is the only vertex at with an interior angle , is a vertex with an interior angle , and the corners of the quarter rectangle are mapped to the vertices where edges in meet orthogonally. For , both and are vertices at .
We begin by defining and in the following way:
Then by using the properties of -functions we obtain that,
By using these transformation formulas, we infer that,
and that,
This implies that , and assume real values on the real line. That is to say that and map and into straight lines while maps the two into real line. Therefore, due to Proposition 2.1, we can see that and lie on a vertical symmetry planes. By choosing the branch cut of that makes real on , we obtain that lies on a vertical symmetry plane parallel to the -axis and lies on a vertical symmetry plane that meets the -axis at an angle of .
Similarly, using the properties of -functions we can additionally show that,
This tells us that on , is real and the argument of is modulo . Hence, lies on a vertical symmetry plane. In the following Proposition, we determine the exact angle between the plane containing and the plane containing .
Proposition 6.2.
For , the two planes that contain images of and are parallel.
Proof.
Note that for any complex number , we have
(11) |
First, we show that the following holds true:
(12) |
Equation (12) being modulo is an immediate consequence of (11). Observe that both sides of the equation are continuous in for . In particular, when , the expression appearing inside the argument on the left-hand side of (12) is equal to ; and thus by continuity the right-hand of (12) is equal to . Hence we have proven (12). Next, consider the change in argument of the Gauss map :
Note that for , we have . Since we know that , and that and lie on vertical symmetry planes, Proposition 6.2 follows. ∎
Hereafter, we will fix .
We will now show that the vertical sides of are mapped to the edges in horizontal symmetry planes. Observe that at , the Gauss map attains the value , that is, we do not need to normalize . Now, let be the reflection on the imaginary axis bounding . Then, we can extend the Weiestrass data defined on over the imaginary line i.e. extend the surface and obtain:
and
Hence, same argument that we made for shows that, by Proposition 2.1, and are mapped into horizontal symmetry planes. Almost identical calculations show that is in a horizontal symmetry plane as well.
Combining all the information we deduce about the image of under the Weierstrass map , we deduce that is indeed a minimal hexagon (see Figure 17).
6.1. Period Problem of
In order to close the periods, we need to make sure that the two horizontal planes planes containing the images of and are of the same height and that the images of and are on the same plane. The former condition can be achieved by closing the vertical period condition along , whereas the latter can be achieved by closing the horizontal period condition along . Note that by horizontal and vertical we refer to the their trace in rather than their position on the torus. That is we need to show that the following is true:
(13) |
For a given dihedral angle , we thus need to solve for such that the following function is equal to :
(14) |
An important point to note here is that for , there exists , such that solves the period condition given in (13). In fact, in this particular case the Weierstrass data given above parametrizes the genus 1 doubly periodic Scherk Surface, the existence of which was given by Hermann Karcher in [HKW93] using a different parametrization. In this paper, we apply the Implicit Function Theorem and extend this solution to the surfaces given in Theorem 1.4. Since the construction of the period problem is done by using -functions on varying tori, it can be difficult to apply the Implicit Function Theorem. In fact, in order to show that the Jacobian has non-zero derivative, one cannot use the residue theorem, unlike in the previous examples , and . Instead, one has to work with the derivatives of the -functions. However, it is sufficient to calculate the Jacobian for the fix values and . Then if the Jacobian is nonzero at , we will obtain a two parameter family of solutions to that varies in around , and . Assuming and simplifies the calculations greatly because we can, in fact, rotate the surface in and reparametrize a simply connected piece of the surface when . This can be understood as reparametrizing on the upper half plane.
6.2. Reparametrization of the Limit
Note that, when , and are well-defined on . We can rotate the limiting hexagon, which appears in Lemma 6.1, in so that all its symmetry planes become vertical symmetry planes. This can be done only when , because when is nonzero, the vertical symmetry planes of the minimal hexagon are not parallel. Rotating the minimal hexagon changes its Weierstrass data, however, it also allows us to reparametrize the new Weierstrass data on by using Schwarz-Christoffel maps on the upper half plane. Let and be the new Weierstrass data of the limiting hexagon, obtained after the abovementioned rotation, whose divisors can be described as follows: Since is an elliptic function of order 2 on a torus, it assumes every value exactly twice. This implies that assumes every value on the torus exactly twice as well. In particular, is vertical at the corner points of . Since can not assume or more than twice, there is no other point where is vertical. Consequently, has simple ’s only at the corners points of and at the end points , . Now consider the the following map, defining a change of coordinates:
(15) |
Note that is a normalized Schwarz-Christoffel map that maps the upper half plane to for . In particular, it maps the points to , respectively, which are the corners points of . Thus and can now be reparametrized on by the following Schwarz-Christoffel integrands:
where , and .
Observe that we have using the definition of .
This further implies that,
One can show that by pushing forward and to , by the map , and extending it to , we obtain the divisors described above. Moreover, since the Gauss map is vertical at before rotation, after the rotation it becomes horizontal. Thanks to our choice of , we see that assumes the value at . Thus we confirm that and are scaled correctly and that they are indeed the reparametrized Weierstrass data on the upper half plane. As a result, we can rewrite the period problem given by equation (14) as:
(16) |
6.3. Solution to the Period Problem
Clearly, the integrals appearing in the first coordinate of the definition of in (16), are real, whereas the integrals in the second coordinate are imaginary. However, we can write both in terms of real valued integrals in the following manner:
and, | ||||
For simplicity, we define the following functions:
Now using these new functions we rewrite defined in (16) as,
and we calculate the Jacobian of to obtain,
Note that and . Evaluating the Jacobian at gives us:
Here ’s are defined as,
Furthermore, using the definitions of , and , we simplify ’s as,
Observe that, the determinant of the Jacobian of at is nonzero if and only if and are nonzero. Numerical results show that, is strictly positive and that is strictly negative for . Therefore the determinant of the Jacobian is nonzero for all values of . In particular, the determinant is nonzero for , being the solution to the period problem of the genus one doubly periodic Scherk Surface.
Lemma 6.3.
For every small enough and for in an imaginary interval around around , there exists a minimal wedge corresponding to the surface given in Theorem 1.4.
Proof.
Observe that,
We have showed that Jacobian of is nonzero when it is evaluated at . Observe also that the Jacobian of the map is nonzero for positive . Leveraging these findings, along with the fact that the period problem at limit can be solved for values , , , and employing the Implicit Function Theorem, we conclude that for a given pair in a neighborhood around , there exist and that satisfy the period conditions given in (13). ∎
Thus we conclude the proof of Theorem 1.4. ∎
Remark 6.4.
Here we point out the differences in the approaches taken in finding and : The sequence is first constructed as a variation of Wolgemuth’s surface and then its dihedral limit is investigated. On the contrary, the ’s are found as a sequence converging to the doubly periodic Karcher-Scherk surface of genus (see [HKW93]), that is, in this scenario the limit candidate is fixed which then gives rise to a sequence of minimal surfaces. Thanks to the two way implementations of the dihedralization method, highlighted in the examples above, we build a bridge between finite type minimal surfaces and singly periodic minimal surfaces, and similarly between singly and doubly periodic minimal surfaces.
7. Acknowledgments
The author would like to thank Professor Matthias Weber for his invaluable help and insights throughout the project.
References
- [CHMI89] M. Callahan, D. Hoffman, and W. H. Meeks III. Embedded minimal surfaces with an infinite number of ends. Inventiones Math., 96:459–505, 1989.
- [HK97] D. Hoffman and H. Karcher. Complete Embedded Minimal Surfaces of Finite Total Curvature, volume 90 of Encyclopedia of Mathematical Sciences, chapter Geometry V. Springer, Berlin, 1997.
- [HKW93] D. Hoffman, H. Karcher, and F. Wei. The genus one helicoid and the minimal surfaces that led to its discovery. In Global Analysis and Modern Mathematics. Publish or Perish Press, 1993. K. Uhlenbeck, editor, p. 119–170.
- [Kar88] H. Karcher. Embedded minimal surfaces derived from Scherk’s examples. Manuscripta Math., 62:83–114, 1988.
- [MIR89] W. H. Meeks III and H. Rosenberg. The global theory of doubly periodic minimal surfaces. Inventiones Math., 97:351–379, 1989.
- [PT07] J. Pérez and M. Traizet. The classification of singly periodic minimal surfaces of genus 0 and scherk type ends. Transactions of the A.M.S., 359(3):513–525, 2007.
- [Tha] E. Thayer. Generalized Chen-Gackstatter minimal surfaces, Scherk’s singly-periodic minimal surface and Riemann surfaces of infinite genus. GANG preprint, 1994.
- [Tra96] M. Traizet. Construction de surfaces minmales en recollant des surfaces de scherk. Annals de l’Institut Fourier, 46:1385–1442, 1996.
- [Tra98] M. Traizet. Gluing minimal surfaces with implicit function theorem. preprint 171 Tours, 1998.
- [Tra02] M. Traizet. Adding handles to riemann minimal examples. Journal Inst. Math. Jussieu, 1(1):145–174, 2002. MR1924593.
- [Woh93] M. Wohlgemuth. Vollständige Minimalflächen höheren Geschlechts und endlicher Totalkrümmung. PhD thesis, University of Bonn, April 1993.
- [WW98] M. Weber and M. Wolf. Minimal surfaces of least total curvature and moduli spaces of plane polygonal arcs. Geom. and Funct. Anal., 8:1129–1170, 1998.
- [WW02] M. Weber and M. Wolf. Teichmüller theory and handle addition for minimal surfaces. Annals of Math., 156:713–795, 2002.