Toward explicit Hilbert series of quasi-invariant polynomials in characteristic $p$ and $q$-deformed quasi-invariants

TL;DR

This paper investigates the structure and Hilbert series of quasi-invariant polynomials for the symmetric group in characteristic p, confirming conjectures for n=3 and exploring differences between characteristic 0 and p.

Contribution

It provides explicit Hilbert series for n=3, proves conjectures on freeness and palindromicity, and extends results to q-deformed quasi-invariants, advancing understanding of their algebraic properties.

Findings

Confirmed the Hilbert series for n=3 quasi-invariants in characteristic p.

Proved freeness and palindromicity of the modules over symmetric polynomials.

Identified conditions where the Hilbert series differ between characteristic 0 and p.

Abstract

We study the spaces $Q_m$ of $m$-quasi-invariant polynomials of the symmetric group $S_n$ in characteristic $p$. Using the representation theory of the symmetric group we describe the Hilbert series of $Q_m$ for $n=3$, proving a conjecture of Ren and Xu [arXiv:1907.13417]. From this we may deduce the palindromicity and highest term of the Hilbert polynomial and the freeness of $Q_m$ as a module over the ring of symmetric polynomials, which are conjectured for general $n$. We also prove further results in the case $n=3$ that allow us to compute values of $m,p$ for which $Q_m$ has a different Hilbert series over characteristic 0 and characteristic $p$, and what the degrees of the generators of $Q_m$ are in such cases. We also extend various results to the spaces $Q_{m,q}$ of $q$-deformed $m$-quasi-invariants and prove a sufficient condition for the Hilbert series of $Q_{m,q}$ to differ from the Hilbert series of $Q_m$.