On ideals in \(H^\infty\) whose closures are intersections of maximal ideals (Q1396294)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On ideals in \(H^\infty\) whose closures are intersections of maximal ideals
scientific article

    Statements

    On ideals in \(H^\infty\) whose closures are intersections of maximal ideals (English)
    0 references
    30 June 2003
    0 references
    Let \(H^\infty \) be the Banach algebra of all bounded analytic functions on the open unit disk \(D . \) The author introduces the so-called condition (\(\alpha\)) for a non-trivial proper ideal \(I\) in \(H^\infty \) which is sufficient to prove that (1) the closure of \(I \) is an intersection of maximal ideals. As usual, \(M(H^\infty) \) denotes the maximal ideal space and for \( f \in H^\infty,\) the zero set \( Z(f) \) is the set of all \(\varphi \in M(H^\infty)\) such that \( \varphi (f)=0 . \) Further, the zero set \(Z(I) \) of the ideal \(I \) is the intersection of all \(Z (f) \) with \( f \in I . \) The condition (\(\alpha\)) says that for any \(0<\sigma <1 \) and any subset \(A \) of the unit disk \(D\) such that the closure of \(A\) (considered as a subset of \(M(H^\infty)) \) is disjoint from \(Z(I),\) there exists \(h\in I \) of norm \(\leq 1 \) and \( |h(x)|\geq \sigma \) for all \( x \in A . \) For example, a prime ideal in \(H^\infty \) that does not contain any interpolating Blaschke product satisfies condition (\(\alpha\)). As a consequence, every prime ideal in \(H^\infty \) has property (1). On the other hand, condition (\(\alpha\)) is necessary for the validity of (1) for those ideals \(I \) such that each Gleason part \(P(\varphi) \) is contained in \(Z(I) \) for all \( \varphi \in Z(I) \) with \(P(\varphi) \neq {\varphi} .\) Special attention is devoted to single-generated ideals and condition (\(\alpha\)) is reformulated in terms of Jensen's inequality.
    0 references
    spaces of analytic functions
    0 references
    closed ideals
    0 references
    Gleason part
    0 references
    outer functions
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references