[논문 리뷰] Is the Dirichlet Space a Quotient of $DA_n$?

Richard Rochberg|arXiv (Cornell University)|2016. 05. 09.

Holomorphic and Operator Theory참고 문헌 6인용 수 3

한 줄 요약

이 논문은 단위 원판 위의 Dirichlet 공간이 유한한 $n$에 대해 어떤 경우에도 Drury-Arveson 공간 $DA_n$의 몫으로 등급적으로 표현될 수 없다는 것을 증명한다. 정규화된 재생핵 사이의 각도에 의해 유도되는 거리 $δ$를 사용하여, 고차원 구 안에서 체적 비교를 통해 모순을 도출함으로써, 두 공간 간의 기하학적 불일치로 인해 필요한 등급 임bedding이 존재할 수 없음을 보인다.

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

연구 동기 및 목표

• 유한한 $n$에 대해 Dirichlet 공간 $\mathcal{D}$가 Drury-Arveson 공간 $DA_n$의 몫으로 표현될 수 있는지 여부를 규명하는 것.
• 핵의 각도에서 유도된 $\delta$-거리에 기반하여 Dirichlet 공간과 $DA_n$ 사이의 기하학적 및 거리 불일치를 조사하는 것.
• 무한 차원에서는 가능하지만 유한 차원에서는 힐버트 공간 몫 구조를 통해 $\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$에 의해 영향을 받는 단위 원판 내의 유한한 점 집합 $\{z_i\}$를 구성하여, 각 이미지 점 주위에 상호소거되는 작은 $\delta_{DA_n}$-거리 공을 요구하도록 한다.
• 이러한 상호소거 공의 수 $N \geq e^K$와 각각의 체적 $V_S \geq (A/K)^n$을 추정하고, 이들을 포함하는 큰 공의 체적은 $V_L \leq (BK)^n$으로 bound하여, 큰 $K$에 대해 모순을 이끌어낸다.
• 모든 작은 공의 중심에서 원점까지의 거리를 $\delta_{DA_n}$의 강화된 삼각부등식을 통해 유계화함으로써, 이들이 반지름 $1 - 1/(3K)$ 이내에 포함됨을 보장한다.

실험 결과

연구 질문

• RQ1 유한한 $n$에 대해 Dirichlet 공간 $\mathcal{D}$가 $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)$에 위치한 $\delta_{DA_n}$-거리의 상호소거 공의 수는 약 $\sqrt{C^2/K}$의 반지름을 가지며, $e^K$를 초과한다. 이는 공의 수가 지수적으로 증가함을 의미한다.
• 각 소공의 체적은 $\left(A/K\right)^n$ 이하로 bound되며, 이들을 포함하는 큰 공의 체적은 $\left(BK\right)^n$ 이하로 bound된다. 이로 인해 큰 $K$에 대해 체적 부등식 $NV_S \leq V_L$를 만족시킬 수 없게 된다.
• 이 모순은 $\delta$-거리에 의해 기록된 $\mathcal{D}$와 $DA_n$ 간의 거리 구조 간의 기하학적 불일치에서 기인한다.
• $\mathcal{D}_\alpha$ 공간($0 < \alpha < 1$)에 대해서는 이 증명이 실패함으로써, Dirichlet 공간이 이러한 관련 공간들과 기하학적 구조에서 본질적으로 다름을 보여준다.
• 이러한 증거의 무한소적 변형은 $\delta_K$로부터 유도된 리만 기하학적 거리에서 곡률 장애를 포함할 수 있으며, 이는 핵 공간 기하학 내의 단면 곡률과의 잠재적 연관성을 시사한다.