arxiv: 2604.12010 · v1 · submitted 2026-04-13 · 🧮 math.CV

Recognition: unknown

The Schwarzian Derivative for Convex Holomorphic Mappings in Several Complex Variables

Rodrigo Hern\'andez

Pith reviewed 2026-05-10 14:52 UTC · model grok-4.3

classification 🧮 math.CV

keywords Schwarzian derivativeconvex holomorphic mappingspolydiskunit ballseveral complex variablesRoper-Suffridge extensiondistortion bounds

0 comments

The pith

Convex holomorphic mappings in several complex variables satisfy upper bounds on the norm of their Schwarzian derivative.

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

The paper extends classical one-variable results on the Schwarzian derivative of convex functions to mappings in C^n. It derives upper bounds for the norm of this derivative when the mappings are convex and defined on the polydisk or the unit ball. For coordinate-wise convex mappings on the polydisk, the bound is sharp and matches the extension of the Chuaqui-Duren-Osgood estimate. An explicit bound is also obtained for mappings arising from the Roper-Suffridge extension operator on the ball. These results matter because the Schwarzian derivative controls local distortion and curvature properties that determine global behavior of holomorphic mappings.

Core claim

Upper bounds exist for the norm of the Schwarzian derivative of convex holomorphic mappings on the polydisk and unit ball in C^n; for coordinate-wise convex mappings on the polydisk the estimate is sharp and directly extends the one-variable Chuaqui-Duren-Osgood bound, while for the Roper-Suffridge operator on the ball an explicit bound is obtained that improves on prior estimates in this setting.

What carries the argument

The Schwarzian derivative of a holomorphic mapping in C^n, together with a suitable norm on its values, applied to convex mappings on polydisks and balls.

If this is right

The classical one-variable bound on the Schwarzian derivative carries over exactly to coordinate-wise convex mappings on polydisks.
Explicit upper bounds are available for images under the Roper-Suffridge extension operator applied to convex maps on the ball.
These norms provide the best currently known estimates for distortion control of convex mappings in the polydisk and ball settings.

Where Pith is reading between the lines

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

The same bounding technique might apply to other extension operators or to mappings convex in different directions.
Control of the Schwarzian derivative could yield new growth or covering theorems for convex maps in several variables.
The polydisk results suggest that coordinate-wise conditions suffice to preserve sharp one-variable distortion bounds.

Load-bearing premise

The definitions of convexity and the Schwarzian derivative in several variables allow the same norm estimates and proof techniques from one variable to transfer without new counterexamples or extra constraints.

What would settle it

A concrete convex holomorphic mapping on the polydisk whose Schwarzian derivative norm exceeds the sharp bound obtained by extending the one-variable estimate.

read the original abstract

We obtain upper bounds for the norm of the Schwarzian derivative of convex holomorphic mappings defined on the polydisk and the unit ball in $\mathbb{C}^n$. For coordinate-wise convex mappings on the polydisk, we derive a sharp estimate extending the classical one-variable result of Chuaqui--Duren--Osgood to higher dimensions. For the Roper--Suffridge extension operator in the unit ball, we obtain an explicit bound that represents the best available estimate in this setting.

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 extends the Chuaqui-Duren-Osgood Schwarzian bound sharply to coordinate-wise convex maps on the polydisk and gives an explicit bound for the Roper-Suffridge operator.

read the letter

