Kähler submanifolds of the symmetrized polydisc (Q1747387): Difference between revisions

Consider the \(n\)-dimensional symmetrized polydisc \(\mathbb G^n \subset \mathbb C^n\), that is, the image \(\mathbb G^n = \pi_n(\Delta^n)\) of the \(n\)-dimensional polydisc \(\Delta^n \subset \mathbb C^n\) under the holomorphic map \(\pi_n = (\pi_{n,1}, \ldots, \pi_{n,n}): \mathbb C^n \to \mathbb C^n\), whose components are given by the \(n\) elementary symmetrized polynomials \[ \pi_{n, k}(z) = \displaystyle \sum_{1 \leq j_1 < \ldots < j_k \leq n} z_{j_1} \ldots z_{j_k}. \] Denote also by \(\omega_{\mathbb C^n}\) and \(\omega_{\mathbb G^n}\) the Kähler forms of the standard Euclidean metric of \(\mathbb C^n\) and of the Bergmann metric of \(\mathbb G^n\), respectively. The main result of this paper consists in the proof that there exists no domain \(D \subset \mathbb C^n\) admitting two non-constant maps \(F: D \to \mathbb C^n\) and \(G: D \to \mathbb G^n\) such that \(F^* \omega_{\mathbb C^n}= G^* \omega_{\mathbb G^n}\). In particular, there is no Kähler manifold that can be holomorphically isometrically embedded in \((\mathbb G^n, \omega_{\mathbb G^n})\) and also in \((\mathbb C^n, \omega_{\mathbb C^n})\). This result provides new examples of non-homogeneous Kähler manifolds that are \textit{not relatives} in the sense of \textit{A. J. Di Scala} and \textit{A. Loi} [Ann. Sc. Norm. Super. Pisa, Cl. Sci. (5) 9, No. 3, 495--501 (2010; Zbl 1253.53066)].