A Schur multiplier is a linear map on matrices which acts on its entries by multiplication with some function, called the symbol. We consider idempotent Schur multipliers, whose symbols are indicator functions of smooth Euclidean domains. Given $1<p\neq 2<\infty $, we provide a local characterization (under some mild transversality condition) for the boundedness on Schatten p-classes of Schur idempotents in terms of a lax notion of boundary flatness. We prove in particular that all Schur idempotents are modeled on a single fundamental example: the triangular projection. As an application, we fully characterize the local $L_p$-boundedness of smooth Fourier idempotents on connected Lie groups. They are all modeled on one of three fundamental examples: the classical Hilbert transform and two new examples of Hilbert transforms that we call affine and projective. Our results in this paper are vast noncommutative generalizations of Fefferman’s celebrated ball multiplier theorem. They confirm the intuition that Schur multipliers share profound similarities with Euclidean Fourier multipliers – even in the lack of a Fourier transform connection – and complete, for Lie groups, a longstanding search of Fourier $L_p$-idempotents.

We consider conjugacy classes in a locally compact group G that support finite G-invariant measures. If G is a property (M) extension of an abelian group, in particular, if G is a metabelian group, then any such conjugacy class is relatively compact. As an application, centralisers of lattices in such groups have bounded conjugacy classes. We use the same techniques to obtain results in the case of totally disconnected, locally compact groups.

Given a Polish group G, let $E(G)$ be the right coset equivalence relation $G^\omega /c(G)$, where $c(G)$ is the group of all convergent sequences in G. We first established two results:

1. (1) Let $G,H$ be two Polish groups. If H is TSI but G is not, then $E(G)\not \le _BE(H)$.

2. (2) Let G be a Polish group. Then the following are equivalent: (a) G is TSI non-archimedean; (b)$E(G)\leq _B E_0^\omega $; and (c) $E(G)\leq _B {\mathbb {R}}^\omega /c_0$. In particular, $E(G)\sim _B E_0^\omega $ iff G is TSI uncountable non-archimedean.

A critical theorem presented in this article is as follows: Let G be a TSI Polish group, and let H be a closed subgroup of the product of a sequence of TSI strongly NSS Polish groups. If $E(G)\le _BE(H)$, then there exists a continuous homomorphism $S:G_0\rightarrow H$ such that $\ker (S)$ is non-archimedean, where $G_0$ is the connected component of the identity of G. The converse holds if G is connected, $S(G)$ is closed in H, and the interval $[0,1]$ can be embedded into H.

As its applications, we prove several Rigid theorems for TSI Lie groups, locally compact Polish groups, separable Banach spaces, and separable Fréchet spaces, respectively.

We investigate properties of closed approximate subgroups of locally compact groups, with a particular interest for approximate lattices (i.e., those approximate subgroups that are discrete and have finite co-volume).

We prove an approximate subgroup version of Cartan’s closed-subgroup theorem and study some applications. We give a structure theorem for closed approximate subgroups of amenable groups in the spirit of the Breuillard–Green–Tao theorem. We then prove two results concerning approximate lattices: we extend to amenable groups a structure theorem for mathematical quasi-crystals due to Meyer; we prove results concerning intersections of radicals of Lie groups and discrete approximate subgroups generalising theorems due to Auslander, Bieberbach and Mostow. As an underlying theme, we exploit the notion of good models of approximate subgroups that stems from the work of Hrushovski, and Breuillard, Green and Tao. We show how one can draw information about a given approximate subgroup from a good model, when it exists.

An extension of Szemerédi’s theorem is proved for sets of positive density in approximate lattices in general locally compact and second countable abelian groups. As a consequence, we establish a recent conjecture of Klick, Strungaru and Tcaciuc. Via a novel version of Furstenberg’s correspondence principle, which should be of independent interest, we show that our Szemerédi theorems can be deduced from a general transverse multiple recurrence theorem, which we establish using a recent work of Austin [Non-conventional ergodic averages for several commuting actions of an amenable group. J. Anal. Math. 130 (2016), 243–274].

We show that linearly repetitive weighted Delone sets in groups of polynomial growth have a uniquely ergodic hull. This result applies in particular to the linearly repetitive weighted Delone sets in homogeneous Lie groups constructed in the companion paper [S. Beckus, T. Hartnick and F. Pogorzelski. Symbolic substitution beyond Abelian groups. Preprint, 2021, arXiv:2109.15210] using symbolic substitution methods. More generally, using the quasi-tiling method of Ornstein and Weiss, we establish unique ergodicity of hulls of weighted Delone sets in amenable unimodular locally compact second countable groups under a new repetitivity condition which we call tempered repetitivity. For this purpose, we establish a general sub-additive convergence theorem, which also has applications concerning the existence of Banach densities and uniform approximation of the spectral distribution function of finite hopping range operators on Cayley graphs.

