[論文レビュー] On Quotient modules of $H^2(\mathbb{D}^n)$: Essential Normality and Boundary Representations

B. Krishna Das, Sushil Gorai+1 more|arXiv (Cornell University)|Oct 21, 2014

Holomorphic and Operator Theory参考文献 20被引用数 4

ひとこと要約

本稿は、$H^2(\mathbb{D}^n)$ 内の商モジュールにおける本質的正規性および境界表現を調査し、$n \geq 3$ の場合のベウリング型商モジュールおよび $\mathbb{D}^2$ 上のルーディンの商モジュールが本質的に正規でないことを証明している。さらに、二重に可換かつ同次的商モジュールの境界表現を特徴づけ、演算子代数および関数論的手法を用いて、これらのクラスにおける本質的正規性の完全な枠組みを確立している。

ABSTRACT

Let $\mathbb{D}^n$ be the open unit polydisc in $\mathbb{C}^n$, $n \geq 1$, and let $H^2(\mathbb{D}^n)$ be the Hardy space over $\mathbb{D}^n$. For $n\ge 3$, we show that if $θ\in H^\infty(\mathbb{D}^n)$ is an inner function, then the $n$-tuple of commuting operators $(C_{z_1}, \ldots, C_{z_n})$ on the Beurling type quotient module $\mathcal{Q}_θ$ is not essentially normal, where \[\mathcal{Q}_θ = H^2(\mathbb{D}^n)/ θH^2(\mathbb{D}^n) \quad \mbox{and} \quad C_{z_j} = P_{\mathcal{Q}_θ} M_{z_j}|_{\mathcal{Q}_θ}\quad (j = 1, \ldots, n).\] Rudin's quotient modules of $H^2(\mathbb{D}^2)$ are also shown to be not essentially normal. We prove several results concerning boundary representations of $C^*$-algebras corresponding to different classes of quotient modules including doubly commuting quotient modules and homogeneous quotient modules.

研究の動機と目的

• $n \geq 3$ の場合の $H^2(\mathbb{D}^n)$ 内のベウリング型商モジュールの本質的正規性を調査し、双円板における既知の結果を高次元へ拡張すること。
• $H^2(\mathbb{D}^2)$ 内のルーディンの商モジュールを分析し、その本質的正規性の状態を特定すること。
• 二重に可換および同次的商モジュールにおける、圧縮作用素によって生成される $C^*$-代数の境界表現を特徴づけること。
• 解析的ヒルベルトモジュール、特に $H^2(\mathbb{D}^n)$ および重み付きバーグマン空間を含む、二重に可換な商モジュールにおける本質的正規性の完全な特徴づけを確立すること。
• シロフ境界および既約表現が、自明なシロフイデアルを持つ作用素代数を特定する役割を果たすかを検討すること。

提案手法

• 著者たちは、本質的正規性を特定するために、BDF理論および作用素論的技法を用い、$[C_{z_i}, C_{z_j}^*]$ の交換子を分析している。
• 彼らはアーヴェソンの意味における境界表現の理論を用い、$C^*$-代数への一意的なCP拡張を持つ既約表現に注目している。
• 解析には、特徴的な境界 $\partial\mathbb{D}^n$ 上に定義されたテスト関数 $q_\epsilon$ を構成し、作用素ノルムを推定するとともに、零点集合上の上界ノルムと比較している。
• 同次的商モジュールの場合、定義多項式 $p$ の連立スペクトルおよび零点集合を分析する手法に依存しており、特に $|\alpha| = 1$ である $p = z_1^m - \alpha z_2^m$ の形の多項式に注目している。
• 証明技法には、定義多項式 $p$ の零点が $\partial\mathbb{D}^n$ 上に位置する場所に基づく場合分けが含まれており、コンパクト性およびノルム推定が用いられている。
• 著者たちは、$\|q_\epsilon(C_{z_1}, C_{z_2})\|$ と $q_\epsilon$ の $Z(p) \cap \partial\mathbb{D}^n$ 上の本質的上界ノルムとの関係を示すために、補題 5.1 および補題 5.3 を適用している。

実験結果

リサーチクエスチョン

• RQ1 $n \geq 3$ の場合、$H^2(\mathbb{D}^n)$ のベウリング型商モジュールは本質的に正規か？
• RQ2 $H^2(\mathbb{D}^2)$ 内のルーディンの商モジュールは本質的に正規か？
• RQ3 $\mathbb{C}[z_1, \dots, z_n]$ 内の解析的ヒルベルトモジュール上の二重に可換な商モジュールにおける、本質的正規性の完全な特徴づけは何か？
• RQ4 $H^2(\mathbb{D}^2)$ のどの同次的商モジュールに対して、$C^*(\mathcal{Q}_p)$ の恒等表現が境界表現となるか？
• RQ5 商モジュール上の圧縮作用素によって生成される $C^*$-代数は、自明なシロフイデアルを持つか？

主な発見

• $n \geq 3$ の場合、任意の内関数 $\theta \in H^\infty(\mathbb{D}^n)$ に対して、$\mathcal{Q}_\theta = H^2(\mathbb{D}^n)/\theta H^2(\mathbb{D}^n)$ は本質的に正規でない。
• $H^2(\mathbb{D}^2)$ 内のルーディンの商モジュールは本質的に正規でない。これは、双円板の範囲を超えて本質的正規性が成立しないことを拡張する。
• 本稿は、$H^2(\mathbb{D}^n)$ や重み付きバーグマン空間 $L^2_{a,\bm{\alpha}}(\mathbb{D}^n)$ を含む、解析的ヒルベルトモジュール上の二重に可換な商モジュールにおける本質的正規性の完全な特徴づけを提供している。
• $H^2(\mathbb{D}^2)$ の同次的商モジュールに対して、$p$ が $|\alpha| = 1$ かつ $m \geq 2$ の形の $z_1^m - \alpha z_2^m$ でない限り、$C^*(\mathcal{Q}_p)$ の恒等表現は境界表現である。
• すべての十分に小さな $\epsilon > 0$ に対して、作用素 $q_\epsilon(C_{z_1}, C_{z_2})$ のノルムは 1 を超えるが、$\|q_\epsilon\|_{\infty, Z(p) \cap \partial\mathbb{D}^2} < 1$ であるため、背理法により非本質的正規性が証明される。
• $p = z_1^m - \alpha z_2^m$ で $|\alpha| = 1$ かつ $m \geq 2$ の場合、恒等表現が境界表現であるかどうかは、本稿では未解決であり、今後の研究の可能性を示唆している。