pith. sign in

arxiv: 2509.15093 · v2 · submitted 2025-09-18 · 🧮 math.CV

An analogue of Koebe's theorem in metric spaces

Evgeny Sevost'yanov , Valery Targonskii , Denys Romash , Nataliya Ilkevych This is my paper

Pith reviewed 2026-05-18 15:51 UTC · model grok-4.3

classification 🧮 math.CV
keywords Koebe theoremmetric spacesinverse moduli inequalitiesSobolev mappingsRiemannian surfacesmanifoldsgeometric function theory
0
0 comments X

The pith

Mappings satisfying inverse moduli inequalities send balls to sets containing balls of a fixed positive radius.

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

The paper proves an analogue of Koebe's one-quarter theorem for mappings between metric spaces. It shows that if a mapping obeys an inverse modulus inequality for curve families, then under appropriate conditions on the spaces and the mapping, the image of every ball contains a ball whose radius is bounded from below by a positive constant that does not depend on the choice of the original ball. This conclusion is then applied to Sobolev and Orlicz-Sobolev mappings on Riemannian surfaces, factor spaces of the unit ball, and general manifolds. A reader interested in geometric function theory would care because the result supplies a uniform distortion control in settings where the classical analytic tools of complex analysis are replaced by modulus estimates.

Core claim

The authors establish that mappings f satisfying an inverse moduli inequality, that is, M(f(Γ)) ≥ c M(Γ) for some c > 0 and every curve family Γ, map any ball B in the domain to a set f(B) that contains some ball of radius r ≥ r0 > 0, where r0 depends only on c and the structural conditions on the metric spaces but is independent of B.

What carries the argument

The inverse moduli inequality, which provides a lower bound on the modulus of the image curve family in terms of the modulus of the preimage family and thereby controls the distortion of distances in a quantitative way.

If this is right

  • The same ball-containment property holds for mappings belonging to Sobolev classes on Riemannian surfaces.
  • Orlicz-Sobolev mappings defined in domains of factor spaces by fractional-linear mappings also satisfy the conclusion.
  • Analogous results are valid for mappings on manifolds.
  • The fixed radius depends on the constants appearing in the inverse modulus inequality and the geometry of the spaces involved.

Where Pith is reading between the lines

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

  • If the constant in the inverse inequality is close to one, the contained ball radius may approach the classical one-quarter value known in the plane.
  • The approach may extend to discrete metric spaces or graphs where curve moduli can still be defined via path lengths.
  • Quantitative versions could yield explicit lower bounds on the radius in terms of the modulus constant and dimension-like parameters of the space.

Load-bearing premise

The mappings satisfy inverse moduli inequalities and the domains and target spaces obey unspecified 'certain conditions' that make the ball-containment conclusion valid.

What would settle it

Construct a metric space and a mapping obeying the inverse moduli inequality for which the image of some ball fails to contain any ball whose radius exceeds a prescribed small positive number.

read the original abstract

This paper is devoted to the study of mappings in metric spaces. We investigate mappings satisfying inverse moduli inequalities. We show that under certain conditions on these mappings, their definition domains and the spaces in which they act, the image of a ball under the mappings contains a ball of fixed radius, which corresponds to the statement of the Koebe theorem on one quarter. As consequences, we obtain corresponding results in the Sobolev and Orlicz-Sobolev classes defined in a certain domain of a Riemannian surface or factor space by the group of fractional-linear mappings of the unit ball. We also give consequences for manifolds.

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

Summary. The paper proves an analogue of Koebe's one-quarter theorem for mappings between metric spaces satisfying a quantitative inverse modulus inequality with fixed constants. Under the hypotheses that the domain is a length space with the doubling property and the target is a complete metric space with no cut points, the image of any ball contains a ball whose radius is bounded below by a positive constant depending only on the inequality constants and the doubling constant. Direct consequences are derived for Sobolev and Orlicz-Sobolev classes on Riemannian surfaces and on factor spaces by fractional-linear mappings of the unit ball, together with statements for manifolds.

Significance. If the result holds, it supplies a metric-space version of a classical distortion theorem with an explicit, parameter-free radius bound. The verification that standard Sobolev and Orlicz-Sobolev classes satisfy the inverse modulus inequality with uniform constants yields concrete corollaries on surfaces without introducing new parameters. This framework is likely to be useful for further work on quasiregular mappings and modulus estimates in non-smooth geometries.