Given a Fell bundle $\mathcal {B}=\{B_t\}_{t\in G}$ over a locally compact group G and a closed subgroup $H\subset G,$ we construct quotients $C^{*}_{H\uparrow \mathcal {B}}(\mathcal {B})$ and $C^{*}_{H\uparrow G}(\mathcal {B})$ of the full cross-sectional C*-algebra $C^{*}(\mathcal {B})$ analogous to Exel–Ng’s reduced algebras $C^{*}_{\mathop {\mathrm {r}}}(\mathcal {B})\equiv C^{*}_{\{e\}\uparrow \mathcal {B}}(\mathcal {B})$ and $C^{*}_R(\mathcal {B})\equiv C^{*}_{\{e\}\uparrow G}(\mathcal {B}).$ An absorption principle, similar to Fell’s one, is used to give conditions on $\mathcal {B}$ and H (e.g., G discrete and $\mathcal {B}$ saturated, or H normal) ensuring $C^{*}_{H\uparrow \mathcal {B}}(\mathcal {B})=C^{*}_{H\uparrow G}(\mathcal {B}).$ The tools developed here enable us to show that if the normalizer of H is open in G and $\mathcal {B}_H:=\{B_t\}_{t\in H}$ is the reduction of $\mathcal {B}$ to $H,$ then $C^{*}(\mathcal {B}_H)=C^{*}_{\mathop {\mathrm {r}}}(\mathcal {B}_H)$ if and only if $C^{*}_{H\uparrow \mathcal {B}}(\mathcal {B})=C^{*}_{\mathop {\mathrm {r}}}(\mathcal {B});$ the last identification being implied by $C^{*}(\mathcal {B})=C^{*}_{\mathop {\mathrm {r}}}(\mathcal {B}).$ We also prove that if G is inner amenable and $C^{*}_{\mathop {\mathrm {r}}}(\mathcal {B})\otimes _{\max } C^{*}_{\mathop {\mathrm {r}}}(G)=C^{*}_{\mathop {\mathrm { r}}}(\mathcal {B})\otimes C^{*}_{\mathop {\mathrm {r}}}(G),$ then $C^{*}(\mathcal {B})=C^{*}_{\mathop {\mathrm {r}}}(\mathcal {B}).$

In Caspers et al. (Can. J. Math. 75[6] [2022], 1–18), transference results between multilinear Fourier and Schur multipliers on noncommutative $L_p$-spaces were shown for unimodular groups. We propose a suitable extension of the definition of multilinear Fourier multipliers for non-unimodular groups and show that the aforementioned transference results also hold in this more general setting.

We study the planar 3-colorablesubgroup $\mathcal{E}$ of Thompson’s group F and its even part ${\mathcal{E}_{\rm EVEN}}$. The latter is obtained by cutting $\mathcal{E}$ with a finite index subgroup of F isomorphic to F, namely the rectangular subgroup $K_{(2,2)}$. We show that the even part ${\mathcal{E}_{\rm EVEN}}$ of the planar 3-colorable subgroup admits a description in terms of stabilisers of suitable subsets of dyadic rationals. As a consequence ${\mathcal{E}_{\rm EVEN}}$ is closed in the sense of Golan and Sapir. We then study three quasi-regular representations associated with ${\mathcal{E}_{\rm EVEN}}$: two are shown to be irreducible and one to be reducible.

Entropy of measure-preserving or continuous actions of amenable discrete groups allows for various equivalent approaches. Among them are those given by the techniques developed by Ollagnier and Pinchon on the one hand and the Ornstein–Weiss lemma on the other. We extend these two approaches to the context of actions of amenable topological groups. In contrast to the discrete setting, our results reveal a remarkable difference between the two concepts of entropy in the realm of non-discrete groups: while the first quantity collapses to 0 in the non-discrete case, the second yields a well-behaved invariant for amenable unimodular groups. Concerning the latter, we moreover study the corresponding notion of topological pressure, prove a Goodwyn-type theorem, and establish the equivalence with the uniform lattice approach (for locally compact groups admitting a uniform lattice). Our study elaborates on a version of the Ornstein–Weiss lemma due to Gromov.

If $\mu $ is a smooth measure supported on a real-analytic submanifold of ${\mathbb {R}}^{2n}$ which is not contained in any affine hyperplane, then the Weyl transform of $\mu $ is a compact operator.

The loop space of a string manifold supports an infinite-dimensional Fock space bundle, which is an analog of the spinor bundle on a spin manifold. This spinor bundle on loop space appears in the description of two-dimensional sigma models as the bundle of states over the configuration space of the superstring. We construct a product on this bundle that covers the fusion of loops, i.e. the merging of two loops along a common segment. For this purpose, we exhibit it as a bundle of bimodules over a certain von Neumann algebra bundle, and realize our product fibrewise using the Connes fusion of von Neumann bimodules. Our main technique is to establish novel relations between string structures, loop fusion, and the Connes fusion of Fock spaces. The fusion product on the spinor bundle on loop space was proposed by Stolz and Teichner as part of a programme to explore the relation between generalized cohomology theories, functorial field theories, and index theory. It is related to the pair of pants worldsheet of the superstring, to the extension of the corresponding smooth functorial field theory down to the point, and to a higher-categorical bundle on the underlying string manifold, the stringor bundle.

