[论文解读] Is the Dirichlet Space a Quotient of $DA_n$?

Richard Rochberg|arXiv (Cornell University)|May 9, 2016

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

一句话总结

本文证明了单位圆盘上的Dirichlet空间无法等距表示为任意有限 $n$ 的Drury-Arveson空间 $DA_n$ 的商空间。通过使用由再生核夹角诱导的度量 $δ$，作者在高维球体内利用体积比较导出矛盾，表明由于两空间度量之间的几何不相容性，所需的等距嵌入不可能存在。

ABSTRACT

We show that the Dirichlet space is not a quotient of the Drury-Arveson space on the n-ball for any finite n. The proof is based a quantitative comparison of the metrics induced by the Hilbert spaces

研究动机与目标

• 确定Dirichlet空间 $\mathcal{D}$ 是否可被实现为任意有限 $n$ 下的Drury-Arveson空间 $DA_n$ 的商空间。
• 利用源自核函数夹角的 $\delta$-度量，研究Dirichlet空间与 $DA_n$ 之间的几何与度量不相容性。
• 建立 $\mathcal{D}$ 通过 $DA_n$ 的希尔伯特空间商结构在有限 $n$ 下不成立的结论，尽管在无限维情况下是可能的。
• 基于 $\delta$-度量空间中体积增长与球体填充的几何障碍，提供一个几何障碍。

提出的方法

• 定义度量 $\delta_K(x,w) = \sqrt{1 - |\langle \widehat{k_x}, \widehat{k_w} \rangle|^2}$，该度量衡量再生核希尔伯特空间中归一化核函数之间夹角的正弦值。
• 利用恒等式 $\delta_{DA_1}(z,w) = \left| \frac{z-w}{1-\bar{z}w} \right|$，将 $\delta_{DA_n}$ 与单位圆盘上的伪双曲度量联系起来。
• 构造单位圆盘中的一组有限点 $\{z_i\}$，使得其在假设映射 $\Phi: \mathbb{D} \to \mathbb{B}^n$ 下的像点在 $\delta_{DA_n}$-度量下必须具有互不相交的小球。
• 估计此类互不相交球的数量 $N \geq e^K$ 及其单个体积 $V_S \geq (A/K)^n$，而包含它们的大球体积满足 $V_L \leq (BK)^n$，从而在 $K$ 较大时导致矛盾。
• 应用 $\delta_{DA_n}$ 的强化三角不等式，以限制从原点到任一小球内点的距离，确保这些小球位于半径为 $1 - 1/(3K)$ 的球内。

实验结果

研究问题

• RQ1 Dirichlet空间 $\mathcal{D}$ 是否可被表示为某个有限 $n$ 下的 $DA_n$ 的商空间？
• RQ2 是否存在映射 $\Phi: \mathbb{D} \to \mathbb{B}^n$ 及正函数 $\lambda$，使得 $\mathcal{D}$ 的核满足 $h(w,z) = \lambda(z)\lambda(w)j^{(n)}(\Phi(w),\Phi(z))$？
• RQ3 何种几何障碍阻止了在有限 $n$ 下此类商结构的存在，尽管其在无限维情况下存在？
• RQ4 $\delta$-度量如何揭示Dirichlet空间与 $DA_n$ 在度量几何方面的根本差异？

主要发现

• Dirichlet空间 $\mathcal{D}$ 对任意有限 $n$ 都不是 $DA_n$ 的商空间，解决了源于与Ken Davidson和Orr Shalit讨论的问题。
• 对于大 $K$，以 $\Phi(z_i)$ 为中心、半径约为 $\sqrt{C^2/K}$ 的 $\delta_{DA_n}$-球的个数超过 $e^K$，表明此类球的数量呈指数增长。
• 每个小球的体积下界为 $\left(A/K\right)^n$，而包含它们的大球体积上界为 $\left(BK\right)^n$，导致体积不等式 $NV_S \leq V_L$ 在 $K$ 较大时无法满足。
• 矛盾源于 $\mathcal{D}$ 与 $DA_n$ 的度量结构之间的几何不相容性，这种不相容性由 $\delta$-度量及其在等距嵌入下的行为所捕捉。
• 该论证对 $\mathcal{D}_\alpha$（$0 < \alpha < 1$）不成立，表明Dirichlet空间在度量结构上与这些相关空间有本质区别。
• 该论证的无穷小版本可能涉及由 $\delta_K$ 导出的黎曼度量中的曲率障碍，提示其与核空间几何中截面曲率之间可能存在联系。