We prove a certain non-linear version of the Levi extension theorem for meromorphic functions. This means that the meromorphic function in question is supposed to be extendable along a sequence of complex curves, which are arbitrary, not necessarily straight lines. Moreover, these curves are not supposed to belong to any finite-dimensional analytic family. The conclusion of our theorem is that nevertheless the function in question meromorphically extends along an (infinite-dimensional) analytic family of complex curves and its domain of existence is a pinched domain filled in by this analytic family.

We discuss applications of an improvement on the Riemann mapping theorem which replaces the unit disc by another “double quadrature domain,” i.e., a domain that is a quadrature domain with respect to both area and boundary arc length measure. Unlike the classic Riemann mapping theorem, the improved theorem allows the original domain to be finitely connected, and if the original domain has nice boundary, the biholomorphic map can be taken to be close to the identity, and consequently, the double quadrature domain is close to the original domain. We explore some of the parallels between this new theorem and the classic theorem, and some of the similarities between the unit disc and the double quadrature domains that arise here. The new results shed light on the complexity of many of the objects of potential theory in multiply connected domains.

We will introduce a quantity which measures the singularity of a plurisubharmonic function$φ$relative to another plurisubharmonic function$ψ$, at a point$a$. We denote this quantity by$ν$_{$a$,$ψ$}($φ$). It can be seen as a generalization of the classical Lelong number in a natural way: if$ψ$=($n$−1)log| ⋅ −$a$|, where$n$is the dimension of the set where$φ$is defined, then$ν$_{$a$,$ψ$}($φ$) coincides with the classical Lelong number of$φ$at the point$a$. The main theorem of this article says that the upper level sets of our generalized Lelong number, i.e. the sets of the form {$z$:$ν$_{$z$,$ψ$}($φ$)≥$c$} where$c$>0, are in fact analytic sets, provided that the$weight$$ψ$satisfies some additional conditions.