Weak Triangle Inequality for the Lempert function

2025-03-25T15:18:02Z

The (unbounded version of the) Lempert function $l_D$ on a domain $D\subset \mathbb C^d$ does not usually satisfy the triangle inequality, but on bounded $\mathcal C^2$-smooth strictly pseudoconvex domains, it satisfies a weaker version, with $l_D(a,c)\le C( l_D(a,b)+l_D(b,c))$. We show that pseudoconvexity is necessary for this property as soon as $D$ has a $\mathcal C^1$-smooth boundary. We also give some estimates in some domains which are model for local situations.

Integrability of $(ω,m)$-subharmonic functions on compact Hermitian manifolds

2025-03-25T14:02:45Z

Let $(X,\omega)$ be a compact Hermitian manifold of dimension $n$. We show that all $(\omega,m)$-subharmonic functions are $L^p$ integrable on $X$, for any $p < \frac{n}{n-m}$.

Complete frequencies for Koenigs domains

2025-03-25T10:03:46Z

We provide a complete characterization of those non-elliptic semigroups of holomorphic self-maps of the unit disc for which the linear span of eigenvectors of the generator of the corresponding semigroup of composition operators is weak-star dense in $H^\infty$. We also give some necessary and some sufficient conditions for completeness in $H^p$. This problem is equivalent to the completeness of the corresponding exponential functions in $H^\infty$ (in the weak-star sense) or in $H^p$ of the Koenigs domain of the semigroup. As a tool needed for the results, we introduce and study discontinuities of semigroups of holomorphic self-maps of the unit disc.

On Lelong numbers of plurisubharmonic functions on complex spaces

2025-03-25T09:42:49Z

In this paper, we introduce the notion of strong locally irreducible complex spaces $\widetilde{X}$. Based on this notion we prove the equality $\bar{\nu}_{\varphi}(x)=$ mult$(\widetilde{X},x). \nu_{\varphi}(x)$ for all $x\in \widetilde{X}$, where $\bar{\nu}_{\varphi}(x)$ is the projective mass of a plurisubharmonic function $\varphi$ at $x$ and mult$(\widetilde{X},x)$ is the multiplicity of $\widetilde{X}$ at $x$ and $\nu_{\varphi}(x)$ is Lelong number of $\varphi$ at $x$. Moreover, we show that the closure of the upper-level sets $\{z\in \widetilde{X}:\nu_{\varphi}(z)\geq c\}$ of a plurisubharmonic function $\varphi$ on a strong locally irreducible complex space $\widetilde{X}$ is a subvariety of $\widetilde{X}$ for all $c\geq 0$.

Pluriharmonic maps into buildings and symmetric differentials

2025-03-25T09:20:09Z

Given a complex smooth quasi-projective variety $X$, a semisimple algebraic group $G$ defined over some non-archimedean local field $K$ and a Zariski dense representation $\varrho:\pi_1(X)\to G(K)$, we construct a $\varrho$-equivariant (pluri-)harmonic map from the universal cover of $X$ into the Bruhat-Tits building $\Delta(G)$ of $G$, with some suitable asymptotic behavior. This theorem generalizes the previous work by Gromov-Schoen to the quasi-projective setting. As an application, we prove that $X$ has nonzero global logarithmic symmetric differentials if there exists a linear representation $\pi_1(X)\to {\rm GL}_N(\mathbb{K})$ with infinite image, where $ \mathbb{K}$ is any field. This theorem generalizes the previous work by Brunebarbe, Klingler and Totaro to the quasi-projective setting.

Universal geometries underpinning linear second order ordinary differential equations

2025-03-25T07:49:30Z

