pith. sign in

arxiv: 2606.31393 · v1 · pith:WKMFIXCXnew · submitted 2026-06-30 · 🧮 math.DG

Montel's theorem and tautness in calibrated geometry

Anton Iliashenko , Spiro Karigiannis , Jesse Madnick This is my paper

Pith reviewed 2026-07-01 04:17 UTC · model grok-4.3

classification 🧮 math.DG
keywords calibrated manifoldshyperbolicityMontel's theoremSmith immersionsSchwarz lemmaRoyden's theoremKiernan's theoremtautness
0
0 comments X

The pith

If a calibrated manifold is φ-replete then R_φ- and K_φ-hyperbolicity coincide and imply equicontinuity of Smith immersions from the ball.

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

The paper establishes a calibrated analogue of Royden's theorem: when a manifold X with calibration φ satisfies the φ-replete condition, the two hyperbolicity notions R_φ and K_φ become equivalent. Either notion then forces the space of Smith immersions SmIm(B^k, X) to be equicontinuous with respect to the φ-distance. This equivalence immediately produces a Montel theorem asserting that families of such immersions are normal on compact φ-replete manifolds. The argument is powered by a new Schwarz lemma for Smith immersions, which also yields a calibrated version of Kiernan's theorem relating hyperbolicity to normality of the immersion space, plus hyperbolicity results for Euclidean domains, products, and quotients.

Core claim

If X is φ-replete, then R_φ- and K_φ-hyperbolicity coincide, and either implies the equicontinuity of SmIm(B^k, X) with respect to the φ-distance. This yields a Montel theorem for compact φ-replete calibrated manifolds as an immediate corollary. The primary technical tool is a new Schwarz lemma for Smith immersions from B^k into X, which is of independent interest. A calibrated analogue of Kiernan's theorem is also proved, along with the fact that bounded domains in flat Euclidean space are R_φ-hyperbolic for any calibration φ, and hyperbolicity statements for products and discrete quotients.

What carries the argument

The new Schwarz lemma for Smith immersions from the Poincaré k-ball into the calibrated manifold (X, φ), which under the φ-replete condition equates the R_φ- and K_φ-hyperbolicity notions and produces equicontinuity of the immersion space.

If this is right

  • Equicontinuity of SmIm(B^k, X) with respect to the φ-distance follows from either form of hyperbolicity when X is φ-replete.
  • A Montel theorem holds for the space of Smith immersions into any compact φ-replete calibrated manifold.
  • K_φ-hyperbolicity is almost equivalent to SmIm(B^k, X) forming a normal family.
  • Bounded domains in flat Euclidean space are R_φ-hyperbolic for every calibration φ.
  • Hyperbolicity properties are established for products and for discrete quotients of such manifolds.

Where Pith is reading between the lines

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

  • The new Schwarz lemma may be adaptable to other mapping spaces or to calibrations on non-compact manifolds.
  • The results on discrete quotients suggest that hyperbolicity can descend to or ascend from covering spaces in calibrated settings.
  • Verification of the φ-replete condition on concrete examples would immediately place those examples under the Montel theorem.
  • The coincidence of hyperbolicity notions provides a new route to criteria for tautness via the analytic properties of the immersion space.

Load-bearing premise

The manifold X must be φ-replete for the equivalence between the two hyperbolicity notions to hold.

What would settle it

An explicit φ-replete calibrated manifold in which either R_φ-hyperbolicity or K_φ-hyperbolicity fails to produce equicontinuity of SmIm(B^k, X) with respect to the φ-distance.

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.

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

2 major / 2 minor

Summary. The paper relates the hyperbolicity of a calibrated manifold (X, φ) to the analytic properties of the space of Smith immersions SmIm(B^k, X) from the Poincaré k-ball into X. It establishes a calibrated analogue of Royden's theorem: if X is φ-replete, then R_φ- and K_φ-hyperbolicity coincide, and either implies equicontinuity of SmIm(B^k, X) w.r.t. the φ-distance, yielding a Montel theorem for compact φ-replete calibrated manifolds as a corollary. The primary tool is a new Schwarz lemma for Smith immersions. It also proves a calibrated analogue of Kiernan's theorem (K_φ-hyperbolicity of X is almost equivalent to SmIm(B^k, X) being a normal family), shows that bounded domains in flat Euclidean space are R_φ-hyperbolic for any calibration φ, and investigates hyperbolicity of products and discrete quotients.

