An extension theorem for separately holomorphic functions with pluripolar singularities

Abstract: Let

D_{j} s u b s e t B b b C^{n_{j}}

be a pseudoconvex domain and let

A_{j} s u b s e t D_{j}

be a locally pluriregular set,

j = 1, ..., N

. Put

X:=�igcup_{j=1}^N A_1 imes... imes A_{j-1} imes D_j imes A_{j+1} imes ... imes A_NsubsetBbb C^{n_1} imes... imesBbb C^{n_N}=Bbb C^n.

Let

U s u b s e t B b b C^{n}

be an open neighborhood of

X

and let

M s u b s e t U

be a relatively closed subset of

U

. For

j i n 1, ..., N

let

S i g m a_{j}

be the set of all

(z^{'}, z^{″}) i n (A_{1} i m e s ... i m e s A_{j - 1}) i m e s (A_{j + 1} i m e s ... i m e s A_{N})

for which the fiber

M_{(z^{'}, c d o t, z^{″})} := z_{j} i n B b b C^{n_{j}} : (z^{'}, z_{j}, z^{″}) i n M

is not pluripolar. Assume that

S i g m a_{1}, ..., S i g m a_{N}

are pluripolar. Put

X':=�igcup_{j=1}^N{(z',z_j,z)in(A_1 imes... imes A_{j-1}) imes D_j imes(A_{j+1} imes... imes A_N): (z',z) otinSigma_j}.

Then there exists a relatively closed pluripolar subset

h a t M s u b s e t h a t X

of the `envelope of holomorphy'

h a t X s u b s e t B b b C^{n}

of

X

such that:

h a t M c a p X^{'} s u b s e t M

, for every function

f

separately holomorphic on

X s e t m i n u s M

there exists exactly one function

h a t f

holomorphic on

h a t X s e t m i n u s h a t M

with

h a t f = f

on

X^{'} s e t m i n u s M

, and

h a t M

is singular with respect to the family of all functions

h a t f

. Some special cases were previously studied in cite{Jar-Pfl 2001c}.

Recommendations

Cites work

Cited in

(21)

This page was built for publication: An extension theorem for separately holomorphic functions with pluripolar singularities