The Gauss images of complete minimal surfaces of genus zero of finite total curvature

This paper aims to present a systematic study on the Gauss images of complete minimal surfaces of genus 0 of finite total curvature in Euclidean 3-space and Euclidean 4-space. We focus on the number of omitted values and the total weight of the totally ramified values of their Gauss maps. In particular, we construct new complete minimal surfaces of finite total curvature whose Gauss maps have 2 omitted values and 1 totally ramified value of order 2, that is, the total weight of the totally ramified values of their Gauss maps are 5/2 (=2.5) in Euclidean 3-space and Euclidean 4-space, respectively. Moreover we discuss several outstanding problems in this study.


Introduction
The study of the Gauss images of complete minimal surfaces in Euclidean space have been of interest ever since the Nirenberg conjecture and the Osserman work (see [42,Chapter 8]).One of the most notable results in this study is the Fujimoto theorem [12], which states that the Gauss map of a nonflat complete minimal surface in Euclidean 3space R 3 can omit at most 4 values in the Riemann sphere C := C ∪ {∞} ≃ S 2 .This theorem is optimal because the Gauss map of the classical Scherk surface omits exactly 4 values in C. On the other hand, Osserman [41] showed that the Gauss map of a nonflat complete minimal surface of finite total curvature in R 3 can omit at most 3 values in C.However, no complete minimal surface of finite total curvature in R 3 whose Gauss map omits 3 distinct values in C has been found.So the precise maximum is expected to be "2".There have been several attempts (e.g.[27,35]), but no complete solution has been reached.
On the other hand, in the theory of value distribution of meromorphic functions, totally ramified values are studied as well as omitted values.Here we recall the notion of an omitted value and a totally ramified value of a meromorphic function.
Definition 1.1.Let f : Σ → C be a meromorphic function on a Riemann surface Σ.We call a value that f never attains an omitted value of f .We denote the number of omitted values of f by D f .Set ν (≥ 2) ∈ Z ∪ {∞}.We say that α ∈ C is a totally ramified value of f of order ν if the equation f = α has no root of multiplicity less than ν on Σ.We regard an omitted value of f as a totally ramified value of f of order ∞ because ν = ∞ means that f = α has no root of any order.Then the weight for a totally ramified value of f of order ν is defined by 1 − (1/ν).By total weight ν f of the totally ramified values of f , we mean the sum of their weights.By definition, we have D f ≤ ν f .In order to explain the natural interpretation for the total weight of the totally ramified values, we need the second main theorem in Nevanlinna theory.See [28,39,40,43,44] for more details.
Remark 1.2.The idea of the total weight of the totally ramified values is due to R. Nevanlinna (see [38, Page 102], [39, §X.3]).See [5,Page 83] for historical background and relationship to the theory of normal family.In [22,23,27], the value ν f in Definition 1.1 is called " the totally ramified value number of f ".However, this term is confusing with "the number of totally ramified values of f ", so we refer ν f as "the total weight of the totally ramified values of f " with reference to the Robinson paper [43].On the other hand, in [43], "totally ramified value" in Definition 1.1 is called "exceptional value".However, "exceptional value" is often used in the sense of "omitted value", so we choose the term "totally ramified value" (for example, this term is used in the Nevanlinna book [39]) in this paper.
By Definition 1.1, the total weight of the totally ramified values gives more detailed information than the number of omitted values.We demonstrate it for nonconstant meromorphic functions on the complex plane C. By the little Picard theorem, a nonconstant meromorphic function f : C → C can omit at most 2 values, that is, D f ≤ 2. On the other hand, by using the fundamental theorem of algebra, we can show that a nonconstant rational function f : C → C can omit at most 1 value, that is, D f ≤ 1.Thus the difference between the general case and the algebraic case seems significant regarding the maximum for the number of omitted values.However, regarding the maximum for the total weight of the totally ramified values, the difference becomes smaller.In fact, we have ν f ≤ 2 (Fact 2.1) for a nonconstant meromorphic function f : The purpose of this paper is to perform a systematic study on the Gauss images of complete minimal surfaces in R 3 and R 4 .We focus on the number of omitted values and the total weight of the totally ramified values of their Gauss maps.The paper is organized as follows: In Section 2, we review the ramification estimates (Fact 2.1 and Proposition 2.2) for nonconstant meromorphic functions on C in detail.In Section 3, we study the number of omitted values and the total weight of the totally ramified values of the Gauss map of complete minimal surfaces in R 3 .In particular, we give a new complete minimal surface of finite total curvature in R 3 whose Gauss map has 2 omitted values and 1 totally ramified value of order 2, that is, the total weight of the totally ramified value of its Gauss map is 5/2 (= 2.5) (Theorem 3.7).Moreover we obtain more precise estimate for the total weight of the totally ramified values of the Gauss map of complete minimal surfaces of genus 0 of finite total curvature in R 3 (Theorem 3.9).In Section 4, we also study the number of omitted values and the total weight of the totally ramified values of the Gauss map of complete minimal surfaces in R 4 .In particular, we construct a complete minimal surface of finite total curvature in R 4 whose both Gauss maps have 2 omitted values and 1 totally ramified value of order 2, that is, the total weight of the totally ramified values of each Gauss map is 5/2 (Theorem 4.6).Moreover we obtain more precise estimates for the number of omitted values (Corollary 4.10) and the total weight of the totally ramified values (Theorem 4.9) of the Gauss map of complete minimal surfaces of genus 0 of finite total curvature in R 4 .Furthermore we provide examples (Theorems 4.12, 4.13) which show that its estimate for the number of omitted values (Corollary 4.10) is sharp.In Section 5, we explain outstanding problem and conjecture in this study.
Finally, the authors gratefully acknowledge the useful comments from Shunsuke Kasao and warm encouragement from Shoichi Fujimori, Pham Hoang Ha and Reiko Miyaoka during the preparation of this paper.The authors also would like to express their gratitude to the reviewer for valuable comments and suggestions.
On the other hand, by the argument of complex analytic geometry, the following result holds for nonconstant rational functions on C. Proposition 2.2.Let f : C → C be a nonconstant rational function whose degree is d (≥ 1).Then the number D f of omitted values and the total weight ν f of the totally ramified values of f satisfy In particular, we have ν f < 2 and D f ≤ 1.
Proof.Let #(A) be the cardinality of the set A and e p (f ) be the multiplicity of f at p. Since f is a rational function, f can be extended meromorphically to C.
Let a 1 , . . ., a D f be the omitted values of f : Then we obtain On the other hand, we have This inequality obviously holds for D f = 0.By (3), we have D f ≤ 1.Let b 1 , . . ., b l 0 be the totally ramified values which are not omitted values.Set For each b j , the order ν j is equal to the minimum of the multiplicity at all f −1 (b j ).Then the number of elements in the inverse image f −1 (b j ) is less than or equal to d/ν j .We thus obtain (5) Let n f be the total branching order of f .In particular, we have n 0 + n r ≤ n f .Then applying the Riemann-Hurwitz theorem to f : C → C, we obtain n f = 2(d − 1).By (4) and ( 5), we have

