Singularities on maxfaces constructed by node-opening
Hao Chen
Institute of Mathematical Sciences, ShanghaiTech University, 201210 Shanghai, China.
[email protected], Anu Dhochak
Department of Mathematics, Shiv Nadar Institute of Eminence, Deemed to be University, Dadri 201314, Uttar Pradesh, India.
[email protected], Pradip Kumar
Department of Mathematics, Shiv Nadar Institute of Eminence, Deemed to be University, Dadri 201314, Uttar Pradesh, India.
[email protected], [email protected] and Sai Rasmi Ranjan Mohanty
Department of Mathematics, Shiv Nadar Institute of Eminence, Deemed to be University, Dadri 201314, Uttar Pradesh, India.
[email protected]
Abstract.
The node-opening technique, originally designed for constructing minimal
surfaces, is adapted to construct a rich variety of new maxfaces of high
genus that are embedded outside a compact set and have arbitrarily many
catenoid or planar ends, thus removing the scarcity of examples of maxfaces.
The surfaces look like spacelike planes connected by small necks. Among the
examples are maxfaces of the Costa–Hoffman–Meeks type. Although very
fruitful, the main challenge of this paper is not the construction itself,
but the analysis of the positions and natures of singularities on these
maxfaces. More specifically, we conclude that the singular set form curves
around the waists of the necks. In generic and some symmetric cases, all but
finitely many singularities are cuspidal edges, and the non-cuspidal
singularities are swallowtails evenly distributed along the singular curves.
Key words and phrases:
embedded maxface, maximal map, maxface with more than three ends, zero mean curvature surfaces.
2020 Mathematics Subject Classification:
53A35
1. Introduction
Maximal surfaces are zero mean curvature immersions in the Lorentz-Minkowski
space . These surfaces emerge as solutions to the variational problem
of locally maximizing the area among spacelike surfaces. They share several
similarities with minimal surfaces in . For instance, both are critical
points of the area functional and both admit Weierstrass-Enneper
representations. However, while there are rich examples of complete minimal
surfaces, the only complete maximal immersion is the plane [umehara2006].
It is then natural to allow singularities. Following [imaizumi2008, lopez2007, umehara2006], etc., we adopt the term maximal map for maximal
immersions with singularities. A maximal map is called a maxface if its
singularities consist solely of points where the limiting tangent plane contains
a light-like vector [umehara2006]. Umehara and Yamada also defined
completeness for maxfaces [umehara2006]. Complete non-planar maxfaces
always possess a compact singularity set. At the singularities, a maxface
cannot be embedded, regardless of whether the rest of the surface is embedded.
Therefore, following [fujimori2009, kim2006, umehara2006], we adopt
embeddedness in wider sense as follows:
Definition 1.1.
A complete maxface is embedded in a wider sense if it is embedded outside of
some compact subset.
Now that singularities are allowed, there are many examples of complete
maxfaces, such as the Lorentzian catenoid and Kim-Yang toroidal maxface
[kim2006]. In 2006, Kim and Yang [kim2006] constructed complete
maximal maps of genus . When , it is a complete embedded (in a
wider sense) maxface known as Kim-Yang toroidal maxface. When , they are
not maxfaces. In [fujimori2009], the authors constructed a family of
complete maxfaces for with two ends; but when , these may
not be embedded (in a wider sense). Moreover, in 2016, Fujimori, Mohamed, and
Pember [fujimori2016h] constructed maxfaces of any odd genus with two
complete ends (if , the ends are embedded) and maxfaces of genus and
three complete embedded ends. In 2024, the third author, along with Bardhan
and Biswas, proved the existence of higher genus maxfaces with one Enneper end
in [BBP].
To the best of our knowledge, all higher-genus maxfaces in the literature have
only two or three ends, usually of the catenoid type. Very few known
higher-genus maxfaces are embedded (in a wider sense). Open problems
in [fujimori2009] express the hope for a large collection of examples of
complete maxfaces that are embedded (in a wider sense), with higher genus and
many ends.
The scarcity of examples is surprising. After all, the minimal surfaces and
maxfaces admit similar Weierstrass-Enneper representations. But to construct
higher genus embedded (in a wider sense) maxfaces with the required type of
ends, it is usually not as direct as simply manipulating the Weierstrass data.
One challenge is the singularities: While proposing the Weierstrass data, we
must ensure that the singular curve does not approach the ends and is compact.
Another challenge is the period problem, as illustrated in the following
example.
Example 1.2(See [BBP]*Section 1.1).
Consider the Costa minimal surface:
with the data , where . If there exists a companion maxface of the
Costa surface, then its data should be defined on . Let be a one-sheeted loop
around that does not contain . Then, , where .
Therefore, the period problem is not solved for the corresponding maxface. So
the Costa surface does not have a companion maxface.
In this paper, we adapt the node-opening technique to construct a rich variety
of complete maxfaces of high genus that are embedded (in a wider sense) and
have an arbitrary number of spacelike ends, thus removing the scarcity of
examples.
The node-opening technique is a Weierstrass gluing method developed by
Traizet [traizet2002e]. It constructs a family of surfaces depending on a
real parameter . The approach starts at with Weierstrass data defined
on a Riemann surface with nodes, then “deforms” to Riemann surfaces for
by opening the nodes into necks and, at the same time, “deforms” the
corresponding Weierstrass data using the Implicit Function Theorem. The
node-opening technique has been very successful in constructing a rich variety
of minimal surfaces [traizet2002e]. To the best of our knowledge, the
current paper marks the first application of the technique to surfaces in the
Lorentz-Minkowski space.
The Weierstrass gluing method has several advantages over other methods. On
the one hand, in the existing literature on maxfaces, authors often need to
assume symmetries to make the construction possible, hence only produce
examples restricted to symmetries. The gluing technique has been a very
powerful tool to break symmetries in minimal surfaces; in some sense, the
technique was developed for this purpose [traizet2002e]. We will see
later that it is equally powerful in breaking symmetries for maximal surfaces,
hence ideal for removing the scarcity of examples. On the other hand, while the
PDE gluing method is also popular for constructing minimal surfaces, the
existence of singularities makes it difficult to be adapted for maxfaces. More
specifically, one needs to identify (glue) two curves in the process, but the
analysis would be difficult if the curves contain singularities. In the
Weierstrass gluing process, we instead identify (glue) two annuli; hence, we
can bypass the singularities.
The node-opening construction for maxfaces turns out to be very similar to that
for minimal surfaces, so we will only provide a sketch. We will first give a
Weierstrass data in Section 4, leaving many parameters
to be determined later in Appendix A by solving the divisor problem
and the period problem using the Implicit Function Theorem.
This similarity implies that, for any minimal surface constructed by opening
nodes, there is a corresponding maxface also constructed by opening nodes.
This correspondence between maximal and minimal immersions is different from
the usual correspondence through Weierstrass data [umehara2006]. In
Section 3, by simply comparing notes, we obtain a rich variety
of new maxfaces with high genus and arbitrarily many space-like ends, thereby
remove the scarcity of examples of maxfaces. Among the examples are the
Lorentzian Costa and Costa–Hoffman–Meeks (CHM) surfaces and their
generalizations with arbitrarily many ends, providing positive answers to the
open problems in [fujimori2009]. To the best of our knowledges, this is
the first time that Lorentzian analogues of CHM surfaces were constructed.
Remark 1.3.
One could also use the node-opening technique to glue catenoids into periodic
maxfaces, even of infinite genus, just by mimicking [traizet2002r, traizet2008t, morabito2012, chen2021, chen2023]. We believe that many examples
in the existing literature, e.g. Lorentzian Riemann examples and Schwarz P
surfaces, etc, can be produced in this way [fujimori2009, lopez2000m].
However, we do not plan to implement such constructions.
We see the the node-opening construction itself is very fruitful, but
technically not that exciting. In the current paper, most effort is devoted to
the more challenging task of analyzing the singularities on the constructed
maxfaces.
Complete non-planar maxfaces always appear with singularities, such as cuspidal
edges, swallowtails, cuspidal crosscaps, and cone-like singularities, to name a
few. We refer readers to [umehara2006, sai2022, kumar2020] to explore
various singularities on maxfaces. The nature of singularities can be told
from the Weierstrass data. However, for the maxfaces we construct, the
Weierstrass data is not given explicitly; rather, its existence is implied
using the Implicit Function Theorem. Hence the analysis of the singularities
must also be performed implicitly, which is a challenging task. Nevertheless,
we managed to perform the analysis in various situations.
To prepare for the analysis, we first recall in
Section 5.1 the governing functions whose derivatives
determine the nature of singularities. Then in
Section 5.2, we perform an elaborate calculation of
the higher order derivatives of the governing function. It can be seen as
generalizing Traizet’s calculation [traizet2008t] of the first derivative
of the height differential, hence might have other use in similar node opening
constructions. These allow us to conclude various results about the nature of
singularities in Section 5.3, which we summarize
below.
Components of the singular set are waists around the necks. In
Theorem 5.1, we prove that around a specific neck and
for sufficiently small, non-zero , either the singular set is mapped to a
single point (cone-like singularity), or all but a finite number of singular
points are cuspidal edges. Moreover, the finitely many non-cuspidal
singularities are generalized singularities, their positions on the waist
depend analytically on , and their types do not vary for sufficiently small
. Then, in Proposition 5.2, we show that, generically,
there are four swallowtail singularities around a neck. The non-generic cases
are generally hard to study, but in Section 5.3.3, we managed to
analyze the singularities in the presence of rotational and reflectional
symmetries. In Section 3, we will use the Lorentzian Costa and
Costa–Hoffman–Meeks surfaces to exemplify our results on singularities.
Acknowledgment
The first and third authors would like to extend their sincere gratitude to
Professor S. D. Yang for graciously inviting them to The 3rd Conference on
Surfaces, Analysis, and Numerics at Korea University. They are truly grateful
for the opportunity, and our current work has commenced.
2. Main results
2.1. Node-opening construction
We want to construct maxfaces that look like horizontal (spacelike) planes
connected by small necks. For that, we consider horizontal planes, labeled
by integers . We want necks at level , that is,
between the planes and , . For convenience, we adopt the
convention that , and write for the total number
of necks. Each neck is then labeled by a pair with and .
To each plane is associated a real number , indicating the logarithmic
growth of the catenoid () or planar ends (). To each neck
is associated a complex number indicating its
horizontal limit position at . We write and . The pair is called a
configuration.
Given a configuration , let be the real numbers that solve
under the convention that . A summation over yields that
, which is necessary for to be uniquely
determined as a linear function of . In fact, we may even replace by
in the definition of a configuration. Geometrically, corresponds to
the “size” of the necks at level .
For the neck in a configuration, we define the force on the neck as
Note that we have necessarily .
Alternatively, let
be the unique meromorphic -form on with simple poles at
and , respectively with residues and . Then, the
force is given by
Definition 2.1.
A configuration is balanced if for all and
, and is rigid if the differential of with respect to has a complex
rank of .
In fact, is the maximum possible rank. To see this, note that the forces
are invariant under the translations and complex scalings of .
A necessary condition for the balance is
We now state our first main result.
Theorem 2.2.
Let be a balanced and rigid configuration such that the differential
of has rank . Then, for sufficiently small , there is a
smooth family of complete maxfaces with the following asymptotic
behaviors as
•
The maxfaces are of genus with space like ends, whose
logarithmic growths converge to .
•
After suitable scalings, the necks at level converge to
Lorentzian catenoids;
•
scaled by converges to an -sheeted space-like plane with
singular points at .
Moreover, is embedded in a wider sense for sufficiently small if
.
The balance and non-degeneracy conditions for maxfaces turn out to be exactly
the same to those for minimal surfaces, and many balanced configurations have
been found when constructing minimal surfaces. So we obtain a rich variety of
new maxfaces simply by comparing notes. Some of the examples are listed in
Section 3. Thereby we remove the scarcity of examples of
maxfaces.
Although very fruitful, the construction (proof of Theorem 2.2) is straightforward.
In particular, the proof is very similar to that for minimal
surfaces [traizet2002e], with only slight modifications. So we will only
provide an sktech. In Section 4, we will give a
Weierstrass data with undetermined parameters. In Appendix A, we
will sketch the use of Implicit Function Theorem to find parameters that solve
the divisor problem and the period problem.
2.2. Singularities
Let us first define
(2.1)
Our main result about singularities are summarized below.
Theorem 2.3.
On a maxfaces constructed above, for sufficiently small non-zero ,
•
The singular set has singular components, each being a curve
around the waist of a neck.
•
The singularities are all nondegenerate.
•
If the singular curve is not mapped to a single point (cone-like
singularity), then all but finitely many singular points are cuspidal
edges.
•
The non-cuspidal singularities are generalized singularities,
their positions vary analytically with , and their types do not vary.
•
If , then there are exactly four non-cuspidal
singularities around the neck , and they are all swallowtails.
Moreover, they tend to be evenly distributed on the waist as .
The results above cover the generic situations. The non-generic cases are hard
to analyze. However, if the configuration has symmetries, we have the
following results:
(1)
Assume that the configuration has rotational symmetry of order
around a neck and , then for sufficiently small
non-zero , there are swallowtail singularities around the neck, and
they tend to be evenly distributed as .
(2)
Assume that the configuration has a vertical reflection plane that cuts
through a neck, then the singularity around the neck that is fixed by the
reflection is non-cuspidal.
(3)
Assume that the configuration of necks has a horizontal reflection plane
that cuts through a neck, then the singular curve around the neck is mapped to
a conelike singularity.
We will demonstrate these situations by examples in the next section.
Remark 2.4.
Because the singularities are all non-degenerate for sufficiently small ,
we do not have any cuspidal cross caps. However, if we glue Lorentzian
helicoids into maxfaces (see [traizet2005, freese2022, chen2022] for
constructions of minimal surfaces), then by the duality between swallowtails
and cuspidal cross caps [fujimori2008], we would expect no
swallowtails but only cuspidal cross caps.
3. Examples
3.1. Configurations from minimal surfaces
Note that the balance and non-degeneracy conditions are exactly the same for
maxfaces and for minimal surfaces. So all the configurations found
in [traizet2002e] that give rise to the minimal surface also give rise to
maxfaces. We now summarize some balanced and non-degenerate configurations (or
methods to produce configurations) from [traizet2002e], and the
corresponding maxfaces.
•
The simplest configuration would have a single neck, given by
The corresponding maxface is the Lorentzian catenoid. It is of genus ,
has two spacelike ends.
•
The Costa–Hoffman–Meeks (CHM) configurations are given by
We call the corresponding maxfaces Lorentzian Costa () or
Costa–Hoffman–Meeks (CHM) surfaces (). They provide positive answers
to Problem 1 in [fujimori2009].
Theorem 3.1.
For each , there exist complete embedded (in a wider sense)
maxfaces with spacelike ends and genus .
•
Dihedral configurations with arbitrary number of ends were explicitly
constructed in [traizet2008n]. They are given by and , subject to a dihedral symmetry of order . These
configurations are balanced, and non-degenerate for a generic choice of
. The embeddedness condition is satisfied if . Taking , we obtain generalizations of CHM maxfaces
that provide positive answer to Problem 2 in [fujimori2009].
Theorem 3.2.
For each , there exist complete embedded (in a wider sense)
maxfaces with spacelike ends and genus .
•
Numerical examples can be obtained by the polynomial method. More
specifically, let
then the configuration is balanced if
If a polynomial solution to this differential equation has only simple
roots, then the roots correspond to the positions of nodes (up to
permutations).
•
Implicit examples can be obtained by perturbing “singular”
configurations.
More specifically, consider a partition of the nodes and a
family of configurations given by when . Then, the limit
configuration is singular. A force can be defined for the limit
configuration in terms of and the partition. For each ,
form a subconfiguration .
In the backward direction, Traizet [traizet2002e] found
sufficient conditions to recover configuration from the limit
configuration and the sub-configurations . In
particular, the limit configuration and all sub-configurations should be
balanced. This result was used to construct examples with no symmetry.
Using exactly the same configuration, we also obtain
Theorem 3.3.
There exist complete embedded (in a wider sense) maxfaces with no
nontrivial symmetries.
Remark 3.4.
As we have noticed in Remark 1.3, a similar technique can
produce periodic maxfaces. Although we do not plan to implement such
constructions, it is predictable that the balance and non-degeneracy
conditions are again the same for maxfaces and for minimal surfaces. Hence,
the periodic configurations in [traizet2002r, traizet2008t] and even the
nonperiodic infinite-genus configurations in [morabito2012, chen2021]
should also give rise to maxfaces.
3.2. Singularities on Lorentzian Costa and CHM surfaces
The Lorentzian Costa and CHM surfaces are particularly interesting in regard to
singularities.
The Lorentzian Costa surface has three disjoint singular curves in the waist of
each neck. To analyse its singularities, we need to compute
as in Equation 2.1. We have
Therefore, by Theorem 5.1 and Proposition
5.2, we can conclude that all non-cuspidal
singularities are swallowtails for sufficiently small .
The computation above did not rely on symmetries. For a Lorentzian CHM
surface, by Propositions 5.3 and 5.4, we
can already conclude from its dihedral symmetry that, for sufficiently small
non-zero , there are non-zero in the waist of the neck , all are
swallowtails and are fixed by the vertical reflections. See
Figure 1.
Figure 1.
Sketch of singularity structure of a CHM surface with . The dashed
lines indicate the reflection symmetries. The solid curves are singular
curves in the waist of the necks. The singularities are cuspidal edges
except at the dots, where the singularities are swallowtails.
Alternatively, we could also perform an explicit computation that
for all while
Moreover, for , we have
Then, by Theorem 5.1 and Proposition
5.2, we can conclude that for sufficiently small
non-zero , there are non-cuspidal singularities in the waist of the
center neck, and four non-cuspidal singularities in the waist of the other
necks, and they are all swallowtails.
In Figure 2, we show the numerical pictures of Lorentzian CHM
surfaces with and , and zoom in to show the details of singularities
around the center neck.
Figure 2.
CHM sufaces with (top) and (bottom). On the right-hand side
are the zoom-ins of the center neck, showing details of the cuspidal edges
and swallowtails. To make this picture, we use the node-opening
construction as in [traizet2008t], which is different but equivalent
to the construction in the current paper, and better suited for numerical
computations [traizet2008n].
4. Weierstrass data
We construct maxfaces using a Weierstrass–Enneper-like parameterization,
namely
(4.1)
where is a Riemann surface, possibly with punctures corresponding to the
ends, is a meromorphic function, and a holomorphic -form on ,
subject to the following conditions:
Divisor condition:
Away from the punctures, we must have
for the Weierstrass integrands to be holomorphic. The behavior at the
punctures depend on the type of the ends.
Period condition:
For all closed curves on , we have
(4.2)
(4.3)
So, closed curves in are mapped to closed curves on the surface. This
guarantees that the immersion is well-defined.
Regularity condition:
is not identically . In fact, the
pullback metric on the Riemann surface is given by
. In view of the
divisor condition, the singularity set for maxfaces is then given by
. The regularity condition guarantees that the
immersion is regular.
Remark 4.1.
For minimal surface, the horizontal period condition (4.2) would
have a minus sign in the middle, and the pull-back metric would have a plus
sign.
We propose the Weierstrass data in the following, as they will be useful later
for the analysis of singularities. Some parameters are left undetermined.
They will be determined later in Appendix A using the Implicit
Function Theorem.
4.1. The Riemann Surface
We construct the Riemann surface by node-opening as follows:
To each of the horizontal (spacelike) planes is associated a copy of the
complex plane , which can be seen as the Riemann sphere with punctures at
. The copies of , as well as their punctures, are then
indexed by , . To each neck at level , is
associated a puncture and a puncture , .
Initially at , we simply identify with for all and to obtain a noded Riemann surface . As
increases, fix local coordinates in the neighborhood of
, and local coordinates in the neighborhood of ; a
concrete choice will be made soon later. We may fix an
sufficiently small and independent of and so that the disks
and are all disjoint. For , we may remove the disks and
, and identify the annuli
by
The resulting Riemann surface is denoted by .
4.2. Gauss map and local coordinates
We define on the meromorphic function
Then the Gauss map is defined on as
As , the Gauss map converges to that of catenoids around the necks.
Note that provides local coordinates around and
around . From now on, we adopt these local coordinates
for the construction of .
4.3. The height differential
Recall the period conditions for every closed cycles
of . Define
where was previously fixed for the construction of .
Let be small clockwise circles in around ;
they are homologous to counterclockwise circles in around .
We close the vertical periods by requiring that for real numbers . Moreover, as we expect catenoid ends at
, we require that the height differential has simple poles of
residues at , . By the Residue
Theorem, it is necessary that and
So, it suffices to prescribe the residue and the periods around
for .
By [traizet2002e], these requirements uniquely determine the
height differential . Moreover, as , converges uniformly on
a compact set of to the form
(4.4)
We want catenoid or planar ends at the punctures . This translates
to the following divisor condition at : Whenever has a simple
zero or pole there, must have a simple zero; this corresponds to the
catenoid ends. On the other hand, whenever has a zero or pole of
multiplicity at , must have a zero or multiplicity
; this corresponds to the planar ends. Because has a pole of order
at the punctures , our divisor condition can be formulated as
(4.5)
The next step of the construction is to determine the parameters using the
Implicit Function Theorem. More specifically, with all parameters varying in a
neighborhood of their initial values (at ), we need to prove the following
•
There exist unique values for and , depending
analytically on other parameters such that the divisor conditions are
satisfied.
•
With and given above, there exist unique values for
, depending analytically on remaining parameters, such that the vertical
period condition are satisfied.
•
With , and given above, there exist unique values
for , and , depending smoothly on , such that and the horizontal period condition are satisfied.
The proofs for these claims are very similar to those for minimal
surfaces [traizet2002e] with only slight modifications, and they are not
essential for the following analysis of singularities, so we postpone them to
Appendix A.
5. Singularities
The rest of the paper is devoted to the analysis of singularities. The study
of minimal surfaces usually avoids singularities, but complete non-planar
maxfaces always appear with singularities.
Recall that the singular set is given by . From our definition of the
Gauss map, the singularity set of the maxface is given by the union of
with . We aim to analyze
the nature of these singularities.
For this purpose, we will focus on singularities around a specific neck of
interest, labeled by . Without loss of generality, we may assume that
is odd. So the Gauss map in the local
coordinates. To ease the text, we will omit the subscript unless
necessary. So we study the connected component of the singular
set given by .
5.1. The governing function
We need to study the function
(5.1)
where .
Let be a singular point with . On the one hand, it
was proved in [umehara2006] that the
parameterization (4.1) is a front (that is, the projection
of a Legendrian immersion into the unit cotangent bundle of ) on a
neighborhood of a singular point and is a nondegenerate singular
point (meaning where is the determinant of the
Euclidean metric tensor) if and only if . If this
is the case, the singular set is a smooth singular curve
in that passes through . In our case, the singular curve
is actually given by ,
.
On the other hand, it was shown in [umehara2006] that
where is the singular direction and is the null direction. So
measures the collinearity between the and .
In particular, is a cuspidal singularity whenever
(5.2)
and is a swallowtail singularity whenever
(5.3)
In fact, the cuspidals are singularities, the swallowtails are
singularities and the butterflies are singularities. More generally, one
may define [honda2021] that is a generalized
singularity if
(5.4)
It was proved [izumiya2012, kokubu2005] that generalized
singularities with are indeed singularities, but this is not
known for .
5.2. Derivatives of
From equation 5.4, it is clear that we will need higher
derivatives of over to determine the nature of singularities.
The following calculation can be seen as generalizing Traizet’s
calculation [traizet2008t] of the first derivative of over .
The height differential for the maxface, as defined in
Section 4.3, has the following Laurent expansion in the annulus
:
where
Moreover, for each ,
because of the gluing. Therefore, we have
(5.5)
Here, (in particular is the descending
factorial. In particular, whenever . Note that
and its derivatives are bounded on the circle .
We now prove the following formula for partial derivatives of over .
which, by similar argument as before, equals when
. Otherwise, if , it
because is a polynomial of of degree .
∎
5.3. Nature of singularities
We are now in the possition to analyze the nature of singularities on the
maxfaces we constructed by node-opening.
Recall that extend real analytically to with the form given
by (4.4), with simple poles of residue at the nodes
at . Because as , we have no matter the value of . This implies that
extends real analytically to with a non-zero finite value
independent of . So extends real analytically
to with a non-zero value independent of . By continuity, we have
for sufficiently small .
This proves that, for sufficiently small non-zero , the Weierstrass
parameterization defines a front in a neighborhood of the singular points, and
the singular points are all nondegenerate. Note that, for sufficiently small
, the singular set is a circle of radius in the local coordinate ,
which obviously defines a smooth curve. So, the nondegeneracy of the singular
points is expected.
5.3.1. Non-cuspidal singularities
The node opening could also be implemented by an identification where
is a complex parameter. It was proved in [traizet2002e] that
the height differential depends holomorphically on and , and
extends holomorphically to . In our case, we have extends
holomorphically to with the value . So
depends real analytically on and , and extends real analytically to
with the value independent of the value of .
The singularity is cuspidal when . So, the set of non-cuspidal
singularities around a neck, given as the zero locus , is a real
analytic variety.
If the zero locus has a non-zero measure, then , and the
singular curve is mapped to a single point, so we have a cone singularity no
matter and [fujimori2009].
Otherwise, by Lojasiewicz’s theorem, the non-cuspidal singular set can be
stratified into a disjoint union of real analytic curves (-strata) and
discrete points (-strata). In particular, is a trivial solution of
, and there is no -strata for sufficiently small. In
other words, in a neighborhood of , the set of non-cuspidal singularities
is given by disjoint curves. See Figure 3.
Figure 3.
Sketch of a typical structure of non-cuspidal singularities. The circle in
the middle is the trivial locus with . Solid curves are solutions
to . Dashed curves are solutions to . Dots indicate the -strata. The grey dots at the
intersection of solid and dashed curves are then at least butterfly
singularities. The dot-dashed curve indicates a possible curve that solves
. Singularities on this curve are then at least generalized
singularities. The grey area indicates a neighborhood of the trivial
locus that includes no -strata of the variety. The variety appears as
disjoint curves within this neighborhood.
More generally, the set of generalized -singularities, , is a
real-analytic variety given by the zero locus
Again, by Lojasiewicz’s theorem, the locus can be stratified into curves and
discrete points and contains the trivial solution . In particular, if the
singularities are of type along a segment of a curve in ,
then the type will remain along this curve until hitting a -stratum of
. See Figure 3.
We have proved the following
Theorem 5.1.
For sufficiently small, if the height differential is not
identically (as a function of and ), then the non-cuspidal
singularities around a neck are described by a disjoint union of finitely
many curves in the -plane, each given by a real-analytic
function . Moreover, along each of these curves, the
type of singularities is invariant for sufficiently small.
5.3.2. Swallowtails
We have seen that, generically, a non-cuspidal singularity is a swallowtail.
In this part, for sufficiently small non-zero , we want to identify
swallowtails using the Implicit Function Theorem. The strategy is the
following:
We first remove the trivial solutions by considering the function
(5.11)
which should extend to with the values that is
not identically . Of course, this is only possible if
itself is not identically . That is if the singularity is not cone-like.
Then could only have finitely many zeros. At a
simple zero , we may apply the Implicit Function Theorem on
. More specifically, if
for some , then for sufficiently small , there exists a unique
value for as a function of , such that and extends to with the value .
Moreover,
for sufficiently small non-zero . In other words, the singularities are
swallowtails along the curve . Unfortunately, if
is a multiple zero of , we are not able to draw concrete
conclusions on the numbers and types of the singularities in the neighborhood
.
Now, the problem reduces to finding . If
for all , then extends to
with the value
Therefore, let be the smallest integer such that
, then
for in a neighborhood of , and extends to with the value
.
In Section 5.2, we proved (5.6) for
the partial derivatives, which we repeat below
where
are coefficients in the Laurent expansions of in the and
, respectively. Recall that, at , on
, so
In particular,
Note that, at , we have
so , which vanishes by the balance
condition. Therefore, is real, hence .
This implies that in (5.11).
Then, we must look at the next derivative, namely
Note that the node opening process remains the same if we replace by ,
so , as well as its Laurent coefficients, are even in . So, the
second limit vanishes in the formula above. The imaginary part of the first
limit equals as defined in Section 2. If
it does not vanish, then in (5.11), and
is given by a shifted sine function of period .
We then conclude that
Proposition 5.2.
If at , there are four non-cuspidal
singularities around the neck for sufficiently small non-zero , they are
all swallowtails and, as , the differences between the angles
of neighboring swallowtails tend to . In other words, these
swallowtails tend to be evenly distributed as .
Otherwise, if at , we must look at higher order
derivatives of and continue the analysis. But things become
significantly more complicated, mainly because we don’t have control over
even-order derivatives of the and .
5.3.3. Symmetries
We can say more about the singularities if symmetries are imposed to the maxfaces.
Proposition 5.3.
Assume that the configuration has a rotational symmetry of order and
the neck of interest is at the rotation center. If , then there are non-cuspidal singularities around the neck
for sufficiently small non-zero , they are all swallowtails and, as , the differences between the angles between neighboring
swallowtails tend to . In other words, these swallowtails tend to be
evenly distributed as .
Proof.
Under the assumed symmetry, is a function of , hence for all . then
in (5.11) and the equality holds if at . In the case of equality, is given by
a shifted sine function of period .
∎
Proposition 5.4.
Assume that the configuration has a vertical reflection plane that cuts
through the neck of interest. Then, the singularity around the neck that is
fixed by the reflection is non-cuspidal.
Proof.
We may further assume that the singular point fixed by the reflection is
given by . Then, the height differential is real on the real line
under the local coordinate . So, all the Laurent coefficients are real no
matter the value of . In particular, , so is a
non-cuspidal singularity.
∎
Remark 5.5.
For sufficiently small non-zero , a singularity around the neck that is
fixed by a vertical reflection could be a generalized singularity only
for odd .
Remark 5.6.
By the two propositions above, if a configuration has a dihedral symmetry of
order and the neck of interest is at the symmetry center, then there are
swallowtails around the neck with the same dihedral symmetry.
Proposition 5.7.
Assume that the configuration of necks has a horizontal reflection plane that
cuts through the neck of interest. Then, the singular curve around the neck
is mapped to a conelike singularity.
Proof.
Under the assumed symmetry, the singular curve is pointwise fixed by an
antiholomorphic involution of the Riemann
surface , and . In other words, we
have for all no matter the
value of . As a consequence, the partial derivatives of over
are all real, so .
∎
Appendix A Using the Implicit Function Theorem
In Section 4, we have proposed the Weierstrass data,
namely a Riemann surface , Gauss map , and a holomorphic 1- form
, with undetermined parameters , , and . In this section will prove that for
sufficiently small , we can find values for all the parameters, as smooth
functions of , such that the triplet becomes a Weierstrass
data for a maxface. As the argument is similar to that of
[traizet2002e], we will only provide a sketch and highlight the necessary
changes.
We want to find parameters that solve the
divisor conditions, period conditions, and regularity conditions. All
parameters vary in a neighborhood of their initial values at , denoted by
. Given a balanced configuration , we will see that
The argument in [traizet2002e] applies, word by word, to prove the
following
Proposition A.1(Divisor condition).
For in a neighborhood of their initial values, there exist
unique values for and , depending analytically on , such that the divisor conditions are satisfied. Moreover, at ,
we have .
For , , let be a closed curve that
starts in , travels first through the neck to ,
then through the neck back to , and finally close itself.
See [traizet2002e] for formal definitions of these curves. For and , the curves and the previously
defined form a homology basis. So, we only need to close
periods on these curves to solve the period conditions.
Recall that the vertical periods are already closed when defining the height
differential . In the following proposition, we need to switch to the
parameter given by . Again, The argument in
[traizet2002e] applies word by word. The key point is that
extends to a smooth function at
with the value .
Proposition A.2(Vertical periods).
Assume that are given by the previous proposition. For
in a neighborhood of their initial values, there exists
unique values for , depending smoothly on , such that the
vertical period condition (4.3) are satisfied over the curves
, and . Moreover, at , we
have for all and , where
are defined from by and .
The proof for the following step differs from minimal
surfaces [traizet2002e] only by a few signs. This slight
difference comes from the sign change in the horizontal period
condition (4.2). We will give a sketch to point out the
difference.
Proposition A.3(Horizontal periods).
Given a balanced and rigid configuration such that the map
has rank . Assume that are given by previous
propositions. For in a neighborhood of , there exists unique
values for , , and , depending smoothly on , such that and the horizontal period condition (4.2) are satisfied
over the curves and , and . Moreover, at , up to a translation in , we
have if is odd, if is even, and .
Sketched proof.
Define the horizontal period along a curve as
Then is extends to a smooth function at with the
values
If we normalize by fixing , then
vanish at if .
As the partial differential of with respect to is a
linear isomorphism, the parameters are found by the Implicit Function
Theorem.
Using these values of , extends to a smooth
function at with the values
They vanish at if where is from a
balanced configuration. Since the configuration is rigid, we may
re-normalize by fixing two of the parameters, then use the Implicit
Function Theorem to find the remaining parameters, depending
smoothly on that solves for all but two
necks.
It remains to solve for the remaining two necks. It is
necessary that for some ; otherwise, the configuration
would not be balanced unless . So we may assume that the remaining
necks are labeled by and , . The
relation that follows from the
Residue Theorem. The Riemann Bilinear Relation shows that
And finally, we study the function
It extends to a smooth function at with the values of ,
which vanishes because the configuration is balanced. Since the partial
differential of with respect to is surjective at , we may use
the Implicit Function Theorem to find , depending smoothly on in a
neighborhood of , such that and . These
conclude the proof that .
∎
We have constructed a family of maximal maps.
Let be the origin point of . With a translation if
necessary, we may assume that . With similar computations as
in [traizet2002e], one verifies that
•
The necks converge to Lorentzian catenoids and, after a scaling by , the
limit positions of the necks are .
•
The image of is a space-like graph over the horizontal plane
and this image stays within a bounded distance from .
•
. So, if , then
for sufficiently small , we have and the image of
is above the image of .
The singular set, given by and , is compact in
, and is not included in . We then have proved that the
constructed maximal maps are in fact maxface. Moreover these are embedded in a
wider sense for sufficiently small if .