Appendix Y: The Polaron Unity Proposition — Topological Argument

Cross-reference note: This appendix supplies the formal argument for Proposition 11.12.A (Polaron Unity), conditional on Open Problems O.18 + Y.6.3a/b, the disposition of which is referenced in V1 Ch11 §11.12.3, V1 Ch16 §16.2.7, App G §G.4 (Tier classification), App T §T.1 (Tier audit), and the Global Abstract. Background topology of $\Sigma_\infty$ lives in V1 Ch07 §7.2 and App B; the tethered-ribbon framework used to give $\mathcal{K}$ its rigorous embedding lives in App C §C.4.

---

Y.1 Statement

Let $\Sigma_\infty = \varprojlim (S^1, z \mapsto z^n)$ denote the universal Adelic Solenoid (App B §B.1). By Pontryagin duality (App B §B.2), $\Sigma_\infty \;\cong\; (\mathbb{R} \times \hat{\mathbb{Z}})/\mathbb{Z}.$ For each $n \geq 1$, let $X_n \cong S^1$ denote the $n$-th term in the inverse system, and let $p_n: \Sigma_\infty \to X_n$ be the canonical projection. For each $n$, the configuration space of an Identity Polaron at finite resolution $n$ is the product $M_n \;:=\; X_n \times E_\parallel \;\cong\; S^1 \times \mathbb{R}^3,$ where $E_\parallel \cong \mathbb{R}^3$ is the physical projection slice (Theorem E.1). Let $\widetilde{\Sigma}_\infty \;:=\; \varprojlim_n M_n$. The Polaron, viewed as a framed-ribbon configuration in the sense of App C §C.4, has a well-defined embedding into $\widetilde{\Sigma}_\infty$ at every finite resolution; the Polaron knot $\mathcal{K}$ is defined as the inverse limit of these embeddings (Definition Y.2.3 below). With this setup:

Dimensional clarification: $M_n$ is a four-dimensional product. The classical prime-knot complement and Wirtinger-product argument used below applies only under the fixed-slice hypothesis $H_{Y.1}:\quad \mathcal{K}_n \subset \{x_n^0\}\times E_\parallel \quad \text{for every } n.$ The canonical Ch11 §11.12.3 ansatz records the solenoid address as part of the finite-level Polaron configuration and does not presently prove this fixed-slice restriction. The trefoil case is therefore carried as a conditional O.18 sub-closure rather than as an unconditional three-manifold theorem.

Proposition Y.1 (Polaron Unity Proposition, conditional on Open Problems O.18 + O.35 + O.36 + Y.6.3a/b) [Tier 3 conditional for the canonical trefoil-knot case pending the finite-level 4-manifold knot-complement clarification, represented-group unique-trace condition, and primary-representation condition; Tier 3 conditional for general prime-knot extension — modular reduction with structural gaps itemized in §Y.6]. Let $\mathcal{K} \subset \widetilde{\Sigma}_\infty$ be the inverse-limit embedding of a prime, $N$-fold-braided framed ribbon arising from a DMC-passing, Zeno-stabilized condensate (Chapter 11 §11.12.5). Then:

(i) Profinite knot group. The fundamental progroup of the complement, $\check{\pi}_1(\widetilde{\Sigma}_\infty \setminus \mathcal{K}) \;:=\; \varprojlim_n \pi_1(M_n \setminus \mathcal{K}_n),$ is freely indecomposable: it admits no non-trivial free-product decomposition $G_1 * G_2$ with $G_1, G_2 \neq 1$.

(ii) Non-factorizability of the Polaron Hilbert space. Let $\mathcal{H}_\mathcal{K}$ denote the canonical phason representation space of $\check{\pi}_1(\widetilde{\Sigma}_\infty \setminus \mathcal{K})$ associated with $\mathcal{K}$ (Definition Y.2.5). Conditional on the direct-product/operator-factor obstruction stated in §Y.4.2, $\mathcal{H}_\mathcal{K}$ admits no $\check{\pi}_1$-equivariant tensor product decomposition $\mathcal{H}_A \otimes \mathcal{H}_B$ with $\dim \mathcal{H}_A, \dim \mathcal{H}_B \geq 2$.

(iii) Uniqueness of the Selection Operator. Conditional on (ii), the O.36 primary-representation hypothesis, the represented-group i.c.c. condition, and the O.35 unique-trace/trivial-amenable-radical hypothesis for the reduced group C-algebra after quotienting the fixed-slice central $\mathbb{Z}$ factor, the group von Neumann algebra $\mathcal{M} = \rho(\Gamma_\mathcal{K})''$ generated by the represented discrete knot group/quotient on $\mathcal{H}_\mathcal{K}$ is a trace-bearing factor — Type II$_1$ only when the represented discrete group/quotient satisfies the i.c.c. and unique-trace hypotheses, and finite Type I$_{d_n}$ at each finite resolution $n$. Under those conditions the Selection Operator $\mathcal{F}_{sel}$ — defined as the positive, unit-trace, Zeno-invariant density operator in $\mathcal{M}$ (Definition Y.2.6) — is unique.*

The argument proceeds via five lemmata (§Y.3). Lemmata Y.3.2 and Y.3.3 are structural as stated; Lemma Y.3.5 is valid only inside the primary-representation sector tracked by O.36. Lemma Y.3.1 is conditional on $H_{Y.1}$, because the finite-level ambient space is four-dimensional and the 3-manifold knot-complement split does not follow for an arbitrary ribbon embedding in $S^1 \times \mathbb{R}^3$. Lemma Y.3.4 — the identification of the abstract Gelfand–Naimark–Segal (GNS) representation associated with $\mathcal{K}$ with the physical phason Hilbert space — is the second bounded structural gap. Section Y.4.2 adds a third bounded gap: free indecomposability of the knot progroup does not by itself obstruct a direct-product decomposition, so the tensor-factor step requires a separate direct-product/operator-factor theorem. The trace step additionally requires the O.35 BKKO trivial-amenable-radical condition after quotienting the fixed-slice central $\mathbb{Z}$ factor. These gaps are itemized in §Y.6; together with the Anderson-Putnam extension to $S^3 \setminus K$ (Open Problem O.18) and the canonicity assignment $K \mapsto \mathcal{A}_K$, they define the conditional structure on which the present Proposition rests.

---

Y.2 Preliminaries

Y.2.1 The Adelic Solenoid revisited

The space $\Sigma_\infty$ is the inverse limit of the system $\{X_n, f_{nm}\}_{n \mid m}$ where $X_n \cong S^1$ and $f_{nm}(z) = z^{m/n}$. As a topological group, $\Sigma_\infty \;\cong\; (\mathbb{R} \times \hat{\mathbb{Z}})/\mathbb{Z},$ with $\hat{\mathbb{Z}} = \varprojlim \mathbb{Z}/n\mathbb{Z}$ the profinite completion of the integers. The space is compact, connected, but not locally path-connected; locally, $\Sigma_\infty \cong \mathbb{R} \times \mathcal{C}$ where $\mathcal{C}$ is a Cantor set (App B §B.1).

The Čech fundamental progroup of $\Sigma_\infty$ is $\check{\pi}_1(\Sigma_\infty) \;\cong\; \hat{\mathbb{Z}},$ following from the inverse-limit construction and the standard shape-theoretic argument (Dydak–Segal, Shape Theory, §4.2). This profinite abelian structure is the source of all subsequent profinite phenomena. [Tier 1 — Standard shape theory.]