A deep relationship [arXiv:2503.17816v1] between real linear second order ordinary differential equations $u''\left(x\right)+h\left(x\right)u\left(x\right)=0$, with differentiable $h(x)$, and two dimensional hyperbolic geometry is generalized in a multitude of ways. First, I present an equivalent relationship in which the hyperbolic geometry is replaced by a two dimensional (anti-)de Sitter geometry. I show that this equation everywhere admits a pair of linearly independent solutions locally expressed in terms of an arbitrary non-vertical geodesic curve in this geometry. I also show that every solution of a corresponding Ricatti equation $ \Theta'\left(x\right)+\Theta^2\left(x\right)+h(x)=0$ obtained through $u'\left(x\right)=\Theta\left(x\right)u\left(x\right)$ itself is a geodesic curve in the two dimensional (anti-)de Sitter geometry. Next, after promoting $h(x)$ to a holomorphic function $h(z)$, I express two linearly independent solutions of $u''\left(z\right)+h\left(z\right)u\left(z\right)=0$ in virtually the same way as for the real scenario and hyperbolic geometry. In this case, the curves used to build the solutions are geodesic in a two dimensional complex Riemannian geometry of a sphere. Analogous results for the complex Ricatti equation follow. This geometric interpretation is independent of the function $h(z)$, while the holomorphic metric assumes the same functional form as the hyperbolic metric discovered in [arXiv:2503.17816v1]. Finally, I show that the equation in question is in an equivalent relationship with four dimensional pseudo Riemannian K\"ahler-Norden geometry. The added value of working with real geometry turns out to be that certain two dimensional submanifold of the K\"ahler-Norden manifold render the hyperbolic and the (anti-)de Sitter scenario, both relevant for the real equation.

Bounded solution to Hessian type equations for $(ø,m)-β$-subharmonic functions on a ball in $\mathbb C^n$

2025-03-25T04:06:08Z

In this paper, we study Hessian type equations for $(\o,m)-\beta$-subharmonic functions on a ball in $\mathbb{C}^n$, where $\beta=dd^c\|z\|^2=\frac{i}{2}\sum\limits_{j=1}^n dz_j\w d\bar{z}_j$ is the flat metric on $\cn$. Using the recent results in \cite{KN23b}, we are able to show the existence of bounded solutions for Hessian type equations.

The Schwartz index and the residue of logarithmic foliations along a hypersurface with isolated singularities

2025-03-25T02:55:41Z

Given a compact complex manifold $X$, we prove a Baum-Bott type formula for one-dimensional holomorphic foliations on $X$ that are logarithmic along a hypersurface with isolated singularities. We show that the residues of these foliations can be expressed in terms of the Schwartz index of the vector fields that locally define them. Furthermore, in this context, we prove that the Schwartz index is positive when $\dim(X)$ is even and that the GSV index is positive when $\dim(X)$ is odd. As application, we show that the obstruction determined by the multiplicity of the isolated singularities of the invariant hypersurface, for the solution of Poincar\'e's problem in holomorphic foliations on $\mathbb{P}^2$, is a more general fact, valid for holomorphic foliations defined on projective spaces of arbitrary even dimension. Additionally, we prove that the obstruction determined by the Euler characteristic for the existence of vector fields is even more comprehensive in the case of hypersurfaces with isolated singularities.

A New Proof of the Weyl-von Neumann-Berg Theorem

2025-03-25T02:33:31Z

We give a new proof of the Weyl-von Neumann-Berg theorem. Our proof improves Halmos' proof in 1972 by observing the fact that every compact set in the complex plane is the continuous image of a compact set in the real line.

On the valence of logharmonic polynomials

2025-03-24T19:11:46Z

Investigating a problem posed by W. Hengartner (2000), we study the maximal valence (number of preimages of a prescribed point in the complex plane) of logharmonic polynomials, i.e., complex functions that take the form $f(z) = p(z) \overline{q(z)}$ of a product of an analytic polynomial $p(z)$ of degree $n$ and the complex conjugate of another analytic polynomial $q(z)$ of degree $m$. In the case $m=1$, we adapt an indirect technique utilizing anti-holomorphic dynamics to show that the valence is at most $3n-1$. This confirms a conjecture of Bshouty and Hengartner (2000). Using a purely algebraic method based on Sylvester resultants, we also prove a general upper bound for the valence showing that for each $n,m \geq 1$ the valence is at most $n^2+m^2$. This improves, for every choice of $n,m \geq 1$, the previously established upper bound $(n+m)^2$ based on Bezout's theorem. We also consider the more general setting of polyanalytic polynomials where we show that this latter result can be extended under a nondegeneracy assumption.

