Cross theorem (Q2773307)

Let \(D,G\) be domains in \(\mathbb{C}\), let \(A\) be a locally regular and a Borel set in \(D\) and \(B\) be a locally regular set in \(G\), let \(X:=(D \times B)\cup (A\times G)\). A function \(f:X\setminus M\) is called separately holomorphic on \(X\setminus M\) (\(f\in O_S(X\setminus M)\)) if \(\forall z\in A\), \(M_z \neq G\) the function \(f(z,.)\) is holomorphic on \(G\setminus M_z\) and \(\forall w\in B\), \(M^w\neq D\) the function \(f(\cdot,w)\) is holomorphic on \(D\setminus M^w\) where \(M\) is a proper analytic subset of a neighborhood of \(X\). \(M_z:=\{w\in G:(z,w)\in M\}\), \(z\in D\) and \(M^w:=\{z\in D:(z,w)\in M\}\), \(w\in G\).NEWLINENEWLINENEWLINEThe main fact of this paper is Theorem 1. There exists a pure 1-dimensional analytic subset \(\widehat M\) of the envelope of holomorphy \(\widehat X\) of \(X\) such that for any \(f\in O_S(X\setminus M)\) there is exactly one \(\widehat f\in O(\widehat X \setminus\widehat M)\) with \(\widehat f=f\) on \(X\setminus (M\cup\widehat M)\).