Pith. sign in

REVIEW 4 minor 1 cited by

For replete calibrated manifolds, two hyperbolicity notions coincide and force Smith immersions from the ball to be equicontinuous, giving a Montel theorem when the manifold is compact.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.5

2026-07-12 10:11 UTC pith:WKMFIXCX

load-bearing objection Clean Royden/Montel/Kiernan package for Smith immersions under repleteness, with a useful curvature-free Schwarz lemma.

arxiv 2606.31393 v2 pith:WKMFIXCX submitted 2026-06-30 math.DG

Montel's theorem and tautness in calibrated geometry

Anton Iliashenko , Spiro Karigiannis , Jesse Madnick This is my paper
classification math.DG MSC 53C3832Q4553C43
keywords calibrated geometrySmith immersionshyperbolicityMontel theoremSchwarz lemmatautnessKobayashi-Royden metric
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper transfers classical compactness theorems from complex analysis to calibrated geometry. Smith immersions replace holomorphic maps: they are weakly conformal maps that pull a calibration back to a multiple of the volume form, so their images (when immersive) are calibrated submanifolds. Hyperbolicity of the calibrated manifold is measured by the size of the conformal factors of such maps from the Poincaré ball. When the associated infinitesimal metric is upper semicontinuous ("replete"), Royden-type hyperbolicity, the integrated Kobayashi-type distance, and equicontinuity of the family of Smith immersions become equivalent. On a compact replete manifold this immediately yields a Montel theorem: the family of Smith immersions is precompact. A new Schwarz lemma that converts an equicontinuity-type assumption into a gradient bound supplies the key estimate. The same circle of ideas produces a Kiernan-type statement relating hyperbolicity to normality of the family, shows that every bounded domain in Euclidean space is hyperbolic for any calibration, and clarifies the behaviour of products and discrete quotients.

Core claim

If a calibrated manifold is replete, then Rφ-hyperbolicity, Kφ-hyperbolicity, the topology induced by the φ-distance, pointwise equicontinuity of Smith immersions with respect to that distance, and the even-family property of those immersions are all equivalent; when the manifold is compact these are further equivalent to precompactness of the family of Smith immersions.

What carries the argument

A Schwarz lemma for Smith immersions: under a uniform control assumption that maps sending a small ball about the origin into a fixed ball about a point stay inside a larger ball, the differential at the origin is bounded by a constant times the ratio of those radii. The estimate is proved by rescaling, testing the k-harmonic equation with a cut-off, and applying a mean-value inequality.

Load-bearing premise

The infinitesimal KRφ-metric must be upper semicontinuous; without that repleteness condition the Kobayashi-type distance is not well-defined and the equivalence of the two hyperbolicity notions fails.

What would settle it

Exhibit a replete calibrated manifold that is Kφ-hyperbolic yet admits a sequence of Smith immersions from the unit ball that fails to be equicontinuous (or, on a compact example, fails to have a convergent subsequence).

Watch this falsifier — get emailed when new claim-graph text bears on it.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 4 minor

Summary. The paper develops calibrated analogues of classical results of Royden, Kiernan and Montel, relating hyperbolicity of a calibrated manifold (X,g,φ) to analytic properties of the space SmIm(B^k,X) of Smith immersions from the Poincaré k-ball. Under the hypothesis that X is φ-replete (upper semicontinuity of the KR_φ-metric K_X), Theorem 1.2/4.10 proves the equivalence of R_φ-hyperbolicity, K_φ-hyperbolicity, the topology induced by the Kobayashi-type distance d_φ, pointwise equicontinuity of SmIm with respect to d_φ, and the even-family property of SmIm; for compact replete X this is further equivalent to precompactness of SmIm (Montel corollary). The key new analytic tool is a Schwarz lemma (Theorem 1.4/3.4) that converts an equicontinuity-type assumption into a gradient bound at the origin, proved via a mean-value inequality for Smith immersions. Parallel results include a Kiernan-type theorem for φ-tautness, R_φ-hyperbolicity of bounded domains in flat Euclidean space for any calibration, and a study of products (degree ≥3) and discrete quotients.

