REVIEW 2 major objections 3 minor 6 references
Character rigidity of simple algebraic groups
T0 review · 2 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read For any infinite field k and any quasi-simple k-group G, the group PG(k)+ has exactly two characters: the trivial character and the Dirac delta at the identity.
desk verdict Strong, genuinely new theorem in character rigidity; the proof has a real gap in Proposition 2.2 that needs patching before the result is established. 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 mechanism is a mixing lemma (Proposition 2.2): if a group G has a normal subgroup G+, a subgroup H, and an abelian subgroup U normalized by H such that no nontrivial character of U is fixed by any element of H outside a finite set, then the restriction of any G+-invariant positive-definite function to H is mixing on the orthogonal complement of the U-invariant vectors. The proof applies this to pairs (H, U) = (H_lambda, U(alpha)(k)), where H_lambda is a one-parameter subgroup of the maximal k-split torus and U(alpha)(k) is a root subgroup, using the classification of characters of SL2(k) to obtain the no-fixed-character condition. Iterating through the root-space structure of the group, the Bruhat decomposition, and the centers of unipotent radicals, and invoking Tits' simplicity theorem at key steps, the argument eliminates all nonzero values of the trace outside the center.
What would settle it
Look for a counterexample over a non-perfect infinite field: verify whether the classification of characters of SL2(F_q((t))) described in [PT16, Theorem 2.4] is complete; any extra trace there would break the first step of the proof, and exhibiting any nontrivial character of PG(k)+ over such a field would refute the theorem.
Extended reading notes
Core claim
Theorem A states that if k is an infinite field, G is quasi-simple over k, and $\varphi$ is a normalized function of positive type on G(k) that is invariant under conjugation by G(k)+, then $\varphi$ is a convex combination of a function equal to 1 on G(k)+ and a function supported on Z(G)(k). The central consequence is character rigidity for the simple quotient PG(k)+: its only characters are the constant function 1 and the Dirac mass delta_e. Over countable k this forces the only ergodic invariant random subgroups of PG(k)+ to be the whole group and the trivial subgroup, and over global fields with trivial center it forces every ergodic measure-preserving action of G(k) either to factor through the abelianization or to be essentially free.
Load-bearing premise
The whole argument assumes that a complete classification of characters of SL2(k) is known for every infinite field k, a result imported from [PT16, Theorem 2.4] and applied to every root subgroup; if that classification misses cases for some field, the proof cannot start.
Editorial extensions
If this is right
- When k is countable, the only ergodic invariant random subgroups of PG(k)+ are the whole group PG(k)+ and the trivial subgroup {e}.
- Every finite-factor representation of PG(k)+ is either trivial or equivalent to the regular representation; in particular, the group von Neumann algebra L(PG(k)+) is the only nontrivial finite-trace factor generated by PG(k)+.
- For k a local or global field and G k-isotropic and almost k-simple, Char(G(k)) equals the dual of the abelianization G(k)^ab together with characters lifted from the center, so the character theory is fully controlled by these two quotients.
- For k a global field and G with trivial center, every ergodic measure-preserving action of G(k) either factors through the abelianization of G(k) or is essentially free.
- The rigidity extends to semisimple groups: every character of G(k)+ is a tensor product of characters of the almost-simple k-isotropic factors, pushed through a finite kernel.
Reading between the lines
- The countable assumption in the invariant-random-subgroup corollary is only needed to pass from traces to measures; one could try to remove it by an approximation argument, since the main theorem itself has no countability hypothesis.
- Because the proof's first step uses the SL2(k) character classification at every root subgroup, a natural companion project is to verify that classification for non-perfect infinite fields such as F_q((t)); any failure there would become the first obstruction to the theorem's full generality.
- The global-field corollary can be read as a dichotomy: if the Whitehead group G(k)/G(k)+ is abelian, then the only possible obstruction to freeness of an ergodic action is the abelianization, so nontrivial stabilizer behavior would have to be detected by that abelian quotient.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves a character rigidity theorem for quasi-simple algebraic groups over infinite fields. Specifically, if k is infinite and G is quasi-simple over k, every normalized positive-definite class function on G(k) is a convex combination of the function identically equal to 1 on G(k)^+ and a function supported on the center Z(G)(k). The main corollary is that the only characters of PG(k)^+ are the trivial character and delta_e. From this the author derives rigidity of factor representations, a classification of ergodic invariant random subgroups when k is countable, and a dichotomy for measure-preserving ergodic actions of G(k) on probability spaces when k is a global field. The proof strategy is a Howe-Moore-type analysis: a general mixing lemma for traces on semidirect products (Proposition 2.2) is combined with root-space structure, the Bruhat decomposition, Tits' simplicity theorem, and the Peterson-Thom classification of characters of SL2(k).
Significance. If the result stands, it is a substantial and natural extension of Tits' simplicity theorem and of earlier character-rigidity results of Kirillov, Ovchinnikov, and Peterson-Thom. The paper gives a clean dichotomy for all quasi-simple groups over infinite fields, with consequences for IRS rigidity and for ergodic actions of S-arithmetic groups that go beyond the previously known lattice cases. The proof is largely self-contained on the group-theoretic side and does not rely on fitted parameters or circular assumptions. However, the proof of the central mixing proposition contains a genuine analytical gap involving uncountable spectral sums, and the argument depends in an essential way on the external Peterson-Thom classification. The main theorem is likely true, but it is not established as written.
major comments (2)
- [Section 2, Proposition 2.2, Eq. (2)] Equation (2) asserts that sum_{i in I} E(B_i) = E(X) in the strong operator topology for the partition produced by Lemma 2.3. Lemma 2.3 only guarantees a pairwise disjoint Borel partition; it does not guarantee that I is countable, and for projection-valued measures uncountable summation over a partition is not generally valid. For example, for the regular representation of Z on L^2(T), with E(B) equal to multiplication by 1_B and the partition of T\{1} into singletons, every E(B_i) is zero while E(X)=I. Thus the expansion of the inner product into the double sum over I is unjustified. Since Proposition 2.2 is applied in Steps 1, 3, and 4 of Section 4.1, Theorem A is not established as written. The gap is local and likely repairable: one should prove that the partition can be chosen countable (or finite) in the relevant compact dual, or otherwise justify the uncountable sum by a stronger property of the projection-valued measure.
- [Section 4.1, first step] The proof relies on [PT16, Theorem 2.4] for SL2(k) over an arbitrary infinite field and applies it to L = rho_alpha(SL2(k)) for every non-multipliable root alpha. The theorem should be stated precisely, including its hypotheses on the field and on the center, and the deduction that pi|_L is mixing on the orthogonal complement of H^L should be expanded; as written, the single sentence does not make clear why the finite-center-supported component cannot contribute non-mixing finite-dimensional pieces. This is a load-bearing external dependency and should be verified explicitly.
minor comments (3)
- [Section 2, Proposition 2.2] The phrase 'such that such that' is duplicated in the proof of Proposition 2.2; please remove the repetition.
- [Section 2, Proposition 2.2 proof] The expression 'h in H /i⋉tegerdivideF' appears to be a corrupted version of 'h in H \ F'; please correct the typesetting.
- [Section 4.1, beginning of proof of Theorem A] In the decomposition phi = phi_1 + phi_2, the functions phi_i are not normalized; the statement of Theorem A speaks of a convex combination, so the proof should explicitly renormalize by ||xi_i||^2. This is a minor presentation issue because the intended normalization is clear.
Circularity Check
No circular derivation: the proof rests on external algebraic-group results and the independent Peterson–Thom classification of SL2(k) characters.
full rationale
The paper's central claim, Theorem A, is proved by reducing the structure of a G(k)+-invariant positive-definite function to fixed subspaces of root subgroups, then applying external results: Tits' simplicity theorem, Borel–Tits structure theory, and the Peterson–Thom classification of characters of SL2(k) over an infinite field ([PT16, Theorem 2.4]). None of these inputs contains Theorem A or the corollaries as an assumption, and none is fitted to the data of the present paper. The only self-citation, [Bek07], appears in a historical list of character-rigidity results and is not load-bearing. The cited SL2(k) result is external, parameter-free, and does not depend on the present theorem, so invoking it is legitimate independent support rather than circularity. The proof also contains no fitted parameters, no quantity defined in terms of the predicted outcome, and no renaming of a known result as a new one. The most serious concern in the text is the use of an uncountable strong-operator sum of projections in Proposition 2.2, but that is a potential gap in justification or correctness, not a circularity: it does not make the conclusion an input by construction. Therefore the paper receives a circularity score of 0.
Assumptions & free parameters
assumptions (4)
- standard math Zorn's lemma is used to produce maximal families of projections or Borel sets in Proposition 2.2 and Lemma 2.3.
- domain assumption Tits' simplicity theorem: every subgroup of G(k) normalized by G(k)+ is either central or contains G(k)+, for fields with at least four elements.
- domain assumption Classification of characters of SL2(k) over an infinite field, imported from [PT16, Theorem 2.4].
- domain assumption Bruhat decomposition and root space structure from [Bor91] and [BT65], including Proposition 3.3 on the center of U+ from [LP11, Prop 8.3].
Cite this review
Pith. "Pith review of Character rigidity of simple algebraic groups." pith.science (2026). https://pith.science/paper/P23OXEKK
@misc{pith2026190806928,
author = {Pith},
title = {Pith review of: Character rigidity of simple algebraic groups},
year = {2026},
howpublished = {\url{https://pith.science/paper/P23OXEKK}},
note = {Machine review of arXiv:1908.06928}
}
abstract
We prove the following extension of Tits' simplicity theorem. Let $k$ be an infinite field, $G$ an algebraic group defined and quasi-simple over $k,$ and $G(k)$ the group of $k$-rational points of $G.$ Let $G(k)^+$ be the subgroup of $G(k)$ generated by the unipotent radicals of parabolic subgroups of $G$ defined over $k$ and $PG(k)^+$ the quotient of $G(k)^+$ by its center. Then every normalized function of positive type on $PG(k)^+$ which is constant on conjugacy classes is a convex combination of $1_{PG(k)^+}$ and $\delta_e.$ As corollary, we obtain that the only ergodic invariant random subgroups (IRS) of $PG(k)^+$ are $\delta_{PG(k)^+}$ and $\delta_{\{e\}},$ when $k$ is countable. A further consequence is that, when $k$ is a global field and $G$ is $k$-isotropic and has trivial center, every measure preserving ergodic action of $G(k)$ on a probability space either factorizes through the abelianization of $G(k)$ or is essentially free.
Reference graph
Works this paper leans on
-
[1]
[AGV14] M. Ab´ ert, Y. Glasner, and B. Vir´ ag,Kesten’s theorem for invariant ran- dom subgroups, Duke Math. J. 163 (2014), no. 3, 465–488. [ABB+17] M. Abert, N. Bergeron, I. Biringer, T. Gelander, N. Nikolov, J. Raim- bault, and I. Samet, On the growth of L2-invariants for sequences of lattices in Lie groups , Ann. of Math. (2) 185 (2017), no. 3, 711–790...
work page 2014
-
[1968]
Bowen, Invariant random subgroups of the free group , Groups Geom
[Bow15] L. Bowen, Invariant random subgroups of the free group , Groups Geom. Dyn. 9 (2015), no. 3, 891–916. CHARACTERS OF ALGEBRAIC GROUPS 23 [Dix77] J. Dixmier, C∗ -algebras, North-Holland Publishing Co., Amsterdam-New York-Oxford,
work page 2015
-
[1977]
[DM14] A. Dudko and K. Medynets, Finite factor representations of Higman- Thompson groups , Groups Geom. Dyn. 8 (2014), no. 2, 375–389. [Gel18] T. Gelander, A lecture on invariant random subgroups , New directions in locally compact groups, 2018, pp. 186–204. [Gil09] P. Gille, Le probl` eme de Kneser-Tits, Ast´ erisque326 (2009), Exp. No. 983, vii, 39–81 ...
work page 2014
-
[1991]
[BT65] A. Borel and J. Tits, Groupes r´ eductifs, Inst. Hautes ´Etudes Sci. Publ. Math. 27 (1965), 55–150. [BT73] , Homomorphismes “abstraits” de groupes alg´ ebriques simples, Ann. of Math. (2) 97 (1973), 499–571. [Bou68] N. Bourbaki, Groupes et alg` ebres de Lie. Chapitres IV, V, VI , Hermann, Paris,
work page 1965
-
[1994]
[SvN50] I. Segal and J. von Neumann, A theorem on unitary representations of semisimple Lie groups , Ann. of Math. (2) 52 (1950), 509–517. [Sku76] H-L Skudlarek, Die unzerlegbaren Charaktere einiger diskreter Gruppen , Math. Ann. 223 (1976), 213-231. [SZ94] G. Stuck and R. Zimmer, Stabilizers for ergodic actions of higher rank semisimple groups , Ann. of ...
work page 1950
-
[2008]
Bekka, Operator-algebraic superridigity for SLn(Z), n ≥ 3, Invent
[Bek07] B. Bekka, Operator-algebraic superridigity for SLn(Z), n ≥ 3, Invent. Math. 169 (2007), no. 2, 401–425. [Bor91] A. Borel, Linear algebraic groups, Second, Graduate Texts in Mathematics, vol. 126, Springer-Verlag, New York,
work page 2007
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.