Poletsky Discs in Analytic and Pluripotential Theory

• Poletsky Discs are analytic discs that test a point’s extremal plurisubharmonic behavior by evaluating envelope functionals over disc families.
• They employ a center condition and bounded lifting property to translate boundary geometries into quantifiable projective hull membership criteria.
• Their methodologies extend to almost complex manifolds and connect with pluripotential Hardy spaces via local boundary approximation and Runge-type techniques.

Searching arXiv for recent and foundational papers on Poletsky discs, analytic discs, projective hulls, and related Poletsky theory. Poletsky discs are analytic discs used to encode extremal plurisubharmonic or quasiplurisubharmonic behavior by testing a point against families of discs centered at that point. In a concrete measure-theoretic form, for a point $p$, an open set $U$, and $\epsilon>0$, a Poletsky disc is a $J$-holomorphic disc $u\in \mathcal O(\mathbb D,M,p)$ such that there exists an exceptional set $E\subset[0,2\pi)$ with $|E|<\epsilon$ and $u(e^{it})\in U$ for $t\notin E$; in the envelope formalism, one takes infima of disc functionals over analytic discs satisfying a center condition $f(0)=x$ (Kuzman, 2017, Magnusson, 2013).

1. Analytic-disc formalism

A basic ambient class is

$U$0

and, for $U$1,

$U$2

Given a disc functional $U$3, its envelope over a class $U$4 is

$U$5

The center condition $U$6 is essential: the envelope computes the best value attainable at $U$7 by testing against all discs centered at $U$8. The standard Poisson disc functional is

$U$9

In the Lárusson–Poletsky setting used as the affine model for later projective results, one has

$\epsilon>0$0

This is the prototypical Poletsky envelope formula: plurisubharmonic subextensions are recovered as envelopes of disc functionals (Magnusson, 2013).

The same disc-centered viewpoint also underlies the notion of a Poletsky sequence. For a compact $\epsilon>0$1 in a complex space $\epsilon>0$2, a sequence $\epsilon>0$3 with $\epsilon>0$4 is a Poletsky sequence for $\epsilon>0$5 when

$\epsilon>0$6

The boundary circle is therefore not required to lie entirely near $\epsilon>0$7; only a set of angles of asymptotically full measure must map close to $\epsilon>0$8 (Drnovsek et al., 2012).

2. Extremal functions and disc formulas

The projective-space formulation replaces ordinary plurisubharmonicity by $\epsilon>0$9-plurisubharmonicity relative to the Fubini–Study form $J$0. On $J$1, an upper semicontinuous function $J$2 is $J$3-plurisubharmonic if

$J$4

and the class is denoted $J$5. For a domain $J$6 and an upper semicontinuous $J$7 on $J$8, the largest $J$9-plurisubharmonic function bounded above by $u\in \mathcal O(\mathbb D,M,p)$0 on $u\in \mathcal O(\mathbb D,M,p)$1 admits the disc formula

$u\in \mathcal O(\mathbb D,M,p)$2

The corresponding projective disc functional is

$u\in \mathcal O(\mathbb D,M,p)$3

The first term is the correction reflecting the curvature/current $u\in \mathcal O(\mathbb D,M,p)$4; it is the interior mass term that distinguishes the projective quasiplurisubharmonic setting from the affine Poisson functional (Magnusson, 2013).

When $u\in \mathcal O(\mathbb D,M,p)$5, one obtains the projective global extremal function

$u\in \mathcal O(\mathbb D,M,p)$6

A central identity behind this formula is

$u\in \mathcal O(\mathbb D,M,p)$7

where $u\in \mathcal O(\mathbb D,M,p)$8 is the standard projection. The projective problem is lifted to $u\in \mathcal O(\mathbb D,M,p)$9 through logarithmically homogeneous functions,

$E\subset[0,2\pi)$0

and the correspondence

$E\subset[0,2\pi)$1

transfers the Poletsky-type subextension problem upstairs before descending it back to projective space (Magnusson, 2013).

3. Projective hulls and Poletsky sequences

For a compact $E\subset[0,2\pi)$2, the projective hull $E\subset[0,2\pi)$3 is the set of points $E\subset[0,2\pi)$4 such that there exists $E\subset[0,2\pi)$5 with

$E\subset[0,2\pi)$6

for every holomorphic section $E\subset[0,2\pi)$7 of $E\subset[0,2\pi)$8 and every integer $E\subset[0,2\pi)$9. The associated extremal function satisfies

$|E|<\epsilon$0

In homogeneous coordinates, if

$|E|<\epsilon$1

then

$|E|<\epsilon$2

which reduces projective hull questions to polynomial convexity in $|E|<\epsilon$3 (Drnovsek et al., 2012).

The projective-hull analogue of Poletsky’s theorem states that $|E|<\epsilon$4 if and only if there exists a Poletsky sequence

$|E|<\epsilon$5

for $|E|<\epsilon$6 with the bounded lifting property: there are liftings $|E|<\epsilon$7 and a constant $|E|<\epsilon$8 such that

$|E|<\epsilon$9

The bounded lifting condition is essential; without it, analytic discs in projective space can approach a point of $u(e^{it})\in U$0 along a projective line and make their boundaries arbitrarily close to $u(e^{it})\in U$1, regardless of whether the center lies in the projective hull (Drnovsek et al., 2012).

