Computable $K$-theory for C*-algebras II: AF algebras

Christopher J. Eagle, Isaac Goldbring, Timothy H. McNicholl

arXivarxiv/2602.06882Feb 6, 2026math.OAscore 0

We continue the study of the effective content of $K$-theory for C*-algebras, with a focus on AF algebras. We show that from a c.e. presentation of an AF algebra it is possible to compute a representation of the algebra as an inductive limit of finite-dimensional algebras. Using this, and an analogous result for dimension groups, we show that the computable $K_0$ functor provides a computable equivalence of categories between c.e. presentations of AF algebras and c.e. presentations of unital (scaled) dimension groups, giving an effective version of Elliott's classification theorem. We use…

SourceJSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/arxiv/2602.06882
curl -X POST /api/v1/records/arxiv/2602.06882/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2602.06882/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'