[논문 리뷰] Multiplication operators on the Bergman space of bounded domains in C^d

Hansong Huang, Dechao Zheng|arXiv (Cornell University)|2015. 11. 05.

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

한 줄 요약

이 논문은 복소수 d차원 유계 영역에서의 베르그만 공간 위의 곱셈 연산자들을 조사하며, 기호가 내부 점을 포함하는 정칙 적합한 사상인 경우 이러한 연산자들에 의해 생성되는 본 네umann 대수는 유한 차원임을 입증한다. 이는 단일 변수에서의 교환자와 축약 부분공간에 대한 결과들을 유한 차원에서 일반화한 것으로, 허용 가능한 국소 역함수, 해석적 계기, L^2_a-제거 가능한 집합을 이용하여, 대수의 구조가 고차원에서 기호 사상의 기하학적 성질과 함수론적 성질에 따라 결정됨을 보여준다.

ABSTRACT

In this paper we study multiplication operators on Bergman spaces of high dimensional bounded domains and those von Neumann algebras induced by them via the geometry of domains and function theory of their symbols. In particular, using local inverses and $L^2_a$-removability, we show that for a holomorphic proper map $Φ=(ϕ_1, ϕ_2, \cdots , ϕ_d)$ on a bounded domain $Ω$ in $\mathbb{C}^{d}$, the dimension of the von Neumann algebra $\mathcal{V}^*(Φ,Ω) $ consisting of bounded operators on the Bergman space $L_a^2(Ω)$, which commute with both $ M_{ϕ_j}$ and its adjoint $M_{ϕ_j}^*$ for each $j$, equals the number of components of the complex manifold $\mathcal{S}_{Φ}= \{(z,w)\in Ω^2: Φ(z)=Φ(w),\, z ot\in Φ^{-1}(Φ(Z))\},$ where $Z$ is the zero variety of the Jacobian $JΦ$ of $ Φ.$ This extends the main result in \cite{DSZ} in high dimensional complex domains. Moreover we show that the von Neumann algebra $\mathcal{V}^*(Φ,Ω) $ may not be abelian in general although Douglas, Putinar and Wang \cite{DPW} showed that $\mathcal{V}^*(Φ,\mathbb{D})$ for the unit disk $\mathbb{D}$ is abelian.

연구 동기 및 목표

• 유계 영역 ℂ^d에서의 단일 변수 결과들인 곱셈 연산자에 대한 교환자와 본 네umann 대수를 고차원 영역으로 일반화한다.
• 베르그만 공간 위의 곱셈 연산자와 그 수반 연산자들에 의해 생성되는 본 네umann 대수 𝒱*(Φ,Ω)의 구조를 조사한다.
• 𝒱*(Φ,Ω)가 유한 차원이거나 자명해지는 조건을 특정하며, 특히 도메인의 기하학적 성질과 기호 사상 Φ의 해석적 성질과의 관계를 규명한다.
• 허용 가능한 국소 역함수, 해석적 계기, L^2_a-제거 가능한 집합이 교환자와 본 네umann 대수의 특성화에 미치는 역할을 탐색한다.
• 기존 단일 변수 결과(ϕ = ψ∘B 이면 {M_ϕ}′ = {M_B}′)가 고차원에서 성립하지 않음을 보이며, ℂ^2에서의 반례를 제시한다.

제안 방법

• 유계 영역 Ω ⊂ ℂ^d에서 정칙 함수들의 열Φ에 대해, M_ϕ_j,Ω와 M_ϕ_j,Ω*의 교환자로 정의된 본 네umann 대수 𝒟*(Φ,Ω)를 정의한다.
• Φ의 허용 가능한 국소 역함수는 해석적 계기 과정에서 L_a^2(Ω) 위의 유계 연산자로 나타나는 국소 정칙 역함수를 의미한다.
• 각 허용 가능한 국소 역함수의 동치류 [ρ]에 대해, h ∈ L_a^2(Ω)에 대해 h∘σ·Jσ의 합으로 L_a^2(Ω) 위에 연산자 𝒪_{[ρ]}를 구성한다.
• 해석적 계기의 정의역 분석과 유계성 평가를 위해 하르톡스 현상과 L^2_a-제거 가능한 집합을 이용한다.
• 정칙 적합한 사상 이론과 그 자코비안 행렬식을 적용하여, Φ의 리만 표면의 연결 성분 수와 𝒟*(Φ,Ω)의 차원 간의 관계를 규명한다.
• 예를 들어 Φ(z₁,z₂) = (z₁²+z₂², z₁²z₂²)로 정의된 구체적 반례(ℂ^2에서 작은 구를 제외한 영역)를 구성함으로써, Φ가 Ψ의 함수임에도 불구하고 {M_Φ}′ ≠ {M_Ψ}′임을 보여, 단일 변수 일반화가 고차원에서 성립하지 않음을 입증한다.

실험 결과

연구 질문

• RQ1 유계 영역 Ω ⊂ ℂ^d에서 본 네umann 대수 𝒟*(Φ,Ω)가 유한 차원이 되기 위한 기하학적 및 해석적 조건은 무엇인가?
• RQ2 허용 가능한 국소 역함수와 그 해석적 계기 과정이 교환자 {M_Φ,Ω}′과 본 네umann 대수 𝒟*(Φ,Ω)의 구조에 어떻게 관련되어 있는가?
• RQ3 단일 변수 결과 {M_ϕ}′ = {M_B}′ (ϕ = ψ∘B일 때)가 고차원으로 어떻게 일반화되는가?
• RQ4 Ω 위에서 정칙 적합한 사상 Φ가 다른 정칙 적합한 사상 Ψ의 함수로 표현될 수 있으며, {M_Φ}′ = {M_Ψ}′가 성립하는가?
• RQ5 L^2_a-제거 가능한 집합과 하르톡스 현상은 국소 역함수와 관련된 연산자의 유계성과 교환성 결정에 어떤 역할을 하는가?

주요 결과

• Ω가 조건 (1)과 (2)를 만족하고, Φ: Ω → ℂ^d가 𝒪(Ω) 위에서 정칙이며 이미지에 내부 점을 포함하면 본 네umann 대수 𝒟*(Φ,Ω)는 유한 차원이다.
• 대수 𝒟*(Φ,Ω)는 Φ의 허용 가능한 국소 역함수 ρ와 관련된 연산자 𝒪_{[ρ]}들로 생성된다.
• Φ의 이미지에 내부 점이 없으면 𝒟*(Φ,Ω)는 무한 차원일 수 있으며, 이는 예제 4.5에서 확인된다.
• 예제 7.4에서 단위 구 또는 이중원판에서 작은 닫힌 구를 제거한 도메인 Ω에 대해, 𝒟*(Φ,Ω) = ℂI임을 보였지만, 교환자 {M_Φ,Ω}′은 8개의 비자명한 연산자를 포함한다.
• 기존 단일 변수 결과 {M_ϕ}′ = {M_B}′ (ϕ = ψ∘B일 때)는 고차원에서는 일반화되지 않는다: 예제 7.5에서 Φ = h∘Ψ이더라도 {M_Φ}′ = {M_Ψ}′가 성립하지 않을 수 있음을 보여준다.
• 예제 7.5에서 Φ = h∘Ψ를 만족하고 {M_Φ}′ = {M_Ψ}′이 되는 정칙 적합한 사상 Ψ가 존재할 경우, Φ−Φ(λ)의 근의 다중도가 불일치하여 모순이 발생한다.