Significance. The work supplies a coherent function-theoretic foundation for the hyperbolicity notions introduced in the authors’ earlier paper [2], placing calibrated geometry on a footing comparable to the classical Kobayashi–Royden theory. The new Schwarz lemma is of independent interest for the analysis of k-harmonic maps and conformal calibrated immersions. Concrete applications (bounded Euclidean domains, products of degree ≥3, discrete quotients, and compact replete examples such as tori with constant-coefficient elliptic calibrations and compact quaternionic-Kähler manifolds) demonstrate that the framework is usable beyond the Kähler case. The repleteness hypothesis is stated transparently and is known to be automatic for Kähler calibrations while failing for product calibrations; concurrent independent work under different hypotheses is acknowledged. The arguments rely on standard geometric-analysis tools (mean-value inequalities, Arzelà–Ascoli, Hopf–Rinow for length spaces) and contain no free parameters or circular definitions.

minor comments (4)
  1. In Convention 3.1 and the surrounding text of §3 the unit ball is equipped with the flat metric, while elsewhere B^k carries the Poincaré metric; a single clarifying sentence at the beginning of §3 would prevent momentary confusion for readers jumping between sections.
  2. Proposition 2.21(c) shows that product calibrations of degree ≥3 are never replete; a brief remark in the introduction or after Theorem 1.2 noting that the Royden equivalence therefore does not apply to such products would make the scope of the main theorem more immediately visible.
  3. The constant C appearing in the Schwarz lemma (Theorem 3.4) is obtained from the mean-value inequality of Theorem 3.2; it would be helpful to record explicitly that C depends only on the dimension k (and not on the target geometry), as is already clear from the Euclidean case in Proposition 3.9.
  4. A few typographical inconsistencies appear (e.g., “Poincaré” vs. “Poincare”, occasional missing accents on Kähler). These are purely cosmetic.

Circularity Check

1 steps flagged

No significant circularity: definitions from prior work are used as background; the new equivalences and Schwarz lemma are proved independently under the explicit repleteness hypothesis.

specific steps
  1. self citation load bearing [§2.2 Definitions 2.8, 2.11 and Theorem 2.13; also Remark 1.7]
    "In [2], it was shown that for φ-replete calibrated manifolds, R_φ-hyperbolicity implies K_φ-hyperbolicity. In §4, we prove the following calibrated analogue of Royden's theorem, thereby establishing the converse implication. ... Theorem 2.13 ([2]). Suppose (X,g_X,φ) is φ-replete. If X is R_φ-hyperbolic, then X is K_φ-hyperbolic."

    The one-way implication R ⇒ K under repleteness is taken from the authors' prior paper [2] and used as a black-box step in the equivalence chain of Theorem 4.10. The converse and the analytic consequences (even family, equicontinuity, Montel) are new and proved here, so the self-citation is load-bearing only for half of the equivalence and does not force the main claims by construction.

full rationale

The paper defines R_φ- and K_φ-hyperbolicity and φ-repleteness by reference to the authors' earlier work [2], but those notions are restated fully in §2.2 and the new content (equivalence of the five conditions under repleteness, the Schwarz lemma of Thm 3.4 / 1.4, the Montel corollary, the Kiernan-type theorem, and the product/quotient results) is proved from first principles using mean-value inequalities for k-harmonic maps, Arzelà–Ascoli, and Hopf–Rinow. No parameter is fitted to data and then re-used as a prediction; no uniqueness theorem is imported solely by self-citation to force the conclusion; the repleteness hypothesis is stated explicitly and shown to fail for product calibrations (Prop. 2.21(c)). Self-citations supply background lemmas that are independently re-proved or restated. The derivation chain is therefore self-contained against the paper's own stated assumptions, yielding only a minimal circularity score of 1 for ordinary definitional dependence on prior work.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 0 invented entities

