Cross theorem

DOI10.4064/AP77-3-8MaRDI QIDQ2773307zbMATH OpenOpenAlexFDO

Authors Marek Jarnicki, Peter Pflug

Publication date 21 February 2002

Published in Annales Polonici Mathematici (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0102136

zbMATH Keywords

cross-theoremenvelope of holomorphylocally pluriregularlocally regularpluriregularseparately holomorphic function

Mathematics Subject Classification ID

Envelopes of holomorphy (32D10) Continuation of analytic objects in several complex variables (32D15)

Abstract: Let $D,GsubsetBbbC$ be domains, let $AsubsetD$, $BsubsetG$ be locally regular sets, and let $X:=(DimesB)cup(AimesG)$. Assume that $A$ is a Borel set. Let $M$ be a proper analytic subset of an open neighborhood of $X$. Then there exists a pure 1-dimensional analytic subset $hatM$ of the envelope of holomorphy $hatX$ of $X$ such that any function separately holomorphic on $XsetminusM$ extends to a holomorphic function on $hatXsetminushatM$. The result generalizes special cases which were studied in cite{"Okt 1998}, cite{"Okt 1999a}, and cite{Sic 2000}.

Review text

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

Recommendations

• A new cross theorem for separately holomorphic functions
• A boundary cross theorem for separately holomorphic functions
• Cross theorems with singularities
• An extension theorem for separately holomorphic functions with analytic singularities
• Envelope of holomorphy for boundary cross sets

Cited in

(11)

• A new cross theorem for separately holomorphic functions
• scientific article; zbMATH DE number 5505418 (Why is no real title available?)
• scientific article; zbMATH DE number 5533889 (Why is no real title available?)
• Siciak's theorem on separate analyticity
• A boundary cross theorem for separately holomorphic functions
• An extension theorem for separately holomorphic functions with pluripolar singularities
• A remark on separate holomorphy
• On Hartogs extension theorems for separately \((\cdot, W)\)-holomorphic functions
• Crux’s Crux’s Crux
• Cross theorem for separately real-analytic functions
• Generalization of a theorem of Gonchar

This page was built for publication: Cross theorem

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