Conjectural Dickson-module generation for excellent polynomials

Fix m0m\geq 0. Let S=Fq[x1,,xn]S=\mathbb{F}_q[x_1,\ldots,x_n], let Am(n)A_m^{(n)} be the set of (n+1,m)(n+1,m)-excellent polynomials, meaning polynomials ff for which δn+1(f)\delta_{n+1}(f) is a polynomial, and let Dn\mathcal{D}_n be the Dickson algebra. Write δn\delta_n for δn;m\delta_{n;m}. Excellent-polynomial generation conjecture. For n2n\geq 2, Am(n)A_m^{(n)} is generated as a Dn\mathcal{D}_n-module by

Gm(n)={1}{δn(g)gAm(n1)}.G_m^{(n)}=\{1\}\cup\{\delta_n(g)\mid g\in A_m^{(n-1)}\}.

The conjecture proposes an explicit generating set for the excellent-polynomial space as a module over the Dickson algebra, motivated by the source's partial results on polynomiality of the δ\delta operators; no resolution is supplied.

Sources & referencesView supporting material

Primary source

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

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.