minor comments (3)
  1. Abstract: the phrase 'factor space by the group of fractional-linear mappings of the unit ball' is used without a brief definition or reference; a short clarifying sentence would improve readability for readers outside the immediate subfield.
  2. Main theorem statement (presumably §3): while the radius bound is stated to depend only on the given constants, an explicit formula or inequality relating the radius to the doubling constant would make the dependence fully transparent.
  3. §5 (applications): the verification that Sobolev classes satisfy the inverse modulus inequality with the same constants is asserted; adding one or two lines of the modulus estimate for the standard test functions would help the reader confirm uniformity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our work, the clear summary of the main result, and the recommendation for minor revision. We appreciate the recognition that the metric-space version of Koebe's theorem with an explicit radius bound may be useful for further research on quasiregular mappings in non-smooth settings. Since the report does not list any specific major comments, we have prepared the following point-by-point response to the overall evaluation and will incorporate minor editorial suggestions in the revised version.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation constructs a curve family in the domain whose modulus is bounded from below using the given inverse modulus inequality together with the doubling property of the length space and the absence of cut points in the target; this lower bound forces the image of any ball to contain a ball whose radius depends only on those fixed constants. The argument is self-contained and does not reduce any claimed radius to a fitted parameter, a self-referential definition, or a load-bearing self-citation whose content is itself unverified. Applications to Sobolev and Orlicz-Sobolev classes are obtained by direct verification that those classes satisfy the same inverse modulus inequality, which is logically prior to and independent of the main containment result.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim rests on the domain assumption that the mappings obey inverse moduli inequalities together with unspecified conditions on domains and spaces; no free parameters or invented entities are mentioned.

axioms (1)
  • domain assumption Mappings satisfy inverse moduli inequalities
    This is the defining property invoked to obtain the ball-containment statement.

