Small families of complex lines for testing holomorphic extendibility (Q2851603)

Let \(B\subset\mathbb C^2\) be the unit Euclidean ball and let \(a, b\in\mathbb C^2\), \(a\neq b\). Denote by \(\mathcal L(a)\) the family of all complex lines passing through \(a\). We say that \(\mathcal L(a)\cup\mathcal L(b)\) is a test family for holomorphic extendibility for \(\mathcal C^k(\partial B)\) if every function \(f\in\mathcal C^k(\partial B)\) that extends holomorphically along each line in \(\mathcal L(a)\cup\mathcal L(b)\) that meets \(B\), extends holomorphically to \(B\). The author shows that there exist \(a, b\in B\), \(a\neq b\), such that \(\mathcal L(a)\cup\mathcal L(b)\) is not a test family for holomorphic extendibility for \(\mathcal C^k(\partial B)\) with \(k\in\mathbb N\). The main result of the paper characterizes the situation when \(k=+\infty\).NEWLINENEWLINE--- Assume that one of the points \(a, b\) is contained in \(B\). Then \(\mathcal L(a)\cup\mathcal L(b)\) is a test family for holomorphic extendibility for \(\mathcal C^\infty(\partial B)\) iff \(\langle a|b\rangle\neq1\).NEWLINENEWLINE--- Assume \(a, b\notin B\), \(a\neq b\), and let \(\varLambda(a,b)\) be the complex line passing through \(a\) and \(b\). Then:NEWLINENEWLINE(B1) If \(\varLambda(a,b)\cap B\neq\emptyset\), then \(\mathcal L(a)\cup\mathcal L(b)\) is a test family for holomorphic extendibility for \(\mathcal C^\infty(\partial B)\).NEWLINENEWLINE(B2) If \(\varLambda(a,b)\cap\overline B=\emptyset\), then \(\mathcal L(a)\cup\mathcal L(b)\) is not a test family for holomorphic extendibility for \(\mathcal C^\infty(\partial B)\).