Nevanlinna’s omitted-values and Blaschke-divisor question

Let F ⁣:C→C^F\colon\mathbb{C}\to\widehat{\mathbb{C}} be a nonconstant meromorphic function such that F−1({0,1,∞})⊆RF^{-1}(\{0,1,\infty\})\subseteq\mathbb{R}, equivalently, FF omits 00, 11, and ∞\infty in the upper half-plane H={z∈C:Im⁡z>0}\mathbb{H}=\{z\in\mathbb{C}:\operatorname{Im}z>0\}. Must F∣HF|_{\mathbb{H}} be of bounded type, i.e. belong to the Nevanlinna class N(H)N(\mathbb{H})?

References

Progress summary

Refreshed
Claimed solved

A new preprint claims a counterexample to a century-old question, but the result has not been independently checked.

Nevanlinna’s question asks whether a meromorphic function on the whole complex plane that omits three values in a half-plane must have bounded type there. The question is described as originating with Nevanlinna and remaining unsettled.

Known results

  • Nevanlinna proved a positive answer for meromorphic functions of finite order.
  • Ostrovskii weakened this to ∫1∞log⁡+T(r;F)r2 dr<∞\int_1^\infty \frac{\log^+T(r;F)}{r^2}\,dr<\infty.
  • The modular function omits 00 and 11 in the upper half-plane but is not of bounded type there; it does not extend to resolve the entire-plane problem.

April 7, 2026 claimed counterexample

The preprint A Counterexample to Nevanlinna’s Century-Old Half-Plane Problem claims a nonconstant meromorphic F ⁣:C→C^F\colon\mathbb{C}\to\widehat{\mathbb{C}} with

F−1{0,1,∞}⊂R,F^{-1}\{0,1,\infty\}\subset\mathbb{R},

while F∣H∉N(H)F|_{\mathbb{H}}\notin N(\mathbb{H}). This would give a negative answer. A related daily-news report describes the same claimed construction; neither source supplies independent verification.

Current status (as of August 2026): The original question remains mathematically unverified, with a preprint claiming a complete counterexample but no independent confirmation recorded.

  • GPT-5.6 SolOpenAIsolved2026-08-26evidence

    A century-old Nevanlinna question receives a negative answer

Sources

Solutions 0

No solutions have been posted yet.