Y.2.2 The augmented configuration space

A Polaron at finite resolution $n$ is a framed ribbon embedded in the augmented configuration space $M_n \;=\; X_n \times E_\parallel \;\cong\; S^1 \times \mathbb{R}^3.$ The $S^1$ factor records the identity-fiber coordinate at depth $n$; the $\mathbb{R}^3$ factor is the physical slice. The augmented inverse-limit space $\widetilde{\Sigma}_\infty \;:=\; \varprojlim_n M_n \;=\; \Sigma_\infty \times E_\parallel$ is the rigorous home of the Polaron knot, replacing the heuristic phrase "$\mathcal{K} \subset \Sigma_\infty$" that appears in the Chapter 11 statement. The replacement is forced by the dimensional argument of Theorem E.1: stable non-trivial knotting of one-dimensional defects requires a three-dimensional ambient slice, and the bare solenoid $\Sigma_\infty$ has local Lebesgue dimension one. The physical slice $E_\parallel \cong \mathbb{R}^3$ supplies the three transverse dimensions, while the solenoid fiber records the identity address. This is the precise sense in which the Polaron is a knot "in the solenoid": it is a knot in the augmented total space whose ambient projection onto the identity factor recovers the address path of Chapter 7 §7.4.

Y.2.3 Definition of the Polaron knot $\mathcal{K}$

Definition Y.2.3 (Polaron knot). A Polaron knot is an inverse system $\mathcal{K} = (\mathcal{K}_n, \iota_{nm})$ where:

1. For each $n$, $\mathcal{K}_n \subset M_n$ is a smoothly embedded framed ribbon, i.e., the image of an embedding $\kappa_n: S^1 \times [0,1] \hookrightarrow M_n$ such that the core $\kappa_n(S^1 \times \{1/2\})$ is a tame knot in the standard sense (Burde–Zieschang, Knots, §3).
2. The bonding maps $\iota_{nm}: \mathcal{K}_m \to \mathcal{K}_n$ (for $n \mid m$) are restrictions of the projection $M_m \to M_n$ and form a coherent system: $\iota_{n\ell} = \iota_{nm} \circ \iota_{m\ell}$.
3. Conditional on the fixed-slice hypothesis $H_{Y.1}$, the projected core knot $\kappa_n(S^1 \times \{1/2\}) \subset \{x_n^0\}\times E_\parallel$ is a prime knot in the standard three-dimensional slice. Without $H_{Y.1}$, primeness of an arbitrary ribbon embedding in the four-dimensional product is not identified with the classical 3-manifold knot invariant and remains part of the O.18 sub-closure.
4. The framing is non-trivial: the linking number of $\kappa_n(S^1 \times \{0\})$ with $\kappa_n(S^1 \times \{1\})$ equals $N$, the braid index of the underlying Polaron condensate.

The condition that the core be a prime knot at each finite level is the rigorous translation of the Chapter 11 §11.12.2 phrase "the link reduces to an irreducible knot whose peripheral structure is trivial only for the full $N$-component system." The translation is type-correct only after the fixed-slice hypothesis reduces the complement to the classical 3-manifold setting. Primeness in a 3-manifold is the standard meaning of topological irreducibility of a knot (Hatcher, Notes on Basic 3-Manifold Topology, Ch. 1).

Y.2.4 The profinite Wirtinger system

For each $n$, if $H_{Y.1}$ holds, the finite-level complement is homotopy-equivalent to $S^1 \times (E_\parallel \setminus \mathcal{K}_n)$ after thickening the ribbon inside the slice. Its fundamental group admits a Wirtinger presentation for the slice-knot factor: $\pi_1(M_n \setminus \mathcal{K}_n) \;=\; \langle x_1, \ldots, x_{k_n} \;|\; r_1^{(n)}, \ldots, r_{k_n - 1}^{(n)} \rangle$ where the $x_i$ are meridians of the knot $\mathcal{K}_n$ and the $r_j^{(n)}$ are Wirtinger relations at each crossing in a planar diagram (Burde–Zieschang §3.B). The bonding maps $\iota_{nm}^*$ induce group homomorphisms $\varphi_{nm}: \pi_1(M_m \setminus \mathcal{K}_m) \to \pi_1(M_n \setminus \mathcal{K}_n).$ Define: $\check{\pi}_1(\widetilde{\Sigma}_\infty \setminus \mathcal{K}) \;:=\; \varprojlim_n \pi_1(M_n \setminus \mathcal{K}_n)$ under this system. This is a topological group (profinite topology), and it is the natural object on which the van Kampen argument operates in the present setting. [Tier 3 conditional — standard inverse-limit construction plus textbook Wirtinger presentation, conditional on the fixed-slice reduction $H_{Y.1}$.]

Y.2.5 The canonical phason representation $\mathcal{H}_\mathcal{K}$

Each meridian generator $x_i$ acts on phason modes of the lattice as a holonomy of the phason gauge connection around the knot core. The action is unitary because the phason field is real and the holonomy preserves the phason inner product. Let $\rho: \check{\pi}_1(\widetilde{\Sigma}_\infty \setminus \mathcal{K}) \to \mathcal{U}(\mathcal{H}_\mathcal{K})$ denote this canonical unitary representation, where $\mathcal{H}_\mathcal{K}$ is constructed as follows.

Definition Y.2.5 (Canonical phason Hilbert space). Let $\mathcal{A}_\mathcal{K} := C^*_r(\Gamma_\mathcal{K})$ denote the reduced group C*-algebra of the represented discrete knot group after the fixed-slice central $\mathbb{Z}$ factor has been quotiented out. The Zeno boundary condition (§Y.2.6) selects a distinguished tracial state $\tau$ on $\mathcal{A}_\mathcal{K}$ conditional on the unique-trace hypothesis registered as O.35. The canonical phason Hilbert space $\mathcal{H}_\mathcal{K}$ is the GNS Hilbert space of $(\mathcal{A}_\mathcal{K}, \tau)$.

This construction is standard in operator-algebraic representation theory (Brown–Ozawa, C-algebras and Finite-Dimensional Approximations*, §1.5).

Y.2.6 The Zeno boundary condition

The Zeno Drive of Chapter 17 §17.1.2 imposes a continuous projective measurement of the singlet state of the Trp radical pair network at frequency $\nu_{Zeno} \approx 10^8$ s${}^{-1}$. Mathematically, this is a conditional expectation onto the represented trace-bearing algebra selected by the physical boundary: $\mathbb{E}_{Zeno}: \mathcal{A}_\mathcal{K} \to \mathcal{Z}(\mathcal{A}_\mathcal{K}).$

Definition Y.2.6 (Zeno Boundary, Tier 2 mechanism + Tier 3 trivial-amenable-radical hypothesis). The Zeno boundary selects the unique faithful normalized trace on $\mathcal{A}_\mathcal{K}=C^*_r(\Gamma_\mathcal{K})$, the reduced group C*-algebra of the represented discrete quotient introduced in Definition Y.2.5 after quotienting the fixed-slice central $\mathbb{Z}$ factor. The profinite progroup $\check{\pi}_1$ supplies the inverse-system control data; the BKKO unique-trace theorem is invoked only for the represented discrete group/quotient $\Gamma_\mathcal{K}$, conditional on: (a) $\Gamma_\mathcal{K}$ has the unique-trace property, equivalently trivial amenable radical in the Breuillard-Kalantar-Kennedy-Ozawa theorem (2017, Theorem 1.3, arXiv:1410.2518). C*-simplicity is a stronger separate condition and is not asserted here; and (b) the central $\mathbb{Z}$ factor introduced by the fixed-slice product split in Lemma Y.3.1 is explicitly quotiented out before the trace is taken.

