Pith. sign in

REVIEW 3 major objections 5 minor 29 references

A Burns-Krantz type theorem for Blaschke products

T0 review · 3 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read If a holomorphic self-map of the disk matches a maximal Blaschke product to third order along a non-tangential boundary sequence, it equals that Blaschke product everywhere.

desk verdict This paper proves a genuine new rigidity theorem with a mostly transparent proof; the main gaps are in the imported Beardon-Minda lemma and a notation collision in STEP 3B, both fixable. read the letter →

arxiv 2505.21346 v1 pith:WPJKEPAD submitted 2025-05-27 math.CV

Annika Moucha This is my paper
classification math.CV MSC 30C8030J10
keywords SchwarzlemmaboundaryrigidityBlaschkeproductsmaximalangularderivativeJuliainequalityBurns-KrantztheoremAhlfors-Schwarz
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper proves a boundary rigidity theorem for holomorphic self-maps of the unit disk: if such a map $f$ agrees with a maximal Blaschke product $B$ up to third order along a non-tangential sequence approaching a boundary point, and if $B$ has finite non-zero angular derivative there, then $f$ must equal $B$ everywhere in the disk. The result unifies two strands of the boundary Schwarz lemma literature — the sequence version of the Burns–Krantz theorem and Chelst's comparison with finite Blaschke products — and extends them to maximal Blaschke products, whose critical points are prescribed subsets of the critical points of $f$. A sympathetic reader would care because it shows that purely local boundary data, measured on a single curve, can force global identity with a rigid object. The proof also answers an open question, Problem 5.1 of Bracci–Kraus–Roth, by deriving the strengthened Burns–Krantz theorem from the boundary Ahlfors–Schwarz lemma.

What carries the argument

The argument is carried by maximal Blaschke products (MBPs): a Blaschke product that dominates, in hyperbolic metric, every holomorphic self-map of the disk sharing its critical points. The key mechanism is a local Julia inequality (Lemma 4.1) that controls $|1-f(v)|^2/(1-|f(v)|^2)$ by $A\,|1-B(v)|^2/(1-|B(v)|^2)$ on a simply connected domain $V$ attached to the boundary point, where $B$ is injective and $B(V)$ is hyperbolically convex; such a $V$ is constructed from Beardon–Minda's injectivity estimates for maps with finite non-zero angular derivative. This inequality is converted into a holomorphic function with non-negative real part, whose boundary asymptotics along the sequence are matched against the boundary Ahlfors–Schwarz lemma (Theorem D) to conclude $f=T\circ B$; the $o(|\xi-z|^3)$ assumption is then used exactly once to turn $T$ into the identity.

What would settle it

Search for a counterexample of the form $f(z)=B(z)+(1-z)^4 h(z)$ with $h$ bounded and holomorphic, so that $f(z_n)=B(z_n)+o(|1-z_n|^3)$ along the radial sequence $z_n=1-1/n$; if for some maximal Blaschke product $B$ with (1.2) this $f$ maps the disk to itself and $f\neq B$, Theorem 1.1 is false. The paper's sharpness example uses $(1-z)^3$ instead of $(1-z)^4$ and already violates the conclusion, so the fourth-order perturbation is the first case that would genuinely test the theorem.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1: let $f:\mathbb{D}\to\mathbb{D}$ be holomorphic, let $\xi\in\partial\mathbb{D}$, and let $B$ be a maximal Blaschke product for $f$ such that $\liminf_{z\to\xi}(1-|B(z)|)/(1-|z|)\in(0,\infty)$. If there is a non-tangential sequence $z_n\to\xi$ with $f(z_n)=B(z_n)+o(|\xi-z_n|^3)$, then $f(z)=B(z)$ for all $z\in\mathbb{D}$. The paper establishes this by first proving a local Julia-type inequality comparing the horocycles of $f$ and $B$ on a domain where $B$ is injective, then showing along the given sequence the hyperbolic-distortion quotient satisfies the hypothesis of the boundary Ahlfors–Schwarz lemma, which yields $f=T\circ B$ for some automorphism $T$; the third-order condition finally forces $T$ to be the identity. Since every finite Blaschke product is maximal, a corollary extends Chelst's theorem to a single non-tangential sequence.

Load-bearing premise

The proof rests on a borrowed geometric estimate: a holomorphic map of the disk with a finite nonzero angular derivative at a boundary point is one-to-one near that point in every non-tangential approach region, and the images of these regions nest in a very precise way. If this estimate is off by even a small amount, the local comparison between $f$ and $B$ and the whole rigidity argument collapse.

Editorial extensions

