Function theory on quotient domains related to the polydisc

Inner functions are the backbone of holomorphic function theory. This paper studies the inner functions on quotient domains of the open unit polydisc, $D^d$, arising from the group action of finite pseudo-reflection groups. Such quotient domains are known to be biholomorphic to the proper image $\theta \left(D^d\right)$ of $D^d$ under certain polynomial maps $\theta :D^d\to \theta \left(D^d\right)$. The main contributions of this paper are as follows:

• (1)
  We show that the closed algebra generated by inner functions on $\theta \left(D^d\right)$ forms a proper subalgebra of $H^{\infty }\left(\theta \right(D^d\left)\right)$, the algebra of bounded holomorphic functions on $\theta \left(D^d\right)$.
• (2)
  The set of all rational inner functions on $\theta \left(D^d\right)$ is shown to be dense in the norm-unit ball of $H^{\infty }\left(\theta \right(D^d\left)\right)$ with respect to the uniform compact-open topology, thereby proving the Carathéodory approximation result.
• (3)
  As an application of the Carathéodory approximation theorem, we approximate holomorphic functions on $\theta \left(D^d\right)$ that are continuous in the closure of $\theta \left(D^d\right)$ by convex combinations of rational inner functions in the $L^2$-norm, thereby obtaining a version of the Fisher's theorem.
• (4)
  Given the two approximation results above, establishing a structure for rational inner functions is essential. We have identified the structure of rational inner functions on $\theta \left(D^d\right)$.
• (5)
  The Carathéodory approximation for operator-valued functions is also discussed.