English

Lifting maps from the symmetrized polydisk in small dimensions

Complex Variables 2017-10-24 v4 Optimization and Control

Abstract

The spectral unit ball Ωn\Omega_n is the set of all n×nn\times n matrices with spectral radius less than 11. Let π(M)Cn\pi(M) \in \mathbb C^n stand for the coefficients of its characteristic polynomial of MM (up to signs), i.e. the elementary symmetric functions of its eigenvalues. The symmetrized polydisk is Gn:=π(Ωn)\mathbb G_n:=\pi(\Omega_n). When investigating Nevanlinna-Pick problems for maps from the disk to the spectral ball, it is often useful to project the map to the symmetrized polydisk (for instance to obtain continuity results for the Lempert function): if ψO(D,Ωn)\psi \in \mathcal O(\mathbb D, \Omega_n), then πψO(D,Gn)\pi \circ \psi \in \mathcal O(\mathbb D, \mathbb G_n). Given a map φO(D,Gn)\varphi \in \mathcal O(\mathbb D, \mathbb G_n), we are looking for necessary and sufficient conditions for this map to "lift through given matrices", i.e. find ψ\psi as above so that πψ=φ\pi \circ \psi = \varphi and ψ(αj)=Mj\psi (\alpha_j) = M_j, 1jN1\le j \le N. A natural necessary condition is φ(αj)=π(Mj)\varphi(\alpha_j)=\pi(M_j), 1jN1\le j \le N. When the matrices MjM_j are derogatory (i.e. do not admit a cyclic vector) new necessary conditions appear, involving derivatives of φ\varphi at the points αj\alpha_j. Those conditions are necessary and sufficient for a local lift. We give a scheme which shows that the necessary conditions are also sufficient for a global lift in small dimensions (up to 55), and a counter-example to show that the scheme fails in dimension 66 (and above).

Keywords

Cite

@article{arxiv.1410.8567,
  title  = {Lifting maps from the symmetrized polydisk in small dimensions},
  author = {Nikolai Nikolov and Pascal J. Thomas and Duc-Anh Tran},
  journal= {arXiv preprint arXiv:1410.8567},
  year   = {2017}
}

Comments

22 pages; many small mistakes and typos fixed, thanks to the referee. To appear in Complex Analysis and Operator Theory

R2 v1 2026-06-22T06:42:41.511Z