If this is right

  • Taking $B(z)=z$, Theorem 1.1 recovers the strengthened Burns–Krantz theorem (Theorem B): a holomorphic self-map that matches the identity to third order along a single non-tangential sequence is the identity everywhere.
  • For a finite Blaschke product $B$ whose critical points are also critical points of $f$, the theorem gives a Chelst-type rigidity from just one non-tangential sequence, without controlling $f-B$ in a full neighbourhood.
  • The proof strategy establishes the strengthened Burns–Krantz theorem as a consequence of the boundary Ahlfors–Schwarz lemma (Theorem D), settling Problem 5.1 of [8] affirmatively.
  • The exponent 3 in the assumption is sharp: the paper's example $f=g\circ B$ with $g(z)=(1+3z^2)/(3+z^2)$ satisfies $f(z_n)=B(z_n)+O(|1-z_n|^3)$ along a non-tangential sequence but $f\neq B$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The local Julia inequality (4.2) is proven only on a carefully constructed domain $V$; the maximal set on which the horocyclic comparison holds is left open, and identifying it could connect Theorem 1.1 to the classical theory of Julia sets of holomorphic self-maps.
  • The same two-tier scheme — local Julia inequality plus a boundary Schwarz lemma with maximal Blaschke products — may extend to bounded symmetric domains or to points where the angular derivative is infinite, provided an injectivity result analogous to Beardon–Minda's is available in that setting.
  • Lemma 3.3 is imported from the half-plane computations of Beardon and Minda with only a sketched proof; a full proof in the disk setting would remove the main external dependency and might relax the hypotheses of Theorem 1.1.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 5 minor

Summary. The paper proves a Burns–Krantz type rigidity theorem for holomorphic self-maps of the unit disk when the comparison function is a maximal Blaschke product. Theorem 1.1 states that if f:D→D is holomorphic, B is a maximal Blaschke product for f with finite positive boundary dilation at a boundary point ξ, and f agrees with B up to o(|ξ−z_n|^3) along a non-tangential sequence z_n→ξ, then f(z)=B(z) for all z. The proof establishes a local Julia-type inequality (Lemma 4.1) using hyperbolically convex ends of Stolz regions, and then converts the third-order local condition into the second-order hyperbolic distortion condition of Theorem D, a known boundary Schwarz–Pick rigidity theorem. The paper also positions this as an affirmative answer to [8, Prob. 5.1] concerning whether the strengthened Burns–Krantz theorem follows from the boundary Ahlfors–Schwarz lemma.

Significance. If the proof can be made fully rigorous, the result is a meaningful contribution: it extends the Burns–Krantz phenomenon from the identity map to maximal Blaschke products with prescribed critical points, using only a single non-tangential sequence, and it connects the third-order boundary condition to the second-order hyperbolic distortion condition of Theorem D. The reduction from (1.3) to (1.4) is genuinely derived rather than assumed, and no fitted parameters enter the argument. The paper is also honest about its reliance on prior work: the central geometric input, Lemma 3.3, is imported from Beardon–Minda [5] with only a sketch. That imported lemma is currently the most exposed point, and the manuscript also contains a notational inconsistency in the construction of the auxiliary conformal map in STEP3A/B. These issues are local and appear fixable within the manuscript's scope, but they are load-bearing for the current version.

major comments (3)
  1. [Lemma 3.3(i)-(ii)] The monotonicity claim in Lemma 3.3(i) is not established by the given subset argument. From (3.5) for (m,M) and from E(m',ξ,M')⊆E(m,ξ,M), one obtains only g(E(m',ξ,M'))⊆g(E(m,ξ,M))⊆E(m+ε,σ,M/α_g(ξ)); this is not the required upper inclusion in (3.5) for (m',M') because M'/α≥M/α produces a smaller horocycle and m'+ε≤m+ε produces a narrower Stolz region. The lower inclusion for (m',M') is not addressed at all. Since Part (ii) is obtained by applying Part (i) three times, and since Corollary 3.4, Lemma 4.1, and STEPS 1–3 of the proof of Theorem 1.1 all depend on these inclusions, this missing argument is load-bearing. Please supply a complete proof of the monotonicity and of Part (ii), or quote the exact statement from [5] with theorem and page that directly implies these claims.
  2. [STEP3A/B] The identity G^{-1}(v)=(φ^{-1}∘ψ∘B)(v) in STEP3B is not consistent with the definition of G in STEP1, where G=˜B^{-1}∘φ with φ mapping D onto B(V)=E(m,1,M); that earlier definition gives G^{-1}(v)=φ^{-1}(B(v)) with no ψ. In STEP3A the symbol φ is reused for a new conformal map onto H=ψ(E(m,1,M)), and only with this new φ does G^{-1}=φ^{-1}∘ψ∘B hold, provided G is redefined accordingly. As written this is a notation conflict, and the non-tangentiality of G^{-1}(z_n) and the O(1) estimates in STEP3C depend on the correct identity. Please fix the notation and state explicitly how G, φ, ψ, and V are related.
  3. [STEP1] The proof that G extends to a homeomorphism of the closed disk is not justified. The set V is an open, non-compact subset of D, and B need not extend continuously to ∂V\{1}, so the sentence 'as a continuous bijective map on a compact set' is not applicable. What the later steps actually require is a conformal map G:D→V with G(1)=1 in the angular sense; this can be obtained from the biholomorphicity of B:V→B(V) together with boundary behavior of the Jordan domain E(m,1,M), but the needed argument that B^{-1}(w)→1 as w→1 in E(m,1,M) is missing. Please replace the compactness argument with a correct boundary-correspondence argument.
