Flat affine subvarieties in Oeljeklaus-Toma manifolds (Q2312818)

The Oeljeklaus-Toma manifolds (OT manifolds) are non-Kähler compact complex manifolds constructed from arithmetic data constructed in [\textit{K. Oeljeklaus} and \textit{M. Toma}, Ann. Inst. Fourier 55, No. 1, 161--171 (2005; Zbl 1071.32017)], generalising the Inoue surfaces. Given a number field \(K\) with \(s >0\) real embeddings and \(2 t > 0\) complex embeddings, an OT manifold \(X\) is the quotient of \(\mathbb{H}^s \times \mathbb{C}^t\) by the group \(U \ltimes \mathcal{O}_K\), where \(\mathbb{H}\) is the upper-half-plane, \(\mathcal{O}_K\) is the ring of integers of \(K\) and \(U\subset \mathcal{O}_K^*\) is some admissible subgroup of the group of units \(\mathcal{O}_K^*\) in \(\mathcal{O}_K\), in which \(U\) acts on \(\mathbb{H}^s \times \mathbb{C}^t\) as diagonal multiplication and \(\mathcal{O}_K\) as translations, both via the embeddings. The main result of the paper under review is that, \textit{if every element \(u\in U\setminus \{1\}\) is a primitive element for the number field \(K\), then there are no proper complex analytic subvarieties in \(X\)}. As a consequence of the proof, it is also shown that any irreducible complex subvariety \(Z \subset X\) of the minimal positive dimension is a smooth flat affine submanifold of \(X\). Two main ingredients in the proof are that: \begin{itemize} \item[(1)] there are no compact complex curves in \(X\) as proved in [\textit{S. M. Verbitskaya}, Funct. Anal. Appl. 48, No. 3, 223--226 (2014; Zbl 1314.32028); translation from Funkts. Anal Prilozh. 48, No. 3, 84--88 (2014)], and \item[(2)] every holomorphic map \(f : T \to X\) from a complex torus \(T\) to \(X\) is constant, which is proved in the paper under review. \end{itemize} The proof goes by deducing that any analytic subvariety of minimal positive dimension in \(X\) which is itself not \(X\) has to have the structure of a complex torus, thus contradicting (2). The authors of the paper also provide an example of an OT manifold \(X =X(K,U)\) of \textit{simple type}, which means that, for a given number field \(K\) and a given subgroup of units \(U \not\subset \mathbb{Z}\), there is no proper intermediate field extension \(\mathbb{Q} \subset K' \subset K\) such that \(U \subset \mathcal{O}_{K'}^*\).