Cross theorems with singularities (Q848500)

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\).