The main purpose of this paper is to prove Hörmander’s $L^p$–$L^q$ boundedness of Fourier multipliers on commutative hypergroups. We carry out this objective by establishing the Paley inequality and Hausdorff–Young–Paley inequality for commutative hypergroups. We show the $L^p$–$L^q$ boundedness of the spectral multipliers for the generalised radial Laplacian by examining our results on Chébli–Trimèche hypergroups. As a consequence, we obtain embedding theorems and time asymptotics for the $L^p$–$L^q$ norms of the heat kernel for generalised radial Laplacian.

We show that $\ell ^1(\mathbb {N}_\wedge )$ is $\varphi $-amenable for each multiplicative linear functional $\varphi :\ell ^1(\mathbb {N}_\wedge )\rightarrow \mathbb {C}.$ This is a counterexample to the final corollary of Jaberi and Mahmoodi [‘On $\varphi $-amenability of dual Banach algebras’, Bull. Aust. Math. Soc. 105 (2022), 303–313] and shows that the final theorem in that paper is not valid.

We prove Wiener Tauberian theorem type results for various spaces of radial functions, which are Banach algebras on a real-rank-one semisimple Lie group G. These are natural generalizations of the Wiener Tauberian theorem for the commutative Banach algebra of the integrable radial functions on G.

Let $\mathcal {M}$ be an Ahlfors $n$-regular Riemannian manifold such that either the Ricci curvature is non-negative or the Ricci curvature is bounded from below together with a bound on the gradient of the heat kernel. In the paper [IMRN, 2022, no. 2, 1245-1269] of Brazke–Schikorra–Sire, the authors characterised the BMO function $u : \mathcal {M} \to \mathbb {R}$ by a Carleson measure condition of its $\sigma$-harmonic extension $U:\mathcal {M}\times \mathbb {R}_+ \to \mathbb {R}$. This paper is concerned with the similar problem under a more general Dirichlet metric measure space setting, and the limiting behaviours of BMO & Carleson measure, where the heat kernel admits only the so-called diagonal upper estimate. More significantly, without the Ricci curvature condition, we relax the Ahlfors regularity to a doubling property, and remove the pointwise bound on the gradient of the heat kernel. Some similar results for the Lipschitz function are also given, and two open problems related to our main result are considered.

Let G be a group that is either virtually soluble or virtually free, and let ω be a weight on G. We prove that if G is infinite, then there is some maximal left ideal of finite codimension in the Beurling algebra $\ell^1(G, \omega)$, which fails to be (algebraically) finitely generated. This implies that a conjecture of Dales and Żelazko holds for these Banach algebras. We then go on to give examples of weighted groups for which this property fails in a strong way. For instance, we describe a Beurling algebra on an infinite group in which every closed left ideal of finite codimension is finitely generated and which has many such ideals in the sense of being residually finite dimensional. These examples seem to be hard cases for proving Dales and Żelazko’s conjecture.

We prove three results concerning the existence of Bohr sets in threefold sumsets. More precisely, letting G be a countable discrete abelian group and $\phi _1, \phi _2, \phi _3: G \to G$ be commuting endomorphisms whose images have finite indices, we show that

1. (1) If $A \subset G$ has positive upper Banach density and $\phi _1 + \phi _2 + \phi _3 = 0$, then $\phi _1(A) + \phi _2(A) + \phi _3(A)$ contains a Bohr set. This generalizes a theorem of Bergelson and Ruzsa in $\mathbb {Z}$ and a recent result of the first author.

2. (2) For any partition $G = \bigcup _{i=1}^r A_i$, there exists an $i \in \{1, \ldots , r\}$ such that $\phi _1(A_i) + \phi _2(A_i) - \phi _2(A_i)$ contains a Bohr set. This generalizes a result of the second and third authors from $\mathbb {Z}$ to countable abelian groups.

3. (3) If $B, C \subset G$ have positive upper Banach density and $G = \bigcup _{i=1}^r A_i$ is a partition, $B + C + A_i$ contains a Bohr set for some $i \in \{1, \ldots , r\}$. This is a strengthening of a theorem of Bergelson, Furstenberg and Weiss.

