pith. sign in

arxiv: 2605.19682 · v1 · pith:GC7YQTBQnew · submitted 2026-05-19 · 🧮 math.CV

On the Boundary Schwarz lemma and the rigidity theorem for certain mappings

Shankey Kumar , Saminathan Ponnusamy This is my paper

Pith reviewed 2026-05-20 01:48 UTC · model grok-4.3

classification 🧮 math.CV
keywords boundary Schwarz lemmarigidity theoremholomorphic mappingspluriharmonic mappingsℓ_p unit ballseveral complex variablesproduct domains
0
0 comments X

The pith

Holomorphic mappings from the product of an ℓ_p ball and a polydisk into the polydisk are characterized for p=2 and infinity.

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

The paper characterizes all holomorphic mappings from the n-dimensional ℓ_p unit ball crossed with the m-dimensional unit polydisk into the m-dimensional unit polydisk when p equals 2 or infinity. It supplies a direct proof of the boundary Schwarz lemma for vector-valued holomorphic functions and extends the lemma to pluriharmonic self-mappings on the ℓ_p ball for p from 2 to infinity. It also proves a boundary rigidity theorem for holomorphic self-mappings on the ℓ_p ball when p exceeds 1. A reader would care because these statements translate the classical Schwarz lemma and rigidity ideas from one variable into several complex variables equipped with ℓ_p geometries.

Core claim

We characterize the holomorphic mappings from B_ℓ_p^n × D^m into D^m for p ∈ {2, ∞}. We also obtain the boundary Schwarz lemma for pluriharmonic self-mappings of the unit ball B_ℓ_p^n, p ∈ [2, ∞] and establish the boundary rigidity theorem for holomorphic self-mappings of B_ℓ_p^n, p ∈ (1, ∞).

What carries the argument

The boundary Schwarz lemma, which supplies derivative or growth restrictions at boundary points and forces the mappings into rigid forms such as linear maps.

If this is right

  • Every holomorphic map in the product-domain class must take one of a small number of explicit forms.
  • Equality cases in the boundary lemmas force the maps to be linear or constant.
  • The rigidity theorem classifies all non-constant holomorphic self-maps on these balls by their boundary derivatives.
  • The vector-valued boundary lemma simplifies existing arguments for multi-component holomorphic functions.

Where Pith is reading between the lines

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

  • The same boundary estimates may extend to intermediate p values once the ball geometry is controlled.
  • These lemmas could be applied to study iteration or fixed points of maps on the same domains.
  • Low-dimensional numerical checks of the boundary derivative bounds would test the sharpness of the stated constants.

Load-bearing premise

The maps are holomorphic or pluriharmonic and the domains are exactly the unit balls in the ℓ_p norm for the stated ranges of p, so that the required boundary regularity and convexity properties hold.

What would settle it

Exhibit one holomorphic mapping from B_ℓ_2^n × D^m into D^m whose form lies outside the stated characterization, or one pluriharmonic self-map on B_ℓ_p^n that violates the boundary inequality for p=2.

read the original abstract

In this article, we characterize the holomorphic mappings from $B_{\ell_p^n}\times\mathbb{D}^{m}$ into $\mathbb{D}^{m}$ for $p\in \{2,\infty\}$. In addition, we give a simple proof for the boundary Schwarz lemma for vector valued holomorphic functions, which also extends the existing result. Also, we obtain the boundary Schwarz lemma for pluriharmonic self-mappings of the unit ball $B_{\ell_p^n}$, $p \in [2,\infty]$. Furthermore, we establish the boundary rigidity theorem for holomorphic self-mappings of $B_{\ell_p^n}$, $p \in (1,\infty)$.

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

0 major / 3 minor

Summary. The manuscript characterizes holomorphic mappings from the product B_ℓ_p^n × D^m into D^m for p ∈ {2, ∞}. It supplies a simplified proof of the boundary Schwarz lemma for vector-valued holomorphic functions, derives the boundary Schwarz lemma for pluriharmonic self-mappings of B_ℓ_p^n when p ∈ [2, ∞], and proves a boundary rigidity theorem for holomorphic self-mappings of B_ℓ_p^n when p ∈ (1, ∞).

Significance. If the arguments hold, the work extends classical Schwarz-type results and rigidity theorems to ℓ_p-norm balls and to pluriharmonic maps. The product-domain characterization and the simplified vector-valued proof are concrete strengths that could be useful in geometric function theory.

minor comments (3)
  1. [Abstract] Abstract: the notation for p-ranges ({2,∞} versus [2,∞]) is slightly inconsistent; uniform interval notation would improve clarity.
  2. [Introduction] Introduction: a short paragraph recalling the classical one-variable boundary Schwarz lemma and its several-variable extensions would better situate the new results.
  3. [§3] §3 (boundary Schwarz lemma for vector-valued maps): explicitly state whether the argument uses only radial limits or requires continuous extension to the boundary.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript, the positive assessment of its contributions, and the recommendation for minor revision. The referee's summary accurately captures the main results on characterizations of holomorphic mappings, the simplified proof of the boundary Schwarz lemma for vector-valued functions, the extension to pluriharmonic self-mappings, and the rigidity theorem.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper characterizes holomorphic mappings from product domains involving ℓ_p balls and establishes boundary Schwarz lemmas and rigidity theorems by adapting classical one-variable Schwarz arguments and slice restrictions to the geometry of the specified norms. These steps rely on standard properties of holomorphic and pluriharmonic functions together with boundary behavior, without reducing any central claim to a fitted parameter, self-definition, or unverified self-citation chain. The abstract and described approach show independent content grounded in the convexity and smoothness properties of the domains for the stated p-ranges, confirming the derivation is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on standard facts from several complex variables and normed-space geometry; no free parameters or new entities are introduced in the abstract.