The paper works entirely inside the existing framework of calibrated manifolds and Smith immersions. No free parameters are fitted. The only non-standard modeling choice is the repleteness hypothesis (upper semicontinuity of K_X), which is explicitly flagged. All other background is standard differential geometry or previously published results of the authors and others.

axioms (4)
  • domain assumption A calibration is a closed k-form of comass one; calibrated submanifolds are volume-minimizing (Harvey–Lawson).
    Foundational definition used throughout; stated in §2.1.
  • domain assumption Smith immersions are precisely the weakly conformal maps satisfying f*φ = λ^k vol; they are k-harmonic.
    Definition and Smith’s theorem recalled in §2.1; used as the replacement for holomorphic maps.
  • ad hoc to paper The KRφ-metric K_X is upper semicontinuous (φ-repleteness).
    Load-bearing hypothesis for the definition of dφ and for the Royden equivalence; not automatic outside the Kähler case.
  • domain assumption Mean-value inequality for Smith immersions (Cheng–Karigiannis–Madnick).
    Imported as Theorem 3.2 and used to prove the new Schwarz lemma.

pith-pipeline@v1.1.0-grok45 · 29401 in / 2786 out tokens · 22772 ms · 2026-07-12T10:11:16.899789+00:00 · methodology

0 comments
read the original abstract

We relate the hyperbolicity of a calibrated manifold $(X, \phi)$ to the analytic properties of the space of Smith immersions $\mathrm{SmIm}(B^k, X)$ from the Poincare $k$-ball into $X$. In particular, we establish the following calibrated analogue of a theorem of Royden: if $X$ is $\phi$-replete, then $R_\phi$- and $K_\phi$-hyperbolicity coincide, and either implies the equicontinuity of $\mathrm{SmIm}(B^k, X)$ with respect to the $\phi$-distance. This yields a Montel theorem for compact $\phi$-replete calibrated manifolds as an immediate corollary. Our primary technical tool is a new Schwarz lemma for Smith immersions from $B^k$ into $X$, which is of independent interest. In a similar spirit, we also prove a calibrated analogue of Kiernan's theorem to the effect that the $K_\phi$-hyperbolicity of $X$ is almost equivalent to $\mathrm{SmIm}(B^k, X)$ being a normal family. Finally, we prove that bounded domains in flat euclidean space are $R_\phi$-hyperbolic for any calibration $\phi$, and we investigate the hyperbolicity of products and discrete quotients.

Review history (2 revisions) →

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. A rescaling principle for quasiregular curves with applications to hyperbolicity

    math.DG 2026-07 accept novelty 7.0

    A Miniowitz–Zalcman rescaling principle for quasiregular curves into calibrated manifolds equates Brody hyperbolicity with normality and Kobayashi hyperbolicity for conformal curves, with new elliptic examples.

Reference graph

Works this paper leans on

