Ever since it has been defined by Murray and von Neumann in their famous “Rings of operators” papers some eight decades ago ([MvN36]-[MvN43]), the hyperfinite II factor played a central role in operator algebras (both C and W). It is certainly a mathematical object of fundamental importance.
Its construction as a limit of dyadic matrices, , makes it the natural non-commutative version of the probability measure space , and it perfectly illustrates the phenomenon of continuous dimension.
The hyperfinite factor is the only II factor that has so far been characterized by an abstract property: already identified in [MvN43] as the unique approximately finite dimensional (AFD) II factor, was then shown by Connes to even be the unique amenable II factor ([C76]). Since any II factor arising from “amenable data” is amenable as a II factor, this provides many ways of representing , most notably as group factors , arising from ICC (infinite conjugacy class) amenable groups , or as group measure space factors , arising from free ergodic probability measure preserving actions of amenable groups .
This provides the “most extreme”, and indeed the prototype, of the many-to-one paradigm for von Neumann algebras, where a large class of distinct geometric objects are shown to give rise to the same II factor, i.e., are all W–equivalent.
Connes theorem also implies that any II subfactor of is isomorphic to . When combined with the Murray-von Neumann result that embeds into any other factor (see [MvN43]), this shows that is the “smallest” II factor, with respect to the embedding order relation. As it turns out, a number of important problems in operator algebras can be reduced to constructing “special” embeddings of into factors, especially embeddings that satisfy various degrees of ergodicity properties (see [P19]). Some of these problems have been solved, but most of these “-ergodicity” questions are wide open.
In fact, despite being the “most understood II factor”, it is surprising how many questions about the hyperfinite II factor are still un-answered. I will comment on several of them, which I have grouped into eight parts, as follows:
- -ergodicity questions.
- CE and vanishing 2-cohomology for
- Bicommutant characterization of
- Can one embed discretely into ?
- Is quasidiagonal ?
- Malleability characterization of
- Classifying smooth and discrete dynamics on
- Symmetries of and the commuting square problem
Some of these questions are notoriously hard and long standing, and answering them would be a major achievement (e.g. , , ). The first question is somewhat vague as stated. I meant it as a “theme”, that in fact encompasses many sub-questions, which in turn are very specific and have deep consequences. While not of central importance, questions , , are intriguing. They illustrate well how mysterious the structure of still remains. Most certainly question has a negative answer, and it is quite surprising that this fact has not been established to this day.
My intention is to discuss these questions one by one, over several blog entries, including motivation, historical background, possible strategies to solve, etc. To a certain extent, the first three questions were also discussed in my recent papers ([P18], [P19], [P13]). But on this blog the style will be more informal and the comments more detailed.
For a “fast track” account of the basic results on the hyperfinite II factor, see:
(this is a series of lectures I have given at RIMS in Kyoto in April 2019, under the title “The ubiquitous hyperfinite II factor”).
- [C76] A. Connes: Classification of injective factors, Ann. of Math. 104 (1976), 73-115.
- [MvN36] F. Murray, J. von Neumann: On rings of operators, Ann. Math. 37 (1936), 116-229.
- [MvN43] F. Murray, J. von Neumann: On rings of operators IV, Ann. Math. 44 (1943), 716-808.
- [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, to appear in Ann. Ec. Norm. Super., math.OA/1802.09964
- [P19] S. Popa: On ergodic embeddings of factors, to appear in Communications Math. Phys., arXiv:1910.06923