Noncommutative ergodic theory of higher rank lattices · 2022-ana-204
Functional Analysis · ICM 2022: Noncommutative ergodic theory of higher rank lattices
Problem statement
Prove or disprove that the following holds. Let be a countable discrete group with Kazhdan's property such that the conjugacy class of every element is infinite. For any discrete group , let be its left regular representation, defined by , and let be the group von Neumann algebra, equivalently the weak-operator closure of the complex linear span of . Then, for every discrete group , an isomorphism of von Neumann algebras implies an isomorphism of groups .
Lean 4
No Lean statement or proof is attached yet. Have a formalization? Share its source to add it to this problem.
Remaining questions in this record
Remaining questions recorded by the source
These are retained within the parent record and are not counted as additional index entries.
Question 1
Determine whether the following holds. Let be a connected simple real Lie group with trivial center and real rank at least , and let be a lattice. For any discrete group , let be the von Neumann algebra generated by the left regular representation of on . Then, for every discrete group , an isomorphism of von Neumann algebras implies an isomorphism of groups .
Source reference: Jesse Peterson, “Problems on rigidity in von Neumann algebras,” in Open problems, Vanderbilt University online problem list, 2024, Problem R.1 (Connes's rigidity conjecture for higher-rank lattices), https://math.vanderbilt.edu/peters10/problems.html.
Question 2
Determine whether the following holds. For , let be a connected simple real Lie group with trivial center and real rank at least , and let be a lattice. For a discrete group , let be the von Neumann algebra generated by the left regular representation of on . If as von Neumann algebras, then as Lie groups.
Source reference: Cyril Houdayer, “Noncommutative ergodic theory of higher rank lattices,” Proceedings of the International Congress of Mathematicians 2022, Vol. 4, EMS Press, 2023, pp. 3202–3223, Section 5 (Conjecture), DOI 10.4171/ICM2022/39, https://doi.org/10.4171/ICM2022/39.
Question 3
Determine whether, for all integers , the group von Neumann algebras and are isomorphic only if , where denotes the von Neumann algebra generated by the left regular representation of a discrete group on .
Source reference: Jesse Peterson, “Problems on rigidity in von Neumann algebras,” in Open problems, Vanderbilt University online problem list, 2024, Problem R.4, https://math.vanderbilt.edu/peters10/problems.html.
Question 4
Determine whether the following holds. For every countable discrete group with Kazhdan's property such that every nonidentity conjugacy class in is infinite, there are only finitely many group-isomorphism classes of discrete groups satisfying , where denotes the von Neumann algebra generated by the left regular representation of a discrete group on .
Source reference: Jesse Peterson, “Problems on rigidity in von Neumann algebras,” in Open problems, Vanderbilt University online problem list, 2024, Problem R.6, https://math.vanderbilt.edu/peters10/problems.html.
Question 5
For each integer , determine whether there exists such that the noncommutative -space , equipped with its canonical operator-space structure, has the operator approximation property; that is, whether its identity map is a stable point-norm limit of finite-rank maps. Here is the group von Neumann algebra of a discrete group .
Source reference: Mikael de la Salle, “Kakeya conjecture and High-Rank Lattice von Neumann algebras,” arXiv preprint, 2026, Question 1.1, arXiv:2602.14623, https://arxiv.org/abs/2602.14623.
Progress & source assessment
Source-reported assessment from the ICM catalogue snapshot. This is not an independent review by Frontier Science.
Verdict: unresolved. The statement is precisely Connes' rigidity conjecture, equivalently the assertion that every countable ICC group with Kazhdan's property is -superrigid. No proof for all such groups and no counterexample is known. A 2026 paper still states the universal assertion as Connes' Rigidity Conjecture and proves results only for additional wreath-like and central-extension hypotheses. Thus the known theorems do not exhaust the groups quantified over in the statement.
Origin of the problem. Alain Connes, “Classification des facteurs,” in Operator Algebras and Applications, Part 2 (Kingston, Ontario, 1980), Proceedings of Symposia in Pure Mathematics 38, Part 2, American Mathematical Society, 1982, pp. 43–109, Problem V.B.1, DOI 10.1090/pspum/038.2. Connes proposed that the group von Neumann algebra determines an ICC property- group up to group isomorphism.
Strongest direct positive progress. Ionuţ Chifan, Adrian Ioana, Denis Osin, and Bin Sun, “Wreath-like products of groups and their von Neumann algebras I: -superrigidity,” Annals of Mathematics 198 (2023), no. 3, 1261–1303, DOI 10.4007/annals.2023.198.3.6, arXiv:2111.04708. Their main -superrigidity theorem proves the statement for a natural family of property- wreath-like product groups and produces pairwise nonisomorphic examples. These were the first property- groups known to satisfy the conjecture, but the theorem requires the extra wreath-like structure.
Ionuţ Chifan, Adriana Fernández Quero, Denis Osin, and Hui Tan, “-superrigidity for property groups with infinite center,” Advances in Mathematics 496 (2026), Article 110979, DOI 10.1016/j.aim.2026.110979, arXiv:2503.12742. Theorem F strengthens the wreath-like result to certain cocycle-twisted group factors (and the paper proves related rigidity theorems for specified central extensions). It continues to formulate the universal ICC property- assertion as a conjecture, so these results do not close the general case.
Progress for lattice groups. Michael Cowling and Uffe Haagerup, “Completely bounded multipliers of the Fourier algebra of a simple Lie group of real rank one,” Inventiones Mathematicae 96 (1989), 507–549, DOI 10.1007/BF01393695. Their computation of the Cowling–Haagerup constant implies that if is a lattice in , then forces . This recovers an ambient rank parameter, not the lattice group itself.
Uri Bader, Rémi Boutonnet, and Cyril Houdayer, “Charmenability of higher rank arithmetic groups,” Annales Henri Lebesgue 6 (2023), 297–330, DOI 10.5802/ahl.166. Theorem 1.6 classifies the intermediate von Neumann algebras between and the boundary crossed product for a higher-rank lattice , so that this larger inclusion retains the ambient real rank. The paper explicitly notes that Connes' conjecture remains wide open for higher-rank lattices: the result concerns the larger boundary inclusion and does not show that alone determines .
The remaining gap is therefore the full universal quantifier: outside the special rigid families above, including standard higher-rank lattice examples, it is unknown whether every isomorphism forces .
Recorded progress
Add yours →Nothing recorded yet. A pointer to a paper the entry is missing counts.
Machine attempts
0 recordedAttempts run against the statement below and are recorded in full, including the failures. The point is to stop the next model — and the next person — from re-walking a road that is already known to end. Each attempt costs 25 credits.
No machine attempts recorded.
Sign in to run an attempt. New accounts start with enough credits for ten.
Discussion
0 notesNotes are for clarifying the statement, flagging a missing reference, or recording why an approach fails. Claimed solutions belong in a submission, where they can be reviewed.
No notes yet.
Sign in to add a note.