Topology of the Maximal Ideal Space of $H^{\infty}$

Alexander Brudnyi

Home/Archive/arXiv

arXiv · math/9908168

Topology of the Maximal Ideal Space of $H^{\infty}$

Alexander Brudnyi

View original source ↗Read source document ↗Export metadata ↓

Abstract

We study the structure of the maximal ideal space $M(H^{\infty})$ of the algebra $H^{\infty}=H^{\infty}(\Di)$ of bounded analytic functions defined on the open unit disk $\Di\subset\Co$. Based on the fact that $dim\ M(H^{\infty})=2$ we prove for $H^{\infty}$ the matrix-valued corona theorem. Our results heavily rely on the topological construction describing maximal ideal spaces of certain algebras of continuous functions defined on the covering spaces of compact manifolds.

Explore related subjects

math.CV math.FA

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Alexander Brudnyi. 1999-08-30. Topology of the Maximal Ideal Space of $H^{\infty}$. https://arxiv.org/abs/math/9908168

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Upper semicontinuity of algebraic dimension

We prove the conjecture that the deformation limit of Moishezon manifolds under a smooth deformation over the unit disc in $\mathbb{C}$ is Moishezon. More generally, for a proper holomorphic submersion over the unit disc with connected compact fibers satisfying the $\partial\bar\partial$-lemma except possibly at one parameter, we show that the very general algebraic dimension is the minimum on the entire disc. The proof builds on Barlet's theory of cycle spaces and Rao--Tsai's torsion-freeness method for extending integral Chern classes. Taking this approach as a starting point, we handle the remaining finite-order torsion obstruction by a scalar phase estimate for divisor masses. This gives uniform Gauduchon mass bounds on each component over compact subsets of the base without assuming torsion-freeness. Bishop compactness then establishes properness of every irreducible component of the relative divisor space, and Barlet's algebraic-dimension theorem yields the conclusion directly. Combined with Rao--Tsai's theorem,the deformation-limit result also shows that every fiber is Moishezon whenever uncountably many fibers are Moishezon. The Fujiki--Pontecorvo families and Huybrechts' twistor and Brauer families clarify the scope and necessity of the hypotheses.

math.CV↗

arXiv2026

A Canonical Characterization of Normal Functions

We characterize normal families in the unit ball as those families of analytic functions whose restrictions to each complex line through the origin are normal. We then generalize this result to a characterization of normal functions according to behavior on analytic disks. We give a simple proof of an old theorem of Hartogs stating that a formal power series at $0$ in $\Cn$ is convergent if its restriction to each complex line through the origin is convergent.

math.CV↗

arXiv2026

The curvature estimation of the complete Kähler-Einstein metrics on the disk bundles

In this paper, we compute the holomorphic sectional curvature and Riemannian sectional curvature of the complete Kähler-Einstein metric on the disk bundle over any complete Kähler-Einstein manifold. Then we study whether it is negatively pinched. When the base space is a bounded pseudoconvex domain equipped with its complete Kähler-Einstein metric, the corresponding disk bundle is a pseudoconvex Hartogs domain. We prove that the Bergman metric on such a Hartogs domain is Kähler-Einstein if and only if the domain is biholomorphically equivalent to a unit ball.

math.CV↗