[论文解读] Projections in the Space $H^{\infty}$ and the Corona Theorem for Coverings of Bordered Riemann Surfaces

Alexander Brudnyi|ArXiv.org|Oct 14, 2001

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

一句话总结

本文在具有边界的黎曼曲面的正规覆盖上，建立了有界全纯函数空间 $ H^{\infty}(\tilde{U}) $ 上连续线性投影算子 $ P: H^{\infty}(\tilde{U}) \to p_U^*(H^\infty(U)) $ 的存在性，该算子满足乘法性质 $ P(fg) = P(f)g $，并证明在基本群和覆盖结构满足拓扑条件时，此类投影存在。关键贡献是将福雷利定理推广到具有统一范数界的一般边界黎曼曲面覆盖上。

ABSTRACT

Let $M$ be a non-compact connected Riemann surface of finite type, and $R\subset\subset M$ be a relatively compact domain such that $H_{1}(M,\Z)=H_{1}(R,\Z)$. Let $ ilde R\longrightarrow R$ be a covering. We study the algebra $H^{\infty}(U)$ of bounded holomorphic functions defined in some domains $U\subset ilde R$. Our main result is a Forelli type theorem on projections in $H^{\infty}(\Di)$.

研究动机与目标

• 将福雷利定理在 $H^\infty$ 中的投影推广到具有边界的黎曼曲面的覆盖上。
• 建立连续线性投影算子 $ P: H^\infty(\tilde{U}) \to p_U^*(H^\infty(U)) $ 存在的条件，且满足乘法性质 $ P(fg) = P(f)g $。
• 提供仅依赖于基域 $ N $ 的统一范数界 $ \|P\| \leq C(N) $，确保有界性与覆盖无关。
• 通过在全纯覆盖上此类投影的存在性，将结果应用于 $ H^\infty(R) $ 的科尔纳问题。
• 在去除单位圆盘中闭圆盘的离散族且具有正下确界半径的条件下，推广 $ H^\infty $-函数的插值理论。

提出的方法

• 构造与核 $ K(U) = \ker(i_*: \pi_1(U) \to \pi_1(R)) $ 对应的正规覆盖 $ p_U: \tilde{U} \to U $，其中 $ i: U \hookrightarrow R \in \mathcal{F}_c(N) $。
• 在纤维 $ F_z = p_U^{-1}(z) $ 上定义一族关于 $ z \in U $ 解析依赖的逐点投影 $ P_z: l^\infty(F_z) \to C(F_z) $，使得 $ P[f]|_{F_z} = P_z[f|_{F_z}] $。
• 施加乘法条件 $ P(fg) = P(f)g $，其中 $ f \in H^\infty(\tilde{U}), g \in p_U^*(H^\infty(U)) $，以确保与代数结构的相容性。
• 使用单位圆上的伪双曲度量 $ \rho $ 定义全纯覆盖下点的原像之间的距离条件。
• 应用加尔内特的 $ H^\infty $ 理论中的不等式（例如，[Ga, Ch.VII, Lemma 5.3]）来估计伪双曲距离的乘积，并推导出插值特征的下界。
• 证明：若 $ \{z_j\} \subset U $ 是具有特征 $ \delta $ 的插值序列，且 $ \{\xi_j\} $ 满足 $ \rho^*(\xi_j, z_j) \leq \lambda $，则 $ \prod_{j \neq k} P_{\xi_j}(\xi_k) \geq \frac{\delta - 2\lambda/(1+\lambda^2)}{1 - 2\lambda\delta/(1+\lambda^2)} $。

实验结果

研究问题

• RQ1 在覆盖 $ \tilde{U} \to U $ 的何种拓扑与解析条件下，存在满足 $ P(fg) = P(f)g $ 的连续线性投影算子 $ P: H^\infty(\tilde{U}) \to p_U^*(H^\infty(U)) $？
• RQ2 此类投影算子的范数能否被仅依赖于基域 $ N $ 的常数统一有界，而与覆盖无关？
• RQ3 此类投影算子的存在是否意味着 $ U $ 中的插值序列可被分解为两个子序列，每个子序列的特征至少为 $ \sqrt{\delta} $，其中 $ \delta $ 是原始特征？
• RQ4 是否存在一个统一的投影算子，适用于从 $ \mathbb{D} $ 中去除具有统一正伪双曲半径的闭圆盘族所得到的域 $ U \subset \mathbb{D} $？
• RQ5 通过伪双曲度量测量的 $ U $ 中两个插值序列之间的距离，是否能保证它们的并集仍为插值序列？

主要发现

• 存在满足 $ P(fg) = P(f)g $ 的连续线性投影算子 $ P: H^\infty(\tilde{U}) \to p_U^*(H^\infty(U)) $，且 $ \|P\| \leq C(N) $，其中 $ C(N) $ 仅依赖于基域 $ N $。
• 对于任意具有特征 $ \delta $ 的插值序列 $ \{z_j\} \subset U $，以及任意满足 $ \lambda < 2\lambda/(1+\lambda^2) < \delta $ 的 $ \lambda $，若 $ \{\xi_j\} $ 满足 $ \rho^*(\xi_j, z_j) \leq \lambda $，则有 $ \prod_{j \neq k} P_{\xi_j}(\xi_k) \geq \frac{\delta - 2\lambda/(1+\lambda^2)}{1 - 2\lambda\delta/(1+\lambda^2)} $。
• 若两个插值序列 $ \{z_i\}, \{y_i\} \subset U $ 满足对所有 $ i,j $ 有 $ \rho^*(z_j, y_i) \geq c > 0 $，则其并集 $ \{z_i\} \cup \{y_i\} $ 在 $ U $ 中也是插值的。
• 任意具有特征 $ \delta $ 的插值序列 $ \{z_j\} \subset U $ 可被划分为两个不相交的子序列 $ \{z_{1j}\}, \{z_{2j}\} $，每个子序列的特征至少为 $ \sqrt{\delta} $。
• 此类投影算子的存在性使得能够构造从单位圆盘 $ \mathbb{D} $ 到 $ H^\infty(U) $ 的极大理想空间的非平凡解析映射，该映射与插值序列的极限点相关。
• 该结果将福雷利定理推广到具有边界的黎曼曲面的覆盖上，并支持一个猜想：对于从 $ \mathbb{D} $ 中去除具有统一正伪双曲半径的圆盘族所得到的域，此类投影算子可统一存在。