Stable polynomials and admissible numerators in product domains (Q7028834)

A polydisk is the set = \(\{(z_1,\ldots,z_d) \in {\mathbb C}^d; |z_1| < 1,\ldots, |z_d| < 1\}\). Given a polynomial \(p\) with no zeros in the polydisk, the authors study the problem of determining the ideal of polynomials \(q\) with the property that the rational function \(q/p\) is bounded near a boundary zero of \(p\). They describe this ideal in the case where the zero set of \(p\) is smooth and satisfies a nondegeneracy condition. They also describe the ideal in terms of an integral closure when \(p\) has an isolated zero on the distinguished boundary. Furthermore, they construct examples to illustrate sharpness of the results and necessity of the assumptions.