Classes of functions in the set of circulant matrices and their characterization

2025-03-24T18:20:58Z

In this paper, we introduce new classes of functions that extend the known classes of functions of complex variable, such as entire functions, meromorphic functions, rational functions and polynomial functions and take values in the set of circulant matrices with complex entries. For these new classes of functions, we extend the recently obtained characterization theorems in [Li, B. Q. Two elementary properties of entire functions and their applications. Amer. Math. Monthly 122(2) (2015), 169--172] and [Li, B. Q. A characterization of rational functions. Amer. Math. Monthly. 132(3) (2025), 269--271] to an algebraic structure of circulant matrices that includes several complex variables. Our characterization theorems lead to the generalization of the variant of the fundamental theorem of algebra established recently in [Abramov, V. M. Extension of the fundamental theorem of algebra for polynomial matrix equation with circulant matrices. Amer. Math. Monthly. DOI: 10.1080/00029890.2024.2440298].

Constrained maximization of conformal capacity

2025-03-24T15:44:50Z

We consider constellations of disks which are unions of disjoint hyperbolic disks in the unit disk with fixed radii and unfixed centers. We study the problem of maximizing the conformal capacity of a constellation with a fixed number of disks under constraints on the centers in two cases. In the first case the constraint is that the centers are at most at distance $R \in(0,1)$ from the origin and in the second case it is required that the centers are on the subsegment $[-R,R]$ of a diameter of the unit disk. We study also similar types of constellations with hyperbolic segments instead of the hyperbolic disks. Our computational experiments suggest that a dispersion phenomenon occurs: the disks/segments go as close to the unit circle as possible under these constraints and stay as far as possible from each other. The computation of capacity reduces to the Dirichlet problem for the Laplace equation which we solve using two methods: a fast boundary integral equation method and a high-order finite element method.

Smooth deformation limit of Moishezon manifolds is Moishezon

2025-03-24T13:23:32Z

We prove the conjecture that the deformation limit of Moishezon manifolds under a smooth deformation over a unit disk in $\mathbb{C}$ is Moishezon.

Valuative compactifications of analytic varieties

2025-03-24T13:09:51Z

Let $X$ be an algebraic variety over $\mathbf{C}$. We define a canonical compactification $X^{\!\urcorner}$ of the complex analytic space $X(\mathbf{C})$ by adding a Berkovich space over a trivially valued field at the boundary. The construction is functorial with respect to proper morphisms and preserves many properties, such as normality, regularity, etc. We prove a partial GAGA theorem in this setting : there is an equivalence between the categories of coherent sheaves on $X$ and $X^{\!\urcorner}$, and it induces bijections on global sections. The results still hold if $\mathbf{C}$ is replaced by a complete non-trivially valued field $k$, and complex analytic spaces by Berkovich analytic spaces over $k$.

Stability for complex Monge-Ampère equations with an application to singular Ricci-flat metrics

2025-03-24T07:03:25Z

We first establish the weak stability results for solutions of complex Monge-Amp\`ere equations in relative full mass classes, extending the results known to hold in the full mass class. Building on weak stability, we then prove the $\mathcal{C}^{k,\alpha}$ stability of solutions to complex Monge-Amp\`ere equations on quasi-projective varieties. As an application, we study the limit of the singular Ricci-flat metrics on $\mathbb{Q}$-Calabi-Yau projective varieties, inspired by Tosatti's work on Calabi-Yau projective manifolds.