Projections in reduced group C*-algebras with prescribed trace values in (0,1)
Building on OpenAI's preprint, we construct, for every real number $r\in(0,1)$, a finitely generated discrete group $G_r$ and a projection $e_r\in C_r^*(G_r)$ whose canonical trace is $r$. The construction encodes the geometry of expanders in the dynamics of a semidirect product of groups. For irrational $r$, the $K$-theory class $[e_r]$ is not in the image of the reduced Baum--Connes map. The groups $G_r$ have torsion and satisfy the maximal strong Novikov conjecture.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.35674
curl -X POST /api/v1/records/arxiv/2610.35674/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.35674/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'