□
The value "2 − (1/d)" in ( 2) is optimal because f (z) = z d has 1 omitted value ∞ and 1 totally ramified value 0 (= f (0)) of order d.We thus obtain We note that Jin and Ru show the algebraic Nevanlinna second main theorem (see [21,Theorem 2.1] and [45,Theorem A1.1.3])by using the argument in the proof of Proposition 2.2.
Remark 2.3.If a meromorphic function f : C\{0} → C can be extended meromorphically to C, by the same argument of the proof of Proposition 2.2, then we have dD f ≤ n 0 + 2 and 3. The Gauss images of complete minimal surfaces of finite total curvature in R 3 We first recall fundamental results of complete minimal surfaces in R 3 .Details can be found, for example, [3,15,26,29,30,42,45,48].Let X = (x 1 , x 2 , x 3 ) : Σ → R 3 be an oriented minimal surface.By associating a local complex coordinate z = u + iv (i := √ −1) with each positive isothermal coordinate (u, v), Σ is considered as a Riemann surface whose conformal metric is the induced metric ds 2 from R 3 .Then (6) ∆ ds 2 X = 0 holds, that is, each coordinate function x i (i = 1, 2, 3) is harmonic.With respect to the local complex coordinate z = u + iv of the surface, ( 6) is given by ) is a holomorphic differential on Σ.These satisfy We recover X : Σ → R 3 by ( 8) then g is a meromorphic function on Σ and hdz is a holomorphic differential on Σ. Moreover g coincides with the composition of the Gauss map of X(Σ) and the stereographic projection from the 2-sphere S 2 onto the Riemann sphere C. For the meromorphic function g and the holomorphic differential hdz given by ( 9), we have ( 10) We call (g, hdz) the Weierstrass data (W-data, for short).Conversely, if we are given the W-data (g, hdz) on Σ, we obtain ϕ 1 , ϕ 2 , ϕ 3 by (10).They satisfy the conformality condition automatically, and the regularity condition is interpreted as the poles of g of order s coinciding exactly with the zeros of hdz of order 2s, that is, (hdz where (hdz) 0 is the zero divisor of hdz and (g) ∞ is the polar divisor of g.This is because the induced metric on Σ is given by ( 11) In general, for a given meromorphic function g on Σ, it is not so hard to find a holomorphic differential hdz satisfying the regularity condition.However, the period condition always causes trouble.In addition, a minimal surface in R 3 is said to be complete if all divergent paths have infinite length with respect to the metric given by (11).
The Gauss curvature of X(Σ) is given by ( 12) where g ′ = dg/dz.Moreover the total curvature of X(Σ) is given by ( 13) where dA is the area element with respect to the metric (11).Note that |C(Σ)| is the area of Σ with respect to the metric induced from the Fubini-Study metric of C by g.
Fujimoto [12,14] proved the following precise estimate for the number of omitted values and the total weight of the totally ramified values of the Gauss map of complete minimal surfaces in R 3 .Fact 3.1.Consider a nonflat complete minimal surface X : Σ → R 3 and its Gauss map g : Σ → C. Then the number D g of omitted values and the total weight ν g of the totally ramified values of g satisfy This result is proved by using complex analytic methods.The value "4" in ( 14) is optimal.The most famous example of a complete minimal surface in R 3 whose Gauss map omits exactly 4 values is the classical Scherk surface.Another important example is the Voss surface [42,Theorem 8.3].The W-data of this surface is defined on Σ = .
Since this data does not satisfy the period condition, we obtain a complete minimal surface X : Σ → R 3 on the universal covering surface Σ of Σ.In particular, it has infinite total curvature.In [24,25], the first author showed a geometric interpretation for the maximal number "4".We next give some facts about the Gauss map of complete minimal surfaces of finite total curvature in R 3 ( [20,41]) .Fact 3.2 (Huber-Osserman).A complete minimal surface X : Σ → R 3 of finite total curvature satisfies: surface of genus G and p 1 , . . ., p k ∈ Σ G .Then we also call the number G the genus of X(Σ).( ii ) The Weierstrass data (g, hdz) can be extended meromorphically to By this fact, we also call such a surface an algebraic minimal surface ( [48]).Osserman proved the following result for the number of omitted values of the Gauss map of complete minimal surfaces of finite total curvature in R 3 .
and 1/R < 1 holds.Thus we have Theorem 3.4 is proved by using the methods of complex analytic geometry.In [42, Page 90], Osserman proposed the following problem.Problem 3.5.Does there exist a complete minimal surface of finite total curvature in R 3 whose Gauss map omits 3 values?If so, the value "3" is the precise bound.If not, the maximum is "2" and is attained by the catenoid.Since no complete minimal surface of finite total curvature in R 3 whose Gauss map omits 3 values has been found (see [11,47]), the maximum is expected to be "2".If the best upper bound for the number of omitted values is "2", then of course the best upper bound for the total weight of the totally ramified values is also assumed to be "2".However, the first author found a complete minimal surface of finite total curvature whose Gauss map has 2 omitted values and 1 totally ramified value of order 2, that is, the total weight of the totally ramified values of its Gauss map is "5/2 (= 2.5)" in one of examples in [36].
For any a, t ∈ R\{1} satisfying σ 2 < 0 i.e. σ ∈ iR, we obtain a complete minimal surface in R 3 whose Weierstrass data is given by (17).In particular, the surface has finite total curvature and its Gauss map has 2 omitted values σ (= g(∞)), σa (= g(±i)) and 1 totally ramified value σ(1 + a(t − 1))/t (= g(0)) of order 2. Thus the total weight ν g of the totally ramified values of g is No other complete minimal surfaces of finite total curvature with ν g = 5/2 have been found before.However, the second author obtains a new complete minimal surface of finite total curvature with ν g = 5/2.This is one of the main results in this paper.For any a, b ∈ R \ {1} satisfying a ̸ = b and σ 2 < 0 i.e. σ ∈ iR, we obtain a complete minimal surface X(Σ) : Σ → R 3 whose Weierstrass data is given by (18).In particular, X(Σ) has finite total curvature and ν g = 5/2.
Proof.We first prove that a minimal surface X : Σ → R 3 whose W-data is given by ( 18) can be constructed.We can easily verify that (18) satisfies the conformality and regularity conditions.So it is sufficient to prove that (18) satisfies the period condition.We denote small circles about z = 0, i, −i by c 0 , c i , c −i , respectively.Then we obtain ) has no real periods on Σ, that is, (18) satisfies the period condition.We next prove that the surface X(Σ) is complete.Since the line element ds we see that γ ds = +∞ for any divergent path γ on Σ.We conclude that X(Σ) is a complete minimal surface of finite total curvature in R 3 and has C(Σ) = −16π.
Proof.By a suitable rotation of the surface in R 3 , we may assume that g has neither zero nor pole at p j and that the poles of g are simple.The simple poles of g coincide with the double zeros of hdz because the surface satisfies the regularity condition.By the completeness of the surface, hdz has a pole at each p j ( [32], [42, Lemma 9.6], [46]).Since the surface also satisfies the period condition, hdz has a pole of order µ j ≥ 2 at p j ( [41]).Applying the Riemann-Roch theorem to the meromorphic differential hdz on Σ G , we obtain Thus, for G = 0, we have that is, (k − 1)/d ≤ 1.By Theorem 3.4, we have because d ≥ 1 holds for a nonflat complete minimal surface of finite total curvature.□

