Peak functions in \(\mathbb {C}\)-convex domains (Q667337)

The authors study holomorphic peak functions in various classes of $\mathbb C$-convex domains. Let $D\subset\mathbb C^n$ be a bounded domain. A point $p\in\partial D$ is \textit{extreme $\mathbb C$-convex} if there exist an affine hyperplane $H$ and a neighborhood $U$ of $p$ such that $H\cap\overline D\cap U=\{p\}$. A bounded linearly convex domain $D\subset\mathbb C^n$ is called \textit{strictly $\mathbb C$-convex} if each $p\in\partial D$ has a neighborhood $U$ such that $U\cap\overline D\cap H=\{p\}$ for any affine hyperplane $H$ such that $p\in H$ and $H\cap D=\emptyset$. The main results are the following theorems. \par -- Let $D\subset\mathbb C^n$ be a bounded $\mathbb C$-convex domain and let $p\in\partial D$ be extreme $\mathbb C$-convex. Then $p$ is a holomorphic peak point, i.e., there exists an $f\in\mathcal O(D,\mathbb D)$ such that $\lim_{z\to p}f(z)=1$ and for any neighborhood $U$ of $p$ we have $\sup\{|f(z)|: z\in U\setminus D\}<1$. \par -- Let $D\subset\mathbb C^{n+m}$ be a bounded strictly $\mathbb C$-convex normal (resp. strongly normal) domain, i.e., for any $p\in\partial D$ and any neighborhood $U$ of $p$ there exists a neighborhood $V\subset U$ of $p$ such that any two points in $V\cap D$ may be connected by a curve in $U\cap D$ (resp. $V\cap D$ is connected). Then so is the domain $\widetilde D:=\pi(D)$, called the \textit{shadow of $D$}, where $\pi:\mathbb C^{n+m}\longrightarrow\mathbb C^n$ is the standard projection. In consequence, if $D\subset\mathbb C^n$ is a bounded strictly $\mathbb C$-convex domain such that every point $p\in\partial D$ is normal, then, for any point $p\in\partial D$, there exists an $f\in\mathcal A(D):=\mathcal O(D)\cap\mathcal C(\overline D)$ such that $f(p)=1$ and $|f(z)|<1$, $z\in\overline D\setminus\{p\}$. \par -- Let $D\subset\mathbb C^{n+m}$ be a $\mathcal C^k$-smooth strongly linearly convex domain. Then so is $\widetilde D$. Moreover, $T_z^{\mathbb C}\partial\widetilde D \times\mathbb C^m=T_{\varPhi(z)}\partial D$, $z\in\partial\widetilde D$, where $\varPhi:\partial\widetilde D\longrightarrow\partial D$ is the $\mathcal C^k$-diffeomorphism with $\pi\circ\varPhi=\text{id}$.