On the compact-open and admissible topologies (Q1030198)

Given topological spaces \(Y,Z\), \(C_t(Y,Z)\) denotes the space of continuous maps \(C(Y,Z)\) from \(Y\) to \(Z\) endowed with the topology \(t\). A splitting topology \(t\) on \(C(Y,Z)\) is one such that for each space \(X\), the continuity of the map \(g:X\times Y\to Z\) implies that of the map \(\hat g: X\to C_t(Y,Z)\) defined via \(\hat g(x)(y)=g(x,y)\) for each \((x,y)\in X\times Y\). A topology \(t\) on \(C(Y,Z)\) is \textit{admissible} provided the evaluation mapping \(e:C_t(Y,Z)\times Y\to Z\), defined as \(e(f,y)=f(y)\), is continuous. Motivated by the known result that the intersection of all admissible topologies coincides with the greatest splitting topology (which is in general not admissible), the authors ask when a given splitting topology (e.g. the compact-open topology, the Isbell topology, or the greatest splitting topology) is the intersection of \(k\) many admissible topologies for a finite \(k\). If the given splitting topology \(t\) is admissible, then clearly \(k=1\) (e.g. if \(Y\) is Hausdorff locally compact and \(t\) is the compact-open topology, or if \(Y\) is corecompact and \(t\) is the Isbell topology). In the main result of the paper the authors improve the method of \textit{R. Arens} and \textit{J. Dugundji} from [Pac. J. Math. 1, 5--31 (1951; Zbl 0044.11801)] to construct new non-locally compact spaces \(Y\) such that \(k=2\) for the compact open topology on \(C(Y,\mathbf S)\), where \(\mathbf S\) is the Sierpiński space. In the final section related open problems are posed.