Cross theorems with singularities

Abstract: We establish extension theorems for separately holomorphic mappings defined on sets of the form Wsetminus M with values in a complex analytic space which possesses the Hartogs extension property. Here W is a 2-fold cross of arbitrary complex manifolds and M is a set of singularities which is locally pluripolar (resp. thin) in fibers.

Review text

The authors present a new approach to the extension of separately holomorphic functions defined on boundary crosses with singularities. This approach is based on the Poletsky theory of holomorphic discs and it permits to get cross theorems under weak assumptions. The main result of the paper is the following extension theorem. Let \(X, Y\) be countable at infinity complex manifolds and let \(Z\) be a countable at infinity reduced complex analytic space with the Hartogs extension property. Let \(D\subset X\), \(G\subset Y\) be open, let \(A\subset\overline D\), \(B\subset\overline G\), \(A^\partial:=A\cap\partial D\), \(B^\partial:=B\cap\partial G\), \(W:=((D\cup A)\times B)\cup(A\times(G\cup B))\), \(W^o:=(D\times B)\cup(A\times G)\subset W\), \(\widetilde W:=(\widetilde A\times G)\cup(D\times\widetilde B)\), \(\widehat{\widetilde W}:=\{(z,w)\in D\times G: \omega(z,\widetilde A,D)+\omega(w,\widetilde B,G)<1\}\), where the sets \(\widetilde A\subset\overline D\), \(\widetilde B\subset\overline D\) and the special relative extremal functions \(\omega(\cdot,\widetilde A,D)\), \(\omega(\cdot,\widetilde B,G)\) are defined in the paper. Let \(M\subset W\) be a relatively closed set such that \(M\cap((A^\partial\times B)\cup(A\times B^\partial))=\emptyset\) and for every \((a,b)\in A\times B\) the fibers \(M_{(a,\cdot)}:=\{w\in G: (a,w)\in M\}\), \(M_{(\cdot,b)}:=\{z\in D: (z,b)\in M\}\) are thin (resp., locally pluripolar). Then there exists a relatively closed analytic (resp., locally pluripolar) set \(\widehat M\subset\widehat{\widetilde W}\) with \(\widehat M\cap\widetilde W\subset M\) such that for every separately continuous function \(f:W\setminus M\longrightarrow Z\) that is separately holomorphic on \(W^o\setminus M\), bounded along \(((A^\partial\times G)\cup(D\times B^\partial))\setminus M\), and such that \(f|_{(A\times B)\setminus M}\) is continuous at \(A^\partial\times B^\partial\), there exists a function \(\widehat f\in\mathcal O(\widehat{\widetilde W}\setminus\widehat M, Z)\) such that \(\lim_{(z,w)\to(\zeta,\eta)}\widehat f(z,w)=f(\zeta,\eta)\) (the limit taken in a special sense defined in the paper) for every \((\zeta,\eta)\in\widetilde W\setminus M\).

Recommendations

Cites work

Cited in

(11)

This page was built for publication: Cross theorems with singularities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q848500)