Geometric Property (T) and Positive Cones of Real Algebraic Roe Algebras

Abstract

We give a characterization of geometric property (T) for a coarse disjoint union of finite graphs with bounded degree using the idea of noncommutative real algebraic geometry. In the proof, we define a $\ast$-subalgebra $I_u[X]$ of real algebraic Roe algebra ${\mathbb{R}}_u[X]$ over a graph $X$ with bounded degree. Then we show that $I_u[X]$ contains the Laplacian $\Delta$ as an order unit with respect to the positive cone ${\sum }^2{I}_u[X]$ which consists of sums of hermitian squares.

In the proof of the Lemma 5.3, I implicitely assumed ϕ(1-u)=\lim \sum ϕ(1-u_m), but it was incorrect