More Like this

1. 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
2. Finiteness properties for relatives of braided Higman–Thompson groups

   https://doi.org/10.4171/GGD/731  

   Skipper, Rachel; Wu, Xiaolei (September 2023, Groups, Geometry, and Dynamics)

   We study the finiteness properties of the braided Higman–Thompson groupbV_{d,r}(H)with labels inH\leq B_d, andbF_{d,r}(H)andbT_{d,r}(H)with labels inH\leq PB_d, whereB_dis the braid group withdstrings andPB_dis its pure braid subgroup. We show that for alld\geq 2andr\geq 1, the groupbV_{d,r}(H)(resp.bT_{d,r}(H)orbF_{d,r}(H)) is of typeF_nif and only ifHis. Our result in particular confirms a recent conjecture of Aroca and Cumplido. 

   more » « less
3. 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
4. Compact quantum group structures on type-I $$\mathrm{C}^*$$-algebras

   https://doi.org/10.4171/jncg/516  

   Chirvasitu, Alexandru; Krajczok, Jacek; Sołtan, Piotr (August 2023, Journal of Noncommutative Geometry)

   We prove a number of results having to do with equipping type-I\mathrm{C}^*-algebras with compact quantum group structures, the two main ones being that such a compact quantum group is necessarily co-amenable, and that if the\mathrm{C}^*-algebra in question is an extension of a non-zero finite direct sum of elementary\mathrm{C}^*-algebras by a commutative unital\mathrm{C}^*-algebra then it must be finite-dimensional. 

   more » « less
5. Bohr sets in sumsets II: countable abelian groups

   https://doi.org/10.1017/fms.2023.49  

   Griesmer, John T.; Le, Anh N.; Lê, Thái Hoàng (July 2023, Forum of Mathematics, Sigma)

   Abstract We prove three results concerning the existence of Bohr sets in threefold sumsets. More precisely, lettingGbe 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)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)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)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 ofA(in (1)), or the number of sets in the given partition (in (2) and (3)). 

   more » « less