[논문 리뷰] Radial operators on polyanalytic weighted Bergman spaces

Roberto Moisés Barrera-Castelán, Egor A. Maximenko외 1명|arXiv (Cornell University)|2020. 09. 29.

Holomorphic and Operator Theory참고 문헌 50인용 수 13

한 줄 요약

이 논문은 원형 다항식의 정규직교 기저를 사용하여 다항해석적 가중 베르그만 공간 $A_n^2(D, \mu_\alpha)$ 위의 원형 연산자의 완전한 스펙트럼 분해를 제공한다. 원형 토플리츠 연산자를 행렬 수열로 명시적으로 표현함으로써, 원형 연산자의 바나흐-폰 노이만 대수는 직접 합으로 분해되며, 이는 $n \geq 2$일 때 비가환성을 드러낸다. 주요 결과는 유계 원형 기저를 가진 토플리츠 연산자 집합이 전체 연산자 대수에 대해 약하게 조밀하지 않다는 것으로, 이는 분야에서 오랫동안 남아 있던 질문을 해결한다.

ABSTRACT

Let $\mu_\alpha$ be the Lebesgue plane measure on the unit disk with the radial weight $\frac{\alpha+1}{\pi}(1-|z|^2)^\alpha$. Denote by $\mathcal{A}^{2}_{n}$ the space of the $n$-analytic functions on the unit disk, square-integrable with respect to $\mu_\alpha$. Extending the results of Ramazanov (1999, 2002), we explain that disk polynomials (studied by Koornwinder in 1975 and W\"{u}nsche in 2005) form an orthonormal basis of $\mathcal{A}^{2}_{n}$. Using this basis, we provide the Fourier decomposition of $\mathcal{A}^{2}_{n}$ into the orthogonal sum of the subspaces associated with different frequencies. This leads to the decomposition of the von Neumann algebra of radial operators, acting in $\mathcal{A}^{2}_n$, into the direct sum of some matrix algebras. In other words, all radial operators are represented as matrix sequences. In particular, we represent in this form the Toeplitz operators with bounded radial symbols, acting in $\mathcal{A}^{2}_n$. Moreover, using ideas by Engli\v{s} (1996), we show that the set of all Toeplitz operators with bounded generating symbols is not weakly dense in $\mathcal{B}(\mathcal{A}^{2}_n)$.

연구 동기 및 목표

• 다른 다항식 기저를 사용하여 Ramazanov의 정규직교 기저 구성법을 $A_n^2(D, \mu_\alpha)$로 확장한다.
• 빈도 $\xi \in \mathbb{Z}$로 인덱싱된 직교 부분공간으로 $A_n^2(D, \mu_\alpha)$를 분해하여 원형 연산자의 스펙트럼 분석을 가능하게 한다.
• 원형 연산자들의 바나흐-폰 노이만 대수 $R_n^{(\alpha)}$를 행렬 대수의 직접 합으로 표현함으로써, $n \geq 2$일 때 비가환성을 드러낸다.
• 유계 원형 기저를 가진 토플리츠 연산자 집합이 $B(A_n^2(D, \mu_\alpha))$에 대해 약하게 조밀하지 않다는 것을 증명한다. 이는 놀라운 새로운 결과이다.

제안 방법

• 다항식 $z$와 $\bar{z}$의 정규직교화를 통해 $L^2(D, \mu_\alpha)$에서 디스크 다항식의 정규직교 기저 $(b_{p,q}^{(\alpha)})_{p,q \in \mathbb{N}_0}$를 구성한다.
• 회전 작용 $\rho_n^{(\alpha)}(\tau)f(z) = f(\tau^{-1}z)$를 사용하여 $L^2(D, \mu_\alpha)$를 빈도 부분공간 $W_\xi^{(\alpha)}$($\xi \in \mathbb{Z}$)로 분해한다.
• $A_n^2(D, \mu_\alpha)$로 제한하여, 각 항목이 $\mathbb{C}^{\min\{n, n+\xi\}}$와 동형임을 보이고, $\bigoplus_{\xi \geq -n+1} W_\xi^{(\alpha)} \cap A_n^2(D, \mu_\alpha)$로 분해됨을 보인다.
• 단위 변환 $U_n^{(\alpha)}$를 정의하여 $A_n^2(D, \mu_\alpha)$를 $\bigoplus_{\xi \geq -n+1} \mathbb{C}^{\min\{n, n+\xi\}}$로 매핑함으로써, $R_n^{(\alpha)}$와 유계 행렬 수열의 $W^*$-대수 $M_n$ 사이의 공간적 등장사상(스페이셜 이sov)을 유도한다.
• 원형 토플리츠 연산자 $T_{n, e_a}^{(\alpha)}$를 행렬 수열 $\gamma_n^{(\alpha)}(a)$로 표현하며, 여기서 항목은 $a(\sqrt{t})$를 르장드르 다항식의 곱으로 적분한 것이다.
• 베레진 변환과 스펙트럼 분석을 사용하여, 이러한 토플리츠 연산자 집합이 $B(A_n^2(D, \mu_\alpha))$에 대해 약하게 조밀하지 않음을 보인다.

실험 결과

연구 질문

• RQ1 원형 연산자들의 바나흐-폰 노이만 대수 $R_n^{(\alpha)}$는 어떻게 더 단순한 성분들로 분해될 수 있는가?
• RQ2 유계 원형 기저를 가진 원형 토플리츠 연산자의 명시적 행렬 표현은 무엇인가?
• RQ3 모든 유계 생성 기저를 가진 토플리츠 연산자 집합은 $B(A_n^2(D, \mu_\alpha))$에 대해 약하게 조밀한가?
• RQ4 원형 연산자의 스펙트럼 성질은 기저 공간의 빈도 분해와 어떻게 관련이 있는가?
• RQ5 모든 $n \geq 2$에 대해 대수 $R_n^{(\alpha)}$의 구조는 무엇이며, $n=1$일 때의 $R_n^{(\alpha)}$와 어떻게 다를까?

주요 결과

• 원형 연산자들의 바나흐-폰 노이만 대수 $R_n^{(\alpha)}$는 유계 행렬 수열의 $W^*$-대수 $M_n$과 공간적으로 등장사상되며, $M_n = \bigoplus_{\xi = -n+1}^\infty M_{\min\{n, n+\xi\}}$이다.
• $n \geq 2$일 때 대수 $R_n^{(\alpha)}$는 비가환적이지만, 모든 $n \in \mathbb{N}$에 대해 $R_n^{(\alpha)} \cong \ell^\infty(\mathbb{N}_0)$이므로 $n=1$일 때는 가환적이다.
• 원형 토플리츠 연산자 $T_{n, e_a}^{(\alpha)}$는 행렬 수열 $\gamma_n^{(\alpha)}(a)$로 표현되며, $[\gamma_n^{(\alpha)}(a)]_\xi = \left[ \beta_{a,\alpha,\xi,j,k} \right]_{j,k=\max\{0,-\xi\}}^{n-1}$이고, $\beta_{a,\alpha,\xi,j,k}$는 $a(\sqrt{t})$를 르장드르 다항식의 곱으로 적분한 것이다.
• 모든 유계 생성 기저를 가진 토플리츠 연산자 집합은 $B(A_n^2(D, \mu_\alpha))$에 대해 약하게 조밀하지 않다. 이는 저자들에게 놀라운 결과였으며, 베르그만 공간 이론에서 핵심적인 질문을 해결한다.
• 원형 연산자 $S \in R_n^{(\alpha)}$의 베레진 변환은 원형이며, $n=1$일 때 베레진 변환은 단사적이다. 따라서 변환의 원형성은 연산자의 원형성을 암시한다.
• 원형 토플리츠 연산자 $T_{(n), e_a}^{(\alpha)}$의 고유값은 $A_n^{(n)}(D, \mu_\alpha)$에서 $\lambda_{a,\alpha,n}(p) = \int_0^1 a(\sqrt{t}) \left[ J_{\min\{p,n-1\}}^{(\alpha, |p-n+1|)}(t) \right]^2 dt$로 주어지며, 이는 행렬 표현의 대각선 항목이다.