Hyperbolicity and uniformly Lipschitz affine actions on subspaces of $L^1$
Extracted source text · arXiv 2207.14691
\documentclass[12pt, reqno]{amsart}
\usepackage[a4paper, centering, total={170mm,240mm}]{geometry}
% If your article includes graphics, uncomment this command.
%\usepackage{graphicx}
%\usepackage{graphics,graphicx}
%\usepackage{pstricks,pst-node,pst-tree}
%\usepackage{pgf,tikz}\usepackage{mathrsfs}\usetikzlibrary{arrows} %TikZ
\usepackage{amssymb,amsmath,latexsym,amsthm,amsfonts}
\usepackage{blindtext}
\usepackage{todonotes}
\usepackage{esint,dsfont}
%\usepackage[font=small]{caption}
\usepackage[colorlinks=true, linkcolor=blue, citecolor=purple, urlcolor=blue]{hyperref}
\def\R{{\mathbb R}}
\def\N{\mathbb{N}}
\def\C{\mathbb{C}}
\def\Z{\mathbb{Z}}
\def\D{\mathbb{D}}
\def\T{\mathbb{T}}
\def\F{\mathbb{F}}
\def\ii{\mathrm{i}}
\newtheorem{prop}{\bf Proposition}[section]
\newtheorem{thm}[prop]{\bf Theorem}
\newtheorem{cor}[prop]{\bf Corollary}
\newtheorem{lem}[prop]{\bf Lemma}
\newtheorem{rmk}[prop]{\it Remark}
\newtheorem{exa}[prop]{\it Example}
\newtheorem{defi}[prop]{\it Definition}
\renewcommand\refname{{\bf References}}
\begin{document}
\title[Hyperbolicity and uniformly Lipschitz affine actions on subspaces of $L^1$]{{\bf\Large Hyperbolicity and uniformly Lipschitz affine actions on subspaces of $L^1$}}
%% Information for first author
\author[I. Vergara]{Ignacio Vergara}
% Address of record for the research reported here
\address{Saint-Petersburg State University, Leonhard Euler International Mathematical Institute,
14th Line 29B, Vasilyevsky Island, St. Petersburg, 199178, Russia}
\email{ign.vergara.s@gmail.com}
% \thanks will become a 1st page footnote.
\thanks{This work is supported by the Ministry of Science and Higher Education of the Russian Federation, agreement № 075-15-2022-287}
% General info
\makeatletter
\@namedef{subjclassname@2020}{%
\textup{2020} Mathematics Subject Classification}
\makeatother
\subjclass[2020]{Primary 22D55; Secondary 20F67, 22D12}
%
%\date{\today}
\keywords{Affine actions, hyperbolic groups, subspaces of $L^1$, quasi-trees}
\begin{abstract}
We show that every hyperbolic group has a proper uniformly Lipschitz affine action on a subspace of an $L^1$ space. We also prove that every acylindrically hyperbolic group has a uniformly Lipschitz affine action on such a space with unbounded orbits. Our main tools are the bicombings on hyperbolic groups constructed by Mineyev and the characterisation of acylindrical hyperbolicity in terms of actions on quasi-trees by Balasubramanya.
\end{abstract}
%\maketitle
\begingroup
\def\uppercasenonmath#1{} % this disables uppercasing title
\let\MakeUppercase\relax % this disables uppercasing authors
\maketitle
\endgroup
\section{{\bf Introduction}}
This paper is a follow-up to \cite{Ver}, where we constructed proper affine uniformly Lipschitz actions on subspaces of $L^1$ for groups acting properly on products of quasi-trees. Examples of such groups are given by residually finite hyperbolic groups. One of the goals of the present work is to remove the residual finiteness hypothesis from this result.
Let $\Gamma$ be a countable group and let $E$ be a Banach space. We denote by $\mathcal{B}(E)$ the algebra of bounded operators on $E$. An affine action of $\Gamma$ on $E$ is given by a representation $\pi:\Gamma\to\mathcal{B}(E)$ and a map $b:\Gamma\to E$ satisfying the cocycle identity:
\begin{align*}
b(st)=\pi(s)b(t)+b(s),\quad\forall s,t\in\Gamma.
\end{align*}
The affine action is then given by
\begin{align*}
s\cdot v=\pi(s)v+b(s),\quad\forall s\in\Gamma,\ \forall v\in E.
\end{align*}
Saying that this action is uniformly Lipschitz is equivalent to the fact that $\pi$ is uniformly bounded:
\begin{align*}
\sup_{s\in\Gamma}\|\pi(s)\| < \infty.
\end{align*}
In this case, the action is proper (resp. has bounded orbits) if and only if $b$ is proper (resp. bounded).
Here we are interested in subspaces of $L^1$. We prove the following general criterion, which was already implicit in \cite{Ver}.
\begin{thm}\label{Thm_suff_cond}
Let $\Gamma$ be a countable group with identity element $e$, and let $H$ be a Hilbert space. Assume that there is a map $f:\Gamma\to H$ and a constant $M\geq 0$ such that
\begin{align*}
\|f(sx)-f(sy)\|^2\leq \|f(x)-f(y)\|^2 + M,\quad\forall s,x,y\in\Gamma.
\end{align*}
Then there exist a measure space $(\Omega,\mu)$, a closed subspace $E\subset L^1(\Omega,\mu)$, and a uniformly bounded representation $\pi:\Gamma\to\mathcal{B}(E)$ such that $\pi$ admits a cocycle $b:\Gamma\to E$ satisfying
\begin{align*}
\|b(s)\|_E=\|f(s)-f(e)\|_H +2,\quad\forall s\in\Gamma\setminus\{e\}.
\end{align*}
\end{thm}
This result (and its proof) is the general procedure used in \cite{Ver} to construct proper actions. For groups acting on products of quasi trees, $f$ is given by the semimetric $d_a$ defined in \cite[\S 3.3]{Ver}. More precisely,
\begin{align*}
\|f(s)-f(t)\|^2=d_a(s\cdot a, t\cdot a),\quad\forall s,t\in\Gamma.
\end{align*}
For weakly amenable groups with Cowling--Haagerup constant $1$, $f$ is the map $R:\Gamma\to H$ given by \cite[Proposition 5.1]{Ver}.
It turns out that we can define such a map for every hyperbolic group, without using actions on products of quasi-trees, which are known to exist only in the residually finite case; see \cite{BeBrFu}. It is worth mentioning, however, that the existence of a non-residually finite hyperbolic group is a major open problem in geometric group theory.
For every hyperbolic group $\Gamma$, Mineyev \cite{Min} constructed a quasi-geodesic, $\Gamma$-equivariant bicombing with bounded area. This construction was used by Yu \cite{Yu} to prove that every hyperbolic group has a proper isometric affine action on $\ell^p$ for $p$ large enough. Here we use Mineyev's result to prove the following.
\begin{thm}\label{Thm_hyp}
Every hyperbolic group admits a proper affine uniformly Lipschitz action on a subspace of an $L^1$ space.
\end{thm}
In the residually finite case, Dru\c{t}u and Mackay proved that there is such an action on the whole space $\ell^1$; see \cite{Dru_slides}.
Finally, we turn our attention to acylindrically hyperbolic groups. A group is said to be acylindrically hyperbolic if it admits a non-elementary acylindrical action on a hyperbolic space. We refer the reader to \cite{Osi} and \cite{Osi2} for details. This class includes non-elementary hyperbolic groups, (non-virtually abelian) mapping class groups, $\operatorname{Out}(\F_N)$ ($N\geq 2$), and infinitely presented graphical $Gr(7)$ small cancellation groups. In \cite{Bal}, Balasubramanya characterised acylindrical hyperbolicity by the existence of a non-elementary acylindrical action on a quasi-tree. This is our main tool for establishing the following result.
\begin{thm}\label{Thm_acyl}
Every acylindrically hyperbolic group admits an affine uniformly Lipschitz action on a subspace of an $L^1$ space with unbounded orbits.
\end{thm}
Let us point out that this result was obtained independently by Dru\c{t}u and Mackay; see \cite{Dru_slides}. In fact, their result is stronger, as they construct actions on $\ell^1$ instead of a subspace.
Finally, observe that Theorem \ref{Thm_acyl} cannot be improved in order to obtain proper actions for all acylindrically hyperbolic groups. Indeed, such an action yields a coarse embedding into a Hilbert space; see \cite[Corollary 6.2]{Ver}. On the other hand, if $\Gamma$ does not admit a coarse embedding, neither does $\Gamma\ast\Z$, and this group is acylindrically hyperbolic; see e.g. \cite[Corollary 2.2]{MinOsi}. For more examples of acylindrically hyperbolic groups without coarse embeddings, see \cite{GruSis}.
\subsection*{Organisation of the paper}
In Section \ref{S_bic} we prove Theorem \ref{Thm_suff_cond} and apply it to bicombings on hyperbolic groups in order to obtain Theorem \ref{Thm_hyp}. In Section \ref{S_acyl} we look at actions on quasi-trees and prove Theorem \ref{Thm_acyl}.
\subsection*{Acknowledgements}
I am grateful to Thomas Delzant for his very valuable comments and suggestions, including the use of bicombings to prove Theorem \ref{Thm_hyp}.
\section{{\bf From bicombings to affine actions on $E\subset L^1$}}\label{S_bic}
We begin by proving Theorem \ref{Thm_suff_cond}. The proof is essentially the same as that of \cite[Theorem 1.1]{Ver}, but in a more general context. We refer the reader to \cite[\S 4]{Ver} for more details on some of our arguments.
\begin{proof}[Proof of Theorem \ref{Thm_suff_cond}]
Let $V$ be the vector space of real-valued, finitely supported functions on $\Gamma$ with mean $0$. For $v\in V$, we define
\begin{align*}
\|v\|_f = \left(-\frac{1}{2}\sum_{x,y\in\Gamma}v(x)v(y)\|f(x)-f(y)\|_H^2\right)^\frac{1}{2},
\end{align*}
and we let $E$ be the completion of $V$ for the norm
\begin{align*}
\|v\|_E = \|v\|_f + \|v\|_1,
\end{align*}
where
\begin{align*}
\|v\|_1 = \sum_{x\in\Gamma}|v(x)|.
\end{align*}
Then there exists a measure space $(\Omega,\mu)$ such that $E$ embeds into $L^1(\Omega,\mu)$ isometrically; see \cite[Lemma 4.1]{Ver}. Let us define
\begin{align*}
\pi(s)v(x)=v(s^{-1}x),\quad\forall v\in V,\ \forall s,x\in\Gamma.
\end{align*}
Now observe that, for all $v\in V$ and $s\in\Gamma$,
\begin{align*}
\|\pi(s)v\|_f^2-\|v\|_f^2 &= \frac{1}{2}\sum_{x,y\in\Gamma}v(x)v(y)\left(\|f(x)-f(y)\|_H^2-\|f(sx)-f(sy)\|_H^2\right)\\
&\leq \frac{M}{2}\left(\sum_{x\in\Gamma}|v(x)|\right)^2.
\end{align*}
This implies that
\begin{align*}
\|\pi(s)v\|_E &= \|\pi(s)v\|_f + \|\pi(s)v\|_1\\
&\leq \sqrt{\frac{M}{2}}\|v\|_1 + \|v\|_f + \|v\|_1\\
&\leq \left(\sqrt{\frac{M}{2}}+1\right)\|v\|_E.
\end{align*}
Therefore $\pi$ extends to a uniformly bounded representation on $E$. Finally, we define $b:\Gamma\to E$ by
\begin{align*}
b(s)=\delta_s-\delta_e,\quad\forall s\in\Gamma.
\end{align*}
Then $b$ is a cocycle for $\pi$, and
\begin{align*}
\|b(s)\|_E &= \|b(s)\|_f + \|b(s)\|_1\\
&= \|f(s)-f(e)\|_H + 2,
\end{align*}
for all $s\in\Gamma\setminus\{e\}$.
\end{proof}
We will apply the previous theorem to bicombings on hyperbolic groups. Let $\Gamma$ be a finitely generated group and let $X$ be its Cayley graph with respect to a finite generating set. We will denote by $X^{(0)}$ and $X^{(1)}$ its set of vertices and (oriented) edges respectively. A bicombing on $X$ is a map $q$ associating to each ordered pair of vertices $(x,y)$ an oriented edge-path $q[x,y]$ from $x$ to $y$. We may view $q[x,y]$ as a $1$-chain such that $\partial q[x,y]=y-x$; see \cite{Min} for more details. The following result will be crucial for our purposes; see \cite[Theorem 10]{Min}.
\begin{thm}[Mineyev]\label{Thm_Min}
Let $\Gamma$ be a hyperbolic group and let $X$ be its Cayley graph with respect to a finite generating set. There exists a bicombing $q$ on $X$ with the following properties:
\begin{itemize}
\item[a)] $q$ is quasi-geodesic.
\item[b)] $q$ is $\Gamma$-equivariant: $sq[x,y]=q[sx,sy]$, $\forall s\in\Gamma$, $\forall x,y\in X^{(0)}$.
\item[c)] $q$ is anti-symmetric: $q[y,x]=-q[x,y]$, $\forall x,y\in X^{(0)}$.
\item[d)] $q$ has bounded area: there exists $M>0$ such that, for all $x,y,z\in X^{(0)}$,
\begin{align*}
\left\|q[x,y]+q[y,z]+q[z,x]\right\|_1\leq M.
\end{align*}
\end{itemize}
\end{thm}
For the last inequality, we view $q[x,y]$ as a finitely supported function on $X^{(1)}$ with values in $\{-1,0,1\}$.
\begin{proof}[Proof of Theorem \ref{Thm_hyp}]
Let $\Gamma$ be a hyperbolic group and let $X$ be its Cayley graph with respect to a finite generating set. Let $q$ be the bicombing given by Theorem \ref{Thm_Min}. By \cite[Theorem 6.8]{ChDrHa}, there is a Hilbert space $H$ and a map $J:\ell^1(X^{(1)})\to H$ such that
\begin{align*}
\|J(v)-J(w)\|_H^2=\|v-w\|_1,\quad\forall v,w\in \ell^1(X^{(1)}).
\end{align*}
Now define $f:\Gamma\to H$ by
\begin{align*}
f(x)=J(q[e,x]),\quad\forall x\in\Gamma.
\end{align*}
Thus, for every $s,x,y\in\Gamma$,
\begin{align*}
\|f(sx)-f(sy)\|_H^2 &= \|q[e,sx]-q[e,sy]\|_1\\
&\leq \|q[e,sx]+q[sx,sy]+q[sy,e]\|_1 + \|q[sy,sx]+q[sx,s]+q[s,sy]\|_1\\
&\qquad + \|q[s,sx]+q[sy,s]\|_1\\
&\leq 2M + \|q[e,x]-q[e,y]\|_1\\
&= 2M + \|f(x)-f(y)\|_H^2.
\end{align*}
In the last inequality we used the fact that $q$ is $\Gamma$-equivariant and that the $\ell^1$ norm is $\Gamma$-invariant. By Theorem \ref{Thm_suff_cond}, $\Gamma$ has an uniformly bounded representation on $E\subset L^1$ admitting a cocycle $b:\Gamma\to E$ such that
\begin{align*}
\|b(s)\|_E &=\|f(s)-f(e)\|_H +2\\
&= \|q[e,s]\|_1^{1/2}+2,
\end{align*}
for all $s\in\Gamma\setminus\{e\}$. Recall that $q[e,s]$ is a path from $e$ to $s$. In particular,
\begin{align*}
\|q[e,s]\|_1 \geq d(e,s),\quad\forall s\in\Gamma,
\end{align*}
where $d$ is the edge-path distance on $X$. This shows that $b$ is proper.
\end{proof}
\section{{\bf Acylindrically hyperbolic groups}}\label{S_acyl}
Now we turn to acylindrically hyperbolic groups. Our main tool is the following result of Balasubramanya; see \cite[Theorem 1.7]{Bal}. Recall that a quasi-tree is a graph which is quasi-isometric to a tree when we endow it with the edge-path distance.
\begin{thm}[Balasubramanya]\label{Thm_Bal}
Every acylindrically hyperbolic group admits a non-elementary cobounded acylindrical action on a quasi-tree.
\end{thm}
This theorem provides a characterisation of acylindrical hyperbolicity by the existence of a non-elementary acylindrical action on a quasi-tree. In particular such actions have unbounded orbits. With this we can prove Theorem \ref{Thm_acyl}.
\begin{proof}[Proof of Theorem \ref{Thm_acyl}]
By Theorem \ref{Thm_Bal}, $\Gamma$ has an isometric action on a quasi-tree $X$ with unbounded orbits. By \cite[\S 3.3]{Ver}, there is a Hilbert space $H$, a map $f:X\to H$, and a constant $\Delta_X$ such that
\begin{align*}
d(x,y)-\Delta_X \leq \|f(x)-f(y)\|_H^2 \leq d(x,y),\quad\forall x,y\in X,
\end{align*}
where $d$ is the edge-path distance on $X$. In particular,
\begin{align*}
\|f(s\cdot x)-f(s\cdot y)\|_H^2 \leq \|f(x)-f(y)\|_H^2+\Delta_X, \quad\forall s\in\Gamma,\ \forall x,y\in X.
\end{align*}
Fix $x_0\in X$ and restrict $f$ to the orbit $\Gamma\cdot x_0$. This defines a map from $\Gamma$ to $H$ by
\begin{align*}
s\mapsto f(s\cdot x_0).
\end{align*}
By Theorem \ref{Thm_suff_cond}, $\Gamma$ has an uniformly bounded representation on $E\subset L^1$ admitting a cocycle $b:\Gamma\to E$ such that
\begin{align*}
\|b(s)\|_E^2 &\geq \|f(s\cdot x_0)-f(x_0)\|_H^2\\
&\geq d(s\cdot x_0,x_0)-\Delta_X,
\end{align*}
for all $s\in\Gamma$. Since the action $\Gamma\curvearrowright X$ has unbounded orbits, so does $\Gamma\curvearrowright E$.
\end{proof}
\bibliographystyle{plain}
\bibliography{Bibliography}
\end{document}
\begin{thebibliography}{10}
\bibitem{Bal}
Sahana~H. Balasubramanya.
\newblock Acylindrical group actions on quasi-trees.
\newblock {\em Algebr. Geom. Topol.}, 17(4):2145--2176, 2017.
\bibitem{BeBrFu}
Mladen Bestvina, Ken Bromberg, and Koji Fujiwara.
\newblock Proper actions on finite products of quasi-trees.
\newblock {\em Annales Henri Lebesgue}, 4:685--709, 2021.
\bibitem{ChDrHa}
Indira Chatterji, Cornelia Dru\c{t}u, and Fr\'{e}d\'{e}ric Haglund.
\newblock Kazhdan and {H}aagerup properties from the median viewpoint.
\newblock {\em Adv. Math.}, 225(2):882--921, 2010.
\bibitem{Dru_slides}
Cornelia Dru\c{t}u.
\newblock Connections between actions on {B}anach spaces, hyperbolic geometry
and median geometry.
\newblock \url{http://web.math.ku.dk/~rordam/OADG-2022/Slides/Drutu.pdf}, 2022.
\bibitem{GruSis}
Dominik Gruber and Alessandro Sisto.
\newblock Infinitely presented graphical small cancellation groups are
acylindrically hyperbolic.
\newblock {\em Ann. Inst. Fourier (Grenoble)}, 68(6):2501--2552, 2018.
\bibitem{MinOsi}
Ashot Minasyan and Denis Osin.
\newblock Acylindrical hyperbolicity of groups acting on trees.
\newblock {\em Math. Ann.}, 362(3-4):1055--1105, 2015.
\bibitem{Min}
Igor Mineyev.
\newblock Straightening and bounded cohomology of hyperbolic groups.
\newblock {\em Geom. Funct. Anal.}, 11(4):807--839, 2001.
\bibitem{Osi}
Denis Osin.
\newblock Acylindrically hyperbolic groups.
\newblock {\em Trans. Amer. Math. Soc.}, 368(2):851--888, 2016.
\bibitem{Osi2}
Denis~V. Osin.
\newblock Groups acting acylindrically on hyperbolic spaces.
\newblock In {\em Proceedings of the {I}nternational {C}ongress of
{M}athematicians---{R}io de {J}aneiro 2018. {V}ol. {II}. {I}nvited lectures},
pages 919--939. World Sci. Publ., Hackensack, NJ, 2018.
\bibitem{Ver}
Ignacio Vergara.
\newblock Proper cocycles for uniformly bounded representations on subspaces of
{$L^1$}.
\newblock {\em arXiv preprint arXiv:2109.12949}, 2021.
\bibitem{Yu}
Guoliang Yu.
\newblock Hyperbolic groups admit proper affine isometric actions on
{$l^p$}-spaces.
\newblock {\em Geom. Funct. Anal.}, 15(5):1144--1151, 2005.
\end{thebibliography}