---
title: De Groot Self-Duality in Topology
url: https://www.emergentmind.com/topics/de-groot-self-duality
type: topic
---

# De Groot Self-Duality in Topology

De Groot self-duality is the involutive symmetry classically associated with stably compact spaces whereby a space \(X\) is sent to a dual space \(X^\partial\) on the same underlying set whose open sets are precisely the complements of compact saturated subsets of \(X\); equivalently, the compact saturated subsets of \(X^\partial\) are the complements of the open sets of \(X\) [2507.18245]. In pointfree form, the de Groot dual of a stably compact locale is the locale whose frame consists of the Scott open filters on \(\Omega(X)\), and constructive presentations make the duality appear as a formal reversal of proximity and entailment data [1812.06480]. Later work places this involution inside a wider symmetry between open-like and compact-like structure, extending beyond the classical stably compact setting to ko-spaces and, on the pointfree side, to bi-dcpos [2507.18245].

## 1. Classical topological formulation

In the classical setting, de Groot self-duality applies to stably compact spaces. For such a space \(X\), the dual \(X^\partial\) has the same underlying set as \(X\), but its topology is
\[
Op(X^\partial)=\{\,X\setminus K \mid K\in KSat(X)\,\},
\]
where \(KSat(X)\) denotes the compact saturated subsets of \(X\) [2507.18245]. The construction therefore exchanges
\[
Op(X)\longleftrightarrow \{\,X\setminus K\mid K\in KSat(X)\,\}.
\]

The use of compact saturated sets is essential outside the \(T_1\) setting. A saturated set is an intersection of open sets, equivalently an upset in the specialization order. With this replacement, the duality interchanges open data with compact-saturated data in a way compatible with non-Hausdorff order-topological structure [2507.18245].

The duality is involutive:
\[
(X^\partial)^\partial = X.
\]
Thus de Groot self-duality is not merely a correspondence between two different kinds of topological data; it is an exact reversal operation that returns the original object after a second application [2507.18245].

Pointfree work gives the same duality a locale-theoretic form. For a stably compact locale \(X\), the de Groot dual is the locale whose frame is the frame of Scott open filters on \(\Omega(X)\). In that sense, the classical topology of complements of compact saturated sets and the pointfree construction by Scott-open filters are two presentations of the same duality [1812.06480].

## 2. Symmetry between openness and compact saturatedness

A central interpretation of de Groot self-duality is that it expresses a formal symmetry between open sets and compact saturated sets. This symmetry is visible in paired compactness principles. For \(K\in KSat(X)\) and a directed family \(I\) of opens, compactness takes the form
\[
K \subseteq \bigcup I \implies \exists U\in I:\ K\subseteq U.
\]
Its symmetric counterpart, for \(U\in Op(X)\) and a codirected family \(F\) of compact saturated sets, is
\[
\bigcap F \subseteq U \implies \exists K\in F:\ K\subseteq U.
\]
The second condition is exactly well-filteredness. The two statements are obtained from one another by swapping compact with open, \(\subseteq\) with \(\supseteq\), directed with codirected, and \(\bigcup\) with \(\bigcap\) [2507.18245].

Within this perspective, de Groot self-duality is the topological realization of a deeper two-sided formal symmetry. The symmetry is described as perfect for Stone spaces and spectral spaces, still perfect for stably compact spaces, and only partially visible at the ordinary topological level for sober spaces and more generally well-filtered \(T_0\) spaces [2507.18245].

The obstruction outside the compact setting is concrete. If \(X\) is not compact, the complements of compact saturated sets need not form a topology, because \(\varnothing\) may fail to be among them. This is why ordinary topological spaces are too rigid a container for a global involution exchanging opens with complements of compact saturated sets across larger classes. The modern extensions of de Groot duality address precisely this failure [2507.18245].

## 3. Pointfree and constructive presentations

