Characterizations of the symmetrized polydisc via another family of domains

Abstract

We find new characterizations for the points in the \textit{symmetrized polydisc} ${\mathbb{G}}_n$, a family of domains associated with the spectral interpolation, defined by \[ \mathbb G_n :=\left\{ \left(\sum_{1\leq i\leq n} z_i,\sum_{1\leq i<j\leq n}z_iz_j \dots, \prod_{i=1}^n z_i \right): \,|z_i|<1, i=1,\dots,n \right \}. \] We introduce a new family of domains which we call \textit{the extended symmetrized polydisc} ${\tilde{\mathbb{G}}}_n$, and define in the following way: \begin{align*} \widetilde{\mathbb G}_n := \Bigg\{ (y_1,\dots,y_{n-1}, q)\in \mathbb C^n :\; q \in \mathbb D, \; y_j = β_j + \barβ_{n-j} q, \; β_j \in \mathbb C &\text{ and }\\ |β_j|+ |β_{n-j}| < {n \choose j} &\text{ for } j=1,\dots, n-1 \Bigg\}. \end{align*} We show that ${\mathbb{G}}_n={\tilde{\mathbb{G}}}_n$ for $n=1,2$ and that ${\mathbb{G}}_n⊊{\tilde{\mathbb{G}}}_n$ for $n\ge 3$. We first obtain a variety of characterizations for the points in ${\tilde{\mathbb{G}}}_n$ and we apply these necessary and sufficient conditions to produce an analogous set of characterizations for the points in ${\mathbb{G}}_n$. Also we obtain similar characterizations for the points in ${\Gamma }_n\setminus {\mathbb{G}}_n$, where ${\Gamma }_n=\overline{{\mathbb{G}}_n}$. A set of $n-1$ fractional linear transformations play central role in the entire program. We also show that for $n\ge 2$, ${\tilde{\mathbb{G}}}_n$ is non-convex but polynomially convex and is starlike about the origin but not circled.

arXiv comment29 Pages