Verschiebung-order lower-bound conjecture for finite unipotent group schemes

At least 9 years old · documented by

Let kk be a field of positive characteristic, and let GG be a finite commutative unipotent group scheme over kk. Let V:G(p)\ifinner\ifinner\ifinner\ifinner\ifinner\ifinner\ifinner\ifinner→\else⟶\fi\else⟶\fi\else⟶\fi\else⟶\fi\else⟶\fi\else⟶\fi\else⟶\fi\else⟶\fiGV:G^{(p)}\ifinner\ifinner\ifinner\ifinner\ifinner\ifinner\ifinner\ifinner\to\else\longrightarrow\fi\else\longrightarrow\fi\else\longrightarrow\fi\else\longrightarrow\fi\else\longrightarrow\fi\else\longrightarrow\fi\else\longrightarrow\fi\else\longrightarrow\fi G be the Verschiebung, and let nV(G)n_V(G) be the minimal integer n≥1n\ge 1 such that Vn=0V^n=0. Verschiebung-order lower-bound conjecture.

ed⁡k(G)≥nV(G).\operatorname{ed}_k(G)\ge n_V(G).

This is proposed as a generalization of Ledet's conjecture for finite unipotent commutative group schemes. The supplied text gives no resolution, so the conjecture remains open in this record.

References

Primary source

Dajano Tossici, “Essential dimension of group schemes over a local scheme”, arXiv:1602.07187 (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.