Extension and restriction for Bergman scale of spaces and one-dimensional subvarieties on convex finite type domains (Q2828008)

Let \(D\) be a bounded domain in \(\mathbb C^n\) and \(A\) an affine linear subspace with \(D \cap A \neq \emptyset\). For a positive Borel measure and \(p \in (1,\infty)\) let \(H^p(D,d\nu)\) denote the space of all functions \(f:D \longrightarrow \mathbb C\) that are holomorphic on \(D\) and such that \(|f|^p\) is integrable with respect to \(d \nu\). By \(d \lambda\) we denote the Lebesgue measure. The restriction operator \( f \longmapsto f|D\cap A\) is denoted by \(R_{D\cap A}\). NEWLINENEWLINENEWLINENEWLINE The present article is about the following question: Under which condition (on \(D,A\), and \(p\)) does there exist a measure \(d\nu\) on \(D \cap A\) such that NEWLINE\[NEWLINER_{D\cap A}( H^p(D, d\lambda)\,) = H^p(D \cap A, d\nu)\,?\leqno{(1)}NEWLINE\]NEWLINE \smallskipNEWLINENEWLINEBy a result of Diederich-Mazzilli one cannot hope (1) to hold for instance in the case that \(p=2\). \smallskipNEWLINENEWLINEBut the author obtains the following.NEWLINENEWLINETheorem 1. If \(D\) is convex and of finite type and further \(A\) has dimension 1, then, for a suitable measure \(d\nu\), (1) holds for \(p=1\). \smallskipNEWLINENEWLINEThe measure \(d\nu\) is described exlicitly.NEWLINENEWLINEAlso in the situation where \(p>1\) he proves the following result.NEWLINENEWLINETheorem 2. Let \(D,A\), and \(d \nu\) as in Theorem 1. Then, for any \(1<p<\infty\) one has NEWLINENEWLINE\[NEWLINER_{D\cap A}( H^p(D, d\lambda) \,) \subset H^p(D \cap A, d\nu).NEWLINE\]NEWLINE NEWLINEFurther, for any \(\varepsilon>0\) there is a positive Borel measure \(d\nu_\varepsilon\) and an extension operator \(E_{D\cap A}\), i.e., a right-inverse to \(R_{D\cap A}\), that maps \(H^p(D\cap A, d \nu_\varepsilon)\) to \(H^p(D,d\lambda)\). Also \(d \nu_\varepsilon\) is given explicitly. \smallskipNEWLINENEWLINEFinally, Theorems 1 and 2 are generalized to the case where \(D\) is smoothly bounded, convex and of finite type and dim \((A) \geq 1\), but satisfies a certain positivity condition that is stated in terms of local extremal bases.