A note on Hilbert algebras and their related generalized Esakia spaces (Q2520718)

The paper is devoted to developing of duality theory for Hilbert algebras. The category of Hilbert algebras and their semi-homomorphisms is denoted by \(\mathsf{Hil}^s\) and the category of Hilbert algebras and their homomorphisms by \(\mathsf{Hil}\). Let \(L\) be an implicative semilattice. A proper filter \(F \subseteq L\) is called optimal if \(L \setminus F\) is a \(\langle L,\leq\rangle\)-ideal. If \(F\) is an optimal filter, then \(L \setminus F\) is a prime ideal, that is, \(a \land b \in L \setminus F\) entails that \(a \in L \setminus F\) or \(b \in L \setminus F\). Optimal filters are used in order to construct generalized Esakia spaces. A generalized Esakia space is associated with a given Hilbert algebra \(\mathbb{A}\) in the following way: {\parindent=0.7cm \begin{itemize}\item[1.] construct a free implicative semilattice extension \(L^\mathbb{A}\) [\textit{S. A. Celani} and \textit{R. Jansana}, Math. Log. Q. 58, No. 3, 188--207 (2012; Zbl 1247.03136)]; \item[2.] convert \(L^\mathbb{A}\) into a bounded implicative semilattice \(L^\mathbb{A}_\bot\) by adjoining a new bottom element \(\bot\); \item[3.] associate with \(L^\mathbb{A}_\bot\) a generalized Esakia space \((L^\mathbb{A}_\bot)_*\) in the way described in [\textit{G. Bezhanishvili} and \textit{R. Jansana}, Appl. Categ. Struct. 21, No. 2, 181--208 (2013; Zbl 1294.06005)]. \end{itemize}} The optimal filters of \(\mathbb{A}\) together with \(A\) are the points of the generalized Esakia space dual to \(L^\mathbb{A}_\bot\). IN addition, a notion of augmented Priestley space has been introduced: An augmented Priestley space is a pair \((X,S) = \langle\langle X,\leq,\tau\rangle,S\rangle\) such that {\parindent0.7cm\begin{itemize}\item[1.] \(X = \langle X,\tau,\leq\rangle\) is a Priestley space, \item[2.] the poset \(X,\leq\) has a greatest element, denoted by \(t\), \item[3.] \(S\) is a nonempty collection of nonempty clopen up-sets of \(X\) closed under \(\Rightarrow\) and such that {\parindent=0.9cm\begin{itemize}\item[(a)] for every \(x,y \in X, x \leq y\) iff \((\forall U \in S)(x \in U \Rightarrow y \in U)\), \item[(b)] \(\langle X,\tau,\leq,X_S \cup \{t\}\rangle\) is a generalized Esakia space, where, \(X_S = \{x \in X : S_x \text{ is nonempty and updirected}\}\). \end{itemize}} \end{itemize}} \(\mathsf{APS}^s\) denotes the category that has as objects the augmented Priestley spaces and as morphisms the augmented Priestley semi-morphisms between them with composition the operation \(*\), and \(\mathsf{APS}\) denotes the subcategory with the same objects but morphisms the augmented Priestley morphisms. It is proven that \(\mathsf{Hil}^s\) is dually equivalent to \(\mathsf{APS}^s\) and \(\mathsf{Hil}\) is dually equivalent to \(\mathsf{APS}\).