Essential dimension of infinitesimal unipotent group schemes

In fact the Verschiebung of \mathbb{Z}/p^n\mathbb{Z} is just multiplication by p^n. So, since p^{n-1} is not trivial over \mathbb{Z}/p^n\mathbb{Z}, then by the above conjecture we have that \operatorname{ed}_k\mathbb{Z}/p^n\mathbb{Z}\ge n. On the other hand since \mathbb{Z}/p^n\mathbb{Z} is contained in the special group of Witt vectors of length n, which has dimension n, then \operatorname{ed}_k\mathbb{Z}/p^n\mathbb{Z}\le n.

Conversely, let us suppose Ledet conjecture is true. Let G be a finite commutative unipotent étale group scheme over a field k of positive characteristic. Since essential dimension does not increase by field extension ([BF, Prop 1.5]) we can assume k algebraically closed. So we have that G is the product of cyclic p-groups. Let us take a direct summand of order maximum p^n. Then n is such that V^n=0 but V^{n-1}\neq 0. We have that \operatorname{ed}_kG\ge \operatorname{ed}_k\mathbb{Z}/p^n\mathbb{Z}=n, where the last equality follows from Ledet Conjecture. So we are done.

In [TV, Theorem 1.2] it has been proved that for a finite group scheme the essential dimension is greater than or equal the dimension of its Lie Algebra. In the case of the proposition the order of the group scheme is p^n, where n is the dimension of the Lie Algebra.

Since, by the lemma below, we have that V^n=0 the conjecture is proven in this case.

We consider V^n as morphism G^{(p^n)}\to G.

Since G is unipotent the kernel of V is not trivial, so in particular the image of V has order strictly less than n. Iterating the argument and applying it to the subgroup image, we have that the image of V^{i+1} is strictly contained in the image of V^i, for any i\ge 0. So after n-iteration the image is trivial.

Clearly we have only to prove the if part. Using Lemma 2.5(iv), we have to prove the conjecture only for infinitesimal group schemes since the étale case, which we can reduce to G=\mathbb{Z}/p^2\mathbb{Z} by Remark 2.2, is known ([BF, Proposition 7.10]). In particular the Frobenius is not injective. By the above Lemma we can suppose that k is algebraically closed and we can suppose that G is contained in W_{2,k}. We have to prove that the essential dimension is at least 2. Let us consider the exact sequence

If V(\ker \operatorname{F})\neq 0 then we are done by Lemma 2.5(i) and Proposition 2.3. If V(\operatorname{F} (G))\neq 0 we are reduced to prove the conjecture for \operatorname{F}(G), again by Lemma 2.5(i). If m is the smallest integer such that \operatorname{F}^m(G)=0 then iterating the argument (at most m-1 times) we finally have two possibilities: we have to prove the conjecture for a group scheme with V(\ker \operatorname{F})=V(\operatorname{F} (G))=0 or for a group annihilated by \operatorname{F} (this happens if we have to iterate exactly m-1 times). The second case is already known by Proposition 2.3. Therefore we can suppose we are in the first case. Therefore \ker \operatorname{F} and \operatorname{F}(G) are contained in \mathbb{G}_{a,k}. This means that \ker \operatorname{F} =\alpha_{p,k} and \operatorname{F}(G)=\alpha_{p^m,k} for some m. So we can suppose that we have an exact sequence

Now we have that V and \operatorname{F}^{m} induce a morphism from G to \alpha_{p,k}. Moreover

But G has order p^{m+1} and F(G^{(1/p)}) has order p^m, so G/F(G^{(1/p)})\simeq \alpha_{p,k}. Then

This implies that

for some a\in k. Therefore G is contained in \ker(V-a\operatorname{F}^m):W_{2,k}\to W_{2,k}. Since these two group schemes have the same order, as it is easy to check, they are equal.

Finally we remark that since k is algebraically closed it is straightforward to prove that, if we fix m, all these groups are isomorphic between them.

Clearly (i) implies (ii). We now prove (i). Let k be algebraically closed. One has just to prove the only if part since \alpha_{p^m,k}\times (\mathbb{Z}/p\mathbb{Z})^r is contained in \mathbb{G}_{a,k} if k is algebraically closed . First of all we remark that if the essential dimension is 1 then the Verschiebung is trivial. In fact if n_G(V)>1 then V^{n_G(V)-2}(G^{(p^{n_G(V)-2})}) is a subgroup scheme of G with V-order 2. Therefore if the conjecture is true for group schemes with V-order 2 then G would have essential dimension strictly greater than 1. So V=0. Then by [DG, IV §3, Corollaire 6.9] we have that G is isomorphic to \prod_{i=1}^l\alpha_{p^{n_i},k}\times (\mathbb{Z}/p\mathbb{Z})^r for some l,n_i,r>0. Since the essential dimension of G is one then, by [TV, Theorem 1.2], we have \dim Lie(G)\le 1. So G is isomorphic to \alpha_{p^m,k}\times (\mathbb{Z}/p\mathbb{Z})^r for some m,r>0

Using (i), to prove (iii) we have just to

show that \alpha_{p^m,k} has no nontrivial twisted forms. This follows from the fact that Aut_{\bar{k}}(\alpha_{p^n,\bar{k}}) is isomorphic to \mathbb{G}_{m,\bar{k}}\times \mathbb{G}_{a,\bar{k}}^{m-1}. Since twisted forms are classified by the first cohomology of this group then there is only one twisted form.

As usual we can suppose that k is algebraically closed. For any positive integer n we call A[p^n] the group scheme of p^n-torsion of A. Since A[p^n]\subseteq A, by [Bro, Principle 2.9](We remark that the proof of [BF, Theorem 6.19], which we used before and which is the standard reference for this result, works only for affine group schemes since it uses versal torsors. We remark that in [BF] an algebraic group is intended to be affine.), we have that

Now by [M, pag. 147] we have that there exists an integer r\ge 0 such that

where G^0_n is unipotent and infinitesimal. If r=0 then we remark that V^{n-1} is not trivial over G^0_n=A[p^n] otherwise A[p^n]=A[p^{n-1}]. If r>0 then V^{n-1}((\mathbb{Z}/p^n\mathbb{Z})^r)\neq 0. So, if we call U_n the unipotent part of A[p^n]

we have that V^{n-1} is not trivial over U_n. So by conjecture 1.4, and [BF, Theorem 6.19], we have that

which, together with (Proof), gives \operatorname{ed}_k A=+\infty.