Constructive work on stably compact locales recasts de Groot duality in terms of algebraic presentations. A strong proximity lattice \((S,\prec)\) represents a stably compact locale \(\operatorname{Spec}(S)\), whose frame is the frame \(\operatorname{RIdl}(S)\) of rounded ideals. The de Groot dual is obtained by reversing both lattice order and proximity:
\[
(S,\prec)^d=(S^d,\succ).
\]
At the level of frames, the key identification is
\[
\operatorname{RIdl}(S^d)\cong \{\text{Scott open filters on }\operatorname{RIdl}(S)\},
\]
so \(\operatorname{Spec}(S^d)\) is the de Groot dual of \(\operatorname{Spec}(S)\) [1812.06480].

The same duality can be presented syntactically. A strong continuous entailment relation is written \((S,\vdash,\prec)\), and its dual is defined by reversing entailment and proximity:
\[
(S,\vdash,\prec)^d=(S,\vdash^d,\succ),\qquad
A\vdash^d B \Longleftrightarrow B\vdash A.
\]
If \(\vdash\) is generated by a set of axioms \(\vdash_0\), then the dual entailment is generated by the reversed axioms
\[
\vdash_0^d=\{(B,A)\mid A\vdash_0 B\}.
\]
This makes de Groot duality computable directly from generators and relations [1812.06480].

These two formalisms are equivalent. The constructive account establishes equivalences
\[
\mathbf{SContEnt}\simeq \mathbf{SProxLat}
\]
and corresponding equivalences for the morphism categories, with dualization commuting with those equivalences up to natural isomorphism [1812.06480]. A plausible implication is that de Groot self-duality can be recognized either semantically, through the represented locale, or syntactically, by comparing a presentation with its formal dual.

Within this framework, self-duality amounts to fixed-point behavior under the de Groot involution. For a represented locale \(X=\operatorname{Spec}(S)\), de Groot self-duality is the condition
\[
X\cong X^d,
\]
equivalently \((S,\prec)\cong (S^d,\succ)\), or, in presentation form, \((S,\vdash,\prec)\cong (S,\vdash^d,\succ)\) [1812.06480].

## 4. Extension to ko-spaces and bi-dcpos

Recent work enlarges the spatial setting from stably compact spaces to ko-spaces. A ko-space is a triple
\[
(X,K,O),
\]
where \(X\) is a poset, \(K\) is a family of “compact-like” upsets, and \(O\) is a family of “open-like” upsets, subject to three groups of axioms: closure of \(K\) under codirected intersections and \(O\) under directed unions, a double compactness principle, and principal generator conditions requiring \(\uparrow x\in K\) and \(X\setminus\downarrow x\in O\) for every \(x\in X\) [2507.18245].

The specialization order is recoverable from either sort:
\[
x \le y \iff (\forall U \in O\ (x\in U \Rightarrow y\in U))
       \iff (\forall K \in K\ (x\in K \Rightarrow y\in K)).
\]
The de Groot dual of a ko-space is defined by
\[
(X,K,O)^\partial
=
\bigl(X^{op},\ \{X\setminus U\mid U\in O\},\ \{X\setminus K\mid K\in K\}\bigr),
\]
and remains involutive:
\[
(X^\partial)^\partial=X.
\]
When \((X,K,O)\) arises from a stably compact space, this reduces exactly to the classical de Groot duality [2507.18245].

On the pointfree side, the corresponding structures are bi-dcpos, written \((K,O,\triangleleft)\), where \(K\) has all codirected meets, \(O\) has all directed joins, and the relation \(\triangleleft\) satisfies double compactness, weakening, and separation/extensionality axioms. Their self-duality is simply the exchange of the two sorts:
\[
(K,O,\triangleleft)^\partial=(O,K,\triangleleft^\partial),\qquad
u\triangleleft^\partial k \iff k\triangleleft u.
\]
This is identified as an extension of Lawson self-duality for continuous domains [2507.18245].

The spatial and pointfree formalisms are linked by an exact classification. There is a bijective correspondence between isomorphism classes of ko-spaces, distributive bi-dcpos, and distributive embedded bi-dcpos, and at the categorical level
\[
KO \simeq DBiDcpo \simeq DEBiDcpo.
\]
The category \(KO\) is self-dual by de Groot duality on objects and converse of c-relations on morphisms, and this restricts to classical de Groot self-duality on the full subcategory of stably compact spaces and closed relations. On the pointfree side, the same categorical symmetry restricts to Lawson duality under the equivalence with continuous domains [2507.18245].

