Rationality of proper holomorphic maps between bounded symmetric domains of the first kind. arXiv:2305.01875
Preprint, arXiv:2305.01875 [math.CV] (2023).
Summary: Let \(D_{p,q}\) and \(D_{p',q'}\) be irreducible bounded symmetric domains of the first kind with rank \(q\) and \(q'\), respectively and let \(f:D_{p,q}\to D_{p',q'}\) be a proper holomorphic map that extends \(C^2\) up to the boundary. In this paper we show that if \(q, q'\geq 2\) and \(f\) maps Shilov boundary of \(D_{p,q}\) to Shilov boundary of \(D_{p',q'}\), then \(f\) is of the form \(f = \imath\circ F\), where \[ F=F_1\times F_2\colon D_{p,q}\to \Omega_1'\times \Omega_2', \] \(\Omega_1'\) and \(\Omega_2'\) are bounded symmetric domains, \(F_1 \colon D_{p,q}\to \Omega_1'\) is a proper rational map, \(F_2:D_{p,q}\to \Omega_2'\) is not proper and \(\imath: \Omega_1' \times \Omega'_2 \hookrightarrow D_{p',q'}\) is a holomorphic totally geodesic isometric embedding of a reducible bounded symmetric domain \(\Omega_1' \times \Omega_2'\) into \(D_{p',q'}\) with respect to canonical Kähler-Einstein metrics. Moreover, if \(p>q\), then \(f\) is a rational map. As an application we show that a proper holomorphic map \(f:D_{p,q}\to D_{p',q'}\) that extends \(C^\infty\) up to the boundary is a rational map or a totally geodesic isometric embedding with respect to the Kobayashi metrics, if \(3\leq q \leq q'\leq 2q-1.\)
MSC:
32H35 | Proper holomorphic mappings, finiteness theorems |
32M15 | Hermitian symmetric spaces, bounded symmetric domains, Jordan algebras (complex-analytic aspects) |
14M15 | Grassmannians, Schubert varieties, flag manifolds |
32V40 | Real submanifolds in complex manifolds |
arXiv data are taken from the
arXiv OAI-PMH API.
If you found a mistake, please
report it directly to arXiv.