arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.34355

Lempert left inverses of the Royal and Flat geodesics of the symmetrized bidisc

Naveen Gupta
View original source ↗Read source document ↗Export metadata ↓

Abstract

In this note, we give complete description of the Lempert left inverses of the royal and flat geodesics of the symmetrized bidisc. It is further proved that the collection of all such Lempert left inverses to the royal and flat geodesics is path connected. This, in particular, answers a question asked by Zwonek \cite[~Remark 4.4, 4.5]{zwonek}.

Explore related subjects

math.CV

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Naveen Gupta. 2026-10-25. Lempert left inverses of the Royal and Flat geodesics of the symmetrized bidisc. https://arxiv.org/abs/2610.34355

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

KEEP EXPLORING

Related papers

arXiv2026

Modulus estimates and cavitation in higher dimensions

We explore the phenomenon of cavitation in higher-dimensional elasticity, defining it as the mapping of a punctured ball onto a non-degenerate ring domain. Crucially, for the class of locally quasiconformal mappings (or more general mappings) defined on the punctured ball $0<|x|<1$ in $\mathbb R^n$ that we examine, cavitation is equivalent to a failure of continuous extension to the origin. While existing modulus estimates prove insufficient for reliably detecting cavitation in this setting, our study establishes refined modulus bounds. This is achieved by introducing a novel directional dilatation which, in conjunction with the known angular dilatation, overcomes the limitations of previous methods. We illustrate our theoretical findings with several examples that demonstrate both cavitation occurrence and its absence.

math.CV↗
arXiv2026

Fractional Besov-Sobolev Spaces on Chord-arc Curves

Let $Γ$ be a bounded rectifiable Jordan curve, with complementary domains $Ω_i$ and $Ω_e$. For $1<p<\infty$ and $0<s<1$, we study the spaces $\mathcal B_{p,p}^s(Ω)$ of harmonic functions satisfying \[ \iint_Ω|\nabla u(z)|^p \operatorname{dist}(z,Γ)^{(1-s)p-1}\,dA(z)<\infty, \qquad Ω\in\{Ω_i,Ω_e\}. \] When $Γ$ is the unit circle, the traces of these two spaces coincide with the fractional Besov-Sobolev space $B^s_{p,p}(Γ)$. The equivalence of boundary seminorms and harmonic energies on the circle raises a geometric question: which rough curves preserve these estimates? For every radial-Lipschitz curve $Γ$, we prove \[ \operatorname{Tr}_Γ\mathcal B_{p,p}^s(Ω_i) =B_{p,p}^s(Γ) =\operatorname{Tr}_Γ\mathcal B_{p,p}^s(Ω_e) \] whenever either $1 < p < 2$ and $2/p - 1 \leq s < 1$, $2 < p < \infty$ and $0 < s \leq 1/2 + 1/p$ or $p=2$ and $0<s<1$. For arbitrary chord-arc curves, the same trace identities hold when $1/p\le s<1/2+1/(2p)$. Taking $s=1-1/p$ yields an almost-Dirichlet principle for the unweighted $p$-energy on radial-Lipschitz domains when $3/2\le p\le4$. Here, the upper bound $4$ is sharp. In particular, every Riemann map $g:Ω_i\to\mathbb D_i$ from a bounded radial-Lipschitz domain satisfies $g'\in L^4(Ω_i)$, and the exponent $4$ is optimal uniformly over this class. This gives a sharp endpoint counterpart of Brennan's integrability conclusion for radial-Lipschitz domains.

math.CV↗
arXiv2026

The $p$--Bloch--Carleson measure problem for $0<p<\infty$: A complete characterization via Carleson tents

We characterize the boundedness and compactness of the embedding $$ \operatorname{id}:\mathcal B \longrightarrow L^p(μ),\qquad 0<p<\infty, $$ where $\mathcal B$ denotes the Bloch space and $μ$ is a positive Borel measure on the unit disc. The criteria depend only on the dyadic Carleson tents. These results refine our earlier $L^2(μ)$ characterization based on a full dyadic resolution of the disc and extend it to all positive exponents. The proof combines discretization on Carleson tents, representations of Bloch functions by series of analytic polynomials, and weighted matrix estimates. We also obtain corresponding boundedness and compactness characterizations for $$ \textrm{id}:\mathcal Q_p\longrightarrow L^q(μ),\qquad 0<p\le1,\quad 0<q<\infty. $$ These results resolve the general $p$--Bloch--Carleson measure problem studied by Girela, Peláez, Pérez-González and Rättyä in 2008.

math.CV↗