Complex-tangential sets and boundary values in submanifolds of the boundary (Q1086713)

Suppose D is a smoothly bounded pseudoconvex domain of finite type in \({\mathbb{C}}^ n\), M is a smooth real submanifold of \(\partial D\) of dimension m, \(m\geq n\), and \(\mu\) is m-dimensional Hausdorff measure on M. It is proved that the set of points where M is complex-tangential has \(\mu\)-measure zero. As a consequence of this result, bounded holomorphic functions on D have non-tangential limits on M a.e. [\(\mu\) ]. An example shows that these results are false without the finite-type restriction.