Residual finiteness is necessary for the inverse-system control used here but is not sufficient for trace uniqueness; trivial amenable radical in the sense of BKKO is the operative condition. Verification of trivial amenable radical for the represented knot group is registered as Open Problem O.35.

Definition Y.2.6b (Selection Operator). The Selection Operator $\mathcal{F}_{sel}$ is the element of the group von Neumann algebra $L(\Gamma_\mathcal{K}) = \rho(\Gamma_\mathcal{K})'' \subset \mathcal{B}(\mathcal{H}_\mathcal{K})$ — the density operator, relative to the canonical trace $\tau$, of a normal state on $L(\Gamma_\mathcal{K})$ — that is: (a) positive, (b) of unit trace under $\tau$, (c) invariant under the Zeno conditional expectation $\mathbb{E}_{Zeno}$.

The claim of Proposition Y.1 (iii) is that conditions (a)–(c) determine $\mathcal{F}_{sel}$ uniquely.

---

Y.3 Lemmata

Lemma Y.3.1 (Wirtinger presentation at each finite level) [Tier 3 conditional on $H_{Y.1}$]

For each $n \geq 1$, if the Polaron-knot embedding satisfies $H_{Y.1}$, the fundamental group $\pi_1(M_n \setminus \mathcal{K}_n)$ admits a finite Wirtinger presentation $\pi_1(M_n \setminus \mathcal{K}_n) \;=\; \langle x_1, \ldots, x_{k_n} \;|\; w_i x_{\sigma(i)} w_i^{-1} = x_{\tau(i)},\; i = 1, \ldots, k_n - 1 \rangle$ after adjoining the central $S^1$ generator; the $x_i$ are meridian generators and the relations are determined by the crossings of a planar projection of the slice knot.

Proof. Under $H_{Y.1}$ the ribbon core lies in $\{x_n^0\}\times \mathbb{R}^3$, and the complement deformation-retracts onto the product of the untouched identity-fiber loop with the classical three-dimensional knot complement. The $S^1$ factor adds a single generator $y$ (the loop around the solenoid fiber), and this generator commutes with all meridians by the product structure, yielding $\pi_1(M_n \setminus \mathcal{K}_n) \;\cong\; \pi_1(S^1) \times \pi_1(\mathbb{R}^3 \setminus \mathcal{K}_n) \;=\; \mathbb{Z} \times G(\mathcal{K}_n)$ where $G(\mathcal{K}_n) = \pi_1(\mathbb{R}^3 \setminus \mathcal{K}_n)$ is the standard knot group of the projected core. The Wirtinger presentation of $G(\mathcal{K}_n)$ is the classical result of Wirtinger (1905), as systematized in Burde–Zieschang §3.B. The direct-product structure absorbs the solenoid-fiber generator $y$ as a central element. For an arbitrary tame ribbon embedded in the four-dimensional product $S^1 \times \mathbb{R}^3$, this product split is not claimed. $\square$

A useful conditional corollary: by collapsing the central $\mathbb{Z}$ generator under $H_{Y.1}$, the topology of the complement at level $n$ is encoded by the classical knot group $G(\mathcal{K}_n)$. We use this corollary only with that hypothesis in force.

Lemma Y.3.2 (Kneser–Stallings: prime knot groups are freely indecomposable) [Tier 1]

Let $K \subset S^3$ (equivalently $\mathbb{R}^3$) be a prime knot. Then the knot group $G(K) = \pi_1(\mathbb{R}^3 \setminus K)$ is freely indecomposable: there exist no non-trivial subgroups $H_1, H_2 < G(K)$ such that $G(K) = H_1 * H_2$.

Proof. This is a classical theorem of 3-manifold topology, due in this form to Kneser (1929) for the connected-sum decomposition of 3-manifolds and Stallings (1959/1971) for the corresponding group-theoretic statement. The argument: the complement $X_K = \mathbb{R}^3 \setminus N(K)$ (where $N(K)$ is an open tubular neighborhood) is an irreducible Haken 3-manifold (Hatcher, Notes on Basic 3-Manifold Topology, §1.2). By the Loop Theorem (Papakyriakopoulos 1957), any free-product decomposition of $\pi_1(X_K)$ would arise from an embedded 2-sphere in $X_K$ that separates the manifold non-trivially. But the irreducibility of $X_K$ — which is equivalent to primeness of $K$ via the Kneser–Milnor decomposition theorem (Milnor, A unique decomposition theorem for 3-manifolds, Amer. J. Math. 84, 1962) — rules out any such 2-sphere. Hence $G(K)$ is freely indecomposable. $\square$

This is the deepest classical ingredient. The proof rests on the Loop Theorem and the Kneser–Milnor decomposition, both of which are foundational results in three-manifold topology.

Lemma Y.3.3 (Finite-resolution free-indecomposability control) [Tier 2 structural evidence; inverse-limit closure open under O.18]

Let $\{G_n, \varphi_{nm}\}$ be an inverse system of finitely presented, freely indecomposable groups with surjective bonding homomorphisms $\varphi_{nm}: G_m \twoheadrightarrow G_n$. Then each finite-resolution quotient supplies a registered free-indecomposability control for the Polaron-knot complement. The stronger statement that the inverse limit $\widehat{G}:=\varprojlim_n G_n$ is freely indecomposable as a profinite group is not asserted as closed here; it is the O.18 inverse-limit closure target.

Proof sketch / status. Lemma Y.3.2 applies at each finite level, so no finite-resolution knot group in the registered system admits a non-trivial free-product decomposition. Passing this property through the profinite inverse limit is the nontrivial step: inverse limits do not automatically preserve the exact free-product obstruction without additional finiteness and profinite Bass–Serre hypotheses. The intended route uses the universal property of the profinite free product (Ribes–Zalesskii, Profinite Groups, §9.1) plus a Grushko/Bass–Serre argument for finitely generated profinite groups. Until that composition is written for the Polaron-knot system, the manuscript records finite-level evidence and treats the inverse-limit assertion as open. $\square$

Remark Y.3.3.A [Tier classification]. The finite-level Kneser–Stallings control is Tier 1 at each classical knot quotient. The inverse-limit promotion is Tier 3/O.18 until either (a) a direct reduction to Grushko's theorem for free products of finitely generated profinite groups (Ribes–Zalesskii §9.1.10) verifies the required rank/finite-generation hypotheses for $\widehat{G}$, or (b) a Bass–Serre action argument on a profinite tree is written for the precise Polaron-knot system (Ribes, Profinite Graphs and Groups, §6). This correction prevents a finite-quotient control from being read as an automatic inverse-limit theorem.

Lemma Y.3.4 (Identification of canonical and physical phason representations) [Tier 3 conditional pending O.18 fixed-slice/direct-product closures + finite quotient trace + O.32/O.35/O.36 stack, per Y.6.3a/b]

