Abstract:
Given a semitopological semigroup $S$, let
$\operatorname{WAP}(S)$ and $\operatorname{AP}(S)$
be the algebras of weakly and strongly almost periodic functions on $S$, respectively.
This paper centers around the study of the fixed point property ($\mathbf{F}_{*,s}$):
whenever $\pi\colon S\times K \to K$ is a jointly $*$-weak continuous nonexpansive action on a non-empty norm separable $*$-weak compact convex set $K$ in the dual $E^*$ of a Banach space $E$, then there is a common fixed point for $S$ in $K$.
We are primarily interested in answering the following problems posed by Lau and Zhang. (1) Let $S$ be a discrete semigroup.
If the fixed point property ($\mathbf{F}_{*,s}$) holds, does $\operatorname{WAP}(S)$ have a left invariant mean ?
(2) Is the existence of a left invariant mean on $\operatorname{WAP}(S)$ a sufficient condition to ensure the fixed point property ($\mathbf{F}_{*,s}$)?
(3) Do the bicyclic semigroups $S_2=\langle e,a,b,c \colon ab=ac=e\rangle$
and $S_3=\langle e,a,b,c,d \colon ac=bd=e\rangle$
have the fixed point property ($\mathbf{F}_{*,s}$)?
Among other things, characterization theorems of the amenability property of the algebras $\operatorname{WAP}(S)$ and $\operatorname{AP}(S)$ are also given.
Keywords:
almost periodic functions, bicyclic semigroups, invariant means, fixed point properties, nonexpansive mappings, weakly almost periodic functions.