Homotopic equivalence of rational proper holomorphic discs of bounded symmetric domains of type I (Q2317489)

Let \(\Delta\) denote the unit disc in the complex plane and let \(\Omega_{r,s}\), with \(r\leq s\), denote the bounded symmetric domain of type I defined by \[ \Omega_{r,s}=\{Z\in M^{\mathbb C}_{r,s}:I_r-ZZ^*>0\}, \] where \(M^{\mathbb C}_{r,s}\) stands for the set of complex-valued \(r\times s\) matrices. Let \(\Omega_1\subset\mathbb C^{n_1}\) and \(\Omega_2\subset\mathbb C^{n_2}\) be bounded domains and let \(S_1\) and \(S_2\) be its Shilov boundaries. A proper holomorphic map \(f:\Omega_1\longrightarrow\Omega_2\) that is holomorphic near \(S_1\) we call a \textit{Shilov map} if \(f(S_1)\subset S_2\). Recall that the Shilov boundary \(S_{r,s}\) of \(\Omega_{r,s}\) is given by \[ S_{r,s}=\{Z\in M^{\mathbb C}_{r,s}:I_r-ZZ^*=0\}, \] whereas the Shilov boundary of the ball is its toplogical boundary. Define a rational proper holomorphic Shilov map \(D_{m_1,\dots,m_r}:\Delta\longrightarrow\Omega_{r,s}\) by \[ z\longmapsto\begin{pmatrix}&z^{m_1}&&0\\0&&\ddots&\\&0&&z^{m_r}\end{pmatrix} \] for some \(m_1,\dots,m_r\in\mathbb N\). The author proves the following result. All nonconstant rational proper holomorphic Shilov maps \(\Delta\longrightarrow\Omega_{r,s}\) are homotopic, through rational proper Shilov maps, to the following (1) \(D_{1,\dots,1}\) if \(r< s\), (2) \(D_{m_1,\dots,m_r}\) for some \(m_1,\dots,m_r\in\mathbb N\) if \(r=s\). Furthermore, \(D_{m_1,\dots,m_r}\) and \(D_{l_1,\dots,l_1}\) are homotopically equivalent through rational proper holomorphic Shilov maps if and only if \[ m_1+\dots+m_r=l_1+\dots+l_r. \]