pith-pipeline@v0.9.0 · 5634 in / 1243 out tokens · 39521 ms · 2026-05-18T15:51:48.038058+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages

  1. [1]

    F\" a ssler, B

    Adamowicz, T., K. F\" a ssler, B. Warhurst: A Koebe distortion theorem for quasiconformal mappings in the Heisenberg group. - Ann. Mat. Pura Appl. (4) 199:1, 2020, 147--186

    work page 2020

  2. [2]

    - Ukrainian Math

    Afanas'eva, E.S.: On boundary behavior of one class of mappings in metric spaces. - Ukrainian Math. Journ. 66:1, 2014, 16--29

    work page 2014

  3. [3]

    Adamowicz, T. and N. Shanmugalingam: Non-conformal Loewner type estimates for modulus of curve families. - Ann. Acad. Sci. Fenn. Math. 35, 2010, 609-626

    work page 2010

  4. [4]

    Gamelin: Complex dynamics, Universitext: Tracts in Mathematics

    Carleson, L., T.W. Gamelin: Complex dynamics, Universitext: Tracts in Mathematics. - Springer-Verlag, New York etc., 1993

    work page 1993

  5. [5]

    - Complex Analysis and Operator Theory 19, 2025, Article number 165

    Cristea, M.: On the Limit Mapping of a Sequence of Open, Discrete Mappings Satisfying an Inverse Poletsky Modular Inequality. - Complex Analysis and Operator Theory 19, 2025, Article number 165

    work page 2025

  6. [6]

    Sevost'yanov: On mappings with the inverse Poletsky inequality in metric spaces

    Franovskii, A., E. Sevost'yanov: On mappings with the inverse Poletsky inequality in metric spaces. - Ukr. Math. J. 166:2, 2022, 453--479

    work page 2022

  7. [7]

    - Acta Math

    Fuglede, B.: Extremal length and functional completion. - Acta Math. 98, 1957, 171--219

    work page 1957

  8. [8]

    - Springer Science+Business Media, New York, 2001

    Heinonen, J.: Lectures on Analysis on metric spaces. - Springer Science+Business Media, New York, 2001

    work page 2001

  9. [9]

    Kuratowski, K.: Topology, v. 2. -- Academic Press, New York--London, 1968

    work page 1968

  10. [10]

    a is\" a l\

    Martio, O., S. Rickman, and J. V\" a is\" a l\" a : Definitions for quasiregular mappings. - Ann. Acad. Sci. Fenn. Ser. A1. 448, 1969, 1--40

    work page 1969

  11. [11]

    a is\" a l\

    Martio, O., S. Rickman, and J. V\" a is\" a l\" a : Topological and metric properties of quasiregular mappings. - Ann. Acad. Sci. Fenn. Ser. A1. 488, 1971, 1--31

    work page 1971

  12. [12]

    Ryazanov, U

    Martio, O., V. Ryazanov, U. Srebro, and E. Yakubov: Moduli in modern mapping theory. - Springer Science + Business Media, LLC, New York, 2009

    work page 2009

  13. [13]

    Srebro: Automorphic quasimeromorphic mappings in R ^n

    Martio, O., U. Srebro: Automorphic quasimeromorphic mappings in R ^n. - Acta Math. 135, 1975, 221--247

    work page 1975

  14. [14]

    Mateljevi\' c , M.: Quasiconformal and quasiregular harmonic analogues of Koebe's theorem and applications. - Ann. Acad. Sci. Fenn. Math. 32:2, 2007, 301-315

    work page 2007

  15. [15]

    Mateljevi\' c , M.: Distortion of quasiregular mappings and equivalent norms on Lipschitz-type spaces. - Abstr. Appl. Anal., 2014, Art. ID 895074, 20 pp

    work page 2014

  16. [16]

    Rajala, K.: Bloch's theorem for mappings of bounded and finite distortion. - Math. Ann. 339:2, 2007, 445-460

    work page 2007

  17. [17]

    Reshetnyak, Yu.G.: Space Mappings with Bounded Distortion. Transl. of Math. Monographs 73, AMS, 1989

    work page 1989

  18. [18]

    Springer-Verlag, Berlin, 1993

    Rickman, S.: Quasiregular mappings. Springer-Verlag, Berlin, 1993

    work page 1993

  19. [19]

    Volkov: On the Boundary Behavior of Mappings in the Class W^ 1,1 _ loc on Riemann Surfaces

    Ryazanov, V., S. Volkov: On the Boundary Behavior of Mappings in the Class W^ 1,1 _ loc on Riemann Surfaces. - Complex Analysis and Operator Theory 11, 2017, 1503--1520

    work page 2017

  20. [20]

    - Siberian Advances in Mathematics 31:3, 2021, 209--228

    Sevost'yanov, E.: On Orlicz-Sobolev Classes on Quotient Spaces. - Siberian Advances in Mathematics 31:3, 2021, 209--228

    work page 2021

  21. [21]

    - Complex Variables and Elliptic Equations 67:2, 2022, 284--314

    Sevost'yanov, E.: On the local and boundary behaviour of mappings of factor spaces. - Complex Variables and Elliptic Equations 67:2, 2022, 284--314

    work page 2022

  22. [22]

    Skvortsov: On the Convergence of Mappings in Metric Spaces with Direct and Inverse Modulus Conditions

    Sevost'yanov, E., S. Skvortsov: On the Convergence of Mappings in Metric Spaces with Direct and Inverse Modulus Conditions. - Ukr. Math. J. 70:7, 2018, 1097--1114

    work page 2018

  23. [23]

    Sevost'yanov, E.A. and A.A. Markysh: On Sokhotski--Casorati--Weierstrass theorem on metric spaces. - Complex Variables and Elliptic Equations 64:12, 2019, 1973--1993

    work page 2019

  24. [24]

    Targonskii: On convergence of homeomorphisms with inverse modulus inequality

    Sevost'yanov, V.A. Targonskii: On convergence of homeomorphisms with inverse modulus inequality. - European Journal of Mathematics 11:1, 2025, Article number 17

    work page 2025

  25. [25]

    Targonskii: An analogue of Koebe's theorem and the openness of a limit map in one class

    Sevost'yanov, V.A. Targonskii: An analogue of Koebe's theorem and the openness of a limit map in one class. - Analysis and Mathematical Physics 15:3, 2025, Article number 59

    work page 2025

  26. [26]

    - Journal of Mathematical Sciences 254:3, 2021, 425--438

    Skvortsov, S.A.: Local behavior of mappings of metric spaces with branching. - Journal of Mathematical Sciences 254:3, 2021, 425--438

    work page 2021

  27. [27]

    - Lecture Notes in Math

    Vuorinen, M.: Conformal Geometry and Quasiregular Mappings. - Lecture Notes in Math. 1319, Springer--Verlag, Berlin etc., 1988

    work page 1988