English

Maximal Plurisubharmonic Functions and Fujii-Seo Determinants in Hilbert spaces

Complex Variables 2026-05-12 v1 Functional Analysis

Abstract

Let HH be a complex Hilbert space and let ΩH\Omega\subset H be a domain. In infinite dimensions, there is no canonical complex Monge--Amp\`ere 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 AA and a unit vector xHx\in H, we set Δx(A):=exp((logA)x,x)\Delta_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\Delta_x precisely describe the chaotic order logAlogB\log A\ge \log B, and we combine this observation with Kantorovich--Specht type bounds for positive operators. For uPSH(Ω)C2(Ω)u\in \mathcal{PSH}(\Omega)\cap C^2(\Omega) we define the \emph{Fujii--Seo determinant density} FSD(u)(a):=infx=1Δx ⁣(DDu(a)),aΩ, \operatorname{FSD}(u)(a):=\inf_{\|x\|=1}\Delta_x\!\bigl(D'D''u(a)\bigr),\qquad a\in\Omega, and identify it with the lower spectral endpoint infσ(DDu(a))\inf\sigma(D'D''u(a)). Thus, FSD(u)\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 FSD(u)0\operatorname{FSD}(u)\equiv 0, give sufficient global degeneracy criteria for maximality, and establish several comparison principles for C2C^2 plurisubharmonic functions, including results under uniform ellipticity bounds on the Levi form.

Keywords

Cite

@article{arxiv.2605.10742,
  title  = {Maximal Plurisubharmonic Functions and Fujii-Seo Determinants in Hilbert spaces},
  author = {Per Åhag and Rafał Czyż and Antti Perälä and Jani Virtanen},
  journal= {arXiv preprint arXiv:2605.10742},
  year   = {2026}
}