Dual spaces of lattices and semidistributive lattices
Andrew Craig, Miroslav Haviar, Jose Sao Joao
Published: 2025/9/4
Abstract
Birkhoff's 1937 dual representation of finite distributive lattices via finite posets was in 1970 extended to a dual representation of arbitrary distributive lattices via compact totally order-disconnected topological spaces by Priestley. This result enabled the development of natural duality theory in the 1980s by Davey and Werner, later on also in collaboration with Clark and Priestley. In 1978 Urquhart extended Priestley's representation to general lattices via compact doubly quasi-ordered topological spaces (L-spaces). In 1995 Plo\v{s}\v{c}ica presented Urquhart's representation in the spirit of natural duality theory, by replacing on the dual side, Urquhart's two quasiorders by a digraph relation generalising Priestley's order relation. In this paper we translate, following the spirit of natural duality theory, Urquhart's L-spaces into newly introduced Plo\v{s}\v{c}ica spaces. We then prove that every Plo\v{s}\v{c}ica space is the dual space of some general lattice. Based on the authors' 2022 characterisation of finite join and meet semidistributive lattices via their dual digraphs, we characterise general (possibly infinite) join and meet semidistributive lattices via their dual digraphs. Our results are illustrated by examples.