[论文解读] 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变换的范数定量地衡量了在对偶超曲面上的Hardy空间之间一种自然$π$-不变配对的效率。关键结果表明，Leray变换的算子范数等于配对效率下确界的倒数，且当且仅当超曲面是球面的Möbius像时，该范数等于1。

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.

研究动机与目标

• 刻画复射影空间中强$Χ$-凸对偶超曲面上Hardy空间之间自然$π$-不变配对的效率。
• 确定Leray变换的范数如何控制对偶超曲面上全纯截面之间的对偶配对。
• 建立配对效率在超曲面为Möbius球面的像时达到最大（范数=1）的条件。
• 利用二阶几何数据和对偶性质，定义超曲面上的Möbius不变$L^2$范数。
• 证明Leray变换的算子范数等于在归一化Hardy空间函数上配对效率下确界的倒数。

提出的方法

• 将Leray变换用作从$t$次标准线丛的$L^2$截面到全纯Hardy空间的投影算子。
• 利用Fantappiè变换和Möbius不变范数，定义对偶超曲面$S$和$S^*$上$L^2$截面之间的$π$-不变$L^2$配对。
• 应用$Χ P^n$中$S$与其对偶$S^*$在$Χ P^{n*}$中的对偶性，利用强$Χ$-凸性确保对偶超曲面光滑。
• 利用Leray变换关于$π$-不变配对的自伴性，推导范数估计。
• 利用Leray变换是投影算子的事实，将其范数与伴随算子的算子范数及配对效率关联。
• 应用Martineau和Äizenberg的对偶定理，通过Leray变换的算子范数推导配对的界。

实验结果

研究问题

• RQ1 Leray变换的范数如何与对偶超曲面上Hardy空间之间对偶配对的效率相关？
• RQ2 何种几何条件可确保对偶超曲面上Hardy空间之间配对的效率达到最大？
• RQ3 复射影空间$Χ P^n$中超曲面上的Möbius不变$L^2$范数如何由二阶几何数据和对偶性决定？
• RQ4 在何种条件下Leray变换的算子范数等于1？
• RQ5 能否利用Leray变换的范数对Hardy空间之间配对的效率进行定量界定？

主要发现

• 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}$。
• 当且仅当$\|\mathbf{L}_S\| = 1$时，$\mathscr{H}(S)$与$\mathscr{H}(S^*)$之间的配对完全高效（即配对范数为1），而这恰好发生在$S$是球面的Möbius像时。
• 由于Leray变换关于$π$-不变配对的自伴性，算子范数$\|\mathbf{L}_S\|$等于其对偶算子范数$\|\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$为Bochner-Martinelli核。
• 本文所用的$L^2$范数为Möbius不变，且由二阶几何数据和对偶性质唯一确定，确保在$\mathbb{CP}^n$的自同构下保持一致。
• 在$\mathscr{H}(S)$与$\mathscr{H}(S^*)$之间的配对，与$\mathbf{L}_S(F)$与$\mathbf{L}_{S^*}(G)$之间的诱导配对是等距同构的，这使得可通过像空间上的诱导配对来计算Leray变换的范数。