Explicit basis conjecture for general linear invariants in all ranks

About 2 years old · traced to

Let Qm(n)=Fq[x1,…,xn]/(x1qm,…,xnqm){\mathcal{Q}}_m(n)=\mathbb{F}_q[x_1,\ldots,x_n]/(x_1^{q^m},\ldots,x_n^{q^m}), let Gn=GLn(Fq)G_n=GL_n(\mathbb{F}_q), and let δs+1;m\delta_{s+1;m} and Δsm\Delta_s^m be the operators and Dickson-algebra subspaces defined in the source. For 0≤s≤min⁡(m,n)0\leq s\leq\min(m,n), consider the family

δs+1;mn−s(f),f∈Δsm.\delta_{s+1;m}^{n-s}(f),\qquad f\in\Delta_s^m.

Explicit general-linear basis conjecture. The set Bm(n)\mathcal{B}_m(n) consisting of these elements forms an Fq\mathbb{F}_q-basis of Qm(n)Gn{\mathcal{Q}}_m(n)^{G_n}. The conjecture is the full-general-linear specialization of the proposed parabolic basis and would give an explicit description of all invariants. The source gives no resolution status.

References

Primary source

Le Minh Ha, Nguyen Dang Ho Hai and Nguyen Van Nghia, “On Modular Invariants of Truncated Polynomial Rings in low ranks”, arXiv:2408.16250 (2025).

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.