Abstract:The celebrated Ohsawa--Takegoshi extension theorem for $L^2$ holomorphic functions on bounded pseudoconvex domains in $\mathbb C^n$ is a fundamental result in several complex variables and complex geometry. Ohsawa conjectured in 1995 that the same theorem still holds for more general bounded complete Kähler domains in $\mathbb C^n$. Recently, Chen--Wu--Wang confirmed this conjecture in a special case. In this paper we extend their result to the case of holomorphic sections of twisted canonical bundles over relatively compact complete Kähler domains in Stein manifolds. As an application we prove a Hartogs type extension theorem for plurisubharmonic functions across a compact complete pluripolar set, which is complementary to a classical result of Shiffman and can be seen as an analogue of the Skoda--El Mir extension theorem for plurisubharmonic functions -- a result that has been vacant since at least 1985.

What problem does this paper attempt to address?

### Problems the paper attempts to solve This paper attempts to solve a long - standing problem proposed by Ohsawa in 1995, that is, whether the Ohsawa - Takegoshi $L^2$ extension theorem can be generalized to more general bounded complete Kähler domains. Specifically, the main contributions of the paper are as follows: 1. **Extension of the Ohsawa - Takegoshi $L^2$ extension theorem**: - The author extends the results of Chen - Wu - Wang in special cases to holomorphic sections of twisted canonical bundles on relatively compact complete Kähler domains. - This extension provides a powerful tool for a wider range of complex geometry and several complex variables problems. 2. **Proof of the Hartogs - type extension theorem**: - As an application, the author proves a Hartogs - type extension theorem for plurisubharmonic functions (abbreviated as psh functions) on compact complete pluripolar sets. - This result is a supplement to the classical Shiffman theorem and can be regarded as the psh function version of the Skoda - El Mir extension theorem, filling a gap since 1985. ### Formula summary 1. **Basic form of the Ohsawa - Takegoshi $L^2$ extension theorem**: \[ \text{Theorem A (see [OT87]):} \quad \text{Let } \Omega \text{ be a bounded pseudoconvex domain in } \mathbb{C}^n \text{ and } H \text{ be a complex linear subspace of } \mathbb{C}^n \text{ intersecting } \Omega. \] \[ \text{Then for every plurisubharmonic function } \phi \text{ on } \Omega \text{ and every holomorphic function } f \text{ on } \Omega \cap H \text{ such that } \] \[ \int_{\Omega \cap H} |f|^2 e^{-\phi} dV_H < \infty, \] \[ \text{there exists a holomorphic function } F \text{ on } \Omega \text{ such that } F|_{\Omega \cap H} = f \text{ and } \] \[ \int_{\Omega} |F|^2 e^{-\phi} dV \leq C \int_{\Omega \cap H} |f|^2 e^{-\phi} dV_H, \] \[ \text{where } C > 0 \text{ is a constant depending only on the diameter of } \Omega \text{ and the codimension of } H \text{ in } \mathbb{C}^n. \] 2. **Main result 1**: \[ \text{Theorem 1.1:} \quad \text{Let } X \text{ be an } n\text{-dimensional Stein manifold with a continuous volum

On the Ohsawa-Takegoshi $L^2$ extension theorem and removable singularities of plurisubharmonic functions

Ohsawa-Takegoshi Type Theorem and Extension of Plurisubharmonic Functions

Section extension from hyperbolic geometry of punctured disk and holomorphic family of flat bundles

Liouville-type Theorems for Subharmonic Functions on Complete Manifolds

Complete pluripolar sets and removable singularities of plurisubharmonic functions

Extension of holomorphic functions and cohomology classes from non reduced analytic subvarieties

Plurisubharmonic functions and the structure of complete Kähler manifolds with nonnegative curvature

A Characterization of Plurisubharmonic Functions by Holomorphic Pull-Backs

A note on characterizing pluriharmonic functions via the Ohsawa--Takegoshi extension theorem

A remark on the extension of $L^{2}$ holomorphic functions

Quantitative extensions of pluricanonical forms and closed positive currents

On the L2-Hodge Theory of Landau-Ginzburg Models

Optimal $L^2$ extension for holomorphic vector bundles with singular hermitian metrics

An extension theorem for hermitian line bundles

Semiclassical Ohsawa-Takegoshi extension theorem and asymptotics of the orthogonal Bergman kernel

Bott-Chern Cohomology and the Hartogs Extension Theorem for Pluriharmonic Functions

On extension of closed complex (basic) differential forms: (basic) Hodge numbers and (transversely) $p$-Kähler structures

On the fundamental theorem of submanifold theory and isometric immersions with supercritical low regularity

Potential Theory on Almost Complex Manifolds

Pluriclosed Manifolds with Constant Holomorphic Sectional Curvature

Casselman--Shahidi conjecture on the singularity of intertwining operators: groups of exceptional type