Lifting to the spectral ball with interpolation (Q892323)

Let \(\Omega_n\) (\(n\geq2\)) stand for the spectral ball \[ \Omega_n:=\{A\in\text{Mat}(n\times n;\mathbb C): \varrho(A)<1\}, \] where \(\varrho\) denotes the spectral radius. Let \(\mathbb G_n\) be the symmetrized polydisc; \(\mathbb G_n:=\sigma(\mathbb D^n)\), where \(\sigma:=(\sigma_1,\dots,\sigma_n):\mathbb C^n\longrightarrow\mathbb C^n\), \(\sigma_1,\dots,\sigma_n\) are the elementary symmetric polynomials. Define \(\pi=(\pi_1,\dots,\pi_n):\text{Mat}(n\times n;\mathbb C)\longrightarrow\mathbb C^n\), \(\pi_j(A):=\sigma_j(\lambda_1,\dots,\lambda_n)\), where \(\lambda_1,\dots,\lambda_n\) are the eigenvalues of \(A\). Given \(m\in\mathbb N\), \(a_1,\dots,a_m\in\mathbb D\), \(A_1,\dots,A_m\in\Omega_n\), and \(f\in\mathcal O(\mathbb D,\mathbb G_n)\) with \(F(a_j)=\pi(A_j)\), \(j=1,\dots,m\), the \textit{Nevanlinna-Pick lifting problem} is to decide whether there exists an \(F\in\mathcal O(\mathbb D,\Omega_n)\) such that \(\pi\circ F\equiv f\) and \(F(a_j)=A_j\), \(j=1,\dots,m\). So far the positive answer is known for \(n\in\{2,3,4,5\}\). The main result of the paper states that the Nevanlinna-Pick lifting problem can be solved iff the following localized version can be solved: for any \((p,M)\in\{(a_1,A_1),\dots,(a_m,A_m)\}\), for any neighborhood \(U\) of \(p\), and for any \(f\in\mathcal O(U,\mathbb G_n)\) with \(f(p)=\pi(M)\) there exist a neighborhood \(U'\subset U\) of \(p\) and \(F\in\mathcal O(U',\Omega_n)\) such that \(\pi\circ F\equiv f\), \(F(p)=M\), and \(F(v)\) is cyclic for all \(v\in U'\setminus\{p\}\).