Finite-dimensional representations constructed from random walks

DOI10.4171/CMH/444MaRDI QIDQ1989596zbMATH OpenFDO

Authors Anna Erschler, Narutaka Ozawa

Publication date 26 October 2018

Published in Commentarii Mathematici Helvetici (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1609.08585

zbMATH Keywords

amenable groupscentral limit theoremharmonic cocycleKazhdan's property \(T\)orthogonal representationsrandom walksShalom's propertytransition probabilities

Mathematics Subject Classification ID

Unitary representations of locally compact groups (22D10) (L^p)-spaces and other function spaces on groups, semigroups, etc. (43A15) Probability measures on groups or semigroups, Fourier transforms, factorization (60B15) Sums of independent random variables; random walks (60G50)

Abstract: Given a $1$-cocycle $b$ with coefficients in an orthogonal representation, we show that any finite dimensional summand of $b$ is cohomologically trivial if and only if $|b(X_n){|}^2/n$ tends to a constant in probability, where $X_n$ is the trajectory of the random walk $(G,mu)$. As a corollary, we obtain sufficient conditions for $G$ to satisfy Shalom's property $H_{mathrmFD}$. Another application is a convergence to a constant in probability of $m{u}^{\ast n}(e)-m{u}^{\ast n}(g)$, $nggm$, normalized by its average with respect to $m{u}^{\ast m}$, for any finitely generated amenable group without infinite virtually Abelian quotients. Finally, we show that the harmonic equivariant mapping of $G$ to a Hilbert space obtained as an $U$-ultralimit of normalized $m{u}^{\ast n}-gm{u}^{\ast n}$ can depend on the ultrafilter $U$ for some groups.

Review text

Summary: Given a 1-cocycle \(b\) with coefficients in an orthogonal representation, we show that every finite dimensional summand of \(b\) is cohomologically trivial if and only if \(\|b(X_n)\|^2/n\) tends to a constant in probability, where \(X_n\) is the trajectory of the random walk \((G,\mu)\). As a corollary, we obtain sufficient conditions for \(G\) to satisfy Shalom's property \(H_{\mathrm{FD}}\). Another application is a convergence to a constant in probability of \(\mu^{\ast n}(e)-\mu^{\ast n}(g)\), \(n\gg m\), normalized by its average with respect to \(\mu^{\ast m}\), for any finitely generated infinite amenable group without infinite virtually abelian quotients. Finally, we show that the harmonic equivariant mapping of \(G\) to a Hilbert space obtained as an \(U\)-ultralimit of normalized \(\mu^{\ast n}-g\mu^{\ast n}\) can depend on the ultrafilter \(U\) for some groups.

Recommendations

• Random walks on finite groups converging after finite number of steps.
• Mixing, malnormal subgroups and cohomology in degree one
• Convergence of representation averages and of convolution powers
• Some remarks on the random walk on finite groups
• Shalom's property \(H_{\mathrm{FD}}\) and extensions by \(\mathbb{Z}\) of locally finite groups

Cited in

(11)

• Isoperimetric inequalities, shapes of Følner sets and groups with Shalom's property \(H_{\mathrm{FD}}\)
• On the vanishing of reduced 1-cohomology for Banach representations
• Ergodic theory of affine isometric actions on Hilbert spaces
• Law of large numbers for the drift of the two-dimensional wreath product
• Superrigidity of actions on finite rank median spaces
• Shalom's property \(H_{\mathrm{FD}}\) and extensions by \(\mathbb{Z}\) of locally finite groups
• Conditioned one-way simple random walk and combinatorial representation theory
• Harmonic functions on compactly generated groups
• scientific article; zbMATH DE number 2212129 (Why is no real title available?)
• Asymptotic behaviors of random walks on countable groups
• A quantitative Neumann lemma for finitely generated groups

This page was built for publication: Finite-dimensional representations constructed from random walks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1989596)