A suitable notion of weak amenability for dual Banach algebras, which we call weak Connes amenability, is defined and studied. Among other things, it is proved that the measure algebra M(G) of a locally compact group G is always weakly Connes amenable. It can be a complement to Johnson’s theorem that $L^1(G)$ is always weakly amenable [10].

We apply Takesaki’s and Connes’s ideas on structure analysis for type III factors to the study of links (a short term of Markov kernels) appearing in asymptotic representation theory.

We show that for every countable group, any sequence of approximate homomorphisms with values in permutations can be realized as the restriction of a sofic approximation of an orbit equivalence relation. Moreover, this orbit equivalence relation is uniquely determined by the invariant random subgroup of the approximate homomorphisms. We record applications of this result to recover various known stability and conjugacy characterizations for almost homomorphisms of amenable groups.

We classify the irreducible unitary representations of closed simple groups of automorphisms of trees acting $2$-transitively on the boundary and whose local action at every vertex contains the alternating group. As an application, we confirm Claudio Nebbia’s CCR conjecture on trees for $(d_0,d_1)$-semi-regular trees such that $d_0,d_1\in \Theta $, where $\Theta $ is an asymptotically dense set of positive integers.

Let $G$ be a compact Abelian group and $E$ a subset of the group $\widehat {G}$ of continuous characters of $G$. We study Arens regularity-related properties of the ideals $L_E^1(G)$ of $L^1(G)$ that are made of functions whose Fourier transform is supported on $E\subseteq \widehat {G}$. Arens regularity of $L_E^1(G)$, the centre of $L_E^1(G)^{\ast \ast }$ and the size of $L_E^1(G)^\ast /\mathcal {WAP}(L_E^1(G))$ are studied. We establish general conditions for the regularity of $L_E^1(G)$ and deduce from them that $L_E^1(G)$ is not strongly Arens irregular if $E$ is a small-2 set (i.e. $\mu \ast \mu \in L^1(G)$ for every $\mu \in M_E^1(G)$), which is not a $\Lambda (1)$-set, and it is extremely non-Arens regular if $E$ is not a small-2 set. We deduce also that $L_E^1(G)$ is not Arens regular when $\widehat {G}\setminus E$ is a Lust-Piquard set.

Let $l\in \mathbb {N}_{\ge 1}$ and $\alpha : \mathbb {Z}^l\rightarrow \text {Aut}(\mathscr {N})$ be an action of $\mathbb {Z}^l$ by automorphisms on a compact nilmanifold $\mathscr{N}$. We assume the action of every $\alpha (z)$ is ergodic for $z\in \mathbb {Z}^l\smallsetminus \{0\}$ and show that $\alpha $ satisfies exponential n-mixing for any integer $n\geq 2$. This extends the results of Gorodnik and Spatzier [Mixing properties of commuting nilmanifold automorphisms. Acta Math. 215 (2015), 127–159].

Let $G= N\rtimes H$ be a locally compact group which is a semi-direct product of a closed normal subgroup N and a closed subgroup H. The Bohr compactification ${\rm Bohr}(G)$ and the profinite completion ${\rm Prof}(G)$ of G are, respectively, isomorphic to semi-direct products $Q_1 \rtimes {\rm Bohr}(H)$ and $Q_2 \rtimes {\rm Prof}(H)$ for appropriate quotients $Q_1$ of ${\rm Bohr}(N)$ and $Q_2$ of ${\rm Prof}(N).$ We give a precise description of $Q_1$ and $Q_2$ in terms of the action of H on appropriate subsets of the dual space of N. In the case where N is abelian, we have ${\rm Bohr}(G)\cong A \rtimes {\rm Bohr}(H)$ and ${\rm Prof}(G)\cong B \rtimes {\rm Prof}(H),$ where A (respectively B) is the dual group of the group of unitary characters of N with finite H-orbits (respectively with finite image). Necessary and sufficient conditions are deduced for G to be maximally almost periodic or residually finite. We apply the results to the case where $G= \Lambda\wr H$ is a wreath product of discrete groups; we show in particular that, in case H is infinite, ${\rm Bohr}(\Lambda\wr H)$ is isomorphic to ${\rm Bohr}(\Lambda^{\rm Ab}\wr H)$ and ${\rm Prof}(\Lambda\wr H)$ is isomorphic to ${\rm Prof}(\Lambda^{\rm Ab} \wr H),$ where $\Lambda^{\rm Ab}=\Lambda/ [\Lambda, \Lambda]$ is the abelianisation of $\Lambda.$ As examples, we compute ${\rm Bohr}(G)$ and ${\rm Prof}(G)$ when G is a lamplighter group and when G is the Heisenberg group over a unital commutative ring.

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}))$.