A substitute for Kazhdan's property (T) for universal nonlattices
type: Item
instance of: scholarly article
title: A substitute for Kazhdan's property (T) for universal nonlattices
author: Narutaka Ozawa
published in: Analysis \& PDE
publication date: 2024-09-30T00:00:00Z
review text: Let \(R\) be a commutative finitely generated ring. If \(R\) has a unit, then \(SL_n(R)\) with \(n\ge 3\) is a typical example of a group having the Kazhdan's property (T). Moreover, the universal lattice \(EL_n(R)\) possesses it as well if \(n\ge 3\); this lattice is defined as the subgroup in \(SL_n(R)\) generated by the elementary matrices \(E_{ij}(r)\), \(1\le i,j\le n\), \(r\in R\) (this matrix has \(r\) in the \((i,j)\) coordinate and 0 elsewhere).\N\NIf \(R\) is not unital, situation changes. Let \(R = \mathbb{Z}\langle t_1,\dots, t_d\rangle\) be the space of polynomials in \(d\) variables without free term, then \(EL_n(R)\) has no Kazhdan's property.\N\NThe aim of the paper is to prove a weaker property of this group which is however similar to the property (T). To state it, let us recall first the definition of the property (T) itself. Let \(\Gamma\) be a discrete group with a finite set of generators \(S\). Then \(\Gamma\) has property (T) if for every unitary representation \(\pi\) on a Hilbert space \(H\) the existence of \(v\in H\) and \(\delta>0\) such that \(\| \pi(s)v-v\|<\delta \|v\|\), \(s\in S\), implies that \(\pi\) has a nonzero invariant vector.\N\NNow, Corollary A of the article states that for \(n\) large enough, there exists \(\delta>0\) such that every orthogonal representation of \(EL_n(R)\) on a Hilbert space \(H\) having a vector \(v\in H\) with the property \(\|v - \pi( E_{ij}(t_k)) v\| < \delta\|v\|\) has also a ``more invariant'' nonzero vector \(w\), that is, such that \N\[\N\lim_{l\to\infty} \max_{i,j,k} \| w-\pi(E_{ij}(t_k)) \|=0. \N\]\NThe methods develop earlier results of the author characterizing property (T) in terms of sums of squares. In the real group algebra \(\mathbb{R}[\Gamma]\), positive elements are described as sums of squares: \N\[\N\Sigma^2\mathbb{R}[\Gamma] = \{ \sum \xi_i^* \xi_i: \xi_i\in\mathbb{R}[\Gamma] \}.\N\]\NThe combinatorial Laplcaian is defined as \N\[\N\Delta = \frac12 \sum_{s\in S} (1-s)^*(1-s).\N\]\NA…
Mathematics Subject Classification ID: 22D10
Mathematics Subject Classification ID: 22D15
Mathematics Subject Classification ID: 46L89
zbMATH DE Number: 7920259
zbMATH Keywords: Kazhdan's property (T)
zbMATH Keywords: real group algebras
zbMATH Keywords: sum of hermitian squares
MaRDI profile type: MaRDI publication profile
cites work: Q3502037
cites work: Q4539490
cites work: Norm estimates of almost Mathieu operators
cites work: Q5052984
cites work: Q5453545
cites work: A Representation Theorem for Archimedean Quadratic Modules on ∗-Rings
cites work: Property \((T)\) for noncommutative universal lattices
cites work: Growth and expansion in algebraic groups over finite fields
cites work: \(\Aut(\mathbb{F}_5)\) has property \((T)\)
cites work: On property (T) for \(\Aut(F_n)\) and \(\mathrm{SL}_n(\mathbb{Z})\)
cites work: Universal lattices and property \(\tau\)
cites work: Q5743327
cites work: IS AN IRNG SINGLY GENERATED AS AN IDEAL?
cites work: Real closed separation theorems and applications to group algebras
cites work: Kazhdan’s Property (T) via Semidefinite Optimization
cites work: About the Connes embedding conjecture
cites work: NONCOMMUTATIVE REAL ALGEBRAIC GEOMETRY OF KAZHDAN’S PROPERTY (T)
cites work: Non-commutative Real Algebraic Geometry - Some Basic Concepts and First Ideas
cites work: Rigidity of commensurators and irreducible lattices
cites work: Harmonic analysis, cohomology, and the large-scale geometry of amenable groups
cites work: Q5490950
DOI: 10.2140/APDE.2024.17.2541
description: scientific article; zbMATH DE number 7920259