Coarse cohomology and \(l_p\)-cohomology (Q1382113)

Let \(G\) be a connected, undirected infinite graph with uniformly bounded vertex degrees. For any \(k\in\mathbb{N}\) and \(k=\infty\) the \(k\)th reduced and unreduced \(\ell_p\)-cohomologies for those graphs are defined: \(HX^k_{(p)}(G)\) and \(\overline{HX}^k_{(p)}(G)\). \(HX^1_{(p)}(G)\) and \(\overline{HX}^1_{(p)}(G)\) are the same as Pansu's coarse cohomologies in [\textit{P. Pansu}, Rend. Semin. Mat., Torino Fasc. Spec., 95-120 (1989; Zbl 0723.53023)]. The quasi-isometry invariance of all cohomologies above is proved. The connection between coarse and simplicial \(\ell_p\)-cohomologies is investigated. The singular Cheeger-Gromov's \(\ell_2\)-cohomologies \(\overline H^*_{(2)}(\Gamma)\) for discrete groups are considered and the following theorem is proved: if \(\Gamma\) is finitely generated and torsionfree, then \(\overline H^*_{(2)}(\Gamma)\cong\overline{HX}^*_{(2)} (C_\Gamma)\), where \(C_\Gamma\) is a Cayley graph of \(\Gamma\). The nonreduced \(\ell_p\)-cohomologies of \(C_\Gamma\) is interpreted in terms of group cohomologies with coefficients: \(HX^k_{(p)}(C_\Gamma)\cong H^k(\Gamma, \ell_p(\Gamma))\).