minor comments (5)
  1. [Abstract] The word 'predescribed' should be 'prescribed'.
  2. [Lemma 3.3 proof / STEP3A] The Cayley map is defined as C(z)=(z+1)/(1-z) in the proof of Lemma 3.3 but as C(z)=(1-z)/(1+z) in STEP3A; please use one convention consistently.
  3. [STEP3C] The displayed computation of (1−u_n)ψ'(u_n)/(1−ψ(u_n)) is hard to follow; an explicit derivation of the limiting value π/(2β) would improve readability and verifiability.
  4. [STEP2B] Introduce w_n:=G^{-1}(z_n) explicitly before the long estimate in STEP2B so that the grouping of the O(1) factors and the use of Schwarz–Pick is transparent.
  5. [Corollary 4.3] In (4.4) the function is written as defined on D, but the non-negative real part statement is made only on V; please clarify the domain of the displayed function.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Theorem 1.1 genuinely reduces the third-order boundary contact (1.3) to the distortion condition (1.4) of the cited Theorem D, rather than assuming or renaming it.

full rationale

The paper's central claim is self-contained against external benchmarks. Theorem 1.1 assumes a pointwise third-order match f(z_n)=B(z_n)+o(|ξ-z_n|^3) along a non-tangential sequence and derives the hyperbolic-distortion condition |f'(z_n)|/|B'(z_n)| · (1-|B(z_n)|^2)/(1-|f(z_n)|^2)=1+o(|ξ-z_n|^2) required by Theorem D. This derivation is the main work of Sections 4 and 5: Lemma 4.1 and Corollary 4.3 convert the pointwise estimate into a local Julia-type inequality and then into a non-negative real-part function whose boundary behavior yields the distortion quotient; STEPs 2A-2C and 3A-3C carry out the asymptotic bookkeeping. The conclusion f=T∘B follows from the cited Theorem D, and the final T=id is forced by the original contact assumption (1.3), so no fitted parameter is renamed as a prediction. The heavy inputs—Theorem D (Bracci-Kraus-Roth), Theorem E (Kraus/Kraus-Roth), and Lemma 3.3 (Beardon-Minda)—are prior published results with assumptions that do not include the target conclusion; their use is legitimate external support even where the authors overlap with the present paper's research group. The most exposed point, the sketched import of Lemma 3.3 with its 'slight modifications or only contained in the proofs of [5, Sec. 9-10]', is a proof-completeness or correctness concern about the monotonicity claim in part (i), not a circularity concern. No step reduces by definition to its own input.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No free parameters or invented entities apply: this is a parameter-free derivation. The central claim rests on published theorems: Theorem D (Bracci-Kraus-Roth) as the rigidity engine, Theorem E (Kraus, Kraus-Roth) for maximal Blaschke products, and Lemma 3.3 (Beardon-Minda) for injectivity on ends of Stolz regions. The most exposed imported input is Lemma 3.3, whose fine inclusions are only sketched and are taken from proofs in [5]; STEPS 1 through 3 of Theorem 1.1 depend on them.

