arxiv: 2605.11791 · v1 · submitted 2026-05-12 · 🧮 math.CV

Recognition: 2 theorem links

· Lean Theorem

Avoidance criteria for normality of quasiregular mappings

Gopal Datt , Kushal Lalwani , Ashish Kumar Trivedi

Authors on Pith no claims yet

Pith reviewed 2026-05-13 04:50 UTC · model grok-4.3

classification 🧮 math.CV

keywords quasiregular mappingsnormalitynormal familiesavoidance criteriaLappan's theoremEuclidean space R^n

0 comments

The pith

A sequence of quasiregular mappings in R^n is normal if each mapping avoids three continuous functions whose local uniform limits avoid each other.

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

The paper gives a normality criterion for sequences of quasiregular mappings that mirrors a known result for meromorphic functions. It assumes three sequences of continuous functions converge locally uniformly to three limits that avoid one another pointwise, and requires that the quasiregular mappings avoid all three approximating sequences at every point. Under these conditions the sequence of mappings must be normal. The work also supplies quasiregular analogues for several other normality statements originally proved by Lappan.

Core claim

Let f_{1,n}, f_{2,n}, f_{3,n} be continuous functions on a domain in R^n that converge locally uniformly to limits f1, f2, f3 which avoid each other. If a sequence of quasiregular mappings g_n satisfies that each g_n avoids f_{1,n}, f_{2,n}, and f_{3,n} pointwise, then the family {g_n} is normal.

What carries the argument

The pointwise avoidance relation between each quasiregular mapping and the three approximating continuous sequences, together with local uniform convergence of those sequences to mutually avoiding limits.

If this is right

Any sequence of quasiregular mappings satisfying the stated avoidance condition is normal in the Euclidean topology.
The same avoidance setup yields normality criteria for families of quasiregular mappings in every dimension n greater than or equal to 2.
Several additional normality results of Lappan carry over directly once the avoidance relation is imposed in the quasiregular category.

Where Pith is reading between the lines

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

The criterion may be used to decide normality for explicit families such as radial stretchings or piecewise linear maps by checking avoidance against suitable continuous test functions.
It suggests that other classical normality tests in the plane could be lifted to R^n by replacing holomorphic functions with quasiregular ones while preserving the avoidance hypothesis.
If the avoidance condition can be verified on a dense set rather than everywhere, the conclusion might still hold by continuity arguments.

Load-bearing premise

Avoidance between the quasiregular mappings and the three sequences holds pointwise on the domain while the approximating sequences converge locally uniformly; a different notion of avoidance or weaker convergence would break the implication.

What would settle it

A concrete sequence of quasiregular mappings on the unit ball in R^n that avoids three locally uniformly convergent continuous sequences whose limits avoid each other, yet possesses no locally uniformly convergent subsequence.

read the original abstract

Peter Lappan in [9] proved that for each $n\in \mathbb{N}=\{1,2,3,\dots\}$, let $f_{1,n}, f_{2,n}$ and $f_{3,n}$ be three continuous functions on $\mathbb{D}:=\{z\in \mathbb{C} : |z| < 1\}$ such that for each $j=1,2,3,$ the sequence $(f_{j,n})$ converges locally uniformly to a function $f_j$ on $\mathbb{D}$. Suppose that the three functions $f_1, f_2,$ and $f_3$ avoid each other on $\mathbb{D}$. Let $\mathcal{F} =(g_n)$ be a sequence of meromorphic functions in $\mathbb{D}$ with the property that for each $n$, the four functions $g_n, f_{1,n}, f_{2,n},$ and $f_{3,n}$ avoid each other, then $\mathcal{F}$ is normal. We present here an analogue of this result in the setting of quasiregular mappings. We also obtain analogues of a few other results by Peter Lappan in [9] to quasiregular setting in the Euclidean space $\mathbb{R}^n$ for normal families and normal quasiregular mappings.

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.

Desk Editor's Note private letter to a colleague

The paper states a direct analogue of Lappan's normality criterion for quasiregular mappings in R^n, but the abstract gives no sign that the proof properly replaces holomorphic tools with the distortion inequality and Reshetnyak continuity.

read the letter

The main takeaway is that the authors have written an analogue of Lappan's result: three sequences of continuous functions converge locally uniformly to limits that avoid each other, a sequence of quasiregular maps avoids the approximants pointwise, and the conclusion is that the quasiregular sequence is normal in R^n. They also claim analogues for a few other results from the same Lappan paper. This is new as a statement in the quasiregular setting, since the original work stays in the plane and uses meromorphic functions. The extension sits naturally inside geometric function theory, where people routinely look for higher-dimensional versions of classical normality criteria. If the details hold, it supplies a concrete test that specialists can apply directly. The paper does the basic job of translating the claim and citing the source correctly. The soft spot is the missing bridge from pointwise avoidance plus local uniform convergence to equicontinuity of the quasiregular sequence. Normality here means equicontinuity in the chordal metric on the one-point compactification. The holomorphic proof leans on open mapping or Montel-type arguments; the quasiregular case must use the distortion inequality and Reshetnyak's theorem instead. The abstract supplies no indication that these replacements are carried out, and if avoidance remains strictly pointwise rather than holding on a dense set or in capacity, the implication can fail. That is the load-bearing step, and it is not visible. The definitions appear standard, and there is no sign of circularity or invented entities. This work is for readers already comfortable with quasiregular mappings and normal families in several variables. Someone who knows Lappan's paper and wants the higher-dimensional version will find the statement useful even if they have to fill in the analytic details themselves. It is not broad enough to interest a general audience, but it is a clean technical extension. I would send it to a serious referee. The claim is stated clearly and the direction is reasonable; the review should focus on whether the proof actually substitutes the right higher-dimensional ingredients.

