Complex geodesics in convex domains and \(\mathbb{C}\)-convexity of semitube domains (Q2035018)

Let \(D\subset\mathbb C^n\) be a convex domain such that \(D\) contains no complex affine line and a maximal real affine subspace contained in \(D\) is of the form \(z_0+\{0\}^{n-d}\times(i\mathbb R)^d\) for some \(z_0\in D\). For any \(n\)-tuple \(\mu=(\mu_1,\dots,\mu_n)\) of real Borel measures on \(\mathbb T\) there exist a unique finite positive Borel measure \(\nu\) on \(\mathbb T\) singular to \(\mathcal L^{\mathbb T}\), a unique, up to a set of \(\nu\) measure zero, Borel measurable map \(\varrho:\mathbb T\longrightarrow\partial\mathbb B_{\mathbb R^n}\), and a unique, up to a set of \(\mathcal L^{\mathbb T}\) measure zero, Borel measurable map \(g:\mathbb T\longrightarrow\mathbb R^n\) with components in \(L^1\mathbb(T,\mathcal L^{\mathbb T})\) such that \(\mu=g d\mathcal L^{\mathbb T}+\varrho d\nu\). Let \(\varphi\in\mathcal O(\mathbb D,D)\) be a map with the boundary measure of the form \(\operatorname{Re}\varphi^\ast d\mathcal L^{\mathbb T}+(0,\varrho)d\nu\). The main results of the paper are the following two theorems: -- Assume that \(\varphi\) is a complex geodesic for \(D\) and let \(h\in H^1(\mathbb D,\mathbb C^n)\) be such that \(\overline\lambda h_j(\lambda)\in\mathbb R\), \(\lambda\in\mathbb T\), \(j=n-d+1,\dots,n\), \(\operatorname{Re}\psi_z(\lambda)\leq0\), \(\lambda\in\mathbb D\), \(z\in D\), where \(\psi_z(\lambda):=\frac{\varphi(0)-\varphi(\lambda)}\lambda\bullet h(\lambda)+\frac{h(\lambda)-h(0)}\lambda\bullet(z-\varphi(0)+\lambda\overline{h(0)\bullet(z-\varphi(0))}\). Then: \begin{itemize} \item[(i)] for \(\mathcal L^{\mathbb T}\)-a.e. \(\lambda\in\mathbb T\) one has \((\varphi_{1,\dots,n-d}^\ast(\lambda), \operatorname{Re}\varphi_{n-d+1,\dots,n}(\lambda))\in\{p\in(\mathbb C^{n-d}\times\mathbb R^d)\cap\overline D: \operatorname{Re}((z-p)\bullet\nu)<0\) for all \(z\in D\}\). \item[(ii)] the measure \(\overline\lambda h_{n-d,\dots,n}(\lambda)\bullet\varrho(\lambda)d\nu(\lambda)\) is null. \end{itemize} -- Assume that the projection of \(D\) on the first \(n-d\) coordinates is bounded. If there exists a map \(h\) as above with (i) and (ii), then \(\varphi\) is a complex geodesic for \(D\).