pith. sign in

arxiv: 2206.03566 · v3 · submitted 2022-06-07 · 🧮 math.DG · math.CV

Proper harmonic embeddings of open Riemann surfaces into mathbb{R}⁴

Antonio Alarcon , Francisco J. Lopez This is my paper

Pith reviewed 2026-05-24 11:10 UTC · model grok-4.3

classification 🧮 math.DG math.CV
keywords open Riemann surfacesproper embeddingsharmonic functionsRiemannian geometryembeddings into Euclidean spacedifferential geometry
0
0 comments X

The pith

Every open Riemann surface admits a proper embedding into R^4 by harmonic functions.

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

The paper proves that every open Riemann surface has a proper embedding into four-dimensional Euclidean space in which the coordinate functions are harmonic. This lowers the known minimal dimension from five, as established in earlier work. A sympathetic reader would care because the result supplies a uniform way to realize any such surface inside R^4 while preserving the mean-value property of the coordinates. The argument applies to surfaces of arbitrary topology and with any number of ends.

Core claim

The authors prove that for any open Riemann surface there exist four harmonic functions whose common level sets are empty and whose joint map into R^4 is a proper embedding. The construction reduces the ambient dimension by one relative to the 1975 result that required five dimensions.

What carries the argument

Proper harmonic embedding constructed by selecting four harmonic functions with controlled growth so that the resulting map is both injective and proper.

If this is right

  • Every open Riemann surface becomes a harmonic submanifold of R^4.
  • The mean-value property of the coordinate functions is inherited directly from the ambient Euclidean space.
  • The result holds uniformly for surfaces of finite or infinite genus and with any finite or infinite number of ends.
  • Harmonic functions on the surface can be used as global coordinates without introducing singularities.

Where Pith is reading between the lines

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

  • The same technique might be tested in dimension three for restricted classes of surfaces such as those of finite topology.
  • The construction could be adapted to produce embeddings that are also minimal or have bounded curvature.
  • Questions about the existence of proper harmonic immersions into R^3 remain open under the same hypotheses.

Load-bearing premise

The surface must admit sufficiently many harmonic functions whose growth at the ends can be controlled independently.

What would settle it

An explicit open Riemann surface together with a proof that no choice of four harmonic functions yields a proper embedding into R^4 would refute the claim.

Figures

Figures reproduced from arXiv: 2206.03566 by Antonio Alarcon, Francisco J. Lopez.

