More Like this

1. Fell’s absorption principle for semigroup operator algebras

   https://doi.org/10.4171/JNCG/566  

   Katsoulis, Elias G (April 2025, Journal of Noncommutative Geometry)

   Cuntz, J (Ed.)

   Fell’s absorption principle states that the left regular representation of a group absorbs any unitary representation of the group when tensored with it. In a weakened form, this result carries over to the left regular representation of a right LCM submonoid of a group and its Nica-covariant isometric representations but it fails if the semigroup does not satisfy independence. In this paper, we explain how to extend Fell’s absorption principle to an arbitrary submonoidPof a groupGby using an enhanced version of the left regular representation. Li’s semigroup\mathrm{C}^{*}-algebra\mathrm{C}^{*}_{s}(P)and its representations appear naturally in our context. Using the enhanced left regular representation, we not only provide a very concrete presentation for the reduced object for\mathrm{C}^{*}_{s}(P)but we also resolve open problems and obtain very transparent proofs of earlier results. In particular, we address the non-selfadjoint theory and we show that the non-selfadjoint object attached to the enhanced left regular representation coincides with that of the left regular representation. We obtain a non-selfadjoint version of Fell’s absorption principle involving the tensor algebra of a semigroup and we use it to improve recent results of Clouâtre and Dor-On on the residual finite dimensionality of certain\mathrm{C}^{*}-algebras associated with such tensor algebras. As another application, we give yet another proof for the existence of a\mathrm{C}^{*}-algebra which is co-universal for equivariant, Li-covariant representations of a submonoidPof a groupG. 

   more » « less
2. Equivariant Infinite Loop Space Theory: The Space Level Story

   https://doi.org/10.1090/memo/1540  

   May, J; Merling, Mona; Osorno, Angélica (January 2025, Memoirs of the American Mathematical Society)

   We rework and generalize equivariant infinite loop space theory, which shows how to construct $G$-spectra from $G$-spaces with suitable structure. There is a classical version which gives classical $\mathrm{\Omega <\#comment/>}$- $G$-spectra for any topological group $G$, but our focus is on the construction of genuine $\mathrm{\Omega <\#comment/>}$- $G$-spectra when $G$is finite. We also show what is and is not true when $G$is a compact Lie group. We give new information about the Segal and operadic equivariant infinite loop space machines, supplying many details that are missing from the literature, and we prove by direct comparison that the two machines give equivalent output when fed equivalent input. The proof of the corresponding nonequivariant uniqueness theorem, due to May and Thomason, works for classical $G$-spectra for general $G$but fails for genuine $G$-spectra. Even in the nonequivariant case, our comparison theorem is considerably more precise, giving an illuminating direct point-set level comparison. We have taken the opportunity to update this general area, equivariant and nonequivariant, giving many new proofs, filling in some gaps, and giving a number of corrections to results and proofs in the literature. 

   more » « less
3. Cyclic base change of cuspidal automorphic representations over function fields

   https://doi.org/10.1112/S0010437X24007243  

   Böckle, Gebhard; Feng, Tony; Harris, Michael; Khare, Chandrashekhar B; Thorne, Jack A (September 2024, Compositio Mathematica)

   Let$$G$$be a split semisimple group over a global function field$$K$$. Given a cuspidal automorphic representation$$\Pi$$of$$G$$satisfying a technical hypothesis, we prove that for almost all primes$$\ell$$, there is a cyclic base change lifting of$$\Pi$$along any$$\mathbb {Z}/\ell \mathbb {Z}$$-extension of$$K$$. Our proof does not rely on any trace formulas; instead it is based on using modularity lifting theorems, together with a Smith theory argument, to obtain base change for residual representations. As an application, we also prove that for any split semisimple group$$G$$over a local function field$$F$$, and almost all primes$$\ell$$, any irreducible admissible representation of$$G(F)$$admits a base change along any$$\mathbb {Z}/\ell \mathbb {Z}$$-extension of$$F$$. Finally, we characterize local base change more explicitly for a class of toral representations considered in work of Chan and Oi. 

   more » « less
4. Stable functions and Følner’s Theorem

   https://doi.org/10.1090/proc/17317  

   Conant, Gabriel (August 2025, Proceedings of the American Mathematical Society)

   We show that if $G$is an amenable group and $A\subseteq <\#comment/>G$has positive upper Banach density, then there is an identity neighborhood $B$in the Bohr topology on $G$that is almost contained in $A{A}^{\text{-}1}$in the sense that $B\mathrm{\setminus <\#comment/>}A{A}^{\text{-}1}$has upper Banach density $0$. This generalizes the abelian case (due to Følner) and the countable case (due to Beiglböck, Bergelson, and Fish). The proof is indirectly based on local stable group theory in continuous logic. The main ingredients are Grothendieck’s double-limit characterization of relatively weakly compact sets in spaces of continuous functions, along with results of Ellis and Nerurkar on the topological dynamics of weakly almost periodic flows. 

   more » « less
5. Block mapping class groups and their finiteness properties

   https://doi.org/10.1007/s10711-025-00985-9  

   Aramayona, J; Aroca, J; Cumplido, M; Skipper, R; Wu, X (April 2025, Geometriae Dedicata)

   Abstract Given$$g \in \mathbb N \cup \{0, \infty \}$$ $g\in N\cup \{0,\infty \}$, let$$\Sigma _g$$ ${\Sigma }_g$denote the closed surface of genusgwith a Cantor set removed, if$$g<\infty $$ $g<\infty$; or the blooming Cantor tree, when$$g= \infty $$ $g=\infty$. We construct a family$$\mathfrak B(H)$$ $B\left(H\right)$of subgroups of$${{\,\textrm{Map}\,}}(\Sigma _g)$$ $\text{Map}\left({\Sigma }_g\right)$whose elements preserve ablock decompositionof$$\Sigma _g$$ ${\Sigma }_g$, andeventually like actlike an element ofH, whereHis a prescribed subgroup of the mapping class group of the block. The group$$\mathfrak B(H)$$ $B\left(H\right)$surjects onto an appropriate symmetric Thompson group of Farley–Hughes; in particular, it answers positively. Our main result asserts that$$\mathfrak B(H)$$ $B\left(H\right)$is of type$$F_n$$ $F_n$if and only ifHis. As a consequence, for every$$g\in \mathbb N \cup \{0, \infty \}$$ $g\in N\cup \{0,\infty \}$and every$$n\ge 1$$ $n\ge 1$, we construct a subgroup$$G <{{\,\textrm{Map}\,}}(\Sigma _g)$$ $G<\text{Map}\left({\Sigma }_g\right)$that is of type$$F_n$$ $F_n$but not of type$$F_{n+1}$$ $F_{n+1}$, and which contains the mapping class group of every compact surface of genus$$\le g$$ $\le g$and with non-empty boundary. 

   more » « less