This paper's central result is an extension of the classical Chuaqui-Duren-Osgood bound for the Schwarzian derivative of convex holomorphic functions to the case of coordinate-wise convex mappings on the polydisk in C^n. It also provides an explicit upper bound for the Schwarzian norm when using the Roper-Suffridge extension operator to lift one-variable convex functions to the unit ball in higher dimensions. These are the two main things to know. What the paper does well is to take the one-variable techniques and apply them in a way that respects the multi-variable structure for these particular classes. Coordinate-wise convexity allows the bounds to be derived componentwise in some sense, and the extension operator preserves enough properties to get an explicit estimate. The work avoids circular reasoning by building from the definitions of convexity and the Schwarzian in several variables. The novelty comes from making these bounds sharp or best-available in the higher-dimensional setting, which is not just a routine generalization. The soft spots are limited but worth noting. The stress-test raises a good question about whether the norm of the Schwarzian in several variables reduces precisely to the one-variable case. If the norm is defined in a way that includes mixed partial derivatives or uses a different scaling, the bound might not be as sharp as claimed when you restrict to functions of one variable. The paper claims it is a sharp extension, so presumably the proofs verify the reduction. A referee should verify that step specifically, as it is load-bearing for the main claim. Other than that, the abstract shows no obvious gaps, and the assumptions about how convexity and the Schwarzian extend seem standard for this area. This work is for experts in geometric function theory and several complex variables. Someone who knows the one-variable results and the Roper-Suffridge operator will see the value in these explicit higher-dimensional versions. It is not for a general audience or broad impact, but it fills a specific gap. The paper shows clear engagement with the literature and honest derivation of the results, so it is serious thinking. I would accept it for peer review. Recommendation: Yes, it should go to referees for a full check of the proofs.

Referee Report

1 major / 2 minor

Summary. The manuscript obtains upper bounds for the norm of the Schwarzian derivative of convex holomorphic mappings on the polydisk and unit ball in C^n. For coordinate-wise convex mappings on the polydisk it derives a sharp estimate that extends the classical Chuaqui-Duren-Osgood bound from one variable; for mappings arising from the Roper-Suffridge extension operator on the unit ball it supplies an explicit bound claimed to be the best currently available.

Significance. If the derivations are correct, the work supplies concrete extensions of one-variable geometric function theory to several complex variables. The claimed sharpness for the coordinate-wise convex case on the polydisk would be a notable strengthening of existing multi-variable results, while the explicit bound for the Roper-Suffridge operator improves the state of knowledge in that setting.

major comments (1)

[Definition of the Schwarzian derivative and its norm (likely §2)] The central sharpness claim for coordinate-wise convex mappings requires that the chosen norm of the Schwarzian derivative in C^n reduces exactly to the classical one-variable Schwarzian when n=1 or when the mapping depends on a single coordinate. The manuscript must verify this reduction explicitly (e.g., by direct substitution into the multi-variable definition and norm) so that the constant recovered matches the Chuaqui-Duren-Osgood sharp value without extraneous factors arising from cross terms or the norm definition.

minor comments (2)

[Introduction / abstract] The abstract states that the bound for the Roper-Suffridge case is 'the best available estimate'; a short comparison table or paragraph citing the previous best constants would make this claim easier to assess.
[Preliminaries] Notation for the multi-variable Schwarzian and its norm should be introduced with a clear comparison to the one-variable case to aid readers familiar with the Chuaqui-Duren-Osgood result.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the need for an explicit verification of the norm reduction. This is a constructive observation that strengthens the presentation of our sharpness result. We address the major comment below and will revise the manuscript accordingly.

read point-by-point responses

Referee: [Definition of the Schwarzian derivative and its norm (likely §2)] The central sharpness claim for coordinate-wise convex mappings requires that the chosen norm of the Schwarzian derivative in C^n reduces exactly to the classical one-variable Schwarzian when n=1 or when the mapping depends on a single coordinate. The manuscript must verify this reduction explicitly (e.g., by direct substitution into the multi-variable definition and norm) so that the constant recovered matches the Chuaqui-Duren-Osgood sharp value without extraneous factors arising from cross terms or the norm definition.

Authors: We agree that an explicit verification is required to support the sharpness claim. The multi-variable Schwarzian derivative and its norm are defined in §2 so that they coincide with the classical one-variable objects upon restriction to n=1 or to mappings that depend on a single coordinate. However, the manuscript does not currently contain the direct substitution calculation. In the revised version we will add a short paragraph (or subsection) in §2 that performs this reduction explicitly: we substitute a function f(z_1) of one variable into the multi-variable formula, compute the resulting norm, and confirm that all cross-term contributions vanish and that the recovered constant is precisely the Chuaqui–Duren–Osgood value with no extraneous factors. This addition will make the sharpness statement fully rigorous. revision: yes

Circularity Check

0 steps flagged

No circularity: bounds derived independently from convexity properties and extension operators

full rationale