axioms (2)
  • standard math Holomorphic functions in several variables satisfy the maximum-modulus principle and admit power-series expansions.
    Invoked implicitly when extending the classical Schwarz lemma to boundary and vector-valued settings.
  • domain assumption The unit ball in ℓ_p^n is a bounded symmetric domain whose boundary geometry is controlled by the value of p.
    The statements are restricted to p in the listed intervals; the geometry changes with p.

pith-pipeline@v0.9.0 · 5634 in / 1472 out tokens · 56342 ms · 2026-05-20T01:48:49.481113+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

20 extracted references · 20 canonical work pages · 1 internal anchor

  1. [1]

    Burns and S

    D. Burns and S. Krantz,Rigidity of holomorphic mappings and a new Schwarz lemma at the boundary, J. Amer. Math. Soc.7(1994), 661–676

    work page 1994

  2. [2]

    Defant, D

    A. Defant, D. Garc´ ıa, M. Maestre and P. Sevilla-Peris,Dirichlet series and holomorphic functions in high dimensions,Vol. 37, Cambridge University Press, 2019

    work page 2019

  3. [3]

    S. R. Garcia, J. Mashreghi and W. T. Ross,Finite Blaschke products and their connections, Springer, Cham, 2018

    work page 2018

  4. [4]

    Garnett,Bounded Analytic Functions, New York: Academic Press, 1981

    J. Garnett,Bounded Analytic Functions, New York: Academic Press, 1981

    work page 1981

  5. [5]

    Gong,Convex and Starlike Mappings in Several Complex Variables, Beijing: Science Press, 1998

    S. Gong,Convex and Starlike Mappings in Several Complex Variables, Beijing: Science Press, 1998

    work page 1998

  6. [6]

    Graham, H

    I. Graham, H. Hamada, and G. Kohr,A Schwarz lemma at the boundary on complex Hilbert balls and applications to starlike mappings, J. Anal. Math.140(2020), 31–53

    work page 2020

  7. [7]

    Hamada,A simple proof for the boundary Schwarz lemma for pluriharmonic mappings, Ann

    H. Hamada,A simple proof for the boundary Schwarz lemma for pluriharmonic mappings, Ann. Fenn. Math.42(2) (2017), 799–802

    work page 2017

  8. [8]

    Hamada and G

    H. Hamada and G. Kohr,A rigidity theorem at the boundary for holomorphic mappings with values in finite dimensional bounded symmetric domains, Math. Nachr.294(11) (2021), 2151–2159

    work page 2021

  9. [9]

    Huang,A boundary rigidity problem for holomorphic mappings on some weakly pseudoconvex domains, Canad

    X. Huang,A boundary rigidity problem for holomorphic mappings on some weakly pseudoconvex domains, Canad. J. Math.47(2) (1995), 405–420

    work page 1995

  10. [10]

    Jarnicki and P

    M. Jarnicki and P. Pflug,Invariant Distances and Metrics in Complex Analysis, Walter de Gruyter & Co., Berlin-New York, 1993

    work page 1993

  11. [11]

    Kalaj,The Schwarz lemma for holomorphic and minimal disks at the boundary, arXiv preprint

    D. Kalaj,The Schwarz lemma for holomorphic and minimal disks at the boundary, arXiv preprint. arXiv:2509.09471

    work page internal anchor Pith review arXiv

  12. [12]

    Knese,A Refined Agler Decomposition and Geometric Applications, Indiana Univ

    G. Knese,A Refined Agler Decomposition and Geometric Applications, Indiana Univ. Math. J.60(6) (2011), 1831–1841

    work page 2011

  13. [13]

    Krantz,Function Theory of Several Complex Variables, Providence, RI: Amer Math Soc, 2001

    S. Krantz,Function Theory of Several Complex Variables, Providence, RI: Amer Math Soc, 2001

    work page 2001

  14. [14]

    Y. Liu, S. Dai, and Y. Pan,Boundary Schwarz lemma for pluriharmonic mappings between unit balls, J. Math. Anal. Appl.433(1) (2016), 487–495

    work page 2016

  15. [15]

    Liu and X

    T. Liu and X. Tang,Schwarz lemma and rigidity theorem for holomorphic mappings on the unit polydisk inC n, J. Math. Anal. Appl.489(2) (2020), 124148

    work page 2020

  16. [16]

    T. Liu, J. Wang, and X. Tang,Schwarz lemma at the boundary of the unit ball inC n and its applications, J. Geom. Anal.25(2015), 1890–1914

    work page 2015

  17. [17]

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

    work page 2017

  18. [18]

    Wang and Y

    J. Wang and Y. Zhang,The boundary Schwarz lemma and the rigidity theorem on Reinhardt domains Bn p ofC n, Acta Math. Sci.44(3) (2024), 839–850

    work page 2024

  19. [19]

    Zhu,Schwarz lemma and boundary Schwarz lemma for pluriharmonic mappings, Filomat32(2018), 5385–5402

    J.F. Zhu,Schwarz lemma and boundary Schwarz lemma for pluriharmonic mappings, Filomat32(2018), 5385–5402

    work page 2018

  20. [20]

    Zimmer,Two boundary rigidity results for holomorphic maps, Amer

    A. Zimmer,Two boundary rigidity results for holomorphic maps, Amer. J. Math.144(1) (2022), 119–168. THE BOUNDARY SCHW ARZ LEMMA AND THE RIGIDITY THEOREM 13 Shankey Kumar, Department of Mathematics, Indian Institute of Technology Madras, Chennai, 600036, India. Email address:shankeygarg93@gmail.com Saminathan Ponnusamy, Department of Mathematics, Indian In...

    work page 2022