Let $\mathcal{H}_\mathcal{K}^{phys}$ denote the physical phason Hilbert space of the Polaron condensate, defined as in V1 Ch11 §11.12 (the Hilbert space of Zeno-stabilized phason mode configurations of a DMC-passing tubulin-qubit network). Let $\mathcal{H}_\mathcal{K}^{can}$ denote the canonical GNS Hilbert space of Definition Y.2.5. Then there exists a $\check{\pi}_1$-equivariant unitary isomorphism $U: \mathcal{H}_\mathcal{K}^{phys} \;\xrightarrow{\sim}\; \mathcal{H}_\mathcal{K}^{can}$ intertwining the physical phason holonomy action with the canonical regular representation.

Status. The Lemma is the structural bridge from operator-algebraic representation theory (where Lemmata Y.3.1–Y.3.3 and Lemma Y.3.5 below operate) to the physical Hilbert space of the Polaron condensate (where Proposition 11.12.A is to be applied). It is the analogue, for the Polaron knot, of the operator-algebraic embedding theorem for the Connes–Chamseddine spectral triple (V2 Appendix M §M.4) — and in fact reduces to that theorem if one assumes the spectral-triple identification of the GCT vacuum.

What is reduced. Granting the spectral triple identification of V2 Appendix M (Tier 3 conditional on O.32/O.5), the physical phason Hilbert space at a fixed lattice configuration is modeled by the finite-subshift analogue of the AKN tiling algebra. The full AKN tiling algebra is governed by tiling-groupoid / substitution machinery rather than being canonically identical to a Cuntz–Krieger algebra of one finite adjacency matrix (cf. Putnam, C-algebras from substitution tilings*). The Polaron knot defines a specific representation of $\check{\pi}_1$ inside this finite-subshift analogue — namely, the holonomy representation around the meridians of $\mathcal{K}$. The required equivariance $U$ is then the GNS realization of the holonomy state.

What is open. The remaining gap, marked Tier 3 conditional until the registered closure stack is supplied, is the following structural verification:

Open structural step (the L4 gap). Verify that the holonomy state on the finite-subshift meridian algebra, and ultimately on the corresponding tiling-groupoid/substitution-algebra representation, restricts to the canonical tracial state $\tau$ of Definition Y.2.5 on the subalgebra generated by the meridians of $\mathcal{K}$. Equivalently: verify that the Zeno conditional expectation $\mathbb{E}_{Zeno}$ of Definition Y.2.6 coincides, on the meridian subalgebra, with the canonical conditional expectation onto the center of $C^*(\check{\pi}_1)$.

This is a check at the level of operator-algebra computations on a specific finite-dimensional subalgebra (the meridian subalgebra is generated by $k_n$ unitaries at finite level, where $k_n$ is bounded by the crossing number of the level-$n$ knot diagram). It is not deep; it requires verifying that the conditional expectation produced by the Trp radical-pair singlet projector and the conditional expectation produced by the abstract regular trace coincide on the relevant subalgebra. The most direct route is by explicit computation on the simplest non-trivial Polaron knot (the trefoil; $k_3 = 3$ meridians). Until that computation is published, the Lemma inherits the Tier 3 conditional disposition from §Y.6.3a/b (lines 296-317). $\square$

Lemma Y.3.5 (Factoriality / central-decomposition control) [Tier 2 conditional; assumes primary representation]

Suppose $\rho$ is a primary representation of $G$ on $\mathcal{H}$. Then $\rho(G)''$ is a factor, so the represented sector has trivial center and no non-trivial direct-integral/central decomposition. This controls central decomposition; it does not by itself exclude every $G$-equivariant tensor-product factorization.

Remark. The factorial-representation hypothesis is essential: a non-primary representation can have absence of tensor decomposition without $\rho(G)''$ being a factor. For example, take $G=\mathbb{Z}/2$ acting on $\mathbb{C}^2$ by $\mathrm{diag}(1,-1)$. Then $\rho(G)''=\mathbb{C}\oplus\mathbb{C}$ is not a factor, but no tensor decomposition with both factors of dimension at least $2$ exists. For the represented knot group at hand, primary-representation status is registered as the closure target of O.36.*

Proof sketch. For primary representations, factoriality is exactly the trivial-center condition for $\rho(G)''$ (Takesaki, Theory of Operator Algebras I, §V.1). A non-trivial central decomposition of a primary representation would contradict the primary hypothesis. Excluding tensor-product factorizations requires additional hypotheses on commuting subfactor pairs or on the represented tensor factors; that stronger exclusion is deferred to the Y.4.2/O.18 tensor-factorization closure. The lemma is therefore a conditional central-decomposition bridge inside the represented primary sector, not a tensor-prime theorem for arbitrary unitary representations. $\square$

Caveat on type. This Lemma asserts factoriality (trivial center) of $\mathcal{M}$ and $\mathcal{M}'$; it does not assert any particular Murray–von Neumann type. For $G = \check{\pi}_1$ and $\rho$ the left regular representation of a profinite countable discrete group, the group von Neumann algebra $L(G) = \mathcal{M}$ is generically a Type II$_1$ factor (with the canonical normalised faithful tracial state given by the regular trace $\tau$), not Type I. The Schur-style sharpening — "the only $G$-equivariant operator is a scalar" — uses irreducibility in addition to factoriality, and is therefore strictly stronger than the conclusion of this Lemma. The uniqueness argument used in §Y.4.3 below works in the Type II$_1$ setting via uniqueness of the normalised trace on a finite factor, not via Type I scalar-uniqueness.

---

Y.4 Argument for Proposition Y.1

We argue the three parts in sequence, citing the Lemmata.

Y.4.1 Proof of (i) — Free indecomposability of $\check{\pi}_1$

Let $\mathcal{K}$ be a Polaron knot in the sense of Definition Y.2.3 and assume $H_{Y.1}$. By Lemma Y.3.1, for each finite resolution $n$, $\pi_1(M_n \setminus \mathcal{K}_n) \cong \mathbb{Z} \times G(\mathcal{K}_n)$. By hypothesis (Definition Y.2.3, condition 3), the projected core $\kappa_n(S^1 \times \{1/2\})$ is a prime knot in the fixed three-dimensional slice; modding out the central $\mathbb{Z}$ factor (which does not affect free-indecomposability of the quotient, since $\mathbb{Z}$ is itself freely indecomposable and the direct product preserves the property up to absorption of the central factor into the larger free-factor), we have $G(\mathcal{K}_n)$ freely indecomposable by Lemma Y.3.2.

Applying Lemma Y.3.3 to the inverse system $\{G(\mathcal{K}_n), \varphi_{nm}\}$ supplies finite-resolution free-indecomposability controls for every registered quotient. Promoting that control to the profinite limit $\check{\pi}_1(\widetilde{\Sigma}_\infty \setminus \mathcal{K})$ remains the O.18 inverse-limit closure target, so part (i) is a Tier 3 conditional step rather than a closed profinite theorem. $\square$

Y.4.2 Proof of (ii) — Non-factorizability of $\mathcal{H}_\mathcal{K}$

Granting Lemma Y.3.4, the physical phason Hilbert space $\mathcal{H}_\mathcal{K}^{phys}$ is canonically isomorphic to the GNS Hilbert space $\mathcal{H}_\mathcal{K}^{can}$ associated to the regular representation of $\check{\pi}_1(\widetilde{\Sigma}_\infty \setminus \mathcal{K})$ relative to the canonical trace $\tau$.