4.
The Gauss images of complete minimal surfaces of finite total curvature in R 4 We review some basic facts about complete minimal surfaces in R 4 .For more details, see [7,9,15,17,18,19,41]. Let X = (x 1 , x 2 , x 3 , x 4 ) : Σ → R 4 be an oriented minimal surface.By associating a local complex coordinate z = u+iv with each positive isothermal coordinate (u, v), Σ is considered as a Riemann surface whose conformal metric is the induced metric ds 2 from R 4 .Then ( 6) holds, that is, each x i (i = 1, 2, 3, 4) is harmonic.
With respect to the local complex coordinate z = u + iv of the surface, ( 6) is given by (7).Thus each ϕ i := ∂x i dz (i = 1, 2, 3, 4) is a holomorphic differential on Σ.These satisfy the conformality condition, the regularity condition and the period condition as in the case of R 3 .We recover X : Σ → R 4 by ( 20) up to translation.Here z 0 is a fixed point of Σ.If we set ( 21) then g 1 and g 2 are meromorphic functions on Σ and hdz is a holomorphic differential on Σ. Moreover the holomorphic map g := (g 1 , g 2 ) : Σ → C × C coincides with the Gauss map of X(Σ).We remark that the Gauss map of X(Σ) in R 4 is the map from each point of Σ to its oriented tangent plane, the set of all oriented (tangent) planes in R 4 is naturally identified with the quadric in CP 3 and Q 2 is biholomorphic to the product of the Riemann spheres C × C. For the meromorphic functions g 1 , g 2 and the holomorphic differential hdz given by ( 21), we have ( 22) We call (g 1 , g 2 , hdz) the Weierstrass data (W-data, for short).Conversely, if we are given the W-data (g 1 , g 2 , hdz) on Σ, we obtain ϕ 1 , ϕ 2 , ϕ 3 , ϕ 4 by (22).They satisfy the conformality condition automatically, and the regularity condition is interpreted as (hdz) 0 = (g 1 ) ∞ + (g 2 ) ∞ , where (hdz) 0 is the zero divisor of hdz and (g i ) ∞ is the polar divisor of g i (i = 1, 2).This is because the induced metric on Σ is given by ( 23) In a minimal surface in R 4 , it is also not so hard to find a holomorphic differential hdz satisfying the regularity condition for given two meromorphic functions g 1 and g 2 on Σ, but the period condition always causes trouble.In addition, a minimal surface in R 4 is said to be complete if all divergent paths have infinite length with respect to the metric given by (23).
The Gauss curvature of X(Σ) is given by ( 24) where g ′ 1 = dg 1 /dz, g ′ 2 = dg 2 /dz.Moreover the total curvature of X(Σ) is given by ( 25) regularity conditions.So it is sufficient to prove that (30) satisfies the period condition.We denote small circles about z = i, −i by c i , c −i , respectively.Then we obtain ) has no real periods on Σ, that is, (30) satisfies the period condition.
Problem 4.8.For every nonflat complete minimal surface of finite total curvature in R 4 whose nonconstant Gauss maps g 1 and g 2 have ν g 1 > 2 and ν g 2 > 2, what is the best lower bound κ of 1/(ν g 1 − 2) + 1/(ν g 2 − 2)?By Theorems 4.3 and 4.6, we have 1 < κ ≤ 4. If the genus G is equal to 0, we show the following more precise estimate.Theorem 4.9.Consider a nonflat complete minimal surface X : Σ → R 4 of genus 0 of finite total curvature and its Gauss map g = (g 1 , g 2 ) : Σ → C × C. Let ν g i be the total weight of the totally ramified values of g i (i = 1, 2).Assume that both g 1 and g 2 are nonconstant.If ν g 1 > 2 and ν g 2 > 2, then we have We thereby have 2 < κ ≤ 4 in the case of genus 0 for Problem 4.8.
Proof.By a suitable isometric transformation of the surface in R 4 , we assume that both g 1 and g 2 are no pole at p j and have only simple poles.By the completeness of the surface, hdz has a pole at p j ( [32], [42,Lemma 9.6], [46]).Since the surface also satisfies the period condition, hdz has a pole of order µ j ≥ 2 at p j ( [41]).Moreover the total order of zeros of hdz on Σ G is d 1 + d 2 due to the regularity condition.Applying the Riemann-Roch theorem to the meromorphic differential hdz on Σ G , we obtain We consider G = 0. We first assume k ≤ 2. Then Σ is biholomorphic to C (k = 1) or C\{0} (k = 2).If k = 1, then ν g 1 < 2 and ν g 2 < 2 from Proposition 2.2.For the case of k = 2, we have ν g 1 ≤ 2 and ν g 2 ≤ 2 from Remark 2.3.We thus may assume k ≥ 3. Since µ j ≥ 2 holds for each j, (32) implies that By (26) in Theorem 4.3, we have

