Weyl groups and rigidity of von Neumann algebras

Adrian Ioana; Cyril Houdayer

arxiv: 2508.08194 · v3 · pith:NWQG6G6Gnew · submitted 2025-08-11 · 🧮 math.OA · math.DS· math.GR

Weyl groups and rigidity of von Neumann algebras

Cyril Houdayer , Adrian Ioana This is my paper

Pith reviewed 2026-05-21 22:55 UTC · model grok-4.3

classification 🧮 math.OA math.DSmath.GR

keywords von Neumann algebrasWeyl groupsrigiditysemisimple algebraic groupsirreducible latticesgroup measure space constructionsnonsingular actions

0 comments

The pith

The automorphisms of the crossed-product von Neumann algebra that fix the embedded group algebra are precisely the Weyl group of G.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper constructs the group measure space von Neumann algebra ℳ from the nonsingular action of an irreducible lattice Γ on the homogeneous space G/H, where G is a noncompact semisimple algebraic group with trivial center, S a maximal split torus, and H its centralizer. It then identifies the group of unital normal *-automorphisms of ℳ that act as the identity on the subalgebra M = L(Γ) with the Weyl group W_G of G. This supplies a noncommutative counterpart to the rigidity theorem of Bader-Furman-Gorodnik-Weiss for the corresponding classical actions and supplies concrete information relevant to Connes' rigidity conjecture for higher-rank lattices.

Core claim

The group Aut_M(ℳ) of all unital normal *-automorphisms of ℳ that fix M pointwise is isomorphic to the Weyl group W_G of the semisimple algebraic group G.

What carries the argument

The group Aut_M(ℳ) of automorphisms of the crossed-product algebra ℳ that fix the subalgebra M, shown to be isomorphic to the Weyl group W_G via the structure of the nonsingular action Γ ↷ G/H.

If this is right

The result gives a noncommutative analogue of the classical rigidity theorem for actions on algebraic homogeneous spaces.
It supplies new information toward Connes' rigidity conjecture for higher-rank lattices.
The isomorphism identifies a precise algebraic object that controls all M-fixing automorphisms of the ambient von Neumann algebra.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same identification may extend to other nonsingular actions whose orbit equivalence relations share the same Cartan subalgebra structure.
One could test the result by computing the outer automorphism group for low-dimensional examples such as SL(3,ℝ) lattices.
The rigidity may imply that certain deformation/rigidity techniques cannot produce extra automorphisms beyond the Weyl group.

Load-bearing premise

G must be a noncompact semisimple algebraic group with trivial center, S a maximal split torus, H its centralizer, and Γ an irreducible lattice so that the action on G/H is nonsingular and the algebras are well-defined.

What would settle it

An explicit computation or counter-example showing that Aut_M(ℳ) is strictly larger or smaller than W_G for some concrete choice of G, S, H and Γ satisfying the stated hypotheses.

read the original abstract

Let $G$ be a noncompact semisimple algebraic group with trivial center, $S < G$ a maximal split torus, $H < G$ the centralizer of $S$ in $G$ and $\Gamma < G$ an irreducible lattice. Consider the group measure space von Neumann algebra $\mathscr M = \operatorname{L}(\Gamma \curvearrowright G/H)$ associated with the nonsingular action $\Gamma \curvearrowright G/H$ and regard the group von Neumann algebra $M = \operatorname{L}(\Gamma)$ as a von Neumann subalgebra $M \subset \mathscr M$. We show that the group $\operatorname{Aut}_M(\mathscr M)$ of all unital normal $\ast$-automorphisms of $\mathscr M$ acting identically on $M$ is isomorphic to the Weyl group $\mathscr W_G$ of the semisimple algebraic group $G$. Our main theorem is a noncommutative analogue of a rigidity result of Bader-Furman-Gorodnik-Weiss for group actions on algebraic homogeneous spaces and moreover gives new insight towards Connes' rigidity conjecture for higher rank lattices.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The result boils down to lifting the known classification of equivariant automorphisms from the classical Bader-Furman-Gorodnik-Weiss theorem to the von Neumann algebra setting via crossed products.

read the letter

The main thing here is that Houdayer and Ioana show Aut_M(ℳ) ≅ W_G for the crossed product von Neumann algebra coming from an irreducible lattice Γ acting on G/H, where M is the group von Neumann algebra L(Γ). They frame this as a noncommutative analogue of the earlier rigidity theorem for the underlying action on the homogeneous space. The setup with the semisimple group G, maximal split torus S, and centralizer H is standard and ensures the action is nonsingular so the crossed product is well-defined. This gives a clean, explicit identification of the automorphism group, which is useful for seeing how rigidity behaves in the operator algebra context. It also nods toward Connes' rigidity conjecture for higher-rank lattices, which is a worthwhile direction to highlight. The soft spot is that the argument relies on the standard fact that any *-automorphism of the crossed product fixing the unitaries from M restricts to a Γ-equivariant automorphism of L^∞(G/H), and those are already classified by the Weyl group in the classical work. Once that correspondence is in place, the lift is fairly direct and does not require major new deformation or rigidity machinery. This is not a flaw in the logic, but it means the novelty sits more in the formulation and the statement than in breaking fresh technical ground. The connection to the conjecture stays at the level of a pointer rather than a detailed development. This paper is aimed at people working in von Neumann algebra rigidity, especially those who follow Popa-style techniques or results involving lattices and algebraic groups. A reader already comfortable with crossed products and equivariant actions would get the most out of it and might see ways to push the idea further. It deserves a serious referee because the statement is precise, the hypotheses are clear, and the result adds a concrete noncommutative example worth having in the literature.

