Abstract
We consider the problem of extending maps from algebras to their profinite completions in finitely generated quasivarieties. Our developments are based on the construction of the profinite completion of an algebra as its natural extension. We provide an extension which is a multi-map and we study its continuity properties, and the conditions under which it is a map.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
This paper is a contribution to the study of profinite completions in internally residually finite prevarieties. A class \(\mathcal {A}\) of algebras is called (Davey et al. 2011) an internally residually finite prevariety (IRF-prevariety for short) if there is a set \({\mathcal {M}}\) of finite algebras such that \(\mathcal {A}=\mathbb {ISP}({\mathcal {M}})\). Every algebra \({\mathbf{A}}\) of an IRF-prevariety \(\mathcal {A}\) embeds in its \(\mathcal {A}\)-profinite completion \({\mathbf {pro}}_\mathcal {A}({\mathbf{A}})\), which is defined as the inverse limit of the inverse system of the finite quotients of \({\mathbf{A}}\) that belongs to \(\mathcal {A}\), with natural homomorphisms as bonding maps (see Sect. 2 for details). In what follows, we limit ourself to those IRF-prevareties \(\mathcal {A}\) that are finitely generated quasivarieties, i.e., for which there is a finite set \({\mathcal {M}}\) of finite algebras such that \(\mathcal {A}=\mathbb {ISP}({\mathcal {M}})\). Moreover, we assume that \(\mathcal {A}=\mathbb {ISP}(\{{\mathbf{M}}\})\), but this restriction is a matter of convenience: we claim that our developments admit the obvious generalization to the multi-sorted case where \({\mathcal {M}}=\{{\mathbf{M}}_1, \ldots , {\mathbf{M}}_n\}\).
It is proved in Davey et al. (2011) that \({\mathbf {pro}}_\mathcal {A}({\mathbf{A}})\) is isomorphic to the natural extension \({\mathbf{A}}^\delta \) of \({\mathbf{A}}\), that is, the topological closure of \(e_{\mathbf{A}}({\mathbf{A}})\) in \({\mathbf{M}}_\iota ^{{\mathbf{A}}^*}\), where \({\mathbf{A}}^*=\mathcal {A}({\mathbf{A}}, {\mathbf{M}})\), where \(e_{\mathbf{A}}:{\mathbf{A}} \rightarrow {\mathbf{M}}^{{\mathbf{A}}^*}\) is the evaluation map defined as \(e_{{\mathbf{A}}}(a)(\phi )=\phi (a)\), and where \(\iota \) is the discrete topology on \({\mathbf{M}}\) (this representation result actually holds in any IRF-prevariety). Moreover, if \(\mathop {M}\limits _{\sim }\) is a discrete structure that yields a natural duality for \(\mathcal {A}\), and if \({\mathbf{A}}^*\) is considered as a (closed) substructure of \(\mathop {M}\limits _{\sim }^{\mathbf{A}}\), then \({\mathbf{A}}^\delta \) can be concretely computed as the algebra of structure preserving maps from \({\mathbf{A}}^*\) to \(\mathop {M}\limits _{\sim }\) (Davey et al. 2011, Theorem 4.3). With these results in mind, we adopt the notation \({\mathbf{A}}^\delta \) to denote \({\mathbf {pro}}_\mathcal {A}({\mathbf{A}})\) for the remaining of the paper.
We consider the following problem: given \({\mathbf{A}}, {\mathbf{B}} \in \mathcal {A}\) and a map \(u :{\mathbf{A}} \rightarrow {\mathbf{B}}\), how to define a ‘reasonable’ extension \(u^\delta :{\mathbf{A}}^\delta \rightarrow {\mathbf{B}}^\delta \) of u? Such an extension would allow to study profinite completions of expansions of \(\mathcal {A}\)-algebras, and preservation of equations through profinite completions. This problem has a well known solution (Gehrke and Jónsson 2004) in the particular case where \(\mathcal {A}=\mathcal {DL}=\mathbb {ISP}({\mathbf 2})\) is the variety of bounded distributive lattices, in which profinite completions coincide with canonical extensions. In this particular case, the theory of canonical extensions provides with a lower and an upper extension of any map \(u:{\mathbf{L}} \rightarrow {\mathbf{L}'}\) to the canonical extensions of \({\mathbf{L}}\) and \({\mathbf{L}}'\). However, in the more general setting of non lattice-based algebras, no method of extension of maps from algebras to their profinite completions has yet been developed.
The paper is organized as follows. In Sect. 2, we recall some results about profinite completions in IRF-prevarieties, and we set up the notations. In Sect. 3, we introduce a new topology \(\delta \) on \({\mathbf{A}}^\delta \) such that \({\mathbf{A}}\) is the largest discrete subspace of \({\mathbf{A}}^\delta _\delta \). We prove that this topology boils down to the existing one (Gehrke and Jónsson 2000; Gehrke and Vosmaer 2011) in the specific case \(\mathcal {A}=\mathcal {DL}\). Finally, we prove that if \(\mathop {M}\limits _{\sim }\) yields a logarithmic full duality for \(\mathcal {A}\), then the construction of profinite completions (alias, natural extensions) commutes with the one of finite Cartesian products. We generalize this result to Boolean products in the Appendix.
Section 4 is the core of the paper. We work under the more restrictive assumption that there is a discrete topological structure \(\mathop {M}\limits _{\sim }\) that yields a logarithmic duality for \({\mathbf{A}}\) and that \(\mathop {M}\limits _{\sim }\) is injective in the dual category \(\mathbb {IS}_c\mathbb {P}(\mathop {M}\limits _{\sim })\). Given a map \(u:{\mathbf{A}} \rightarrow {\mathbf{B}}\), we use the topology \(\delta \) to define an extension \({\widetilde{u}}\) of u on \({\mathbf{A}}^\delta \). In general, the map \({\widetilde{u}}\) is not valued on \({\mathbf{B}}^\delta \) but \({\widetilde{u}}(x)\) is a closed subspace of \({\mathbf{B}}^\delta _\iota \) for every \(x\in {\mathbf{A}}^\delta \) (where \(\iota \) is the topology inherited from \(\mathop {M}\limits _{\sim }^{\mathcal {A}({\mathbf{B}}, {\mathbf{M}})}\)). It means that \({\widetilde{u}}\) has to be considered as a multi-map between \({\mathbf{A}}^\delta \) and \({\mathbf{B}}^\delta \) rather than a map. Nevertheless, under additional continuity assumptions, we show that \({\widetilde{u}}\) can be turned into a map valued in \({\mathbf{B}}^\delta \), a property that we call smoothness.
In Sect. 5, we study how the construction of \({\widetilde{u}}\) interacts with function compositions. We illustrate our developments by considering a sample case, namely, the case where \(\mathcal {A}\) is the variety of median algebras (a non lattice-based variety). In particular, we exhibit an example of smooth map that is not a homomorphism nor an operation of the type of the algebra. We also prove that median algebras whose profinite completion is Boolean are exactly the Boolean powers of the 2-element median algebra.
In Sect. 6, we consider the special case where \({\mathbf{M}}\) can be equipped with a total order in such a way that every \({\mathbf{A}}\in \mathcal {A}\) can be considered locally has a (semi)lattice. We also show how the construction of \({\widetilde{u}}\) shed lights on the existence of an upper and a lower extension of u in the case of distributive lattices. We close the paper by some concluding remarks and topics of further research.
2 Preliminaries
We work under the general setting of Clark and Davey (1998). Let \({\mathcal {M}}=\{{\mathbf{M}}_1, \ldots , {\mathbf{M}}_n\}\) be a finite set of finite algebras of the same type, and let \(\mathcal {A}\) be the prevariety \(\mathbb {ISP}({\mathcal {M}})\). In what follows we assume for convenience that \({\mathcal {M}}=\{{\mathbf{M}}\}\). We denote by \(\mathop {M}\limits _{\sim }\) an alter-ego of \({\mathbf{M}}\), i.e., a topological structure
where \(\iota \) is the discrete topology on M, and G, H and R are respectively a set (possibly empty) of algebraic operations, algebraic partial operations (with nonempty domain), and algebraic (nonempty) relations on \({\mathbf{M}}\), respectively. We use \(\mathcal {X}\) to denote the topological prevariety \(\mathbb {IS}_c\mathbb {P}(\mathop {M}\limits _{\sim })\), that is, the class of topological structures that are isomorphic to a closed substructure of a nonempty power of \(\mathop {M}\limits _{\sim }\). For any \(X, Y \in \mathcal {X}\) we denote by \(\mathcal {X}(X,Y)\) the set of the structure preserving continuous maps \(f:X\rightarrow Y\). We use \(X_*\) to denote \(\mathcal {X}(X,\mathop {M}\limits _{\sim })\).
For any \({\mathbf{A}}\in \mathcal {A}\), we denote by \({\mathbf{A}}^*\) the set \(\mathcal {A}({\mathbf{A}}, {\mathbf{M}})\) of the homomorphisms from \({\mathbf{A}}\) to \({\mathbf{M}}\). The Preduality Theorem (Clark and Davey 1998, Theorem 5.2) states that if \({\mathbf{A}}^*\) inherits the structure and the topology from \(\mathop {M}\limits _{\sim }^A\), then \({\mathbf{A}}^*\in \mathcal {X}\). Moreover, the evaluation map
is an \(\mathcal {A}\)-embedding. Similarly, for any \(X\in \mathcal {X}\) the map
is a \(\mathcal {X}\)-embedding.
If \(\tau \) is a topology on a set X, we denote by \(\langle X,\tau \rangle \) or \(X_\tau \) the corresponding topological space. In particular, we denote by \({\mathbf{M}}_\iota \) the topological algebra obtained by equipping \({\mathbf{M}}\) with the discrete topology. For any set X, the notation \({\mathbf{M}}^X_\iota \) stands for the power algebra \({\mathbf{M}}^X\) equipped with the product topology induced by \(\iota \) on M. We denote by \(\mathcal {A}_\iota \) the category of topological algebras that are isomorphic to a closed subalgebra of a nonempty power of \({\mathbf{M}}_\iota \) with continuous homomorphisms as arrows. For every \({\mathbf{A}}\in \mathcal {A}\), the map \(e_{\mathbf{A}}\) identifies \({\mathbf{A}}\) with the subspace \(e_{\mathbf{A}}({\mathbf{A}})\) of \({\mathbf{M}}_\iota ^{{\mathbf{A}}^*}\), and we usually consider \({\mathbf{A}}\) up to this identification.
Definition 2.1
(Davey et al. 2011) The natural extension of \({\mathbf{A}}\in \mathcal {A}\), in notation \({\mathbf{A}}^\delta \), is the topological closure of \({\mathbf{A}}\) in \({\mathbf{M}}^{{\mathbf{A}}^*}_\iota \). The algebra \({\mathbf{A}}^\delta \) is turned into an element \({\mathbf{A}}^\delta _\iota \) of \(\mathcal {A}_\iota \) by considering it as a subspace of \({\mathbf{M}}^{{\mathbf{A}}^*}_\iota \).
When \(\mathop {M}\limits _{\sim }\) yields a natural duality for \(\mathcal {A}\), i.e., when the map \(e_{{\mathbf{A}}}:{\mathbf{A}} \rightarrow ({\mathbf{A}}^*)_*\) is an isomorphism for every \({\mathbf{A}}\in \mathcal {A}\), then Proposition 2.2 shows how to explicitly construct \({\mathbf{A}}^\delta \) from \({\mathbf{A}}^*\) without relying on any notion of (topological) limit. For any topological structure \(X\) and any topological algebra \({\mathbf{A}}\), we denote respectively by \(X^\flat \) and \({\mathbf{A}}^\flat \) the structure obtained from \(X\) and the algebra obtained from \({\mathbf{A}}\) by dropping the topology. We denote by \(\mathcal {X}^\flat \) the category whose objects are the \(X^\flat \) where \(X\in \mathcal {X}\) with structure preserving maps as arrows. By abuse of notation, we write \(\mathcal {X}^\flat (X, Y)\) instead of \(\mathcal {X}^\flat (X^\flat , Y^\flat )\). Note that \(\mathcal {X}^\flat ({\mathbf{A}}^*, \mathop {M}\limits _{\sim })\) is a closed subalgebra of \({\mathbf{M}}^{{\mathbf{A}}^*}_\iota \) for every \({\mathbf{A}}\in \mathcal {A}\).
Proposition 2.2
(Davey et al. 2011, Theorems 3.6 and 4.3) Assume that \({\mathbf{A}}\in \mathcal {A}\).
-
(1)
The definition of \({\mathbf{A}}^\delta _\iota \) is independent of the algebraic structure \(G\cup H\cup R\) used to defined \(\mathop {M}\limits _{\sim }\) and of the algebra \({\mathbf{M}}\) used to define \(\mathcal {A}\).
-
(2)
If in addition \(\mathop {M}\limits _{\sim }\) yields a duality for \(\mathcal {A}\) then \({\mathbf{A}}^\delta _\iota \) is isomorphic to \(\langle \mathcal {X}^\flat ({\mathbf{A}}^*, \mathop {M}\limits _{\sim }), \iota \rangle \).
Recall that for any \({\mathbf{A}}\in \mathcal {A}\), the family \(\{A/\theta \mid \theta \in \mathrm {Con}(A) \text { and } A/\theta \in \mathcal {A} \text { is finite}\}\) with the natural bonding maps \(\phi _{\theta , \theta '}:x/\theta \mapsto x/\theta '\) for every \(\theta \le \theta '\) forms an inverse system, the inverse limit of which is called the \(\mathcal {A}\)-profinite completion of \({\mathbf{A}}\) (or simply the profinite completion of \({\mathbf{A}}\)) and is denoted by \({\mathbf {pro}}_{\mathcal {A}}({\mathbf{A}})\). Any \({\mathbf{A}}\in \mathcal {A}\) embeds in \({\mathbf {pro}}_{\mathcal {A}}({\mathbf{A}})\). If in addition \(\mathcal {A}\) is a variety, then \(A/\theta \in \mathcal {A}\) for every congruence of \({\mathbf{A}}\), and the construction of \({\mathbf {pro}}_{\mathcal {A}}({\mathbf{A}})\) does not rely on \(\mathcal {A}\) and is commonly denoted by \(\widehat{{\mathbf{A}}}\). The following result, which follows from Davey et al. (2011, Theorem 3.6), states that under our assumption of a finitely generated prevariety \(\mathcal {A}\), the \(\mathcal {A}\)-profinite completion of \({\mathbf{A}}\in \mathcal {A}\) coincides with its natural extension \({\mathbf{A}}^\delta \).
Proposition 2.3
If \({\mathbf{A}} \in \mathcal {A}\), then there is an isomorphism between \({\mathbf {pro}}_{\mathcal {A}}({\mathbf{A}})\) and \({\mathbf{A}}^\delta \) that fixes \({\mathbf{A}}\).
Informally speaking, Proposition 2.3 shows that natural extension is a tool to compute profinite completions.
We close the section by introducing some notation. We write \(F\Subset X\) if F is a finite subset of X. If \(\tau \) is a topology on X and \(x\in X\), then we denote by \(\tau _x\) the set of open \(\tau \)-neighborhoods of x. If \(b\in X_\tau ^Z\) for some Z and if \(F\Subset Z\), then we denote by [b|F] the basic open set \(\{y\in X^Z \mid y\restriction _F=b\restriction _F\}\) of \(X_\tau ^Z\).
If \((X, \le )\) is an ordered set and \(x\in X\), then we denote by \(x{\uparrow }\) and \(x{\downarrow }\) the up-set and the down-set generated by x, respectively.
3 The topology \(\delta \) for profinite completions
In the distributive lattice-based setting, it is well known that the topology \(\iota \) that naturally equips the canonical extension of a DL \({\mathbf{A}}\) can be enriched into a finer topology in which \({\mathbf{A}}\) is definable as the algebra of isolated points. Authors have used various notations for this topology: it is denoted by \(\sigma \) in Gehrke and Jónsson (2004) and by \(\delta \) in Gehrke and Vosmaer (2011). We aim at defining a similar topology in the more general setting of a finitely generated prevariety \(\mathcal {A}\) and \(\mathcal {A}\)-profinite completions.
3.1 A topology to define \({\mathbf{A}}\) in its profinite completion
If \(X, Y \in \mathcal {X}\) we denote by \(\mathcal {X}_p(X,Y)\) the set of partial morphisms from X to Y, i.e., the set of the maps \(f:\mathrm {dom}(f)\rightarrow Y\) where \(\mathrm {dom}(f)\) is a closed substructure of X and where \(f\in \mathcal {X}(\mathrm {dom}(f), Y)\).
Definition 3.1
If \({\mathbf{A}}\in \mathcal {A}\) and \(f \in \mathcal {X}_p({\mathbf{A}}^*, \mathop {M}\limits _{\sim })\), we set
Then, we denote by \(\Delta _{{\mathbf{A}}}\), or simply \(\Delta \), the family
The topology \(\delta \) is defined as the topology generated by \(\Delta \), and we denote by \({\mathbf{A}}_\delta \) the topological algebraic structure obtained by equipping \({\mathbf{A}}\) with \(\delta \).
Remark 3.2
-
(1)
If \(\mathop {M}\limits _{\sim }\) is injective in \(\mathcal {X}\), then \(\Delta \) is equal to the family of the sets \(O_{K, a}:=O_{e_{\mathbf{A}}(a)\restriction _K}\) where \(a\in {\mathbf{A}}\) and K is a closed substructure of \({\mathbf{A}}^*\).
-
(2)
It is not always possible to compare topologies \(\delta \) and \(\iota \). Nevertheless, we have \(\iota \subseteq \delta \) if any finite subset of \({\mathbf{A}}^*\) generates a finite substructure in \({\mathbf{A}}^*\). In particular, we have \(\iota \subseteq \delta \) if \(\mathop {M}\limits _{\sim }\) is a purely relational structure.
Recall that a strong duality is said to be logarithmic if (finite) coproducts in the dual category (they always exist since they are dual to products) are given by the direct unions, that is, disjoint unions with constants amalgamated (see section 6.3 in Clark and Davey 1998).
Lemma 3.3
If \(\mathop {M}\limits _{\sim }\) yields a logarithmic duality for \(\mathcal {A}\), then \(\Delta \) is a basis of \(\delta \).
Proof
Let \({\mathbf{A}}\in \mathcal {A}\) and \(f, g \in \mathcal {X}_p({\mathbf{A}}^*,\mathop {M}\limits _{\sim })\). We prove that \(O_f \cap O_g\in \Delta \) or \(O_f \cap O_g = \varnothing \). First, we note that \(\mathrm {dom}(f)\cup \mathrm {dom}(g)\) is a substructure of \({\mathbf{A}}^*\). Indeed, if \(i_h\) is the inclusion map \(i_h:\mathrm {dom}(h)\rightarrow {\mathbf{A}}^*\) for \(h\in \{f,g\}\), and if \(s_h\) is the canonical embedding from \(\mathrm {dom}(h)\) into \(\mathrm {dom}(f)\amalg \mathrm {dom}(g)\) for \(h \in \{f,g\}\), then there is a morphism \(i:\mathrm {dom}(f)\amalg \mathrm {dom}(g)\rightarrow {\mathbf{A}}^*\) such that \(i \circ s_f=i_f\) and \(i \circ s_g=i_g\). It follows that \(\mathrm {Im}(i)=\mathrm {dom}(f)\cup \mathrm {dom}(g)\) is a closed substructure of \({\mathbf{A}}^*\).
If \(f \cup g\) is not a function, i.e., if f and g do not coincide on \(\mathrm {dom}(f)\cap \mathrm {dom}(g)\), or if \(f \cup g\) is a function that does not belong to \(\mathcal {X}^\flat (\mathrm {dom}(f)\cup \mathrm {dom}(g), \mathop {M}\limits _{\sim })\), then \(O_f\cap O_g=\emptyset \).
If \(f \cup g \in \mathcal {X}^\flat (\mathrm {dom}(f)\cup \mathrm {dom}(g), \mathop {M}\limits _{\sim })\), then it also belongs to \(\mathcal {X}(\mathrm {dom}(f) \cup \mathrm {dom}(g), \mathop {M}\limits _{\sim })\) by continuity of f and g. It follows that \(O_f\cap O_g=O_{f \cup g}\). \(\square \)
Lemma 3.4
Assume that \(A\in \mathcal {A}\).
-
(1)
The elements of \(\mathcal {X}({\mathbf{A}}^*, \mathop {M}\limits _{\sim })\) are isolated points in \(\langle \mathcal {X}^\flat ({\mathbf{A}}^*, \mathop {M}\limits _{\sim }), \delta \rangle \).
-
(2)
If \(\mathop {M}\limits _{\sim }\) is injective in \(\mathcal {X}\) and if \(\Delta \) is a basis of \(\delta \), then \(({\mathbf{A}}^*)_*\) is dense in \(\langle \mathcal {X}^\flat ({\mathbf{A}}^*, \mathop {M}\limits _{\sim }), \delta \rangle \).
-
(3)
If \(\mathop {M}\limits _{\sim }\) is injective in \(\mathcal {X}\) and yields a duality for \(\mathcal {A}\) and if \(\Delta \) is a basis of \(\delta \), then \({\mathbf{A}}\) is a discrete dense subspace of \({\mathbf{A}}^\delta _\delta \).
Proof
(1) If \(x \in ({\mathbf{A}}^*)_*\) then \(O_x=\{x\}\in \delta \).
(2) Let \(f\in \mathcal {X}_p({\mathbf{A}}^*, \mathop {M}\limits _{\sim })\). Since \(\mathop {M}\limits _{\sim }\) is injective in \(\mathcal {X}\), there is an \(a\in ({\mathbf{A}}^*)_*\) such that \(a=f\) on \(\mathrm {dom}(f)\). It means by definition of \(\delta \) that \(a\in O_f \cap ({\mathbf{A}}^*)_*\).
(3) We know by (1) and (2) that \(e_{{\mathbf{A}}}({\mathbf{A}})=({\mathbf{A}}^*)_*\) is the subspace of isolated points of \({\mathbf{A}}^\delta _\delta \). The conclusion follows from Proposition 2.2 (2). \(\square \)
By combining Lemmas 3.3 and 3.4, we obtain the following proposition.
Proposition 3.5
If \(\mathop {M}\limits _{\sim }\) is injective in \(\mathcal {X}\) and yields a logarithmic duality for \(\mathcal {A}\), then \({\mathbf{A}}\) is the subspace of isolated points of \({\mathbf{A}}^\delta _\delta \) for every \({\mathbf{A}}\in \mathcal {A}\).
Let \(\mathcal {DL}\) be the variety of bounded distributive lattices, that is, \(\mathcal {DL}=\mathbb {ISP}({\mathbf 2})\), where \({\mathbf 2}=\langle \{0,1\}, \vee , \wedge \rangle \) is the two-element lattice. Recall that \(\mathop {{\mathbf 2}}\limits _{\sim }:=\langle \{0,1\}, \le , \iota \rangle \) where \(0\le 1\) yields a logarithmic natural strong duality for \(\mathcal {DL}\), known as Priestley duality. If \({\mathbf{L}}\in \mathcal {DL}\), then \({\mathbf{L}}^\delta \) coincides with the canonical extension of \({\mathbf{L}}\), which can be constructed by Proposition 2.2 as the lattice of decreasing subsets of the \({\mathbf{L}}^*\). In Gehrke and Jónsson (2004), the authors introduce a topology \(\delta '\) on \({\mathbf{L}}^\delta \) (denoted by \(\sigma \) in Gehrke and Jónsson 2004 and by \(\delta \) in Gehrke and Vosmaer 2011), and use this topology to extend maps between distributive lattices to their canononical extensions (i.e., their profinite completions). Recall that a basis of \(\delta '\) is given by the sets [F, O] where F is a closed element of \({\mathbf{L}}^\delta \) (i.e., a closed decreasing subset of \({\mathbf{L}}^*\)), and O is an open element of \({\mathbf{L}}^\delta \) (i.e., an open decreasing subset of \({\mathbf{L}}^*\)). In the next proposition, we prove that the topology \(\delta \) defined in Definition 3.1 coincides with \(\delta '\).
Proposition 3.6
If \({\mathbf{L}}\in \mathcal {DL}\), then \(\delta ({\mathbf{L}}^\delta )=\delta '({\mathbf{L}}^\delta )\).
Proof
First, we prove that \(\delta '\subseteq \delta \). Let F and O be a closed and an open element of \({\mathbf{L}}^\delta \), respectively, and assume \(F\subseteq O\). Then, \(G:=F\cup -O\) is a closed substructure of \({\mathbf{L}}^*\). Let \(f:G \rightarrow \mathop {2}\limits _{\sim }\) be the map defined by \(f^{-1}(0)=F\). We have \(f\in \mathcal {X}(G,\mathop {2}\limits _{\sim })\) and \([F,O]=O_f\).
Conversely, let \(f\in \mathcal {X}_p({\mathbf{L}}^*, \mathop {M}\limits _{\sim })\). Then, \(f^{-1}(0)\) is a decreasing clopen subset of \(\mathrm {dom}(f)\). Hence, it is a closed subspace of \({\mathbf{L}}^*\) and \(F:=f^{-1}(0)\!\!\downarrow \) is a decreasing closed subspace of \({\mathbf{L}}^*\). Similarly, \(F'=f^{-1}(1)\!\!\uparrow \) is an increasing closed subspace of \({\mathbf{L}}^*\). It follows that
We conclude that \(O_f=[F,-F']\in \delta '\). \(\square \)
Note that there is no statement equivalent to Proposition 3.6 for the variety of bounded lattices since it is not an IRF-prevariety.
3.2 Profinite completions and products
We aim to use the topology \(\delta \) to define extension of maps between algebras of \(\mathcal {A}\) to their profinite completions. In this view, an important feature is that under our general assumptions the construction of profinite completions commutes with the construction of products, i.e.,
for every \({\mathbf{A}}, {\mathbf{B}}\in \mathcal {A}\). Given a procedure to extend maps from algebras to their profinite completions, property (1) would allow us to extend n-ary operations (\(n\ge 2\)) on \({\mathbf{A}}\in \mathcal {A}\) to n-ary operations on \({\mathbf{A}}^\delta \). As proved in the next result, this property holds true under rather mild assumptions.
Theorem 3.7
Assume that \({\mathbf{M}}\) is of finite type and that \(\mathop {M}\limits _{\sim }\) yields a full duality for \(\mathcal {A}\). If \({\mathbf{A}}, {\mathbf{B}}\in \mathcal {A}\), then
In particular, if \(\mathop {M}\limits _{\sim }\) yields a full logarithmic duality for \(\mathcal {A}\), then (1) holds for every \({\mathbf{A}}, {\mathbf{B}} \in \mathcal {A}\) and we may assume that the isomorphism is also a \(\iota \)- and \(\delta \)-homeomorphism.
Proof
Assume that \(({\mathbf{A}}^*\amalg {\mathbf{B}}^*)^\flat \simeq ({\mathbf{A}}^*)^\flat \amalg ({\mathbf{B}}^*)^\flat \). It then follows successively that
where (2) is obtained because full dualities turn products to coproducts, (4) follows from the fact that \((\mathcal {A}_\iota (\cdot , {\mathbf{M}}_\iota ), \mathcal {X}^\flat (\cdot , \mathop {M}\limits _{\sim }^\flat ),e, \epsilon )\) is a dual adjunction between \(\mathcal {A}_\iota \) and \(\mathbb {ISP}(\mathop {M}\limits _{\sim }^\flat )\) and hence turns coproducts to products, and (3) holds by assumption. Moreover, if \(\mathop {M}\limits _{\sim }\) yields a logarithmic duality for \(\mathcal {A}\), the isomorphism given by the previous piece of argument is easily seen to be a \(\iota \)- and \(\delta \)-homeomorphism.
Conversely, if \(({\mathbf{A}}\times {\mathbf{B}})^\delta \simeq {\mathbf{A}}^\delta \times {\mathbf{B}}^\delta \), it follows successively that
where (6) holds by assumption, and where (5), (7) and (8) follow from the fact that \(\mathcal {A}_\iota (\cdot , {\mathbf{M}}_\iota )\) and \(\mathcal {X}^\flat (\cdot , \mathop {M}\limits _{\sim }^\flat )\) define a dual equivalence between \(\mathcal {A}_\iota \) and \(\mathbb {ISP}(\mathop {M}\limits _{\sim }^\flat )\) (see Davey et al. 2012, Theorem 2.4). \(\square \)
In Appendix, we generalize Theorem 3.7 to Boolean products.
4 Multi-extension of maps
Given a map \(u:{\mathbf{A}} \rightarrow {\mathbf{B}}\), we consider the problem of defining an extension of u between \({\mathbf{A}}^\delta \) and \({\mathbf{B}}^\delta \). Our approach (Definition 4.2) provides with a mutli-extension \({\widetilde{u}}\) of u, that is, a map valued in the set of (closed) subsets \(\Gamma ({\mathbf{B}}^\delta _\iota )\) of \({\mathbf{B}}^\delta _\iota \). This multi-extension \({\widetilde{u}}\) enjoys some continuity properties (Theorem 4.5).
We adopt the following assumption for the remainder of the paper.
Assumption 4.1
The structure \(\mathop {M}\limits _{\sim }\) yields a logarithmic duality for \(\mathcal {A}\) and \(\mathop {M}\limits _{\sim }\) is injective in \(\mathcal {X}\).
Surprisingly enough, as noted in Clark and Davey (1998), many known strong dualities are logarithmic and hence, satisfy Assumption 4.1.
Definition 4.2
Let \({\mathbf{A}}, {\mathbf{B}} \in \mathcal {A}\) and \(u:A \rightarrow B\). The relational extension of u is the relation \({\overline{u}}\) defined as the topological closure of u in \({\mathbf{A}}^\delta _\delta \times {\mathbf{B}}^\delta _\iota \). The multi-extension of u is the map \({\widetilde{u}}\) defined on \({\mathbf{A}}^\delta \) by setting \({\widetilde{u}}(x)=\{y \in {\mathbf{B}}^\delta \mid (x,y)\in {\overline{u}}\}\) for every \(x\in {\mathbf{A}}^\delta \).
Let us recall that if \(\langle X, \tau \rangle \) is a topological space, then the set \(\Gamma (X)\) of closed subsets of X is a complete lattice. Moreover, if Y is dense in X, if C is a complete lattice, and if \(f:Y \rightarrow C\), then \(\limsup _\tau f\) is the map defined on X by \(\limsup _\tau f(x)=\bigwedge \{\bigvee f(Y\cap U)\mid U \in \tau _x\}\). The next lemma shows that \({\widetilde{u}}\) can be computed analogously as the upper extension in the setting of bounded distributive lattices (see Gehrke and Jónsson 2004, Definition 2.13).
Lemma 4.3
Let \({\mathbf{A}}, {\mathbf{B}} \in \mathcal {A}\) and \(u:A \rightarrow B\). If \({\widehat{u}}:{\mathbf{A}}_\delta \rightarrow \Gamma ({\mathbf{B}}^\delta _\iota )\) is the map defined as \({\widehat{u}}(a)=\{u(a)\}\), then \({\widetilde{u}}=\limsup _\delta {\widehat{u}}\).
Proof
For every \(x\in {\mathbf{A}}^\delta \), we have
where the closure is computed in \({\mathbf{B}}^\delta _\iota \). It follows directly that \(y\in {\limsup }_\delta {\widehat{u}}(x)\) if and only if \((x,y)\in {\overline{u}}\). \(\square \)
Combining Proposition 3.5 with Lemma 4.3, and by compactness of \({\mathbf{B}}^\delta _\iota \) we obtain directly the following result.
Proposition 4.4
Let \({\mathbf{A}}, {\mathbf{B}} \in \mathcal {A}\) and \(u:A \rightarrow B\).
-
(1)
If \(a \in {\mathbf{A}}\), then \({\widetilde{u}}(a)=\{u(a)\}\).
-
(2)
If \(x\in {\mathbf{A}}^\delta \) then \({\widetilde{u}}(x)\) is nonempty.
The following theorem shows that \({\widetilde{u}}\) enjoys similar continuity properties as the upper extension in the setting of bounded distributive lattices (see Gehrke and Jónsson 2004, Theorem 2.12). Recall that if \(\langle X, \tau \rangle \) is a compact Hausdorff space, then the family of sets
is a basis of a topology \(\sigma {\downarrow }\), which is called the co-Scott topology.
Theorem 4.5
Let \({\mathbf{A}}\), \({\mathbf{B}}\in \mathcal {A}\) and \(u:A \rightarrow B\).
-
(1)
The map \({\widetilde{u}}:{\mathbf{A}}^\delta \rightarrow \Gamma ({\mathbf{B}}^\delta _\iota )\) is \((\delta , \sigma {\downarrow })\)-continuous.
-
(2)
If \(u':{\mathbf{A}}^\delta \rightarrow \Gamma ({\mathbf{B}}^\delta _\iota )\) is a \((\delta , \sigma {\downarrow })\)-continuous map such that \(u'(a)=\{u(a)\}\) for every \(a \in A\), then \({\widetilde{u}}(x) \subseteq u'(x)\) for every \(x\in {\mathbf{A}}^\delta \).
Proof
First, we prove the following claim.
Claim
For any \(x\in {\mathbf{A}}^\delta \) and any \(F\Subset {\mathbf{B}}^*\), it holds \({\widetilde{u}}(x)\restriction _F~=~\bigcap \{u(V \cap A)\restriction _F \mid V \in \delta _x\}\).
Proof of the Claim
The inclusion \(\subseteq \) is clear. Let us prove inclusion \(\supseteq \). Let \(\alpha \in M^F\) be such that \(\alpha \in u(V\cap A)\restriction _F\) for every \(\delta \)-neighborhood V of x. For any finite subset G of \({\mathbf{B}}^*\) that contains F and any \(\delta \)-neighborhood V of x, set
We obtain by compactness that \(H_{G}:=\bigcap \{K_{G,V} \mid V \in \delta _x\}\) is a nonempty closed subspace of \({\mathbf{B}}^\delta _\iota \). It follows again by compactness that the family \(\{H_G \mid F \Subset G \Subset {\mathbf{B}}^*\}\) has an nonempty intersection H. Any element y of H belongs to \({\widetilde{u}}(x)\) and satisfies \(y\restriction _{F}=\alpha \), which proves that \(\alpha \in {\widetilde{u}}(x)\restriction _F\). \(\square \)
(1) We prove that \({\widetilde{u}}^{-1}(\square U)\) is an open subspace of \({\mathbf{A}}^\delta _\delta \) for any open subspace U of \({\mathbf{B}}^\delta _\iota \). By compactness of \({\mathbf{B}}^\delta _\iota \), it suffices to consider the case where U is a finite union of basic open sets \([\alpha |F]\) where \(F\Subset {\mathbf{B}}^*\) and \(\alpha \in {\mathbf{M}}^F\). We consider the case where U is the union of two such basic open sets \([F_1|\alpha _1]\) and \([F_2|\alpha _2]\), as the general case can be proved in a similar way. Let \(x\in {\widetilde{u}}^{-1}\big (\square ([F_1|\alpha _1] \cup [F_2\vert \alpha _2])\big )\) and F be \(F_1\cup F_2\). The family \(K_F:=\{u(V \cap A)\restriction _F \mid V \in \delta _x\}\) is a downward directed family of nonempty finite sets, so it has a nonempty intersection. Let W be any \(\delta \)-neighborhood of x such that \(u(W\cap A)\restriction _F=\bigcap K_F\). We prove that \(W \subseteq {\widetilde{u}}^{-1}\big (\square ([F_1|\alpha _1] \cup [F_2\cap \alpha _2])\big )\). Let \(z\in W\). We obtain successively
where (9) and (12) are obtained by the Claim, where (10) holds because W is a \(\delta \)-neighborhood of z, and (11) holds by definition of W. We deduce from (12) that \({\widetilde{u}}(z)\subseteq [F_1|\alpha _1] \cup [F_2|\alpha _2]\).
(2) By definition of the map \({\widetilde{u}}\), it suffices to prove that \(R:=\{(x,y)\in {\mathbf{A}}^\delta _\delta \times {\mathbf{B}}^\delta _\iota \mid y \in u'(x)\}\) is a closed relation that contains u. We have \(u\subseteq R\) by assumption. Now, let \((x,y)\in {\mathbf{A}}^\delta _\delta \times {\mathbf{B}}^\delta _\iota \) such that \(y\not \in u'(x)\). Since \(u'(x)\) is a closed subspace of the Boolean space \({\mathbf{B}}^\delta _\iota \), there is a clopen subspace U of \({\mathbf{B}}^\delta _\iota \) such that \(z\not \in U\) and \(u'(x)\subseteq U\). It follows by continuity of \(u'\) that \(u'^{-1}(\square U)\times ({\mathbf{B}}^\delta _\iota {\setminus } U)\) is a neighborhood of (x, y) disjoint from R. \(\square \)
Remark 4.6
It follows from the Claim stated in the proof of Theorem 4.5 that if \(u:{\mathbf{A}} \rightarrow {\mathbf{B}}\) then \({\widetilde{u}}(x)\restriction _{\{\phi \}}=\widetilde{\phi \circ u}(x)\) for any \(x\in {\mathbf{A}}^\delta \) and any \(\phi \in {\mathbf{B}}^*\).
5 Coninuity properties and function compositions
Theorem 4.5 characterizes \({\widetilde{u}}\) as the smallest \((\delta , \sigma {\downarrow })\)-continuous extension \(u':{\mathbf{A}}^\delta \rightarrow \Gamma ({\mathbf{B}}^\delta _\iota )\) of u. In this section, we investigate the properties of \({\widetilde{u}}\) under additional continuity assumptions.
5.1 Smoothness and strongness
The case where the relational extension \({\overline{u}}\) of \(u:{\mathbf{A}} \rightarrow {\mathbf{B}}\) is a function leads us to the following natural definition.
Definition 5.1
Let \({\mathbf{A}}, {\mathbf{B}} \in \mathcal {A}\) and \(u:{\mathbf{A}} \rightarrow {\mathbf{B}}\). We say that u is is smooth if \({\overline{u}}\) is a function, that is, if \({\widetilde{u}}(x)\) is a one-element set for every \(x\in {\mathbf{A}}^\delta \). In this case, we denote by \(u^\delta \) the map \(u^\delta :{\mathbf{A}}^\delta \rightarrow {\mathbf{B}}^\delta \) defined by \(u^\delta (x)\in {\widetilde{u}}(x)\).
Example 5.2
If \(\iota \subseteq \delta \) then any term function is smooth since it is \((\iota , \iota )\)-continuous.
Theorem 4.5 can be rephrased for smooth maps in the following way.
Proposition 5.3
Let \({\mathbf{A}}, {\mathbf{B}} \in \mathcal {A}\) and \(u:{\mathbf{A}} \rightarrow {\mathbf{B}}\).
-
(1)
If u is smooth then \(u^\delta :{\mathbf{A}}^\delta \rightarrow {\mathbf{B}}^\delta \) is a \((\delta ,\iota )\)-continuous extension of u.
-
(2)
If u admits a \((\delta ,\iota )\)-continuous extension \(u':{\mathbf{A}}^\delta \rightarrow {\mathbf{B}}^\delta \) then u is smooth and \(u^\delta =u'\).
Propositions 3.6 and 5.3 show that the notion of smoothness as defined in Definition 5.1 boils down to the one defined in Gehrke and Jónsson (2000) when it is considered for the variety of bounded distributive lattices. As a corollary of Proposition 5.3(2), we obtain that if \(u:{\mathbf{A}} \rightarrow {\mathbf{B}}\) is not smooth, then it is not even possible to define a continuous extension \(u^\delta :{\mathbf{A}}^\delta _\delta \rightarrow {\mathbf{B}}^\delta _\iota \) by suitably picking up an element \(u^\delta (x)\) in \({\widetilde{u}}(x)\) for every \(x\in {\mathbf{A}}^\delta \).
Example 5.4
If \(\iota \subseteq \delta \), then every element \(\phi \in {\mathbf{A}}^*\) is smooth. Consider the map \(\phi ':{\mathbf{A}}^\delta \rightarrow M\) defined by \(\phi '(x)=x(\phi )\). For any \(F\subseteq M\), we have \({\phi '}^{-1}(F)=\bigcup _{f\in F}[\phi :f] \cap {\mathbf{A}}^\delta \), which proves that \(\phi '\) is \((\iota , \iota )\)-continuous, so it is \((\delta , \iota )\)-continuous since \(\delta \subseteq \iota \). The conclusion follows from Proposition 5.3 (2).
Proposition 5.5
Let \({\mathbf{A}}, {\mathbf{B}} \in \mathcal {A}\) and \(u:{\mathbf{A}} \rightarrow {\mathbf{B}}\). The map u is smooth if and only if \(\phi \circ u\) is smooth for every \(\phi \in {\mathbf{B}}^\delta \).
Proof
If u is smooth and \(\phi \in {\mathbf{B}}^*\), then the map \(\phi '\circ u\) where \(\phi '(x):=x(\phi )\) for any \(x\in {\mathbf{B}}^\delta \) is a \((\delta , \iota )\)-continuous extension of \(\phi \circ u\). It follows that \(\phi \circ u\) is smooth by Proposition 5.3(2). Conversely, assume that \(\phi \circ u\) is smooth for every \(\phi \in {\mathbf{B}}^*\). We prove that the map \(u':{\mathbf{A}}^\delta _\delta \rightarrow {\mathbf{B}}^\delta _\iota \) defined as \(u'(x)=(\phi \circ u)^\delta \circ x\) is continuous, and the conclusion follows from Proposition 5.3(2). Let F be a finite subset of \({\mathbf{B}}^*\) and \(\alpha \in M^F\). We have
which proves that \(u'\) is \((\delta , \iota )\)-continuous by Proposition 5.3(2) and our assumption. \(\square \)
Example 5.6
If \(\iota \subseteq \delta \), then every \(u\in \mathcal {A}({\mathbf{A}}, {\mathbf{B}})\) is smooth. This result follows from Example 5.4 and Proposition 5.5. If \({\mathbf{M}}\) is of finite type, it can also be considered as a consequence of Davey et al. (2012, Theorem 2.4).
Definition 5.7
Let \({\mathbf{A}}, {\mathbf{B}} \in \mathcal {A}\) and \(u:{\mathbf{A}} \rightarrow {\mathbf{B}}\). We say that u is is strong if \({\widetilde{u}}\) is \((\iota , \sigma {\downarrow })\)-continuous.
The proof of the following Lemma is straightforward.
Lemma 5.8
Assume that \(\iota \subseteq \delta \), and let \(u:{\mathbf{A}} \rightarrow {\mathbf{B}}\) be a smooth map. Then u is strong if and only if \(u^\delta \) is \((\iota , \iota )\)-continuous.
Example 5.9
If \(\iota \subseteq \delta \), then every \(u\in \mathcal {A}({\mathbf{A}}, {\mathbf{B}})\) is strong. We already know that u is smooth, and we prove as in Example 5.4 that \(u^\delta (x)(\phi )=x(\phi \circ u)\) for every \(x\in {\mathbf{A}}^\delta \) and \(\phi \in {\mathbf{B}}^*\). It follows that \(u^\delta \) is \((\iota , \iota )\)-continuous, or equivalently, that \({\widetilde{u}}\) is \((\iota , \sigma {\downarrow })\)-continuous by Lemma 5.8.
Strongness can be used to obtain the preservation of functional composition through profinite completions, as illustrated in the next proposition.
Proposition 5.10
Let \({\mathbf{A}}, {\mathbf{B}}, {\mathbf{C}} \in \mathcal {A}\), \(u:{\mathbf{A}}\rightarrow {\mathbf{B}}\) and \(v:{\mathbf{B}}\rightarrow {\mathbf{C}}\).
-
(1)
If v is strong then \({\overline{vu}}\subseteq {\overline{v}}\circ {\overline{u}}\).
-
(2)
If u is smooth and if v is strong and smooth, then vu is smooth and \((vu)^\delta =v^\delta u^\delta \).
Proof
First, we prove the following claim.
Claim
For any strong map \(u:{\mathbf{A}}\rightarrow {\mathbf{B}}\), the map \(\check{u}:\Gamma ({\mathbf{A}}^\delta _\iota ) \rightarrow \Gamma ({\mathbf{B}}^\delta _\iota )\) defined by \(\check{u}(K)=\bigcup {\widetilde{u}}(K)\) is \((\sigma {\downarrow }, \sigma {\downarrow })\)-continuous.
Proof of the Claim
First, we prove that \(\check{u}(K)\) is a closed subspace of \({\mathbf{B}}^\delta _\iota \) for every closed subspace K of \({\mathbf{A}}^\delta _\iota \). Let \(y\in {\mathbf{B}}^\delta _\iota \) such that \(y\not \in \check{u}(K)\). For every \(x\in K\) let \(V_x\) and \(W_x\) be disjoint \(\iota \)-neighborhood of \({\widetilde{u}}(x)\) and y, respectively. By continuity of \({\widetilde{u}}\) and compactness of K, there is a finite subset F of K such that \(\{{\widetilde{u}}^{-1}(\square V_x) \mid x \in F\}\) covers K. It follows that \(W:=\bigcap \{W_x \mid x \in F\}\) is a \(\iota \)-neighborhood of y that does not meet \(\check{u}(K)\).
Now, for any open subspace U of \({\mathbf{B}}^\delta _\iota \), it is not difficult to prove that
The continuity of \(\check{u}\) follows from the latter identity and strongness of u. \(\square \)
(1) By the Claim, the map \(\check{v}{\widetilde{u}}\) is a \((\iota ,\sigma {\downarrow })\)-continuous extension of vu. Then, we obtain (1) by Theorem 4.5.
(2) By the Claim, the function \(w:{\mathbf{A}}^\delta _\delta \rightarrow {\mathbf{C}}^\delta _\iota \) that maps every \(x\in {\mathbf{A}}^\delta \) to the only element of \(\check{v}{\widetilde{u}}(x)\) is continuous. Then, we obtain (2) by Proposition 5.3. \(\square \)
Corollary 5.11
Assume that \(\iota \subseteq \delta \) and let \({\mathbf{A}}, {\mathbf{B}}, {\mathbf{C}} \in \mathcal {A}\).
-
(1)
Any term function \(u:=t^{{\mathbf{A}}}(s_1^{{\mathbf{A}}}, \ldots , s_\ell ^{{\mathbf{A}}})\) is smooth and strong, and \(u^\delta =(t^{{\mathbf{A}}})^\delta ((s_1^{{\mathbf{A}}})^\delta , \ldots , (s_\ell ^{{\mathbf{A}}})^\delta )\).
-
(2)
If \(u \in \mathcal {A}({\mathbf{A}}, {\mathbf{B}})\) and \(v \in \mathcal {A}({\mathbf{B}}, {\mathbf{C}})\), then vu is smooth and strong and \((vu)^\delta =u^\delta v^\delta \).
Proof
(1) The proof is obtained by induction on the construction of the term using Example 5.2, Lemma 5.8 and Proposition 5.10 (2) since any term function is \((\iota , \iota )\)-continuous.
(2) The proof is an application of Lemma 5.8, Example 5.9, and Proposition 5.10 (2). \(\square \)
5.2 A sample case: profinite completions of median algebras
In this subsection, we illustrate the previous constructions by considering that \(\mathcal {A}\) is the variety of median algebras, that is, \(\mathcal {A}=\mathbb {ISP}({\mathbf 2})\) where \({\mathbf 2}=\langle \{0,1\}, \mathbf{m} \rangle \) is the algebra with a single ternary operation \(\mathbf{m}\) defined as the majority function on \(\{0,1\}\). This variety is of special interest as (i) it is not lattice-based, (ii) it admits a strongly logarithmic duality, and (iii) the dual category is locally finite. Hence, \(\iota ({\mathbf{A}}^\delta )\subseteq \delta ({\mathbf{A}}^\delta )\) for every \({\mathbf{A}}\in \mathcal {A}\).
5.2.1 A natural duality for median algebras
It is known (Clark and Davey 1998; Isbell 1980; Werner 1981) that the topological structure
with two constants 0 and 1, the natural order \(\le \), and the unary operation \({}^\bullet \) defined by \(x^\bullet \equiv (x+1)\mod 2\), yields a strong logarithmic duality for \(\mathcal {A}\). A topological structure \(X=\langle X, 0, 1, \le , {}^\bullet , \tau \rangle \) is a object of the dual category \(\mathcal {X}=\mathbb {IS}_c\mathbb {P}(\mathop {2}\limits _{\sim })\) provided that \(\langle X, \le , \iota \rangle \) is a Priestley space with bounds 0 and 1, that \({}^\bullet \) is an order reversing homeomorphism that swaps 0 and 1 and that satisfies \(\phi ^{\bullet \bullet }=\phi \), and \(\phi \not \le \phi ^{\bullet }\) for every \(\phi \ne 0\).
There is an equivalent spectrum-based formulation of this duality that eases computations. A subset \(\phi \) of a median algebra \({\mathbf{A}}\) is prime convex if for every \(x, y, z \in {\mathbf{A}}\), the element \(\mathbf{m}(x,y,z)\) belongs to \(\phi \) if and only if at least one of the sets \(\{x, y\}\), \(\{x,z\}\), \(\{z,y\}\) is a subset of \(\phi \). A subset x of a structure \(X\in \mathcal {X}\) is a disjoint ideal of \(X\) if it is a downset set disjoint with \(x^\bullet \). If in addition x is a clopen subset of \(X\), then x is called a continuous disjoint ideal. A (continuous) maximal disjoint ideal of X is a (continuous) ideal that contains \(\phi \) or \(\phi ^\bullet \) for every \(\phi \in X.\)
It is not difficult to show that the map \(\phi \mapsto \phi ^{-1}(0)\) is an isomorphism between \({\mathbf{A}}^*\) and the prime spectrum of \({\mathbf{A}}\) (i.e., the set of prime convex subsets of \({\mathbf{A}}\)) equipped with inclusion order, \(\emptyset \) and \({\mathbf{A}}\) as bottom and top element respectively, set complementation as map \({}^\bullet \), and Zariski topology. If \(X\in \mathcal {X}\), then the dual \(X_*\) of \(X\) is isomorphic to the set of continuous maximal disjoint ideals of \(X\) equipped with the operation \(\mathbf{m}\) inherited from the median operation defined on the powerset of X as
If \({\mathbf{A}}\in \mathcal {A}\), then \({\mathbf{A}}^\delta \) is isomorphic to the set of the maximal disjoint ideals of \({\mathbf{A}}^*\) equipped with the operation defined in (13).
5.2.2 Profinite completions of Boolean powers of \({\mathbf 2}\)
We can apply Theorem A.1 to compute profinite completions of Boolean powers of the median algebra \({\mathbf 2}\).
Proposition 5.12
If \({\mathbf{A}}\) is a median algebra that has a Boolean representation \({\mathbf{A}}\hookrightarrow {\mathbf 2}^X\), then \({\mathbf{A}}^\delta _\iota \) is isomorphic (algebraically and topologically) to \({\mathbf 2}_\iota ^X\).
Proof
The dual of \({\mathbf 2}\) is depicted in Fig. 1. Observe that for every nonempty finite sets I and J, every \(a\in {\mathbf 2}^I\) and \(b\in {\mathbf 2}^J\), the identity
holds if and only if \(\bigcap _{j\in J}[b_j:1] \subseteq \bigcup _{i\in I}[a_i:1]\), that is, if and only if the following condition is satisfied in \({\mathbf 2}\) (for some \(j_0\in J\)),
The latter formula is also equivalent to
We conclude the proof by applying Theorem A.1. \(\square \)
Corollary 5.14 is a surprising consequenc of Proposition 5.12. We say that a median algebra \({\mathbf{A}}=\langle A, \mathbf{m} \rangle \) is a Boolean if there is a Boolean algebra \(\langle A, \vee , \wedge , \lnot , 0,1 \rangle \) such that \(\mathbf{m}(x,y,z)=(x\wedge y) \vee (x\wedge z) \vee (y\wedge z)\) for every x, y, z in A. Recall that an algebra \({\mathbf{A}}=\langle A, \mathbf{m}, \cdot ^c \rangle \) of type (3, 1) is a ternary Boolean algebra (Grau 1947) if \(\langle A, \mathbf{m} \rangle \) is a median algebra and the equation \(\mathbf{m}(x,z,x^c)=z\) holds in \({\mathbf{A}}\).
Lemma 5.13
(Grau 1947) A median algebra is Boolean if and only if it is the \(\{\mathbf{m}\}\)-reduct of a ternary Boolean algebra.
Corollary 5.14
Let \({\mathbf{A}}\) be a median algebra. The following conditions are equivalent.
-
(i)
\({\mathbf{A}}^\delta \) is Boolean.
-
(ii)
\({\mathbf{A}}\) is a Boolean power of \({\mathbf 2}\).
Proof
(i) \(\implies \) (ii) Let \({\mathbf{A}}\) be a Boolean median algebra, and let \({\mathbf{A}}^\flat \) be a Boolean algebra whose \(\{\mathbf{m}\}\)-reduct is \({\mathbf{A}}\). Then \({\mathbf{A}}^\flat \) can be represented as a Boolean power \({\mathbf{A}}^\flat \hookrightarrow {\mathbf 2}^{X}\), where X is the Stone dual of \({\mathbf{A}}^\flat \). This Boolean representation still holds between the \(\{\mathbf{m}\}\)-reducts of \({\mathbf{A}}^\flat \) and \({\mathbf 2}^X\).
(ii) \(\implies \) (i) We know by Proposition 5.12 that we can identify \({\mathbf{A}}^\delta \) with \({\mathbf 2}^X\). Denote by \(\cdot ^c\) the operation defined on \({\mathbf 2}^X\) by
Then \(\langle 2^X, \mathbf{m}, \cdot ^c \rangle \) is a ternary Boolean algebra, and we conclude the proof by Lemma 5.13. \(\square \)
We conclude the section by giving an example of a smooth function which is not a homomorphism.
Example 5.15
In the \(\wedge \)-semillatice \(\langle A, \le \rangle \) depicted in Fig. 2, any three elements have an upper-bound whenever each pair of them is bounded above, and any principal ideal is a distributive lattice. Hence, it is a median semilattice (Sholander 1954). It follows that the operation \(\mathbf{m}\) defined on A as \(\mathbf{m}(x,y,z)=(x\wedge y)\vee (x\wedge z)\vee (y\wedge z)\) turns A into a median algebra \({\mathbf{A}}\). This operation can be easily computed explicitly: for every \(j,k,\ell \in \omega \)
where \((j,k,\ell )\) denotes the median element of \(j,k,\ell \in \omega \).
Clearly, the elements of \({\mathbf{A}}^*\) are
Hence, the dual of \({\mathbf{A}}\) is depicted in Fig. 3.
The elements of the bidual of \({\mathbf{A}}\) are easily computed:
Then \({\mathbf{A}}^\delta {\setminus } e_{{\mathbf{A}}}({\mathbf{A}})=\{\infty \}\) where
A simple computation shows that, up to identification of \({\mathbf{A}}\) with \(e_{{\mathbf{A}}}({\mathbf{A}})\)
Let us illustrate the inclusion \(\iota \subseteq \delta \). For any \(\phi \in {\mathbf{A}}^*\), the subasis clopen subsets \(\{x \mid \phi \in x\}\) and \(\{x \mid \phi \not \in x\}\) of \({\mathbf{A}}^\delta _\iota \) are respectively equal to \(O_{f}\) and \(O_g\) where \(f=\{\phi \}\) and \(g=\{\phi ^\bullet \}\) correspond to morphisms defined on the closed substructure \(\{\phi , \phi ^\bullet \}\) of \({\mathbf{A}}^*\).
Now, let \(u:{\mathbf{A}}\rightarrow {\mathbf 2}\) be the map defined by \(u(b_i)=1\) and \(u(a_i)=0\) for any \(i \in \omega \). Clearly, the map u is not a median homomorphism (neither a \(\wedge \)-homomorphism). Let us denote by \(u'\) the extension of u on \({\mathbf{A}}^\delta \) that satisfies \(u'(\infty )=0\). We prove that \(u'\) is \((\delta , \iota )\)-continuous which implies that u is smooth by Proposition 5.3. We have to prove that \(u'^{-1}(0)=\{\infty , a_0, a_1, \ldots \}\) is a \(\delta \)-open subset of \({\mathbf{A}}^\delta \). Consider \(K=\{\emptyset , B_0, B_1, B_2, \ldots \}=\bigcap _{i\in \omega }e_{{\mathbf{A}}}(a_i)\). It follows from the continuity of \({}^\bullet \) that \(K\cup K^\bullet \) is a closed substructure of \({\mathbf{A}}^*\). Hence, the map \(f:K\cup K^\bullet \rightarrow 2\) defined by \(f(x)=0\) if and only if \(x \in K\) is a partial morphism on \({\mathbf{A}}^*\). It is easily seen that \(\infty \in O_f \subseteq u'^{-1}(0)\).
6 Extensions of functions in ordered setting
Given a map \(u:{\mathbf{A}} \rightarrow {\mathbf{B}}\), Definition 4.2 provides a relation (or a multi-map) \({\bar{u}}\subseteq {{\mathbf{A}}_\delta ^\delta }\times {\mathbf{B}}^\delta _\iota \) that extends u. In the case of bounded (distributive) lattices \({\mathbf{A}}\) and \({\mathbf{B}}\), the classical technique (Gehrke and Harding 2001; Gehrke and Jónsson 2004) adopted to extend u to the canonical extensions (i.e., profinite completions) of \({\mathbf{A}}\) and \({\mathbf{B}}\) provides two functions: the lower extension \(u^\sigma \) and the upper extension \(u^\pi \). In this section, we reconcile these two approaches and prove that in the context of bounded distributive lattices, the multi-extension \({\widetilde{u}}\) enables us to recover \(u^\sigma \) and \(u^\pi \), but not conversely. Our approach leads to more general results about varieties of algebras that are \(\iota \)-locally semilattices (Definition 6.2).
Notation 6.1
Let \(\le \) be a fixed total order on M. We denote by \(\iota {\uparrow }\), respectively \(\iota {\downarrow }\), the topologies formed by the upsets, respectively the downsets, of \((M, \le )\).
We can use the total order \(\le \) defined on M to construct an upper and a lower extension of any map \(u:{\mathbf{A}} \rightarrow {\mathbf{B}}\).
Definition 6.2
Let \({\mathbf{A}}, {\mathbf{B}} \in \mathcal {A}\) and \(u:{\mathbf{A}}\rightarrow {\mathbf{B}}\). We define the maps \(u^\vartriangle :{\mathbf{A}}^\delta \rightarrow M^{{\mathbf{B}}^*}\) and \(u^\triangledown :{\mathbf{A}}^\delta \rightarrow M^{{\mathbf{B}}^*}\) by
for every \(x\in {\mathbf{A}}^\delta \). We call \(u^\vartriangle \) the upper extension of u, and \(u^\triangledown \) the the lower extension of u.
Lemma 6.3
If \({\mathbf{A}}, {\mathbf{B}} \in \mathcal {A}\) and \(u:{\mathbf{A}}\rightarrow {\mathbf{B}}\), then \(u^\triangledown (x)(\phi )=\bigwedge \widetilde{(\phi \circ u)}(x)\) and \(u^\vartriangle (x)(\phi )=\bigvee \widetilde{(\phi \circ u)}(x)\).
Proof
The proof follows from Remark 4.6. \(\square \)
Theorem 6.5 gives sufficient conditions for \(u^\vartriangle \) and \(u^\triangledown \) to be valued in \({\mathbf{B}}^\delta \).
Definition 6.4
An algebra \({\mathbf{A}}\in \mathcal {A}\) is a local meet-semilattice if for every \(b, c \in {\mathbf{A}}\) and every \(F\Subset {\mathbf{A}}^*\), it holds \((b\wedge c)\restriction _F \in {\mathbf{A}}\restriction _F.\) Local join-semilattices are defined dually. A local lattice is an algebra of \(\mathcal {A}\) that is both a local meet-semilattice and a local join-semilattice.
Theorem 6.5
Let \({\mathbf{A}}, {\mathbf{B}} \in \mathcal {A}\) and \(u:{\mathbf{A}}\rightarrow {\mathbf{B}}\).
-
(1)
The map \(u^\triangledown :{\mathbf{A}}^\delta \rightarrow M^{{\mathbf{B}}^*}\) is a \((\delta , \iota {\uparrow })\)-continuous extension of u.
-
(2)
The map \(u^\vartriangle :{\mathbf{A}}^\delta \rightarrow M^{{\mathbf{B}}^*}\) is a \((\delta , \iota {\downarrow })\)-continuous extension of u.
-
(3)
If \({\mathbf{B}}\) is a local meet-semilattice, then the map \(u^\triangledown \) is valued in \({\mathbf{B}}^\delta \).
-
(4)
If \({\mathbf{B}}\) is a local join-semilattice, then the map \(u^\vartriangle \) is valued in \({\mathbf{B}}^\delta \).
-
(5)
If \({\mathbf{B}}\) is a local lattice, then \(u^\triangledown \) and \(u^\vartriangle \) are valued in \({\mathbf{B}}^\delta \).
Proof
(1) Let \(F\Subset {\mathbf{B}}^*\) and \(\alpha \in M^F\). We obtain by Lemma 6.3 that
where \(U_\phi :=\alpha (\phi ){\uparrow }\) for every \(\phi \in F\). Then, the continuity of \(u^\triangledown \) follows from Theorem 4.5. The fact that \(u^\triangledown \) is an extension of u follows from Proposition 4.4.
(2) is obtained from (1) by duality.
(3) Let x be an element of \({\mathbf{A}}^\delta \) and let us prove that \(u^\triangledown (x)\) is in the closure of \({\mathbf{B}}\) in \({\mathbf{M}}_\iota ^{{\mathbf{B}}^*}\). We proceed as in the proof of Theorem 4.5 and for any \(F \Subset {\mathbf{B}}^*\) we choose a \(\delta \)-neighborhood W of x such that \({\widetilde{u}}(x)\restriction _F=u(W\cap A)\restriction _F\). The family \(u(W\cap A)\restriction _F\) is finite, and since \({\mathbf{B}}\) is a local meet-semilattice, there is some \(c\in {\mathbf{B}}\) such that \(u^\triangledown (x)\restriction _F=\bigwedge u(W\cap A)\restriction _F=c\restriction _F\). We have proved that any \(\delta \)-neighborhood of x meets \({\mathbf{B}}\).
(4) is obtained from (3) by duality, and (5) follows from (3) and (4) . \(\square \)
Given a map \(u:{\mathbf{L}} \rightarrow {\mathbf{L}}'\) between two bounded distributive lattices \({\mathbf{L}}\) and \({\mathbf{L}}'\), the theory of canonical extension (Gehrke and Jónsson 2004) provides with the upper extension \(u^\pi :{\mathbf{L}}^\delta \rightarrow {\mathbf{L}'}^\delta \) and the lower extension \(u^\sigma :{\mathbf{L}}^\delta \rightarrow {\mathbf{L}'}^\delta \). The following corollary proves that they can be recovered from the multi-extension \({\widetilde{u}}\) of u.
Corollary 6.6
If \({\mathbf{L}}\) and \({\mathbf{L}'}\) are two bounded distributive lattices and \(u:{\mathbf{L}} \rightarrow {\mathbf{L}}'\), then for every \(x\in {\mathbf{L}}\) it holds \(u^\sigma =u^\triangledown \) and \(u^\pi =u^\vartriangle \).
Proof
The proof follows from the application of Theorem 6.5 to the variety \(\mathcal {A}\) of bounded distributive lattices with \(M=\{0,1\}\) ordered in the natural way. \(\square \)
Example 6.7
Let \({\mathbf{L}}\) be the bounded distributive lattice made of \(\omega \) and the finite subsets of \(\omega \) with inclusion order. The Priestley dual \({\mathbf{L}}^*=\omega \cup \{\infty \}\) is the one point Alexandroff compactification of the antichain \(\omega \), with \(\infty \) as top element. Hence, \({\mathbf{L}}^\delta =2^\omega \cup \{\top \}\) is the power set of \({\mathbf{L}}^*{\setminus }\{\infty \}\) with an additional top element \(\top ={\mathbf{L}}^*\).
-
(1)
We easily build functions \(u:{\mathbf{L}}\rightarrow {\mathbf 2}\) that are smooth without being homomorphisms. Indeed let u be the non trivial permutation of \({\mathbf 2}\) and \(\phi \in {\mathbf{L}}^*\). Then \(u\circ \phi :{\mathbf{L}}\rightarrow {\mathbf 2}\) is a smooth function that does not belong to \({\mathbf{L}}^*\). Other examples are given by the maps \(u_A:{\mathbf{L}}\rightarrow {\mathbf 2}\) (for \(A \subseteq \omega \)) that are defined by \(u_A(x)=0\) if and only if \(x\subseteq A\). If A is infinite and co-infinite then \(u_A\) is smooth but not strong.
-
(2)
The function \(u:{\mathbf{L}}\rightarrow {\mathbf 2}\) defined by \(u(X)=\vert X \vert \mod 2\) if \(X\ne \omega \) and \(u(\omega )=1\) is not smooth. Indeed, if X is an infinite proper subset of \(\omega \) then \({\widetilde{u}}(X)=\{0,1\}=[u^\triangledown (x),u^\vartriangle (x)]\).
-
(3)
The function \(u:{\mathbf{L}}\rightarrow {\mathbf 2}^2\) defined by
$$\begin{aligned} u(X)= & {} (\vert X \vert \mod 2, (\vert X \vert +1)\mod 2), \quad X\ne \omega ,\\ u(\omega )= & {} (1,1), \end{aligned}$$is not smooth. Moreover, contrary to example (2), the set \({\widetilde{u}}(x)\) is not determined by \(u^\triangledown (x)\) and \(u^\vartriangle (x)\). Indeed, if X is an infinite proper subset of \(\omega \) then \({\widetilde{u}}(X)=\{(0,1), (1,0)\}\) while \(u^\triangledown (x)=(0,0)\) and \(u^\vartriangle (x)=(1,1)\).
-
(4)
For \(k\ge 2\) let \(u_k:{\mathbf{L}}\rightarrow {\mathbf{L}}\) be the function defined by \(u_k (X)=(1+\vert X \vert \mod k)\times X\) for any \(X\ne \omega \) and \(u_k(\omega )=\omega \). Then \(u_k\) is not smooth. Indeed, if X is a proper infinite subset of \(\omega \) then \(\widetilde{u_k}(X)=\{X, 2\times X, \ldots , k\times X\}\). Moreover, we have \(\widetilde{u_l\circ u_k}=\widetilde{u_l}\circ \widetilde{u_k}\) if and only if l and k are coprime.
7 Concluding remarks and further research
In this paper, we have considered the question of extending functions between algebras to their profinite completions in the setting of finitely generated quasivarieties. Our answer is only partly satisfactory as we provide an extension which is a multi-map rather than a function. This multi-extension has strong continuity properties and there are interesting cases in which it turns out to be a function. Moreover, the construction of the multi-extension shed lights (Corollary 6.6) on the existence of two canonical extensions in the bounded distributive lattice setting.
We now identify some topics of further research.
-
(1)
Topology \(\delta \) (Definition 3.1) is one of the possible topologies in which \({\mathbf{A}}\) can be defined as the algebra of isolated points of \(\mathcal {X}^b({\mathbf{A}}^*, \mathop {M}\limits _{\sim })\) and is duality dependent. A general study of the topologies that enjoy this property would lead to other multi-extensions which could be ‘closer’ to a function than the relation \({\widetilde{u}}\) considered in this work.
-
(2)
Sufficient conditions for \({\widetilde{u}}\) to be smooth are needed.
-
(3)
Canonical extensions have proved to be a useful tool to look for Kripke complete modal logics. Fields of applications of the techniques developed in this paper should be found outside the lattice-based setting
-
(4)
Median algebras and median semilattices are equivalent. Natural extensions of median algebras and canonical extensions of their median semilattices (Gouveia and Priestley 2014) should be compared. This constitutes a topic of current investigation.
References
Clark, D.M., Davey, B.A.: Natural Dualities for the Working Algebraist, Volume 57 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge (1998)
Davey, B.A., Gouveia, M.J., Haviar, M., Priestley, H.A.: Natural extensions and profinite completions of algebras. Algebra Univ. 66(3), 205–241 (2011)
Davey, B.A., Haviar, M., Priestley, H.A.: Natural dualities in partnership. Appl. Categ. Struct. 20, 583–602 (2012)
Gehrke, M., Harding, J.: Bounded lattice expansions. J. Algebra 238(1), 345–371 (2001)
Gehrke, M., Jónsson, B.: Bounded distributive lattices with operators. Math. Jpn. 40(2), 207–215 (1994)
Gehrke, M., Jónsson, B.: Monotone bounded distributive lattice expansions. Math. Jpn. 52(2), 197–213 (2000)
Gehrke, M., Jónsson, B.: Bounded distributive lattice expansions. Math. Scand. 94(1), 13–45 (2004)
Gehrke, M., Vosmaer, J.: A view of canonical extension. Logic, Language, and Computation, Volume 6618 of Lecture Notes in Computer Science, pp 77–100. Springer, Heidelberg (2011)
Gouveia, M.J., Priestley, H.A.: Canonical extensions and profinite completions of semilattices and lattices. Order 31(2), 189–216 (2014)
Grau, A.A.: Ternary Boolean algebra. Bull. Am. Math. Soc. 53, 567–572 (1947)
Hansoul, G., Vrancken-Mawet, L.: Décompositions Booléennes de lattis distributifs bornés. Bull. Soc. R. Sci. Liège 53, 88–92 (1984)
Harding, J.: On profinite completions and canonical extensions. Algebra Univ. 55(2–3), 293–296 (2006). (Special issue dedicated to Walter Taylor)
Isbell, J.R.: Median algebra. Trans. Am. Math. Soc. 260(2), 319–362 (1980)
Sholander, M.: Medians, lattices, and trees. Proc. Am. Math. Soc. 5(5), 808–812 (1954)
Werner, H.: A duality for weakly associative lattices. In: Sathy, S. (ed.) Finite Algebra and Multiple-Valued Logic, (Szeged, 1979), Volume 28 of Colloquia Mathematica Societatis János Bolyai, pp. 781–808. North-Holland, Amsterdam (1981)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix A: Profinite completions of Boolean products
Appendix A: Profinite completions of Boolean products
The generalization of Theorem 3.7 to Boolean products depends on the possibility to express emptiness in the dual space in terms of formulas in the algebra, as seen in the next result. Recall the following notation: if \(a\in {\mathbf{A}}\) and \(m\in {\mathbf{M}}\) we denote by [a : m] the set \(\{\psi \in \mathcal {A}({\mathbf{A}}, {\mathbf{M}})\mid \psi (a)=m\}\). The family \(\{[a:m]\mid a\in {\mathbf{A}}, m\in {\mathbf{M}}\}\) is a basis of clopen subsets of \({\mathbf{A}}^*\).
The following theorem generalizes the developments in Hansoul and Vrancken-Mawet (1984) about Boolean products of bounded distributive lattices.
Theorem A.1
Assume that \(\mathop {M}\limits _{\sim }\) yields a logarithmic duality for \(\mathcal {A}\) and that \( {\mathbf{M}}\) is of finite type. Let \({\mathbf{A}}\) be a Boolean product of the family \(({\mathbf{A}}_i)_{i\in I}\) of algebras of \(\mathcal {A}\). If for every \(n\in {\mathbb {N}}\) and every \(m_1, \ldots , m_n\in M\) there is an open formula \(\phi (x_1, \ldots , x_n)\) in the language of \({\mathbf{M}}\) such that for every \(i \in I\) and every \(a_1, \ldots , a_n \in {\mathbf{A}}_i\), it holds
then \({\mathbf{A}}^\delta \) is \(\mathcal {A}_\iota \)-isomorphic to \(\prod _{i\in I}{\mathbf{A}}_i^\delta \).
Proof
Let \(f: {\mathbf{A}}\hookrightarrow \prod _{i\in I} {\mathbf{A}}_i\) be a Boolean representation of the family \(({\mathbf{A}}_i)_{i\in I}\) of algebras of \(\mathcal {A}\). For every \(i\in I\) we denote by \(\rho _i\) the embedding \((\pi _i)^*:A_i^* \hookrightarrow \amalg \{{\mathbf{A}}_i^* \mid i \in I\}\) where \(\pi _i\) denotes the projection map from \(\prod _{i\in I}A_i\) onto its i-th factor \({\mathbf{A}}_i\), i.e., \(\rho _i\) is the map defined by \(\rho _i(\psi )=\psi \circ \pi _i\). Let X be the set \(\bigcup \{\rho _i({\mathbf{A}}_i^*)\mid i \in I\}\). Since \(\mathop {M}\limits _{\sim }\) yields a logarithmic duality for \(\mathcal {A}\), it is not difficult to see that \(\bigcup \{\rho _i({\mathbf{A}}_i^*) \mid i \in J\}\) is isomorphic to \(\amalg \{{\mathbf{A}}_i^* \mid i \in J\}\) for every finite subset J of I. It follows that X is a (not necessarily closed) substructure of \(\amalg \{A_i^*\mid i \in I\}\) (such a verification involves only finitely many terms \(\rho _i({\mathbf{A}}_i^*)\)). In particular, X can be seen as
We are going to prove that X can be equipped with a Boolean topology \(\tau \) to obtain a topological structure that is isomorphic to \(A^*\) and that is embeddable into \(\amalg \{{\mathbf{A}}_i^*\mid i \in I\}\).
We define the topology \(\tau \) on X as the topology generated by the sets
The topology \(\tau \) is clearly finer than the topology induced on X by \(\amalg \{{\mathbf{A}}_i^* \mid i \in I\}\). Let us show that \(\langle X,\tau \rangle \) is Boolean. It suffices to prove that it is compact. Assume that \(X=\bigcup \{[a_\lambda :m_\lambda ]\mid \lambda \in L\}\) for some \(a_\lambda \in {\mathbf{A}}\) and \(m_\lambda \in {\mathbf{M}}\). For every \(i \in I\), the family \(\{[\pi _i(f(a_\lambda )): m_\lambda ]\mid \lambda \in L\}\) is an open covering of \(\rho _i({\mathbf{A}}_i^*)\) and there is a finite subset \(L_i\) of L such that
By hypothesis, for every \(i\in I\) there is an open formula formula \(\phi _{in_i}\) with \(n_i\) variables (where \(n_i\) denotes \(\vert L_i \vert \)) such that identity (15) is equivalent to
Now, for every \(i\in I\) let \(\Omega _i\) be defined by
The family \(\{\Omega _i\mid i \in I\}\) is an open covering of I. By compactness, there is a finite subset J of I such that
By combining (16) and (17), we obtain,
which is a finite open covering of X extracted from \(\{[a_\lambda : m_\lambda ]\mid \lambda \in L\}\).
Let us denote by g the restriction of \(f^*\) to X. Hence, for any \(\rho _i(\psi )\in \rho _i({\mathbf{A}}_i)\), we have \(g(\rho _i(\psi ))=\psi \circ \pi _i\circ f\). We aim to prove that g is an \(\mathcal {X}\)-isomorphism between \(\langle X,\tau \rangle \) and \({\mathbf{A}}^*\).
First we prove that g is a \(\mathcal {X}^\flat \)-embedding. We have to prove that if r represents an n-ary relation or the graph of a (partial) operation in the language of \(\mathop {M}\limits _{\sim }\) and if \(\psi _1, \ldots , \psi _n \in X\), we have the following equivalence
Let J be a finite subset of I such that \(\{\psi _1, \ldots , \psi _n\}\subseteq \bigcup \{\rho _j({\mathbf{A}}_j^*)\mid j \in J\}\). Let us denote by Y the latter set. We have already noted that Y, considered as a substructure of \(\amalg \{A_i^*\mid i \in I\}\) is isomorphic to \(\amalg \{A_j^*\mid j \in J\}\). Since \(f:A\hookrightarrow \prod _{i \in I}A_i\) is a Boolean representation of A, the map \(f_J:A\rightarrow \prod _{j\in J}A_j:a \mapsto (\pi _j(a))_{j \in J}\) is onto. Hence, the dual map \(f_J^*:Y \rightarrow A^*\) is an embedding and is clearly equal to the restriction of g to Y. Then, it follows successively
which establishes equivalence (18), as required.
Finally, since g is the restriction on X of a continuous map, it is a continuous map for the induced topology on X. From the fact that \(\tau \) is finer than the induced topology we eventually conclude that \(g:\langle X,\tau \rangle \rightarrow A^*\) is an \(\mathcal {X}\)-embedding. We deduce that \(\langle X,\tau \rangle \in \mathcal {X}\).
For the last part of the proof, we show that the evaluation map
is an isomorphism. It is clearly a homomorphism. Moreover, if \(a, b \in {\mathbf{A}}\) and \(a\ne b\) then there is an \(i \in I\) such that \(\pi _i(f(a))\ne \pi _i(f(b))\), i.e., such that \(e_{{\mathbf{A}}_i}(\pi _i(f(a)))\ne e_{{\mathbf{A}}_i}(\pi _i(f(b)))\). Let \(\psi \in {\mathbf{A}}_i^*\) with \(e_{{\mathbf{A}}_i}(\pi _i(f(a)))(\psi )\ne e_{{\mathbf{A}}_i}(\pi _i(f(b)))(\psi )\). It means that \(\psi (\pi _i(f(a)))\ne \psi (\pi _i(f(b)))\) which proves that h is one-to-one. Moreover, since \(h^*=g\) and since g is an embedding, we deduce that h is onto and so, is an isomorphism.
Hence, it follows successively that
where we have used (14) to obtain the latter isomorphism. Then, we obtain
where the first isomorphism is obtained by partnership duality (Davey et al. 2012, Theorem 2.4) and is also an \(\mathcal {A}_\iota \)-isomorphism. \(\square \)
Rights and permissions
About this article
Cite this article
Hansoul, G., Teheux, B. Extending maps to profinite completions in finitely generated quasivarieties. Beitr Algebra Geom 61, 627–647 (2020). https://doi.org/10.1007/s13366-020-00492-w
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13366-020-00492-w