Schwarz Lemma in Quaternionic Setting and ℂ4
Abstract
We study a Schwarz Lemma on the matrix ball 𝔻+={Z∈ M2(ℂ); |Z|<1} ≃ U(2,2)/(U(2)× U(2)), which arises naturally from the complexification of the quaternions. We prove Schwarz and Schwarz--Pick estimates on 𝔻+, construct its U(2,2)-invariant Riemannian Poincaré metric, and describe a Cayley transform to a tube-domain realization. The intrinsic spectral metric is the Kobayashi metric and is contracted by holomorphic maps. Comparing it with the Poincaré metric gives the sharp estimate d(F(P),F(Q))≤ √2 d(P,Q) for every holomorphic self-map F of 𝔻+; in general the constant $1$ is false. We also prove an infinitesimal rigidity statement and record a Burns--Krantz boundary rigidity theorem at the smooth part of ∂𝔻+. Finally, we develop a conformally natural barycenter construction on the Shilov boundary U(2). Every admissible probability measure has a unique barycenter in 𝔻+, the construction is U(2,2)-natural, and it gives a barycentric extension of suitable boundary maps. Under the natural admissibility hypothesis, a holomorphic self-map extending to U(2) is the barycentric extension of its boundary values. Many aspects of this paper are motivated by quaternionic analysis, however, no prior knowledge of quaternionic analysis is required from the reader.
Related
- Schwarz lemma on bounded symmetric domains endowed with holomorphic invariant Kähler--Berwald metrics
- Revisiting the Schwarz Lemma for the Pentablock: Counterexamples and Sharp Interpolation Criteria
- Analysis of an inexact Schwarz domain decomposition method in 3D
- Schwarz-contractivity of the Poisson operator
- Schwarz P and Schwarz D as free-boundary minimal disks in a tetragonal disphenoid: exact areas
BibTeX
@misc{connell2026schwarz,
title = {{Schwarz Lemma in Quaternionic Setting and $\mathbb C^4$}},
author = {Chris Connell and Matvei Libine},
howpublished = {arXiv},
year = {2026},
month = nov,
doi = {10.48550/arxiv.2611.02161},
eprint = {2611.02161},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2611.02161},
}
RIS
TY - UNPB
TI - Schwarz Lemma in Quaternionic Setting and ℂ^4
AU - Chris Connell
AU - Matvei Libine
PY - 2026
DA - 2026/11/01
PB - arXiv
DO - 10.48550/arxiv.2611.02161
UR - https://arxiv.org/abs/2611.02161
AB - We study a Schwarz Lemma on the matrix ball 𝔻^+={Z∈ M_2(ℂ); |Z|<1} ≃ U(2,2)/(U(2)× U(2)), which arises naturally from the complexification of the quaternions. We prove Schwarz and Schwarz--Pick estimates on 𝔻^+, construct its U(2,2)-invariant Riemannian Poincaré metric, and describe a Cayley transform to a tube-domain realization. The intrinsic spectral metric is the Kobayashi metric and is contracted by holomorphic maps. Comparing it with the Poincaré metric gives the sharp estimate d(F(P),F(Q))≤ √2 d(P,Q) for every holomorphic self-map F of 𝔻^+; in general the constant $1$ is false. We also prove an infinitesimal rigidity statement and record a Burns--Krantz boundary rigidity theorem at the smooth part of ∂𝔻^+. Finally, we develop a conformally natural barycenter construction on the Shilov boundary U(2). Every admissible probability measure has a unique barycenter in 𝔻^+, the construction is U(2,2)-natural, and it gives a barycentric extension of suitable boundary maps. Under the natural admissibility hypothesis, a holomorphic self-map extending to U(2) is the barycentric extension of its boundary values. Many aspects of this paper are motivated by quaternionic analysis, however, no prior knowledge of quaternionic analysis is required from the reader.
ER -