Referee Report

1 major / 2 minor

Summary. The paper proves that for a noncompact semisimple algebraic group G with trivial center, S a maximal split torus, H its centralizer, and Γ an irreducible lattice, the automorphism group Aut_M(ℳ) of the crossed product von Neumann algebra ℳ = L(Γ ↷ G/H), where M = L(Γ), is isomorphic to the Weyl group W_G. This is presented as a noncommutative analogue of the Bader-Furman-Gorodnik-Weiss rigidity result for group actions on algebraic homogeneous spaces, offering insight into Connes' rigidity conjecture.

Significance. The result, if it holds, provides a rigidity theorem in the setting of von Neumann algebras that parallels classical results in ergodic theory. By reducing the automorphism group to the Weyl group via the standard correspondence between *-automorphisms and equivariant maps on the base space, it strengthens the case for rigidity phenomena in crossed products associated to higher rank lattices. The manuscript credits the classical result appropriately and uses parameter-free derivations from prior work.

major comments (1)

[§4 (main proof)] The reduction showing that any *-automorphism in Aut_M(ℳ) corresponds to a measurable Γ-equivariant automorphism of G/H (and hence to an element of W_G) is load-bearing for the central claim; the manuscript should verify that this correspondence holds without additional assumptions in the von Neumann algebra context.

minor comments (2)

[Introduction] Clarify in the introduction how the nonsingular property of the action Γ ↷ G/H follows from the hypotheses on G and Γ.
[References] Ensure the citation to Bader-Furman-Gorodnik-Weiss is complete and correctly referenced in the bibliography.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript, the positive assessment of its significance, and the recommendation of minor revision. We address the major comment below.

read point-by-point responses

Referee: [§4 (main proof)] The reduction showing that any *-automorphism in Aut_M(ℳ) corresponds to a measurable Γ-equivariant automorphism of G/H (and hence to an element of W_G) is load-bearing for the central claim; the manuscript should verify that this correspondence holds without additional assumptions in the von Neumann algebra context.

Authors: We agree that this reduction is central to the argument and thank the referee for pointing out the need for greater explicitness. The correspondence between elements of Aut_M(ℳ) and measurable Γ-equivariant automorphisms of the base space G/H is a standard consequence of the structure theory of crossed-product von Neumann algebras: any such automorphism must normalize the Cartan subalgebra L^∞(G/H) (which is the relative commutant M' ∩ ℳ) and is therefore implemented by a unitary in the normalizer whose implementing map on the spectrum is Γ-equivariant. This identification holds for any nonsingular action of a discrete group on a standard probability space and requires no further assumptions such as essential freeness or ergodicity beyond those already present in the setup (the action Γ ↷ G/H is in fact essentially free). To make the reduction fully self-contained, we will add a short lemma in §4 that recalls this general fact, sketches the necessary steps in the von Neumann algebra language, and confirms that the passage to the Weyl group W_G proceeds exactly as in the classical Bader–Furman–Gorodnik–Weiss theorem. Appropriate references to the operator-algebraic literature on Cartan subalgebras and normalizers will be included. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external classical rigidity

full rationale

The paper derives Aut_M(ℳ) ≅ W_G by invoking the standard correspondence that any *-automorphism of the crossed product fixing the generators of M = L(Γ) restricts to a Γ-equivariant automorphism of L^∞(G/H), which by the cited Bader-Furman-Gorodnik-Weiss theorem must be induced by an element of the Weyl group. This reduction uses the external classical result on measurable equivariant maps for the given algebraic homogeneous space action, together with the standard crossed-product construction under the stated hypotheses on G, S, H, and Γ. No step equates a prediction to a fitted input by construction, renames a known pattern, or depends on a self-citation chain for the core isomorphism. The result is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard background facts from algebraic group theory and lattice theory together with the construction of the group measure space von Neumann algebra; no free parameters, new entities, or ad-hoc axioms are visible in the abstract.

axioms (1)

standard math Standard properties of noncompact semisimple algebraic groups with trivial center, maximal split tori, their centralizers, and irreducible lattices.
These background facts from algebraic groups and lattice theory are invoked to set up the action and the von Neumann algebra.

pith-pipeline@v0.9.0 · 5728 in / 1362 out tokens · 91106 ms · 2026-05-21T22:55:46.806538+00:00 · methodology

Weyl groups and rigidity of von Neumann algebras

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)