OpenFrontiers
← Back to the index
OP-0474OpenAnalysis

Analysis on simple Lie groups and lattices · 2022-ana-189

Functional Analysis · ICM 2022: Analysis on simple Lie groups and lattices

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

Problem statement

For every integer n>4n>4, prove that the group von Neumann algebras L(SL3(Z))\mathcal L(\mathrm{SL}_3(\mathbb Z)) and L(PSLn(Z))\mathcal L(\mathrm{PSL}_n(\mathbb Z)) are not isomorphic as von Neumann algebras, where, for a discrete group Γ\Gamma, L(Γ)\mathcal L(\Gamma) denotes the weak-operator closure in B(ℓ2(Γ))B(\ell^2(\Gamma)) of the linear span of the left regular representation of Γ\Gamma.

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 there exists an exponent p∈[1,∞]∖{2}p\in[1,\infty]\setminus\{2\} such that the noncommutative LpL_p-space X=Lp(L(SL3(Z)))X=L_p(\mathcal L(\mathrm{SL}_3(\mathbb Z))) has the operator space approximation property; that is, whether there is a net of finite-rank maps Fi:X→XF_i:X\to X such that (id⁡K(ℓ2)⊗Fi)(x)→x(\operatorname{id}_{\mathcal K(\ell^2)}\otimes F_i)(x)\to x in norm for every x∈K(ℓ2)⊗min⁡Xx\in\mathcal K(\ell^2)\otimes_{\min}X, where K(ℓ2)\mathcal K(\ell^2) is the algebra of compact operators on ℓ2\ell^2 and L(SL3(Z))\mathcal L(\mathrm{SL}_3(\mathbb Z)) is the weak-operator closure in B(ℓ2(SL3(Z)))B(\ell^2(\mathrm{SL}_3(\mathbb Z))) of the linear span of the left regular representation of SL3(Z)\mathrm{SL}_3(\mathbb Z).

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.

The problem is unresolved. Since SL3(Z)\mathrm{SL}_3(\mathbb Z) has trivial center, it is PSL3(Z)\mathrm{PSL}_3(\mathbb Z), so the assertion is a subfamily of Connes' still-open rigidity problem asking whether the factors L(PSLm(Z))\mathcal L(\mathrm{PSL}_m(\mathbb Z)) and L(PSLn(Z))\mathcal L(\mathrm{PSL}_n(\mathbb Z)) can be isomorphic only when m=nm=n. No proof or counterexample covering any of the requested integers n>4n>4 was found.

The strongest progress supplies a possible invariant but does not yet distinguish the factors. Vincent Lafforgue and Mikael de la Salle, Noncommutative LpL^p-spaces without the completely bounded approximation property, Duke Mathematical Journal 160 (2011), 71-116, DOI 10.1215/00127094-1443478, prove that Lp(L(SL3(Z)))L_p(\mathcal L(\mathrm{SL}_3(\mathbb Z))) fails the operator space approximation property, and hence the completely bounded approximation property, for p>4p>4 (and, by duality, for p<4/3p<4/3). This gives no separation in those ranges because the corresponding high-rank factors also fail these properties there.

Tim de Laat and Mikael de la Salle, Approximation properties for noncommutative LpL^p-spaces of high rank lattices and nonembeddability of expanders, Journal fuer die reine und angewandte Mathematik 737 (2018), 49-69, DOI 10.1515/crelle-2015-0043, prove increasingly strong failure of the completely bounded approximation property as the rank grows. In the formulation later compiled for SLn\mathrm{SL}_n, failure holds for p>2+2/⌊(n−1)/2⌋p>2+2/\lfloor (n-1)/2\rfloor. Thus every n>4n>4 is covered for p>3p>3, whereas the established threshold for SL3\mathrm{SL}_3 is only p>4p>4. A positive approximation result for Lp(L(SL3(Z)))L_p(\mathcal L(\mathrm{SL}_3(\mathbb Z))) at some 3<p≤43<p\leq4 would therefore settle the stated nonisomorphisms, but none is known.

Mikael de la Salle, Analysis on simple Lie groups and lattices, Proceedings of the International Congress of Mathematicians 2022, Volume 4 (EMS Press, 2023), 3166-3188, DOI 10.4171/ICM2022/160, explicitly presents this missing near-22 LpL_p-multiplier regime as the obstacle to distinguishing L(SL3(Z))\mathcal L(\mathrm{SL}_3(\mathbb Z)) from L(PSLn(Z))\mathcal L(\mathrm{PSL}_n(\mathbb Z)) for n>4n>4.

The current gap is confirmed and sharpened by two recent sources. Javier Parcet, The impact of Schur multipliers in harmonic analysis and operator algebras, Proceedings of the International Congress of Mathematicians 2026, Volume 4 (2026), DOI 10.1137/25M1803371, Problem 3.3, still asks whether the relevant Fourier critical index is greater than 22. Mikael de la Salle, Kakeya conjecture and High-Rank Lattice von Neumann algebras, 2026, arXiv:2602.14623, Question 1.1 and Theorem 1.3, likewise leaves the noncommutative LpL_p operator space approximation problem open and proves that a positive answer in rank 2d−12d-1 would imply a Kakeya-type conjecture in dimension dd. These results underscore the difficulty but do not resolve the stated factor nonisomorphism.

References
  1. [1]ICM Conjectures · 2022-ana-189 link
  2. [2]ICM 2022: Analysis on simple Lie groups and 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.