Conical plurisubharmonic measure and new cross theorems (Q2267463)

Let \(D\subset\mathbb C^n\) be a domain and let \(A\subset\partial D\) be such that \(D\) is \({\mathcal C}^2\)-smooth on \(A\). For \(z\in A\), let \({\mathcal A}_\alpha(z):=\{w\in D: |w-z|<\alpha \operatorname{dist}(w,T_z)\}\). For \(u:D\to[-\infty,+\infty)\), define \(\widehat u(z):=\sup_{\alpha>1}\limsup_{{\mathcal A}_\alpha(z)\ni w\to z}u(w)\), \(z\in A\). Let \(h_{A,D}:=\sup\{u\in{\mathcal{PSH}}(D): u\leq1\), \(\widehat u\leq0\) on \(A\}\), \(\omega(\cdot,A,D):=h_{A,D}^\ast\). The main result of the paper is the following theorem. Let \(M\subset\partial D\) be such that \(D\) is \({\mathcal C}^2\)-smooth on \(M\) and \(M\) is a generic manifold. Let \(A\subset M\) be a set of positive measure. Then, for each density point \(z\) relative to \(A\), we have \(\widehat\omega(z,A,D)=0\). The author presents also some applications of the above result to the extension theory of separately holomorphic functions defined on boundary or ``mixed'' crosses.