Significance. If the results hold, this extends classical results from complex analysis (Royden, Kiernan, Montel) to the setting of calibrated geometry, providing new criteria for hyperbolicity and tautness via Smith immersions. The new Schwarz lemma is of independent interest and the concrete results on Euclidean domains, products, and quotients supply verifiable examples. The work is grounded in direct comparison of distance functions via the lemma, with no internal inconsistencies in the supplied definitions and proofs.

major comments (2)
  1. [§2] §2 (Preliminaries), definition of φ-replete: this condition is load-bearing for the coincidence of R_φ- and K_φ-hyperbolicity in Theorem 3.1 and the subsequent Montel corollary; while the definition is supplied, an explicit verification for at least one non-trivial class of calibrated manifolds (beyond the abstract statement) would make the scope of the main theorem clearer.
  2. [§4] §4, proof of the new Schwarz lemma (Lemma 4.2): the comparison of the two hyperbolicity distances relies on this lemma; the argument is direct but the dependence on the calibration φ being closed and the Smith immersion being φ-calibrated should be stated explicitly in the statement of the lemma to avoid any ambiguity in applications to non-closed calibrations.
minor comments (2)
  1. [Introduction] Introduction, paragraph 3: the sentence defining SmIm(B^k, X) could include a parenthetical reference to the precise regularity class (e.g., C^1 or smooth) used throughout the paper.
  2. [Introduction] Notation for R_φ and K_φ should be introduced with a short comparison table or sentence relating them to the classical Kobayashi and Royden pseudodistances when φ is the Kähler form.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading, positive evaluation, and constructive suggestions. We address the two major comments point by point below and will incorporate the indicated clarifications in the revised manuscript.

read point-by-point responses

  1. Referee: §2 (Preliminaries), definition of φ-replete: this condition is load-bearing for the coincidence of R_φ- and K_φ-hyperbolicity in Theorem 3.1 and the subsequent Montel corollary; while the definition is supplied, an explicit verification for at least one non-trivial class of calibrated manifolds (beyond the abstract statement) would make the scope of the main theorem clearer.

    Authors: We agree that an explicit verification would improve clarity. In the revision we will add a short subsection (or remark) verifying that the standard volume calibration on Euclidean space satisfies the φ-replete condition, using the bounded-domain results already established in §5; this provides a concrete, non-trivial class to which Theorem 3.1 applies directly. revision: yes

  2. Referee: §4, proof of the new Schwarz lemma (Lemma 4.2): the comparison of the two hyperbolicity distances relies on this lemma; the argument is direct but the dependence on the calibration φ being closed and the Smith immersion being φ-calibrated should be stated explicitly in the statement of the lemma to avoid any ambiguity in applications to non-closed calibrations.

    Authors: We accept the suggestion. The proof of Lemma 4.2 uses both that φ is closed (to preserve the calibration condition under the immersion) and that the map is φ-calibrated. We will revise the statement of the lemma to list these hypotheses explicitly, thereby removing any potential ambiguity for readers interested in non-closed calibrations. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper introduces a new Schwarz lemma for Smith immersions as its primary technical tool of independent interest and establishes the coincidence of R_φ- and K_φ-hyperbolicity for φ-replete manifolds by direct comparison of distance functions. No equations reduce a claimed prediction to a fitted input by construction, no load-bearing uniqueness theorems are imported from the authors' prior work, and no ansatz or known result is smuggled via self-citation. The Montel theorem and related corollaries follow from these new elements without self-referential reduction. This is the normal case of an independent derivation.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no explicit free parameters, axioms, or invented entities; all technical definitions (φ-replete, Smith immersions, R_φ and K_φ hyperbolicity) are presupposed without further breakdown.

pith-pipeline@v0.9.1-grok · 5765 in / 1132 out tokens · 48910 ms · 2026-07-01T04:17:37.708578+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

18 extracted references · 3 canonical work pages · 1 internal anchor

  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

    work page 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

    work page 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

    work page internal anchor Pith review 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