Arxiv:2104.04826V1 [Math.OA]
Total Page:16
File Type:pdf, Size:1020Kb
VON NEUMANN ALGEBRAS OF THOMPSON-LIKE GROUPS FROM CLONING SYSTEMS ELI BASHWINGER AND MATTHEW C. B. ZAREMSKY Abstract. We prove a variety of results about the group von Neumann algebras asso- ciated to Thompson-like groups arising from so called d-ary cloning systems. Cloning systems are a framework developed by Witzel and the second author, with a d-ary version subsequently developed by Skipper and the second author, which can be used to construct generalizations of the classical Thompson’s groups F , T , and V . Given a family of groups (Gn)n∈N with a d-ary cloning system, we get a Thompson-like group Td(G), and in this paper we find some mild, natural conditions under which the group von Neumann alge- bra (Td(G)) has desirable properties. For instance, if the d-ary cloning system is “fully L compatible” and “diverse” then we prove that (Td(G∗)) is a type II1 factor. If moreover L the d-ary cloning system is “uniform” and “slightly pure” then we prove (Td(G∗)) is L even a McDuff factor, so Td(G∗) is inner amenable. Examples of d-ary cloning systems satisfying these conditions are easy to come by, and include many existing examples, for instance our results show that for bV and bF the Brin–Dehornoy braided Thompson group and pure braided Thompson group, (bV ) and (bF ) are type II1 factors and (bF ) is McDuff. In particular we get the surprisingL resultL that bF is inner amenable. L Introduction The main goal of this paper is to produce an array of new examples of group von Neumann algebras that are type II1 factors, and even McDuff factors. The examples come from groups denoted Td(G∗), which are members of the extended family of Thompson’s groups, and arise by finding a so called d-ary cloning system on a family of groups (Gn)n∈N. Cloning systems were developed by the second author with Stefan Witzel in [WZ18] (see also [Wit19] and [Zar18]), and generalized to d-ary cloning systems by the second author and Rachel Skipper in [SZ21]. They have since proved useful in a variety of contexts, for arXiv:2104.04826v1 [math.OA] 10 Apr 2021 example producing simple groups separated by finiteness properties [SWZ19], inspecting inheritance properties of (bi-)orderability [Ish18], and producing potential counterexamples to the conjecture that every co group embeds into Thompson’s group V [BZFG+18]. The group von Neumann algebrasCF of the classical Thompson groups F , T , and V are all type II1 factors, as the groups are ICC (meaning every non-trivial conjugacy class is infinite). The group von Neumann algebra of F was shown to even be a McDuff factor by Jolissaint in [Jol98], and so F is inner amenable. This general picture informs our results. Date: April 13, 2021. 2010 Mathematics Subject Classification. Primary 46L10; Secondary 20F65. Key words and phrases. Group von Neumann algebra, type II1 factor, McDuff factor, ICC, inner amenable, Thompson group, cloning system. 2 E.BASHWINGERANDM.C.B.ZAREMSKY Thompson-like groups arising from d-ary cloning systems tend to be “F -like” or “V -like” (or somewhere in between, although to some extent this should also be considered V -like). We show that any Td(G∗) satisfying some mild hypotheses is ICC and so yields a type II1 factor, and the F -like ones even yield McDuff factors. In particular this shows that the F -like ones are inner amenable. Note that T and V are not inner amenable, as proved by Haagerup–Olesen [HO17]. More precisely, our main results are as follows. First we see that, in the “fully compati- ble” case (Definition 2.4), if the Gn themselves are ICC then Td(G∗) is too: n Theorem 3.1. Let ((Gn)n∈N, (ρn)n∈N, (κk )k≤n) be a fully compatible d-ary cloning system. If all the Gn are ICC then so is Td(G∗). Even if the Gn are not ICC (as in many easy examples), adding a natural hypothesis that the d-ary cloning system is “diverse” (Definition 3.3) implies that Td(G∗) is nonetheless ICC: n Theorem 3.6. Let ((Gn)n∈N, (ρn)n∈N, (κk )k≤n) be a d-ary cloning system. Assume that it is fully compatible and diverse. Then Td(G∗) is ICC. Finally, in the fully compatible, “slightly pure” case (Definition 5.7), an additional nat- ural assumption called “uniformity” (Definition 5.2) ensures that the group von Neumann algebra (T (G∗)) of T (G∗) is McDuff: L d d n Theorem 5.10. Let ((Gn)n∈N, (ρn)n∈N, (κk )k≤n) be a fully compatible, slightly pure, uni- form d-ary cloning system. Assume either that all the Gn are ICC, or that the d-ary cloning system is diverse (so in either case T (G∗) is ICC). Then (T (G∗)) is a McDuff factor d L d and Td(G∗) is inner amenable. It is notable that whether the Gn are ICC or not, or whether the (Gn) are McDuff or not, does not matter much, as long as these mild conditions on the dL-ary cloning systems are met. For example, we prove that the braided Thompson group bF (see Subsection 4.2) is inner amenable and (bF ) is a McDuff factor, even though pure braid groups are not L even ICC. We also prove that a close relative of V denoted V (Example 5.8) is inner amenable, somewhat surprisingly. We remark that groups yielding McDuff factors are somewhatb rare among groups stud- ied in geometric group theory, so Thompson-like groups are unusual in this regard. For example, a large class of groups studied in geometric group theory are acylindrically hyper- bolic, and Dahmani–Guirardel–Osin proved in [DGO17, Theorem 8.14] that acylindircally hyperbolic ICC groups cannot be inner amenable, and so cannot yield McDuff type II1 factors. This paper is organized as follows. In Section 1 we recall the relevant background on group von Neumann algebras, type II1 factors, and McDuff factors, and in Section 2 we recall the background on d-ary cloning systems. In Section 3 we prove Theorems 3.1 and 3.6, and in Section 4 we present many resulting examples of type II1 factors. In Section 5 we prove Theorem 5.10, and present many resulting examples of McDuff factors. Finally, in Section 6 we pose a number of naturally arising questions. VON NEUMANN ALGEBRAS OF THOMPSON-LIKE GROUPS FROM CLONING SYSTEMS 3 Acknowledgments. We are very grateful to Jon Bannon for myriad helpful discussions on the general theory of von Neumann algebras. The second author is supported by grant #635763 from the Simons Foundation. 1. Group von Neumann algebras In this section we recall some background on group von Neumann algebras. Unless specified otherwise, everything in this section is drawn from [Jol98] and [Pic06]. A von Neumann algebra M is a -subalgebra of bounded linear operators on some Hilbert space that is closed with respect∗ to the weak operator topology. A robust source of von Neumann algebras is given by the group von Neumann algebra (G) of a countable discrete group G. (In what follows, not every result will be dependentL on G being countable, but enough of them will be that we will just impose a general rule that all groups we consider here are countable.) This is constructed as follows. Let ℓ2(G) be the Hilbert space ℓ2(G) := ψ : G C ψ(g) 2 < { → | | | ∞} Xg∈G with inner product φ, ψ := φ(g)ψ(g). Clearly G acts faithfully on ℓ2(G) by bounded h i gP∈G linear (unitary) operators, so C[G] is a subalgebra of the algebra (ℓ2(G)) of bounded linear operators. B Definition 1.1 (Group von Neumann algebra). The group von Neumann algebra (G) of G is the closure of C[G] in (ℓ2(G)) with respect to the weak operator topology. L B 2 Let δe ℓ (G) be the usual function sending the identity e G to 1 and all other g to 0. Define∈ a faithful, normal trace tr: (G) C via tr(L) := L∈(δ ), δ . From this we get L → h e ei the Hilbertian norm L := tr(L∗L). Note that for any e = g G we have tr(g) = 0, || ||2 6 ∈ and for any g = h in G we havep g h = √2. 6 || − ||2 1.1. Type II1 factors and ICC. An especially important kind of von Neumann algebra is the following: Definition 1.2 (Type II1 factor). A von Neumann algebra M is called a factor if its center is trivial, meaning the only elements of M commuting with every element of M are the scalar multiples of the identity operator. A factor is of type II1 if it is infinite dimensional and admits a trace state. See, e.g., [Pop07] for many more details on type II1 factors, and their applications in a wide array of fields. It turns out (given that we are restricting to countable groups) that (G) is a type II1 factor if and only if G is ICC, defined as follows. L Definition 1.3. A group is said to be ICC if the conjugacy class of every non-trivial element is infinite. Since an element has finite conjugacy class if and only if its centralizer has finite index, a group being ICC is equivalent to the property that the only element whose centralizer has finite index is the identity. This is turn is equivalent to the property that every finite index subgroup has trivial center.