assumptions (5)
  • domain assumption Theorem D (Bracci-Kraus-Roth 2023, [9, Th. 2.10]): if the hyperbolic distortion ratio condition (1.4) holds along a non-tangential sequence, then f = T∘B for some automorphism T of the disk.
    This is the external rigidity engine. STEP 2C of the proof of Theorem 1.1 reduces (1.3) to (1.4) and then invokes Theorem D. The theorem is published with proof, but the present paper does not reprove it.
  • domain assumption Theorem E (Kraus 2013, Kraus-Roth 2013): for every subcollection C of the critical points of f there is a Blaschke product B with C_B = C and |f'|/(1-|f|^2) ≤ |B'|/(1-|B|^2), with equality iff f = T∘B.
    This underpins Definition 2.1 and the pointwise distortion comparison used in Lemma 4.4. The result is prior work of the same research group (the author thanks O. Roth), but it is published and independently justified.
  • domain assumption Lemma 3.3 (Beardon-Minda 2023, [5, Cor. 2 and Lem. 5]): a self-map of the disk with finite nonzero angular derivative at ξ is injective on an end E(m,ξ,M) of every Stolz region, with inclusions (3.5) and (3.6) controlling the image ends.
    The proof in the paper is only sketched; parts are 'slight modifications or only contained in the proofs of [5, Sec. 9-10]'. This is the most exposed imported input: Corollary 3.4, Lemma 4.4, and STEPS 1 and 3 of Theorem 1.1 rest on the precise inclusions.
  • domain assumption Sector model of hyperbolic Stolz regions ([1, Prop. 2.2.7]): C(z) = (1-z)/(1+z) maps S(m,1) onto the sector of half-angle β with tan(β/2) = tanh(m), and ψ = C^{-1}∘ρ_β∘C maps S(m,1) conformally onto D, sending S(m',1) to another Stolz region for m' < m.
    Used in STEP 3A of the proof of Theorem 1.1 to build the conformal bridge G between V and D and to obtain boundary regularity of φ via Schwarz reflection. The claim that ψ(S(m',1)) is again a Stolz region is stated without proof.
  • standard math Schwarz reflection principle and Carathéodory's theorem on boundary extension of conformal maps of Jordan domains.
    STEP 3A uses these to extend the conformal map φ of H across an arc containing 1 and to conclude α_φ ∈ (0,∞). Standard background, cited to [24] (Pommerenke).

how reviews work

0 comments
Cite this review

Pith. "Pith review of A Burns-Krantz type theorem for Blaschke products." pith.science (2026). https://pith.science/paper/WPJKEPAD

@misc{pith2026250521346,
  author       = {Pith},
  title        = {Pith review of: A Burns-Krantz type theorem for Blaschke products},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/WPJKEPAD}},
  note         = {Machine review of arXiv:2505.21346}
}
abstract

Let $f$ be a holomorphic function mapping the open unit disk into itself. We establish a boundary version of Schwarz' lemma in the spirit of a result by Burns and Krantz and provide sufficient conditions on the local behaviour of $f$ near some boundary point that forces $f$ to be a Blaschke product with predescribed critical points. For the proof, a local Julia type inequality based on Nehari's sharpening of Schwarz' lemma is established.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

29 extracted references · 26 canonical work pages

  1. [5]

    A. F. Beardon and D. Minda. Geometric Julia–Wolff Theorems for Weak Contractions.Comput. Methods Funct. Theory, 23(4):741–770, 2023. A BURNS-KRANTZ TYPE THEOREM FOR BLASCHKE PRODUCTS 15

    work page 2023

  2. [1]

    Abate.Holomorphic Dynamics on Hyperbolic Riemann Surfaces

    M. Abate.Holomorphic Dynamics on Hyperbolic Riemann Surfaces. De Gruyter, 2023

    work page 2023

  3. [2]

    L. V . Ahlfors.Conformal Invariants: Topics in Geometric Function Theory. AMS Chelsea publ., 2010

    work page 2010

  4. [3]

    Baracco, D

    L. Baracco, D. Zaitsev, and G. Zampieri. A Burns-Krantz type theorem for domains with corners.Math. Ann., 336(3):491–504, 2006

    work page 2006

  5. [4]

    A. F. Beardon and D. Minda. The hyperbolic metric and geometric function theory. InQuasiconformal Map- pings and Their Applications, pages 9–56. Narosa, New Delhi, 2007

    work page 2007

  6. [6]

    Bolotnikov

    V . Bolotnikov. A uniqueness result on boundary interpolation.Proc. Amer. Math. Soc., 136(5):1705–1715, 2008

    work page 2008

  7. [7]

    Bracci, M

    F. Bracci, M. D. Contreras, and S. D ´ıaz-Madrigal.Continuous Semigroups of Holomorphic Self-maps of the Unit Disc. Springer Monographs in Mathematics. Springer, 2020

    work page 2020

  8. [8]

    Bracci, D

    F. Bracci, D. Kraus, and O. Roth. The strong form of the Ahlfors-Schwarz lemma at the boundary and a rigidity result for Liouville’s equation.Israel J. Math.to appear; seehttps://arxiv.org/abs/2310. 05521

    work page

Show all 29 references
  1. [9]

    Bracci, D

    F. Bracci, D. Kraus, and O. Roth. A new Schwarz-Pick lemma at the boundary and rigidity of holomorphic maps.Adv. Math., 432:109262, 2023

    2023

  2. [10]

    D. M. Burns and S. G. Krantz. Rigidity of Holomorphic Mappings and a New Schwarz Lemma at the Bound- ary.J. Am. Math. Soc., 7(3):661–676, 1994

    1994

  3. [11]

    D. Chelst. A generalized Schwarz lemma at the boundary.Proc. Amer. Math. Soc., 129(11):3275–3278, 2001

    2001

  4. [12]

    V . N. Dubinin. The Schwarz Inequality on the Boundary for Functions Regular in the Disk.J. Math. Sci., 122(6):3623–3629, 2004

    2004

  5. [13]

    M. Elin, F. Jacobzon, M. Levenshtein, and D. Shoikhet. The Schwarz Lemma: Rigidity and Dynamics. In Harmonic and Complex Analysis and Its Applications, pages 135–230. Springer, 2014

    2014

  6. [14]

    S. R. Garcia, J. Mashreghi, and W. T. Ross.Finite Blaschke Products and Their Connections. Springer, 2018

    2018

  7. [15]

    O. Ivrii. Prescribing inner parts of derivatives of inner functions.JAMA, 139(2):495–519, 2019

    2019

  8. [16]

    O. Ivrii. Critical structures of inner functions.J. Funct. Anal., 281(8):109138, 2021

    2021

  9. [17]

    Ivrii and A

    O. Ivrii and A. Nicolau. Analytic mappings of the unit disk which almost preserve hyperbolic area.Proc. Lond. Math. Soc. (3), 129(5):33, 2024

    2024

  10. [18]

    D. Kraus. Critical sets of bounded analytic functions, zero sets of Bergman spaces and nonpositive curvature. Proc. Lond. Math. Soc., 106(4):931–956, 2013

    2013

  11. [19]

    Kraus and O

    D. Kraus and O. Roth. Critical Points, the Gauss Curvature Equation and Blaschke Products. InBlaschke Products and Their Applications, pages 133–157. Springer, 2013

    2013

  12. [20]

    Kraus and O

    D. Kraus and O. Roth. Maximal Blaschke products.Adv. Math., 241:58–78, 2013

    2013

  13. [21]

    Liu and X

    T. Liu and X. Tang. Schwarz lemma at the boundary of strongly pseudoconvex domain inC n.Math. Ann., 366(1):655–666, 2016

    2016

  14. [22]

    Z. Nehari. A generalization of Schwarz’ lemma.Duke Math. J., 14(4):1035–1049, 1947

    1947

  15. [23]

    Osserman

    R. Osserman. A sharp Schwarz inequality on the boundary.Proc. Amer. Math. Soc., 128(12):3513–3517, 2000

    2000

  16. [24]

    Pommerenke.Boundary Behaviour of Conformal Maps, volume 299 ofGrundlehren Der Mathematischen Wissenschaften

    C. Pommerenke.Boundary Behaviour of Conformal Maps, volume 299 ofGrundlehren Der Mathematischen Wissenschaften. Springer, 1992

    1992

  17. [25]

    J. H. Shapiro.Composition Operators and Classical Function Theory. Springer, 1993

    1993

  18. [26]

    Shoikhet

    D. Shoikhet. Another look at the Burns-Krantz theorem.J. Anal. Math., 105(1):19–42, 2008

    2008

  19. [27]

    X. Tang, T. Liu, and W. Zhang. Schwarz lemma at the boundary and rigidity property for holomorphic map- pings on the unit ball ofC n.Proc. Amer. Math. Soc., 145(4):1709–1716, 2017

    2017

  20. [28]

    Tauraso and F

    R. Tauraso and F. Vlacci. Rigidity at the boundary for holomorphic self-maps of the unit disk.Complex Var. Theory Appl. Int. J., 45(2):151–165, 2001

    2001

  21. [29]

    A. Zimmer. Two boundary rigidity results for holomorphic maps.Amer. J. Math., 144(1):119–168, 2022. A. MOUCHA: DEPARTMENT OFMATHEMATICS, UNIVERSITY OFW ¨URZBURG, EMILFISCHERSTRASSE 40, 97074, W ¨URZBURG, GERMANY. Email address:annika.moucha@uni-wuerzburg.de

    2022

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.