The strong Lefschetz property for quadratic reverse lexicographic ideals

Consider ideals I I of the form \ I = (x 1 2, …, x n 2) + RLex ⁡ (x i x j) I= (x₁², , xₙ²) + RLex (xᵢxⱼ) \ where RLex ⁡ (x i x j) RLex (xᵢxⱼ) is the ideal generated by all the square-free monomials which are greater than or equal to x i x j xᵢxⱼ in the reverse lexicographic order. We will determine some interesting properties regarding the shape of the Hilbert series of I I. Using a theorem of Lindsey Proc. Amer. Math. Soc. 139 (2011), no. 1, 79–92, this allows for a short proof that any algebra defined by I I has the strong Lefschetz property when the underlying field is of characteristic zero. Building on recent work by Phuong and Tran Colloq. Math. 173 (2023), no. 1, 1–8, this result is then extended to fields of sufficiently high positive characteristic. As a consequence, this shows that for any possible number of minimal generators for an artinian quadratic ideal there exists such an ideal minimally generated by that many monomials and defining an algebra with the strong Lefschetz property.