Factorization of Blaschke products and ideal theory in H^

DOI10.1016/J.JFA.2010.08.012MaRDI QIDQ630802zbMATH OpenOpenAlexFDO

Publication date 21 March 2011

Published in Journal of Functional Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jfa.2010.08.012

bounded analytic functions Carleson-Newman Blaschke products Gleason part interpolating Blaschke products

Spaces of bounded analytic functions of one complex variable (30H05) Blaschke products (30J10) Ideals and subalgebras (46H10) Banach algebras of differentiable or analytic functions, (H^p)-spaces (46J15)

Review text

Let \(H^\infty\) be the Banach algebra of bounded analytic functions on the unit disk \(\mathbb D\) with the supremum norm. Identifying a function in \(H^\infty\) with its Gelfand transform, it may be seen as a function on the maximal ideals spectrum \(M(H^\infty)\). Let \(\{a_n\}_{n\in\mathbb N}\subset \mathbb D\) be a sequence of points such that \(\sum(1-|a_n|)<\infty\). Associated to it there is the Blaschke product \[ b(z) = \prod_{n=1}^\infty \frac{-a_n}{|a_n|} \frac{z-a_n}{1-\overline{a}_n z},\;\;\;z\in\mathbb D\,. \] A sequence \(\{a_n\}_{n\in\mathbb N}\) (and its associated Blaschke product) is called interpolating if for every bounded sequence \(\{c_n\}_{n\in\mathbb N}\subset \mathbb C\) there is a function \(f\in H^\infty\) such that \(f(a_n)=c_n\) for every \(n\). For \(x,y\in M(H^\infty)\), their pseudohyperbolic distance is defined by \[ \rho(x,y)=\sup\big\{|f(x)| : f(y)=0,\;f\in H^\infty, \;\| f\|_\infty\leq1\big\}\,. \] The Gleason part containing \(x\in M(H^\infty)\) is the set \[ P(x)= \big\{y\in M(H^\infty) : \rho(x,y)<1\big\}\,. \] If \(P(x)\neq\{x\}\), it is called non-trivial. \(G\) is the union of all non-trivial Gleason parts in \(M(H^\infty)\). Let \(I\) be a closed ideal of \(H^\infty\). \(Z(I)\) is the set of common zeros (in \(M(H^\infty)\)) of the functions in \(I\). The aim of the paper is to study closed ideals of \(H^\infty\) such that \(Z(I)\subset G\). The general study for closed ideals not satisfying the above requirement is extremely difficult. The main aim is to provide an answer to the following questions: Question 1. Characterize the non-void compact and totally disconnected subsets \(E\subset G\) satisfying \(Z(I(E))=E\), \(I(E)\) being the ideal of functions vanishing on \(E\). Question 2. Let \(E\subset G\) be a non-void compact and totally disconnected subset. For which bounded numbering function \(n_E:E\to\mathbb N\setminus\{0\}\) does there exist a closed ideal \(I\) in \(H^\infty\) satisfying \(Z(I)=E\) and with order of vanishing at each \(x\in E\) given by \(n_E(x)\)? Question 3. Let \(I,J\) be two closed ideals of \(H^\infty\) with zero sets in \(G\). Is their tensor product a closed ideal of \(H^\infty\). Question 4. Let \(I,J\) be two closed ideals of \(H^\infty\) with zero sets in \(G\). Is their product \[ IJ = \big\{fg : f\in I, g\in J\big\} \] a closed ideal of \(H^\infty\)? These questions are first addressed to locally, and then globally.

Recommendations

Cites work

Cited in

(11)

This page was built for publication: Factorization of Blaschke products and ideal theory in \(H^{\infty }\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q630802)