Referee Report

2 major / 1 minor

Summary. The paper claims an analogue of Lappan's avoidance criterion for normality of meromorphic functions, extended to quasiregular mappings in R^n. If three sequences of continuous functions f_{j,n} converge locally uniformly to mutually avoiding limits f_j, and a sequence of quasiregular mappings g_n avoids each f_{j,n} pointwise, then (g_n) is normal. Analogues of additional results from Lappan [9] for normal families and normal quasiregular mappings are also asserted.

Significance. If substantiated, the result would extend a classical normality criterion from complex analysis to the quasiregular setting, which is relevant for studying families of mappings with bounded distortion in higher dimensions. The approach invokes standard tools such as the distortion inequality and Reshetnyak's continuity theorem, which is a positive feature if the adaptation is carried out correctly.

major comments (2)

The central implication (pointwise avoidance plus local uniform convergence of the f_{j,n} implying equicontinuity of the g_n in the chordal metric) is load-bearing. The abstract supplies no indication that the proof substitutes the correct higher-dimensional replacements (distortion inequality and Reshetnyak's theorem) for the open-mapping property and Montel-type arguments used in the holomorphic case; without this explicit step the implication may fail.
The precise definitions of 'avoidance' (pointwise versus capacity or dense-set sense) and of normality (equicontinuity in the spherical metric on the one-point compactification) for quasiregular mappings are not stated in the abstract or claim. If these differ from the holomorphic setting, the stated generalization does not follow.

minor comments (1)

The abstract refers to 'a few other results by Peter Lappan in [9]' without enumerating them; the introduction should list the specific theorems being generalized.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments. We address each major comment below and have revised the manuscript to improve clarity on the proof strategy and definitions.

read point-by-point responses

Referee: The central implication (pointwise avoidance plus local uniform convergence of the f_{j,n} implying equicontinuity of the g_n in the chordal metric) is load-bearing. The abstract supplies no indication that the proof substitutes the correct higher-dimensional replacements (distortion inequality and Reshetnyak's theorem) for the open-mapping property and Montel-type arguments used in the holomorphic case; without this explicit step the implication may fail.

Authors: We agree that the abstract does not explicitly reference the higher-dimensional tools. In the body of the paper, the proof of the main result proceeds by invoking the distortion inequality for quasiregular mappings together with Reshetnyak's continuity theorem to obtain equicontinuity in the chordal metric, thereby replacing the open-mapping property and Montel-type arguments of the holomorphic setting. To make this substitution transparent, we will revise the abstract to indicate the use of these standard tools from the theory of quasiregular mappings. revision: yes
Referee: The precise definitions of 'avoidance' (pointwise versus capacity or dense-set sense) and of normality (equicontinuity in the spherical metric on the one-point compactification) for quasiregular mappings are not stated in the abstract or claim. If these differ from the holomorphic setting, the stated generalization does not follow.

Authors: In our setting, avoidance is understood in the pointwise sense: for each n and each j, g_n(x) differs from f_{j,n}(x) at every point x in the domain. Normality of the family is defined as equicontinuity with respect to the chordal metric on the one-point compactification of R^n. These are the standard definitions employed in the literature on quasiregular mappings and coincide with those used by Lappan in the meromorphic case. We will add explicit statements of these definitions to both the abstract and the statement of the main theorem to clarify that the generalization rests on precisely the same notions. revision: yes

Circularity Check

0 steps flagged

No circularity: analogue rests on external quasiregular theory

full rationale

The paper states an analogue of Lappan's holomorphic avoidance criterion for sequences of quasiregular mappings in R^n, citing Lappan [9] only for the classical case. No equations, definitions, or central claims reduce by construction to fitted parameters, self-citations, or prior results by the same authors. The load-bearing step (pointwise avoidance plus local uniform convergence implying normality) is asserted to follow from the distortion inequality and Reshetnyak continuity, both standard external facts in quasiregular mapping theory. The derivation chain is therefore self-contained against independent benchmarks and receives score 0.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the standard axiomatic properties of quasiregular mappings (bounded distortion, orientation preservation) and the definition of normality in R^n, all taken from prior literature without new postulates.

axioms (2)

domain assumption Quasiregular mappings satisfy the standard analytic and geometric properties used in the theory of mappings of bounded distortion.
Invoked implicitly when stating the analogue result for quasiregular mappings in R^n.
domain assumption Local uniform convergence and avoidance are defined with respect to the spherical metric or Euclidean topology as in classical normality theory.
Required for the statement that the sequence is normal.

pith-pipeline@v0.9.0 · 5537 in / 1479 out tokens · 49805 ms · 2026-05-13T04:50:02.407719+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 5.4: q0(n,K) sequences of continuous functions fj,n converging locally uniformly to limits fj that avoid each other; sequence gn of K-quasimeromorphic maps avoiding each fj,n pointwise implies normality of (gn).
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Proof of Theorem 4.2 uses homotopy h(x,t)=f(x)−tg(x) and invariance μ(0,f−g,Br)=μ(0,f,Br)≥1 together with N(y,f,U)≤μ(y,f,U).

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

22 extracted references · 22 canonical work pages

[1]

Bargmann, D., Bonk, M., Hinkkanen, A., Martin, G.J.: Families of meromorphic functions avoiding con- tinuous functions. J. Anal. Math. 79, 379–387 (1999) 12 GOPAL DATT, KUSHAL LAL W ANI, AND ASHISH KUMAR TRIVEDI

work page 1999
[2]

Beardon, A.F., Minda, D.: Normal families: a geometric perspective. Comput. Methods Funct. Theory 14, 331–355 (2014)

work page 2014
[3]

Springer, Berlin (1985)

Deimling, K.: Nonlinear functional analysis. Springer, Berlin (1985)

work page 1985
[4]

Fletcher, A.N., Hahn, A.M.: Geometric function theory on uniformly quasiconformally homogeneous do- mains. J. Math. Anal. Appl. 554(1), 129960 (2026)

work page 2026
[5]

Fletcher, A.N., Nicks, D.: Normal families and quasiregular mappings. Proc. Edinburgh Math. Soc. 67, 79–112 (2024)

work page 2024
[6]

Gehring, F.W.: Rings and quasiconformal mappings in space. Trans. Am. Math. Soc. 103, 353–393 (1962)

work page 1962
[7]

Oxford University Press, Oxford (2001)

Iwaniec, T., Martin, G.: Geometric function theory and non-linear analysis. Oxford University Press, Oxford (2001)

work page 2001
[8]

Lappan, P.: A uniform approach to normal families. Rev. Roum. Math. Pures Appl. 39, 691–702 (1994)

work page 1994
[9]

In: Progress in analysis, pp

Lappan, P.: Avoidance criteria for normal families and normal functions. In: Progress in analysis, pp. 221–228 (2003)

work page 2003
[10]

Acta Math

Lehto, O., Virtanen, K.I.: Boundary behaviour and normal meromorphic functions. Acta Math. 97, 47–65 (1957)

work page 1957
[11]

Makhmutov, S., Vuorinen, M.: On normal families of quasiregular mappings. Comput. Methods Funct. Theory 7(2), 401–413 (2007)

work page 2007
[12]

Miniowitz, R.: Normal families of quasimeromorphic mappings. Proc. Am. Math. Soc. 84, 35–43 (1982)

work page 1982
[13]

Gauthier-Villars, Paris (1927)

Montel, P.: Le¸ cons sur les familles normales de fonctions analytiques et leurs applications. Gauthier-Villars, Paris (1927)

work page 1927
[14]

Noshiro, K.: Contributions to the theory of meromorphic functions in the unit circle. J. Fac. Sci. Hokkaido Univ. 7, 149–159 (1938)

work page 1938
[15]

Vandenhoeck & Ruprecht, G¨ ottingen (1975)

Pommerenke, Ch.: Univalent Functions. Vandenhoeck & Ruprecht, G¨ ottingen (1975)

work page 1975
[16]

Reshetnyak, Yu.G.: The Liouville theorem with minimal regularity conditions (Russian). Sibirsk. Mat. Zh. 8, 835–840 (1967)

work page 1967
[17]

Reshetnyak, Yu.G.: Mappings with bounded distortion as extremals of Dirichlet type integrals (Russian). Sibirsk. Mat. Zh. 9, 652–666 (1968)

work page 1968
[18]

Ergebnisse der Mathematik und ihrer Grenzgebiete

Rickman, S.: Quasiregular mappings. Ergebnisse der Mathematik und ihrer Grenzgebiete. Springer, Berlin (1993)

work page 1993
[19]

Springer, New York (1993)

Schiff, J.L.: Normal families. Springer, New York (1993)

work page 1993
[20]

Lecture Notes in Mathematics, vol

Vuorinen, M.: Conformal geometry and quasiregular mappings. Lecture Notes in Mathematics, vol. 1319. Springer, Berlin (1988)

work page 1988
[21]

Yosida, K.: On a class of meromorphic functions. Proc. Phys. Math. Soc. Jpn. 16, 227–235 (1934)

work page 1934
[22]

Zalcman, L.: A heuristic principle in complex function theory. Am. Math. Monthly 82, 813–817 (1975) Department of Mathematics, Babasaheb Bhimrao Ambedkar University, Lucknow, India Email address:ggopal.datt@gmail.com, gopal.du@gmail.com Manav Rachna University, F aridabad, Haryana Email address:kushallalwani@mru.edu.in Department of Mathematics, Universit...

work page 1975