On Montel theorem for mappings with inverse moduli inequalities
Pith reviewed 2026-05-21 13:25 UTC · model grok-4.3
The pith
A family of open discrete mappings with the inverse Poletskii inequality and omitting one point is equicontinuous when the distortion majorant integrates over almost all concentric spheres.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The authors show that a family of open discrete mappings with the inverse Poletskii inequality, omitting at least one point, is equicontinuous if the majorant responsible for the distortion of the modulus of families of paths under the mapping is integrable over almost all concentric spheres centered at the given point. Since analytic functions with finite multiplicity satisfy the inverse Poletskii inequality, this result generalizes the well-known Montel theorem on the normality of families.
What carries the argument
The inverse Poletskii inequality, which supplies an upper bound on the modulus of the image path family in terms of an integral of a majorant function times the modulus of the preimage family.
Load-bearing premise
The mappings under study are open and discrete and satisfy the inverse Poletskii inequality so that modulus distortion estimates can be applied.
What would settle it
A concrete counterexample would be an explicit sequence of open discrete mappings obeying the inverse Poletskii inequality, each omitting the same point, for which the majorant integrates over almost every sphere around a fixed point yet the sequence fails to be equicontinuous there.
read the original abstract
This paper is devoted to the study of mappings with finite distortion, in particular, mappings satisfying the inverse Poletskii inequality. We study the problem of equicontinuity of families of such mappings in a given domain. We establish that a family of open discrete mappings with the inverse Poletskii inequality, omitting at least one point, is equicontinuous if the majorant responsible for the distortion of the modulus of families of paths under the mapping is integrable over almost all concentric spheres centered at the given point. Since analytic functions with finite multiplicity satisfy the inverse Poletskii inequality, this result generalizes the well-known Montel theorem on the normality of families.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper establishes a generalization of Montel's theorem for families of open discrete mappings with finite distortion that satisfy the inverse Poletskii inequality. Under the assumption that these mappings omit at least one point, the family is equicontinuous whenever the majorant controlling the distortion of the modulus of path families is integrable over almost all concentric spheres centered at the given point. The result is framed as reducing to the classical Montel theorem in the special case of analytic functions with finite multiplicity.
Significance. If the central derivation holds, the theorem supplies a concrete integrability criterion for equicontinuity in a broader class of mappings than holomorphic functions, extending modulus-based techniques from quasiregular mapping theory. The explicit reduction to the finite-multiplicity analytic case is a strength, confirming consistency with known results without introducing free parameters or ad-hoc constructions. The approach follows standard lines in the theory of mappings with finite distortion and appears internally consistent.
major comments (1)
- [§3] §3 (main theorem statement and proof): the argument that integrability of the majorant over a.e. concentric spheres forces the modulus of path families connecting the omitted point to the boundary to tend to zero is load-bearing. Please supply the precise estimate showing how the inverse Poletskii inequality is applied to the family of paths after the discrete and open properties have been used to guarantee that the relevant path families remain admissible.
minor comments (2)
- [Introduction] Notation for the majorant function and the inverse Poletskii inequality should be introduced with a numbered display equation in the introduction or preliminaries section for easier reference throughout the proof.
- [Introduction] The statement that analytic functions with finite multiplicity satisfy the inverse Poletskii inequality is used as a reduction; a brief one-sentence justification or reference to the relevant modulus estimate would improve readability.
Simulated Author's Rebuttal
We thank the referee for the careful reading of the manuscript and the constructive comment on the proof. We address the major comment below and will incorporate the requested clarification in the revised version.
read point-by-point responses
-
Referee: [§3] §3 (main theorem statement and proof): the argument that integrability of the majorant over a.e. concentric spheres forces the modulus of path families connecting the omitted point to the boundary to tend to zero is load-bearing. Please supply the precise estimate showing how the inverse Poletskii inequality is applied to the family of paths after the discrete and open properties have been used to guarantee that the relevant path families remain admissible.
Authors: We agree that the transition step in the proof of the main theorem requires a more explicit estimate for full transparency. The openness and discreteness of the mappings are used to ensure that the family of paths connecting the omitted point to the boundary of the domain remains admissible after mapping. The inverse Poletskii inequality is then invoked to relate the modulus of the image path family to an integral involving the distortion majorant. In the revised manuscript we will add an intermediate paragraph immediately after this invocation, providing the precise estimate that shows how the integrability condition over almost every concentric sphere forces the modulus to tend to zero. This addition will make the load-bearing argument self-contained while preserving the existing logical structure. revision: yes
Circularity Check
No significant circularity; derivation is self-contained
full rationale
The paper establishes equicontinuity of open discrete mappings satisfying the inverse Poletskii inequality (when omitting a point and under integrability of the distortion majorant over concentric spheres) via standard modulus estimates on path families. This follows directly from the given assumptions without reducing any prediction or central claim to a fitted parameter, self-definition, or unverified self-citation chain. The explicit note that analytic functions of finite multiplicity satisfy the inequality and recover the classical Montel theorem functions as an independent special case rather than a load-bearing premise. No ansatz is smuggled, no uniqueness theorem is imported from the authors' prior work, and the argument structure is internally consistent against external benchmarks in quasiconformal theory.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The mappings are open and discrete
- domain assumption The mappings satisfy the inverse Poletskii inequality
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
a family of open discrete mappings with the inverse Poletskii inequality, omitting at least one point, is equicontinuous if the majorant ... is integrable over almost all concentric spheres
-
IndisputableMonolith/Foundation/ArithmeticFromLogic.leanembed_strictMono_of_one_lt unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Mp(Γ_f(y0,r1,r2)) ≤ ∫ Q(y) η^p(|y-y0|) dm(y)
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.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.