REVIEW 2 major objections 5 minor 13 references
Stationary characters on lattices of semisimple Lie groups
T0 review · 2 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read Any stationary character of an irreducible higher-rank lattice is conjugation invariant, hence a genuine character.
desk verdict Strong paper with a genuine noncommutative Nevo–Zimmer theorem; the one real spot to press is the terse invocation of [SZ98] in Claim 5.10. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the noncommutative Nevo–Zimmer dichotomy: an ergodic stationary action of a higher-rank semisimple Lie group on a von Neumann algebra either has a $G$-invariant state or admits a $G$-equivariant normal unital embedding of a boundary von Neumann algebra $L^\infty(G/Q,\nu_Q)$ for a proper parabolic subgroup $Q$. The proof of Theorem A feeds a GNS representation of an extreme stationary character into this dichotomy, and a lemma based on the boundary embedding and the uniqueness of the stationary measure on $G/Q$ forces the character to vanish off the center. The transfer from lattice to ambient Lie group uses a new induction theorem: an ergodic $(\Gamma,\mu_0)$-von Neumann algebra with a $\mu_0$-stationary faithful normal state induces a $\mu$-stationary faithful normal state on the induced $G$-von Neumann algebra, where $\mu$ is a $K$-invariant admissible measure; this observation is new even in the commutative setting. The noncommutative proof invokes tensor-slice maps, the essential range of measurable functions with values in a von Neumann algebra, and imported splitting theorems to reduce to the commutative case on the center.
What would settle it
Build an ergodic $(\Gamma,\mu_0)$-von Neumann algebra for an irreducible lattice in a higher-rank group, with a $\mu_0$-stationary faithful normal state $\varphi$ that is not $\Gamma$-invariant and for which no proper parabolic subgroup $Q$ admits a $\Gamma$-equivariant normal unital embedding of $L^\infty(G/Q,\nu_Q)$ into the algebra with $\varphi\circ\theta = \nu_Q$; this would directly falsify Theorem B. Alternatively, exhibit a $\mu_0$-character on such a lattice that is not conjugation invariant; this would falsify Theorem A and, because the proof of Theorem A derives non-invariance of characters from a violation of Theorem B, it would locate the failure in the dichotomy.
Extended reading notes
Core claim
On its own terms, the central claim is Theorem A: if $G$ is a connected semisimple Lie group with finite center, no compact factor, and all simple factors of real rank at least two, $\Gamma$ is any irreducible lattice, and $\mu_0$ is a Furstenberg probability measure on $\Gamma$, then every $\mu_0$-character on $\Gamma$ is conjugation invariant. The engine is Theorem B, a dichotomy for ergodic $(\Gamma,\mu_0)$-von Neumann algebras: either the stationary normal state is $\Gamma$-invariant, or there is a proper parabolic subgroup $Q$ and a $\Gamma$-equivariant normal unital embedding of $L^\infty(G/Q,\nu_Q)$ into the algebra pulling the state back to $\nu_Q$. The authors prove the $G$-version of this dichotomy (a noncommutative Nevo–Zimmer theorem) and then transfer it to lattices by an induction construction for stationary states. From the dichotomy they also recover a proof of the existing character rigidity theorem for such lattices, show that the left regular representation is weakly contained in every weakly mixing representation, and show that every uniformly recurrent subgroup is finite.
Load-bearing premise
The load-bearing premise is that a handful of imported results — the splitting theorems for tensor products of von Neumann algebras and the known boundary rigidity theorem for the ambient Lie group — apply to the specific algebras constructed in the proof; if any of those imports fails, the dichotomy in Theorem B collapses and Theorem A goes with it.
Editorial extensions
If this is right
- For any irreducible lattice $\Gamma$ in such a group $G$ with trivial center, the left regular representation $\lambda_\Gamma$ is weakly contained in every weakly mixing representation $\pi$ of $\Gamma$; equivalently, $C^*_\pi(\Gamma)$ has a unique tracial state and a unique maximal ideal.
- Every uniformly recurrent subgroup of $\Gamma$ is finite, so every minimal action of $\Gamma$ on a compact metrizable space is either finite or topologically free.
- Every ergodic stationary action of $\Gamma$ on a probability space is either measure-preserving or factors onto a proper parabolic boundary $G/Q$; faithful properly ergodic stationary actions are essentially free.
- The known character rigidity theorem for such lattices is recovered: every extreme character is either almost periodic or the Dirac character.
Reading between the lines
- Inference: the induction theorem relating $\Gamma$-stationary states to $G$-stationary states on the induced algebra is a transfer principle that should apply beyond von Neumann algebras, for example to stationary actions on compact convex spaces and to equivariant operator systems.
- Inference: the proof suggests that for higher-rank lattices, stationarity with respect to a Furstenberg measure is as rigid as invariance for many boundary-based conclusions; stationary versions of other rigidity theorems may hold without new assumptions.
- Inference: the noncommutative Nevo–Zimmer dichotomy is the most portable part of the paper, and its correctness in full generality is the point most worth testing independently of the lattice applications.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves Theorem A: for a connected semisimple Lie group G with finite center, no nontrivial compact factors, and all simple factors of real rank at least two, any stationary character on an irreducible lattice Γ < G is a genuine character. The proof passes through a new structure theorem, Theorem B, for ergodic (Γ, μ0)-von Neumann algebras, and its core technical engine is Theorem 5.1, a noncommutative analogue of the Nevo–Zimmer theorem: any ergodic (G, μ)-von Neumann algebra either has a G-invariant state or admits a G-equivariant normal unital ∗-embedding of L∞(G/Q, ν_Q) for some proper parabolic Q. The authors also obtain a new proof of Peterson’s character rigidity (Theorem C), and applications to weak containment of the regular representation (Corollary D), essential freeness of stationary actions (Theorem E), and finiteness of uniformly recurrent subgroups (Corollary F).
Significance. If the arguments are correct, Theorem A is a significant advance: it shows that the stationary analogue of characters collapses to ordinary characters for higher-rank irreducible lattices, and the noncommutative Nevo–Zimmer theorem (Theorem 5.1) is a new tool likely to have further applications. The paper’s applications, especially the resolution of the Glasner–Weiss URS question and the new proof of Peterson’s character rigidity, are notable. The manuscript is generally careful and self-contained in its new parts: the induction of stationary states (Section 4) and the absolute-continuity results (Section 3) are proved in detail, with no hidden fitted parameters and no circularity.
major comments (2)
- [Section 5.2, Claim 5.10] The proof of the inequality C1_{Vθ} ⊗ Z(Q0) ≠ Z(ι0(M0)) hinges on the assertion that the equality ι0(M0) ∩ (L∞(Vθ) ⊗ Z(Q0)) = C1_{Vθ} ⊗ Z(Q0) 'splits' and hence, by [SZ98, Theorem 4.2], that ι0(M0) = C1_{Vθ} ⊗ Q0. The paper does not state [SZ98, Theorem 4.2], does not define what 'splits' means, and does not verify the hypotheses of the theorem in this noncommutative setting, where the state ψ0 need not be faithful. Because the contradiction with faithfulness of the G-action depends entirely on this implication, the proof is incomplete as written. Please provide the precise theorem statement and check all hypotheses, including whether a conditional expectation or a centrality condition is required.
- [Section 5.2, Claim 5.11] The conclusion that ι0(Z(M0)) = C1_{Vθ} ⊗ Z(Q0) is obtained by invoking [GK95, Theorem B] after showing density of {bψ0 | b ∈ Z(Q0)} in Z(Q0)_*. As in Claim 5.10, the theorem is not stated and the hypotheses are not checked; in particular, it is not clear that the conditions verified (namely that (id_{Vθ} ⊗ ρ)(ι0(x)) ∈ C1_{Vθ} for all ρ ∈ Z(Q0)_*) are exactly those required by [GK95, Theorem B]. This is load-bearing because Claim 5.11 is what allows the reduction to the commutative Nevo–Zimmer theorem. Please state the theorem and verify its hypotheses explicitly.
minor comments (5)
- [Introduction, Notation] There are typos in the notation paragraph: 'reak rank' should be 'real rank' and 'leat st two' should be 'least two'.
- [Section 5.1] The term 'splits' is used in Claims 5.10 and 5.11 without a definition; please define it at first use, for example as 'a von Neumann subalgebra A ⊂ B1 ⊗ B2 splits if A = A1 ⊗ A2 for some subalgebras Ai ⊂ Bi'.
- [Lemma 5.5] The measure on Uθ is denoted m_{U_θ} in the statement of Lemma 5.5 and ν_{U_θ} later in the same proof; please use consistent notation.
- [Proof of Theorem B, Section 6.1] The map obtained from Theorem 5.1 is initially denoted Θ : C(G/Q) → M, although Theorem 5.1 gives a map on L∞(G/Q); the text later extends Θ, but the notation should be clarified to avoid confusion.
- [Acknowledgments] The word 'greatful' should be 'grateful'.
Circularity Check
No circularity: the derivation chain is self-contained and the cited self-work is not load-bearing.
full rationale
The paper's central claim, Theorem A, is not an input renamed as an output. A mu0-character is defined by the stationarity equation sum_gamma mu0(gamma) phi(gamma^{-1} g gamma) = phi(g), and the conclusion that phi is conjugation invariant is not contained in that definition; no parameter of the problem is fitted to the target result. The derivation chain is: Theorem 4.3 induces a stationary state from a Furstenberg lattice action; Theorem 5.1 is a noncommutative Nevo-Zimmer dichotomy proved by reducing to the commutative case through Ge-Kadison and Stratila-Zsido splitting results; Theorem B follows by induction and disintegration; and Theorem A follows from Theorem B plus the GNS construction and Lemma 6.3. The only self-citations are [BBHP20] in Section 4, described as a more synthetic presentation, and Remark 5.12, described as an alternative route from the simple to the semisimple case; in both places the main text supplies its own construction or iteration ('Since G has only finitely many simple factors, we can continue a finite number of steps'), so the self-citation is not load-bearing. The delicate application of [SZ98, Theorem 4.2] in Claim 5.10 and [GK95, Theorem B] in Claim 5.11 is a dependence on independent external theorems, not a circular reduction; if those theorems were inapplicable in this setting the proof would fail, but that would be a correctness risk rather than circularity. No fitted-input-called-prediction, uniqueness-imported-from-authors, or ansatz-via-citation pattern appears. Score 0 reflects the absence of circularity, and the non-load-bearing self-citations do not raise the score.
Assumptions & free parameters
assumptions (7)
- domain assumption Existence of a Furstenberg measure mu0 on Gamma with support Gamma and Poisson boundary (G/P, nu_P).
- domain assumption Uniqueness of nu_Q as the mu0-stationary measure on each G/Q for P subset Q subset G.
- standard math Nevo-Zimmer structure theorem [NZ00, Theorem 1] for ergodic stationary actions of G on Lebesgue spaces.
- standard math Ge-Kadison and Stratătilă-Zsidó splitting theorems for von Neumann subalgebras ([GK95], [SZ98, Theorem 4.2]).
- standard math Stuck-Zimmer stabilizer rigidity [SZ92, Corollary 4.4].
- standard math Margulis normal subgroup theorem [Ma91, Theorem IV.4.10].
- standard math Bader-Furman theorem on boundary maps and factors [BF14, Theorem 2.5].
Cite this review
Pith. "Pith review of Stationary characters on lattices of semisimple Lie groups." pith.science (2026). https://pith.science/paper/4VKMV4MW
@misc{pith2026190807812,
author = {Pith},
title = {Pith review of: Stationary characters on lattices of semisimple Lie groups},
year = {2026},
howpublished = {\url{https://pith.science/paper/4VKMV4MW}},
note = {Machine review of arXiv:1908.07812}
}
abstract
We show that stationary characters on irreducible lattices $\Gamma < G$ of higher-rank connected semisimple Lie groups are conjugation invariant, that is, they are genuine characters. This result has several applications in representation theory, operator algebras, ergodic theory and topological dynamics. In particular, we show that for any such irreducible lattice $\Gamma < G$, the left regular representation $\lambda_\Gamma$ is weakly contained in any weakly mixing representation $\pi$. We prove that for any such irreducible lattice $\Gamma < G$, any uniformly recurrent subgroup (URS) of $\Gamma$ is finite, answering a question of Glasner-Weiss. We also obtain a new proof of Peterson's character rigidity result for irreducible lattices $\Gamma < G$. The main novelty of our paper is a structure theorem for stationary actions of lattices on von Neumann algebras.
Reference graph
Works this paper leans on
-
[1]
On invariant random positive definite functions
[7s12] M. Abert, N. Bergeron, I. Biringer, T. Gelander, N. Nikolov, J. Raimbault, I. Samet , On the growth of L2-invariants for sequences of lattices in Lie groups. Ann. of Math. 185 (2017), 711–790. [AGV12] M. Abert, Y. Glasner, B. Virag , Kesten ’s theorem for invariant random subgroups. Duke Math. J. 163 (2014), 465–488. [AB18] V. Alekseev, R. Brugger ...
work page Pith review arXiv 2017
-
[3]
Invent. Math. 169 (2007), 401–425. [Be19] B. Bekka , Character rigidity of simple algebraic groups. Math. Ann. 378 (2020), 1223–1243. [BCH94] B. Bekka, M. Cowling, P. de la Harpe , Some groups whose reduced C∗ -algebra is simple. Publ. Math. Inst. Hautes ´Etudes Sci. 80 (1994), 117–134. [BF20] B. Bekka, C. Francini , Characters of algebraic groups over nu...
work page Pith review arXiv 2007
-
[11]
Ozaw a, A remark on fullness of some group measure space von Neumann a lgebras
[Oz16] N. Ozaw a, A remark on fullness of some group measure space von Neumann a lgebras. Compos. Math. 152 (2016), 2493–2502. [Pe14] J. Peterson , Character rigidity for lattices in higher-rank groups. Preprint
work page 2016
-
[12]
[PT13] J. Peterson, A. Thom , Character rigidity for special linear groups. J. Reine Angew. Math. 716 (2016), 207–228. [SZ98] S ¸. Str˘atil˘a, L. Zsid ´o, The commutation theorem for tensor products over von Neuman n algebras. J. Funct. Anal. 165 (1999), 293–346. [SZ92] G. Stuck, R.J. Zimmer , Stabilizers for ergodic actions of higher rank semisimple g ro...
work page 2016
-
[1973]
[GK95] L. Ge, R. Kadison , On tensor products for von Neumann algebras. Invent. Math. 123 (1996), 453–
work page 1996
-
[1991]
x+388 pp. [NZ97] A. Nevo, R.J. Zimmer , Homogenous projective factors for actions of semi-simple L ie groups. Invent. Math. 138 (1999), 229–252. [NZ00] A. Nevo, R.J. Zimmer , A structure theorem for actions of semisimple Lie groups. Ann. of Math. 156 (2002), 565–594. [NZ02] A. Nevo, R.J. Zimmer , Actions of semisimple Lie groups with stationary measure. R...
work page 1999
-
[2000]
Characters of the group $\mathrm{EL}_d (R)$ for a commutative Noetherian ring $R$
[KK14] M. Kalantar, M. Kennedy , Boundaries of reduced C∗ -algebras of discrete groups. J. Reine Angew. Math. 727 (2017), 247–267. STATIONARY CHARACTERS ON LATTICES OF SEMISIMPLE LIE GROUPS 33 [Ke15] M. Kennedy , An intrinsic characterization of C∗ -simplicity. Ann. Sci. ´Ec. Norm. Sup´ er.53 (2020), 1105–1119. [LL20] Omer Lavi, Arie Levit , Characters of...
work page Pith review arXiv 2017
-
[2002]
Furstenberg , A Poisson formula for semi-simple Lie groups
[Fu62a] H. Furstenberg , A Poisson formula for semi-simple Lie groups. Ann. of Math. 77 (1963), 335–386. [Fu62b] H. Furstenberg , Non commuting random products. Trans. Amer. Math. Soc. 108 (1963), 377–428. [Fu67] H. Furstenberg , Poisson boundaries and envelopes of discrete groups. Bull. Amer. Math. Soc. 73 (1967), 350–356. [Fu73] H. Furstenberg , Boundar...
work page 1963
Show all 13 references
-
[2003]
[Wa74] P.S
xxii+548 pp. [Wa74] P.S. W ang, On isolated points in the dual spaces of locally compact grou ps. Math. Ann. 218 (1975), 19–34. [Zi84] R.J. Zimmer , Ergodic theory and semisimple groups. Monographs in Mathematics,
1975
-
[2008]
Connes, V.F.R
[CJ83] A. Connes, V.F.R. Jones , Property T for von Neumann algebras. Bull. London Math. Soc. 17 (1985), 57–62. [CP12] D. Creutz, J. Peterson , Stabilizers of ergodic actions of lattices and commensurat ors. Trans. Amer. Math. Soc. 369 (2017), 4119–4166. [CP13] D. Creutz, J. P...
1985 arXiv
-
[2014]
Bader, Y
[BS04] U. Bader, Y. Shalom , Factor and normal subgroup theorems for lattices in product s of groups. Invent. Math. 163 (2006), 415–454. [Be95] B. Bekka , Restrictions of unitary representations to lattices and as sociated C∗ -algebras. J. Funct. Anal. 143 (1997), 33–41. [Be06...
2006
-
[2015]
Goldsheid, G.A
[GM89] I.Ya. Goldsheid, G.A. Margulis , Lyapunov indices of a product of random matrices. Russian Math. Surveys 44 (1989), 11–71. [Ha15] U. Haagerup, A new look at C∗ -simplicity and the unique trace property of a group. Operator algebras and applications–the Abel Symposium 20...
1989
-
[2017]
Hartman, M
[HK17] Y. Hartman, M. Kalantar , Stationary C∗ -dynamical systems. To appear in J. Eur. Math. Soc. (JEMS) arXiv:1712.10133 [Jo00] V.F.R. Jones , Ten problems. Mathematics: frontiers and perspectives, 79–91, Amer. Mat h. Soc., Providence, RI,
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.