OpenFrontiers
← Back to the index
OP-0489OpenAnalysis

Noncommutative ergodic theory of higher rank lattices · 2022-ana-204

Functional Analysis · ICM 2022: Noncommutative ergodic theory of higher rank lattices

Source assessment · not reviewedAs of 2026-08-18Source & evidence ↓

Problem statement

Prove or disprove that the following holds. Let Λ\Lambda be a countable discrete group with Kazhdan's property (T)(T) such that the conjugacy class {hgh−1:h∈Λ}\{hgh^{-1}:h\in\Lambda\} of every element g∈Λ∖{e}g\in\Lambda\setminus\{e\} is infinite. For any discrete group GG, let λG:G→U(ℓ2(G))\lambda_G:G\to\mathcal U(\ell^2(G)) be its left regular representation, defined by (λG(g)ξ)(h)=ξ(g−1h)(\lambda_G(g)\xi)(h)=\xi(g^{-1}h), and let L(G)=λG(G)′′⊆B(ℓ2(G))\mathrm L(G)=\lambda_G(G)''\subseteq\mathcal B(\ell^2(G)) be the group von Neumann algebra, equivalently the weak-operator closure of the complex linear span of λG(G)\lambda_G(G). Then, for every discrete group Υ\Upsilon, an isomorphism of von Neumann algebras L(Λ)≅L(Υ)\mathrm L(\Lambda)\cong\mathrm L(\Upsilon) implies an isomorphism of groups Λ≅Υ\Lambda\cong\Upsilon.

Lean 4

Not yet attached

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 GG be a connected simple real Lie group with trivial center and real rank at least 22, and let Γ<G\Gamma<G be a lattice. For any discrete group HH, let L(H)=λH(H)′′\mathrm L(H)=\lambda_H(H)'' be the von Neumann algebra generated by the left regular representation λH\lambda_H of HH on ℓ2(H)\ell^2(H). Then, for every discrete group Λ\Lambda, an isomorphism of von Neumann algebras L(Γ)≅L(Λ)\mathrm L(\Gamma)\cong\mathrm L(\Lambda) implies an isomorphism of groups Γ≅Λ\Gamma\cong\Lambda.

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 i∈{1,2}i\in\{1,2\}, let GiG_i be a connected simple real Lie group with trivial center and real rank at least 22, and let Γi<Gi\Gamma_i<G_i be a lattice. For a discrete group HH, let L(H)=λH(H)′′\mathrm L(H)=\lambda_H(H)'' be the von Neumann algebra generated by the left regular representation λH\lambda_H of HH on ℓ2(H)\ell^2(H). If L(Γ1)≅L(Γ2)\mathrm L(\Gamma_1)\cong\mathrm L(\Gamma_2) as von Neumann algebras, then G1≅G2G_1\cong G_2 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 m,n≥3m,n\geq 3, the group von Neumann algebras L(PSL⁡m(Z))\mathrm L(\operatorname{PSL}_m(\mathbb Z)) and L(PSL⁡n(Z))\mathrm L(\operatorname{PSL}_n(\mathbb Z)) are isomorphic only if m=nm=n, where L(H)=λH(H)′′\mathrm L(H)=\lambda_H(H)'' denotes the von Neumann algebra generated by the left regular representation of a discrete group HH on ℓ2(H)\ell^2(H).

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 Γ\Gamma with Kazhdan's property (T)(T) such that every nonidentity conjugacy class in Γ\Gamma is infinite, there are only finitely many group-isomorphism classes of discrete groups Λ\Lambda satisfying L(Λ)≅L(Γ)\mathrm L(\Lambda)\cong\mathrm L(\Gamma), where L(H)=λH(H)′′\mathrm L(H)=\lambda_H(H)'' denotes the von Neumann algebra generated by the left regular representation of a discrete group HH on ℓ2(H)\ell^2(H).

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 d≥2d\geq 2, determine whether there exists p∈[1,∞]∖{2}p\in[1,\infty]\setminus\{2\} such that the noncommutative LpL^p-space Lp(L(SL⁡2d−1(Z)))L^p(\mathrm L(\operatorname{SL}_{2d-1}(\mathbb Z))), 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 L(H)=λH(H)′′\mathrm L(H)=\lambda_H(H)'' is the group von Neumann algebra of a discrete group HH.

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 (T)(T) is W∗W^*-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-(T)(T) 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: W∗W^*-superrigidity,” Annals of Mathematics 198 (2023), no. 3, 1261–1303, DOI 10.4007/annals.2023.198.3.6, arXiv:2111.04708. Their main W∗W^*-superrigidity theorem proves the statement for a natural family of property-(T)(T) wreath-like product groups and produces 2ℵ02^{\aleph_0} pairwise nonisomorphic examples. These were the first property-(T)(T) 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, “W∗W^*-superrigidity for property (T)(T) 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-(T)(T) 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 Γi\Gamma_i is a lattice in Sp⁡(ni,1)/{±1}\operatorname{Sp}(n_i,1)/\{\pm1\}, then L(Γ1)≅L(Γ2)\mathrm L(\Gamma_1)\cong\mathrm L(\Gamma_2) forces n1=n2n_1=n_2. 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 L(Γ)\mathrm L(\Gamma) and the boundary crossed product for a higher-rank lattice Γ\Gamma, 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 L(Γ)\mathrm L(\Gamma) alone determines Γ\Gamma.

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 L(Λ)≅L(Υ)\mathrm L(\Lambda)\cong\mathrm L(\Upsilon) forces Λ≅Υ\Lambda\cong\Upsilon.

References
  1. [1]ICM Conjectures · 2022-ana-204 link
  2. [2]ICM 2022: Noncommutative ergodic theory of higher rank lattices link

Recorded progress

Add yours →

Nothing recorded yet. A pointer to a paper the entry is missing counts.

Machine attempts

0 recorded

Attempts 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 notes

Notes 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.