Distributive envelopes and topological duality for lattices via canonical extensions.

DOI10.1007/S11083-013-9311-7MaRDI QIDQ466890zbMATH OpenOpenAlexFDO

Publication date 31 October 2014

Published in Order (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1309.3113

bicompletions bounded lattices canonical extensions distributive envelopes distributive lattice envelopes Galois connections generalized Stone duality Pervin spaces Priestley duality topological dualities

Mathematics Subject Classification ID

Galois correspondences, closure operators (in relation to ordered sets) (06A15) Structure theory of lattices (06B05) Representation theory of lattices (06B15) Complete lattices, completions (06B23) Structure and representation theory of distributive lattices (06D05) Lattices and duality (06D50) Other generalizations of distributive lattices (06D75)

Abstract: We establish a topological duality for bounded lattices. The two main features of our duality are that it generalizes Stone duality for bounded distributive lattices, and that the morphisms on either side are not the standard ones. A positive consequence of the choice of morphisms is that those on the topological side are functional. Towards obtaining the topological duality, we develop a universal construction which associates to an arbitrary lattice two distributive lattice envelopes with a Galois connection between them. This is a modification of a construction of the injective hull of a semilattice by Bruns and Lakser, adjusting their concept of 'admissibility' to the finitary case. Finally, we show that the dual spaces of the distributive envelopes of a lattice coincide with completions of quasi-uniform spaces naturally associated with the lattice, thus giving a precise spatial meaning to the distributive envelopes.

Review text

In this paper, a topological duality for bounded lattices is established. To this end, a universal construction which associates to an arbitrary lattice two distributive lattice envelopes with a Galois connection between them is developed. Here are some details. Definition 3.1. Let \(L\) be a lattice. A finite subset \(M\subseteq L\) is \textit{join-admissible} if its join distributes over all meets with elements from \(L\), i.e., if, for all \(a\in L\), \(a\wedge\bigvee M=\bigvee_{m\in M}(a\wedge m)\). We say that a function \(f\colon L_1\to L_2\) between lattices preserves admissible joins if, for each finite join-admissible set \(M\subseteq L_1\), we have \(f(\bigvee M)=\bigvee_{m\in M}f(m)\). Definition 3.2. Let \(L\) be a lattice. An embedding \(\eta _L^{\wedge}\colon L\to D^{\wedge}(L)\) of \(L\) into a distributive lattice \(D^{\wedge}(L)\) which preserves meets and admissible joins is a \textit{distributive }\(\wedge\)-\textit{envelope} of \(L\) if it satisfies the following universal property: For any function \(f\colon L\to D\) into a distributive lattice \(D\) that preserves finite meets and admissible joins, there exists a unique lattice homomorphism \(\widehat f\colon D^{\wedge}(L)\to D\) such that \(\widehat f\circ\eta_L^{\wedge}=f\). The definition of the \textit{distributive }\(\vee\)-\textit{envelope} \(D^{\vee}(L)\) of \(L\) is order dual. Theorem 3.9. Let \(L\) be a lattice. The embedding \(\eta_L^{\wedge}\) of \(L\) into the finitely generated \(a\)-ideals of \(L\) is a distributive \(\wedge\)-envelope of \(L\). Proposition 3.18. For any lattice \(L\), the maps \(u_L\) and \(l_L\) restrict to a Galois connection \(u_L\colon D^{\wedge}(L)\rightleftarrows D^{\vee}(L)^{op}:\!l_L\). The lattice of Galois-closed elements of this Galois connection is isomorphic to \(L\). Via doubly dense adjoint pairs, it is shown that the category \(L_a\) of lattices with admissible homomorphisms is dually equivalent to a full subcategory of TSCP (totally separated compact polarities).

Recommendations

Cites work

Cited in

(23)

This page was built for publication: Distributive envelopes and topological duality for lattices via canonical extensions.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q466890)