NONCOMMUTATIVE REAL ALGEBRAIC GEOMETRY OF KAZHDAN’S PROPERTY (T)

It is well known that a finitely generated group ${\rm\Gamma}$ has Kazhdan’s property (T) if and only if the Laplacian element ${\rm\Delta}$ in $\mathbb{R}[{\rm\Gamma}]$ has a spectral gap. In this paper, we prove that this phenomenon is witnessed in $\mathbb{R}[{\rm\Gamma}]$. Namely, ${\rm\Gamma}$ has property (T) if and only if there exist a constant ${\it\kappa}>0$ and a finite sequence ${\it\xi}_{1},\ldots ,{\it\xi}_{n}$ in $\mathbb{R}[{\rm\Gamma}]$ such that ${\rm\Delta}^{2}-{\it\kappa}{\rm\Delta}=\sum _{i}{\it\xi}_{i}^{\ast }{\it\xi}_{i}$. This result suggests the possibility of finding new examples of property (T) groups by solving equations in $\mathbb{R}[{\rm\Gamma}]$, possibly with the assistance of computers.