A proof of the Lewis-Reiner-Stanton conjecture for the Borel subgroup

For each parabolic subgroup P of the general linear group GLₙ (Fq), a conjecture due to Lewis, Reiner and Stanton LewisReinerStanton2017 predicts a formula for the Hilbert series of the space of invariants Qₘ (n) ^P where Qₘ (n) is the quotient ring Fqx₁, , xₙ/ (x₁^qᵐ, , xₙ^qᵐ). In this paper, we prove the conjecture for the Borel subgroup B by constructing a linear basis for mathcalQₘ (n) B. The construction is based on an operator which produces new invariants from old invariants of lower ranks. We also upgrade the conjecture of Lewis, Reiner and Stanton by proposing an explicit basis for the space of invariants for each parabolic subgroup.