The paper claims upper bounds on the Schwarzian derivative norm for convex holomorphic mappings on the polydisk and unit ball, with a sharp extension of the Chuaqui-Duren-Osgood result for coordinate-wise convex cases and an explicit bound via the Roper-Suffridge operator. No equations, definitions, or self-citations in the abstract reduce any claimed prediction or extension to the inputs by construction; the derivations rely on direct transfer of one-variable techniques under the stated convexity assumptions without tautological redefinition or fitted-input renaming. The central claims remain independent of the provided text, consistent with a self-contained derivation.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper builds on standard domain assumptions in complex analysis without introducing new free parameters or entities.

axioms (2)

domain assumption Convexity of holomorphic mappings in several complex variables can be defined coordinate-wise on the polydisk.
This is invoked to derive the sharp estimate extending the one-variable case.
domain assumption The Roper-Suffridge extension operator preserves convexity and allows definition of the Schwarzian derivative on the unit ball.
Used to obtain the explicit bound on the unit ball.

pith-pipeline@v0.9.0 · 5365 in / 1404 out tokens · 72599 ms · 2026-05-10T14:52:37.630683+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

14 extracted references

[1]

Martin Chuaqui, Peter Duren, and Brad Osgood,Schwarzian derivatives of convex mappings, Annales Academiae Scientiarum Fennicae Mathematica36(2011), 449–460

2011
[2]

Graham and G

I. Graham and G. Kohr,Geometric function theory in one and higher dimensions, Pure and Applied Mathematics, vol. 255, Marcel Dekker, 2003

2003
[3]

Hernández,Schwarzian derivatives and a linearly invariant family inC n, Pacific Journal of Mathematics228(2006), 201–218

R. Hernández,Schwarzian derivatives and a linearly invariant family inC n, Pacific Journal of Mathematics228(2006), 201–218

2006
[4]

5, 397–410

Rodrigo Hernández,Schwarzian derivatives and some criteria for univalence in several complex variables, Complex Variables and Elliptic Equations52(2007), no. 5, 397–410

2007
[5]

Martín,Pre-schwarzian and schwarzian derivatives of harmonic mappings, Journal of Geometric Analysis25(2013), 64–91

Rodrigo Hernández and María J. Martín,Pre-schwarzian and schwarzian derivatives of harmonic mappings, Journal of Geometric Analysis25(2013), 64–91

2013
[6]

Kanas and T

S. Kanas and T. Sugawa,Sharp norm estimate of schwarzian derivative for a class of convex functions, Annales Polonici Mathematici101(2011), 85–95

2011
[7]

Krantz,Function theory of several complex variables, Pure and Applied Mathematics, Wiley, 1982

S. Krantz,Function theory of several complex variables, Pure and Applied Mathematics, Wiley, 1982

1982
[8]

Molzon and K

R. Molzon and K. P. Mortensen,Differential operators associated with holomorphic mappings, Annals of Global Analysis and Geometry12(1994), 291–304

1994
[9]

,The schwarzian derivative for maps between manifolds with complex projective connec- tions, Transactions of the American Mathematical Society348(1996), 3015–3036

1996
[10]

Molzon and H

R. Molzon and H. Tamanoi,Generalized schwarzians in several variables and möbius invariant differential operators, Forum Mathematicum14(2002), 165–188

2002
[11]

Zeev Nehari,The schwarzian derivative and schlicht functions, Bulletin of the American Mathe- matical Society55(1949), 545–551

1949
[12]

Oda,On schwarzian derivatives in several variables (in japanese), Tech

T. Oda,On schwarzian derivatives in several variables (in japanese), Tech. Report K¯ oky¯ uroku 226, Research Institute for Mathematical Sciences, Kyoto University, 1974

1974
[13]

Roper and T

K. Roper and T. Suffridge,Convex mappings on the unit ball inCn, J.d’Anal.Math.65(1995), 333–347

1995
[14]

Yoshida,Canonical forms of some system of linear partial differential equations, Proceedings of the Japan Academy52(1976), 473–476

M. Yoshida,Canonical forms of some system of linear partial differential equations, Proceedings of the Japan Academy52(1976), 473–476

1976