## 5. Constructions, examples, and preserved operations

A standard concrete example is the interval \([0,1]\): the de Groot dual of \([0,1]\) with the upper topology is \([0,1]\) with the lower topology. More generally, every well-filtered \(T_0\) space \(X\) embeds into the ko-space framework as
\[
(X,KSat(X),Op(X)),
\]
and every dcpo \(D\) yields the ko-space
\[
(D,\{\uparrow x\mid x\in D\},ScottOp(D)).
\]
Its de Groot dual is
\[
(D^{op},\ \{C\subseteq D\mid C\text{ Scott-closed}\},\ \{D\setminus\downarrow x\mid x\in D\}) 
\]
[2507.18245].

The constructive presentation theory makes several operations on stably compact locales transparent under dualization. The patch construction is explicitly invariant:
\[
\operatorname{Patch}(S)\cong \operatorname{Patch}(S^d).
\]
Upper and lower powerlocales are exchanged,
\[
P_U(S)^d \cong P_L(S^d),\qquad P_L(S)^d \cong P_U(S^d),
\]
while the double powerlocale and Vietoris powerlocale commute with de Groot duality:
\[
P_D(S)^d \cong P_D(S^d),\qquad P_V(S)^d \cong P_V(S^d).
\]
Valuations and covaluations are interchanged,
\[
\mathfrak V(S)^d \cong \mathfrak C(S^d),\qquad \mathfrak C(S)^d \cong \mathfrak V(S^d),
\]
and for the probabilistic variants the constructions commute with duality after identifying probabilistic valuations with probabilistic covaluations [1812.06480].

The broader ko-space/bi-dcpo framework also recovers classical space-frame dualities. In particular, there is a one-to-one correspondence between locally compact frames, bicontinuous bi-dcpos with \(O\) a bounded distributive lattice, locally compact distributive embedded bi-dcpos of the specified finite-meet/finite-join type, locally compact ko-spaces with the corresponding finite-intersection/finite-union closure, and locally compact sober spaces [2507.18245]. This suggests that de Groot self-duality is structurally tied not only to stably compactness but also to a wider family of Stone-like dualities.

## 6. Scope, misconceptions, and distinct uses of “self-duality”

A persistent misconception is that de Groot self-duality is about complements of arbitrary compact sets. In the non-\(T_1\) setting, the correct objects are compact saturated sets. Another misconception is that any Hausdorff space should admit ordinary de Groot duality. This fails: Arens–Fort and Fortissimo spaces are cited as Hausdorff examples where compact sets are just the finite sets, so the double de Groot dual becomes discrete and does not recover the original topology [2507.18245].

A second source of confusion is terminological overload. “Self-duality” is used in several mathematically unrelated senses. An explicit algebraic self-duality such as
\[
\Hom_A(B,A)\cong B
\]
for finite flat complete intersections is a Gorenstein or complete-intersection duality constructed from a presentation and a determinant element \(\Delta\in B\otimes_A B\); it is not presented as de Groot duality, and De Groot is not mentioned there [2111.06848]. This suggests that de Groot self-duality should be reserved for the topological and pointfree involution exchanging open structure with complements of compact saturated structure, together with its ko-space and bi-dcpo extensions.

The most precise modern interpretation is therefore twofold. In the classical setting, de Groot self-duality is the involution
\[
X\mapsto X^\partial
\]
on stably compact spaces, defined by
\[
Op(X^\partial)=\{X\setminus K\mid K\in KSat(X)\}.
\]
In the extended setting, it is the spatial side of a larger categorical symmetry between open-like and compact-like data, mirrored pointfreely by the swap
\[
(K,O,\triangleleft)\mapsto (O,K,\triangleleft^\partial).
\]
This places de Groot self-duality among the central organizing symmetries of Stone-like duality theory rather than as an isolated operation on a special class of spaces [2507.18245].

Source: https://www.emergentmind.com/topics/de-groot-self-duality