Polynomial approximation on three-dimensional real-analytic submanifolds of

It was once conjectured that if is a uniform algebra on its maximal ideal space and if each point of is a peak point for , then . This peak point conjecture was disproved by Brian Cole in 1968. However, it was recently shown by Anderson and Izzo that the peak point conjecture does hold for uniform algebras generated by smooth functions on smooth two-manifolds with boundary. Although the corresponding assertion for smooth three-manifolds is false, we establish a peak point theorem for real-analytic three-manifolds with boundary.