Property (T_B) and property (F_B) restricted to a representation without non-zero invariant vectors

DOI10.4171/GGD/258MaRDI QIDQ2264080zbMATH OpenFDO

Authors Yanyan Li

Publication date 20 March 2015

Published in Groups, Geometry, and Dynamics (Search for Journal in Brave)

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

zbMATH Keywords

finitely generated groupsisometric actionstrictly convex Banach spaces

Mathematics Subject Classification ID

Geometric group theory (20F65) Other representations of locally compact groups (22D12) Isometric theory of Banach spaces (46B04) Fixed-point theorems (47H10)

Abstract: In this paper, we give a necessary and sufficient condition for which a finitely generated group has a property like Kazhdan's Property $(T)$ restricted to one isometric representation on a strictly convex Banach space without non-zero invariant vectors. Similarly, we give a necessary and sufficient condition for which a finitely generated group has a property like Property $(FH)$ restricted to the set of the affine isometric actions whose linear part are one isometric representation on a strictly convex Banach space without non-zero invariant vectors. If the Banach space is the $el{l}^p$ space ($1<p<infty$) on a finitely generated group, these conditions are regarded as an estimation of the spectrum of the $p$-Laplace operator on the $el{l}^p$ space and on the $p$-Dirichlet finite space respectively.

Review text

In the paper under review, \(B\) will denote a strictly convex Banach space with norm \(\| \cdot \|\) and \(\Gamma\) will denote a finitely generated group with generating set \(K\). Let \(\pi\) be a linear isometric action of \(\Gamma\) on \(B\) and let \(c : \Gamma \rightarrow B\) be a \(\pi\)-cocycle. Indicate by \(Z^1(\pi)\) the linear space consisting of all \(\pi\)-cocycles. The space \(Z^1(\pi)\) is endowed with a norm \(\| \cdot \|_r\) for each \(r \in [1, \infty]\). Denote by \(\mathcal{A}(\pi)\) the set of affine isometric actions whose linear part is \(\pi\). So if \(\alpha \in \mathcal{A}(\pi)\), then there exists \(c \in Z^1(\pi)\) such that \(\alpha(\gamma, v ) = \pi(\gamma, v) + c(\gamma)\) for each \(\gamma \in \Gamma\) and \(v \in B\). For \(\alpha \in \mathcal{A}(\pi)\) and \(1 \leq r \leq \infty\) a convex function \(F_{\alpha, r} : B \rightarrow [0, \infty)\) is defined via \[ F_{\alpha,r}(v) = \| \alpha(\cdot, v)-v \|_r \] for each \(v \in B\) and \(1 \leq r \leq \infty\). Observe that \(F_{\alpha, r}\) vanishes at \(v_0\) if and only if \(v_0\) is a fixed point of \(\alpha\). Next, the absolute gradient \(| \nabla\!\!\_F_{\alpha, r}| : B \rightarrow [0, \infty)\) of \(F_{\alpha, r}\) is defined. The two main results of this paper are: {\parindent=6mm \begin{itemize} \item[-] The following are equivalent: \item [-] There is a positive constant \(C'\) such that every \(v \in B\) satisfies \[ \max_{\gamma \in K} \| \pi(\gamma, v) - v \| \geq C' \| v \|. \] \item [-] There is a positive constant \(C\) such that every \(v \in B \setminus \{0\}\) satisfies \[ |\nabla\!\!\_ F_{\pi, r} |(v) \geq C. \] \item [-] The following are equivalent: \item [-] Every \(\alpha \in \mathcal{A}(\pi)\) has a fixed point. \item [-] For every \(\alpha \in \mathcal{A}(\pi)\), there is a positive constant \(C\) such that every \(v \in B\) with \(F_{\alpha, r}(v) > 0\) satisfies \[ | \nabla\!\!\_ F_{\alpha, r }| (v) \geq C. \] Furthermore, \(C\) can be a constant independent of each \(\alpha\). \end{itemize}} The author concludes the paper by applying there results to the case \(B = \ell^p(\Gamma)\) and \(\pi\) the left regular representation of \(\Gamma\).

Recommendations

• Property \((T)\) and rigidity for actions on Banach spaces
• On groups with property \((T_{\ell_p})\)
• Kazhdan's property \((T)\) with respect to non-commutative \(L_p\)-spaces
• Property \((T_{L^{\Phi}})\) and property \((F_{L^{\Phi}})\) for Orlicz spaces \(L^\phi\)
• Property \(F\ell_q\) implies property \(F\ell_{p}\) for \(1<p<q<\infty\)

Cites work

• Cohomologie ℓp espaces de Besov
• scientific article; zbMATH DE number 1404748 (Why is no real title available?)
• scientific article; zbMATH DE number 3073200 (Why is no real title available?)
• Kazhdan and Haagerup properties from the median viewpoint.
• Kazhdan's property
• Property \((T)\) and rigidity for actions on Banach spaces

Cited in

(1)

• Property \((T_{L^{\Phi}})\) and property \((F_{L^{\Phi}})\) for Orlicz spaces \(L^\phi\)

This page was built for publication: Property \((T_B)\) and property \((F_B)\) restricted to a representation without non-zero invariant vectors

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