Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.40057

Invariant probability measures on holomorphic functions on the unit disk

Oleg Ivrii·Uri Kreitner
View original source ↗Read source document ↗Export metadata ↓

Abstract

We study probability measures on the space of holomorphic functions on the unit disk that are invariant under pre-composition by conformal automorphisms and give no mass to constant functions. We determine the slowest possible growth of functions supported by such measures. Let $M_f(R)$ denote the maximum modulus of $f$ on the hyperbolic ball of radius $R$ centered at the origin. We show that given a non-decreasing function $G:[1,\infty)\to(0,\infty)$, there exists an $\textrm{Aut}(\mathbb{D})$-invariant probability measure $μ$ on $\textrm{Hol}(\mathbb{D}, \mathbb{C}) \setminus \{\textrm{constant functions} \}$ such that $\log^+ M_f(R)=O_f(G(R))$ for $μ$ almost every $f$ if and only if $\int_1^\infty (R/G(R)) \, dR <\infty$. For the lower bound, we use a mass transport argument to show that almost every trajectory of the gradient flow of $\log |f|$ has finite energy. To establish sharpness, we construct holomorphic functions of slow growth on infinite Riemann surfaces.

Explore related subjects

math.CV

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Oleg Ivrii, Uri Kreitner. 2026-10-29. Invariant probability measures on holomorphic functions on the unit disk. https://arxiv.org/abs/2610.40057

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Thompson's groups and Teichmüller modular groups of generalized Cantor sets

Thompson's groups, which are denoted by $F, T$ and $V$, were introduced by R. Thompson. It is known that they are related to various fields in mathematics. In this paper, we discuss Thompson's groups $F, T$ and $V$ in Teichmüller modular groups of Teichmüller spaces of generalized Cantor sets with certain conditions by using a quasiconformal geometric method. Moreover, we show that groups corresponding to $F$ and $T$ act properly discontinuously on such Teichmüller spaces. We also show the same results for the asymptotic Teichmüller space. E. de Faria, F. P. Gardiner and W. J. Harvey show similar results on Thompson's group $F$ and asymptotic Teichmüller spaces. So, our results are improvement of them. We also discuss the actions of Thompson's groups on other spaces which we call \lq\lq pre-Tiechmüller spaces" of generalized Cantor sets. Especially, we show that the action of a group which is isomorphic to Thompson's group $V$ on the pre-Teichüller space is not properly discontinuous while groups isomorphic to $F$ and $T$ act properly discontinuously. Finally, we construct infinitely many distinct Teichmüller spaces of generalized Cantor sets where our results can apply.

math.CV↗
arXiv2026

Spectrum of Complete Kähler Metrics on Bounded Hyperconvex Domains

Let $Ω\subset\mathbb{C}^{n}$ be a bounded domain, and let $ρ:Ω\to[-1,0)$ be a smooth strictly plurisubharmonic exhaustion function. We consider the logarithmic potential $g=-\log(-ρ)$ and the associated complete Kähler metric $ω=dd^{c} g$. We prove that if $ρ$ satisfies the finite weighted Monge-Ampère mass condition with weight $(-ρ)^{\varepsilon}$ for every $\varepsilon>0$, then the spectrum and the essential spectrum of the Laplace-Beltrami operator of $(Ω,ω)$ both coincide with $[n^{2},\infty)$. In particular, the bottom of the spectrum satisfies $λ_{0}(Δ_ω,Ω)=n^{2}$, and $n^{2}$ is not an $L^{2}$-eigenvalue. For each $α> \frac{n}{2}$, we set $f=(-ρ)^α$ and prove that $f$ belongs to $W^{1,2}(Ω,ω)$ if and only if the Monge-Ampère mass of $ρ$ weighted by $(-ρ)^{2α-n}$ is finite. The integral identities underlying this equivalence, applied to the complex powers $(-ρ)^{α+it}$, give, after normalization, a singular Weyl sequence at every $n^{2}+4t^{2}$, $t\in\mathbb{R}$, as $α\downarrow\frac{n}{2}$. Combining our theorem with Cegrell's finite-mass exhaustion theorem, we obtain a complete Kähler metric with spectrum and essential spectrum equal to $[n^{2},\infty)$ on every bounded hyperconvex domain.

math.CV↗