math.GR — Group Theory
We present a simplified proof of the Polymath14 inequality, along with a new sharpness result.
math.DS — Dynamical Systems
Let be an infinite finitely generated group whose proper subgroups are finite. We prove that a positive Kazhdan constant uniform over all finite generating sets forces every unit vector in every representation without invariant vectors to have a cofinite displacement gap. For ergodic probability-measure-preserving actions this gives \[ \liminf_{g\to\infty}\mu(gA\mathbin\triangle A) \geq \ku(G)^2\mu(A)(1-\mu(A)), \] and hence Schmidt's Property~. A tensor-square argument also gives a uniform gap from modulus one for diagonal matrix coefficients. Conditional on the graded-diagram package underlying the Osin--Sonkin construction, the theorem shows that their infinite finitely generated simple ICC group of bounded exponent has Property~. We include a corrected, constant-tracked proof of the Osin--Sonkin deduction from that package and conclude with questions about Ozawa's quasifinite Kazhdan quotients.