REVIEW 2 major objections 5 minor 13 references
Invariants of polynomials mod Frobenius powers
T0 review · 2 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read The paper proves that for any subgroup of the general linear group over a finite field fixing a hyperplane pointwise, the Hilbert series of the invariants in the polynomial quotient by the $m$-th Frobenius power of the irrelevant ideal is…
desk verdict Genuinely new local case of the LRS conjecture with a credible proof; the p=2 case is left in the air but likely patchable. 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 construction is an explicit Groebner basis---a generating set whose leading monomials generate the initial ideal---for the ideal $S^G\cap\mathfrak{m}^{[p^m]}$ inside the invariant ring $S^G$, paired with the direct-sum decomposition $(S/\mathfrak{m}^{[p^m]})^G=A_G\oplus B_G$. Here $A_G=(S^G+\mathfrak{m}^{[p^m]})/\mathfrak{m}^{[p^m]}$ is the part described by the Groebner basis, while $B_G$ is an explicit $\mathbb{F}_p[f_1,\ldots,f_{n-1}]$-span of monomials $x_1^{a_1}\cdots x_{n-1}^{a_{n-1}}x_n^{p^m-1}$ with $0\le a_i<p$ and $\sum_i a_i\ge 2$. The basis polynomials $h_0,h_{1,a},h_{2,a,b}$ are written in terms of the basic invariants $f_i=x_i^p-x_i x_n^{p-1}$ for $i<n$ and $f_n=x_n^e$, where $e$ is the order of the semisimple part and the transvection root space is maximal; their leading monomials generate the initial ideal, and the Hilbert series is assembled by short exact sequences. The argument transfers leading monomials between $S$ and $S^G$ through the compatibility in Eq. (4.1) and uses a binomial-coefficient congruence modulo $p$ to prove the key divisibility lemma.
What would settle it
Compute both sides of Eq. (4.1) for a concrete invariant, for instance $f_1^2 f_2$ in $\mathbb{F}_5[x_1,x_2,x_3]$ under the order $x_1>x_2>x_3$; if the leading monomial computed in $S^G$ differs from the leading monomial of its expansion in $S$, the initial ideal changes and the Hilbert series in Propositions 5.1 and 9.5 would not follow from the stated Groebner basis.
Extended reading notes
Core claim
The central discovery is an exact formula for the Hilbert series of the invariant subspace of $S/\mathfrak{m}^{[q^m]}$ under the pointwise stabilizer $G=\mathrm{GL}_n(\mathbb{F}_q)_H$ of any hyperplane $H\subset V=\mathbb{F}_q^n$. With $S=\mathbb{F}_q[x_1,\ldots,x_n]$ and $\mathfrak{m}^{[q^m]}=(x_1^{q^m},\ldots,x_n^{q^m})$, the paper proves $$ \mathrm{Hilb}\left((S/\mathfrak{m}^{[q^m]})^G,t\right)=[$q^{{m-1}}$]_{t^q}^{n-1}\binom{m}{1}_{q,t}+$t^{{q^m-1}}$[q^m]$_t^{{n-1}}$\binom{m}{0}_{q,t}, $$ where $[a]_q=1+q+\cdots+q^{a-1}$ and $\binom{m}{k}_{q,t}$ is the $(q,t)$-binomial coefficient. Taking the limit $t\to 1$ gives the dimension as $q^{(m-1)(n-1)}\binom{m}{1}_q+q^{m(n-1)}\binom{m}{0}_q$, and this dimension is shown to equal the number of orbits of $G$ on $(\mathbb{F}_{q^m})^n$. For subgroups over $\mathbb{F}_p$ fixing a hyperplane, the paper also gives the Hilbert series in the more general form depending on the transvection root-space dimension $\ell$ and the order $e$ of the semisimple part.
Load-bearing premise
The proof rests on the unproved assumption that the two monomial orderings used to identify leading terms---one on the invariant subring and one on the full polynomial ring---pick out the same leading monomial for every invariant; if that compatibility failed, the proposed Groebner basis would not compute the correct Hilbert series.
Editorial extensions
If this is right
- For any hyperplane stabilizer in $\mathrm{GL}_n(\mathbb{F}_q)$, the dimension of the invariant space equals the number of orbits of that group on $(\mathbb{F}_{q^m})^n$, so the algebraic dimension is a pure orbit count.
- For any reflection subgroup of $\mathrm{GL}_n(\mathbb{F}_p)$ fixing a hyperplane, the Hilbert series takes the explicit closed form of Theorem 8.1, expressed in terms of $n$, the transvection root-space dimension $\ell$, and the semisimple order $e$.
- The invariant dimension for such groups is $p^{m(n-1)}+p^{m(n-1)-\ell}(p^m-1)/e$, and the same expression is the number of orbits on $(\mathbb{F}_{p^m})^n$.
- For $\mathrm{GL}_n(\mathbb{F}_q)$ itself, the paper bounds the Hilbert function: every monomial in an invariant of degree below the top has all exponents at most $q^m-q$, with a single exceptional top monomial.
- In the two-dimensional case, $S^G\cap\mathfrak{m}^{[p^m]}$ has an explicit two-term free resolution, giving an independent derivation of the Hilbert series for $A_G$.
Reading between the lines
- If the local result is any guide, a similar direct-sum decomposition may hold for modular reflection groups fixing subspaces of higher codimension, which would be a route toward the full $\mathrm{GL}_n(\mathbb{F}_q)$ conjecture; the paper does not itself prove that extension.
- The compatibility of monomial orderings stated in Eq. (4.1) is asserted without proof; checking it on explicit families of invariants would either confirm the transfer of Groebner bases or expose a case where the initial ideal is different.
- The reformulation of the Hilbert series as a sum over two parameter values suggests that a similar $(q,t)$-binomial identity might hold for other reflection groups; the paper leaves that question open.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves a Hilbert series formula for the invariants of S/m^{[q^m]} under the pointwise stabilizer GL_n(F_q)_H of a hyperplane H, matching the local case of the Lewis-Reiner-Stanton conjecture, and derives an orbit-counting interpretation. The proof works first over F_p: for a reflection group G fixing a hyperplane it constructs a Groebner basis of S^G ∩ m^{[p^m]}, computes the Hilbert series of (S^G + m^{[p^m]})/m^{[p^m]} by short exact sequences, and proves a direct-sum decomposition of (S/m^{[p^m]})^G into AG ⊕ BG. Sections 8 and 9 then extend the statement to arbitrary hyperplane-fixing subgroups and to GL_n(F_q)_H, and the t=1 limit is interpreted as an orbit count.
Significance. If the proof is completed, this is a substantial contribution: it establishes the hyperplane-stabilizer case of the Lewis-Reiner-Stanton conjecture, gives a positive-characteristic analogue of Catalan-number Hilbert series, and provides explicit generating sets and Groebner bases. The computations are concrete, mostly self-contained, and the orbit-counting interpretation gives a nontrivial check of the dimension formula. The main caveat is a deferred case in the key decomposition; until that case is supplied, the theorem as stated is not fully proved.
major comments (2)
- [Section 6, Proposition 6.5] The proof of the direct-sum decomposition explicitly leaves out the case p = 2: in the third case it states 'One can check the case p = 2 separately' and gives no check. This is load-bearing because Theorem 1.1 and Corollary 1.2 cover q = 2, and Proposition 9.7 obtains the F_q version of the decomposition by adapting the proof of Proposition 6.5. In characteristic 2, the monomial N = x_a^{p^m-1} x_b^{p^m-1} x_n^{2(p-1)p^{m-1}} has x_n-degree equal to p^m, and e = 1, so the inequalities (6.6) and (6.7) and the parity/divisibility argument used for odd p do not automatically apply. The authors must supply the missing p = 2 verification, or an alternative argument covering GL_n(F_q)_H for q even, before the central claim is established.
- [Section 6, proof of Proposition 6.5] The contradiction argument fixes 'some M in X_f ∩ X_h' and then uses the condition 'h is not in m[p^m]' to conclude the degree restrictions (6.6) and (6.7). These restrictions are only justified for a monomial of h f_n that lies outside m[p^m] f_n; arbitrary monomials of h f_n can have larger x_n-degree and hence be inside m[p^m] f_n. The proof should explicitly choose M to be a monomial of h f_n witnessing h f_n ∉ m[p^m] f_n and show that this particular monomial cannot lie in X_f. As written, this step does not follow, although it appears readily repairable.
minor comments (5)
- [Section 4, Eq. (4.1)] The compatibility of the graded lexicographic orderings on S and S^G is asserted without proof. It is a standard consequence of LM(fg) = LM(f)LM(g) together with the explicit form of the basic invariants f_i = x_i^p - x_i x_n^{p-1}, f_n = x_n^e; adding a one-sentence justification or a citation would remove any ambiguity.
- [Section 4, Lemma 4.6] The displayed Lucas' Theorem congruence appears to be incorrect for m = 2: for example, binom(2p-1, p+1) is congruent to p-1 mod p, not 1. The argument only needs the coefficient to be nonzero, so the proof survives, but the displayed equality should be corrected.
- [Section 9, Proposition 9.7] The statement 'One may easily adapt the proofs of Proposition 6.4 and Proposition 6.5 to the case of F_q' is too terse for a proposition that is foundational for Theorem 1.1. In particular, the adaption must address the characteristic-2 case that is deferred in Proposition 6.5.
- [Corollary 6.9 proof] In the proof of Corollary 6.9, the notation F_p[v_{l+1}, ..., v_{n-1}] should denote the polynomial ring in those variables, not a vector space span; the intended meaning is clear but the notation should be made consistent.
- [Throughout] The arXiv text contains many OCR artifacts, such as 'S/upsl⋊pem[q^m]' and 'l' for subscripts; the journal version should be typeset cleanly, since these artifacts make the formulas unnecessarily hard to read.
Circularity Check
No circularity: the Hilbert-series derivation is self-contained; the Hartmann-Shepler citation is independent support and the p=2 gap is a correctness issue, not a circular input.
full rationale
The derivation of Theorem 1.1 is self-contained: it constructs an explicit Groebner basis for S^G ∩ m^{[p^m]} (Proposition 4.9), computes the Hilbert series of A_G via the standard initial-ideal and short-exact-sequence method (Proposition 5.1), proves a direct-sum decomposition (S/m^{[p^m]})^G = A_G ⊕ B_G with an explicit B_G (Propositions 6.4/6.5 and 9.7), computes Hilb(B_G) directly (Lemmas 7.1/9.8), and sums the two pieces. The Lewis-Reiner-Stanton conjecture is cited as motivation and comparison, but none of its asserted formula is used as an input; the paper derives its own formula and only afterward compares it with Conjecture 2.1. The only author-overlapping citation is Hartmann-Shepler [7], used for the standard structure of hyperplane-fixing reflection groups and for the fact that the transvection root space is an F_p-vector space; that is an independent published structure theorem whose assumptions do not include the target Hilbert series, and the paper gives the needed invariant generators explicitly in Section 3 and Section 9. The passage 'One can check the case p = 2 separately' in Proposition 6.5 is an omitted verification that affects the q=2 case of Theorem 1.1; this is a completeness and correctness gap, not a circular reduction, because it is not an input being recycled as an output. There are no fitted constants, no parameter renamed as a prediction, and no uniqueness claim imported from the authors' prior work. Accordingly, no specific circular step can be exhibited.
Assumptions & free parameters
assumptions (4)
- standard math Lucas' theorem on binomial coefficients modulo a prime
- domain assumption Compatibility of graded lexicographic orderings on S and S^G (Eq. (4.1))
- domain assumption Structure theorem for finite reflection groups fixing a hyperplane: G is the semi-direct product of its transvection subgroup and a cyclic semisimple group, with basic invariants f_i = x_i^p - x_i x_n^{p-1} and f_n = x_n^e
- standard math Groebner basis theory and Hilbert series additivity over short exact sequences
Cite this review
Pith. "Pith review of Invariants of polynomials mod Frobenius powers." pith.science (2026). https://pith.science/paper/53OS2SUW
@misc{pith2026190805259,
author = {Pith},
title = {Pith review of: Invariants of polynomials mod Frobenius powers},
year = {2026},
howpublished = {\url{https://pith.science/paper/53OS2SUW}},
note = {Machine review of arXiv:1908.05259}
}
abstract
Lewis, Reiner, and Stanton conjectured a Hilbert seriesfor a space of invariants under an action of finite general linear groups using $(q,t)$-binomial coefficients. This work gives an analog in positive characteristic of theorems relating various Catalan numbers to the representation theory of rational Cherednik algebras. They consider a finite general linear group as a reflection group acting on the quotient of a polynomial ring by iterated powers of the irrelevant ideal under the Frobenius map. We prove a variant of their conjecture in the local case, when the group acting fixes a reflecting hyperplane.
Reference graph
Works this paper leans on
-
[1]
D. Armstrong, V. Reiner, B. Rhoades, Parking spaces, Adv. Math., 269 (2015), 647–706
work page 2015
- [2]
-
[3]
D. Bessis and V. Reiner, Cyclic sieving of noncrossing partitions for complex reflec tion groups , Ann. Comb. 15 (2011), no. 2, 197–222
work page 2011
-
[4]
D. Eisenbud, Commutative algebra with a view toward algebraic geometry , Graduate Texts in Mathematics, 150, Springer-Verlag, New York, 1995, xvi+78 5
work page 1995
-
[5]
Gordon, On the quotient ring by diagonal invariants , Invent
I. Gordon, On the quotient ring by diagonal invariants , Invent. Math., 153 (2003), 503–518
work page 2003
-
[6]
I. Gordon and S. Griffeth, Catalan numbers for complex reflection groups , Amer. J. Math. 134 (2012), no. 6, 14911502
work page 2012
-
[7]
J. Hartmann and A.V. Shepler, Jacobians of reflection groups , Trans. Amer. Math. Soc, 360 (2008), 123–133
work page 2008
-
[8]
C. Krattenthaler, T. M¨ uller, Cyclic sieving for generalised non-crossing partitions as sociated with complex reflection groups of exceptional type . In Advances in combinatorics , 209–247, Springer, Heidelberg, 2013
work page 2013
Show all 13 references
-
[9]
Lewis, V
J. Lewis, V. Reiner and D. Stanton, Invariants of GL n(Fq) in polynomials mod Frobenius powers , Proc. Roy. Soc. Edinburgh Sect. A, 147 (2017), 831–873
2017
-
[10]
Lucas, Sur les congruences des nombres eul´ eriens et les coefficient s diff´ erentiels des functions trigonom´ etriques suivant un module premier, Bull
E. Lucas, Sur les congruences des nombres eul´ eriens et les coefficient s diff´ erentiels des functions trigonom´ etriques suivant un module premier, Bull. Soc. Math. France, 6 (1878), 49–54
-
[11]
Reiner and D
V. Reiner and D. Stanton, ( q, t)-analogues and GL n(Fq), J. Algebraic Combin. 31 (2010), 411–454
2010
-
[12]
R. P. Stanley, Enumerative combinatorics. Vol. 1 , Cambridge Studies in Advanced Mathematics, 49, With a forward by G. Rota, Corrected reprint of the 1986 or iginal, Cambridge University Press, 1997, xii+325
1986
-
[13]
Stump, q,t-Fuß-Catalan numbers for finite reflection groups , J
C. Stump, q,t-Fuß-Catalan numbers for finite reflection groups , J. Algebr. Comb. (2010) 32, 67–97. Department of Mathematics, University of North Texas, Dent on, Texas 76203, USA E-mail address : chelseadrescher@my.unt.edu Department of Mathematics, University of North Texas, D...
2010
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.