Esakia Duality

Origin. Leo Esakia, "Topological Kripke models" (1974), which gave the duality for Heyting algebras; the Blok–Esakia theorem (Blok 1976, Esakia 1976) is its most consequential corollary. Esakia's Heyting Algebras: Duality Theory was published in English only in 2019, thirty-four years after the Russian original, which is part of why the subject was slow to travel.

Models. Priestley duality plus the Heyting implication. A Heyting algebra is dual to an ordered Stone space in which the downset of a clopen set is clopen — an Esakia space, which is exactly the topological version of an intuitionistic Kripke frame. Where Jónsson–Tarski explains why modal logic has two semantics, Esakia explains why intuitionistic logic does, and the Blok–Esakia theorem explains why the two are the same explanation.

Formalism.

Esakia space: A Priestley space (X, τ, ≤) in which ↓U is clopen for every clopen U. The extra condition is what the implication demands: → needs the downset operation to stay inside the algebra.

The duality: HA ≃ Esa^op Heyting algebras ≃ Esakia spaces. Clopen upsets of the space form the algebra; prime filters of the algebra form the space. Intuitionistic Kripke frames are the special case where the topology is discrete and the space finite.

Correspondence of structure: Subalgebras ↔ Esakia quotients Homomorphic images ↔ closed upsets Intermediate logics ↔ subvarieties of HA ↔ classes of Esakia spaces The lattice of intermediate logics is dual to the lattice of subvarieties.

The Blok–Esakia theorem: The lattice of intermediate logics is isomorphic to the lattice of normal extensions of Grzegorczyk's logic Grz. σ : Λ(IPC) → Λ(Grz), the Gödel translation's algebraic form. Every intermediate logic has a greatest modal companion, and the map is an isomorphism of complete lattices. So the intuitionistic and the modal hierarchies are the same object, and the duality is what shows it.

Interior algebras: Topological Boolean algebras (Boolean + an interior operator) are dual to quasi-ordered Stone spaces, the descriptive S4-frames. McKinsey–Tarski (1944) is the algebraic half; Esakia the topological. The open elements of an interior algebra form a Heyting algebra, and every Heyting algebra arises this way.

Symbols.

Symbol	Unicode	Name	Meaning
HA	—	Category of Heyting algebras	The variety, with homomorphisms
Esa	—	Category of Esakia spaces	The dual category, with Esakia morphisms
↓	U+2193	Downwards arrow / Downset	↓U must be clopen whenever U is
↑	U+2191	Upwards arrow / Upset	Clopen upsets are the elements of the dual algebra
≤	U+2264	Less-than or equal to	The Priestley order; the specialization order of the frame
τ	U+03C4	Small letter tau	The topology of the space
X	—	Underlying set	The points of the space, i.e. the prime filters
U	—	Clopen set	A typical clopen; the clopen upsets carry the algebra
≃	U+2243	Asymptotically equal to / Equivalence	Equivalence of categories
^op	—	Opposite category	The duality is contravariant
↔	U+2194	Left right arrow / Correspondence	Pairing of algebraic and spatial constructions
→	U+2192	Rightwards arrow / Heyting implication	The operation that forces the downset condition
σ	U+03C3	Small letter sigma	The Blok–Esakia map, from intermediate logic to modal companion
Λ	U+039B	Capital letter lambda	Λ(L) is the lattice of extensions of L
Grz	—	Grzegorczyk's logic	The modal logic whose extensions match the intermediate logics
IPC	—	Intuitionistic propositional calculus	The bottom of Λ(IPC)

Metatheory. The Blok–Esakia theorem is the strongest transfer result in this collection's territory: it says the intermediate logics and the normal extensions of Grz are the same lattice, so every question about one is a question about the other and any answer transfers automatically. Decidability, finite model property, interpolation, and tabularity all cross the isomorphism. That is why Modal Companions is an entry in Modal and why Intermediate Logics is one in Algebraic/Heyting — the duality here is what makes them the same entry viewed twice, and the open question whether Medvedev's logic is recursively axiomatizable is a question about a subvariety of Heyting algebras and about a modal logic above Grz at the same time.

Applies to. The lattice of intermediate logics. Modal companions and the Gödel translation. Topological semantics for intuitionistic logic. Kripke frames for IPC, which are the finite discrete Esakia spaces. Any question about superintuitionistic logics, which becomes a question about subvarieties.

Limitations. The duality is not constructive: the points of the dual space are prime filters, and their existence is the prime filter theorem, equivalent to the Boolean prime ideal theorem over ZF, so the whole correspondence is unavailable in a constructive metatheory and locale-theoretic substitutes must be used instead. Esakia spaces are not Kripke frames except in the finite discrete case, so the duality does not vindicate frame reasoning — it replaces it, and for the continuum of intermediate logics lacking the finite model property the topology is doing all the work. Nor does the correspondence with frame conditions survive: as in the modal case, there are logics characterized by no elementary condition on the order, so the dual side is not a translation into first-order order theory. The condition on downsets is exactly what the Heyting implication requires and nothing weaker will do, but no independent characterization of it is known. And the duality is for Heyting algebras only: substructural logics without contraction have residuated-lattice semantics whose duality is much harder and, in the non-integral cases, not settled.