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

At least 8 years old · documented by

Fix mm and let

A={am,2,k′:0≤k′≤qm−qq−1},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+qt−1q−1 for 1≤t≤m−1}.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,k′a_{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 1≤t<m−11\leq t<m-1 and k′=1+qt−1q−1k'=1+\frac{q^t-1}{q-1}, then am,2,k′a_{m,2,k'} generates am,2,la_{m,2,l} for k′≤l≤k′+qtk'\leq l\leq k'+q^t; and for t=m−1t=m-1 it generates am,2,la_{m,2,l} for k′≤l≤k′+qt−1k'\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.

References

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.