Holomorphic projection and duality for domains in complex projective space (Q2796508)

A section of \(\mathcal{O}(j, k)\) over a subset \(E\) of \(\mathbb{CP}^n\) is given by a complex-valued function \(F\) on the cone over \(E\) satisfying the homogeneity condition \(F(\lambda\zeta) = \lambda^j \overline{\lambda}^k F(\zeta)\). Let \(\Gamma(E; j, k)\) denote the space of continuous sections of \(\mathcal{O}(j, k)\) over \(E\).NEWLINENEWLINELet \(S\subset \mathbb{CP}^n\) be a strongly pseudoconvex compact real hypersurface. Assuming that \(S\) is strongly \(\mathbb{C}\)-convex, the author defines a Möbius-invariant norm \(\|F\|_S\) for \(F\in \Gamma(S; j, k)\), \(j+k=-n\). The norm \(\| F\|_S\) is used to complete \(\Gamma(S; j, k)\) to a Möbius-invariant Hilbert space \(L^2(S; j,k)\). If \(S\) is smooth and strongly \(\mathbb{C}\)-convex, then the dual hypersurface \(S^*\subset {\mathbb{CP}^n}^*\) is also smooth, strongly \(\mathbb{C}\)-convex and satisfies \(S^{**}=S\).NEWLINENEWLINEFor the hypersurface \(S\) under consideration, there is a \(\mathbb{C}\)-bilinear pairing \(\langle\langle F, G \rangle\rangle = \langle\langle F, G \rangle\rangle_{ S, S^*}\) between \(L^2(S; -n, 0)\) and \(L^2(S^*; -n, 0)\). The author proves that \(\langle\langle F, G \rangle\rangle\) is a Möbius-invariant exact duality pairing between \(L^2(S; -n, 0)\) and \(L^2(S^*; -n, 0)\). Finally, \(\langle\langle F, G \rangle\rangle\) is a duality pairing between the Hardy spaces \(\mathcal{H}(S)\subset L^2(S; -n, 0)\) and \(\mathcal{H}(S^*)\); the efficiency of this duality is given by the norm of the Leray transform \(L_S\) projecting \(L^2(S; -n, 0)\) onto \(\mathcal{H}(S)\).