Tootfinder

This https://arxiv.org/abs/2503.12737 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Structural properties of reduced $C^*$-algebras associated with higher-rank lattices
We present the first examples of higher-rank lattices whose reduced $C^{*}$-algebras satisfy strict comparison, stable rank one, selflessness, uniqueness of embeddings of the Jiang--Su algebra, and allow explicit computations of the Cuntz semigroup. This resolves a question raised in recent groundbreaking work of Amrutam, Gao, Kunnawalkam Elayavalli, and Patchell, in which they exhibited a large class of finitely generated non-amenable groups satisfying these properties. Our proof relies on qua…

When you want to evaluate a new framework do you have sort of a “petclinic” project that you are using as a foundation? If yes, could you share what the project does?