pith. machine review for the scientific record. sign in

arxiv: 2604.19095 · v1 · submitted 2026-04-21 · 🧮 math.CV

Recognition: unknown

Revisiting Kobayashi hyperbolicity on planar domains

Bharathi Thiruvengadam, Jaikrishnan Janardhanan

Pith reviewed 2026-05-10 01:42 UTC · model grok-4.3

classification 🧮 math.CV
keywords Kobayashi hyperbolicityplanar domainstwice-punctured planePicard theoremLandau theoremSchottky theoremelementary proofs
0
0 comments X

The pith

The twice-punctured complex plane is completely Kobayashi hyperbolic, shown by two new elementary proofs.

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

The paper supplies two fresh elementary proofs that the complex plane minus two points carries a complete Kobayashi metric. It also supplies an extremely short argument establishing the same completeness property for every bounded domain in the plane. These statements immediately produce streamlined derivations of the classical theorems of Landau, Schottky, and Picard. The proofs are constructed to avoid any appeal to the disk as a universal cover or to the existence of negatively curved metrics.

Core claim

The Kobayashi pseudodistance on the twice-punctured plane is a complete metric, and the same holds for bounded planar domains; both facts are established through direct arguments that rely only on the definition of the Kobayashi distance and elementary estimates near punctures and boundaries.

What carries the argument

The Kobayashi pseudodistance generated by holomorphic maps from the unit disk, whose completeness is verified by showing that distance tends to infinity along sequences approaching punctures or the boundary.

If this is right

  • Concise proofs of the theorems of Landau, Schottky, and Picard follow directly from the hyperbolicity statements.
  • Kobayashi hyperbolicity admits a characterization for all planar domains that is inspired by Hahn's earlier result.
  • Every bounded domain in the complex plane is complete hyperbolic in the Kobayashi sense.

Where Pith is reading between the lines

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

  • The avoidance of covering-space arguments may allow similar elementary estimates to be written for other finitely punctured planes.
  • The same direct estimates could be tested for hyperbolicity of certain unbounded domains that are not covered by the bounded case.
  • These methods supply an alternative route into value-distribution consequences that usually rely on the Picard theorem.

Load-bearing premise

Direct estimates on holomorphic maps from the disk suffice to force the Kobayashi distance to infinity near punctures without any appeal to covering spaces or curvature.

What would settle it

A holomorphic map from the unit disk to the twice-punctured plane along which the Kobayashi distance to one of the punctures remains bounded would disprove completeness.

read the original abstract

We give two new elementary proofs of the complete Kobayashi hyperbolicity of the twice-punctured complex plane. We also present an extremely short proof that bounded domains are complete Kobayashi hyperbolic. Our proofs rely neither on the fact that the universal cover of the twice-punctured plane is the disk nor on the existence of negatively curved metrics. As applications, we present concise proofs of the classical theorems of Landau, Schottky, and Picard. Finally, we provide a characterization of Kobayashi hyperbolicity for planar domains inspired by a similar result of Hahn.

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 manuscript presents two new elementary proofs of the complete Kobayashi hyperbolicity of the twice-punctured complex plane, avoiding reliance on the universal cover being the unit disk or negatively curved metrics. It also includes a short proof that bounded domains in the complex plane are complete Kobayashi hyperbolic. Applications to the theorems of Landau, Schottky, and Picard are given, along with a Hahn-inspired characterization of Kobayashi hyperbolicity for planar domains.

Significance. The direct constructions using only the definition of the Kobayashi pseudodistance, explicit holomorphic maps from the disk, and basic estimates on the distance function constitute a genuine strength: they are parameter-free, self-contained, and avoid the standard covering-space or curvature arguments. If these derivations hold as described, the work supplies accessible, falsifiable proofs of classical results and a clean characterization, which could facilitate extensions to other planar domains and improve pedagogical access to Kobayashi hyperbolicity.

minor comments (2)
  1. [Introduction] The abstract asserts that the proofs rely 'neither on the fact that the universal cover... nor on the existence of negatively curved metrics'; a single sentence in the introduction cross-referencing the specific lemmas that enforce this independence would make the claim immediately verifiable.
  2. [Applications] In the applications to Landau/Schottky/Picard, the estimates derived from the new hyperbolicity proofs are used directly; ensure that each application explicitly cites the relevant estimate (e.g., the lower bound on the Kobayashi distance) rather than referring only to the main theorem.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, for highlighting the elementary and self-contained character of the proofs, and for recommending acceptance. We are pleased that the avoidance of covering-space and curvature arguments, along with the applications and characterization, were viewed as strengths.

Circularity Check

0 steps flagged

No significant circularity; derivations are direct and self-contained

full rationale