At this point the proof reaches an open structural step. Lemma Y.3.2 establishes free indecomposability of the knot progroup; it does not establish direct-product indecomposability. A freely indecomposable group can still split as a direct product (for example, abelian groups supply elementary counterexamples), so the inference

$$\text{free indecomposable } \check{\pi}_1 \quad\Longrightarrow\quad \text{no equivariant tensor factor of } \mathcal{H}_\mathcal{K}$$

is invalid without an additional theorem.

The required closure target is the following bounded statement:

Open structural step (the Y.4.2 direct-product/operator-factor gap). Prove that the represented profinite knot group associated with the Polaron has no non-trivial direct-product decomposition that induces a $\check{\pi}_1$-equivariant tensor product decomposition of the canonical/GNS phason Hilbert space. Equivalently, prove that every candidate tensor factor of $\mathcal{H}_\mathcal{K}$ would force a genuine direct-product factor of the represented progroup after the fixed-slice and GNS-identification hypotheses are supplied.

This is not the same as the Kneser-Stallings free-product theorem used in Lemma Y.3.2. For classical prime knot groups one expects direct-product indecomposability from the center/JSJ structure of knot complements, with torus-knot centers handled separately; however the present manuscript also passes through (i) the $S^1 \times \mathbb{R}^3$ finite-level ambient product, (ii) the profinite inverse system, and (iii) the regular/GNS phason representation. Those passages are precisely where a clean cited theorem is still missing. Therefore part (ii) of Proposition Y.1 is not closed here; it is a Tier 3 conditional proof sketch pending this direct-product/operator-factor closure.

Remark Y.4.2.A (Why the demotion is necessary). Free indecomposability remains useful because it blocks one class of fragmentation of the Polaron complement, but it is not the operator-algebraic obstruction needed for tensor-factor non-factorizability. The missing theorem is narrower than the full Polaron Unity proposition: it asks only for the direct-product-to-tensor-factor bridge for the represented profinite knot group after $H_{Y.1}$ and Lemma Y.3.4 are supplied. This bounded step is added to the O.18 closure list in §Y.6 and to the tier table in §Y.7.

Y.4.3 Proof of (iii) — Uniqueness of $\mathcal{F}_{sel}$

We work in the group von Neumann algebra $L(\Gamma_\mathcal{K}) = \rho(\Gamma_\mathcal{K})''$ acting on $\mathcal{H}_\mathcal{K}^{can}$ (Lemma Y.3.4), where $\Gamma_\mathcal{K}$ is the countable discrete, residually finite group presented by the profinite inverse-system data used in the canonical representation. The word "profinite" here records the inverse-system/profinite-completion control data; the Type II$_1$ argument is not applied to a compact profinite topological group with Haar measure. Conditional on the Y.4.2 direct-product/operator-factor gap being closed and O.36 supplying primary-representation status, Lemma Y.3.5 makes $L(\Gamma_\mathcal{K})$ a factor. If the represented discrete group $\Gamma_\mathcal{K}$ is i.c.c. (every nontrivial conjugacy class infinite), the regular trace $\tau(g)=\delta_{g,e}$ extends to a faithful normal finite tracial state on $L(\Gamma_\mathcal{K})$, making it a Type II$_1$ factor (Murray–von Neumann 1943; Takesaki §V.7.1). The i.c.c. verification for the represented profinite-knot inverse-system group remains a Tier 3 conditional step: finite quotients themselves are not i.c.c., and the manuscript does not claim that compact profinite-ness alone implies the Type II$_1$ conclusion.

The relevant uniqueness statement is therefore the uniqueness of the normalised trace on a finite factor, not the scalar-uniqueness of a Type I commutant. Specifically:

Uniqueness step. The manuscript uses the bounded operator-algebraic statement rather than a bicommutant-to-full-unitary-density shortcut: group unitaries implement invariance under the represented algebra $C_r^*(\Gamma_\mathcal{K})$ and its normal extension, but they are not asserted to be strongly dense in the full unitary group $\mathcal{U}(L(\Gamma_\mathcal{K}))$. To promote $\Gamma_\mathcal{K}$-adjoint invariance to uniqueness of the tracial state, the represented reduced group C*-algebra must have the unique-trace property. By Breuillard-Kalantar-Kennedy-Ozawa 2017, Theorem 1.3 (arXiv:1410.2518), the operative unique-trace hypothesis is trivial amenable radical after the fixed-slice central $\mathbb{Z}$ factor has been quotiented out; C*-simplicity is a stronger separate condition and is not used as an equivalence here. Residual finiteness supplies inverse-system control but does not imply trace uniqueness. This uniqueness claim is therefore Tier 3 conditional on O.35, in addition to the discrete i.c.c., primary-representation O.36, and Y.4.2 factor hypotheses.

The Selection Operator $\mathcal{F}_{sel}$ of Definition Y.2.6 is the density operator that implements this functional: $\omega(x) = \tau(\mathcal{F}_{sel} \cdot x)$ for $x \in L(\Gamma_\mathcal{K})$. By uniqueness of the trace, $\mathcal{F}_{sel} = \mathbf{1}$ (the density of the trace against itself, up to normalisation), and any density operator implementing a $\Gamma_\mathcal{K}$-equivariant, normalised, positive state collapses to this same operator. The operator is unique.

The conclusion is sharp: there is exactly one positive, normalised, $\check{\pi}_1$-equivariant, Zeno-invariant operator on $\mathcal{H}_\mathcal{K}$. Any putative "second Selection Operator" would have to violate at least one of: positivity, unit trace, Zeno invariance, or commutation with the $\check{\pi}_1$ action — but the action is precisely the holonomy that defines the topological identity of the Polaron, so commutation with it is the very meaning of "this is the operator of the Polaron." $\square$

Remark Y.4.3.A (Finite-resolution sanity check). At any finite resolution $n$ the knot group $G(\mathcal{K}_n)$ is finitely generated and the relevant Hilbert space slice $\mathcal{H}_{\mathcal{K},n}$ is finite-dimensional. The group von Neumann algebra at finite resolution sits inside the matrix algebra $M_{d_n}(\mathbb{C})$ for some $d_n < \infty$, where the i.c.c. condition does not hold (every conjugacy class in a finite group is finite). At that resolution $L_n := \rho_n(G(\mathcal{K}_n))''$ is a finite-dimensional factor — i.e., a Type I$_{d_n}$ matrix algebra — and uniqueness of $\mathcal{F}_{sel,n}$ follows from the elementary uniqueness of the normalised trace on a matrix algebra. Type II$_1$ status is not a consequence of compact profinite inverse-limit notation alone. It appears only after passing to the represented countable discrete group/quotient used in §Y.2.5 and after the i.c.c., unique-trace/trivial-amenable-radical, and primary-representation hypotheses are satisfied. Proposition Y.1 (iii) holds at each finite resolution by the matrix-algebra trace argument; the infinite-resolution statement is conditional on the separate operator-algebraic hypotheses, not an automatic limit theorem.

---

Y.5 Corollaries

Y.5.1 Phenomenal Unity as Topological Irreducibility