□
As an application of Theorem 4.9, we can give more refined estimate than Corollary 4.4 when the genus of the surface is 0.
Corollary 4.10.Let X : Σ → R 4 be a nonflat complete minimal surface of genus 0 of finite total curvature and g = (g 1 , g 2 ) : Σ → C × C be its Gauss map.If both g 1 and g 2 are nonconstant, then g 1 or g 2 can omit at most 2 values in C.
Proof.Let D g i be the number of omitted values of g i (i = 1, 2).It is proved by contradiction.Suppose that D g 1 ≥ 3 and D g 2 ≥ 3. Then we have (33) 1 Moreover, by assumption, m − l ̸ = −1, n − l ̸ = −1 and −l ≤ −2 hold.Then we have Since H 1 (Σ, Z) = Zc 0 , (35) satisfies the period condition.We next prove that the surface X(Σ) is complete.Since the line element of X(Σ) can be represented as we see that γ ds = +∞ for any divergent path γ on Σ. Hence X(Σ) is a complete minimal surface of finite total curvature in R 4 and has C(Σ) = −2π(m + n).□ Theorem 4.13.Consider Σ = C\{0, ∞} and where a ∈ C\{0}.Then we obtain a complete minimal surface X : Σ → R 4 whose Weierstrass data is given by (36).In particular, X(Σ) has finite total curvature, both g 1 and g 2 omit two values 0, ∞.
Proof.Since we check at once that both g 1 and g 2 omit two values 0 (= g i (0)), ∞ (= g i (∞)), we here prove that a complete minimal surface X : Σ → R 4 of finite total curvature whose W-data is given by (36) can be constructed.We can easily verify that (36) satisfies the conformality and regularity conditions.We show that (36) satisfies the period condition.Here c 0 stands for a small circle about z = 0. Then we have Since H 1 (Σ, Z) = Zc 0 , each ϕ i (i = 1, 2, 3, 4) has no real periods on Σ, that is, (36) satisfies the period condition.We next prove that X(Σ) is complete.Since the line element of X(Σ) can be represented as we see that γ ds = +∞ for any divergent path γ on Σ. Hence X(Σ) is a complete minimal surface of finite total curvature in R 4 and has C(Σ) = −2π(1 + 1) = −4π.□ Remark 4.14.In Theorem 4.13, if a + ā = 0, that is, a ∈ iR holds, then X(Σ) is 1-decomposable because we have ϕ 3 ≡ 0.Moreover, if a − ā = 0, that is, a ∈ R holds, then X(Σ) is also 1-decomposable because we have ϕ 4 ≡ 0.

