Twistor geometry and warped product orthogonal complex structures (Q619696): Difference between revisions

This very interesting paper studies orthogonal complex structures on \(\mathbb R^6\). We recall that an orthogonal complex structure (OCS) on a Riemannian manifold \((M, g)\) is a complex structure which is integrable and compatible with the Riemannian metric \(g\). In a previous paper [``Orthogonal complex stuctures on domains in \(\mathbb R^4\)'', Math. Ann. 343, No.~4, 853--899 (2009; Zbl 1167.32017)], the second and the third author studied the case of domains in \(\mathbb R^4\) with the Euclidean metric, and they proved various Liouville-type theorems. In particular, they showed that an OCS on \(\mathbb R^4 \setminus K\) is conformally equivalent to a constant OCS if \(K\) is a closed set with vanishing \(1\)-dimensional Hausdorff measure. In the present paper, the authors consider the case of higher-dimensional Euclidean spaces and they focus on the case of \(\mathbb R^6\). More precisely, they introduce a warped product construction and show that, when \(K\) is a finite set of points, any OCS on \(S^6 \setminus K\) with finite energy is conformally equivalent to a warped product globally defined on \(\mathbb R^6 =S^6 \setminus \{ \infty \}\). In this way they show that the above warped product construction gives all finite energy OCSs on \(\mathbb R^6\), up to conformal equivalence. Global examples of OCSs on \(\mathbb R^{2n}\) for \(n \geq 3\) which are not conformally constant were explicitly described by \textit{P. Baird} and \textit{J. C. Wood} in [``Hermitian structures and harmonic morphisms in higher dimensional Euclidean spaces'', Int. J. Math. 6, No.~2, 161--192 (1995; Zbl 0823.58010)] in the context of harmonic morphisms. In the present paper, the authors prove that an OCS on \(\mathbb R^{2n}\) which is asymptotically constant must itself be constant. Moreover, they give examples defined on \(\mathbb R^{2n}\) which have infinite energy and examples of non standard OCSs on flat tori in complex dimension three and greater.