### Q2: CE and Vanishing 2-Cohomology for

I resume here my comments on the eight questions pertaining to the hyperfinite II factor listed in an early September 2020 blog-entry. I have labelled the questions Q1-Q8 and have already discussed Q1. I will now discuss Q2, which is about an equivalent formulation of the Connes Embedding (CE) problem. It is a re-iteration of comments I made in a June 2019 Blog-entry, but with more details. I am grateful to Stefaan Vaes for lots of useful feed-back.

The starting point of this remark is the well known fact that any automorphism of the hyperfinite II factor is approximately inner, thus being implemented by a unitary in the normalizer of in (i.e., Ad on ). Since , it follows that normalizes the centralizer factor ([C75]) as well.

The bicommutant relation (implicit in [C75], [C76]; for a complete proof see for instance Section 2 in [P13]) implies that Ad implements an outer automorphism on the centralizer factor iff on is outer, and if this is the case then the automorphism implemented by Ad on is outer. The choice of is of course not unique, but any other that implements on is a perturbation of by a unitary in . So the class of in Out is unique. Since is clearly a group morphism when viewed with values in Out, this gives a free cocycle action of on , with the corresponding crossed product II factor equal to the von Neumann algebra generated by in .

In case is a free action of a countable group (e.g., a Bernoulli action), this map provides a free cocycle-action on , with the corresponding 2-cocycle lying in . If the 2-cocycle is co-boundary, i.e. if there exist so that gives a representation of (N.B. This is equivalent to , ; it is also equivalent to being able to choose the unitaries , in a “group-manner”), then is clearly isomorphic to , with playing the role of the “canonical unitaries” in this crossed-product, implying that embeds into , so satisfies the CE property.

Conversely, since any in are unitary conjugate, with a unitary implementing the specific isomorphism , if then we may also assume the resulting copy of in goes on the constant sequences , thus the canonical unitaries are necessarily -perturbations of . Since they give a representation of , this means the 2-cocycle is co-boundary.

In other words, a crossed product II factor , corresponding to a free action of a group on , is CE if and only if the 2-cocycle , corresponding to the cocycle action of on (or just considered on ), is co-boundary. Or alternatively, iff the unitaries , can be chosen in a group-manner.

One should note that if one takes to be the Bernoulli action with base , the CE property for amounts to the wreath product group having the CE property (i.e., contains a copy of the left regular representation of ), whenever is an amenable ICC group, like .

I have made this remark some twenty years ago. For me it was an important moment, because after being convinced for many years that CE holds true, it made me change my mind to being convinced it was not true… I think that anybody who is familiar with Alain Connes’ invariant and his paper [C75], or with Vaughan Jones hand written *Notes on Connes’ Invariant * (https://math.berkeley.edu/~vfr/CHI/index.html) and his paper [J80], would have the reaction that such “universal vanishing 2-cohomology” for any action of a group on (equivalently, a group-manner choice of ), is very unlikely.

I have shared this remark with several colleagues over the years, but only made it public in [P18], where however I did not propose any concrete way of approaching CE from this angle. There are in fact several ways to go, all based on the idea of creating a framework similar to [P01], and using deformation-rigidity arguments.

I will explain here one such venue.

I’ll begin by only assuming is a free -action with the property that is embeddable into (so is CE), in other words that one can choose the implementing in a group-manner. By “doubling” them as one gets unitaries in the normalizer of in that implement the double action of on (in all that follows, tensor product notation means “von Neumann tensor product”). Assume in addition that has an s-malleable deformation (see [P01]), like for instance the case when is a Bernoulli -action with base . Denote the corresponding ultrapower actions they implement on . Note that while is a continuous -action on , its ultrapower is not necessarily continuous on (all) .

So far, all of this comes from the assumption that has CE property. But now I would also like that the unitaries are fixed by . This is because I am trying to create a framework where the deformation-rigidity arguments “a la [P01]” can be carried out. This means to choose the so that in addition to being group-like, they are so that the doubling lies in the fixed point algebra of .

At this point I should mention that if is the Bernoulli -action of base (or of base ) one can indeed choose each individual in this manner, by using permutation tensors and doubling them. But making this choice group-like is much harder. This is however easy to do for residually finite groups and more generally for “quotient-limits” of residually finite groups, i.e. for groups which are limits of a sequence of consecutive quotients of a group (like in Gromov’s well known construction of “many” simple groups with the property (T)), if one assumes each is residually finite.

Moreover, I would like the action implemented via Ad by on to have a large “interesting part” that’s -continuous and -invariant.

The continuous part of on is easily seen to be a von Neumann algebra. Identifying it is perhaps challenging. But one should not need all of this algebra. Note for instance that if is the s-malleable deformation of a Bernoulli -action with base , as in [P01], then if is so that have uniformly bounded “tensor-length” (i.e., supported by a tensor product of at most of the , for all , where ), then is -continuous. The von Neumann algebra of all such elements in is an AFD factor (non-separable!). Its doubling is normalized by when the unitaries that implement this action are chosen tensor permutations. (In fact, the algebra of all “bounded tensors” in is invariant to all “tensor-permutation” unitaries of the double form ).

Thus, it is possible to “create” out of a CE-type assumption (in the above, we have in fact used the stronger assumption that is a quotient limit of residually finite groups) a large AFD II factor with a -action on it , and with a (continuous) s-malleable deformation of , so that the double action commutes with this malleable deformation, in the spirit of [P01]. Note that this action is far from being ergodic on . The hope for this approach is that one could construct some 1-cocycle for the -action that “lives” on . If so, and if has property (T) and is simple, then one could use the argument in [P01], plus the fact that for such the double action is automatically weak mixing relative to its fixed points. This should imply that any such 1-cocycle is equivalent to a group morphism from into the fixed point algebra of . For simple with (T), this would be a contradiction, because the fixed point algebra is AFD.

Note that this already implies that not all hyperbolic groups are residually finite, thus settling a famous open problem in geometric group theory! But in order to show the existence of a group that’s not CE by using this line of thought, one needs to be able to “lift” as above, with its doubling lying in the fixed point algebra of . This is a first challenge for this approach. The second and much bigger challenge is to produce (one sided) 1-cocycles for .

Let me also recall here Remark 6.2.3 in [P18], where I have asked whether the whole free cocycle action of the group Out on has non-vanishing 2-cohomology. In other words, whether one can choose the , in a group-manner. This is of course much stronger than having CE property for all , with ICC amenable and countable group, and should definitely have a negative answer, but even this is still open for now.

**References**

- [C75] A. Connes:
*Sur la classification des facteurs de type*II, C. R. Acad. Sci. Paris Sr. A–B**281**(1975), A13–A15. - [C76] A. Connes:
*Classification of injective factors*, Ann. of Math.**104**(1976), 73–115. - [J80] V. Jones:
*A I*Math. Scand*I*factor anti-isomorphic to itself without involutory antiautomorphisms,*.,***46***.* - [P01] S. Popa:
*Some rigidity results for non-commutative Bernoulli shifts*, J. Fnal. Analysis**230**(2006), 273–328 (MSRI preprint No. 2001–005). - [P13] S. Popa:
*Independence properties in subalgebras of ultraproduct II factors*, Journal of Functional Analysis**266**(2014), 5818–5846 (math.OA/1308.3982) - [P18] S. Popa:
*On the vanishing cohomology problem for cocycle actions of groups on II factors*, Ann. Ec. Norm Sup,**54**(2021), 409–445 (math.OA/1802.09964)