Corollary Y.5.1 (Phenomenal Unity, conditional on the full O.18 + finite-quotient meridian trace + Anderson-Putnam extension + O.35 + O.36 + O.32 stack) [Tier 3 conditional for the trefoil-knot case pending $H_{Y.1}$ + Tier 3 phenomenal-identification step; Tier 3 conditional for the general prime-knot extension — modulo the gaps of §Y.6]. Under the topological identification of phenomenal unity with the existence of a unique Selection Operator (V1 Ch11 §11.12.3 and Ch16 §16.2.7), a DMC-gated Identity Polaron instantiates exactly one formally-unified Selection Operator. The C*-algebraic argument establishes formal irreducibility (non-factorizability of the Selection-Operator algebra) conditional on the fixed-slice complement reduction; the additional step from formal unity to phenomenal unity rests on the Russellian-monist identification (Ch16 §16.2.2 Position B) that the formal irreducibility carries an intrinsic experiential aspect. That phenomenal-identification step is a substantive philosophical commitment (Tier 3), not a theorem; the formal-unity result is Tier 3 conditional for the trefoil-knot Identity Polaron until the finite-level 4-manifold clarification closes, and Tier 3 conditional for the general prime-knot extension.

The argument is immediate from Proposition Y.1 (iii) combined with the identification of $\mathcal{F}_{sel}$ as the operator realizing a single act of phenomenal selection per Zeno cycle (Chapter 16 §16.2.2), conditional on the full closure stack: (a) finite-level fixed-slice reduction $H_{Y.1}$ / O.18, (b) the unitary finite-quotient meridian trace construction, (c) the Anderson-Putnam-to-knot-complement extension, (d) the direct-product/operator-factor bridge Y.4.2, (e) the unique-trace / trivial-amenable-radical and primary-representation assumptions O.35/O.36, (f) KO-dim-6 sign verification O.32, plus the Tier 3 phenomenal-identification bridge. The corollary supplies the formal-resolution component of the Combination Problem (Chapter 16 §16.2.7) only after that stack is established: there is no "summing of micro-experiences" because the Hilbert space of the Polaron admits no equivariant tensor factorization. Mereological Nihilism is preserved: the Polaron is not assembled from parts; it is a single topological restriction of the 6D Field, and the irreducibility of its 3D-projected knot is the formal statement of that indivisibility.

Y.5.2 The DMC Aggregate–Polaron phase boundary is topologically sharp

Corollary Y.5.2 (Sharp phase boundary) [Tier 3 conditional for the trefoil-knot case pending $H_{Y.1}$; Tier 3 conditional on O.18 + Y.6.3a/b for the general prime-knot extension]. The transition from the DMC-failing aggregate regime ($\mathcal{H}$ factorizable, $\mathcal{F}_{sel}$ non-unique) to the DMC-passing Polaron regime ($\mathcal{H}_\mathcal{K}$ non-factorizable, $\mathcal{F}_{sel}$ unique) is topologically discrete once the finite-level knot is identified with a prime slice-knot: it corresponds to a change in the prime-decomposition type of the framed-ribbon knot $\mathcal{K}_n$ at each finite level $n$, which is a discrete invariant of the slice embedding.

This corollary formalizes V1 Ch11 §11.12.5: the topological phase boundary is not gradual. The discreteness arises because knot type is a topological invariant taking values in a discrete set (the prime-knot table), and the inverse-limit structure preserves discreteness at each finite level.

Y.5.3 Compatibility with Class 0 patterns

Corollary Y.5.3 (Class 0 systems have no $\mathcal{F}_{sel}$) [Tier 2 topological/operator-algebraic + Tier 3 Polaron-Unity-bridge conditional on Y.6.3 closure stack]. A Class 0 pattern (V1 Ch11 §11.4.1) — i.e., a configuration of thermally-decohered defects in $\Sigma_\infty$ — fails the primeness condition of Definition Y.2.3 condition (3) at every finite resolution. Consequently, its projected configuration is a split link $\mathcal{L}_n = \mathcal{K}_n^{(1)} \sqcup \mathcal{K}_n^{(2)} \sqcup \cdots$ at each level, and the corresponding fundamental group is a non-trivial free product of factor knot groups by van Kampen's theorem applied to the disjoint complements. The Hilbert space factorizes, and no unique $\mathcal{F}_{sel}$ exists.

This corollary inherits the same conditional bridge as Ch16:209 / Ch11:371: the absence of $\mathcal{F}_{sel}$ in Class 0 systems is structurally argued from split-link topology and Hilbert-factor non-uniqueness, but the Combination Problem reply depends on the full closure stack: O.18 fixed-slice reduction + finite-quotient meridian trace + Anderson-Putnam-to-knot-complement extension + O.35 trivial-amenable-radical + O.36 primary representation hypothesis + O.32 KO-dimension sign verification.

This is the rigorous formulation of "a rock has no unity" (V1 Ch11 §11.12.4): the contrast between aggregate and Polaron is a contrast between split and prime knot types in the augmented configuration space.

---

Y.6 Remaining gap (Lemma Y.3.4) — modular reduction list

The argument above closes Lemmata Y.3.2 and Y.3.3 in their stated domains. Lemma Y.3.5 is a conditional bridge once primary-representation status is supplied (O.36). Lemma Y.3.1 and the structural assembly of Proposition Y.1 (i)–(iii) remain conditional on the fixed-slice reduction $H_{Y.1}$ because $M_n \cong S^1 \times \mathbb{R}^3$ is a four-dimensional product. The second bounded gap is Lemma Y.3.4: the identification of the physical phason Hilbert space of the condensate with the canonical GNS Hilbert space of $\check{\pi}_1(\widetilde{\Sigma}_\infty \setminus \mathcal{K})$ under the regular representation.

The gap is bounded and reducible to a finite-dimensional verification:

The disposition of the proposition is therefore fixed by the finite-level dimensional clarification plus the Y.4.2 direct-product/operator-factor gap, the O.35 unique-trace/trivial-amenable-radical condition, and the O.36 primary-representation condition: Trefoil-case Polaron Unity is Tier 3 conditional pending O.18 fixed-slice reduction + finite-quotient meridian trace + represented-progroup direct-product/operator-factor closure, plus O.35 trivial-amenable-radical and O.36 primary representation; the general-prime extension remains Tier 3 conditional on O.18 Anderson-Putnam-to-knot-complement extension + canonicity of K -> A_K + finite-quotient meridian trace construction, plus O.35, O.36, and O.32 KO-dimension sign verification.

[!IMPORTANT] Formal disposition. The trefoil meridian trace computation in §Y.6.3a remains a finite-matrix trace surrogate, but it is not by itself an unconditional proof of Proposition Y.1 because Lemma Y.3.1 used a 3-manifold complement theorem on the four-dimensional product $M_n$, the meridian-trace step still requires a finite-level unitary representation/trace model rather than a quotient proof for the infinite source algebra, and §Y.4.2 still needs a direct-product/operator-factor obstruction. The missing premises are the fixed-slice reduction $H_{Y.1}$, the finite-level meridian trace construction, and the represented-progroup direct-product closure. The general prime case additionally carries the gaps documented in §Y.6.3b: (A) extension of Anderson-Putnam 1998 substitution-tiling C*-algebra construction from $\mathbb{R}^n$ tile spaces to $S^3 \setminus K$ knot-complement tile spaces (no published precedent); (B) canonicity of the assignment $K \mapsto A_K$ across choice of substitution presentation; and (C) a finite-level meridian trace construction, with the Y.4.2 direct-product/operator-factor theorem now added as (D) (Open Problem O.18). The disposition for V1 Ch11 §11.12.3 maps as:

