Spaces of holomorphic germs on quotients (Q2367721)

Let \((X,\Phi)\) be a Riemann domain over a complex Fréchet space \(E\), \(K\) a compact subset of \(X\) and \({\mathcal H}(K)\) the vector space of all holomorphic germs on \(K\). Given an \(F\)-quotient \((X_ F,\phi_ F,\psi)\) of \((X,\phi)\) the canonical mapping \(\psi: X\to X_ F\) induces a mapping \(\psi^*: g\in {\mathcal H}(\psi(K))\to g\circ \psi\in {\mathcal H}(K)\). In the paper conditions are studied under which \(\psi^*\) is an embedding when natural topologies on spaces of germs are considered.