All results are quantitative in the sense that the radius and rank of the Bohr set obtained depends only on the indices $[G:\phi _j(G)]$, the upper Banach density of A (in (1)), or the number of sets in the given partition (in (2) and (3)).

We consider a general twisted shift-invariant system, $V^{t}(\mathcal {A})$, consisting of twisted translates of countably many generators and study the problem of obtaining a characterization for the system $V^{t}(\mathcal {A})$ to form a frame sequence or a Riesz sequence. We illustrate our theory with some examples. In addition to these results, we study a dual twisted shift-invariant system and also obtain an orthonormal sequence of twisted translates from a given Riesz sequence of twisted translates.

For linear nonuniform cellular automata (NUCA) which are local perturbations of linear CA over a group universe G and a finite-dimensional vector space alphabet V over an arbitrary field k, we investigate their Dedekind finiteness property, also known as the direct finiteness property, i.e., left or right invertibility implies invertibility. We say that the group G is $L^1$-surjunctive, resp. finitely $L^1$-surjunctive, if all such linear NUCA are automatically surjective whenever they are stably injective, resp. when in addition k is finite. In parallel, we introduce the ring $D^1(k[G])$ which is the Cartesian product $k[G] \times (k[G])[G]$ as an additive group but the multiplication is twisted in the second component. The ring $D^1(k[G])$ contains naturally the group ring $k[G]$ and we obtain a dynamical characterization of its stable finiteness for every field k in terms of the finite $L^1$-surjunctivity of the group G, which holds, for example, when G is residually finite or initially subamenable. Our results extend known results in the case of CA.

In this article, we give a representation of bounded complex linear operators that preserve idempotent elements on the Fourier algebra of a locally compact group. When such an operator is, moreover, positive or contractive, we show that the operator is induced by either a continuous group homomorphism or a continuous group antihomomorphism. If the groups are totally disconnected, bounded homomorphisms on the Fourier algebra can be realized by the idempotent preserving operators.

We present a unified theory for the almost periodicity of functions with values in an arbitrary Banach space, measures and distributions via almost periodic elements for the action of a locally compact abelian group on a uniform topological space. We discuss the relation between Bohr- and Bochner-type almost periodicity, and similar conditions, and how the equivalence among such conditions relates to properties of the group action and the uniformity. We complete the paper by demonstrating how various examples considered earlier all fit in our framework.

In this paper, we prove that given a cut-and-project scheme $(G, H, \mathcal {L})$ and a compact window $W \subseteq H$, the natural projection gives a bijection between the Fourier transformable measures on $G \times H$ supported inside the strip ${\mathcal L} \cap (G \times W)$ and the Fourier transformable measures on G supported inside ${\LARGE \curlywedge }(W)$. We provide a closed formula relating the Fourier transform of the original measure and the Fourier transform of the projection. We show that this formula can be used to re-derive some known results about Fourier analysis of measures with weak Meyer set support.

We present a systematic approach to the problem whether a topologically infinite-dimensional space can be made homogeneous in the Coifman–Weiss sense. The answer to the question is negative, as expected. Our leading representative of spaces with this property is $\mathbb {T}^\omega = \mathbb {T} \times \mathbb {T} \times \cdots $ with the natural product topology.

Let ${\mathcal A}$ be a Banach algebra, and let $\varphi $ be a nonzero character on ${\mathcal A}$. For a closed ideal I of ${\mathcal A}$ with $I\not \subseteq \ker \varphi $ such that I has a bounded approximate identity, we show that $\operatorname {WAP}(\mathcal {A})$, the space of weakly almost periodic functionals on ${\mathcal A}$, admits a right (left) invariant $\varphi $-mean if and only if $\operatorname {WAP}(I)$ admits a right (left) invariant $\varphi |_I$-mean. This generalizes a result due to Neufang for the group algebra $L^1(G)$ as an ideal in the measure algebra $M(G)$, for a locally compact group G. Then we apply this result to the quantum group algebra $L^1({\mathbb G})$ of a locally compact quantum group ${\mathbb G}$. Finally, we study the existence of left and right invariant $1$-means on $ \operatorname {WAP}(\mathcal {T}_{\triangleright }({\mathbb G}))$.

