A simple C$^*$-algebra which is not $K_1$-injective
We exhibit a simple unital infinite-dimensional C$^*$-algebra $A$ which is not $K_1$-injective, i.e., the canonical map $ U(A)/U_0(A)\longrightarrow K_1(A)$ is not injective. This phenomenon is well known in the non-simple case. Indeed, a natural example is the generator $u$ of $π_4(U(2))\cong\mathbb{Z}/2$, and we use exactly this example as the seed of our construction. The construction proceeds by developing a higher-rank matrix trapping technique in homogeneous algebras generalizing the machinery of Villadsen in higher stable rank simple C$^*$-algebras. A hypothetical homotopy from the…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.09535
curl -X POST /api/v1/records/arxiv/2609.09535/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.09535/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'