2026-05-12 | | Total: 17
Let $H$ be a complex Hilbert space and let $Ω\subset H$ be a domain. In infinite dimensions, there is no canonical complex Monge--Ampère operator and no basis-free determinant of the Levi form. Hence, a determinant-type characterization of maximal plurisubharmonic functions is not immediate. We propose to use the normalized determinants of Fujii and Seo: for a bounded strictly positive operator $A$ and a unit vector $x\in H$, we set $Δ_x(A):=\exp\bigl(\langle (\log A)x,x\rangle\bigr)$, and we extend this naturally to non-invertible positive operators. We show that, for strictly positive operators, inequalities for $Δ_x$ precisely describe the chaotic order $\log A\ge \log B$, and we combine this observation with Kantorovich--Specht type bounds for positive operators. For $u\in \mathcal{PSH}(Ω)\cap C^2(Ω)$ we define the \emph{Fujii--Seo determinant density} \[ \operatorname{FSD}(u)(a):=\inf_{\|x\|=1}Δ_x\!\bigl(D'D''u(a)\bigr),\qquad a\inΩ, \] and identify it with the lower spectral endpoint $\infσ(D'D''u(a))$. Thus, $\operatorname{FSD}(u)$ is precisely the infimum of the spectrum of the Levi form, and its vanishing gives a basis-independent criterion for pointwise degeneracy of the Levi form. We prove that maximality implies $\operatorname{FSD}(u)\equiv 0$, give sufficient global degeneracy criteria for maximality, and establish several comparison principles for $C^2$ plurisubharmonic functions, including results under uniform ellipticity bounds on the Levi form.
We prove that the backward shift operator on $H^4$ has norm equal to $\sqrt[4]{\varphi}$, with $\varphi = \frac{1 + \sqrt{5}}{2}$. Furthermore, we characterize all extremal functions; they are precisely the functions of the form \[ f(z) = μ\left( I(z) - \sqrt{\frac{1}{2\varphi}}\right), \] where $μ\in \mathbb{C}$ and $I$ is an inner function with $I(0) = \sqrt{\frac{\varphi}{2}}$.
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 establish that Thompson's groups are regarded as subgroups of Teichmüller modular groups of Teichmüller spaces of generalized Cantor sets. Moreover, Thompson's groups $F$ and $T$ act properly discontinuously on such Teichmüller spaces but Thompson's group $V$ does not. In some sense, those results are improvements of the results by E. de Faria, F. P. Gardiner and W. J. Harvey on Thomnpson's group $F$ and asymptotic Teichmüller spaces. We also show that Thompson's groups act infinitely many Teichmüller spaces of generalized Cantor sets.
We prove the Nitsche--Hopf conjecture for non-parametric minimal graphs over disks. If \(S\) is a minimal graph over a disk of radius \(R\), and if \(ξ\) is the point above the center, then \[ W(ξ)^2 |K(ξ)|<\frac{π^2}{2R^2}. \] Here \(K\) is the Gaussian curvature and \[ W=\sqrt{1+|\nabla u|^2}=\frac1{n_3} \] is the reciprocal of the vertical component of the upward unit normal. The constant is sharp, as shown by the horizontal tangent-plane extremal sequence of Finn and Osserman. The main difficulty is that the bicentric-quadrilateral comparison theorem for Gaussian curvature controls \(|K|\), but it does not by itself control the normalized quantity \(W^2|K|\): the slope factor \(W\) can be arbitrarily large. We show that the missing information is recovered inside the Scherk-type comparison family from the zero equation for the horizontal harmonic projection. More precisely, in the fixed-arc normalization the point corresponding to the center of the physical disk is a distinguished zero \(z_\circ\) of the harmonic projection. The equation \(f(z_\circ)=0\), written in harmonic-measure coordinates, reduces the sharp Hopf estimate to a scalar derivative inequality at the admissible zero of a monotone function \(G_{A,B}\). We prove this scalar inequality on the full admissible parameter domain by a barrier argument and two explicit Bernstein-polynomial positivity certificates. Combined with the bicentric-quadrilateral comparison theorem of the first author and Melentijević, the Scherk-family estimate gives the sharp normalized Hopf estimate for arbitrary minimal graphs over disks. As a byproduct, we obtain the two-sided bound \[ \frac{π^2}{4}\leq W^2|K|\leq \frac{π^2}{2} \] throughout the normalized Scherk-type comparison family, evaluated at the distinguished point corresponding to the center.
This paper is concerned with a class of generalized slice Fueter-regular functions on arbitrary domains in O with local stem functions. Some classical theorems such as the maximum modulus principle will be generalized to our setting. Some new phenomena such as the conditional uniqueness of stem vectors will be discovered by means of new technical tools, e.g., the CCL equivalence relation and the Bers-Vekua continuation. And a natural connection between the theory of slice Fueter-regular functions and that of Riemann domains will be revealed via the quotient space under the CCL equivalence relation.
This paper is mainly devoted to describing the entire solutions of nonlinear partial differential equation $$ u_{z_1}u_{z_2}\cdots u_{z_n}=e^g, $$ with the eikonal equation as a prototype, where $g$ is a polynomial in $\mathbb{C}^n$. Through a novel method, we break through the restriction of finite order condition and present the explicit expressions for the entire solution of the above equation. As an application, we completely resolve two questions of Xu-Liu-Xuan in \cite{Xu}.
Let \(\mathbb D\) denote the unit disc in \(\mathbb C\). For a domain \(D\subset\mathbb C\) and a point \(p\in D\), let \(M_D(p)\) denote the supremum of \(\|df_0\|\) over all harmonic maps \(f:\mathbb D\to D\) with \(f(0)=p\) whose differential \(df_0\) at \(0\in \mathbb D\) is conformal. If \(f:\mathbb D\to D\) is a conformal diffeomorphism onto \(D\) with \(f(0)=p\), then \(\|df_0\|\le M_D(p)\). In a recent paper, the authors proved that equality holds when \(D=\mathbb D\), and they asked whether equality can hold only when \(D\) is a round disc. We give a negative answer by proving that, among bounded convex pointed domains \(p\in D\subset\mathbb C\) and up to translations, rotations, and reflections, equality holds if and only if, after moving \(p\) to the origin, \(D=F(\mathbb D)\) where \(F:\mathbb D\to\mathbb C\) is a holomorphic map with \(F(0)=0\) and \(F'(z)=\frac{c}{1+az+λz^2}\), where \(c>0\), \(|λ|<1\), and \(|a-\bar aλ|<1-|λ|^2\). This family contains strongly convex examples which are not round discs.
On a pseudoconvex Reinhardt domain $Ω\subset\mathbb{C}^n$ the $p$-Bergman space $A^p(Ω)$ admits a canonical basis of monomials indexed by a subset $S_p(Ω)\subset\mathbb{Z}^n$. The corresponding $p$-Monomial Basis Kernel (or $p$-MBK) is defined by a series involving these monomials and their norms. This article records stability properties of the $p$-MBK and of the index set $S_p(Ω)$ with respect to the parameter $p$. First, under mild hypotheses, the $p$-MBK depends continuously on $p\in[1,\infty)$, and a Ramadanov-type theorem holds for $p$-MBK for an increasing sequence of pseudoconvex Reinhardt domains. Second, for certain special classes of monomial polyhedra, we explicitly compute the index set and the associated Threshold exponents. Finally, these explicit models are used to illustrate structural properties of the index sets under finite unions, intersections, and products.
In this paper, we employ the theory of normal families in several complex variables to obtain some uniqueness theorems for entire functions. These results extend the related works of Li and Yi [11], and L u et al. [18] to the setting of several complex variables. Moreover, some examples are provided to demonstrate the sharpness of our results.
Extremal functions for the $n$th coefficient in the Krzyż conjecture are atomic singular inner functions with at most $n$ atoms. This paper gives a lower bound on the number of atoms $N$ of the form $N\geq cn$, marking progress toward proving the expected $N=n$. Furthermore, we prove new formulas for extremal functions using variational techniques. Using the aforementioned results and several other methods, we find new conditions on extremal functions which are equivalent to the Krzyż conjecture being true. To weaken some of these equivalent conditions, we characterize the possible holomorphic invariants of extremal functions. Some new conditional formulas are also proved.
We study two closely related objects associated with plane domains bounded by rational algebraic arcs: canonical forms in the sense of positive geometry and normalized moment-generating functions, or Fantappie transforms. For polygons these objects are related by polarity: the normalized Fantappie transform of a polygon is the canonical form of the polar polygon. For genuinely curved polypols the same dual-geometric mechanism survives, but the transform is no longer a rational logarithmic canonical form; rather, it is a holonomic, generally branched period whose singularities are controlled by vertex hyperplanes and by the projective dual curves of the nonlinear boundary components. We give explicit examples, including sectors and half-disks, and explain how harmonic moment generating functions arise as one-dimensional restrictions of the same Fantappi`e transform.
We show that any $d\geq3$ pairwise-disjoint open sets $A_1$, ..., $A_d\subset\widehat{\mathbb{C}}$ sharing a common boundary $J$ can be simultaneously approximated by the $d$ attracting basins $\mathcal{A}_1$, ..., $\mathcal{A}_d$ of a rational map $r$ having Fatou set $\mathcal{F}(r)=\mathcal{A}_1\sqcup...\sqcup\mathcal{A}_d$ and so that the Julia set $\mathcal{J}(r)$ approximates $J$.
In this paper we give a general family of conformal invariants associated to bordered Riemann surfaces endowed with boundary parametrizations, or equivalently compact surfaces endowed with conformal maps. Each invariant is specified by a field of one-forms over a Teichmüller space of infinite conformal type. The invariants are positive, and under certain conditions monotonic. It is shown that these conformal invariants can be viewed as generalized modular invariants on Teichmüller space and as functions on the rigged moduli space of Segal and Vafa. The construction uses an identification of Teichmüller space and the rigged moduli space, as well as analytic work of the authors showing that the transfer or ``overfare'' of harmonic functions sharing boundary values on a quasicircle is bounded. Demanding invariance under various subgroups of the modular group -- equivalently, under the group of quasisymmetric reparametrizations of a sub-collection of borders -- generates conformal invariants. We show that a wide variety of conformal invariants can be obtained through various choices of the field of one-forms. These include modules of doubly-connected domains, period mappings obtained from harmonic measures, inequalities for higher-order conformal invariants, and the Grunsky inequalities and their recent generalizations to Riemann surfaces.
We compare Picard--Lefschetz theory and resurgence in three basic one-dimensional exponential integrals: the Airy model, the Bessel model, and the Gamma model. On the Picard--Lefschetz side, we describe the Lefschetz thimbles and compute the connecting trajectories between critical points appearing at Stokes phases. On the resurgent side, we analyze the Borel singularities of the saddle expansions and use alien operators to recover the same Stokes coefficients. These examples serve as explicit finite-dimensional test cases for the dictionary between thimble wall-crossing and alien calculus.
The notion of weighted extremal Kähler metrics extends the classical notion of Calabi's extremal Kähler metrics, but includes many well-studied objects in Kähler geometry such as Kähler-Ricci solitons and Sasaki-Einstein metrics. In this paper, after explaining how this notion grew out, we will try to survey recent works concerning the YTD conjecture on weighted extremal Kähler metrics.
We study the behavior of the Kodaira dimension of algebraic fiber spaces over threefolds. We prove some cases of the Iitaka Conjecture $C_{n,3}$, including certain situations where the base variety is a Calabi--Yau threefold.
In this paper, we provide a systematic comparison between the equisingularity of a 1-parameter unfolding F = (f_t, t) of a finitely determined map germ f: (\mathbb{C}^2, 0) \to (\mathbb{C}^3, 0) and the equisingularity of its associated families of double point curves: D(F), F(D(F)), D^2(F), and D^2(F)/S_2. We also construct explicit counterexamples to several natural questions concerning the equisingularity of these loci. As a key application, we introduce new families of complete intersection curves - referred to as Henry-type families - which are topologically trivial but fail to satisfy Whitney equisingularity conditions. Finally, we generalize classical double point curve formulas, originally established for map germs from (\mathbb{C}^2, 0) to (\mathbb{C}^3, 0), to the higher-dimensional setting of map germs from (\mathbb{C}^n, 0) to (\mathbb{C}^{2n-1}, 0) for n \geq 3, providing the associated curves with a convenient analytic structure.