Figure 4.1
Figure 4.1. Figure 4.1: Left: The sets Γa and Ua. Right: The set K1. of sD \ (rD ∪ Γ) is simply connected. Moreover, the restricted function z|S\(R˚∪B) : S \ (R˚∪ B) → sD \ (rD ∪ A) (see (4.1)) is an unbranched finite covering of degree dz|S˚ ≥ 1. Therefore, for any component Ω of sD\(rD∪Γ) ⊂ sD\(rD∪A) the set z −1 (Ω) ⊂ S\(R˚∪B) has dz|S˚ connected components, and for any component Ω of ˆ z −1 (Ω) we have that z|Ωˆ : Ωˆ → Ω is… view at source ↗
Figure 4.2
Figure 4.2. Figure 4.2: The biholomorphic map ψ b , b ∈ B0. Choose an injective map λ: B \ B0 → (1, +∞) and extend the given function h1 ∈ <O(R) 2 to any function h1 ∈ <A(Kˆ 1) (see (4.10)) such that: (A1) h1|ΓˆA0 is locally constant; see (4.9). Thus, by (4.2) and (4.5), the map (z, h1) is injective on ΓˆA0 . (B1) h1|Uˆ b = ( <(ψ b ) for all b ∈ B0 λ(b) for all b ∈ B \ B0. (C1) h1|ˆh is injective [PITH_FULL_IMAGE:figures/full_… view at source ↗
Figure 4.3
Figure 4.3. Figure 4.3: The set W. Since Kˆ 1 ⊂ M is Runge, Theorem 2.2 enables us to approximate h1 by a function h˜ 1 ∈ <O(M) such that (4.18) h˜ 1 − h1 vanishes to order 1 everywhere in Crit(z|S) ∪ ([h1] ∩ bR); note that Crit(z|S) ⊂ Kˆ 1. Moreover, by (A1), (B1), (C1), (4.16), (4.17), and (4.18), and taking h˜ 1 sufficiently close to h1 on Kˆ 1, we may assume that there is a smoothly bounded tubular neighborhood W of K1 \ h … view at source ↗
Figure 4.4
Figure 4.4. Figure 4.4: The sets Y and $a. $ˆ b = z −1 ($a) ∩ Ξ b = z −1 ($a) ∩ Wˆ b , a = z(b). Note that ˆ$b is the closure of Ξb \ (Yˆ ∪ Uˆb ). It turns out that ˆ$b consists of two connected components of ˆ$, namely (4.24) ˆ$b + ⊂ Ωˆb + and ˆ$b − = J b ( ˆ$b +) ⊂ Ωˆb −; [PITH_FULL_IMAGE:figures/full_fig_p016_4_4.png] view at source ↗
Figure 4.5
Figure 4.5. Figure 4.5: Left: The sets ˆ$b + and ˆ$b −. Right: The set K2. K2 is Runge in C and Kˆ 2 is Runge in M. By (a1), (d1), and (4.23), we have (4.26) [h˜ 1] ⊂ R ∪ Yˆ ∪ UˆA ∪ [ b∈B0 $ˆ b  ⊂ Kˆ 2. Step 5: Extending h2 to Kˆ 2. We now extend h2 to any function in <A(Kˆ 2) satisfying the following conditions. (A2) h2| Yˆ is locally constant, and hence (z, h2) is injective on Yˆ ; use (4.2) and (4.21). (B2) h2|Uˆ b = =(Ψb )… view at source ↗
read the original abstract

We prove that every open Riemann surface admits a proper embedding into $\mathbb{R}^4$ by harmonic functions. This reduces by one the previously known embedding dimension in this framework, dating back to a theorem by Greene and Wu from 1975.

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 / 0 minor

Summary. The manuscript claims to prove that every open Riemann surface admits a proper embedding into R^4 by harmonic functions, reducing the dimension from the 1975 Greene-Wu result in R^5.

Significance. If the result holds, it is significant because it reduces the embedding dimension for proper harmonic embeddings of open Riemann surfaces. The paper supplies a construction that works in four dimensions, addressing the existence of sufficiently many harmonic functions with controlled growth for this lower dimension. This is a credit to the work as it achieves the reduction.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive report and recommendation to accept the manuscript.

Circularity Check

0 steps flagged

No circularity: existence proof cites external 1975 result without reducing to fitted inputs or self-citations

full rationale

The paper is a pure existence theorem in differential geometry. Its central claim is proved by constructing four harmonic functions on an arbitrary open Riemann surface that realize a proper embedding into R^4. The abstract explicitly credits the controlled-growth harmonic functions to the external Greene-Wu 1975 theorem in dimension 5 and states that the new work reduces the target dimension by one; no equations, parameters, or ansatzes are fitted to data, and no load-bearing step is justified solely by a self-citation whose content is unverified. Because the derivation chain is self-contained against the cited external benchmark and contains no self-definitional, fitted-prediction, or uniqueness-imported steps, the circularity score is zero.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on standard facts about harmonic functions on Riemann surfaces and the prior Greene-Wu theorem; no free parameters or invented entities are introduced in the abstract.

axioms (1)
  • domain assumption Open Riemann surfaces admit sufficiently many harmonic functions with prescribed growth to construct embeddings.
    Invoked implicitly to reduce dimension from the Greene-Wu result.

pith-pipeline@v0.9.0 · 5552 in / 969 out tokens · 18615 ms · 2026-05-24T11:10:54.732390+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]

    L. V. Ahlfors. Normalintegrale auf offenen Riemannschen Fl¨ achen. Ann. Acad. Sci. Fennicae Ser. A. I. Math.-Phys. , 1947(35):24, 1947

    work page 1947

  2. [2]

    L. V. Ahlfors and L. Sario. Riemann surfaces. Princeton Mathematical Series, No

    work page

  3. [3]

    Harmonic embeddings of open Riemann surfaces 19

    Princeton University Press, Princeton, N.J., 1960. Harmonic embeddings of open Riemann surfaces 19

    work page 1960

  4. [4]

    Alarc´ on, F

    A. Alarc´ on, F. Forstneriˇ c, and F. J. L´ opez.Minimal surfaces from a complex analytic viewpoint. Springer Monographs in Mathematics. Springer, Cham, [2021] ©2021

    work page 2021

  5. [5]

    Alarc´ on and F

    A. Alarc´ on and F. J. L´ opez. Minimal surfaces inR3 properly projecting into R2. J. Differential Geom., 90(3):351–381, 2012

    work page 2012

  6. [6]

    Andrist and E

    R. Andrist and E. F. Wold. Riemann surfaces in Stein manifolds with the density property. Ann. Inst. Fourier (Grenoble) , 64(2):681–697, 2014

    work page 2014

  7. [7]

    S. R. Bell and R. Narasimhan. Proper holomorphic mappings of complex spaces. In Several complex variables, VI , volume 69 of Encyclopaedia Math. Sci. , pages 1–38. Springer, Berlin, 1990

    work page 1990

  8. [8]

    E. Bishop. Subalgebras of functions on a Riemann surface. Pacific J. Math. , 8:29–50, 1958

    work page 1958

  9. [9]

    E. Bishop. Mappings of partially analytic spaces. Amer. J. Math. , 83:209–242, 1961

    work page 1961

  10. [10]

    Eliashberg and M

    Y. Eliashberg and M. Gromov. Embeddings of Stein manifolds of dimension n into the affine space of dimension 3 n/2 + 1. Ann. of Math. (2) , 136(1):123–135, 1992

    work page 1992

  11. [11]

    J. E. Fornæss, F. Forstneriˇ c, and E. F. Wold. Holomorphic approximation: the legacy of Weierstrass, Runge, Oka-Weil, and Mergelyan. In Advancements in complex analysis—from theory to practice, pages 133–192. Springer, Cham, [2020] ©2020

    work page 2020

  12. [12]

    O. Forster. Plongements des vari´ et´ es de Stein.Comment. Math. Helv. , 45:170–184, 1970

    work page 1970

  13. [13]

    Forstneriˇ c.Stein manifolds and holomorphic mappings

    F. Forstneriˇ c.Stein manifolds and holomorphic mappings. The homotopy principle in complex analysis (2nd edn) , volume 56 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics . Springer, Berlin, 2017

    work page 2017

  14. [14]

    R. E. Greene and H. Wu. Embedding of open Riemannian manifolds by harmonic functions. Ann. Inst. Fourier (Grenoble) , 25(1, vii):215–235, 1975

    work page 1975

  15. [15]

    R. C. Gunning and H. Rossi. Analytic functions of several complex variables . AMS Chelsea Publishing, Providence, RI, 2009. Reprint of the 1965 original

    work page 2009

  16. [16]

    E. Heinz. ¨Uber die L¨ osungen der Minimalfl¨ achengleichung. Nachr. Akad. Wiss. G¨ ottingen. Math.-Phys. Kl. Math.-Phys.-Chem. Abt., 1952:51–56, 1952

    work page 1952

  17. [17]

    Nevanlinna

    R. Nevanlinna. Quadratisch integrierbare Differentiale auf einer Riemannschen Mannigfaltigkeit. Ann. Acad. Sci. Fennicae Ser. A. I. Math.-Phys. , 1941(1):34, 1941

    work page 1941

  18. [18]

    Schoen and S

    R. Schoen and S. T. Yau. Lectures on harmonic maps . Conference Proceedings and Lecture Notes in Geometry and Topology, II. International Press, Cambridge, MA, 1997

    work page 1997

  19. [19]

    Sch¨ urmann

    J. Sch¨ urmann. Embeddings of Stein spaces into affine spaces of minimal dimension. Math. Ann., 307(3):381–399, 1997

    work page 1997

  20. [20]

    H. Whitney. Analytic coordinate systems and arcs in a manifold. Ann. of Math. (2) , 38(4):809–818, 1937. Antonio Alarc´ on, Francisco J. L´ opez Departamento de Geometr´ ıa y Topolog´ ıa e Instituto de Matem´ aticas (IMAG), Universidad de Granada, Campus de Fuentenueva s/n, E–18071 Granada, Spain. e-mail: alarcon@ugr.es, fjlopez@ugr.es

    work page 1937