Boundary values, random walks, and \(\ell^p\)-cohomology in degree one (Q902294)

Summary: The vanishing of reduced \(\ell^2\)-cohomology for amenable groups can be traced to the work of \textit{J. Cheeger} and \textit{M. Gromov} [Topology 25, 189--215 (1986; Zbl 0597.57020)]. The subject matter here is reduced \(\ell^p\)-cohomology for \(p\in]1,\infty[\), particularly its vanishing. Results for the triviality of \(\underline{\ell^pH}^1(G)\) are obtained, for example: when \(p\in]1,2]\) and \(G\) is amenable; when \(p\in]1,\infty[\) and \(G\) is Liouville (e.g. of intermediate growth). { }This is done by answering a question of \textit{P. Pansu} [Comment. Math. Helv. 83, No. 1, 327--357 (2008; Zbl 1142.53023), {\S}1.9] for graphs satisfying certain isoperimetric profile. Namely, the triviality of the reduced \(\ell^p\)-cohomology is equivalent to the absence of non-constant harmonic functions with gradient in \(\ell^q\) (\(q\) depends on the profile). In particular, one reduces questions of non-linear analysis (\(p\)-harmonic functions) to linear ones (harmonic functions with a very restrictive growth condition).