[論文レビュー] Is the Dirichlet Space a Quotient of $DA_n$?

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

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

ひとこと要約

この論文は、任意の有限 $n$ に対して、単位円板上のディリクレ空間が、Drury-Arveson空間 $DA_n$ の商として等長的に表現可能でないことを証明している。再生核の正規化されたもの同士のなす角に由来する距離 $δ$ を用いて、高次元球体内の体積比較により矛盾を導出し、2つの空間の距離構造の幾何学的不適合性が、必要な等長埋め込みが存在し得ないことを示している。

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

研究の動機と目的

• ディリクレ空間 $\mathcal{D}$ が、ある有限 $n$ に対して Drury-Arveson空間 $DA_n$ の商として実現可能かどうかを特定すること。
• 核のなす角から導かれる $\delta$-距離を用いて、ディリクレ空間と $DA_n$ 間の幾何学的および距離的不適合性を調査すること。
• 無限次元では可能であるが、有限次元では Hilbert 空間の商構造として $\mathcal{D}$ が $DA_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}$ を円板上の擬双曲的距離と関連付ける。
• 仮想的な写像 $\Phi: \mathbb{D} \to \mathbb{B}^n$ による像点 $\Phi(z_i)$ の周りに、互いに交わらない小さな $\delta_{DA_n}$-距離の球体が存在するような、単位円板内の点の有限集合 $\{z_i\}$ を構成する。
• $N \geq e^K$ 個のこのような互いに交わらない球体の数と、それぞれの体積 $V_S \geq (A/K)^n$ を推定するが、それらを含む大きな球体の体積は $V_L \leq (BK)^n$ で抑えられるため、$K$ が十分に大きい場合に矛盾が生じる。
• $\delta_{DA_n}$ に対する強化された三角不等式を適用し、原点からの距離を評価することで、すべての小さな球体が半径 $1 - 1/(3K)$ の球体内にあることを保証する。

実験結果

リサーチクエスチョン

• RQ1 ディリクレ空間 $\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$-距離が、ディリクレ空間と $DA_n$ 間の距離幾何的差異をどのように明らかにするか？

主な発見

• ディリクレ空間 $\mathcal{D}$ は、任意の有限 $n$ に対して $DA_n$ の商でないことが示され、ケン・デイビッドソンおよびオール・シャライトとの議論に由来する疑問が解決された。
• $\delta_{DA_n}$-距離の半径 $\sim \sqrt{C^2/K}$ の互いに交わらない球体の数は、$K$ が十分に大きい場合に $e^K$ を超える。これは、このような球体の数が指数関数的に増加することを示している。
• 各小さな球体の体積は下から $\left(A/K\right)^n$ で抑えられ、それらを含む大きな球体の体積は上から $\left(BK\right)^n$ で抑えられるため、体積不等式 $NV_S \leq V_L$ は $K$ が十分に大きい場合に満たせない。
• 矛盾は、$\delta$-距離とその等長埋め込みにおける振る舞いによって捉えられる、$\mathcal{D}$ と $DA_n$ 間の距離構造の幾何学的不適合性に起因する。
• $\mathcal{D}_\alpha$（$0 < \alpha < 1$）に対してはこの議論は成立せず、ディリクレ空間がこれらの関連する空間とは本質的に異なる距離構造を持つことを示している。
• この議論の無限小版は、$\delta_K$ から導かれるリーマン計量における曲率障害を含む可能性があり、核空間幾何における断面曲率との潜在的な関連性を示唆している。