• Proposition 11.12.A (Polaron Unity): Trefoil-case Polaron Unity is Tier 3 conditional pending O.18 fixed-slice reduction + finite-level meridian trace construction + direct-product/operator-factor closure, plus the O.35 trivial-amenable-radical/unique-trace condition and the O.36 primary-representation condition; the general-prime extension remains Tier 3 conditional on O.18 Anderson-Putnam-to-knot-complement extension + canonicity of K -> A_K + finite-level meridian trace construction + direct-product/operator-factor closure, plus O.35, O.36, and O.32 KO-dimension sign verification.
• Proposition 11.12.A (Polaron Unity) — general prime case: Tier 3 conditional on closure of (A) + (B) + (C) + (D). Applies to the strictly larger claim of Phenomenal Unity for arbitrary prime-knot Polarons.
• Corollary Y.5.1 (Phenomenal Unity): inherits the same conditional disposition — Tier 3 conditional for trefoil-class Identity Polarons pending $H_{Y.1}$; Tier 3 conditional for the general-prime extension.

Effective load-bearing claim. The GCT consciousness substrate identification (V1 Ch17 §17.3) commits to the trefoil-knot Identity Polaron, but the proof that this trefoil defect has the required slice-knot complement and the represented-progroup direct-product/operator-factor step are explicitly registered as O.18 sub-closures. The general-prime extension is a forward-looking structural claim conditional on (A) + (B) + (C) + (D); it is not load-bearing for the framework's primary consciousness predictions, which rest on the trefoil case.

[!NOTE] Scope of the structural closure. The Chapter 11 §11.12.3 statement of Proposition 11.12.A is modularly reduced but not closed: the van Kampen and Wirtinger steps require the fixed-slice complement reduction $H_{Y.1}$, the tensor-factor step requires the Y.4.2 direct-product/operator-factor closure, and the trefoil operator-algebraic trace identity is supplied by §Y.6.3a only under the O.35 unique-trace/trivial-amenable-radical condition. Lemma Y.3.5 is established only as a conditional bridge from non-factorizability to factoriality after primary-representation status is supplied (O.36). The remaining open steps are the $H_{Y.1}$ finite-level dimensional clarification, the Y.4.2 direct-product/operator-factor theorem, O.35, O.36, and, for the general-prime extension, the physical phason Hilbert-space/GNS identification plus the finite-quotient meridian trace construction of §Y.6.3b.

Y.6.5 References for the open step

The most direct path to closing Y.6.3 uses the following published results, all of which are independently established:

1. Cuntz, J. & Krieger, W., "A class of C*-algebras and topological Markov chains," Invent. Math. 56 (1980), 251–268 — supplies the finite-subshift/topological-Markov-chain analogue for C*-algebraic trace bookkeeping. The AKN icosahedral tiling algebra is treated through tiling groupoid/substitution machinery rather than as a canonical Cuntz-Krieger algebra.
2. Putnam, I. F., "C*-algebras from substitution tilings," in Integers, Polynomials and Quivers, Adv. Stud. Pure Math. 26, 2000 — provides the GNS construction of the canonical trace on substitution-tiling C*-algebras.
3. Anderson, J. E. & Putnam, I. F., "Topological invariants for substitution tilings and their associated C*-algebras," Ergod. Th. Dynam. Sys. 18 (1998), 509–537 — provides substitution-tiling C*-algebra and K-theory tools. It does not by itself supply the trefoil meridian trace apparatus or the finite-level knot-complement reduction; the meridian subalgebra, trace matrix, and finite quotient computation are GCT-specific open/finite constructions tracked in H_Y.1/O.18.
4. Ribes, L. & Zalesskii, P., Profinite Groups, 2nd ed., Springer 2010 — supplies the profinite Bass–Serre theory used in Lemma Y.3.3 and, separately, supplies the structural framework in which the inverse-limit construction of $\check{\pi}_1$ is identified with the action on the profinite Bass–Serre tree.

The composition of (1)–(3) supplies the toolkit for the finite meridian trace identity for the trefoil case, but the trefoil meridian trace computation remains conditional on the explicit GCT finite-level construction: the meridian subalgebra is to be realized as the C*-subalgebra generated by three unitaries whose relations are the Wirtinger relations of the trefoil, and the regular trace must be computed on that finite subalgebra after the $H_{Y.1}$ complement-reduction step is closed. The extension to general prime Polaron knots is conditional on the open gaps registered in §Y.6.3b: (A) the Anderson-Putnam-style C*-algebra extension from $\mathbb{R}^n$ tile spaces to substitution structures on $S^3 \setminus K$ knot complements, (B) canonicity of the assignment $K \mapsto A_K$ across choice of substitution presentation, and (C) a finite-quotient meridian trace construction (Open Problem O.18).

Y.6.3a Conditional reduction of Y.6.3 for the trefoil case via dimension-group trace-uniqueness

The key structural fact is the uniqueness of the canonical trace on the AF core / dimension group of the Cuntz–Krieger algebra $\mathcal{O}_A$ of the trefoil substitution. For the trefoil finite model used here, the substitution matrix is explicitly

$$A_{\mathrm{trefoil}} = \begin{pmatrix} 1 & 1\\ 1 & 0 \end{pmatrix},$$