18 extracted references · 2 linked inside Pith · cited by 1 Pith paper

  1. [1]

    Research and Lecture Notes in Mathematics

    Marco Abate.Iteration theory of holomorphic maps on taut manifolds. Research and Lecture Notes in Mathematics. Complex Analysis and Geometry. Mediterranean Press, Rende, 1989

    1989

  2. [2]

    Hyperbolicity and Schwarz lemmas in calibrated geometry

    Kyle Broder, Anton Iliashenko, and Jesse Madnick. Hyperbolicity and Schwarz lemmas in calibrated geometry. https://doi.org/10.48550/arXiv.2507.16313

    doi:10.48550/arxiv.2507.16313

  3. [3]

    Bubble tree convergence of conformally cross product preserving maps.Asian J

    Da Rong Cheng, Spiro Karigiannis, and Jesse Madnick. Bubble tree convergence of conformally cross product preserving maps.Asian J. Math., 24(6):903–984, 2020

    2020

  4. [4]

    Hyperbolic domains in real Euclidean spaces

    Barbara Drinovec Drnovˇ sek and Franc Forstneriˇ c. Hyperbolic domains in real Euclidean spaces. Pure Appl. Math. Q., 19(6):2689–2735, 2023

    2023

  5. [5]

    Domains without parabolic minimal submanifolds and weakly hyperbolic domains.Bull

    Franc Forstneriˇ c. Domains without parabolic minimal submanifolds and weakly hyperbolic domains.Bull. Lond. Math. Soc., 55(6):2778–2792, 2023. 26

    2023

  6. [6]

    Schwarz-Pick lemma for harmonic maps which are conformal at a point.Anal

    Franc Forstneriˇ c and David Kalaj. Schwarz-Pick lemma for harmonic maps which are conformal at a point.Anal. PDE, 17(3):981–1003, 2024

    2024

  7. [7]

    Kobayashi hyperbolicity in Riemannian manifolds.J

    Herv´ e Gaussier and Alexandre Sukhov. Kobayashi hyperbolicity in Riemannian manifolds.J. Geom. Anal., 35(10):Paper No. 317, 24, 2025

    2025

  8. [8]

    On the Kobayashi metrics in Riemannian manifolds

    Herv´ e Gaussier and Alexandre Sukhov. On the Kobayashi metrics in Riemannian manifolds. Proc. Amer. Math. Soc., 153(5):1993–2006, 2025

    1993

  9. [9]

    Trudinger.Elliptic partial differential equations of second order

    David Gilbarg and Neil S. Trudinger.Elliptic partial differential equations of second order. Classics in Mathematics. Springer-Verlag, Berlin, 2001. Reprint of the 1998 edition

    2001

  10. [10]

    Blaine Lawson, Jr

    Reese Harvey and H. Blaine Lawson, Jr. Calibrated geometries.Acta Math., 148:47–157, 1982

    1982

  11. [11]

    Liouville’s theorem in calibrated geometries

    Tony Ikonen and Pekka Pankka. Liouville’s theorem in calibrated geometries. arXiv:2410.02722, 2024

    Pith/arXiv arXiv 2024

  12. [12]

    A special class ofk-harmonic maps inducing calibrated fibrations.Math

    Anton Iliashenko and Spiro Karigiannis. A special class ofk-harmonic maps inducing calibrated fibrations.Math. Res. Lett., 32(5):1481–1519, 2025

    2025

  13. [13]

    Kelley.General topology, volume No

    John L. Kelley.General topology, volume No. 27 ofGraduate Texts in Mathematics. Springer- Verlag, New York-Berlin, 1975. Reprint of the 1955 edition [Van Nostrand, Toronto, Ont.]

    1975

  14. [14]

    On the relations between taut, tight and hyperbolic manifolds.Bull

    Peter Kiernan. On the relations between taut, tight and hyperbolic manifolds.Bull. Amer. Math. Soc., 76:49–51, 1970

    1970

  15. [15]

    Quasiregular curves.Ann

    Pekka Pankka. Quasiregular curves.Ann. Acad. Sci. Fenn. Math., 45(2):975–990, 2020

    2020

  16. [16]

    H. L. Royden. Remarks on the Kobayashi metric. InSeveral complex variables, II (Proc. Internat. Conf., Univ. Maryland, College Park, Md., 1970), volume Vol. 185 ofLecture Notes in Math., pages 125–137. Springer, Berlin-New York, 1971

    1970

  17. [17]

    Aaron M. Smith. A theory of multiholomorphic maps.arXiv:1112.1471, 2011

    Pith/arXiv arXiv 2011

  18. [18]

    H. Wu. Normal families of holomorphic mappings.Acta Math., 119:193–233, 1967. Beijing Institute of Mathematical Sciences and Applications Beijing, China antoniliashenko@bimsa.cn University of W aterloo W aterloo, ON, Canada karigiannis@uwaterloo.ca Seton Hall University South Orange, NJ, United States jesse.ochs.madnick@gmail.com 27

    1967