A local extension theorem for proper holomorphic mappings in \(\mathbb{C}^2\) (Q1429304)

The authors prove the following result: Let \(f:D\to D'\) be a proper holomorphic mapping between bounded domains \(D\), \(D'\) in \(\mathbb{C}^2\). Let \(M\), \(M'\) be open on \(\partial D\), \(\partial D'\), respectively that are smooth, real analytic and of finite type. Suppose that the cluster set of \(M\) under \(f\) is contained in \(M'\). Then \(f\) extends holomorphically across \(M\). This can be viewed as a local version of the Dirichlet Pinchuk extension result for proper mappings in \(\mathbb{C}^2\) [\textit{K. Diederich} and \textit{S. Pinchuk}, Indiana Univ. Math. J. 44, No. 4, 1089--1126 (1995; Zbl 0857.32015)].