[論文レビュー] Radial operators on polyanalytic weighted Bergman spaces

Roberto Moisés Barrera-Castelán, Egor A. Maximenko+1 more|arXiv (Cornell University)|Sep 29, 2020

Holomorphic and Operator Theory参考文献 50被引用数 13

ひとこと要約

本稿は、ディスク多項式の正規直交基底を用いて、重み付き多解析的バーグマン空間 $A_n^2(D, \mu_\alpha)$ 上の径数作用素の完全なスペクトル分解を提供する。von Neumann代数としての径数作用素の空間が、行列代数の直和に分解され、径数トエプリッツ作用素が行列列として明示的に表現されることを示す。主な結果は、有界径数記号を持つトエプリッツ作用素の集合が、全作用素代数において弱い稠密性を示さないということであり、分野における長年の未解決問題を解決する。

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)$.

研究の動機と目的

• ディスク多項式を用いて、$A_n^2(D, \mu_\alpha)$ におけるRamazanovの正規直交基底構成を重み付きバーグマン空間へ拡張すること。
• 周波数 $\xi \in \mathbb{Z}$ でインデックス付けられた直交部分空間への $A_n^2(D, \mu_\alpha)$ の分解を実行し、径数作用素のスペクトル解析を可能にする。
• 径数作用素のvon Neumann代数 $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)$ にその分解を制限し、$\bigoplus_{\xi \geq -n+1} W_\xi^{(\alpha)} \cap A_n^2(D, \mu_\alpha)$ と分解されることを示し、各項が $\mathbb{C}^{\min\{n, n+\xi\}}$ に同型であることを示す。
• 作用素 $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$ 間の空間的同型を誘導する。
• 径数トエプリッツ作用素 $T_{n, e_a}^{(\alpha)}$ を行列列 $\gamma_n^{(\alpha)}(a)$ で表現し、その成分は $a(\sqrt{t})$ をJacobi多項式の積に対して積分したものである。
• Berezin変換とスペクトル解析を用いて、このようなトエプリッツ作用素の集合が、$B(A_n^2(D, \mu_\alpha))$ において弱い稠密性を示さないことを示す。

実験結果

リサーチクエスチョン

• RQ1 径数作用素のvon Neumann代数 $R_n^{(\alpha)}$ は、$A_n^2(D, \mu_\alpha)$ 上で、より単純な成分にどのように分解できるか？
• RQ2 有界径数記号を持つ径数トエプリッツ作用素の明示的行列表現は何か？
• RQ3 有界生成記号を持つすべてのトエプリッツ作用素の集合は、$B(A_n^2(D, \mu_\alpha))$ において弱い稠密性を示すか？
• RQ4 $A_n^2(D, \mu_\alpha)$ 内の径数作用素のスペクトル的性質は、基礎となる空間の周波数分解とどのように関係するか？
• RQ5 $n \geq 2$ のとき、代数 $R_n^{(\alpha)}$ の構造は何か？また、$n=1$ のときの $R_n^{(\alpha)}$ とはどのように異なるか？

主な発見

• 径数作用素のvon Neumann代数 $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})$ をJacobi多項式の積に対して積分したものである。
• 有界生成記号を持つすべてのトエプリッツ作用素の集合は、$B(A_n^2(D, \mu_\alpha))$ において弱い稠密性を示さない。これは著者にとって驚くべき結果であり、バーグマン空間理論における重要な問いを解決する。
• 径数作用素 $S \in R_n^{(\alpha)}$ のBerezin変換は径数的であり、$n=1$ のとき、Berezin変換は単射であるため、変換の径数的性質から元の作用素の径数的性質が導かれる。
• 径数トエプリッツ作用素 $T_{(n), e_a}^{(\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$ で与えられ、これは行列表現の対角成分に一致する。