Dual spaces of lattices and semidistributive lattices
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 Ploscica presented Urquhart's representation in the spirit of natural duality theory by replacing, on the dual side, Urquhart's two quasiorders with 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 Ploscica spaces. We then prove that every Ploscica 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 initiate a study of general (possibly infinite) join and meet semidistributive lattices via their dual digraphs. We illustrate our results on examples and formulate three open problems.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.