Vanishing and non-vanishing for the first $L^p$-cohomology of groups
Author(s) -
Marc Bourdon,
Florian Martin,
Alain Valette
Publication year - 2005
Publication title -
commentarii mathematici helvetici
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.603
H-Index - 46
eISSN - 1420-8946
pISSN - 0010-2571
DOI - 10.4171/cmh/18
Subject(s) - mathematics , combinatorics , cohomology , exponent , finitely generated abelian group , order (exchange) , group (periodic table) , discrete group , pure mathematics , physics , philosophy , linguistics , finance , quantum mechanics , economics
We prove two results on the first $L^p$-cohomology $\overline{H}^{1}_{(p)}(\Gamma)$ of a finitely generated group $\Gamma$: \begin{enumerate} \item [1)] If $N\subset H\subset\Gamma$ is a chain of subgroups, with $N$ non-amenable and normal in $\Gamma$, then $\overline{H}^{1}_{(p)}(\Gamma)=0$ as soon as $\overline{H}^{1}_{(p)}(H)=0$. This allows for a short proof of a result of L\"uck \cite{LucMatAnn}: if $N\lhd\Gamma$, $N$ is infinite, finitely generated as a group, and $\Gamma/N$ contains an element of infinite order, then $\overline{H}^{1}_{(2)}(\Gamma)=0$. \item [2)] If $\Gamma$ acts isometrically, properly discontinuously on a proper $CAT(-1)$ space $X$, with at least 3 limit points in $\partial X$, then for $p$ larger than the critical exponent $e(\Gamma)$ of $\Gamma$ in $X$, one has $\overline{H}^{1}_{(p)}(\Gamma)\neq 0$. As a consequence we extend a result of Shalom \cite{Sha}: let $G$ be a cocompact lattice in a rank 1 simple Lie group; if $G$ is isomorphic to $\Gamma$, then $e(G)\leq e(\Gamma)$. \end{enumerate}
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom