2026-01-22 | | Total: 7
We study bounded domains $Ω\subset\mathbb{C}^n$ whose Bergman metric is locally symmetric, i.e. its Riemannian curvature tensor is parallel with respect to the Levi-Civita connection. Following the strategy developed in \cite{UnifThm2}, we obtain two rigidity results. If the Bergman metric of $Ω$ is complete, then $Ω$ is (globally) symmetric. If instead $Ω$ is pseudoconvex, then $Ω$ is biholomorphic to $\widetildeΩ\setminus E$, where $\widetildeΩ\subset\mathbb{C}^n$ is a bounded symmetric domain and $E\subset\widetildeΩ$ is relatively closed and pluripolar. The proofs combine the structure theory of Hermitian symmetric spaces with Calabi's theory of Kähler immersions into the infinite dimensional complex projective space (in particular, rigidity and the hereditary property of the diastasis), together with analytic and pluripotential tools based on extension properties of square-integrable holomorphic functions and the Bergman kernel.
We investigate the effect of planar univalent harmonic mappings on the Lebesgue measure of measurable sets in the complex plane. Motivated by Problem 3.25 of Koh and Kovalev (HQM2010), we establish sharp quantitative area distortion inequalities for disks and for arbitrary measurable sets under sense-preserving harmonic self-maps of the unit disk. Using the area formula and the canonical decomposition of harmonic mappings, we derive bounds in terms of the Jacobian and the dilatation, and we identify rigidity phenomena characterizing equality. In particular, we prove global area contraction for disks, star-shaped sets, and sufficiently small sets, and we refine the results using Hardy space methods to obtain sharp bounds with equality only for conformal automorphisms. Extremal affine and non-affine examples illustrate the sharpness of our estimates. Our results provide a complete, rigorous, and strengthened solution to Problem 3.25 and highlight several natural conjectures on global area contraction, extremal distortion, and rigidity for harmonic mappings.
We provide a complete characterization of those self-homeomorphisms of the unit circle that admit homeomorphic extensions to the unit disk belonging to bi--Orlicz--Sobolev spaces. Our results generalize classical criteria from the Sobolev setting to the more flexible Orlicz framework.
We develop the foundations of the theory of quasi-visual approximations of bounded metric spaces. Roughly speaking, these are sequences of covers of a given space for which the diameters of the sets in the covers shrink to zero and for which relative metric quantities (such as ratios of diameters and distances) are uniformly controlled. This framework has applications to questions in quasiconformal geometry. In particular, quasi-visual approximations can be used to detect whether a given homeomorphism between two bounded metric spaces is a quasisymmetry. We also explore the connection to the theory of Gromov hyperbolic spaces via the tile graph associated with a quasi-visual approximation. As an application, we relate these ideas to the dynamics of semi-hyperbolic rational maps. More specifically, we show that the Julia set of a rational map admits a dynamical quasi-visual approximation if and only if the map is semi-hyperbolic.
This paper investigates the value distribution and growth properties of linear total differential polynomials $\mathcal{L}_k[D]f$ for meromorphic functions in several complex variables $\mathbb{C}^n$. By extending the classical Milloux inequality to the framework of total derivatives, we derive a series of fundamental growth estimates for the Nevanlinna characteristic function $T(r, \mathcal{L}_k[D]f)$. We address the value-sharing problem for meromorphic functions $f$ and $g$ sharing values with their differential polynomials. Under the condition $2δ(0,f)+(k+4)Θ(\infty,f)>k+5$, we establish that $\frac{\mathcal{L}_k[D]f-1}{\mathcal{L}_k[D]g-1}$ is a non-zero constant for non-transcendental meromorphic functions. Furthermore, we provide an affirmative answer to several Picard-type inquiries, proving that if an entire function $f$ in $\mathbb{C}^n$ omits a value $a$ while its linear total differential polynomial $\mathcal{L}_k[D]f$ omits a non-zero value $b$, then $f$ must be constant. Our results generalize and extend several existing uniqueness and Picard-type theorems from the classical one-variable setting to the higher-dimensional complex space $\mathbb{C}^n$.
This article aims to develop the uniformization and boundary theory of random infinite ideal hyperbolic polyhedra (abbr. IHP) and their dual 1-skeleton, i.e., ideal angled graphs (abbr. IAG) from multiple perspectives, including combinatorics, geometry, analysis and random walks. For unimodular random IAG, we establish an ICP analog of the dichotomy theorem of Angel-Hutchcroft-Nachmias-Ray [4,5]. Specifically, the character $T(ρ):=\sum_{e\niρ}Θ_e$ of an IAG, introduced in [40], determines its ICP type: the graph is a.s. ICP-parabolic if and only if $\mathbb{E}[T(ρ)]=2π$. In the ICP-hyperbolic case, the simple random walk converges a.s. to $\partial\mathbb{D}$ with positive hyperbolic speed. Moreover, the geometric, Poisson, Martin, and Gromov boundaries coincide, extending the boundary theory of Angel-Barlow-Gurevich-Nachmias [3] and Hutchcroft-Peres [37] beyond triangulations to cellular decompositions. As a corollary of the aforementioned IHP/IAG duality, we obtain the systematic characterizations of the random IHP. To develop our theory, we strengthen and refine the Ring Lemma of Ge-Yu-Zhou [27] for ICP, which provides quantitative local control of the packing geometry. This key estimate makes it possible to extend the boundary theory beyond triangulations.
We present some thoughts on the relation between symmetric Schur-class functions on the bidisk and Schur-class functions on the symmetrized bidisk. Among other things, use of this relation leads to a finite dimensional realization result for rational matrix functions in the Schur-class on the symmetrized bidisk and also to a determinantal representation result for polynomials without zeros on the symmetrized bidisk.