Local versus global peak sets in real-analytic convex boundaries (Q1568861): Difference between revisions

Let \(D\) be a smoothly bounded domain in \({\mathbb C}^n\) and let \(A^\infty(D)\) denote the set of holomorphic functions on \(D\) which have \(C^\infty\) extension to \(\overline D\). A closed subset \(K \subset \partial D\) is a peak set for \(A^\infty(D)\) if there exists a function \(f \in A^\infty(D)\) such that \(f=1\) on \(K\) and \(|f |< 1\) on \(\overline D \setminus K\). If for each \(p \in K\), there exists a neighborhood \(V\) of \(p\) such that \(K \cap \overline V\) is a peak set for \(A^\infty(D)\) then \(K\) is said to be a locally peak set for \(A^\infty(D)\). \textit{B. A. Taylor} and \textit{D. L. Williams} [Proc. Am. Math. Soc. 24, 604-606 (1970; Zbl 0187.38602)] proved that the only peak sets for \(A^\infty(D)\) are the finite subsets of \(\partial D\) when \(D\) is the unit disc in the complex plane. In \({\mathbb C}^n\), \(n \geq 2\), the situation is quite different. Some results have been achieved in the strongly pseudoconvex case which characterize locally peak sets for \(A^\infty(D)\). Unfortunately, this characterization does not hold for weakly pseudoconvex domains in \({\mathbb C}^n\). There is however, a positive result for convex domains with real-analytic boundaries in \({\mathbb C}^2\), see the paper of \textit{A. V. Noell} [Math. Z. 186, 99-116 (1984; Zbl 0518.32012)]. The goal of this paper is to extend the result of Noell to convex domains with real-analytic boundaries in \({\mathbb C}^3\). The main result is the following: If \(D\) is a convex domain in \({\mathbb C}^3\) with real-analytic boundary then a compact subset \(K\) of \(\partial D\) is locally a peak set for \(A^\infty(D)\) if and only if \(K\) is a peak set for \(A^\infty(D)\).