To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
Let $\mathbb{G}$ be a locally compact quantum group and let $I$ be a closed ideal of $L^{1}(\mathbb{G})$ with $y|_{I}\neq 0$ for some $y\in \text{sp}(L^{1}(\mathbb{G}))$. In this paper, we give a characterization for compactness of $\mathbb{G}$ in terms of the existence of a weakly compact left or right multiplier $T$ on $I$ with $T(f)(y|_{I})\neq 0$ for some $f\in I$. Using this, we prove that $I$ is an ideal in its second dual if and only if $\mathbb{G}$ is compact. We also study Arens regularity of $I$ whenever it has a bounded left approximate identity. Finally, we obtain some characterizations for amenability of $\mathbb{G}$ in terms of the existence of some $I$-module homomorphisms on $I^{\ast \ast }$ and on $I^{\ast }$.
On a compact Lie group $G$ of dimension $n$, we study the Bochner–Riesz mean $S_{R}^{\unicode[STIX]{x1D6FC}}(f)$ of the Fourier series for a function $f$. At the critical index $\unicode[STIX]{x1D6FC}=(n-1)/2$, we obtain the convergence rate for $S_{R}^{(n-1)/2}(f)$ when $f$ is a function in the block-Sobolev space. The main theorems extend some known results on the $m$-torus $\mathbb{T}^{m}$.
A Banach algebra $A$ is said to be a zero Jordan product determined Banach algebra if, for every Banach space $X$, every bilinear map $\unicode[STIX]{x1D711}:A\times A\rightarrow X$ satisfying $\unicode[STIX]{x1D711}(a,b)=0$ whenever $a$, $b\in A$ are such that $ab+ba=0$, is of the form $\unicode[STIX]{x1D711}(a,b)=\unicode[STIX]{x1D70E}(ab+ba)$ for some continuous linear map $\unicode[STIX]{x1D70E}$. We show that all $C^{\ast }$-algebras and all group algebras $L^{1}(G)$ of amenable locally compact groups have this property and also discuss some applications.
In this paper, we initiate the study of fixed point properties of amenable or reversible semitopological semigroups in modular spaces. Takahashi’s fixed point theorem for amenable semigroups of nonexpansive mappings, and T. Mitchell’s fixed point theorem for reversible semigroups of nonexpansive mappings in Banach spaces are extended to the setting of modular spaces. Among other things, we also generalize another classical result due to Mitchell characterizing the left amenability property of the space of left uniformly continuous functions on semitopological semigroups by introducing the notion of a semi-modular space as a generalization of the concept of a locally convex space.
Let $({\mathcal{X}},d,\unicode[STIX]{x1D707})$ be a metric measure space satisfying the geometrically doubling condition and the upper doubling condition. In this paper, the authors establish the John-Nirenberg inequality for the regularized BLO space $\widetilde{\operatorname{RBLO}}(\unicode[STIX]{x1D707})$.
We study the second dual algebra of a Banach algebra and related problems. We resolve some questions raised by Ülger, which are related to Arens products. We then discuss a question of Gulick on the radical of the second dual algebra of the group algebra of a discrete abelian group and give an application of Arens regularity to Fourier and Fourier–Stieltjes transforms.
In this paper, we consider the problem of characterizing positive definite functions on compact two-point homogeneous spaces cross locally compact abelian groups. For a locally compact abelian group $G$ with dual group $\widehat{G}$, a compact two-point homogeneous space $\mathbb{H}$ with normalized geodesic distance $\unicode[STIX]{x1D6FF}$ and a profile function $\unicode[STIX]{x1D719}:[-1,1]\times G\rightarrow \mathbb{C}$satisfying certain continuity and integrability assumptions, we show that the positive definiteness of the kernel $((x,u),(y,v))\in (\mathbb{H}\times G)^{2}\mapsto \unicode[STIX]{x1D719}(\cos \unicode[STIX]{x1D6FF}(x,y),uv^{-1})$ is equivalent to the positive definiteness of the Fourier transformed kernels $(x,y)\in \mathbb{H}^{2}\mapsto \widehat{\unicode[STIX]{x1D719}}_{\cos \unicode[STIX]{x1D6FF}(x,y)}(\unicode[STIX]{x1D6FE})$, $\unicode[STIX]{x1D6FE}\in \widehat{G}$, where $\unicode[STIX]{x1D719}_{t}(u)=\unicode[STIX]{x1D719}(t,u)$, $u\in G$. We also provide some results on the strict positive definiteness of the kernel.
We show that the finitely generated simple left orderable groups $G_{\!\unicode[STIX]{x1D70C}}$ constructed by the first two authors in Hyde and Lodha [Finitely generated infinite simple groups of homeomorphisms of the real line. Invent. Math. (2019), doi:10.1007/s00222-019-00880-7] are uniformly perfect—each element in the group can be expressed as a product of three commutators of elements in the group. This implies that the group does not admit any homogeneous quasimorphism. Moreover, any non-trivial action of the group on the circle, which lifts to an action on the real line, admits a global fixed point. It follows that any faithful action on the real line without a global fixed point is globally contracting. This answers Question 4 of the third author [A. Navas. Group actions on 1-manifolds: a list of very concrete open questions. Proceedings of the International Congress of Mathematicians, Vol. 2. Eds. B. Sirakov, P. Ney de Souza and M. Viana. World Scientific, Singapore, 2018, pp, 2029–2056], which asks whether such a group exists. This question has also been answered simultaneously and independently, using completely different methods, by Matte Bon and Triestino [Groups of piecewise linear homeomorphisms of flows. Preprint, 2018, arXiv:1811.12256]. To prove our results, we provide a characterization of elements of the group $G_{\!\unicode[STIX]{x1D70C}}$ which is a useful new tool in the study of these examples.
Let $S$ be a discrete inverse semigroup, $l^{1}(S)$ the Banach semigroup algebra on $S$ and $\mathbb{X}$ a Banach $l^{1}(S)$-bimodule which is an $L$-embedded Banach space. We show that under some mild conditions ${\mathcal{H}}^{1}(l^{1}(S),\mathbb{X})=0$. We also provide an application of the main result.
We prove a Tits alternative for topological full groups of minimal actions of finitely generated groups. On the one hand, we show that topological full groups of minimal actions of virtually cyclic groups are amenable. By doing so, we generalize the result of Juschenko and Monod for $\mathbf{Z}$-actions. On the other hand, when a finitely generated group $G$ is not virtually cyclic, then we construct a minimal free action of $G$ on a Cantor space such that the topological full group contains a non-abelian free group.
Answering a longstanding problem originating in Christensen’s seminal work on Haar null sets [Math. Scand.28 (1971), 124–128; Israel J. Math.13 (1972), 255–260; Topology and Borel Structure. Descriptive Topology and Set Theory with Applications to Functional Analysis and Measure Theory, North-Holland Mathematics Studies, 10 (Notas de Matematica, No. 51). (North-Holland Publishing Co., Amsterdam–London; American Elsevier Publishing Co., Inc., New York, 1974), iii+133 pp], we show that a universally measurable homomorphism between Polish groups is automatically continuous. Using our general analysis of continuity of group homomorphisms, this result is used to calibrate the strength of the existence of a discontinuous homomorphism between Polish groups. In particular, it is shown that, modulo $\text{ZF}+\text{DC}$, the existence of a discontinuous homomorphism between Polish groups implies that the Hamming graph on $\{0,1\}^{\mathbb{N}}$ has finite chromatic number.
We consider the notion of the graph product of actions of discrete groups $\{G_{v}\}$ on a $C^{\ast }$-algebra ${\mathcal{A}}$ and show that under suitable commutativity conditions the graph product action $\star _{\unicode[STIX]{x1D6E4}}\unicode[STIX]{x1D6FC}_{v}:\star _{\unicode[STIX]{x1D6E4}}G_{v}\curvearrowright {\mathcal{A}}$ has the Haagerup property if each action $\unicode[STIX]{x1D6FC}_{v}:G_{v}\curvearrowright {\mathcal{A}}$ possesses the Haagerup property. This generalizes the known results on graph products of groups with the Haagerup property. To accomplish this, we introduce the graph product of multipliers associated to the actions and show that the graph product of positive-definite multipliers is positive definite. These results have impacts on left-transformation groupoids and give an alternative proof of a known result for coarse embeddability. We also record a cohomological characterization of the Haagerup property for group actions.
In this short note we first extend the validity of the spectral radius formula, obtained by M. Anoussis and G. Gatzouras, for Fourier–Stieltjes algebras. The second part is devoted to showing that, for the measure algebra on any locally compact non-discrete Abelian group, there are no non-trivial constraints among three quantities: the norm, the spectral radius, and the supremum of the Fourier–Stieltjes transform, even if we restrict our attention to measures with all convolution powers singular with respect to the Haar measure.
In this paper, we study the probability distribution of the word map $w(x_{1},x_{2},\ldots ,x_{k})=x_{1}^{n_{1}}x_{2}^{n_{2}}\cdots x_{k}^{n_{k}}$ in a compact Lie group. We show that the probability distribution can be represented as an infinite series. Moreover, in the case of the Lie group $\text{SU}(2)$, our computations give a nice convergent series for the probability distribution.
A classical result due to Paley and Wiener characterizes the existence of a nonzero function in $L^{2}(\mathbb{R})$, supported on a half-line, in terms of the decay of its Fourier transform. In this paper, we prove an analogue of this result for Damek–Ricci spaces.
We introduce the concept of strong property $(\mathbb{B})$ with a constant for Banach algebras and, by applying a certain analysis on the Fourier algebra of the unit circle, we show that all C*-algebras and group algebras have the strong property $(\mathbb{B})$ with a constant given by $288\unicode[STIX]{x1D70B}(1+\sqrt{2})$. We then use this result to find a concrete upper bound for the hyperreflexivity constant of ${\mathcal{Z}}^{n}(A,X)$, the space of bounded $n$-cocycles from $A$ into $X$, where $A$ is a C*-algebra or the group algebra of a group with an open subgroup of polynomial growth and $X$ is a Banach $A$-bimodule for which ${\mathcal{H}}^{n+1}(A,X)$ is a Banach space. As another application, we show that for a locally compact amenable group $G$ and $1<p<\infty$, the space $CV_{P}(G)$ of convolution operators on $L^{p}(G)$ is hyperreflexive with a constant given by $384\unicode[STIX]{x1D70B}^{2}(1+\sqrt{2})$. This is the generalization of a well-known result of Christensen [‘Extensions of derivations. II’, Math. Scand.50(1) (1982), 111–122] for $p=2$.
This paper concerns the study of the global structure of measure-preserving actions of countable groups on standard probability spaces. Weak containment is a hierarchical notion of complexity of such actions, motivated by an analogous concept in the theory of unitary representations. This concept gives rise to an associated notion of equivalence of actions, called weak equivalence, which is much coarser than the notion of isomorphism (conjugacy). It is well understood now that, in general, isomorphism is a very complex notion, a fact which manifests itself, for example, in the lack of any reasonable structure in the space of actions modulo isomorphism. On the other hand, the space of weak equivalence classes is quite well behaved. Another interesting fact that relates to the study of weak containment is that many important parameters associated with actions, such as the type, cost, and combinatorial parameters, turn out to be invariants of weak equivalence and in fact exhibit desirable monotonicity properties with respect to the pre-order of weak containment, a fact that can be useful in certain applications. There has been quite a lot of activity in this area in the last few years, and our goal in this paper is to provide a survey of this work.
Let $G$ be a locally compact group and $K$ a closed subgroup of $G$. Let $\unicode[STIX]{x1D6FE},$$\unicode[STIX]{x1D70B}$ be representations of $K$ and $G$ respectively. Moore’s version of the Frobenius reciprocity theorem was established under the strong conditions that the underlying homogeneous space $G/K$ possesses a right-invariant measure and the representation space $H(\unicode[STIX]{x1D6FE})$ of the representation $\unicode[STIX]{x1D6FE}$ of $K$ is a Hilbert space. Here, the theorem is proved in a more general setting assuming only the existence of a quasi-invariant measure on $G/K$ and that the representation spaces $\mathfrak{B}(\unicode[STIX]{x1D6FE})$ and $\mathfrak{B}(\unicode[STIX]{x1D70B})$ are Banach spaces with $\mathfrak{B}(\unicode[STIX]{x1D70B})$ being reflexive. This result was originally established by Kleppner but the version of the proof given here is simpler and more transparent.
We exhibit the first explicit examples of Salem sets in ℚp of every dimension 0 < α < 1 by showing that certain sets of well-approximable p-adic numbers are Salem sets. We construct measures supported on these sets that satisfy essentially optimal Fourier decay and upper regularity conditions, and we observe that these conditions imply that the measures satisfy strong Fourier restriction inequalities. We also partially generalize our results to higher dimensions. Our results extend theorems of Kaufman, Papadimitropoulos, and Hambrook from the real to the p-adic setting.
In this paper we characterize the Fourier transformability of strongly almost periodic measures in terms of an integrability condition for their Fourier–Bohr series. We also provide a necessary and sufficient condition for a strongly almost periodic measure to be the Fourier transform of a measure. We discuss the Fourier transformability of a measure on $\mathbb{R}^{d}$ in terms of its Fourier transform as a tempered distribution. We conclude by looking at a large class of such measures coming from the cut and project formalism.