Outstanding problem and conjecture
In this section, we discuss the following outstanding problem and conjecture in the study of value distribution of the Gauss map of complete minimal surfaces in Euclidean space.
5.1.The generalized Gauss images of complete nonorientable minimal surfaces of finite total curvature.We summarize some basic facts of nonorientable minimal surfaces in R 3 .For more details, we refer the reader to [2,3,10,31,33,34].Let X : Σ → R 3 be a conformal minimal immersion of a nonorientable Riemann surface Σ in R 3 .If we consider the orientable conformal double cover π : Σ → Σ, then the composition X := X • π : Σ → R 3 is a conformal minimal immersion of the orientable Riemann surface Σ in R 3 .Let I : Σ → Σ denote the antiholomorphic order two deck transformation associated to the orientable cover π : Σ → Σ, then I * (ϕ i ) = φi (i = 1, 2, 3) or equivalently, (37) g Conversely, if (g, hdz) is the Weierstrass data of an orientable minimal surface X(Σ) in R 3 and I is an antiholomorphic involution without fixed points in Σ satisfying (37), then the unique map The fact that g • I = −(ḡ) −1 implies the existence of a map ĝ : Σ → RP 2 satisfying ĝ • π = π 0 • g, where π 0 : C → RP 2 ≡ C/⟨I 0 ⟩ is the natural projection and I 0 := −(z) −1 is the antipodal map of C. We call the map ĝ : Σ → RP 2 the generalized Gauss map of X( Σ).Applying Fact 3.1 to their generalized Gauss maps, the following result holds.Fact 5.1.[31] The generalized Gauss map of a nonflat complete nonorientable minimal surface in R 3 can omit at most 2 points in RP 2 .Fact 5.1 is optimal because López and Martín [31] showed that there exist complete nonorientable minimal surfaces in R 3 whose generalized Gauss maps omit 2 points in RP 2 .Fact 3.3 implies that the generalized Gauss map of a nonflat complete nonorientable minimal surface of finite total curvature in R 3 can omit at most 1 points in RP 2 .However, in all known complete nonorientable minimal surfaces of finite total curvature in R 3 , the generalized Gauss maps are surjective.From this fact, López and Martín proposed the following problem.Problem 5.2.[31,33] Does there exist a complete nonorientable minimal surface of finite total curvature in R 3 whose generalized Gauss map omits one point in RP 2 ?
In an analogous way, we obtained the following result for complete nonorientable minimal surfaces of finite total curvature in R 4 .For more details, see [1].
(i) Assume that ĝ1 and ĝ2 are both nonconstant.Then at least one of them can omit at most 1 point in RP 2 .(ii) If either ĝ1 or ĝ2 , say ĝ2 , is constant, then ĝ1 can omit at most 1 point in RP 2 .
However, we also do not know whether Proposition 5.3 is optimal or not.5.2.Flat point conjecture.At the end of this paper, we explain the following conjecture.
Conjecture 5.4 (Flat point conjecture).If a nonflat complete minimal surface in R 3 has at least 1 flat point, then its Gauss map omits at most 3 values.
A flat point means a point where the Gauss curvature of the surface vanishes.Conjecture 5.4 can be rephrased as follows: if the Gauss map of a complete minimal surface in R 3 has exactly 4 omitted values, then the Gauss curvature is strictly negative on everywhere, that is, the surface has no flat point.Conjecture 5.4 is true if a complete minimal surface is "pseudo-algebraic".Here a complete minimal surface X : Σ → R 3 is said to be pseudo-algebraic if the following conditions are satisfied: (i) The W-data (g, hdz) is defined on a Riemann surface Σ G \{p 1 , . . ., p k }, where Σ G is a closed Riemann surface of genus G and p 1 , . . ., p k ∈ Σ G .(ii) The W-data (g, hdz) can be extended meromorphically to Σ G .This class does not assume the period condition on Σ, that is, a surface in this class does not necessarily have to be well-defined on Σ.If a pseudo-algebraic minimal surface is not well-defined on Σ, it is defined on some covering surface of Σ, in the worst case, on the universal covering surface.Note that Gackstatter called such surfaces abelian minimal surfaces [16].Complete minimal surfaces of finite total curvature, the classical Scherk surface and the Voss surface are all pseudo-algebraic.
The reason why Conjecture 5.4 holds for nonflat pseudo-algebraic minimal surfaces is as follows: If the number of (not necessarily totally) ramified values except for omitted values of g is l, the first author, Kobayashi and Miyaoka [27,Theorem 3.3] proved that

Fact 3 .
3.[41, Theorem 3.3]  The Gauss map of a nonflat complete minimal surface of finite total curvature in R 3 can omit at most 3 distinct values.The first author, Kobayashi and Miyaoka refined Fact 3.3 and obtained the following estimate by geometric quantities for the number of omitted values and the total weight of the totally ramified values of the Gauss map of complete minimal surfaces of finite total curvature in R 3 .Theorem 3.4.[27, Theorem 3.3] Let X : Σ = Σ G \{p 1 , . . ., p k } → R 3 be a nonflat complete minimal surface of finite total curvature, g : Σ → C be its Gauss map and d be the degree of g : Σ G → C. Then the number D g of omitted values and the total weight ν g of the totally ramified values of g satisfy(15)