[论文解读] The Corona theorem and stable rank for the algebra $\mC +BH^\infty$

Raymond Mortini, Amol Sasane+1 more|arXiv (Cornell University)|Mar 6, 2008

Holomorphic and Operator Theory参考文献 8被引用 3

一句话总结

本文建立了代数 $\mathbb{C} + BH^\infty$ 上的科罗纳定理，并计算了其巴斯稳定秩，其中 $B$ 为布拉斯科积。证明了在 $H^\infty_B$ 中函数满足的科罗纳条件——在无穷远处一致远离零——可推出贝祖方程解的可解性，并且解具有统一的有界性。同时证明了 $H^\infty_B$ 和 $A(\mathbb{D})_B$ 的巴斯稳定秩为 1，将经典结果推广至 $H^\infty$ 的受限子代数。研究结果通过多种方法获得，包括插值法与理想理论论证。

ABSTRACT

Let $B$ be a Blaschke product. We prove in several different ways the corona theorem for the algebra $H^\infty_B:=\mC+BH^\infty$. That is, we show the equivalence of the classical {\em corona condition} on data $f_1, ..., f_n \in H^\infty_B$: \[ \forall z \in \mD, \sum_{k=1}^{n} |f_k(z)| \geq δ>0, \] and the {\em solvability of the Bezout equation} for $g_1, ..., g_n \in H^\infty_B$: \[ \forall z\in \mD, \sum_{k=1}^n g_k (z)f_k(z)=1. \] Estimates on solutions to the Bezout equation are also obtained. We also show that the Bass stable rank of $H^\infty_B$ is 1. Let $A(\mD)_B$ be the subalgebra of all elements from $H^\infty_B$ having a continuous extension to the closed unit disk $\bar{\mD}$. Analogous results are obtained also for $A(\mD)_B$.

研究动机与目标

• 解决 $H^\infty$ 子代数中缺乏科罗纳定理的问题，这些子代数由布拉斯科积零点处函数及其导数的逐点约束所定义。
• 在经典科罗纳条件下，证明 $H^\infty_B = \mathbb{C} + BH^\infty$ 中贝祖方程的可解性，并对解给出统一的估计。
• 证明 $H^\infty_B$ 和 $A(\mathbb{D})_B$ 的巴斯稳定秩为 1，将已知的 $H^\infty$ 和 $A(\mathbb{D})$ 结果推广。
• 通过多种独立方法提供 $H^\infty_B$ 科罗纳定理的证明，包括极大理想空间的余稠密性与理想约化技术。
• 研究 $A(\mathbb{D})_B$ 的极大理想空间结构，表明其同胚于 $\overline{\mathbb{D}}$，其中布拉斯科积零点的极限点被等同。

提出的方法

• 通过四种不同的方法证明了 $H^\infty_B$ 的科罗纳定理，包括将经典的卡尔松科罗纳定理直接应用于 $H^\infty$ 的极大理想空间。
• 采用 $H^\infty_B$ 的等价形式 $\mathbb{C} + BH^\infty$，其中代数中的函数在布拉斯科积 $B$ 的每个重数为 $m_k$ 的零点 $a_k$ 处，其函数值与前 $m_k - 1$ 阶导数均一致。
• 利用插值技术推导出贝祖方程解的估计，并利用存在一个函数 $p \in A(\mathbb{D})$ 的事实，该函数在 $B$ 的零点集的极限点上取值为 1，其余地方小于 1。
• 通过将单位模对 $(f,g)$ 约化为其中一个系数为常数的情形，并应用特雷尔关于 $H^\infty$ 稳定秩的结果，证明了 $H^\infty_B$ 的巴斯稳定秩为 1。
• 对于 $A(\mathbb{D})_B$，利用 $A(\mathbb{D})$ 的巴斯稳定秩为 1 的事实，并构造一个合适的截断函数 $p$，将问题约化至圆盘代数。
• 使用代数论证证明：若代数 $\mathcal{A}$ 的巴斯稳定秩为 $n$，则对任意 $\mathcal{A}$ 的真理想 $\mathbb{I}$，代数 $\mathbb{C} + \mathbb{I}$ 的巴斯稳定秩也为 $n$，并将此结果应用于 $\mathcal{A} = H^\infty$ 与 $\mathbb{I} = BH^\infty$。

实验结果

研究问题

• RQ1 在 $H^\infty_B$ 中，$n$ 个函数满足经典科罗纳条件是否意味着贝祖方程存在解，且解在算子范数下具有一致有界性？
• RQ2 能否通过多种独立方法（包括理想理论与插值法）证明 $H^\infty_B$ 的巴斯稳定秩为 1？
• RQ3 $A(\mathbb{D})_B$ 的极大理想空间是否同胚于 $\overline{\mathbb{D}}$，其中布拉斯科积零点集的极限点被等同？
• RQ4 贝祖方程的解界能否与生成元个数 $n$ 无关，如同经典 $H^\infty$ 情形一样？
• RQ5 当 $\mathbb{I}$ 是已知稳定秩的巴拿赫代数 $\mathcal{A}$ 的真理想时，$\mathbb{C} + \mathbb{I}$ 的稳定秩是否等于 $\mathcal{A}$ 的稳定秩？

主要发现

• 科罗纳定理在 $H^\infty_B = \mathbb{C} + BH^\infty$ 上成立：若对所有 $z \in \mathbb{D}$ 有 $\sum_{k=1}^n |f_k(z)| \geq \delta > 0$，则存在 $g_k \in H^\infty_B$，使得对所有 $z \in \mathbb{D}$ 有 $\sum_{k=1}^n g_k(z)f_k(z) = 1$。
• 获得了贝祖方程解 $g_k$ 的统一估计：$\|g_k\|_\infty \leq C(\delta)$，其中 $C(\delta)$ 仅依赖于 $\delta$，而与 $n$ 无关。
• $H^\infty_B$ 的巴斯稳定秩为 1，通过多种方法证明，包括约化至特雷尔关于 $H^\infty$ 稳定秩的结果。
• $A(\mathbb{D})_B$ 的极大理想空间同胚于 $\overline{\mathbb{D}}$，其中布拉斯科积零点序列的极限点被等同，前提是零点集不聚集于正测度集上。
• $A(\mathbb{D})_B$ 的巴斯稳定秩也为 1，通过构造一个在 $B$ 的零点极限集上为 1 的截断函数 $p$，将单位模对约化至圆盘代数而证明。
• 证明了一个代数结果：若 $\mathcal{A}$ 的巴斯稳定秩为 $n$，则对任意 $\mathcal{A}$ 的真理想 $\mathbb{I}$，代数 $\mathbb{C} + \mathbb{I}$ 的巴斯稳定秩也为 $n$，并将其应用于 $\mathcal{A} = H^\infty$ 与 $\mathbb{I} = BH^\infty$。