The paper's central claims rest on two elementary proofs of complete Kobayashi hyperbolicity for the twice-punctured plane and a short proof for bounded domains. These are constructed directly from the definition of the Kobayashi pseudodistance, explicit holomorphic maps from the disk, and basic distance estimates, with no appeal to universal covers or negatively curved metrics. The applications to Landau/Schottky/Picard theorems and the Hahn-inspired characterization follow immediately from the same estimates. No self-citations are load-bearing, no parameters are fitted and renamed as predictions, and no ansatz or uniqueness result is smuggled in via prior work by the authors. The derivation chain does not reduce to its inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard properties of the Kobayashi pseudodistance and holomorphic maps in the plane; no new free parameters, invented entities, or ad-hoc axioms are visible in the abstract.

axioms (1)
  • standard math The Kobayashi pseudodistance is a well-defined holomorphic invariant on domains in the complex plane.
    Invoked implicitly when stating hyperbolicity; standard background in complex analysis.

pith-pipeline@v0.9.0 · 5382 in / 1196 out tokens · 24251 ms · 2026-05-10T01:42:44.925250+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

44 extracted references · 27 canonical work pages

  1. [1]

    [2023] 2023 , PAGES =

    Abate, Marco , TITLE =. [2023] 2023 , PAGES =

    2023

  2. [2]

    Berteloot, Fran¸cois , TITLE =. Rend. Circ. Mat. Palermo (2) , FJOURNAL =. 2025 , NUMBER =. doi:10.1007/s12215-024-01185-2 , URL =

    work page doi:10.1007/s12215-024-01185-2 2025

  3. [3]

    Hyperbolicity Properties of Algebraic Varieties , series =

    Duval, Julien , title =. Hyperbolicity Properties of Algebraic Varieties , series =

  4. [4]

    , TITLE =

    Krantz, Steven G. , TITLE =. Amer. Math. Monthly , FJOURNAL =. 2008 , NUMBER =. doi:10.1080/00029890.2008.11920531 , URL =

    work page doi:10.1080/00029890.2008.11920531 2008

  5. [5]

    Grauert, Hans and Reckziegel, Helmut , TITLE =. Math. Z. , FJOURNAL =. 1965 , PAGES =. doi:10.1007/BF01111588 , URL =

    work page doi:10.1007/bf01111588 1965

  6. [6]

    , TITLE =

    Krantz, Steven G. , TITLE =. 2004 , PAGES =. doi:10.5948/UPO9780883859681 , URL =

    work page doi:10.5948/upo9780883859681 2004

  7. [7]

    Kiernan, Peter , TITLE =. Bull. Amer. Math. Soc. , FJOURNAL =. 1970 , PAGES =. doi:10.1090/S0002-9904-1970-12363-1 , URL =

    work page doi:10.1090/s0002-9904-1970-12363-1 1970

  8. [8]

    Yau, Shing Tung , TITLE =. Amer. J. Math. , FJOURNAL =. 1978 , NUMBER =. doi:10.2307/2373880 , URL =

    work page doi:10.2307/2373880 1978

  9. [9]

    , TITLE =

    Kwack, Myung H. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1969 , PAGES =. doi:10.2307/1970678 , URL =

    work page doi:10.2307/1970678 1969

  10. [10]

    , TITLE =

    Bridges, Douglas S. , TITLE =. Amer. Math. Monthly , FJOURNAL =. 1981 , NUMBER =. doi:10.2307/2320712 , URL =

    work page doi:10.2307/2320712 1981

  11. [11]

    , TITLE =

    Wu, H. , TITLE =. Acta Math. , FJOURNAL =. 1967 , PAGES =. doi:10.1007/BF02392083 , URL =

    work page doi:10.1007/bf02392083 1967

  12. [12]

    Lohwater, A. J. and Pommerenke, Ch. , TITLE =. Ann. Acad. Sci. Fenn. Ser. A. I. , FJOURNAL =. 1973 , NUMBER =

    1973

  13. [13]

    Zalcman, Lawrence , TITLE =. Amer. Math. Monthly , FJOURNAL =. 1975 , NUMBER =. doi:10.2307/2319796 , URL =

    work page doi:10.2307/2319796 1975

  14. [14]

    Brody, Robert , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1978 , PAGES =. doi:10.2307/1998216 , URL =

    work page doi:10.2307/1998216 1978

  15. [15]

    and Corvaja, P

    Claudon, B. and Corvaja, P. and Demailly, J.-P. and Diverio, S. and Duval, J. and Gasbarri, C. and Kebekus, S. and P aun, M. and Rousseau, E. and Sibony, N. and Taji, B. and Voisin, C. , TITLE =. [2021] 2021 , PAGES =

    2021

  16. [16]

    Zalcman, Lawrence , TITLE =. Bull. Amer. Math. Soc. (N.S.) , FJOURNAL =. 1998 , NUMBER =. doi:10.1090/S0273-0979-98-00755-1 , URL =

    work page doi:10.1090/s0273-0979-98-00755-1 1998

  17. [17]

    Differential geometry,

    Ros, Antonio , TITLE =. Differential geometry,. 2002 , ISBN =

    2002

  18. [18]

    Royden, H. L. , TITLE =. Comment. Math. Helv. , FJOURNAL =. 1980 , NUMBER =. doi:10.1007/BF02566705 , URL =

    work page doi:10.1007/bf02566705 1980

  19. [19]

    2011 , PAGES =

    Kim, Kang-Tae and Lee, Hanjin , TITLE =. 2011 , PAGES =

    2011

  20. [20]

    , TITLE =

    Ahlfors, Lars V. , TITLE =. 1973 , PAGES =

    1973

  21. [21]

    , TITLE =

    Hahn, Kyong T. , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 1983 , NUMBER =. doi:10.2307/2044595 , URL =

    work page doi:10.2307/2044595 1983

  22. [22]

    [2020] 2020 , PAGES =

    Lvovski, Serge , TITLE =. [2020] 2020 , PAGES =. doi:10.1007/978-3-030-59365-0 , URL =

    work page doi:10.1007/978-3-030-59365-0 2020

  23. [23]

    , TITLE =

    Ahlfors, Lars V. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1938 , NUMBER =. doi:10.2307/1990065 , URL =

    work page doi:10.2307/1990065 1938

  24. [24]

    Kobayashi, Shoshichi , TITLE =. J. Math. Soc. Japan , FJOURNAL =. 1967 , PAGES =. doi:10.2969/jmsj/01940460 , URL =

    work page doi:10.2969/jmsj/01940460 1967

  25. [25]

    Mateljevi\'c, Miodrag , TITLE =. Bull. Cl. Sci. Math. Nat. Sci. Math. , FJOURNAL =. 2020 , PAGES =

    2020

  26. [26]

    Notices Amer

    Osserman, Robert , TITLE =. Notices Amer. Math. Soc. , FJOURNAL =. 1999 , NUMBER =

    1999

  27. [27]

    1998 , PAGES =

    Kobayashi, Shoshichi , TITLE =. 1998 , PAGES =. doi:10.1007/978-3-662-03582-5 , URL =

    work page doi:10.1007/978-3-662-03582-5 1998

  28. [28]

    2013 , PAGES =

    Jarnicki, Marek and Pflug, Peter , TITLE =. 2013 , PAGES =. doi:10.1515/9783110253863 , URL =

    work page doi:10.1515/9783110253863 2013

  29. [29]

    1987 , PAGES =

    Lang, Serge , TITLE =. 1987 , PAGES =. doi:10.1007/978-1-4757-1945-1 , URL =

    work page doi:10.1007/978-1-4757-1945-1 1987

  30. [30]

    , TITLE =

    Barth, Theodore J. , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 1972 , PAGES =. doi:10.2307/2037624 , URL =

    work page doi:10.2307/2037624 1972

  31. [31]

    Bharali, Gautam and Zimmer, Andrew , TITLE =. Adv. Math. , FJOURNAL =. 2017 , PAGES =. doi:10.1016/j.aim.2017.02.005 , URL =

    work page doi:10.1016/j.aim.2017.02.005 2017

  32. [32]

    , TITLE =

    Conway, John B. , TITLE =. 1978 , PAGES =

    1978

  33. [33]

    1993 , ISBN =

    Lang, Serge , TITLE =. 1993 , ISBN =. doi:10.1007/978-1-4612-0897-6 , URL =

    work page doi:10.1007/978-1-4612-0897-6 1993

  34. [34]

    , TITLE =

    Conway, John B. , TITLE =. 1995 , PAGES =. doi:10.1007/978-1-4612-0817-4 , URL =

    work page doi:10.1007/978-1-4612-0817-4 1995

  35. [35]

    1998 , PAGES =

    Remmert, Reinhold , TITLE =. 1998 , PAGES =. doi:10.1007/978-1-4757-2956-6 , URL =

    work page doi:10.1007/978-1-4757-2956-6 1998

  36. [36]

    , TITLE =

    Segal, Sanford L. , TITLE =. 2008 , PAGES =

    2008

  37. [37]

    2008 , eprint=

    Conformal Metrics , author=. 2008 , eprint=

    2008

  38. [38]

    Royden, H. L. , TITLE =. Several complex variables,. 1971 , MRCLASS =

    1971

  39. [39]

    2020 , note =

    Terence Tao , title =. 2020 , note =

    2020

  40. [40]

    Thiruvengadam, Bharathi and Janardhanan, Jaikrishnan , TITLE =. J. Geom. Anal. , FJOURNAL =. 2025 , NUMBER =. doi:10.1007/s12220-025-02089-y , URL =

    work page doi:10.1007/s12220-025-02089-y 2025

  41. [41]

    , TITLE =

    Marshall, Donald E. , TITLE =. 2019 , PAGES =

    2019

  42. [42]

    Goluzin, G. M. , TITLE =. 1969 , PAGES =

    1969

  43. [43]

    1985 , PAGES =

    Wen, Guo Chun , TITLE =. 1985 , PAGES =

    1985

  44. [44]

    2001 , PAGES =

    Narasimhan, Raghavan and Nievergelt, Yves , TITLE =. 2001 , PAGES =. doi:10.1007/978-1-4612-0175-5 , URL =

    work page doi:10.1007/978-1-4612-0175-5 2001