A uniqueness property for \(H^{\infty}\) on coverings of projective manifolds (Q1432725)

The author gives a uniqueness property for \(H^\infty\) on coverings of projective manifolds. This result answers a question given by F. Lárusson. Let \(M\) be a complex projective manifold of dimension \(n\geq2\), \(L\) be a positive line bundle on \(M\), and let \(C\) be the common zero locus of \(L\) over \(M\). Let \(\pi: Y_G\rightarrow M\) be a regular covering of \(M\) with a transformation group \(G\). Consider the covering \(X_G=:\pi^{-1}(C)\subset Y_G\) of an \(L\)-submanifold \(C\subset M\). Let \(H^\infty (Y_G)\) and \(H^\infty (X_G)\) be the Banach spaces of bounded holomorphic functions on \(Y_G\) and \(X_G\) in the corresponding supremum norms. The main result of this paper is that the map \(\rho : H^\infty (Y_G)\rightarrow H^\infty (X_G), f\mapsto f\mid_{X_G}\), is an isometry. By means of this result, the author proves that the transpose map \(\rho^\ast: \mathcal{M}(H^\infty (X_G))\rightarrow\mathcal{M}(H^\infty (Y_G)), \phi\mapsto\phi\circ\rho\), is a homeomorphism, here \(\mathcal{M}(H^\infty (X_G))\) and \(\mathcal{M}(H^\infty (Y_G))\) are the sets of all nontrivial linear multiplicative functionals on \(H^\infty (X_G)\) and \(H^\infty (Y_G)\) respectively.