pith. sign in

arxiv: 1906.09106 · v1 · pith:5MK2C3ZNnew · submitted 2019-06-21 · 🧮 math.DG

A Picard type theorem for Hyperbolic Gauss Map of CMC-1 Surfaces in Hyperbolic 3-space and de Sitter 3-space

Nicolas A. de Andrade , Luquesio P. Jorge This is my paper

Pith reviewed 2026-05-25 18:45 UTC · model grok-4.3

classification 🧮 math.DG
keywords CMC-1 surfaceshyperbolic Gauss mapfinite total curvaturePicard theoremhyperbolic 3-spacede Sitter 3-space
0
0 comments X

The pith

The hyperbolic Gauss map of complete non-flat CMC-1 surfaces with finite total curvature in H^3 omits at most two points.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper extends a known Picard-type result on Gauss maps from minimal surfaces in Euclidean three-space to the setting of constant mean curvature one surfaces. It establishes that the hyperbolic Gauss map of a complete non-flat CMC-1 surface with finite total curvature in hyperbolic three-space has image missing at most two points. An analogous statement holds for CMC-1 faces of finite type with regular ends in de Sitter three-space. A reader would care because the result limits the possible value distribution of the Gauss map and thereby constrains the global geometry of these surfaces under the given completeness and curvature hypotheses.

Core claim

Following the approach of Jorge and Mercuri, the image of the hyperbolic Gauss map of a complete non-flat CMC-1 surface with finite total curvature in H^3 omits at most 2 points. The same conclusion holds for a CMC-1 face with finite type and regular ends in S^3_1.

What carries the argument

The hyperbolic Gauss map together with the finite total curvature (or finite type and regular ends) hypothesis that allows the Jorge-Mercuri argument to transfer.

If this is right

  • The hyperbolic Gauss map cannot be surjective onto the complement of any three-point set.
  • The asymptotic behavior of such surfaces is restricted by the two-point omission property.
  • The same omission bound controls the possible ends of the surfaces in both ambient spaces.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Relaxing finite total curvature would likely permit Gauss maps that omit more than two points.
  • The result raises the question of whether similar omission statements hold for other constant mean curvature values or in higher-dimensional space forms.
  • The technique may adapt to surfaces with other prescribed curvatures where a Gauss map is still defined.

Load-bearing premise

The surfaces must satisfy the stated completeness and finite-total-curvature (or finite-type and regular-ends) conditions so that the Jorge-Mercuri argument applies.

What would settle it

A complete non-flat CMC-1 surface with finite total curvature in H^3 whose hyperbolic Gauss map omits three or more distinct points.

read the original abstract

In a recent paper Jorge and Mercuri proved that the image of Gauss map of a complete non flat minimal surfaces in R3 with finite total curvature omits at most 2 points. In this work we follow their idea and prove 3a similar result for CMC-1 with finite total curvature in H and CMC-1 faces with finite type and regular ends in S31.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The paper adapts the Jorge-Mercuri argument to prove a Picard-type theorem: the hyperbolic Gauss map of a complete non-flat CMC-1 surface with finite total curvature in H^3 (resp. a CMC-1 face with finite type and regular ends in S^3_1) omits at most two points. The approach establishes that the Gauss map is holomorphic with respect to the induced conformal structure and extends meromorphically over the compact Riemann surface obtained from the finite-total-curvature (or finite-type regular-ends) hypothesis, allowing the same value-omission counting to apply.

Significance. If the adaptation holds, the result extends a classical value-distribution theorem from minimal surfaces in R^3 to CMC-1 surfaces in the other space forms, supplying a uniform bound on omitted values that may be useful for rigidity or classification statements in hyperbolic and de Sitter geometry.

minor comments (2)
  1. Abstract: the phrase '3a similar result' contains a typographical error and should read 'a similar result'; likewise 'in H and' should be 'in H^3'.
  2. The manuscript would benefit from an explicit statement, early in the introduction or §2, of the precise holomorphic structure used on the surface and the precise compactification (punctured Riemann surface) on which the Gauss map extends meromorphically; this would make the adaptation of the Jorge-Mercuri degree argument fully transparent.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary of our work and the recommendation of minor revision. The referee's description accurately reflects the paper's main contribution: an adaptation of the Jorge-Mercuri argument to obtain a Picard-type theorem for the hyperbolic Gauss map of CMC-1 surfaces with finite total curvature in H^3 and CMC-1 faces with finite type and regular ends in S^3_1.

Circularity Check

0 steps flagged

No significant circularity; adapts independent Jorge-Mercuri argument

full rationale

The manuscript states it follows the Jorge-Mercuri strategy by establishing holomorphicity of the hyperbolic Gauss map and meromorphic extension on a compact Riemann surface with punctures under the stated global hypotheses (completeness, finite total curvature or finite type with regular ends). These hypotheses are external to the target omission count and match those required for the original R^3 argument to transfer. The citation to Jorge-Mercuri is to a prior independent theorem; no step reduces the conclusion to a self-definition, fitted parameter renamed as prediction, or unverified self-citation chain. The derivation remains self-contained against the external benchmark.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; the result is presented as a direct adaptation of an existing proof.

