{"id":"arxiv/2609.09535","url":"https://arxiv.org/abs/2609.09535","tags":["math.OA"],"score":0,"title":"A simple C$^*$-algebra which is not $K_1$-injective","domain":"math.OA","source":"arxiv","authors":["Andrew S. Toms"],"reviews":0,"subject":"math.OA","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-08","reactions":{}}