\(*\)-maximum lattice-ordered groups. (Q2439535)

Denote by \(W\) the category of archimedean \(l\)-groups \(G\) with a distinguished positive weak order unit \(e_G\) (that is, \(e_G^\bot\equiv\{g:|g|\wedge e_G=0\}=\{0\}\)), and morphisms \(\varphi\colon G\to H\) the \(l\)-group homomorphisms with \(\varphi(e_G)=e_H\). For \(G\in |W|\), denote by \(G^*\equiv\{g\in G:\exists n\in\mathbb N\;|g|\leq ne_G\}\), the convex sub-\(l\)-group generated by \(e_G\) and by \(W^*=\{G\in |W|:G^*=G\}\). This is the full subcategory of \(W\) of those \(G\) in which \(e_G\) is a strong unit. The association \(W\mapsto W^*\) is functorial. For \(G\in |W|\), \(YG\) denotes the set of values of \(e_G\) with the hull-kernel topology. (A value of \(e_G\) is a convex sub-\(l\)-group \(M\) maximal for \(e_G\not\in M\).) For a Tychonoff space \(X\), \(\mathbb R\) the reals, and \([-\infty,+\infty ]=\mathbb R\cup\{\pm\infty\}\) with the obvious topology and order, denote by \(D(X)=\{f\in C(X,[-\infty,+\infty]):f^{-1}\mathbb R\) dense in \(X\}\). An object \(G\in |W|\) is called \(*\)-\textit{maximum} if, whenever \(H\in |W|\), and there is an isomorphism \(\varphi\colon H^*\approx G^*\), then there is an embedding \(\overline\varphi\colon H\leq G\) with \(\overline\varphi |H^*=\varphi\). The principal constructions and results of the paper are gathered in the following Theorem 1.4. (I) The following are equivalent about \(G\). (1) \(G\) is \(*\)-max. (2) (Section 3). If \(f\in D(YG)^+\) has the property that \(f\wedge k\in G\) for all \(k\in\mathbb N\), then \(f\in G\). (3) (Section 4). If \(S\) is a dense cozero-set in \(YG\), and \(f\in C(S)\) is locally in \(G\) on \(S\), then \(f\) extends over \(YG\) to a \(g\in G\). (4) (Section 10). Any sequence \((u_n)\) in \(G^+\) for which \(u_{n+1}\wedge n=u_n\) for all \(n\) and \(\bigcap_n(u_{n+1}-u_n)^{\bot\bot}=\{0\}\), has the supremum in \(G\). (II) (Section 7). If \(G\) is \(*\)-max, then \(YG\) is quasi-F, and if also \(G\) is divisible, then \(G\) is uniformly dense in \(D(YG)\). (III) (Section 8). Each \(G\in |W|\) has an extension \(lG\) which is minimum among essential \(*\)-max extensions of \(G\). The Yosida space \(YlG\) is the minimum quasi-F cover of \(YG\).