Lewis–Reiner–Stanton parabolic Hilbert-series conjecture

Let G=GLn(Fq)G=GL_n(\mathbb{F}_q) act on S=Fq[x1,,xn]S=\mathbb{F}_q[x_1,\ldots,x_n], let Q(m,n)=S/(x1qm,,xnqm)Q(m,n)=S/(x_1^{q^m},\ldots,x_n^{q^m}), and let PαP_{\alpha} be the parabolic subgroup associated with a composition α=(α1,,α)\alpha=(\alpha_1,\ldots,\alpha_{\ell}) of nn. For βZ0\beta\in\mathbb{Z}_{\geq 0}^{\ell}, write βα\beta\leq\alpha when βiαi\beta_i\leq\alpha_i for every ii, write β=j=1βj|\beta|=\sum_{j=1}^{\ell}\beta_j, and set Bi=j=1iβjB_i=\sum_{j=1}^{i}\beta_j. Lewis–Reiner–Stanton's parabolic conjecture. For m0m\geq 0, the invariant ring Q(m,n)PαQ(m,n)^{P_{\alpha}} has Hilbert series

Hilb(Q(m,n)Pα,t)=βαβmte(m,α,β)[mβ,mβ]q,t,\operatorname{Hilb}(Q(m,n)^{P_{\alpha}},t)=\sum_{\substack{\beta\leq\alpha\beta\leq m}}t^{e(m,\alpha,\beta)}\genfrac{[}{]}{0pt}{}{m}{\beta,m-|\beta|}_{q,t},

where

e(m,α,β)=i=1(αiβi)(qmqBi).e(m,\alpha,\beta)=\sum_{i=1}^{\ell}(\alpha_i-\beta_i)(q^m-q^{B_i}).

This conjecture predicts the Hilbert series of invariant rings of truncated polynomial rings under parabolic subgroups; the supplied source does not indicate whether it has been resolved.

Sources & referencesView supporting material

Primary source

Hoang Le Xuan, “On Modular Invariants of Truncated Polynomial Rings”, arXiv:2605.30397 (2026).

Additional references

2 papers in this index state this conjecture (2017–2026). The statement above is taken from the most recent of them; the others are arXiv:1701.06329.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.