Let H be an ultraspherical hypergroup and let $A(H)$ be the Fourier algebra associated with $H.$ In this paper, we study the dual and the double dual of $A(H).$ We prove among other things that the subspace of all uniformly continuous functionals on $A(H)$ forms a $C^*$-algebra. We also prove that the double dual $A(H)^{\ast \ast }$ is neither commutative nor semisimple with respect to the Arens product, unless the underlying hypergroup H is finite. Finally, we study the unit elements of $A(H)^{\ast \ast }.$

Given a Fell bundle $\mathscr C\overset {q}{\to }\Xi $ over the discrete groupoid $\Xi $, we study the symmetry of the associated Hahn algebra $\ell ^{\infty ,1}(\Xi \!\mid \!\mathscr C)$ in terms of the isotropy subgroups of $\Xi $. We prove that $\Xi $ is symmetric (respectively hypersymmetric) if and only if all of the isotropy subgroups are symmetric (respectively hypersymmetric). We also characterise hypersymmetry using Fell bundles with constant fibres, showing that for discrete groupoids, ‘hypersymmetry’ equals ‘rigid symmetry’.

Let G be a locally compact unimodular group, and let $\phi $ be some function of n variables on G. To such a $\phi $, one can associate a multilinear Fourier multiplier, which acts on some n-fold product of the noncommutative $L_p$-spaces of the group von Neumann algebra. One may also define an associated Schur multiplier, which acts on an n-fold product of Schatten classes $S_p(L_2(G))$. We generalize well-known transference results from the linear case to the multilinear case. In particular, we show that the so-called “multiplicatively bounded $(p_1,\ldots ,p_n)$-norm” of a multilinear Schur multiplier is bounded above by the corresponding multiplicatively bounded norm of the Fourier multiplier, with equality whenever the group is amenable. Furthermore, we prove that the bilinear Hilbert transform is not bounded as a vector-valued map $L_{p_1}(\mathbb {R}, S_{p_1}) \times L_{p_2}(\mathbb {R}, S_{p_2}) \rightarrow L_{1}(\mathbb {R}, S_{1})$, whenever $p_1$ and $p_2$ are such that $\frac {1}{p_1} + \frac {1}{p_2} = 1$. A similar result holds for certain Calderón–Zygmund-type operators. This is in contrast to the nonvector-valued Euclidean case.

In this paper, we investigate the $H^{p}(G) \rightarrow L^{p}(G)$, $0< p \leq 1$, boundedness of multiplier operators defined via group Fourier transform on a graded Lie group $G$, where $H^{p}(G)$ is the Hardy space on $G$. Our main result extends those obtained in [Colloq. Math. 165 (2021), 1–30], where the $L^{1}(G)\rightarrow L^{1,\infty }(G)$ and $L^{p}(G) \rightarrow L^{p}(G)$, $1< p <\infty$, boundedness of such Fourier multiplier operators were proved.

We characterise the existence of certain (weakly) compact multipliers of the second dual of symmetric abstract Segal algebras in both the group algebra $L^{1}(G)$ and the Fourier algebra $A(G)$ of a locally compact group G.

We show that there is no nontrivial idempotent in the reduced group $\ell ^p$-operator algebra $B^p_r(F_n)$ of the free group $F_n$ on n generators for each positive integer n.

Given a minimal action $\alpha $ of a countable group on the Cantor set, we show that the alternating full group $\mathsf {A}(\alpha )$ is non-amenable if and only if the topological full group $\mathsf {F}(\alpha )$ is $C^*$-simple. This implies, for instance, that the Elek–Monod example of non-amenable topological full group coming from a Cantor minimal $\mathbb {Z}^2$-system is $C^*$-simple.