Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2609.37451

The Gross Property for Implicit Functions

Sina Nadi
View original source ↗Read source document ↗Export metadata ↓

Abstract

In 1918, Gross proved that a regular local inverse of a meromorphic function in the plane can be continued analytically along every ray from its centre except for directions in a set of Lebesgue measure zero. Eremenko asked whether the same conclusion holds for an implicit function defined by an entire relation in two variables. We prove that there exist an entire function $F$ of two variables and a regular implicit germ $φ$, defined by $F(z,φ(z))=0$, whose analytic continuation fails on every ray from its centre. In fact, along each ray, the modulus of the continuation tends to infinity as the singular point is approached.

Explore related subjects

math.CV

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Sina Nadi. 2026-09-25. The Gross Property for Implicit Functions. https://arxiv.org/abs/2609.37451

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

KEEP EXPLORING

Related papers

arXiv2026

A Koszul complex in quaternionic analysis and its applications

Let $n\geqslant 1, Ω\subset\mathbb{H}^n $ be a domain. We construct a Koszul-type complex for the ideal sheaf $\mathcal{I}_X^{(k)}$ of $k$-regular functions vanishing on $X=\{(q_0, q_1, \cdots, q_{n-1})\in Ω: q_0=0\}$ in several quaternionic variables: $$0\to \mathcal{R}^{(k+2)}\xrightarrow{\widetilde{\mathscr{L}}^{(k)}} \mathcal{R}^{(k+1)}\oplus\mathcal{R}^{(k+1)}\xrightarrow{\mathscr{L}^{(k)}} \mathcal{I}_X^{(k)}\to 0,$$ where $k\geqslant 0$, $\mathcal{R}^{(k)}$ is the sheaf of $k$-regular functions on $Ω$, $\widetilde{\mathscr{L}}^{(k)}=(-L_1^{(k+2)},L_0^{(k+2)})^{T}$, $\mathscr{L}^{(k)}=(L_0^{(k+1)},L_1^{(k+1)})$, and $L_0^{(k)},L_1^{(k)}$ are multiplication-like operators on $k$-regular functions. This gives the quaternionic analogue of the classical Koszul complex. And we present the long exact sequence in cohomology for the case $Ω\cap\{q_0=0\}=\emptyset$ with explicit differential connecting maps, by applying the Cauchy-Fueter complex and cohomological methods. As an application, in the special case $n=1, k=1$, the operator pair $(L_0^{(1)}, L_1^{(1)})$ is shown to be surjective if and only if $H^3(Ω, \mathbb{R})=0$. Furthermore, a cohomological vanishing criterion is given for $H^1(Ω,\mathcal{I}_X^{(k)})$; under this criterion, every $k$-regular function on $\{q_0=0\}\capΩ$ extends to a $k$-regular function on $Ω$.

math.CV↗
arXiv2026

Periodic transport and Oka complements in \(\C^n\)

For every \(n\geq2\), we prove that the complement in \(\C^n\) of a periodic closed set with compact holomorphically convex quotient in \((\C^*)^n\) is Oka. The proof combines periodic divergence-free transport with Fatou--Bieberbach basins. Applications include complements of convex tubes \(\R^n+\ii B\), products of closed annuli, and, more generally, products of planar compact sets whose complements have at most one bounded component. In particular, \(\C^2\setminus\R^2\) is Oka.

math.CV↗
arXiv2026

Ross-Witt Nyström correspondence and Ohsawa-Takegoshi extension

This paper is an attempt to study a few \emph{effective} universality phenomenons in complex geometry using deformations and the Hörmander $L^2$-method. The main idea of the proof is to deform the general case to the toric (or convex) case and to apply two new Berndtsson-Lempert type Ohsawa-Takegoshi extension theorems. The first one is based on the Ross-Witt Nyström correspondence picture, Darvas-Xia-Zhang's asymptotic slope formula for Ding-type functionals and Berndtsson's monotonicity theorem. The second version is proved using an $S^1$-symmetrization method for PSH potentials based on Witt Nyström's canonical Kähler deformations and Berndtsson-P\u aun's positivity theorem for Stein fibrations associated to deformations to normal bundles. The resulting effective universality phenomenons include a sharp lower bound of the Bergman kernel for compact Riemann surfaces, an effective Okounkov body construction and a sharp Faber-Widom type Bergman approximation of the logarithmic capacity.

math.CV↗