the Fibonacci substitution matrix with Perron–Frobenius eigenvalue $\phi = (1+\sqrt{5})/2$. This is the finite GCT trefoil substitution model used for the meridian-trace reduction; it is not imported as a general Anderson–Putnam theorem for arbitrary knot complements. The Cuntz–Krieger algebra $\mathcal{O}_A$ is therefore simple, and — since $A$ is irreducible and not a permutation matrix — purely infinite (Cuntz–Krieger 1980 Thm 2.14 + Cor 2.15). A purely infinite simple C*-algebra admits no tracial state in the unital normalised sense (the existence of properly infinite projections is incompatible with $\tau(\mathbf{1}) = 1$ for any trace). The trace structure that the trefoil-case closure of Lemma Y.3.4 actually requires therefore lives not on $\mathcal{O}_A$ itself but on its AF core / dimension group: the gauge-fixed-point subalgebra $\mathcal{F}_A = \mathcal{O}_A^{\mathbb{T}}$ is an AF C*-algebra whose ordered $K_0$ group, the dimension group of the substitution dynamics, is the inductive limit $K_0(\mathcal{F}_A) \cong \mathbb{Z}[\phi]$ (Putnam 2000 §5 — Putnam's "trace on $\mathcal{O}_A$ via the Perron eigenvector" construction is, more precisely, the unique trace on the AF core $\mathcal{F}_A$ paired with the Perron eigenvector in the dimension group). The Perron–Frobenius eigenvector of $A$ supplies a unique state on $K_0(\mathcal{F}_A) \cong \mathbb{Z}[\phi]$ — equivalently, a unique trace on the AF core. The dual KMS structure on $\mathcal{O}_A$ itself is the unique KMS state at inverse temperature $\beta = \log\phi$ for the gauge action (Ch07 §7.2.2 records this disposition correctly).

Let $B \subset \mathcal{O}_A$ denote the meridian sub-C*-algebra generated by the three Wirtinger unitaries $m_1, m_2, m_3$ of the trefoil and the unit $\mathbf{1}$. The trace step needed here is a finite-level unitary C*-representation statement: construct either (i) an explicitly truncated meridian relation algebra $B_N$ with a unitary representation $\pi_N:B_N\to M_n(\mathbb{C})$, or (ii) a finite-representation family whose normalised traces converge to the AF-core dimension-group state on the finite relation set used by the trefoil computation. A single finite-dimensional representation cannot be faithful to the infinite source algebra; the standard $SL(2,\mathbb{Z})$ matrices used for the trefoil group relation therefore supply only a finite-matrix surrogate, not the required trace-descent proof.

Conditional claim. If such a finite-level unitary representation/trace model is supplied, with $\mathbb{E}_{\text{Zeno}}$ the Zeno conditional expectation of Definition Y.2.6 and $\tau_n=\mathrm{Tr}/n$ the normalised matrix trace on the represented finite algebra, then $\tau_n\circ\pi_N\circ\mathbb{E}_{\text{Zeno}}=\tau_n\circ\pi_N$ on the represented relation set provided the expectation is trace-preserving on the represented diagonal subalgebra. This is an elementary finite-dimensional trace statement once the finite-level model exists; the existence of that model is the load-bearing open construction. The trace-descent step also inherits the O.35 hypotheses: trivial amenable radical / unique-trace control is required before the finite-level trace can be promoted beyond the trefoil surrogate.

Numerical verification in GCT_Physics_Engine/src/protocol_o18_trefoil_meridian_trace.py checks the trace identity on a 2-dimensional finite-matrix surrogate and verifies conjugation-invariance of the normalised trace at $<10^{-12}$ precision. The protocol is useful as a sanity check on the algebraic trace formula, but it does not close the trefoil meridian trace sub-step. Tier disposition: the trefoil meridian-trace computation is Tier 3 conditional pending construction of a finite-level unitary representation/trace model for the meridian relation set of $\pi_1(S^3\setminus K_{\text{trefoil}})$, in addition to the fixed-slice complement and direct-product/operator-factor closures tracked under O.18 and the O.35 unique-trace / trivial-amenable-radical hypotheses required for trace descent.

Y.6.3b Conditional extension to general prime Polaron knots [Tier 3 conditional on Anderson-Putnam-to-knot-complement extension]

The trefoil trace computation of §Y.6.3a is conditional on the slice-knot complement reduction: the Cuntz-Krieger algebra $\mathcal{O}_A$ with $A$ the $2\times 2$ Fibonacci matrix has Perron eigenvalue $\phi$, is purely-infinite simple (so admits no tracial state itself), but its AF core $\mathcal{F}_A = \mathcal{O}_A^{\mathbb{T}}$ has dimension group $K_0 \cong \mathbb{Z}[\phi]$ on which the Perron eigenvector supplies the unique trace (Putnam 2000 §5). The additional trefoil-specific trace closure requires a finite-level unitary representation/trace model for the meridian relation set; the finite $M_2(\mathbb{C})$ surrogate is not enough. Extension to general prime Polaron knots requires constructing an Anderson-Putnam-style substitution C*-algebra from the knot complement $S^3 \setminus K$, not from a tiling of $\mathbb{R}^n$. Anderson-Putnam (1998) construct substitution C*-algebras from substitution tilings of $\mathbb{R}^n$; the extension of their machinery to substitution structures on a 3-manifold-with-boundary (specifically, a knot complement in $S^3$) has no published precedent we can cite. Four distinct gaps therefore separate the trefoil trace computation from a full general-prime proof:

(A) Construction gap. An Anderson-Putnam-style C*-algebra on the knot complement $S^3 \setminus K$ — analogous to the Anderson-Putnam C*-algebra on $\mathbb{R}^n$ tile spaces but for compact 3-manifolds with toroidal boundary — has not been constructed in published literature. Whether such a construction exists, and whether it preserves the AF-core dimension-group trace structure used in the trefoil case, is an open extension of Anderson-Putnam 1998 from $\mathbb{R}^n$ to $S^3 \setminus K$ tile spaces.

(B) Canonicity gap. Even assuming (A) is supplied, the assignment $K \mapsto A_K$ across choice of substitution presentation is the residual canonicity sub-question registered as Open Problem O.18.

(C) Finite-level ambient-type gap. The complement theorem used in Lemma Y.3.1 is a 3-manifold theorem. Applying it inside $M_n = S^1 \times \mathbb{R}^3$ requires the fixed-slice hypothesis $H_{Y.1}$ or a genuine 4-manifold complement theorem. This is registered as a sub-closure of Open Problem O.18.

(D) Direct-product/operator-factor gap. The free-product indecomposability of Lemma Y.3.2 does not prove the direct-product theorem needed for the tensor-factor step in §Y.4.2. Closure requires a theorem that any non-trivial $\check{\pi}_1$-equivariant tensor factor of the represented phason Hilbert space would induce a genuine direct-product factor of the represented profinite knot group, and that the relevant progroup has no such factor after (A)-(C) are supplied.

The structural chain "prime knot $\to$ primitive AKN $\to$ Perron-Frobenius dimension-group state on the AF core $\to$ finite-quotient meridian trace identity $\to$ represented-progroup direct-product/operator-factor theorem" is sound given (A) + (B) plus a trace-bearing finite quotient for the meridian representation and the direct-product/operator-factor theorem (D). Engine verification: GCT_Physics_Engine/src/protocol_y6_3b_polaron_unity_general_prime.py confirms the primitive-matrix part of the closure chain on representative primitive non-negative integer matrices of sizes 2–4 — the engine does not implement the per-knot AKN-matrix construction (gap A), the canonicity argument (gap B), the universal finite-quotient meridian trace construction, or the direct-product/operator-factor theorem; it verifies the matrix-theoretic input given a primitive matrix.

Tier disposition. Trefoil-case Polaron Unity is Tier 3 conditional pending resolution of the App Y finite-level 4-manifold knot-complement clarification and the Y.4.2 direct-product/operator-factor closure (both registered as sub-closures of Open Problem O.18); the general-prime extension remains Tier 3 conditional on Anderson-Putnam-to-knot-complement extension, canonicity of K -> A_K, finite-quotient meridian trace construction, direct-product/operator-factor closure, and KO-dim-6 sign verification (O.32). Corollary Y.5.1 (Phenomenal Unity) inherits this disposition.

Effective scope of the Polaron Unity Proposition in this manuscript. Where the Identity Polaron is identified with a trefoil-knot defect (the canonical GCT ansatz, V1 Ch11 §11.12.3 + Ch07 §7.3.3), the AF-core trace identifies the correct trace-bearing dimension group, while the finite-matrix computation of §Y.6.3a remains a surrogate pending a finite-level unitary representation/trace model for the meridian relation set. The proposition as a whole remains conditional on that trace construction, the fixed-slice finite-level complement reduction, and the Y.4.2 direct-product/operator-factor closure. Where the framework requires Phenomenal Unity for arbitrary prime-knot Polarons (a strictly larger claim), the Proposition applies conditionally on closure of (A) + (B) + (C) + (D).

---

Y.7 Summary of Tier dispositions

Trefoil-case Polaron Unity is Tier 3 conditional pending resolution of the App Y finite-level 4-manifold knot-complement clarification and the Y.4.2 direct-product/operator-factor closure (registered as sub-closures of Open Problem O.18), plus O.35 and O.36; the general-prime extension remains Tier 3 conditional on Anderson-Putnam-to-knot-complement extension, canonicity of K -> A_K, finite-quotient meridian trace construction, direct-product/operator-factor closure, unique-trace property, primary representation, and KO-dim-6 sign verification (O.32).