Uniqueness of Rank-Metric Completions of Bratteli Systems
arXiv:2609.12924
Abstract
Let be a unital ring equipped with a Sylvester matrix rank function $\rk$. A harmonic function on a Bratteli diagram defines a weighted matrix rank on the associated algebraic direct limit . We prove that, if is extreme and the total weight of blocks of any fixed bounded size tends to zero, then the rank completion of is isomorphic to $\mathcal M_{R,\rk}$, the rank completion of the direct system $\Mat_{2^k}(R)$ with connecting maps $x\mapsto\diag(x,x)$ and normalized ranks $2^{-k}\rk$. The isomorphism preserves the unital -algebra structure and the ranks on all rectangular matrices. The coefficient ring need not be regular, and the specified rank need not be induced from a regular ring. We recover factor-sequence uniqueness and construct corners of every prescribed rank in that are isomorphic to $\mathcal M_{R,\rk}$ with their normalized ranks. Examples show that the coefficient rank can affect the isomorphism type and that the completion can be non-regular and non-simple. For complex coefficients, the trace determined by gives a rank completion of the associated AF -algebra canonically isomorphic to the affiliated-operator ring of its GNS closure. The rank completion of the algebraic direct limit can be a proper subring of this ring.