A counterexample to a theorem of Bremermann on Shilov boundaries - revisited
We continue to discuss the example presented in \cite{JarPfl2015}. In particular, we clarify some gaps and complete the description of the Shilov boundary.
Discover
Research tools
Network
Opportunities
Account
Source author record
Marek Jarnicki appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We continue to discuss the example presented in \cite{JarPfl2015}. In particular, we clarify some gaps and complete the description of the Shilov boundary.
We give a counterexample to the following theorem of Bremermann on Shilov boundaries: if $D$ is a bounded domain in $\mathbb C^n$ having a univalent envelope of holomorphy, say $\widetilde D$, then the Shilov boundary of $D$ with respect to the algebra $\mathcal A(D)$ coincides with the corresponding one for $\widetilde D$.
Let $p:X\longrightarrow M$ be a Riemann domain over a connected $n$-dimensional complex submanifold $M$ of $\mathbb C^N$ and let $\mathcal F\subset\mathcal O(X)$ be such that $p\in\mathcal F^N$. Our aim is to discuss relations between the $\mathcal F$-envelope of holomorphy of $(X,p)$ in the sense of Riemann domains over $M$ and the $\mathcal F$-envelope of holomorphy of $X$ in the sense of complex manifolds.
We prove a new cross theorem for separately holomorphic functions.
We prove that in the extension theorem for separately holomorphic functions on an $N$-fold cross with singularities the case of analytic singularities follows from the case of pluripolar singularities.
We present an elementary proof of the cross theorem in the case of Reinhardt domains. The results illustrates the well-known interrelations between the holomorphic geometry of a Reinhardt domain and the convex geometry of its logarithmic image.