Nuclear Quartet

The nuclear quartet is the set of four canonical sub-algebras determined by two commuting nuclei $j_1, j_2$ on a Heyting algebra $A$. When $j_1 \circ j_2 = j_2 \circ j_1$, the composite $\pi := j_1 \circ j_2$ is itself a nucleus, and the four sub-algebras are:

$$\bigl(\,A,\;\; \mathrm{Fix}(j_1),\;\; \mathrm{Fix}(j_2),\;\; A^*\,\bigr)$$

where $A^* = \mathrm{Fix}(\pi) = \mathrm{Fix}(j_1) \cap \mathrm{Fix}(j_2)$.

¶The four corners

Sub-algebra	Status	Description
$A$	Free carrier	Neither nucleus has acted — the full Heyting algebra
$\mathrm{Fix}(j_1)$	$j_1$-stable	All $j_1$-closure has been applied; $j_2$ may still have work
$\mathrm{Fix}(j_2)$	$j_2$-stable	All $j_2$-closure has been applied; $j_1$ may still have work
$A^*$	Doubly stable	Both nuclei act as identity — nothing left to close

Each inclusion is strict when the algebra is non-trivial: $A^* \subsetneq \mathrm{Fix}(j_1) \subsetneq A$ and $A^* \subsetneq \mathrm{Fix}(j_2) \subsetneq A$ in general.

¶Why exactly four

The four sub-algebras exhaust all canonical options: apply neither nucleus ($A$), apply $j_1$ alone ($\mathrm{Fix}(j_1)$), apply $j_2$ alone ($\mathrm{Fix}(j_2)$), apply both ($A^*$). There is no fifth option. The quartet is exhaustive.

¶Why commutativity is the hinge

Without commutativity, $\pi = j_1 \circ j_2$ is not a nucleus — it may fail idempotence or meet-preservation. The intersection $\mathrm{Fix}(j_1) \cap \mathrm{Fix}(j_2)$ exists as a set but lacks the reflection property that makes it a canonical sub-algebra. Commutativity promotes the intersection from an ad hoc set to the fixed-point set of a nucleus. This is the content of the Nuclear Quartet Theorem: given two commuting nuclei, the composite is automatically a nucleus, and $\mathrm{Fix}(\pi) = \mathrm{Fix}(j_1) \cap \mathrm{Fix}(j_2)$.

¶The commuting square

The four corners form a commuting square of inclusions and nucleus maps:

$$\begin{array}{ccc} A & \xrightarrow{j_1} & \mathrm{Fix}(j_1) \\ j_2 \downarrow & & \downarrow j_2|_{\mathrm{Fix}(j_1)} \\ \mathrm{Fix}(j_2) & \xrightarrow{j_1|_{\mathrm{Fix}(j_2)}} & A^* \end{array}$$

Two paths from $A$ to $A^*$: the top-right path $A \xrightarrow{j_1} \mathrm{Fix}(j_1) \xrightarrow{j_2|} A^*$ and the left-bottom path $A \xrightarrow{j_2} \mathrm{Fix}(j_2) \xrightarrow{j_1|} A^*$. Both equal $\pi = j_1 \circ j_2 = j_2 \circ j_1$: commutativity is exactly the statement that the two paths agree.

¶The fiber instance

At each history $t$ in the Relational Universe, the fiber Heyting algebra $H_t$ carries two nuclei: the saturation nucleus $\sigma_t$ and the transfer nucleus $\Delta_t$. Their commutativity produces the fiber nuclear quartet:

$$\bigl(\,H_t,\;\mathrm{Fix}(\sigma_t),\;\mathrm{Fix}(\Delta_t),\;H_t^*\,\bigr)$$

Sub-algebra	Name	Role
$H_t$	Proposition fiber	The free carrier at history $t$
$\mathrm{Fix}(\sigma_t)$	Saturation-stable fiber	Propositions at their saturation value
$\mathrm{Fix}(\Delta_t)$	Transfer-stable fiber	Propositions witnessed by all one-step extensions
$H_t^*$	Fixed fiber	Propositions fixed by both nuclei

By the Tower Fiber Seeding theorem, the fixed fiber $H_t^*$ at level $n$ becomes the free carrier $H_t^{(n+1)}$ at level $n+1$. The nuclear quartet at one level determines the starting material for the next.

¶The universe-level instance

At the universe level, the nuclear quartet takes the form:

$$\bigl(\,R_\mathrm{free},\;\; R_\mathrm{syn},\;\; \mathbf{Sh}(T,J),\;\; R\,\bigr)$$

where $R_\mathrm{free}$ is the free presheaf category, $R_\mathrm{syn}$ is the syntactic Relational Universe (the initial model), $\mathbf{Sh}(T,J)$ is the sheaf topos, and $R$ is the Relational Universe as its own fixed point. The construction factors through $R_\mathrm{syn}$ as the handshake object between language-closure ($j_1$) and topology-closure ($j_2$).

¶See also

• Nucleus — the operator on each axis
• Nuclear dyad — the atomic unit; a quartet is two dyads with commuting nuclei
• Closure
• Commutativity