For connected compact sets, stronger full-boundary approximation statements are available. If $u(e^{it})\in U$2 is compact and connected and $u(e^{it})\in U$3, then $u(e^{it})\in U$4 is equivalent to the following quantitative disc condition: for every $u(e^{it})\in U$5 and every neighborhood $u(e^{it})\in U$6 of $u(e^{it})\in U$7, there exists

$u(e^{it})\in U$8

such that

$u(e^{it})\in U$9

In this form, projective hull membership is encoded by discs whose boundaries lie in every neighborhood of $t\notin E$0 and whose Fubini–Study mass term remains quantitatively controlled (Magnusson, 2013).

4. Direct construction on compact almost complex manifolds

On a smooth, connected compact manifold $t\notin E$1 equipped with an almost complex structure $t\notin E$2, a map $t\notin E$3 is $t\notin E$4-holomorphic if

$t\notin E$5

For a point $t\notin E$6, the disc space

$t\notin E$7

consists of smooth maps $t\notin E$8 which are $t\notin E$9-holomorphic in a neighborhood of $f(0)=x$0 and satisfy $f(0)=x$1. In this setting, a Poletsky disc associated to $f(0)=x$2, $f(0)=x$3, and an open set $f(0)=x$4 is precisely such a disc with boundary in $f(0)=x$5 outside an exceptional set $f(0)=x$6 of measure $f(0)=x$7 (Kuzman, 2017).

A direct existence theorem holds for compact almost complex manifolds with a regular almost complex structure and the doubly tangent property: for every $f(0)=x$8, every $f(0)=x$9, and every open set $U$00, there exist $U$01 and $U$02 such that $U$03 and

$U$04

The stronger approximation theorem says that for any $U$05-map

$U$06

there exist $U$07 and $U$08, $U$09, such that

$U$10

This gives a direct construction of Poletsky discs via local arc approximation and a Runge-type theorem by A. Gournay, rather than deriving existence from the disc-envelope formula (Kuzman, 2017).

The proof combines two ingredients. First, a local approximation theorem along boundary arcs produces $U$11-holomorphic maps near chosen arcs: $U$12 for a prescribed $U$13-map $U$14 on a smooth arc $U$15. Second, Gournay’s Runge-type theorem globalizes such local data on a compact Riemann surface. The resulting construction is geometric: one approximates a boundary map on finitely many disjoint arcs covering almost all of $U$16, inserts a small $U$17-holomorphic disc at the center, connects the pieces continuously, and then applies global approximation to obtain a single disc centered at $U$18 (Kuzman, 2017).

5. Poletsky–Stessin spaces and disc-related pluripotential theory

Poletsky–Stessin Hardy spaces belong to the same pluripotential lineage but are not disc spaces in the literal sense. On a hyperconvex domain $U$19, with a negative continuous plurisubharmonic exhaustion $U$20, one defines

$U$21

and Demailly boundary measures

$U$22

The Poletsky–Stessin Hardy space is

$U$23

with norm

$U$24

The construction depends on plurisubharmonic exhaustions and Monge–Ampère boundary measures, and the projective limit of all $U$25 on a strongly pseudoconvex domain is $U$26 with a special topology (Poletsky, 2015).

The connection to Poletsky discs here is indirect. The relevant papers explicitly note that they do not develop analytic-disc formulas, even though the framework uses psh envelopes, relative extremal functions, multipole Green functions, and Monge–Ampère measures. Likewise, invariant-subspace theory for $U$27 in the bidisc is described as relevant to “Poletsky discs” only indirectly: the spaces originate in Poletsky–Stessin pluripotential theory, but the arguments concern Hardy-space structure, Beurling-type invariant subspaces, and a generalized Lax–Halmos theorem rather than analytic discs as geometric objects (Koca et al., 2015).

A plausible implication is that Poletsky discs and Poletsky–Stessin spaces should be viewed as adjacent manifestations of the same pluripotential program: the former are disc-test objects for envelopes and hulls, while the latter encode boundary growth through plurisubharmonic exhaustions.

6. Terminological scope and common distinctions

The phrase “Poletsky discs” belongs to the analytic-disc branch of the theory, but recent arXiv literature also uses “Poletsky” for modulus inequalities in geometric mapping theory. In that branch there are no analytic discs, no disc envelopes, and no pluripotential disc formulas. Instead, one studies open, discrete, or quasiregular mappings satisfying direct or inverse Poletsky inequalities such as

$U$28

or weighted annular inequalities of ring $U$29-mapping type, and derives boundary extension, Hölder continuity, distortion estimates, and discreteness of boundary extensions (Desyatka et al., 2024, Sevost'yanov, 2019, Sevost'yanov, 2023, Dovhopiatyi et al., 2023, Sevost'yanov, 2021, Desyatka et al., 2024).

This suggests that current usage separates at least two technical meanings. In several complex variables and almost complex geometry, Poletsky discs are analytic discs whose boundaries spend almost all their measure in a prescribed set or whose envelopes compute extremal functions and hulls. In Euclidean and Riemannian mapping theory, “Poletsky” refers instead to modulus inequalities for families of curves. The names are historically connected, but the mathematical objects are different.

Within the analytic-disc branch itself, the dominant themes are stable across the papers considered here: the center condition $U$30, boundary concentration near a prescribed set, envelope representations of extremal functions, projective corrections through the Fubini–Study form, and lifted formulations in homogeneous coordinates. Those themes make Poletsky discs a unifying device for translating boundary geometry and hull membership into analytic-disc data (Magnusson, 2013, Drnovsek et al., 2012, Kuzman, 2017).