Ohsawa-Takegoshi type theorem and extension of plurisubharmonic functions (Q2354329)

This paper uses \(L^2\)-theory for the \(\bar\partial\)-operator to extend plurisubharmonic (psh) functions across pluripolar sets. Consider a closed complete pluripolar subset \(E\) of the polydisk \(\mathbb{D}^{n}\times \mathbb{D}_r\) in \(\mathbb{C}^{n+1}\) (where \(0<r<1\)). Suppose \(\varphi\) is a psh function on \(\mathbb{D}^{n+1}\) such that for all \(z'\) in some subset of \(\mathbb{D}^{n}\) of positive Lebesgue measure, the restriction of \(\varphi\) to the slice \(\{z'\}\times \mathbb{D}\setminus E\) is locally bounded from above near \(E\). The main theorem of the paper (Theorem 1.2) says that \(\varphi\) then extends plurisubharmonically to \(\mathbb{D}^{n+1}\). The authors also prove an extension result for closed positive \((1,1)\)-currents. The main tool the authors use to prove Theorem 1.2 is an Ohsawa-Takegoshi type extension theorem (from a point) for holomorphic functions in a bounded domain \(\Omega\) that admits a complete Kähler metric (Theorem 1.3). This is applied to the domain \(\Omega=\mathbb{D}^{n+1}\setminus E\).