REVIEW 2 major objections 6 minor 46 references
Non-uniform higher-rank lattices are character rigid
T0 review · 2 major / 6 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read Every irreducible non-uniform higher-rank lattice is character rigid.
desk verdict A major step: character rigidity for all non-uniform higher-rank lattices in char ≠2, with an honest dependence on a deep external theorem. 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 load-bearing mechanism is a dichotomy for characters of the solvable arithmetic semidirect product $M = \langle a \rangle \ltimes U(R)$, where $U$ is the unipotent radical of a minimal parabolic and $a$ generates a Zariski-dense subgroup of a split torus. Proposition 5.6 says each character of $M$ is either induced from $U$ (hence infinite-dimensional and vanishing off $U$) or restricts to a congruence trace on $U$ (hence finite-dimensional). Congruence characters are detected dynamically: a character of $U(R)$ is congruence exactly when its orbit under the dual action of $\langle a \rangle$ is finite (Proposition 5.5). Theorem 6.1 then uses the theorem that opposite congruence subgroups $U(I)$ and $V(I)$ together generate a finite-index subgroup of $\Gamma$; the contradiction argument shows that a non-mixing component on the split torus would produce a common invariant vector for these two subgroups and hence a finite-dimensional subrepresentation, contradicting weak mixing.
What would settle it
Compute the subgroup generated by the two opposite congruence subgroups U(I) and V(I) inside G(R) for a rank-one isotropic group over a global field of characteristic 2: if some non-zero ideal I gives a proper subgroup of infinite index, the generation theorem fails and the main mixing argument breaks. Equivalently, produce a weakly mixing trace φ on G(R) with limsup of |φ(a^i u)| not tending to zero for a Zariski-dense a; this would refute Theorem 6.1 and with it the claimed character rigidity.
Extended reading notes
Core claim
On the paper's own terms, the discovery is a decay theorem (Theorem 6.1) for traces of the arithmetic lattices $\Gamma = G(R)$ that arise from a global field $F$ of characteristic $\neq 2$, a rank-one isotropic algebraic group $G$, and a ring of $S$-integers $R$ with $|S| \geq 2$. The theorem says that every weakly mixing trace $\varphi$ of $\Gamma$ satisfies $\lim_{i \to \infty} \sup_{u \in U(R)} |\varphi(a^i u)| = 0$ for an element $a$ generating a Zariski-dense subgroup of a split torus and for $U$ the unipotent radical of a minimal parabolic subgroup. From this, character rigidity of $\Gamma$ is derived by two routes: a self-contained Bruhat-decomposition argument using a generalized Bekka vanishing lemma, and a softer argument through charmenability that reduces the problem to the known rigidity of $SL_2(R)$. Combined with the arithmeticity theorem and existing property-(T) results, this yields Theorem 1.3: all non-uniform higher-rank irreducible lattices in characteristic $\neq 2$, and all such lattices with a property-(T) factor, are character rigid.
Load-bearing premise
The argument rests on a known generation theorem: the congruence subgroups attached to two opposite unipotent subgroups together generate a finite-index subgroup of the lattice; should that theorem fail, for instance in characteristic 2, the key mixing contradiction would collapse.
Editorial extensions
If this is right
- Every ergodic probability-measure-preserving action of such a lattice is either essentially transitive or satisfies $\mu(\mathrm{Fix}(g)) = 0$ for every non-central $g$ (Corollary 1.4).
- Every ergodic invariant random subgroup of such a lattice is either uniform on the conjugacy class of a finite-index subgroup or Dirac on a central subgroup.
- The lattices considered are charfinite, so their uniformly recurrent subgroups and unitary representations inherit the corresponding rigidity properties.
- The same character rigidity and stabilizer rigidity conclusions hold for irreducible lattices in higher-rank semisimple Lie groups with arbitrary, possibly infinite, center (Theorem 1.5).
- The non-uniform case of the Stuck–Zimmer conjecture is now settled for all characteristics other than 2.
Reading between the lines
- The characteristic-2 restriction appears to be an artifact of the opposite-congruence generation theorem; if that theorem holds over characteristic-2 fields, the same proof should remove the restriction entirely.
- The uniform decay in Theorem 6.1 may admit explicit rates tied to Dirichlet units and the filtration by congruence subgroups, giving quantitative versions of character rigidity not stated in the paper.
- The congruence/non-congruence dichotomy for characters of unipotent arithmetic groups suggests a similar dichotomy for invariant random subgroups, linking character rigidity to the congruence subgroup property.
- A natural test case beyond the paper's scope would be SL_2 over rings of S-integers in characteristic 2, where the same character classification should either hold or produce a counterexample that pinpoints the failure of the generation theorem.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves character rigidity for all irreducible non-uniform lattices in semisimple groups of rank at least two, under the assumptions that the ambient local fields have characteristic different from 2 and, in the case of Theorem 1.2, that the semisimple group admits an almost simple rank-one factor. The proof reduces to arithmetic lattices Γ = G(R) via Margulis' arithmeticity theorem, then proves a new mixing theorem (Theorem 6.1): every weakly mixing trace on Γ restricts to a mixing trace on an F-split torus, with uniform decay along elements of the form a^i u. The key ingredients are a detailed character theory of solvable arithmetic groups (§5, congruence characters and induced characters), the Raghunathan–Venkataramana finite-index generation theorem (Theorem 6.2), and a careful Bruhat-decomposition argument in rank one. Two independent proofs of Theorem 1.2 are given: one self-contained using the generalized Bekka lemma, and one using charmenability and reduction to the Peterson–Thom theorem for SL2. The paper also derives stabilizer rigidity for probability-measure-preserving actions (Corollary 1.4), invariant random subgroup rigidity, and an extension to lattices with infinite center (Theorem 1.5).
Significance. If the main theorem is correct, this is a substantial advance on the Stuck–Zimmer conjecture: it removes, for all non-uniform higher-rank lattices in characteristic different from 2, the previous dependence on a Kazhdan property-(T) factor. The paper includes two independent proofs of the central result, which strengthens confidence in the argument, and it treats the non-property-(T) case (products of rank-one factors) that was the main open territory. The dependence on the external Raghunathan–Venkataramana theorem is stated honestly, including the explicit caveat that characteristic 2 is excluded precisely because that theorem is not known there. The proof is parameter-free and has no fitted constants or normalization tricks; the main line is structurally coherent and the Berkovich-style reductions through commensurability and central extensions are handled abstractly. The derived applications to stabilizers and invariant random subgroups are natural and clearly explained.
major comments (2)
- [§6, proof of Theorem 6.1] The proof of Theorem 6.1 invokes Theorem 6.2 at the final step, where the subgroups U_n and V_n generate a finite-index subgroup of Γ = G(R). Theorem 6.2 requires, according to Remark 6.3, that ∑_{v∈S} rank_{F_v}(G) ≥ 2. This condition is not part of the Standing Assumptions of §3.1, which only require rank_F(G) = 1, |S| ≥ 2, and char(F) ≠ 2. In the applications obtained through Proposition 3.5 the condition does follow from rank(H) ≥ 2, because at least two local places contribute noncompact factors; however, as Theorem 6.1 is stated, it covers cases where the hypothesis of Theorem 6.2 is not known to hold. The mismatch is load-bearing, since the finite-index conclusion is precisely what produces the finite-dimensional subrepresentation contradicting weak mixing. The authors should either add the local-rank-sum condition to the Standing Assumptions/Theorem 6.1 or explicitly verify it before the invocation of Theorem 6.2.
- [§8.3, Lemma 8.4] The proof of Lemma 8.4 contains an invalid inference: it asserts that because Γ is finitely generated and separated by its finite-dimensional unitary representations, it is residually finite. This does not follow, since a finite-dimensional unitary representation of a finitely generated group need not have finite image. Separation by such representations therefore does not yield finite quotients separating points. Lemma 8.4 is used in Lemma 8.5 to establish that the lattice Λ in Theorem 1.5 has at most countably many finite-dimensional unitary representations, and hence Theorem 1.5 depends on it. This does not affect the main Theorem 1.2, whose proof uses [4, Proposition 7.1] directly, but it is a genuine gap in the statement of Theorem 1.5 and should be repaired with a valid argument or by restricting the scope of the lemma.
minor comments (6)
- [§6, Lemma 6.7] The proof says that the sequence (p∧q)∨p_n − p_n converges to 0 in the strong operator topology, but what is actually established is trace convergence. Since the subsequent argument only uses trace convergence and the normality of τ, the statement and proof should be adjusted accordingly.
- [§2.3, Lemma 2.6] The proof is compressed: the verification that H_mix is a closed invariant subspace and the uniqueness of the decomposition are left to the reader. These facts are straightforward, but given that the lemma is used later for the restriction to a torus, a few lines of detail would improve readability.
- [§8.3, Lemma 8.3] The proof is omitted with a reference to a 'straightforward verification' by induction and restriction. Since the lemma is used in Proposition 4.2, a short proof or an explicit reference would be preferable.
- [§8.1, proof of Theorem 1.3] In the case where H has no factor with Kazhdan's property (T), the proof silently reduces to Theorem 1.2, which requires an almost simple rank-one factor. The authors should state the standard fact they are using: a simple factor over a local field without property (T) has rank one, so the hypothesis of Theorem 1.2 is indeed satisfied.
- [Throughout] There are several typographical errors, e.g. 'Apriori' in §3, 'assocated' and 'combitation' in Proposition 5.8, and 'Induction' for 'inductions' in Lemma 8.3. These should be corrected in the final version.
- [§2.2, proof of Proposition 2.4] The notation ψ_i(·) = φ_i(π_{φ_i}(·)p_i) is ambiguous, since φ_i is first introduced as a function on the group. Clarifying the identification of the trace on the von Neumann algebra with the function on the group would help the reader.
Circularity Check
No significant circularity: the proof reduces to independent external theorems and the self-citations are technical and non-load-bearing.
full rationale
I walked the derivation chain of Theorem 1.2. The theorem is reduced via Margulis arithmeticity (Proposition 3.5) to the arithmetic group Gamma = G(R), then character rigidity for Gamma is proved in two ways, both relying on the mixing theorem (Theorem 6.1). The proof of Theorem 6.1 uses the Raghunathan-Venkataramana theorem (Theorem 6.2), which is an external deep result about finite-index generation by opposite unipotent congruence subgroups, with the characteristic-2 restriction explicitly flagged as the only place it is used. The first proof of Theorem 1.2 combines Theorem 6.1 with the generalized Bekka lemma quoted from [14], a general vanishing lemma about traces that does not assume character rigidity. The second proof uses charmenability from [3] and the SL2(R) character rigidity of Peterson-Thom [34], both external. Self-citations appear, notably [5] for an ICC fact, [14] for the Bekka-type lemma, and [29] for a lemma on characters of semidirect products, but each is a technical standalone result with stated general assumptions not including the target theorem. No fitted parameter is introduced, no prediction is a restatement of an input, and no load-bearing claim is justified only by a self-citation chain. The skeptical concern about the hypotheses of Theorem 6.2 is a genuine correctness/robustness question, not a circularity, since the theorem is cited as an independent external result. Overall, the derivation is self-contained relative to well-documented external inputs, and the characteristic-2 caveat is an honest boundary rather than a disguised conclusion.
Assumptions & free parameters
assumptions (8)
- standard math Thoma's theorem: traces on countable groups correspond to tracial von Neumann algebra representations (Theorem 2.2).
- standard math Choquet theory: the compact convex set of traces has a unique integral decomposition over characters (Bochner transform).
- standard math Borel-Harish-Chandra theorem: S-arithmetic subgroups are lattices, uniform if and only if the group is F-anisotropic (Theorem 3.3).
- standard math Margulis arithmeticity theorem: every irreducible lattice in rank at least 2 is S-arithmetic up to finite central extension (Theorem 3.4).
- standard math Dirichlet-Hasse-Chevalley unit theorem: the unit group of R = F(S) has rank |S| - 1 (Remark 3.6).
- standard math Raghunathan-Venkataramana theorem: for every non-zero ideal I, the subgroups U(I) and V(I) generate a finite-index subgroup of Gamma (Theorem 6.2).
- standard math Tits classification of semisimple algebraic groups by Tits index and anisotropic kernel (Theorem A.1).
- standard math Lattices in higher-rank semisimple groups have at most countably many finite-dimensional unitary representations ([4, Proposition 7.1]).
Cite this review
Pith. "Pith review of Non-uniform higher-rank lattices are character rigid." pith.science (2026). https://pith.science/paper/BWOT4UUW
@misc{pith2026250721862,
author = {Pith},
title = {Pith review of: Non-uniform higher-rank lattices are character rigid},
year = {2026},
howpublished = {\url{https://pith.science/paper/BWOT4UUW}},
note = {Machine review of arXiv:2507.21862}
}
read the original abstract
We establish character rigidity for all non-uniform higher-rank irreducible lattices in semisimple groups of characteristic other than 2. This implies stabilizer rigidity for probability measure preserving actions and rigidity of invariant random subgroups, confirming a conjecture of Stuck and Zimmer for non-uniform lattices in full generality.
Reference graph
Works this paper leans on
-
[1]
Mikl´ os Ab´ ert, Yair Glasner, and B´ alint Vir´ ag,Kesten ’s theorem for invariant random subgroups, Duke Mathematical Journal 163 (2014), no. 3, 465–488
work page 2014
-
[2]
Claire Anantharaman and Sorin Popa, An introduction to II1 factors, Book draft available at https://www.math.ucla.edu/~popa/Books/IIun.pdf
-
[3]
Uri Bader, R´ emi Boutonnet, and Cyril Houdayer,Charmenability of higher rank arithmetic groups, Ann. H. Lebesgue 6 (2023), 297–330. MR 4648085
work page 2023
-
[4]
Uri Bader, R´ emi Boutonnet, Cyril Houdayer, and Jesse Peterson,Charmenability of arithmetic groups of product type , Invent. Math. 229 (2022), no. 3, 929–985. MR 4462622
work page 2022
-
[5]
Uri Bader, Tsachik Gelander, and Arie Levit, Spectral gap for products and a strong normal subgroup theorem, arXiv preprint arXiv:2411.07033 (2024)
arXiv 2024
-
[6]
Uri Bader and Itamar Vigdorovich, Charmenability and stiffness of arithmetic groups , Journal of the European Mathematical Society (2024)
work page 2024
-
[7]
Bachir Bekka, Operator-algebraic superridigity for SLn(Z), n ≥ 3, Invent. Math. 169 (2007), no. 2, 401–425. MR 2318561
work page 2007
-
[8]
Bachir Bekka and Pierre de la Harpe, Unitary representations of groups, duals, and characters , Math. Surv. Monogr., vol. 250, Providence, RI: American Mathematical Society (AMS), 2020 (English)
work page 2020
Show all 46 references
-
[9]
126, Springer Science & Business Media, 2012
Armand Borel, Linear algebraic groups, vol. 126, Springer Science & Business Media, 2012
2012
-
[10]
96, Cambridge University Press, 1984, pp
Alan L Carey and William Moran, Characters of nilpotent groups, Mathematical Proceedings of the Cambridge Philosophical Society, vol. 96, Cambridge University Press, 1984, pp. 123–137
1984
-
[11]
Michael Chapman, Yotam Dikstein, and Alexander Lubotzky, Conditional non-soficity of p-adic Deligne extensions: on a theorem of Gohla and Thom , arXiv preprint arXiv:2410.02913 (2024)
2024 arXiv
-
[12]
26, Cambridge University Press, Cambridge, 2015
Brian Conrad, Ofer Gabber, and Gopal Prasad, Pseudo-reductive groups, second ed., New Mathematical Monographs, vol. 26, Cambridge University Press, Cambridge, 2015. MR 3362817
2015
-
[13]
Alon Dogon, Flexible Hilbert–Schmidt stability versus hyperlinearity for property (T) groups , Mathematische Zeitschrift 305 (2023), no. 4, 58
2023
-
[14]
Alon Dogon, Arie Levit, and Itamar Vigdorovich, Characters of diagonal products and Hilbert- Schmidt stability , arXiv preprint arXiv:2407.11608 (2024), to appear in Transactions of the American Mathematical Society
2024 arXiv
-
[15]
Alon Dogon and Itamar Vigdorovich, Connections between hyperlinearity, stability and char- acter rigidity for higher rank lattices , arXiv preprint arXiv:2506.20843 (2025)
2025 arXiv
-
[16]
Milan Donvil and Stefaan Vaes, W ∗-superrigidity for groups with infinite center , arXiv preprint arXiv:2410.13417 (2024)
2024 arXiv
-
[17]
, W ∗-superrigidity for cocycle twisted group von Neumann algebras , Invent. Math. 240 (2025), no. 1, 193–260 (English)
2025
-
[18]
Artem Dudko and Konstantin Medynets, Finite factor representations of Higman-Thompson groups., Groups Geom. Dyn. 8 (2014), no. 2, 375–389 (English)
2014
-
[19]
Tsachik Gelander, Things we can learn by considering random locally symmetric manifolds , arXiv preprint arXiv:2407.21208 (2024)
2024 arXiv
-
[20]
3, 1503–1544
Tsachik Gelander and Arie Levit, Invariant random subgroups over non-Archimedean local fields, Mathematische Annalen 372 (2018), no. 3, 1503–1544
2018
-
[21]
Tsachik Gelander, Arie Levit, and Gregori A Margulis, Effective discreteness radius of stabilizers for stationary actions , Michigan Mathematical Journal 72 (2022), 389–438
2022
-
[22]
Lukas Gohla and Andreas Thom, High-dimensional expansion and soficity of groups , arXiv preprint arXiv:2403.09582 (2024)
2024 arXiv
-
[23]
Cyril Houdayer, Noncommutative ergodic theory of higher rank lattices , ICM—International Congress of Mathematicians. Vol. 4. Sections 5–8, EMS Press, Berlin, [2023] ©2023, pp. 3202–
2023
-
[24]
Jones, Ten problems, Mathematics: frontiers and perspectives, 2000
Vaughan F.R. Jones, Ten problems, Mathematics: frontiers and perspectives, 2000
2000
-
[25]
2, 349–372
Eberhard Kaniuth, Induced characters, Mackey analysis and primitive ideal spaces of nilpotent discrete groups, Journal of Functional Analysis 240 (2006), no. 2, 349–372. NON-UNIFORM HIGHER-RANK LATTICES ARE CHARACTER RIGID 31
2006
-
[26]
162, Russian Academy of Sciences, 1965, pp
Aleksandr A Kirillov, Positive-definite functions on a group of matrices with elements from a discrete field, Doklady Akademii Nauk, vol. 162, Russian Academy of Sciences, 1965, pp. 503– 505
1965
-
[27]
Omer Lavi and Arie Levit, Characters of the group ELd(R) for a commutative Noetherian ring R, Advances in Mathematics 419 (2023), 108948
2023
-
[28]
Arie Levit, On Benjamini-Schramm limits of congruence subgroups , Israel Journal of Mathe- matics 239 (2020), 59–73
2020
-
[29]
3, 3181–3229
Arie Levit and Itamar Vigdorovich, Characters of solvable groups, Hilbert–Schmidt stability and dense periodic measures , Mathematische Annalen 389 (2024), no. 3, 3181–3229
2024
-
[30]
4, 295–305
Gregory A Margulis, Quotient groups of discrete subgroups and measure theory , Functional Analysis and its Applications 12 (1978), no. 4, 295–305
1978
-
[31]
3, 178–187
, Finiteness of quotient groups of discrete subgroups , Functional Analysis and Its Applications 13 (1979), no. 3, 178–187
1979
-
[32]
17, Springer-Verlag, Berlin, 1991
, Discrete subgroups of semisimple Lie groups , Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 17, Springer-Verlag, Berlin, 1991. MR 1090825
1991
-
[33]
Jesse Peterson, Character rigidity for lattices in higher-rank groups
-
[34]
Reine Angew
Jesse Peterson and Andreas Thom, Character rigidity for special linear groups, J. Reine Angew. Math. 716 (2016), 207–228. MR 3518376
2016
-
[35]
Madabusi S Raghunathan, On the congruence subgroup problem , Publications Math´ ematiques de l’IH ´ES 46 (1976), 107–161
1976
-
[36]
3, 213–231
Hans-Ludwig Skudlarek, Die unzerlegbaren Charaktere einiger diskreter Gruppen , Mathema- tische Annalen 223 (1976), no. 3, 213–231
1976
-
[37]
Springer, Linear algebraic groups, Modern Birkh¨ auser Classics, Birkh¨ auser Boston, 2010
T.A. Springer, Linear algebraic groups, Modern Birkh¨ auser Classics, Birkh¨ auser Boston, 2010
2010
-
[38]
Garrett Stuck and Robert J Zimmer, Stabilizers for ergodic actions of higher rank semisimple groups, Annals of Mathematics (1994), 723–747
1994
-
[39]
1, 40–61
Elmar Thoma, Die unzerlegbaren, positiv-definiten Klassenfunktionen der abz¨ ahlbar un- endlichen, symmetrischen Gruppe , Mathematische Zeitschrift 85 (1964), no. 1, 40–61
1964
-
[40]
4, 389–402
, ¨Uber positiv-definite klassenfunktionen abz¨ ahlbarer gruppen, Mathematische Zeitschrift 84 (1964), no. 4, 389–402
1964
-
[41]
2, 111–138
, ¨Uber unit¨ are darstellungen abz¨ ahlbarer, diskreter gruppen, Mathematische Annalen 153 (1964), no. 2, 111–138
1964
-
[42]
Jacques Tits, Classification of algebraic semisimple groups, Algebraic Groups and Discontinuous Subgroups (Proc. Sympos. Pure Math., Boulder, Colo., 1965), Amer. Math. Soc., Providence, RI, 1966, pp. 33–62. MR 224710
1965
-
[43]
1, 193–212
T Venkataramana, On systems of generators of arithmetic subgroups of higher rank groups , Pacific Journal of Mathematics 166 (1994), no. 1, 193–212
1994
-
[44]
Anatolii M Vershik, Nonfree actions of countable groups and their characters, J. Math. Sci.(NY) 174 (2011), no. 1, 1–6
2011
-
[45]
257, Russian Academy of Sciences, 1981, pp
Anatolii M Vershik and Sergei V Kerov, Characters and factor representations of the infinite symmetric group , Doklady Akademii Nauk, vol. 257, Russian Academy of Sciences, 1981, pp. 1037–1040
1981
-
[46]
Edwin Weiss, Algebraic number theory, Chelsea Publishing Co., New York, 1976, Reprinting of the 1963 original. MR 417112 Department of Mathematics, Weizmann Institute of Science, Israel Email address: alon.dogon@mail.huji.ac.il Email address: michael.glasner@weizmann.ac.il Ema...
1976
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.