[論文レビュー] Holomorphic projection and duality for domains in complex projective space

David E. Barrett|arXiv (Cornell University)|Oct 5, 2008

Holomorphic and Operator Theory参考文献 6被引用数 5

ひとこと要約

本稿では、複素射影空間内の強い$Χ$-凸超曲面におけるLeray変換のノルムが、双対超曲面上のハーディー空間間の自然な$π$-不変ペアリングの効率を定量的に測定することを確立している。主な結果は、Leray変換の作用素ノルムがペアリング効率の下界の逆数に等しく、等号が成り立つのはかつてその超曲面が球面のモビウス像である場合に限ることを示している。

ABSTRACT

We show that the efficiency of a natural pairing between certain projectively invariant Hardy spaces on dual strongly C-linearly convex real hypersurfaces in complex projective space is measured by the norm of the corresponding Leray transform.

研究の動機と目的

• 複素射影空間内の双対的 strongly $Χ$-凸超曲面上のハーディー空間間の自然な$π$-不変ペアリングの効率を特定すること。
• Leray変換のノルムが双対超曲面上の正則セクション間の双対性ペアリングをどのように規定するかを特定すること。
• ペアリング効率が最大（ノルム = 1）となるのは、かつて超曲面が球面のモビウス像である場合に限ることを確立すること。
• 2次の幾何的データと双対性の性質を用いて、超曲面上にモビウス不変$L^2$ノルムを定義すること。
• Leray変換の作用素ノルムが、正規化されたハーディー空間関数上でのペアリング効率の下界の逆数に等しいことを証明すること。

提案手法

• Leray変換を、$n$乗のトートロジカルラインバンドルの$L^2$セクションから正則ハーディー空間への射影作用素として用いる。
• Fantappiè変換とモビウス不変ノルムを用いて、双対超曲面$S$と$S^*$上の$L^2$セクション間の$π$-不変$L^2$ペアリングを定義する。
• 複素射影空間$Χ P^n$と$Χ P^{n*}$における$S$とその双対$S^*$の双対性を適用し、強い$Χ$-凸性を用いて滑らかな双対超曲面が保証されることを活用する。
• Leray変換の$π$-不変ペアリングに関して自己随伴性を用いてノルム推定を行う。
• Leray変換が射影であることに着目し、そのノルムをその随伴作用素の作用素ノルムおよびペアリング効率と関連付ける。
• MartineauとÄizenbergの双対性定理を適用して、Leray変換の作用素ノルムを用いてペアリングの上限を導出する。

実験結果

リサーチクエスチョン

• RQ1 Leray変換のノルムは、双対超曲面上のハーディー空間間の双対性ペアリングの効率とどのように関係しているか？
• RQ2 双対超曲面上のハーディー空間間のペアリングが最大限に効率的であるための幾何的条件は何か？
• RQ3 複素射影空間$Χ P^n$内の超曲面上のモビウス不変$L^2$ノルムは、2次の幾何的データと双対性によってどのように特定されるか？
• RQ4 Leray変換の作用素ノルムが1に等しくなるのはどのような条件下か？
• RQ5 Leray変換のノルムを用いて、ハーディー空間間のペアリングの効率を定量的に評価できるか？

主な発見

• Leray変換のノルム$\|\mathbf{L}_S\|$は、正規化された$F \in \mathscr{H}(S)$および$H \in \mathscr{H}(S^*)$上でのペアリング$\langle\langle F, H \rangle\rangle$の絶対値の下界の逆数に等しく、すなわち$\|\mathbf{L}_S\| = \left( \inf_{\|F\|=1} \sup_{\|H\|\leq 1} |\langle\langle F,H\rangle\rangle| \right)^{-1}$である。
• ハーディー空間$\mathscr{H}(S)$と$\mathscr{H}(S^*)$間のペアリングは、完全に効率的（すなわちペアリングのノルムが1）である、かつて$\|\mathbf{L}_S\| = 1$であるときであり、これは$S$が球面のモビウス像であるときに限り成り立つ。
• 作用素ノルム$\|\mathbf{L}_S\|$は、$π$-不変ペアリングに関してLeray変換が自己随伴であることから、その双対$\|\mathbf{L}_{S^*}\|$の作用素ノルムに等しい。
• 複素平面$\mathbb{C}^2$内の強い凸 Reinhardt 領域に対して、Leray変換のノルムは$\|\mathbf{L}_S\| \geq \max_{z \in S} \left(1 - |\mathscr{B}_S(z)|^2\right)^{-1/2}$を満たす。ここで$\mathscr{B}_S$はボフニエ＝マルティネリ核である。
• $L^2$ノルムはモビウス不変であり、2次の幾何的データと双対性の性質によって一意に定まり、$\mathbb{CP}^n$の自己同型に関して一貫性を保つ。
• ハーディー空間$\mathscr{H}(S)$と$\mathscr{H}(S^*)$間のペアリングは、$\mathbf{L}_S(F)$と$\mathbf{L}_{S^*}(G)$間の誘導されたペアリングと等長同型であるため、Leray変換のノルムを像空間上の誘導ペアリングを用いて計算できる。