When \(C_p(X)\) is domain representable (Q2856665)

Given a partially ordered set \((P,\sqsubseteq)\) and \(S\subseteq P\) say that \(u\in P\) is an \textit{upper bound of \(S\)} if \(s \sqsubseteq u\) for any \(s\in S\). If, additionally, \(u \sqsubseteq v\) for any upper bound \(v\) of the set \(S\), then \(u\) is called the \textit{supremum of \(S\)}; this is denoted by \(u=\sup(S)\). A non-empty set \(D\subseteq P\) is \textit{directed} if for any \(a,b\in D\), we can find \(c\in D\) such that \(a \sqsubseteq c\) and \(b \sqsubseteq c\). If each nonempty directed subset of \(P\) has a supremum in \(P\), then \(P\) is called \textit{a directed complete partial order (dcpo)}. It is easy to see that if \(P\) is a dcpo, then for any \(x\in X\), there is a maximal element \(u\in P\) such that \(x \sqsubseteq u\). The set of all maximal elements of \(P\) is denoted by \(\max(P)\). If \(p,q\in P\) then the notion \(p \ll q\) is used to say that for any directed set \(D\) with \(q \sqsubseteq \sup(D)\), there exists \(d\in D\) with \(p \sqsubseteq d\). A partially ordered set \(P\) is called \textit{continuous} if the set \(\Downarrow ( p)=\{q\in p: q \ll p\}\) is directed and \(p=\sup(\Downarrow (p))\) for any \(p\in P\). A \textit{domain} is a continuous dcpo. If \(P\) is a domain, then \(\Uparrow(p)=\{q\in P: p\ll q\}\) for each \(p\in P\). The family \(\{\Uparrow(p): p\in P\}\) generates a topology on \(P\) which is called \textit{the Scott topology}. A topological space \(X\) is \textit{domain representable} if there exists a domain \(P\) such that \(X\) is homeomorphic to \(\max(P)\) taken with the relative Scott topology.NEWLINENEWLINEGiven a set \(X\) and a metrizable group \(M\), the authors prove that for any domain representable dense subgroup \(G\) of the product \(M^X\), we have the equality \(G=M^X\). In particular, for any Tychonoff space \(X\), if \(C_p(X)\) is domain representable, then \(X\) is discrete. Another corollary is the fact that if \(X\) is zero-dimensional and Hausdorff then subcompactness of the space \(C_p(X, \{0,1\})\) implies that \(X\) is discrete.