{"id":"arxiv/2604.24738","url":"https://arxiv.org/abs/2604.24738","tags":["math.OA","math.FA","math.GR"],"score":0,"title":"Invariant trace simplices and relative property (T)","domain":"math.OA","source":"arxiv","authors":["Raz Slutsky"],"reviews":0,"subject":"math.OA","summary":"Let $α\\colon G\\curvearrowright A$ be an action of a countable discrete group on a separable unital $C^*$-algebra. We study the simplex $\\mathrm{T}(A)^G$ of $G$-invariant traces and ask when it is Bauer. Our main result is a noncommutative version of the Glasner-Weiss theorem: if $(G,H)$ has relative property (T) and the $H$-action on the von Neumann algebra of every extremal invariant trace is ergodic, that is, has only scalar fixed points, then $\\mathrm{T}(A)^G$ is Bauer. We give criteria for the ergodicity hypothesis and apply them to certain quasi-local permutation actions, generalized…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-27","reactions":{}}