DefinitionDefinition: Literature-sourcedProof: Not applicablejudge pass (gpt-5.6-terra)audited 2026-08-28

How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Plurisubharmonic exhaustions and Hartogs pseudoconvexity

Definition

Let $Ω \subseteq C^{m}$ be a domain.

A function $u : Ω \to R$ is a continuous plurisubharmonic exhaustion when $u$ is continuous, plurisubharmonic, and every sublevel set

${z \in Ω : u (z) \leq c}$

is compact in $Ω$ for every real number $c$ .

The domain $Ω$ is Hartogs pseudoconvex when the function

$z ⟼ - \log δ_{Ω} (z)$

is plurisubharmonic on $Ω$ , where $δ_{Ω}$ is the equal-radius polydisc boundary function of The equal-radius polydisc boundary function.

When $Ω = C^{m}$ , one has $δ_{Ω} \equiv + \infty$ ; in this sole case, the displayed boundary function is by convention the constant function $0$ . Thus the whole space is Hartogs pseudoconvex.

Plurisubharmonic exhaustions and Hartogs pseudoconvexity

Definition

Depends on

Dependency tree · 2 levels

Sources