Solvability of the Gleason problem on a class of bounded pseudoconvex domains (Q2141685): Difference between revisions

Let \(\Omega \subset \mathbb{C}^n\) be a domain. We say that \(\Omega\) is \textit{Gleason solvable} if for each \(\alpha = (\alpha_1,\dots, \alpha_n)\in \Omega\), the ideal in \(H^\infty(\Omega)\) comprising all functions that vanish at \(\alpha\) is generated by \((z_1-\alpha_1),\dots, (z_n-\alpha_n)\). The author shows that if \(\Omega\) is a bounded pseudoconvex domain having the property that any \((0, s)\)-form \(f\), \(s=1,\dots, n\), with bounded measurable coefficients -- \(f\) being \(\overline\partial\)-closed for \(s\neq n\) -- admits a \((0, s-1)\)-form \(u\) with \(\mathbb{L}^\infty\)-coefficients such that \(\overline\partial{u} = f\), then \(\Omega\) is Gleason solvable. The author discusses an application to the commuting Toeplitz-operator problem (for the Bergman space \(A^2(\Omega)\)) in several complex variables, which seems to be the motivation for the latter result. In fact, as the author observes, the proof of the above-mentioned result can be adapted to show that if \(\Omega\) is a bounded pseudoconvex domain, then the ideal in the Bergman space \(A^2(\Omega)\) comprising all functions that vanish at \(\alpha = (\alpha_1,\dots, \alpha_n)\in \Omega\) is generated by \((z_1-\alpha_1),\dots, (z_n-\alpha_n)\).