Banach algebra related to disk polynomials (Q1057444)

Let \(\alpha\geq 0\) and let m,n be nonnegative integers. Disk polynomials \(R^{(\alpha)}_{m,n}(z)\) are defined by \(R^{(\alpha)}_{m,n}(z)=R_{m\wedge n}^{(\alpha,| m- n|)}(2r^ 2-1)e^{i(m-n)\theta}r^{| m-n|}\), where \(z=re^{i\theta}\), \(m\wedge n=\min \{m,n\}\) and \(R_ n^{(\alpha,\beta)}(x)\) is the Jacobi polynomial of degree n and of order (\(\alpha\),\(\beta)\), normalized, so that \(R_ n^{(\alpha,\beta)}(1)=1\). If \(\alpha =q-2\), \(q=2,3,4,... \), then the disk polynomials are the spherical functions on the sphere \(S^{2q-1}\) considered as the homogeneous space U(q)/U(q-1) [\textit{T. H. Koornwinder}, Math. Cent., Amsterdam, Report TW, 133 (1976)]. Let D and \(\bar D\) be the open unit disk and the closed unit disk in the complex plane, respectively. Denote by \(A^{(\alpha)}\) the space of absolutely convergent disk polynomial series on \(\bar D,\) that is, the space of functions f on \(\bar D\) such that \(f(z)=\sum^{\infty}_{m,n=0}a_{m,n}R^{(\alpha)}_{m,n}(z)\) with \(\sum | a_{m,n}| <\infty,\) and introduce a norm to \(A^{(\alpha)}\) by \(\| f\| =\sum | a_{m,n}|.\) Then \(A^{(\alpha)}\) is a semisimple commutative regular Banach algebra with pointwise multiplication of functions. The author shows the following: (1) The maximal ideal space of \(A^{(\alpha)}\) is identified with \(\bar D.\) (2) If \(\alpha\geq 1\) and \(z_ 0\) is in D, then \(\{z_ 0\}\) is not a set of spectral synthesis. (3) Suppose \(\alpha >0\). Then every set of interpolation with respect to \(A^{(\alpha)}\) is the union of a finite set in D and a Helson set in the boundary identified with the circle group. Banach algebras with the dual convolution structure of \(A^{(\alpha)}\) have been studied by \textit{H. Annabi} and \textit{K. Trimèche} [C. R. Acad. Sci., Paris, Sér. A 278, 21-24 (1974; Zbl 0273.43009)], and by the author [Tôhoku Math. J., II. Ser. 28, 105-115 (1976; Zbl 0321.43011)].