pith-pipeline@v0.9.0 · 5595 in / 1193 out tokens · 22668 ms · 2026-05-25T18:45:37.178210+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages

  1. [1]

    Aiyama and K

    R. Aiyama and K. Akutagawa: Kenmotsu-Bryant type representation formulas for constant mean curvature surfaces in H3(−c2) and S3 1(c2). Ann. Global Anal. Geom. 17 (1998), 49-75

    work page 1998

  2. [2]

    Akutagawa: On spacelike hypersurfaces with constant mean curva- ture in the de Sitter space

    K. Akutagawa: On spacelike hypersurfaces with constant mean curva- ture in the de Sitter space. Math. Z. 196 (1987), 13-19

    work page 1987

  3. [3]

    Bryant: Surfaces of mean curvature one in hyperbolic space, Ast´ erisque 154-155 (1987), 321-347

    R. Bryant: Surfaces of mean curvature one in hyperbolic space, Ast´ erisque 154-155 (1987), 321-347

    work page 1987

  4. [4]

    Collin, L

    P. Collin, L. Hauswirth e H. Rosenberg: The Gaussian image of mean curvature one surfaces in H3 of finite total curvature. Journal of Dif- ferential Geometry 60 (2002), 55-101

    work page 2002

  5. [5]

    Collin,L

    P. Collin,L. Hauswirth and H. Rosenberg: The geometry of finite topol- ogy Bryant surfaces. Annals of Math, 153 (2001) 623-659

    work page 2001

  6. [6]

    Fujimori: Spacelike CMC-1 surfaces with elliptic ends in de Sitter 3-space

    S. Fujimori: Spacelike CMC-1 surfaces with elliptic ends in de Sitter 3-space. Hokkaido Math. Journal 35 (2006), 289-320. 19

    work page 2006

  7. [7]

    Fujimori, W

    S. Fujimori, W. Rossman, M. Umehara, K. Yamada and S.D. Yang: Spacelike mean curvature one surfaces in de Sitter 3-space. Com. in Anal and Geom. vol 17, number 3 (2009), 383-427

    work page 2009

  8. [8]

    Green and H

    R.E. Green and H. Wu: Function theory on manifolds which posses a pole. Lectures Notes in Mathematics No. 699. Edited by A. Dold and B. Eckmann, Spinger-Verlag, Berlin Heidelberg New York (1979)

    work page 1979

  9. [9]

    Grigor’yan: Heat Kernel and Analysis on manifolds

    A. Grigor’yan: Heat Kernel and Analysis on manifolds. Studies in Ad- vanced Mathematics V. 47, AMS, International Press (2009)

    work page 2009

  10. [10]

    Hubber: On subharmonic functions and differential geometry in the large

    A. Hubber: On subharmonic functions and differential geometry in the large. Comment. Math. Helv. 32 (1957), 13-72

    work page 1957

  11. [11]

    Izumiya, D

    S. Izumiya, D. Pei, M.C. Romero Fuster and M. Takahashi : The horo- spherical geometry of submanifolds in hyperbolic space. Journal of the London Math. Soc. (2004)

    work page 2004

  12. [12]

    L. P. Jorge and W. Meeks III: The topology of complete minimal sur- faces of finite total Gaussian curvature. Topology, Vol. 22 No 2, 203-221 (1983)

    work page 1983

  13. [13]

    Jorge and F

    L.P. Jorge and F. Mercuri: The Gauss map of a complete non flat minimal surface in R3 with finite total curvature, 2018

    work page 2018

  14. [14]

    Kawakami: Ramification estimatives for the hyperbolic Gauss map

    Y. Kawakami: Ramification estimatives for the hyperbolic Gauss map. Osaka J. Math 46 (2009), 1059-1076

    work page 2009

  15. [15]

    Osserman: Global properties of minimal surfaces in E3 and En

    R. Osserman: Global properties of minimal surfaces in E3 and En. Annals of Mathematics, Vol. 80, 340-364 (1964)

    work page 1964

  16. [16]

    Rossman: Mean curvature one surfaces in hyperbolic space, and their relashionship to minimal surfaces in euclidian space

    W. Rossman: Mean curvature one surfaces in hyperbolic space, and their relashionship to minimal surfaces in euclidian space . The Jornal of Geometric Analysis, vol. 11, number 4, (2001)

    work page 2001

  17. [17]

    Rossman, M

    W. Rossman, M. Umehara and K. Yamada: Mean curvature 1 sur- faces in hyperbolic 3-space with low total curvature I. Hiroshima Math Journal 34 (2004), 21-56

    work page 2004

  18. [18]

    Umehara amd K

    M. Umehara amd K. Yamada: Complete surfaces of constant mean curvature-1 in the hyperbolic 3-space. Ann. of Math. 137 (1993), 611- 638

    work page 1993

  19. [19]

    Umehara and K

    M. Umehara and K. Yamada: A duality on CMC-1 surfaces in hy- perbolic space, and a hyperbolic analogue of the Osserman in equality. Tsukuba J. Math vol. 21, No. 1 (1997), 229-237

    work page 1997

  20. [20]

    Yu: Value of distribution of hyperbolic Gauss maps

    Z. Yu: Value of distribution of hyperbolic Gauss maps. Proc. Amer. Math. Soc. 125 (1997), 2997-3001. 20

    work page 1997