REVIEW 1 major objections 7 minor 18 references
Stability of the centers of group algebras of general affine groups $GA_n(q)$
T0 review · 1 major / 7 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read For the general affine groups $GA_n(q)$, the graded centers of the integral group algebras stabilize: structure constants at maximal reflection length are independent of $n$ and form a universal stable center $G(q)$ with positive integer…
desk verdict A credible Farahat–Higman stability theorem for GA_n(q); the main gap is a missing conjugacy check in Lemma 3.10, which looks fixable and probably correct. 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 machinery is the modified type $(\lambda,k)$ of an element of $GA_n(q)$ written with top row $(1,0,\dots,0)$, linear part $g\in GL_{n-1}(q)$, and translation vector $\alpha$: $\lambda$ is the GL-type of $g$ with every part of the $(t-1)$-Jordan partition reduced by one, and $k\ge 0$ records whether $\alpha$ lies outside the image of $I-g$, with $k=0$ when it lies inside. This label is invariant under conjugation and under the embeddings $GA_n(q)\subset GA_{n+1}(q)$, so it parametrizes the conjugacy classes of the limiting group and gives a stable basis of class sums. The reflection length $\ell_a(A)$ equals the norm $\|(\lambda,k)\|$, making the center $A_n(q)$ a filtered algebra. The stability proof combines two inequalities: affine structure constants are bounded above by the corresponding $GL_n(q)$ structure constants from [WW], and the strictly increasing property (Lemma 3.10) forces the increasing sequence to be constant once that bound is independent of $n$.
What would settle it
For a fixed small field, say $q=2$, compute all structure constants $p^{(\nu,t)}_{(\lambda,k),(\mu,s)}(n)$ with $\|(\nu,t)\|=\|(\lambda,k)\|+\|(\mu,s)\|$ at $n=3$ and $n=4$ by multiplying conjugacy class sums in $GA_3(2)$ and $GA_4(2)$; if any coefficient differs between the two levels, the universal stable center $G(q)$ does not exist. A more direct check would be to test the block-insertion step of Lemma 3.10 on an explicit witness pair, since that is the unstated conjugation claim on which the proof rests.
Extended reading notes
Core claim
The paper's central claim is Theorem 3.11: for modified types $(\lambda,k),(\mu,s),(\nu,t)$, the structure constant $p^{(\nu,t)}_{(\lambda,k),(\mu,s)}(n)$ is zero unless $\|(\nu,t)\| \le \|(\lambda,k)\|+\|(\mu,s)\|$, and when equality holds it is a positive integer independent of $n$. Consequently the associated graded algebras $G_n(q)$ have $n$-independent structure constants, and the graded $\mathbb{Z}$-algebra $G(q)$ with basis $\(P_{(\lambda,k)}\)$ indexed by allowed modified types and with those structure constants is a universal stable center admitting surjective homomorphisms onto every $G_n(q)$. The paper also proves that the $GL_n(q)$ stable-center structure constants $a^{\nu}_{\lambda\mu}$ are recovered as $p^{(\nu,0)}_{(\lambda,0),(\mu,0)}$ whenever $\|\nu\|=\|\lambda\|+\|\mu\|$.
Load-bearing premise
The proof depends on the claim in Lemma 3.10 that inserting an extra identity row and column into any witness pair that is genuinely new at one level yields a witness pair at the next level; the paper does not spell out why this insertion preserves conjugacy inside the affine group, and if that failed the structure constants could keep increasing rather than stabilize.
Editorial extensions
If this is right
- All maximal-degree multiplication in every graded center $G_n(q)$ is governed by the single algebra $G(q)$, so computations for arbitrary $n$ reduce to a fixed set of structure constants depending only on $q$.
- The $GL_n(q)$ stable center is a special case of the affine stable center through $k=s=t=0$, so any interpretation found for the linear coefficients transfers to these affine coefficients.
- Maximal-length structure constants can be computed inside the smallest admissible affine group, which makes explicit formulas accessible by finite computation.
- Submaximal coefficients still depend on $n$ (the paper computes $q^{n-1}-q$ for one family), so the stable algebra captures exactly the top-degree part of the filtered center.
Reading between the lines
- The block-insertion argument proving strict increase is likely to work for any family of subgroups of $GL_n(q)$ closed under adding an extra fixed coordinate, so the same scheme could recover stable centers for symplectic, unitary, and orthogonal groups without the heavier centralizer computations used previously.
- The universal algebra $G(q)$ is a natural affine analogue of the classical stable ring for symmetric groups; its modified-type basis suggests it might eventually be identified with a known symmetric-function or Hall-Littlewood-type algebra, with the parameter $k$ playing the role of a boundary label.
- Because Proposition 4.7 exhibits genuine $n$-dependence for submaximal coefficients, a full description of $A_n(q)$ would require tracking lower-degree growth, suggesting a polynomial-ring or $q,t$-generalization of $G(q)$ that the paper does not construct.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the centers of the integral group algebras of finite general affine groups GA_n(q). It introduces a notion of type and modified type for elements of GA_n(q), gives explicit representatives for all conjugacy classes, and proves that GA_n(q) is generated by its reflections and that the reflection length ℓ_a agrees with the ambient GL_n(q) reflection length. This makes the center a filtered algebra, and in the associated graded algebra G_n(q) the structure constants are shown to be independent of n in the extremal degree case (Theorem 3.11), leading to a universal stable center G(q) with positive integer structure constants (Theorem 3.12). The paper also proves that the stable structure constants for GL_n(q) obtained by Wan--Wang arise as special cases of the GA_n(q) constants (Theorem 4.2) and computes several explicit examples, including examples that depend on n when the degree is not extremal.
Significance. If the proof is completed at the one missing point, this is a genuine and substantial extension of the Farahat--Higman stability phenomenon to general affine groups, complementing the GL_n(q) result of Wan--Wang. The explicit conjugacy representatives and the general framework of a 'strictly increasing property' are useful tools, and the universal algebra G(q) with positive integer structure constants is a concrete and natural object. The use of [WW, Theorem 3.11] as an upper bound is legitimate and does not create circularity. The main deficit is the unproved block-insertion assertion in Lemma 3.10, which is local and readily repairable; the overall approach is sound.
major comments (1)
- [§3.4, Lemma 3.10] The assertion that the inserted pair (E′,F′) belongs to T^{C(m+2)}_{A(m+2)B(m+2)} is load-bearing and is not proved in the text. One must check three facts: E′ is GA-conjugate to A^{(m+2)}, F′ is GA-conjugate to B^{(m+2)}, and E′F′ = C^{(m+2)}. The product identity follows directly from block multiplication using EF = C^{(m+1)}. The conjugacy statement is true: after conjugating by the coordinate permutation that moves the inserted coordinate to the end, E′ becomes diag(E,1), and since E ∼_a A^{(m+1)}, one gets diag(E,1) ∼_a A^{(m+2)}; the same applies to F′. But none of this appears in the manuscript, and the proof jumps from the block form to membership in T^{C(m+2)}_{A(m+2)B(m+2)}. Because Proposition 3.5 uses the strictly increasing property to upgrade a bounded non-decreasing sequence to a constant one, this is the only step preventing Theorem 3.11(2) from collapsing to mere monotonicity. Please supply the missing verification. There is also a dimension mismatch in the same proof: since A,B,C lie in GA_n, the elements of T^{C(m+1)}_{A(m+1)B(m+1)} live in GA_{n+m+1}, so the displayed 'E,F∈GA_{m+1}(q)' should read 'E,F∈GA_{n+m+1}(q)'.
minor comments (7)
- [§3.4, Lemma 3.10] The phrase 'at least one of f,h,f′,h′∈F_q is nonzero' should be 'at least one entry of the vectors f,h,f′,h′ is nonzero'.
- [§3.4, Theorem 3.11(1)] The proof cites 'Lemma 3.1, Proposition 3.4 and Lemma 3.6'; the intended references appear to be Proposition 3.8 and Lemma 3.9, since the triangle inequality for modified types is Lemma 3.9.
- [§2.3, definition of J_{(λ,0)}] The displayed matrix defining J_{(λ,0)} uses E^{(k)}_λ even though k=0 is allowed, and E^{(0)}_λ is never defined; the k=0 case should be written as a separate block-diagonal matrix with the k-th block omitted.
- [§3.5, (3.20) and Theorem 3.12] The subscript p^{(ν,t)}_{(λ,k)(μ,s)} is missing a comma, and the quantifier in Theorem 3.12 should range over both (λ,k) and (μ,s) in cP_a(Φ_q).
- [§4.1, Theorem 4.2] The sentence 'Comparing the two sets ... by (4.5) we obtain ...' should explicitly note that the embedded pairs give exactly a^ν_{λμ}(m) pairs in the larger set, so equality of cardinalities forces equality of sets; as written the inference is terse.
- [§1.3] 'he key property' is a typo for 'The key property'.
- [§3.4, Lemma 3.10] The equalities p^{C(m)}_{A(m)B(m)} = #T^{C(m)}_{A(m)B(m)} are by definition rather than by (3.17); the citation to (3.17) is misleading.
Circularity Check
No significant circularity: the GA_n(q) stability result is bounded by, not reduced to, the independent [WW] GL_n(q) theorem; the only flagged issue is an unproved membership assertion in Lemma 3.10, which is an exposition gap rather than a circular step.
full rationale
The main derivation is not circular. Theorem 3.11(2) is obtained by combining the strictly increasing property (Lemma 3.10) with the general Proposition 3.5, which uses [WW, Theorem 3.11] only as an upper bound: inequality (3.18) states p^{(ν,t)}_{(λ,k),(µ,s)}(n) ≤ a^{\hatν(t)}_{\hatλ(k),\hatµ(s)}(n), and Proposition 3.5 bounds the monotone sequence b^{(m)} by the constant a^ν_{λ,μ}. The GL_n(q) theorem is a parameter-free published result whose assumptions do not include GA_n(q) stability; the fact that one author of [WW] is the first author of this paper makes it a self-citation but not a circular one. The paper does not define the GA structure constants in terms of the GL ones; equality is proved only in special cases (Theorem 4.2 and Lemmas 4.1, 4.4) by direct set counting. The degree bound ||(ν,t)|| ≤ ||(λ,k)||+||(µ,s)|| is proved from the triangle inequality for reflection length (Lemma 3.9), not assumed. The one genuinely load-bearing assertion that is not demonstrated is in Lemma 3.10: after inserting the middle identity block, the paper states 'Then (E′, F′) ∈ T^{C(m+2)}_{A(m+2)B(m+2)}' without proving the required GA-conjugacy and product checks. This is a gap in exposition, not circularity: the membership assertion is a direct block-multiplication/conjugation verification and is not equivalent to the theorem being proved. If it failed, strict-increase propagation would fail, but that would be an error, not a self-referential derivation. Accordingly, no circular step is present.
Assumptions & free parameters
assumptions (4)
- standard math Conjugacy classes of GL_n(q) are parametrized by partition-valued functions on the set of monic irreducible polynomials, with Jordan canonical form J_λ.
- domain assumption Reflection length in GL_n(q) equals the codimension of the fixed-point space, with subadditivity and equality conditions for products.
- domain assumption The structure constants a^ν_{λμ}(n) in the center of Z[GL_n(q)] are independent of n when ||ν|| = ||λ|| + ||μ||.
- standard math The embeddings GA_n(q) into GA_{n+1}(q) are compatible with adding identity blocks, so the conjugation formula (2.14) and the modified-type invariants behave as stated.
Cite this review
Pith. "Pith review of Stability of the centers of group algebras of general affine groups $GA_n(q)$." pith.science (2026). https://pith.science/paper/DEIQCXDL
@misc{pith2026250605652,
author = {Pith},
title = {Pith review of: Stability of the centers of group algebras of general affine groups $GA_n(q)$},
year = {2026},
howpublished = {\url{https://pith.science/paper/DEIQCXDL}},
note = {Machine review of arXiv:2506.05652}
}
abstract
The general affine group $GA_n(q)$ consisting of invertible affine transformations of an affine space of codimension one in the vector space $\mathbb{F}_q^n$ over a finite field $\mathbb{F}_q$, can be viewed as a subgroup of the general linear group $GL_{n}(q)$ over $\mathbb{F}_q$. In the article, we introduce the notion of the type of each matrix in $GA_n(q)$ and give an explicit representative for each conjugacy class. Then the center $\mathscr{A}_n(q)$ of the integral group algebra $\mathbb{Z}[GA_n(q)]$ is proved to be a filtered algebra via the length function defined via the reflections lying in $GA_n(q)$. We show in the associated graded algebras $\mathscr{G}_n(q)$ the structure constants with respect to the basis consisting of the conjugacy class sums are independent of $n$. The structure constants in $\mathscr{G}_n(q)$ is further shown to contain the structure constants in the graded algebras introduced by the first author and Wang for $GL_n(q)$ as special cases. The stability leads to a universal stable center $\mathscr{G}(q)$ with positive integer structure constants only depending on $q$ which governs the algebras $\mathscr{G}_n(q)$ for all $n$.
Reference graph
Works this paper leans on
-
[1]
M. Berger, Geometry. I. Universitext. Springer-Verlag, Berlin, 1994. Translated from the 1977 French original by M. Cole and S. Levy, Corrected reprint of the 1987 translation
work page 1994
-
[2]
Reflection length in the general linear and affine groups
E. Delmas and J.B. Lewis, Reflection length in the general linear and affine groups , arXiv:1803.03070 https://arxiv.org/abs/1803.03070
-
[3]
H. Farahat and G. Higman, The centers of symmetric group rings , Proc. Roy. Soc. (A) 250 (1959), 212--221
work page 1959
- [4]
-
[5]
Absolute order in general linear groups
J. Huang, J.B. Lewis and V. Reiner, Absolute order in general linear groups , Journal of London Math. Soc. 95 (2017), 223--247, arXiv:1506.03332 https://arxiv.org/abs/1506.03332
work page Pith review arXiv 2017
-
[6]
A. Kannan and C. Ryba, Stable Centres II: Finite Classical Groups , arXiv:2112.01467 https://arxiv.org/abs/2112.01467
-
[7]
Kleshchev, Linear and Projective Representations of Symmetric Groups , Cambridge University Press, 2005
A. Kleshchev, Linear and Projective Representations of Symmetric Groups , Cambridge University Press, 2005
2005
-
[8]
W.-P. Li, Z. Qin and W. Wang, Ideals of the cohomology rings of Hilbert schemes and their applications , Trans. AMS 356 (2004), 245--265
work page 2004
Show all 18 references
-
[9]
Lehn and C
M. Lehn and C. Sorger, Symmetric groups and the cup product on the cohomology of Hilbert schemes , Duke Math. J. 110 (2001), 345--357
2001
-
[10]
Mcdonald, Symmetric functions and Hall polynomials , 2nd Edition, Clarendon Press, Oxford, 1995
I. Mcdonald, Symmetric functions and Hall polynomials , 2nd Edition, Clarendon Press, Oxford, 1995
1995
-
[11]
M\' e liot, Partial isomorphisms over finite fields , J
P.-L. M\' e liot, Partial isomorphisms over finite fields , J. Algebraic Combin. 40 (2014), no. 1, 83--136, arXiv:1303.4313 https://arxiv.org/abs/1303.4313
2014 arXiv
-
[12]
Murray, Conjugacy Classes in Maximal Parabolic Subgroups of General Linear Groups , Journal of Algebra 233 (2000), 135--155
S. Murray, Conjugacy Classes in Maximal Parabolic Subgroups of General Linear Groups , Journal of Algebra 233 (2000), 135--155
2000
-
[13]
\" O meara, Symplectic groups , American Mathematical Society (1978), 122 pages
O. \" O meara, Symplectic groups , American Mathematical Society (1978), 122 pages
1978
-
[14]
\" O zden, Stability of the centers of the symplectic group rings Z [Sp_ 2n (q)] , Journal of Algebra 572 (2021), 263--296
S. \" O zden, Stability of the centers of the symplectic group rings Z [Sp_ 2n (q)] , Journal of Algebra 572 (2021), 263--296
2021
-
[15]
Vasserot, Sur l'anneau de cohomologie du sch\'ema de Hilbert de ^2 , C
E. Vasserot, Sur l'anneau de cohomologie du sch\'ema de Hilbert de ^2 , C. R. Acad. Sci. Paris, S\'er. I Math. 332 (2001), 7--12
2001
-
[16]
J. Wan, W. Wang, Stability of the centers of group algebras of GL_n(q) , Advances in Mathematics 349 (2019), 749--780
2019
-
[17]
Wang, The Farahat-Higman ring of wreath products and Hilbert schemes , Adv
W. Wang, The Farahat-Higman ring of wreath products and Hilbert schemes , Adv. Math. 187 (2004), 417--446
2004
-
[18]
Zelevinsky, Representations of finite classical groups
A. Zelevinsky, Representations of finite classical groups. A Hopf Algebra Approach , Lecture Notes in Mathematics, Vol. 869 , Springer, Berlin, New York, 1981
1981
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.