On the continuity of separately continuous bihomomorphisms (Q1019140)

A pair \((X,\lambda)\) is a convergence space if \(X\) is a set, and for every \(x \in X\), \(\lambda (x)\) is a collection of filters on \(X\) satisfying (i) \(\{ A \subseteq X : x \in A \} \in \lambda (x)\); (ii) \({\mathcal F}, {\mathcal G} \in \lambda (x) \implies {\mathcal F} \cap {\mathcal G} \in \lambda (x)\); (iii) \({\mathcal F} \in \lambda (x), {\mathcal F} \subseteq {\mathcal G}\) is a filter \(\implies {\mathcal G} \in \lambda (x)\). Filters \({\mathcal F} \in \lambda(x)\) are said to be convergent to \(x\). Let \((X,\lambda)\) and \((Y,\mu)\) be convergence spaces. A function \(f : (X,\lambda) \rightarrow (Y,\mu)\) is continuous if \(f [{\mathcal F}] \in \mu(f (x))\) for every \({\mathcal F} \in \lambda(x)\). Let \((G,\lambda)\) be an Abelian group endowed with a convergence structure. Then \((G , \lambda)\) is a convergence group if the mapping \(- : G \times G \rightarrow G , (x, y) \mapsto x - y\) is continuous. A convergence space \((X,\lambda)\) is called Hausdorff if \(\lambda(p) \cap \lambda(q) \neq \emptyset\) implies \(p = q\). It is compact if each ultrafilter converges, and locally compact if it is Hausdorff and each convergent filter contains a compact set. If \(G , H\) are convergence groups, \(\Gamma_{s} (G , H )\) denotes the space of continuous group homomorphisms from \(G\) to \(H\) endowed with the convergence structure induced by the family of mappings \((\varphi \mapsto \varphi(x))_{x\in G}\). A set \(M \subseteq \Gamma_{s}(G , H )\) is equicontinuous if for every filter \({\mathcal F}\) which converges to 0 in \(G\) , the filter filter generated by \(\{\{\varphi(x) : \varphi \in M, x \in F\} : F \in {\mathcal F}\}\) converges to 0 in \(H\). A convergence group \(G\) is \(g\)-barrelled if the compact subsets of \(\Gamma_{s}(G, \mathbb R / \mathbb Z)\) are equicontinuous. A main result of the paper is the following. Theorem. Let \(G\) and \(H\) be convergence groups such that \(G\) is \(g\)-barrelled, and let \(L\) be a Hausdorff locally quasi-convex topological group. Then every separately continuous bihomomorphism \(u : G \times H \rightarrow L\) is jointly continuous in either of the following cases: (i) \(H\) is locally compact; (ii) \(G\) and \(H\) are first countable. This theorem follows from the following Banach-Steinhaus type result. Theorem. Let \(G\) be a \(g\)-barrelled convergence group and let \(L\) be a Hausdorff locally quasi-convex topological group. Then the compact subsets of \(\Gamma_{s} (G , L )\) are equicontinuous.