Steenrod-generation conjecture for the invariants am,2,ka_{m,2,k'}

Fix mm and let

A={am,2,k:0kqmqq1},A=\{a_{m,2,k'}:0\leq k'\leq\frac{q^m-q}{q-1}\},

and

B={am,2,k:k=0 or k=1+qt1q1 for 1tm1}.B=\{a_{m,2,k'}:k'=0\text{ or }k'=1+\frac{q^t-1}{q-1}\text{ for }1\leq t\leq m-1\}.

Here the am,2,ka_{m,2,k'} are the invariants introduced for the n=2n=2 case, and Steenrod operations act on them. Steenrod-generation conjecture. Every element of AA can be generated by Steenrod operations from elements of BB: am,2,0a_{m,2,0} generates itself and am,2,1a_{m,2,1}; if 1t<m11\leq t<m-1 and k=1+qt1q1k'=1+\frac{q^t-1}{q-1}, then am,2,ka_{m,2,k'} generates am,2,la_{m,2,l} for klk+qtk'\leq l\leq k'+q^t; and for t=m1t=m-1 it generates am,2,la_{m,2,l} for klk+qt1k'\leq l\leq k'+q^t-1. This conjecture would reduce the invariant family to a smaller set of Steenrod generators, but the source gives no resolution.

Sources & referencesView supporting material

Primary source

Pallav Goyal, “Invariant Theory of finite general linear groups modulo Frobenius powers”, arXiv:1701.06329 (2017).

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.