Marion Jeannin

Integration questions in separably good characteristics

Keywords: 2020 Mathematics Subject Classification 14L15, 14G17, 14L24, 20G05 Integration, Springer isomorphisms, saturation, modular Lie algebras, fppf-topology

HAL is

Introduction

Let k be an algebraically closed field and G be a k-group. We denote:

by g its Lie algebra, -by G 0 the connected component of identity, -by G red the reduced part of G.

Assume that G is a reductive group. When k is of characteristic 0, the classical theory comes with the well-defined exponential map which allows to integrate any nilpotent element x ∈ g into a unipotent element exp(x) ∈ G. This enables to define the Baker-Campbell-Hausdorff law which is useful to endow any nilpotent Lie subalgebra of g with a group law. By this process, the aforementioned Lie subalgebra becomes a unipotent group isomorphic to a unipotent subgroup of G. To summarize, when k is of characteristic 0:

(i) any nilpotent subalgebra of g can be integrated into a unipotent smooth connected subgroup U ⊆ G (meaning that Lie(U ) ∼ = u as Lie algebras),

(ii) the exponential map induces an equivalence of categories between the category of finite dimensional nilpotent k-Lie algebras and the category of unipotent algebraic k-groups (see for example [DG70, IV, §2, n • 4, Corollaire 4.5]).

If now the field k is of characteristic p > 0, one should try to determine whether it is possible to define analogues of the previously mentioned tools in order to integrate p-nil subalgebras of g. As we will explain in section 2.2, these p-nil subalgebras are the adequate objects to consider in characteristic p > 0 for integration questions. The first step would be to get a punctual integration, that is, to find a way to integrate p-nilpotent elements of g into unipotent elements of G. This is ensured as soon as there exists a G-equivariant isomorphism of reduced schemes between the reduced nilpotent scheme of g (denoted by N red (g)) and the reduced unipotent scheme of G (denoted by V red (G)). Such a map φ : N red (g) → V red (G) is called a Springer isomorphism. There is a technical subtlety here, which is detailed in section 3.1.1. For the purpose of this introduction it is only required to have in mind that in separably good characteristics (which is the framework of this article), both the nilpotent and the unipotent schemes are reduced and the subscripts are therefore removed in what follows. Moreover a definition of separably good integers is provided in section 2.1.

Using [McN05] and [MT09], one can show that such an isomorphism always exists when the characteristic is separably good for G. This has been observed by P. Sobaje in [Sob15]. Furthermore, the non separably good characteristics case is addressed in [Sob18,7]. The author explains there why Springer isomorphisms fail to exist without this assumption. Moreover, and even if this is actually not a requirement here, one might wonder whether Springer isomorphisms are compatible with the p-power of the restricted Lie subalgebra one considers. We will come back to this point later in the article (see the preamble of section 3.1.2 and Remark 3.11 ii)) but let us briefly explain the situation: such a compatibility is not always satisfied by Springer isomorphisms. Nevertheless, under mild conditions on p and G, there always is a Springer isomorphism compatible with the p-structure (see [McN03,Appendix 7]).

Unfortunately, the existence of a punctual integration is not sufficient to ensure a priori that any restricted p-nil p-subalgebra can be integrated into a unipotent smooth connected subgroup of G. If one tries to mimic the characteristic zero framework, this would actually require the Springer isomorphism φ to come with a well-defined analogue of the Baker-Campbell-Hausdorff law. This analogue would allow to make any p-nil subalgebra into a unipotent algebraic group. In order to exists, such a law requires even stronger conditions on p: let us denote by h(G) the Coxeter number of G. In [Ser96] J-P. Serre shows that when p h(G) the Baker-Campbell-Hausdorff law is well-defined. Note that under this assumption on p, the series that defines the classical exponential map stops at the p-power for any nilpotent element. This is a consequence of G. McNinch's article [McN02] in which the author shows that when p > h(G) any p-nilpotent element has p-nilpotency order 1. Let us briefly remind the reader of the proof: one actually shows that any nilpotent element satisfies ad h(G) (x) = 0. As the regular nilpotent elements (those with centraliser of minimal dimension) are dense in N (g), it is enough to show this equality when the nilpotent element x is regular. In this case the result can be obtained by looking at the weights of an associated cocharacter for which the corresponding weight spaces g m are non trivial. There are at most h(G) such weights m and ad(x)(g m ) ⊆ g m+2 , hence the result. This in particular implies that, when p > h(G), the p-power (thus the restricted p-algebra structure) is compatible with the exponential map. Otherwise stated, if x ∈ g is a p-nilpotent element, one indeed has exp(x [p] ) = (exp(x)) [p] (as x [p] = 0). Making use of this, V. Balaji, P. Deligne and A. J. Parameswaran detail in [BDP17, §6] the proof of the existence of an isomorphism of algebraic groups induced by the exponential map between the Lie algebra of the unipotent radical of a Borel subgroup and this unipotent radical (there, the Lie algebra is endowed with an algebraic group structure induced by the Baker-Campbell-Hausdorff law). The existence of this isomorphism implies the existence of the desired integration when p > h(G). The authors attribute this result to J.-P. Serre (see [Ser96]). Note that Serre's result has been refined by Seitz in [Sei00, Proposition 5.3], when G is semi-simple.

There, the author establishes the existence of an isomorphism of algebraic groups induced by the exponential map between the Lie algebra of the unipotent radical of a parabolic subgroup and the corresponding unipotent radical U when p is greater than the nilpotent class of U (which is smaller than h(G)).

Once the result of V. Balaji, P. Deligne and A. J. Parameswaran has been established, one could have expected that the existence of this integration would induce, as in the characteristic 0 framework, an equivalence of categories (this time between the category of p-nil Lie algebras and the category of unipotent algebraic groups). This unfortunately breaks down and justify to introduce the notion of infinitesimal saturation as defined by P. Deligne in [Del14] and attributed to J-P. Serre. Actually, if p > h(G) the exponential map induces a bijective correspondence between the restricted p-nil p-Lie subalgebras of g and the infinitesimally saturated unipotent algebraic subgroups of G. All this content is explained in more details in section 3.1.2.

In this article we focus on integration of p-nil subalgebras of g when the characteristic p is separably good for G, which is a weaker assumption than the characteristic p > h(G) condition. As we will show in sections 3 and 4, the fppf-formalism introduced by P. Deligne in [DG11a, VIB Proposition 7.1 and Remark 7.6.1] provides a way of associating a smooth connected unipotent subgroup J u ⊂ G to any restricted p-nil p-subalgebra u ⊆ g. Unfortunately even if this subgroup is a natural candidate to integrate u, it is in general too big. One can indeed only expect the inclusion u ⊆ j u := Lie(J u ) to hold true. We provide in section 3.3 a counter-example to the existence of a general integration of restricted p-Lie algebras under the separably good characteristic assumption.

Notwithstanding this observation, and as we will show in section 5, this technique still allows to integrate some restricted p-nil p-Lie algebras, as for example the p-radicals of Lie algebras whose normalisers are φ-infinitesimally saturated (for φ a Springer isomorphism for G). The notion of φ-infinitesimal saturation here extends the notion of infinitesimal saturation when the punctual integration comes from a Springer isomorphism that is not necessarily the truncated exponential map (as it happens for instance for small separably good characteristics for G).

In section 4 we introduce this extended notion and show how, together with the aforementioned fppf-formalism, this allows us to obtain a variation, in separably good characteristics, of a theorem of P. Deligne on the reduced part of infinitesimally saturated subgroups. More precisely, we show the following statement:

Theorem 1.1. Let G be a reductive group over an algebraically closed field k of characteristic p > 0 which is assumed to be separably good for G. Let φ : N (g) → V(G) be a Springer isomorphism for G and let N ⊆ G be a φ-infinitesimally saturated subgroup. Then:

(i) the subgroups N 0 red and Rad U (N 0 red ) are normal in N . Moreover, the quotient N/N 0 red is a k-group of multiplicative type;

(ii) in addition, suppose that the connected reduced subgroup N 0 red is reductive. Then there exists in N 0 a central subscheme M of multiplicative type such that (M 0 × N 0 red )/µ ∼ = N 0 , where µ is the kernel of M 0 × N 0 red → N 0 .

Section 6, finally, is a miscellany of technical results used in the proofs of several statements of this paper.

Let us moreover stress out that even if after reading this introduction an integration seems to be possible only under very specific and restrictive conditions on the restricted p-nil psubalgebras, the results presented in this article still allow to extend those classically known in characteristic zero to the characteristic p framework. For instance analogues of Morozov Theorem can be obtained with these techniques (see [Jea20], this will also be developed in more details in a future article). The latter states the following: let G be a reductive group over a field k of characteristic 0, if u ⊂ g is a nilpotent algebra which is the nilradical of its normaliser N g (u), this normaliser is the Lie algebra of a parabolic subgroup of G. Obtaining analogues of this statement was the first motivation to study the questions raised in this paper. A subsidiary part of the content of this article comes from the author's Ph.D. manuscript [Jea20].

Context

Hypotheses on the characteristic

Let k be a field of characteristic p > 0 and G be a reductive k-group. This section is dedicated to discuss usual assumptions made on the characteristic of k. We refer the reader to [Ste75] and [Spr69, §0.3] for a definition and an exhaustive list of torsion characteristics for G. Good and very good characteristics are discussed for instance in the preamble of [LMMT09] or in [Her13,§2]. We only recall here some useful facts.

In what follows k is assumed to be algebraically closed. When G is a semisimple k-group the following statement is a consequence of [LMMT09, Theorem 2.2 and Remark a)] :

Corollary 2.1 (Corollary of [LMMT09, Theorem 2.2]).
Let G be a semisimple group over an algebraically closed field k of characteristic p > 0 which is not of torsion for G. Let u ⊆ g be a restricted p-nil p-subalgebra (see section 2.2). Then there exists a Borel subgroup B ⊂ G such that u is a subalgebra of b := Lie(B).

Remarks 2.2. The following remarks will be of main importance in the integration process described in this article:

(i) the subalgebra u is actually contained in the Lie algebra of the unipotent radical of a Borel subgroup B ⊆ G. Indeed b is nothing but the semidirect sum of the Lie algebra of the unipotent radical of B, denoted by rad u (B) and the Lie algebra of a maximal torus of G, denoted by t. This last factor contains no p-nilpotent element (see the preamble of the subsection 2.2), whence the inclusion u ⊂ rad u (B).

(ii) The first point of this remark actually allows to generalise the corollary to any reductive k-group G, when k is an algebraically closed field of characteristic p > 0 such that p is not a torsion integer for G. Let Z(G) be the center of G. Let also π : G → G := G/Z 0 red (G) be the quotient map and set u := Lie(π)(u). As Lie(Z 0 red (G)) is the Lie algebra of a torus it has no p-nilpotent element (this is detailed at the end of the proof of Lemma 2.6, note that the assumption made in the statement of this lemma is not necessary to prove this specific fact). Therefore one has u ∼ = u . By what precedes there exists a Borel subgroup B ⊂ G such that u ⊆ rad u (B ) ⊂ b . Let B = π -1 (B ) be the preimage of B . As rad u (B ) ∼ = rad u (B) one can always assume that u is the subalgebra of the Lie algebra of the unipotent radical of a Borel subgroup of b ⊆ g.

Separably good characteristics are defined by J. Pevtsova and J. Stark in [PS18, Definition 2.2]:

(i) when G is semisimple, let G sc be the simply connected cover of G. The characteristic p is separably good for G if p is good for G and if the isogeny G sc → G is separable.

(ii) When G is reductive, the characteristic p is separably good for G if it is separably good for its derived group [G, G].

As underlined by the two authors, if p is very good for G, it is also separably good. Nevertheless, this last condition is only restrictive for type A, which is the only type for which very good and separably good characteristics do not coincide. As an example p is separably good but not very good for SL p or GL p . However, it is not separably good nor very good for PGL p .

Moreover, let G be a reductive algebraic group over an algebraically closed field k = k and consider a maximal torus T G. The tuple R(G) = (X(T ), Φ, Y (T ), Φ ∨ ) whose components are respectively the associated group of characters, the root system, the group of cocharacters and the coroot system, is a root datum for G. This root datum is unique up to isomorphism (see [DG11c, XXII, 2.6]). A prime number is pretty good for G if, given any subset Φ ⊆ Φ both the groups X(T )/ZΦ and Y (T )/ZΦ ∨ have no p-torsion. Note that these definitions still make sense when k is no longer algebraically closed but this goes beyond the framework of this article. Once again, this condition answers type A-phenomenon. It is studied by S. Herpel in [Her13]. In particular, pretty good and very good primes are the same when G is semisimple (see [Her13, Lemma 2.12]). For instance p is not pretty good for SL p . However, if G is an arbitrary group, being a very good prime is a more restrictive condition, indeed p is pretty good but not very good for GL p (see [Her13,Example 2.13]). Finally, as explained in [Ste75, 2.4], if p doesn't divide the order of X(T )/ZΦ then p is separably good for G. Hence any pretty good prime is separably good for G. In particular, as p is not separably good for PGL p it is not pretty good either. To summarize, one has the following chain of implications: Very good =⇒ pretty good =⇒ separably good =⇒ good =⇒ non torsion.

From characteristic zero to positive characteristics, defining the good analogues: sorites on restricted p-Lie algebras

Before going any further, one needs to introduce the good analogues in characteristic p > 0 for the objects involved in the characteristic zero setting. This is done in this section. The results presented below are stated in the most general way. In particular, we do not assume a priori (and unless explicitely stated) in this subsection that the field k is algebraically closed.

Let g be a finite dimensional restricted p-nil p-Lie algebra over k. In what follows we denote by [p] the p-structure for g. Let us stress out that in particular the Lie algebra of any k-group scheme G is endowed with such a p-structure (see [DG70, II, §7, n • 3.4]). Moreover, for any algebraic subgroup H ⊂ G, the p-structure on Lie(H) := h inherited from the group is compatible with the one on g. In other words h is a restricted p-subalgebra of g. We refer the reader to [SF88, §2 Définition] for general theory of restricted p-Lie algebra.

Let k be a field and let g be a k-Lie algebra. As a reminder: (i) the solvable radical (or radical) of g, denoted by rad(g), is the largest solvable ideal of g (see [SF88, §1.7, Definition]),

(ii) the nilradical of g, denoted by Nil(g), is the largest nilpotent ideal of g. In particular all its elements are ad-nilpotent, by a corollary of Engel Theorem (see for example [Bou71, §4 n • 2 Corollaire 1]). When k is of characteristic 0, the nilradical is nothing but the set of ad-nilpotent elements of the radical of g (see [SF88, §1, Corollary 3.10] and [Bou71, §5, Corollaire 7]). Let us stress out that the equality Nil(g/ Nil(g)) = 0 is not always satisfied when k is of characteristic p > 0 (see [SF88,p. 20] for a counter-example).

(iii) A subalgebra h ⊆ g is nil if any element of h is ad-nilpotent for the bracket on g. Any nil and finite dimensional k-Lie algebra is nilpotent.

One may wonder whether these classical objects inherit of a p-structure compatible with the one of g: Lemma 2.3. Let h be a restricted p-Lie algebra over k. Then rad(h) is a restricted p-subalgebra of h.

Proof. Let us consider the morphism of Lie algebras h h/ rad(h). According to [SF88, 1, §7, Theorem 7.2] one has rad(h/ rad(h)) = 0, thus the center z rad(h/ rad(h)) is trivial (because z g ⊆ rad(g), see for instance the first lines of the proof of Lemma 2.6). By [SF88, 2.3, Exercise 7], the radical of h is a p-Lie subalgebra.

Assume the Lie algebra g derives from an affine algebraic k-group. Let ρ : G → GL(V ) be a faithful representation of finite dimension. An element x ∈ g is nilpotent, or g-nilpotent, if Lie(ρ)(x) is a nilpotent element of gl(V ) (let us stress out that Lie(ρ) is still injective because the Lie functor is left exact (see [DG70, II, §4, 1.5])). On the same way, an element x ∈ g is semisimple if Lie(ρ)(x) is a semisimple element of gl(V ). These notions are independent from the choice of the faithful representation ρ (see [Bor91,I.4.4,Theorem]). Let us emphasize that when k is perfect any x ∈ g has a Jordan decomposition in g (see for example [Bor91,I.4.4,Theorem]).

More generally, if one does no longer consider that g is the Lie algebra of an algebraic group, then:

if g is a semisimple Lie algebra over a field of characteristic 0 (whatever the characteristic, semisimple Lie algebras are those with trivial solvable radical), any element x ∈ g has a unique Jordan decomposition (see for example [Bou71, §6 n • 3 Théorème 3]).

-Similarly, if k is a perfect field of characteristic p > 0 and g is finitely generated restricted p-Lie algebra, a decomposition x = x s + x n (with x s semisimple and x n nilpotent) always exists, with the additional condition for the nilpotent part to be p-nilpotent (see [SF88, 2.3 Theorem 3.5]).

An element x ∈ g is p-nilpotent if there exists an integer m ∈ N such that x [p m ] = 0. When it exists, the smallest m ∈ N such that x [p m ] = 0 is called the order of p-nilpotency of x. In this framework, an element x ∈ g is p-semisimple if x belongs to the restricted p-Lie algebra generated by x [p] . Finally, an element x ∈ g is toral if x [p] = x. According to [SF88, §2 Proposition 3.3] and the remark that follows this proposition, both definitions of semisimplicity are equivalent.

In what follows an element is thus said to be p-semisimple (respectively p-nilpotent) if it is semisimple (respectively g-nilpotent). This equivalence of definitions is a consequence of Iwasawa Theorem (see [Iwa48]) which ensures that any Lie subalgebra of finite dimension over a field of characteristic p > 0 has a faithful representation. This result has afterwards been extended by N. Jacobson to the framework of finite dimensional restricted p-Lie algebras with the additional constraint that the involved representation is compatible with the p-structure (see [Jac52] and [Sel67, I, §4, Theorem I.4.2]).

Let k be a field of characteristic p > 0. Let h be a restricted p-algebra (as previously mentioned this is in particular the case if h derives from a subgroup H ⊂ G). The restricted p-subalgebra h is p-nilpotent if there exists an integer n ∈ N such that h [p n ] = 0. When g is of finite dimension any restricted p-subalgebra which is p-nilpotent is also p-nil (that is, any of its elements are p-nilpotent).

It is worth noting that the study of ideals of g that consist only in semisimple elements can also be very instructive. Let us remind the following result as an illustration (see [BT72, Proposition 2.13]): let g be the Lie algebra of a reductive k-group G. We consider the action of G on g by conjugation. Let j ⊆ g be an ideal which in G-stable. Then j consists only in semisimple elements if and only if j ⊆ z g .

Let us finally underline that in positive characteristic the nilradical of a restricted p-algebra is well-defined but does no longer satisfy the properties it had in characteristic 0. Hence the necessity of introducing the following object, which appears to be under some additional hypotheses the good analogue to consider in characteristic p > 0:

Definition 2.4. Let h be a restricted p-algebra. The p-radical of h, denoted by rad p (h), is the maximal p-nilpotent p-ideal of h (such an object exists, see for instance [SF88, 2.1, Corollary 1.6]).

Let us also stress out that the Lie algebra of the unipotent radical of a connected algebraic group H, denoted by rad u (H), is an ideal of Nil(h) (as U is a unipotent normal subgroup of Rad(H)). We aim to compare these different objects:

Lemma 2.5. Let h be a restricted p-algebra. Then:

(i) the inclusions rad p (h) ⊆ Nil(h) ⊆ rad(h) are satisfied, (ii) the p-radical of h is a subset of the set of all p-nilpotent elements of rad(h). (iii) Let us denote by z h the center of h. The equality rad p (h) = Nil(h) holds true if and only if the inclusion z h ⊆ rad p (h) is satisfied.

Proof. We show each point of the lemma separately:

(i) The inclusion rad p (h) ⊆ Nil(h) is clear as rad p (h) is a nil ideal of h (because it is p-nil).

Hence it is a nilpotent ideal of h because the Lie algebras involved here is of finite dimension.

The second inclusion is also direct as any nilpotent ideal is in particular solvable (see for example [SF88, §1.5 Remark]). Hence the first point of the lemma is shown. (ii) This last inclusion being satisfied and rad p (h) being p-nil, the restricted p-ideal is necessarily contained in the set of all p-nilpotent elements of rad(h). This ends the proof of (ii). (iii) The center of h is an abelian ideal of h. It is therefore contained in the nilradical of h. Thus if one has the equality Nil(h) = rad p (h), one also has the inclusion z h ⊆ rad p (h). Reciprocally, assume the inclusion z h ⊆ rad p (h) to be satisfied and let us show that any

x ∈ Nil(h) is p-nilpotent. First, it is ad-nilpotent according to Corollary [Bou71, §4 n • 2
Corollaire 1] because the ideal Nil(h) is nilpotent. Moreover, as the Lie algebra h is endowed with a p-structure, there exists an integer n such that ad(x)

p n = 0 = ad(x [p n ]
). In other words x [p n ] belongs to the center of h. As we assumed the inclusion z h ⊆ rad p (h) to hold true the element x [p n ] is actually p-nilpotent, the p-radical being p-nil. Hence there exists an integer m such that (x [p n ] ) [p m ] = (x [p n+m ] ) = 0, whence the p-nilpotency of any element of Nil(h). This implies that Nil(h) is a restricted p-ideal p-nil of h, since the nilradical of h is a restricted p-ideal according to Lemma [SF88,2.3,Exercise 5d]. This leads to the desired equality. Thus we have shown (iii).

When g derives from a smooth connected algebraic k-group G these objects should be compared with the Lie algebra of the radical (respectively of the unipotent radical) of G.

Lemma 2.6. Let k be a field of characteristic p 3 and G be a reductive k-group. Then the equalities z g = rad(g) = Nil(g) hold true.

Remark 2.7. The assumption on the characteristic allows a uniform proof of the above lemma. Notwithstanding this point, it is worth noting that the characteristic 2 case can be handled by a case-by-case analysis (by making use of [Hog82, table 1]). Moreover, Lemma 2.10 below provides the equality z g = Nil(g) (which is a weaker result) in any characteristic p > 0. This last statement appears as a Corollary of [Vas05, Lemma 2.1].

The following lemma is useful is the proof of Lemma 2.6: Lemma 2.8. Let G and G be two reductive k-groups and let us consider the following central exact sequence of algebraic groups:

1 S G G 1. ι π
Let also T ⊆ G be a maximal k-torus and set T := T /S. Then Lie(π)( g) is an ideal of g and the quotient g/ Lie(π)( g) is isomorphic to t/ Lie(π)( t) as k-Lie algebras. In particular if k is of characteristic p > 0, the restricted p-Lie algebra g/ Lie(π)( g) is toral.

Proof.

1 1 G r m G r m 1 E G G 1 1 S 0 G G 1, 1 1 q i = π π
where G is defined for the lower left square to be commutative. It induces by derivation a commutative diagram of Lie algebras:

0 k r k r 0 k r g g 0. 0 s g g 0 0 Lie(q) Lie(i) = Lie(π ) Lie(π)
Note that the right-exactness of the second line comes from the smoothness of Ker(π ) (see [DG70, II, §5, n • 5, Proposition 5.3]).

We show that Lie(π)( g) is an ideal of g: let y ∈ Lie(π)( g) ⊆ g and and pick g ∈ g. Let also x ∈ g be such that Lie(π)(x) = y. As Lie(π ) is surjective there exists g ∈ g such that Lie(π)(g ) = g. This provides the equality:

[y, g] = [Lie(π)(x), Lie(π )(g )] = [Lie(π ) • Lie(i)(x), Lie(π )(g )] = Lie(π )([Lie(i)(x), g ]),
The Lie algebra g is isomorphic to the kernel of Lie(q) : g → k r which is an ideal of g . The commutativity of the diagram thus allows us to conclude that [y, g] ∈ Lie(π)( g). Therefore Lie(π)( g) is an ideal of g.

It remains to prove that the inclusion Lie(π)( t) ⊆ Lie(π)( g) ∩ t is actually an equality. This being established, one will only need to apply [BT72, Corollaire 2.17] to end the proof (as this corollary states that t g/ Lie(π)( g) is surjective). Let us thus show the equality Lie(π)( t) = Lie(π)( g)∩t. It comes from the study of the right lower square of the above commutative diagram of groups: the morphism π being surjective with toric kernel E, the group T is the image of a torus T ⊆ G (by [DG11b, IX, Proposition 8.2 (ii)]). Hence the equalities T = T /E = T /S hold true. The following square

G G G G, i π π is commutative. The image i( T ) is thus contained in T . Hence the exact sequence: 1 G G G r m 1 i induces an exact sequence of tori: 1 T T T 1. i
Note that the subgroup T is indeed a torus as it is:

-diagonalisable according to [DG11b, IX, Proposition 8.1], -smooth by [BDP17, II, §5, n • 5, Proposition 5.3 (ii)]).
The exactness is here preserved by derivation as T is smooth.

Let us now consider the right lower square of the above commutative diagram of Lie algebras:

0 k r 0 k r g g 0. g g 0 Lie(i) = Lie(π ) Lie(π)
The kernel E being smooth, the derived morphism Lie(π ) is still surjective. Hence one still has t = t /k r . According to what precedes any y ∈ Lie(π)( g) ∩ t is the image of a certain x ∈ g such that Lie(i)(x) ∈ t . This, combined with the exactness of the following derived exact sequence:

0 t t t 0, Lie(i)
allows us to conclude. The exactness indeed ensures that x ∈ t. Moreover, since one has that y = Lie(π)(x) = Lie(π )(i(x)) ∈ Lie(π)( t), the expected inclusion, thus the equality, are obtained.

Proof of Lemma 2.6. The center z g is a nilpotent ideal of g, it is in therefore solvable. The inclusions z g ⊆ Nil(g) ⊆ rad(g) follow. One thus only needs to show that rad(g) ⊆ z g . The involved objects being all compatible with base change we can without loss of generality assume k to be algebraically closed.

A dévissage argument allows us to reduce ourselves to prove the statement for G connected and semisimple: the reductive case can be deduced from the semisimple one, while the latter is ruled by the semisimple and simply connected case.

(i) Assume the k-group G to be semisimple and simply connected. It thus decomposes into a product of almost simple groups (see [Tit66,3.1.1,p. 55]) and one can assume without loss of generality that G is almost simple. There are two options: (a) either G is not of type G 2 when p = 3, then according to [His84, Haupsatz], the quotient g/z g is a simple G-module. Hence the radical rad(g/z g ) is trivial;

(b) or G is a k-group of type G 2 and k is of characteristic 3. According to [Hog82, table 1]
there are then only two possibilities for rad(g): it is either trivial or the Lie algebra of a PGL 3 factor. This last option cannot occur because the Lie algebra pgl 3 is not solvable, so one can conclude that rad(g) = 0. (ii) Assume now that G is semisimple. It then admits a universal covering, denoted by G sc (see for example [Tit66, 1.1.2, Theorem 1, p. 43]), and one can consider the following associated central extension:

1 µ G sc G 1. π
Let T sc be a maximal k-torus of G sc and set T = T sc /µ (the corresponding Lie algebras will be denoted by t sc , respectively t). The above lemma ensures that Lie(π)(Lie(G sc )) is an ideal of g and one has the following exact sequence of restricted p-Lie algebras:

0 Lie(µ) Lie(G sc ) g g/ Lie(π)(Lie(G sc )) 0. t/ Lie(π)(t sc ) Lie(π) ∼ =
The extension being central, the preimage of rad(g) is a solvable ideal of Lie(G sc ) (this is a consequence of [SF88, 1.5, Theorem 5.1 (2)]). Hence it is contained in rad(Lie(G sc )) = z Lie(G sc ) . Composing with Lie(π), one can then deduce that the inclusion

rad(g) ∩ Lie(π)(Lie(G sc )) ⊆ z g is satisfied, whence the desired equality rad(g) ∩ Lie(π)(Lie(G sc )) = z g ∩ Lie(π)(Lie(G sc )).
The above exact sequence thus induces the following one:

0 z g ∩ Lie(π)(Lie(G sc )) rad(g) h 0. Lie(π)
where h is a restricted p-subalgebra of t/ Lie(π)(t sc ), which is toral so has no p-nilpotent elements. In other words, the p-nilpotent elements of rad(g) are trivial. Hence rad(g) only has semisimple elements. According to [BT72, Proposition 2.13], it only remains to show the equality N G (rad(g)) = G to get the desired inclusion rad(g) ⊆ z g . Note also that all the other assumptions of the Proposition are trivially satisfied as rad(g) is a proper ideal of g (because G is a reductive k-group).

Let us thus show the equality N G (rad(g)) = G. According to [DG70, II, §5, n • 3.2] this can be shown on k-points (as the group G is smooth and of finite presentation and the Lie algebra rad(g) is reduced and closed in g). This is clear as rad(g)( k) is stable under conjugation: the image of rad(g)( k) by G( k)-conjugation is a solvable ideal of g( k), its maximality can be deduced by applying the inverse morphism. (iii) If G is any reductive k-group, the following exact sequence allows to reduce ourselves to the preceding cases (see for example [DG11c, XXII Définition 4.3.6]):

1 (Z 0 G ) red = Rad(G) G G/(Z 0 G ) red := G ss 1. π
Indeed, as the subgroup Rad(G) is smooth, this exact sequence induces after derivation an exact sequence of Lie algebras (see

[DG70, §5, n • 5, Proposition 5.3]) 0 Lie(Rad(G)) g Lie(G ss ) 0. Lie(π)
The morphism Lie(π) is surjective, its image Lie(π)(rad(g)) is therefore a solvable ideal of Lie(G ss ). By what precedes it is then contained in the center of Lie(G ss ). Let x ∈ rad(g). As k may be assumed to be algebraically closed, the element x admits a Jordan decomposition, say x = x s + x n , with x s semisimple and x n a p-nilpotent element of rad(g) (for the existence of such see for example [SF88, 2.3 Theorem 3.5]). As π(x) ∈ z g one necessarily has π(x n ) = 0, meaning that x n ∈ Lie((Z 0 G ) red ) which is toral. Hence x n = 0. So rad(g) only has semisimple elements. According to [BT72, Proposition 2.13] we just have shown that rad(g) ⊆ z g because rad(g) is a proper G-sub-module of g.

Remarks 2.9. It is worth mentioning the following points:

(i) Lemma 2.6 in particular allows to measure the potential lack of smoothness of the center of G. More precisely one has:

Lie(Z G )/ Lie((Z G ) red ) ∼ = z g / Lie (Z G ) red ∼ = rad(g)/ Lie(Rad(G)),
where the first isomorphism comes from Remark 6.2 ii). According to the proof of Lemma 2.6 this quotient is a restricted toral p-algebra. (ii) A careful study of the proof shows that the only difficulty one would have when trying to extend the above result to the characteristic 2 framework relies on the fact that the Gmodule g/z g might not be simple. According to [His84, Haupsatz] for an algebraically closed field k of characteristic 2 this is not an issue if the root system of G only has irreducible components of A n -type. This is always satisfied in this article.

As mentioned in Remark 2.7 the following result allows to slightly refine the hypotheses on p in the study of the nilradical of the Lie algebra of a reductive group.

Lemma 2.10 (Corollary of [Vas05, Lemma 2.1]). Let G be a reductive k-group. If k is of char- acteristic 2 assume that G Ad
k s has no direct factor G 1 isomorphic to SO 2n+1 for an integer n > 0. Under these assumptions Nil(g) is the center of g.

Proof. One inclusion is clear and does not require any additional assumption on the characteristic of k: the center of g is a nilpotent ideal of g so it is contained in the nilradical of g.

To show the reverse inclusion one only needs to prove that Nil(g)/z g = 0. The inclusion g/z g ⊆ Lie(G Ad ) is provided by the exact sequence of Lie algebras of Remark 6.2 ii):

0 z g = Lie(Z G ) g End(g) ad
Assume that Nil(g)/z g = 0. We show that this implies [Vas05, Lemma 2.1] to hold true, leading to a contradiction (as it would imply p = 2 and G to be such as excluded in the assumptions).

We therefore have to check that:

(i) the quotient Nil(g)/z g is a G Ad -sub-module of Lie(G Ad ),
(ii) for any maximal torus T Ad ⊆ G Ad the intersection Nil(g)/z g ∩ Lie(T Ad ) is trivial.

To check that condition (i) is satisfied we first show that Nil(g/z g ) = Nil(g)/z g . The preimage of Nil(g/z g ) is a nilpotent ideal of g, as the considered extension of Lie algebras:

0 z g = Lie(Z G ) g g/z g 0 is central. It is thus contained in Nil(g/z g
) because the quotient Nil(g)/z g is a nilpotent ideal of g/z g . Hence we have shown the desired equality. So we are reduced to show that Nil(g/z g ) is a G Ad -sub-module of Lie(G Ad ), or in other words that N G Ad (Nil(g/z g )) = G Ad . Once again as:

the group G Ad is smooth of finite presentation, -and g/z g is reduced and closed in Lie(G Ad ), one only needs to check this equality on k-points (see [DG70, II, §5, n • 3.2]). Remark that the quotient Nil(g/z g ( k)) is stable for the adjoint action as the image of Nil(g/z g )( k) under the G Ad ( k)-conjugation is a nilpotent ideal of g/z g ( k). Its maximality follows by considering the reverse morphism. Thus we have shown the equality.

To check that condition (ii) is indeed satisfied, first notice that any maximal torus T Ad ⊂ G Ad comes from a maximal torus T ⊂ G. At the Lie algebras level one can summarize the situation with the following commutative diagram:

Nil(g)/z g 0 g/z g Lie(G Ad ), 0 Lie(T )/z g Lie(T Ad ).

⊆ ⊆ ⊆

Assume that the intersection Nil(g)/z g ∩ Lie(T Ad ) is not trivial. This in particular implies that neither is the intersection Nil(g)/z g ∩ Lie(T )/z g as any element of the first intersection occurs as an element of the image of g → g/z g . Remember that we have already shown that z g is contained in Nil(g). According to Remark 6.2 ii), it is nothing but the Lie algebra of Z G , whence the inclusion z g ⊆ Lie(T ).

The non-triviality of the intersection Nil(g)/z g ∩ Lie(T )/z g is therefore equivalent to suppose that the inclusion z g Lie(T ) ∩ Nil(g) is strict. This leads to a contradiction. Indeed any element of the nilradical is ad-nilpotent (according to the second point of the preamble of this section) and any ad-nilpotent element of the Lie algebra of a torus is central. This can be shown as follows: let n be the order of ad-nilpotency of x ∈ Lie(T ) and y ∈ g. Passing to the algebraic closure of k if necessary, the Lie algebra g has a weight space decomposition for the action of the maximal torus T (which is locally splittable). Let R be an associated root system. One has: g = t ⊕ α∈R g α . Thus y writes y = y 0 + α∈R y α for y 0 ∈ t and y α ∈ g α , with α ∈ R. This leads to:

0 = ad n (x)(y) = ad n (x)(y 0 + α∈R y α ) = α∈R α n (x)y α ,
where we have made use of the vanishing condition ad(x)(y 0 ) = 0 as x ∈ t. This equality being satisfied if and only if ad(x)(y α ) = 0 for any α ∈ R, this implies that x ∈ z g .

Remark 2.11. In this article we always require that p is not of torsion for G. This in particular implies that p is strictly greater than 2 if G has any factor of B n type. The above lemma then tells us that the equality Nil(g) = z g is always satisfied here.

Lemma 2.12. Let U be a unipotent algebraic k-group then its Lie algebra u is p-nil. In particular, the Lie algebra of the unipotent radical of a smooth connected k-group G is a restricted p-nil p-ideal of g.

Proof.

As k is a field, it follows from [DG70, IV, §2, n • 2 Proposition 2.5 vi)] that the unipotent k-group U is embeddable into the subgroup U n,k of upper triangular matrices of GL n for a certain n ∈ N. This leads to the following inclusion of restricted p-Lie algebras (all of them coming from algebraic k-groups) u ⊆ u n,k . Note that the p-structure on u n,k is given by taking the p-power of matrices. This makes u n,k into a restricted p-nil p-subalgebra, so is u.

If now U is the unipotent radical of a smooth connected k-group G its Lie algebra is an ideal of g because it is the Lie algebra of a normal subgroup of G. As it derives from an algebraic k-subgroup of G it is endowed with a p-structure compatible with the p-structure of G. Hence it is a restricted p-ideal of g. It is p-nil by what precedes.

Lemma 2.13. Let k be a perfect field and H be a smooth connected algebraic k-group. Then: (i) if the reductive k-group H := H/ Rad U (H) satisfies the conditions of Lemma 2.10 the Lie algebra of the unipotent radical of H is the p-radical of h. In other words the equality rad u (H) = rad p (h) holds true, (ii) if k is of characteristic p 3 the p-radical of h is the set of p-nilpotent elements of rad(h).

Remark 2.14. In particular let k be a perfect field. Consider a reductive k-group G and a parabolic subgroup P ⊆ G. If P is such that the reductive quotient P/ Rad U (P ) it defines satisfies the assumptions of Lemma 2.10 then:

the Lie algebra of its unipotent radical is the p-radical of p := Lie(P ), -it is the set of all p-nilpotent elements of rad(p).

As a reminder (see [DG11c, Proposition 1.21 ii)]), if L ⊆ P is a Levi subgroup, the solvable radical Rad(P ) is the semi-direct product of the unipotent radical of P with the radical of L. This in particular implies that Lie(Z 0 L ) ⊆ rad(p) for Z 0 L being the center of L.

Proof. We show each point separately.

(i) We start by showing (i). An implication is clear: according to Lemma 2.12 the Lie algebra rad u (H) is a restricted p-nil p-ideal. In particular the inclusion rad u (H) ⊆ rad p (h) holds true.

Let us show the reverse inclusion. The radical of H being a smooth subgroup the following exact sequence of algebraic k-groups:

1 Rad u (H) H H/ Rad U (H) =: H 1, π induces an exact sequence of k-Lie algebras (see [DG70, II, §5, n • 5 Proposition 5.3]): 0 rad u (H) h h/ rad u (H) =: h 0. Lie(π)
This is an exact sequence of restricted p-Lie algebras (see [DG70, II, §7 n • 2.1 and n • 3.4] for the compatibility with the p-structure). The derived morphism Lie(π) being surjective the image of Nil(h) under Lie(π) is still an ideal. It is nilpotent as Lie(π) is a morphism of restricted p-Lie algebras, whence the inclusion Lie(π)(Nil(h)) ⊆ Nil(h). As h derives from a reductive k-group which does not fit into the pathological case raised by A. Vasiu in [Vas05, Lemma 2.1], Lemma 2.10 applies. This leads to the equality Nil(h) = z h , thus one has Lie(π)(Nil(h)) = z h . According to Lemma 2.5 (i) one has rad p (h) ⊆ Nil(h), hence any x ∈ rad p (h) is mapped to the center of z h . The restricted p-ideal rad p (h) being p-nil, the element x is p-nilpotent, so is Lie(π)(x) (as Lie(π) is compatible with the p-structures on h and h). In other words Lie(π)(x) is a p-nilpotent element of z h , which is, according to Remark 6.2 ii), the Lie algebra of the center of the reductive k-group H. This center is thus a toral restricted p-subalgebra (see for example [DG11c, XXII, Corollaire 4.1.7]) hence the equality Lie(π)(x) = 0. In other words we just have shown that x ∈ rad u (H), whence the equality rad p (h) = rad u (H). This concludes the proof of (i).

(ii) Let us then prove the second point of the statement. Once again an inclusion is clear: the p-radical rad p (h) is a restricted p-nil p-ideal of h and is therefore contained in the set of all p-nilpotent elements of h. Let us show the converse inclusion: let x ∈ rad(h). The morphism Lie(π) being surjective, the image Lie(π(x)) belongs to rad(h), which is the center of h according to Lemma 2.6 (which holds true as p 3). It necessarily vanishes because the center of h is toral and Lie(π)(x) is also a p-nilpotent element. In other words, we have shown that x ∈ rad u (h) which is the p-radical of h according to the first point of the lemma. Hence any p-nilpotent of rad(h) belongs to rad p (h), whence the desired equality.

Springer isomorphisms and fppf-formalism

Integrating p-nilpotent elements: a starting point

In what follows, the field k is algebraically closed of characteristic p > 0 and G is a reductive kgroup. The notations used here are those of [DG11a, II, Définition 4.6.1]: let S be an affine scheme with ring of coordinates O S . For any O S -module F , denote by W (F ) the following contravariant functor over the category of S-schemes:

W (F )(S ) := Γ(S , F ⊗ O S O S ),
where Γ identifies with the set of F ⊗ O S O S -sections over S . Moreover let H be a k-algebraic group, and denote by h its Lie algebra. By [DG11a, II, Lemme 4.11.7] the equality h = W (h) is satisfied. In particular h is smooth and connected.

Reduced part of the nilpotent and unipotent schemes

The reductive group G acts on g via the adjoint action. Let us denote by O g the coordinate ring of g, and by O G g the fixed points under the induced action. When k is a field the affine quotient [g/G] := Spec(O G g ) is universal and the nilpotent scheme N (g) is the fibre π -1 π(0), where π : g → [g/G] is the quotient morphism and 0 ∈ g(k) is the zero section. This is explained in details in a more general framework in [Hes76, (2.4), (2.5) and (2.6)]. The reduced part of the nilpotent scheme, denoted by N red (g), coincides with the reduced subscheme of g whose k-points are the p-nilpotent elements of g (see for instance [BR85, 9.2.1]).

Similarly G acts on itself via the adjoint action. When k is a field the affine quotient [G/ Ad(G)] is universal and the unipotent scheme V(G) is the fibre π -1 π(e), where π : G → [G/ Ad(G)] is the quotient morphism and e ∈ G(k) is the neutral element. The reduced part of the unipotent scheme, denoted by V red (G), coincides with the reduced subscheme of G whose k-points are the unipotent elements of G (see for instance [BR85, 9.1]).

The literature on Springer isomorphisms mainly considers the so-called nilpotent and unipotent varieties (under the assumption that varieties are reduced by convention). When the terminology of schemes is adopted, as in the article of V. Balaji, P. Deligne and A. J. Parameswaran [BDP17], the authors insist on the necessity of considering the reduced part of both nilpotent and unipotent schemes (as the proof of existence of Springer isomorphisms is constructive and based on a reasoning on points). One might then wonder whether under the framework of this article these schemes are reduced or not. This is given by 3.1 and 3.3 which are corollaries of S. Riche's work [Ric17, Lemma 3.3.3]. The following notions will be necessary to prove these results:

an element x ∈ g is regular if its centraliser C G (x) is of minimal dimension. This lower bound exists, equals the rank of the reductive group G and is attained. This is detailed for instance in section 2.3 of S. Riche's paper. We denote by g reg the subset of g consisting of all regular nilpotent elements.

-The intersection N (g) ∩ g reg ∈ W (g) is denoted N (g reg ) and is the scheme whose points are regular nilpotent elements of g.

-Similarly, an element g ∈ G is regular if its centraliser in G is of minimal dimension. We denote by G reg the set of regular elements of G, and V(G reg ) = V(G) ∩ G reg is the scheme whose points are the regular unipotent elements of G. Integration and related questions often come with the assumption that the reductive group G is standard (see for instance [Jan04, 2.9]). Namely this means that:

(i) the derived group G is simply connected, (ii) the characteristic is good for G, (iii) there exists a G-equivariant nondegenerate bilinear form on g.

As underlined in [Ric17, 2.2], this is a stronger condition than the pretty good characteristic assumption. So in particular Proposition 3.1 ensures that the nilpotent scheme of a reductive group that satisfies the standard hypotheses is reduced.

Proof. Let us first remind the reader that the nilpotent scheme is irreducible, as already shown for instance in [Jan04, Lemma 6.2]. Note that in the article the proof is made for the reduced part of the nilpotent scheme (by definition of the nilpotent variety); this is not an issue here, as being irreducible is a property of the underlying topological space.

The subset of regular elements of g is open (this is shown for instance in [Hum95, 1.4 Corollary]) and non-empty ([Ric17, Lemma 3.3.1]), therefore N (g reg ) is also open (and non-empty) in N (g). The situation is that of the following diagram:

N (g reg ) W (g reg ), Spec(k) (W (g)//G) ∼ = A n k , χreg
which is cartesian and where the morphism χ reg is smooth according to [Ric17, Lemma 3.3.3] (as we have assumed the characteristic to be pretty good for G). Thus the morphism N (g reg ) → Spec(k) is smooth (see for instance [DG70, I, §4, n • 4.1]). As any smooth scheme over a field is geometrically reduced (see [Sta22, Tag 056T]), what precedes tells us that N (g reg ) is indeed reduced. As this is an open subset of N (g) it is dense in N (g) (the latter being irreducible) and its scheme theoretic closure is the nilpotent scheme itself. Hence N (g reg ) is a reduced open subset which is scheme theoretically dense in N (g) so the nilpotent scheme itself is reduced (see [Sta22, Tag 056E]).

Corollary 3.3. Let G be a connected reductive group defined over a field k of characteristic p > 0 which is assumed to be pretty good for G. Then the unipotent scheme V(G) is reduced.

Proof. This is a direct consequence of the existence of Springer isomorphisms (that are isomorphisms of reduced schemes) φ : N red (g) → V red (G) in separably good characteristics. These isomorphisms are completely determined by the image of regular nilpotent elements (that is given by regular unipotent elements, see for instance J.-P. Serre's appendix in [McN05,p. 423] before the proposition -note that the paper consider the inverse isomorphism). The following diagram is therefore commutative:

N red (g) = N (g) V red (G), N (g reg ) V(G reg ), ∼ = • •
As for regular nilpotent elements of g, regular unipotent elements of G form a non empty open subset of V(G) according to [Slo80, 3.8, Theorem] (the reference considers the reduced part of the unipotent scheme, but the latter has same underlying topological space than the whole scheme).

The above diagram tells us that V(G reg ) is isomorphic to N (g reg ), which is smooth according to the proof of Proposition 3.1). As any smooth scheme over a field is geometrically reduced (see [Sta22, Tag 056T]), what precedes tells us that V(G reg ) is indeed reduced.

Furthermore, let us stress that the unipotent scheme is irreducible (as shown for instance in [Spr66, (4.4) Proposition], for G semi-simple; this extends to any reductive group G when the characteristic is separably good as explained in [Hum95] in the introduction of section 6.2). This in particular implies that V(G reg ) is a scheme theoretically dense open subset of V(G).

To summarise V(G reg ) is a reduced open subset which is scheme theoretically dense in V(G).

Replacing N (g reg ) ⊂ N (g) by V(G reg ) ⊂ V(G) at the end of the proof of Proposition 3.1, one proceeds on the same way to conclude, this time, that the unipotent scheme V(G) is reduced.

Remark 3.4. To conclude that the nilpotent scheme is reduced in separably good characteristics, it remains to investigate what happens for SL mp in characteristic p > 0, with m ∈ N * . This case is actually governed by the case of GL mp . Indeed, a matrix M ∈ gl mp is nilpotent if and only if its characteristic polynomial is of the form t mp , thus if and only if Tr( i M ) = 0 for 0 i mp where i M is the i th -exterior power of M . In particular they have trace 0, whence the isomorphism of coordinate rings

O N (gl mp ) = O gl mp / Tr( i M ) i=1,••• ,mp ∼ = O slmp / Tr( i M ) i=1,•••mp = O N (slmp) .
As N (gl mp ) is reduced in characteristic p (according to 3.1 as p is pretty good for GL mp ) so is its coordinate ring O N (gl mp ) , hence the reducedness of N (sl mp ). Therefore N (g) is reduced when the characteristic is separably good for the reductive group G, and so is the unipotent scheme of G under the same conditions (according to Corollary 3.3).

Remark 3.5. In non separably good characteristics both unipotent and nilpotent schemes might be non-reduced as underlined for instance in [Slo80, 3.9, Remark] in which the author studies the unipotent scheme of PGL 2 in characteristic 2. From this, one can derive the same counterexample for the nilpotent scheme of pgl 2 :

N (pgl 2 ) =         x 1 0 0 x 2 0 x 3 0 0 x 1         ∈ gl 3 ,
and a matrix M of this Lie algebra (as described above) is nilpotent if and only if its characteristic polynomial is t 3 . Hence the nilpotent scheme of pgl 2 has coordinate ring k[x 1 , x 2 , x 3 ]/ (x 2 1 ), (2x 1 ) , which is not reduced in characteristic 2.

Springer isomorphisms

As explained in the introduction, the existence of a G-equivariant isomorphism φ : N red (g) → V red (G) is necessary to obtain a punctual integration. When G is a simply connected k-group and p is good for G, T. A. Springer establishes in [Spr69, Theorem 3.1] the existence of homeomorphisms between these schemes. As pointed out by the author himself, these homeomorphisms would be isomorphisms of varieties (with the conventions of the article, hence of reduced schemes) if the reduced part of the nilpotent scheme were known to be normal (which had not been shown at the time of the paper). This result has been studied and refined by many mathematicians among those P. Bardsley and R. W. Richardson in [BR85, 9.3.2] who established the normality of N (g) in pretty good characteristic (under this assumption the nilpotent scheme is reduced according to Proposition 3.1) and extended the existence of such isomorphisms to any reductive k-group which satisfies the standard hypotheses (as defined by J. C. Jantzen, see 3. From now on, and unless otherwise stated, the characteristic of k is separably good for G.

In particular nilpotent and unipotent schemes are reduced, hence the subscripts are removed everywhere Springer isomorphisms are considered.

Let us insist on the following point: there exist several Springer isomorphisms but they all induce the same bijection between the G-orbits of N (g) and those of V(G), as shown by J-P. Serre in [McN05,10,Appendix]. To fix better the reader's idea on such variety of Springer isomorphisms one might have a look at the preamble of the aforementioned appendix. There J.-P. Serre considers the example G = SL n and picks a nilpotent element e ∈ sl n of order n. He then explains that in this case a Springer isomorphism φ is of the form:

φ : N (g) → V(G) 1 + e → a 1 e+ • • • + a n-1 e n-1 ,
where the a i 's are elements of k such that a 1 = 0. Moreover, any n-tuple (a 1 , . . . , a n-1 ) with a 1 = 0 defines a unique Springer isomorphism.

When G is simple, P. Sobaje reminds that Springer isomorphisms exist if k is of separably good characteristic for G (see [Sob15, Theorem 1.1 and Remark 2]). Moreover,in [Sob18,7] the author investigates the non separably good characteristic case. He also emphasises that in separably good characteristics one can always find an isomorphism φ : N (g) → V(G) that restricts to an isomorphism of reduced schemes W (rad u (B)) ∼ = rad u (B) → Rad U (B) for any Borel subgroup B ⊂ G. The author then stresses that the differential of this restriction at 0 is a scalar multiple of the identity (this does not depend on the considered Borel subgroup). More precisely, the situation is the following (note that the two vertical arrows are closed immersions): ). This allows us to consider semisimple groups rather than simple ones. The reductive case follows because "Springer isomorphisms are insensitive to the center". Indeed the radical of g is the Lie algebra of the center of G, thus is toral and does not contain any p-nilpotent elements (see Lemma 2.6 and Remark 6.2 ii)).

N V, W (rad u (B)) Rad U (B), φ / φ /
Let P be a so-called restricted parabolic subgroup, that is, a parabolic subgroup for which the Lie algebra of the unipotent radical has p-nilpotency order equals to 1. For instance, when p > h(G) (where h(G) is the Coxeter number of G) any Borel subgroup of G is restricted (because then, as explained in the introduction, any p-nilpotent element of G has p-nilpotent order equals to 1, see [McN02] for more details). We denote:

by rad u (P ) the Lie algebra of the unipotent radical of P , -and by Rad U (P ) the unipotent radical of P .

In [Sei00, Proposition 5.3] (credited by G. M. Seiz to J-P. Serre) the author explains how to obtain a P -equivariant isomorphism of algabraic groups exp P : rad u (p) → Rad U (P ) by base-changing the usual exponential map in characteristic 0. Note that here rad u (p) is endowed with the group law induced by the Baker-Campbell-Hausdorff law (which is well defined, see the preamble of [Sei00, Section 5]). When p > h(G), P. Sobaje explains in [Sob18, Theorem 6.0.2] that there exists a unique Springer isomorphism φ that restricts to exp P , whose tangent map is the identity and that is compatible with the p-power. Note that when p < h(G), maps satisfying the three aforementioned requirements still exist, but this time, there are many of such. P. Sobaje study and classify in [Sob18, Theorem 6.0.2] a specific class of such maps, the so-called generalised exponential maps.

Let us first consider the case p > h(G) to remind the reader of the construction of such group isomorphisms exp B where B ⊂ G is a Borel subgroup, and how this leads to integration results. In this settings, the reader might also be referred to a recent article of V. Balaji, P. Deligne and A. J. Parameswaran (see [BDP17, §6]) for a detailed construction of the group isomorphism exp B : u b → U B . This, combined with Corollary 2.1, actually allows to integrate restricted p-nil p-Lie subalgebras of g: Proposition 3.6. Let G be a reductive k-group over an algebraically closed field of characteristic p > h(G). Let u ⊂ g be a restricted p-nil p-Lie subalgebra. Then u can be integrated into a smooth connected unipotent subgroup of G. Namely there exists a smooth connected unipotent subgroup U ⊂ G such that Lie(U ) ∼ = u as Lie algebras.

Proposition 3.7 will be useful to show the above statement. In the aforementioned framework and as underlined by J-P. Serre in [Ser96, 2.2], if B ⊂ G is a Borel subgroup the group law on rad u (B) comes from the characteristic zero framework by lifting and specialisation.

More precisely, if we denote:

(B, G) (rad u (B), •) (B Fp , G Fp ) (B Z (p) , G Z (p) ) (B Q , G Q ) (rad u (B) Fp , •) (rad u (B) Z (p) , •) (rad u (B) Q , •). (B Z , G Z ) rad u (B) Z
We refer the reader to [Jea20, Annexe D] for a proof of Proposition 3.7 stated in these terms. We are now able to show Proposition 3.6: Proof of Proposition 3.6. According to [Ser94, II, Lecture 2, Theorem 3], when p > h(G) the Lie algebra of the unipotent radical of any Borel subgroup B ⊂ G is endowed with a group structure induced by the Baker-Campbell-Hausdorff law (which has p-integral coefficients as shown for example in [Ser96, 2.2, Propositon 1]). This law being defined with iterated Lie brackets, it reduces to any subalgebra of rad u (B), endowing it with a group structure. As by assumption one has p > h(G), the characteristic of k is not of torsion for G. Thus there exists a Borel subgroup B ⊂ G such that u is a Lie subalgebra of rad u (B) (according to Corollary 2.1). Hence what precedes in particular implies that u is an algebraic group for the Baker-Campbell-Hausdorff law.

The isomorphism of groups exp b : rad u (B) → Rad U (B) defined by J-P. Serre in [Ser94, Part II, Lecture 2, Theorem 3] thus restricts to u. Denote by U the image of the restricted morphism. It is a smooth connected unipotent subgroup of G.

It remains to show that Lie(U ) ∼ = u.

The algebraic groups u and U being smooth, the isomorphism of algebraic groups (exp b ) |u induces an isomorphism Lie(U ) ∼ = Lie(u) (see [DG11a, VIIA Proposition 8.2]). As u is a vector space over a field one has Lie(u) ∼ = u, hence Lie(U ) ∼ = u as Lie algebras. In other words, the map exp b induces the identity on tangent spaces. Therefore the restricted p-nil p-subalgebra u integrates into a smooth connected unipotent subgroup U of G.

Remarks 3.8. The following points should help the reader to better understand the issues that are specific to the characteristic p > 0 framework.

(i) What precedes ensures that when p > h(G) any restricted p-nil p-subalgebra of g can be integrated into a smooth unipotent connected subgroup of G. In particular, under this assumption on p any restricted p-nil p-subalgebra of an integrable p-nil subalgebra of g can be integrated. This is not true in general, as shown in section 3.12 (see in particular Remark 3.14).

(ii) Note that the work of G. Seitz mentioned in the preamble of this section (see [Sei00, section 5], in particular the Proposition 5.3) allows to relax assumptions on p and to still obtain an integration when G is semi-simple (this should extend easily to arbitrary reductive groups): let P G be a proper parabolic subgroup and let p be its Lie algebra. Denote by cl(u p ) the nilpotent index of the Lie algebra of U P , the unipotent radical of P . Results of G. Seitz ensure that there exists an isomorphism of algebraic groups between exp P : u p → U P , where the Lie algebra is endowed with an algebraic group structure given by the Baker-Campbell-Hausdorff law (which is here well defined as shown by the author). This result, coupled with works of G. McNinch ([McN07]) allows to integrate several nil Lie subalgebras in characteristic p < h(G). Indeed, when p is not of torsion for G, given a p-nil subalgebra u g there exists a so-called optimal parabolic subgroup P u (G) such that u is a Lie subalgebra of u pu (see also [Jea20,II.3] for more details on this paper and the aforementioned construction, with the same notations as the one used here). Therefore a precise bound for 3.6 would be to consider p > cl(u pu ). However this doesn't help to get rid of the difficulties that occur for small separably good characteristics p, hence we preferred a "rough" statement which avoid to get lost in technical details here.

(iii) The situation might seem to be quite similar to the characteristic zero framework. Unfortunately, and contrary to what happens in characteristic zero, the adjoint representation is not compatible with this integration in general. Namely it is not always true that exp(t ad(x)) = Ad(exp(tx)) for any x ∈ g (where we denote by ad the derived representation Lie(Ad)). Nevertheless this is automatically satisfied if the adjoint representation Ad is of low height according to [BDP17,4.6]. The authors mention this result as a corollary of [Ser03, Lecture 4, Theorem 5].

(iv) Let us emphasize another property that is lost in characteristic p > 0 and already mentioned in the introduction (see [DG70, IV, §2, 4.5] for more details on the characteristic 0 case): even in characteristic p > h(G) the integration process does no longer induces an equivalence of categories between the category of restricted p-nil p-Lie algebras and the category of smooth connected unipotent algebraic groups. More precisely:

let U be a unipotent subgroup of G and denote by u := Lie(U ) its Lie algebra. The field k is algebraically closed, thus perfect. The subgroup U is therefore k-embeddable into the unipotent radical of a Borel subgroup B ⊂ G. -Let log B : Rad U (B) → rad u (B) be the inverse isomorphism of algebraic groups of the morphism exp b , see [BDP17, section 6] for an explicit construction. As for exp b it is induced by an isomorphism of reduced k-schemes log : V(G) → N (g).

In general one cannot expect the integrated group exp(u) to be the starting group U . Equivalently the equality log B (U ) = u needs not being satisfied a priori. For example let G = SL 3 and p > 3. We consider the unipotent connected smooth subgroups of G generated respectively by the matrices

   1 t 0 0 1 0 0 0 1    and    1 t t p 0 1 0 0 0 1   . As U 1 = U 2 ,
the restricted p-nil p-algebras log(U 1 ) and log(U 2 ) do not coincide, even though the Lie algebras u 1 = u 2 are the same (namely it is the restricted p-nil p-Lie algebra generated by

   0 1 0 0 0 0 0 0 0   ).

From Lie algebras to groups: a natural candidate

Let G be a reductive group over an algebraically closed field k of characteristic p > 0 which is assumed to be separably good for G. Let φ : N (g) → V(G) be a Springer isomorphism for G such that for any Borel subgroup B ⊂ G the differential of φ restricted to rad u (B) is the identity at 0 (this last assumption is allowed by [Sob15, Theorem 1.1 and Remark 2] as explained in section 3.1.2). It defines for any p-nilpotent element of g a t-power map:

φ x : G a → G t → φ x (t).
Let u be a restricted p-nil p-Lie subalgebra of g. The t-power map φ x induces the following morphism:

ψ u : W (u)× G a → G (x, t) → φ x (t),
where the notations are those of [DG11a, I.4.6] (see also [DG11a,II,Lemme 4.11.7]). Denote by J u the subgroup of G generated by ψ u as a fppf-sheaf (see [DG11a, VIB Proposition 7.1 and Remark 7.6.1]). This is:

(i) a connected subgroup by [DG11a, VIB Corollaire 7.2.1] as W (u) is geometrically reduced and geometrically connected;

(ii) smooth (according to [DG11a, Proposition 7.1 (i)] as G is locally of finite type over the field k);

(iii) unipotent as we will see in section 4 (see Lemma 4.4).

One thus needs to compare u with the Lie algebra of J u , denoted by j u . We will show that when the restricted p-nil p-Lie subalgebra u ⊆ g satisfies some maximality properties (as the one required in the statements of Lemmas 5.1 and 5.3), it is integrable by J u . Before going any further let us stress out that when this integration holds true the normalisers N G (J u ) and N G (u) turn out to be the same. More precisely:

Lemma 3.9. Let u be a restricted p-nil p-Lie subalgebra of g. The subgroup N G (u) normalises J u .

Proof. First notice that φ is G-equivariant (because it is a Springer isomorphism), so is φ x . Hence the morphism ψ u is compatible with the G-action on u. In other words, for any g ∈ G and any (x, t) ∈ u × G a the equality Ad(g)ψ u (x, t) = ψ u (Ad(g)x, t) is satisfied.

Let R be a k-algebra, and consider g ∈ N G (u)(R) and h ∈ J u (R). By definition of J u there exists an fppf-covering

S → R such that h S = ψ u (x 1 , s 1 ) • • • ψ u (x n , s n ) for x i ∈ u R ⊗ R S and s i ∈ S.
But then one has (Ad(g)h) S = n i=1 Ad(g S )ψ u (x i , s i ). The morphism ψ u being compatible with the G-action, this can be rewritten as follows:

(Ad(g)h) S = n i=1 Ad(g S )ψ u (x i , s i ) = n i=1 ψ u (Ad(g S )x i , s i ) ∈ J u (S) ∩ G(R) = J u (R),
where the equality J u (S) ∩ G(R) = J u (R) follows from the fact that J u is generated by ψ u as a fppf-sheaf.

We thus have shown that Ad(g)h ∈ J u (R) for all g ∈ N g (u)(R). In other words we have shown the inclusion

N G (u)(R) ⊆ N G (J u )(R) for any k-algebra R. Yoneda's Lemma then leads to the desired inclusion N G (u) ⊆ N G (J u ). Lemma 3.10. When J u integrates u, the equality N G (J u ) = N G (u) is satisfied.
Proof. By Lemma 3.9 one only needs to show the inclusion N G (J u ) ⊆ N G (u). This is direct according to Lemma 6.3 as the equality Lie(J u ) = u is satisfied by assumption.

Remarks 3.11. Let us emphasize the following points:

(i) The assumptions on normalisers in Lemma 3.10 in particular hold true when u is a subalgebra of g made of all the p-nilpotent elements of the radical of N g (u). This will be shown in Lemma 5.1 below. (ii) As mentioned in the introduction, not any Springer isomorphism is compatible with the p-structure of the restricted p-nil p-algebra. This is actually not a requirement here. Indeed one considers the image of all p-nilpotent elements of u so x and all its p-powers are taken into account in the integration process. Moreover, one only needs to compare the subalgebras u and j u and both of them inherit their p-structure from that of g.

Obstructions to the existence of an integration for embedded restricted p-nil p-subalgebras 3.3.1 Witt vectors and family of counter-examples

In what follows we make use of some general results on Witt vectors to construct a family of counter-examples to the existence of an integration of morphisms and restricted p-nil p-Lie algebras in general:

Example 3.12. Let k be a perfect field of characteristic p > 0 and let us consider the following commutative diagram of algebraic groups:

0 G a W 2 G a 0, 0 G a W 2 = (W 2 × G a ) / i(x) -i(x p ) | x ∈ G a G a 0. i r i r Frob =
where:

we denote by Frob the absolute Frobenius automorphism, -the central term of the lower sequence is the pushout of the morphisms i and Frob.

The group G a being smooth, the exactness of the two horizontal sequences is preserved by derivation (see [DG11a, II, §5, Proposition 5.3] and [DG70, II, §7, n • 3, Proposition 3.4]). This leads to the following commutative diagram of restricted p-Lie algebras and p-morphisms:

0 Lie(G a ) w 2 := Lie(W 2 ) Lie(G a ) 0 0 Lie(G a ) w 2 Lie(G a ) 0. Lie(i) Lie(r) Lie(i) Lie(r) Lie(Frob) = 0 π =
As Lie(Frob) = 0 the p-morphism w 2 → k is split (as a p-morphism). Let s : Lie(G a ) → w 2 be the resulting splitting.

Even though Lie(G a ) and w 2 are integrable, this splitting does not lift into a morphism of algebraic k-groups. The field k being perfect, one only needs to check this on k points. As the vertical morphisms induce the identity morphism on k-points if the lifting s : Lie(G a ) → w 2 were integrable into a morphism of algebraic groups σ : G a (k) → W 2 (k) such that Lie(σ) k = s k , the lower exact sequence of the above commutative diagram of algebraic groups would be split (because the Lie-functor is left exact). According to the previous remark on k-points, the following exact sequence would then also be split:

0 G a (k) =k W 2 (k) k 0
This leads to a contradiction as W 2 would appear as a vector group, while it has p 2 -torsion (see for example [Ser88, VII, §2, n • 10, Proposition 9]: the construction of W 2 is explained in the proof of the proposition, see also [Ros58] for a reminder of vector groups).

Remark 3.13. As pointed out by the referee, connected abelian unipotent subgroups of dimension 2 over a field are classified, up to isomorphism, by a pair of invariants (see the paragraph after [Ser88, VII,§2,11,Proposition 11]). Let U be such a group and denote by U the subgroup of U whose elements have order dividing p. The group law is denoted additively. As exaplained in the aforementioned reference, the purely inseparable isogeny U/pU → U : x → px has degree p h and h is the second invariant of the above pair. This invariant could also be used to show that the splitting s is not integrable in Example 3.12 above (as this would imply that W 2 has h = 2 while it is actually equal to 1).

Obstructions in the reductive framework

Let us go back to the framework we are interested in: let G be a reductive group over an algebraically closed field of characteristic p > 0 which is assumed to be separably good for G. Let U and V ⊂ G be two subgroups. What precedes in particular tells us that if f : u = Lie(U ) → v = Lie(V ) is a morphism of restricted p-Lie algebras, it is not true in general that there exists a morphism of groups U → V such that Lie(φ) = f . Namely the map Hom(G, G a ) → Hom p-Lie (g, k) is not surjective. In what follows a morphism of restricted p-Lie algebras is integrable if it lifts into a morphism of algebraic groups with smooth kernel.

Remarks 3.14. One can make the following important remarks on integration of p-nil subalgebras:

(i) let u ⊂ g be a restricted p-nil p-subalgebra which is integrable into a unipotent smooth connected subgroup U ⊆ G. Example 3.12 together with Lemma 3.15 also shows that not any restricted p-nil p-subalgebra v ⊆ u of a restricted p-nil p-Lie algebra is integrable into a smooth connected unipotent group V such that Lie(V ) = v. Nevertheless, if we require the inclusion v ⊆ u to be integrable into a morphism of algebraic groups with smooth kernel, then v is integrable into a smooth unipotent subgroup of U (by virtue of [DG70, II, §5, Proposition 5.3]). Hence, in what follows a morphism of p-Lie algebras f : h → h is said to be integrable if there exists a morphism of algebraic groups φ : H → H with smooth kernel such that Lie(φ) = f .

(ii) Let us stress out that only the restricted p-subalgebras h ⊆ g can pretend to derive from an algebraic group (as this last property automatically implies that h is endowed with a p-structure inherited from the group, see for example [DG70, II, §7, n • 3, Proposition 3.4]). Moreover, as underlined by the example presented in Remark 3.8 (iii) the integration of restricted p-nil p-subalgebras of g does no longer induce a bijective correspondence with unipotent subgroups of G. This in particular implies that the integration of morphisms of restricted p-Lie algebras depends on the integration of the Lie algebra one starts with.

The following lemma makes a connection between integration of morphisms and integration of subalgebras: Lemma 3.15. Let G and H be two algebraic smooth k-groups with Lie algebras g := Lie(G), respectively h := Lie(H). Assume that f : g → h is a morphism of restricted p-nil p-Lie algebras which is integrable into a morphism of groups with smooth kernel. Let us denote by φ : G → H the resulting integrated morphism, then f (g) is integrable into an algebraic smooth connected k-group.

Proof. Denote by v := f (g) the image of the morphism f , which is assumed to be integrable into a morphism φ : G → H with smooth kernel. One can a priori only expect the inclusions f (g) ⊆ Lie(φ(G)) ⊆ h to hold true. However, as k is a field and ker(φ) and G are smooth so is φ(G). As a consequence, the restricted morphism f = Lie(φ) : g → Lie(φ(G)) is surjective (see [DG70, II, §5, Proposition 5.3]), whence the equality v = Lie(φ(G)). In particular the restricted p-Lie algebra v is integrable into an algebraic smooth connected k-group. Remark 3.16. Let φ : G → H be a smooth morphism of algebraic k-groups. Assume that the derived morphism Lie(φ) : g → h has a splitting s : h → g which is also a morphism of restricted p-Lie algebras. It is worth noting that this splitting does not necessarily lift into a splitting of algebraic groups: consider for instance the Artin-Schreier covering of G a → G a : t → t p -t, its derived morphism is nothing but the identity, whence it admits a splitting that does not lift to a splitting of algebraic groups.

φ-infinitesimal saturation and proof of Theorem 1.1

In what follows G is a reductive group over an algebraically closed field k of characteristic p > 0 which is assumed to be separably good for G. Let φ : N (g) → V(G) be a Springer isomorphism for G such that for any Borel subgroup B ⊆ G the differential at 0 of φ restricted to rad U (B) is the identity.

φ-infinitesimal saturation

The following definition extends the notion of infinitesimal saturation to the separably good characteristics.

Definition 4.1. A subgroup G ⊆ G is φ-infinitesimally saturated if for any p-nilpotent element x ∈ g := Lie(G ) the t-power map:

φ x : G a → G, t → φ(tx),
factorises through G . In other words we ask for the following diagram to commute:

G a G. G φ x ∃
It follows from the definition that the group G is itself φ-infinitesimally saturated. Let us stress out that there are non trivial examples of φ-infinitesimally saturated subgroups of G, namely:

Lemma 4.2. Any parabolic subgroup of G is φ-infinitesimally saturated, so are the Levi subgroups and the unipotent radical of any parabolic subgroup P ⊂ G.

Proof. In order to show this result we make use of the dynamic method introduced in [Con14, 4] and [CGP15, §2.1]. Let T ⊂ P ⊂ G be respectively a maximal torus and a parabolic subgroup of G. As k is a field there exists a non-necessarily unique cocharacter of T , denoted here by λ : G m → G such that P = P G (λ) (see [CGP15, Proposition 2.2.9]). We aim to show that for any p-nilpotent element x ∈ p the image of the t-power map φ x belongs to P = P G (λ). The field k being algebraically closed, this is enough to show it on k-points. As a reminder when P is of the form P G (λ) the k-points of P are nothing but the set:

P G (λ)(k) = {g ∈ G(k) | lim s→0 λ(s) • g exists}.
Hence one only needs to prove that lim s→0 λ(s) • φ(tx) exists. This can be done by making use of the G-equivariance of φ. This leads to the equality λ(s) • φ(tx) = φ(λ(s) • tx). Moreover as x ∈ p g (λ) := Lie(P G (λ)) the limit lim s→0 λ(s) • x exists by definition. We deduce from the above equality that lim s→0 λ(s) • φ(tx) exists, meaning that φ(tx) ∈ P G (λ) = P , whence the result.

The same reasoning as before, together with [CGP15, Lemma 2.1.5], allows us to show that:

the unipotent radical of any parabolic subgroup P ⊆ G is φ-infinitesimally saturated as

Rad U (P G (λ))(k) = {g ∈ G(k) | lim s→0 λ(s) • g = 1},
the Levi subgroups of any parabolic subgroup P ⊆ G are φ-infinitesimally saturated as

Z G (P G (λ))(k) = P G (λ) ∩ P G (-λ).
Remark 4.3. As mentioned in the preamble of section 3.1.2 when p > h(G) the only Springer isomorphism for G that restricts to exp B : u b → U B , whose tangent map is the identity and that is compatible with the p-power is nothing but the classical exponential map truncated at the power p (this last condition is not necessary here). In this framework, being φ-infinitesimally saturated is nothing but being exp-saturated, i.e. being infinitesimally saturated as defined by P. Deligne in [Del14, Définition 1.5]).

This being introduced we can show the following lemma which states that the generated subgroup J u seems to be the good candidate to integrate u in general.

Lemma 4.4. Let u ⊆ g be a restricted p-nil p-subalgebra. Then:

(i) the generated subgroup J u is unipotent, (ii) the inclusion u ⊆ Lie(J u ) := j u is satisfied.

Proof. The Lie algebra u being a restricted p-nil p-subalgebra of g and p being separably good for G (thus not of torsion) Corollary 2.1 allows to embed u into the Lie algebra of the unipotent radical of a Borel subgroup B ⊂ G. Let us remind the reader of the notation introduced in section 3.2:

the Springer isomorphism φ being fixed, we define

ψ u : W (u)× G a → G (x, t) → φ x (t),
where φ x (t) := φ(tx) is the t-power map.

-We then denote by J u the subgroup of G obtained by considering the fppf-sheaf generated by the image of ψ u .

What precedes in particular tells us that J u is k-embeddable into the unipotent radical of a Borel subgroup. This is because B is φ-infinitesimally saturated according to Lemma 4.2. In other words J u is unipotent (see for example [DG70, IV, §2, n • 2, Proposition 2.5 (vi)]).

We still denote by φ the restriction of the Springer isomorphism to rad u (B). Recall that:

this restriction maps to Rad U (B),

its differential satisfies (d φ) 0 = id by assumption.

The subgroup J u being generated by the images of the t-power maps φ x for all x ∈ u, the Lie algebra j u contains the differential at 0 of all such maps, hence the expected inclusion.

It is worth noting that the inclusion u ⊆ j u is strict in general, as underlined by the following lemma which is a variation of [DG11c, VIB, Proposition 7.6]. Notwithstanding this, it will be shown in section 5 that J u does actually integrate u when the latter satisfies some maximality hypotheses (see Lemmas 5.1 and 5.3).

Proposition 4.5. Let k be a separably closed field and let

(G i ) i∈{1,••• ,n} and G be smooth connected k-groups. For any i ∈ {1, • • • , n}, consider a smooth morphism of k-groups f i : G i → G. Then set: f := n i=1 f i : ( n i=1 G i ) → G (g 1 , • • • , g n ) → f 1 (g 1 ) • • • f n (g n ).
and for any N ∈ N >0 define:

f N := f × • • • × f : n i=1 G i ×N → G (x 1 , • • • , x N ) → f (x 1 ) • • • f (x N )
given by taking N times the morphism f . The following assertions are equivalent:

(i) there exists an integer N 1 for which the morphism f N is surjective and smooth over a non empty open subset of ( n i=1 G i ) ×N , (ii) for N 1 large enough the morphism f N is surjective and separable, (iii) the Lie algebra of G decomposes as a space as follows:

Lie(G) = n j=1 Ad(h j ) (Lie(f j (G j ))) , where h j ∈ M (k) for M = f i (G i ) i∈{1,••• ,n} , the subgroup generated by the f i (G i )'s,
(iv) the group G is generated by the images of the G j 's on the big étale site.

Remark 4.6. If the equivalent conditions of Lemma 4.5 are satisfied then in particular the k-group G is generated by the images of the G j 's for the fppf-topology.

Proof. We show

(i) (ii) (iv) (iii)
. In order to avoid heavy notations we only focus on the case n = 2 in the statement of the lemma, the general proof follows by induction.

(i) =⇒ (ii) Let N 1 be an integer such that Remark that since we are working with algebraic groups it is enough to consider f 2N (thus m = 2N ) rather than f N to obtain this property. This is so because the natural morphism

f N : (G 1 × G 2 ) ×N → G is smooth
U (k) • U (k) → G(k)
is surjective as G is a k-algebraic group). Now, as being separated is nothing but being generically smooth, one only needs to show that f 2N is smooth on a dense open subset of G. It suffices to show that there exists z ∈ (G 1 × G 2 ) ×2N such that (df 2N ) z is surjective because the source and the target of f 2N are smooth varieties (see [DG70,I,§4,Corollaire 4.14]). The map f N being smooth over a non empty open subset of (G 1 × G 2 ) ×N , one can find an element x ∈ (G 1 × G 2 ) ×N such that (df N ) x is surjective. This implies that so is (df 2N ) (1,x) and allows to conclude that f 2N is smooth over an open neighborhood of (1, x).

(ii) =⇒ (iii) Let N ∈ N >0 be such that the morphism f N is separable and surjective. These two assumptions together ensure that there exists an element andg 2,i = h 2,1 h 2,2 . . . h 2,i and consider the map:

h = (h 1,i , h 2,i ) N i=1 ∈ (G 1 (k) × G 2 (k)) ×N such that (df N ) h : T (G 1 × G 2 ) N h → T (G) g is surjective for g = f N (h). Set g 1,i = h 1,1 h 1,2 . . . h 1,i
α : (G 1 × G 2 ) ×N → (G 1 × G 2 ) ×N (x 1,1 , . . . x 2,N ) → (h 1,1 x 1,1 , . . . , h 2,N x 2,N ).
This allows to translate f N to the origin as illustrated by the following diagram that can be shown to be commutative:

(G 1 × G 2 ) ×N (G 1 × G 2 ) ×N G (G 1 × G 2 ) ×N G Ad N (g j,i ) α f N ρ(g -1 )
f N

where Ad N (g j,i ) := N i=1 (Ad(g 1,i ), Ad(g 2,i )) is the diagonal conjugation by the g j,i 's for j ∈ {1, 2} and ρ(g -1 ) is the right multiplication. This in particular implies that the differential

d f N • Ad N (g j,i ) e : T (G 1 × G 2 ) ×N e → Lie(G) =: g is surjective.
Thus any z ∈ g occurs as:

d(f N • Ad N (g j,i ) ) e (x 1,1 , . . . , x 2,N ) = N i=1 (Ad(h 1,i )(x 1,i ) + Ad(h 2,i )(x 2,i )) for an element (x 1,1 , . . . , x 2,N ) ∈ T (G 1 × G 2 ) ×N e
, whence the desired equality of vector spaces.

(iii) =⇒ (i) Let x ∈ g, by assumption there exist natural integers n and m such that:

x = n i=1 Ad(h 1,i )(x 1,i ) + Ad(h 2,i )(x 2,i ) = n i=1   Ad   m j=1 g 1,i 1,j g 1,i 2,j   (x 1,i ) + Ad m l=1 g 2,i 1,l g 2,i 2,l (x 2,i )  
where:

-for q ∈ {1, 2}, the h q,i 's belong to f 1 (G 1 )(k), f 2 (G 2 )(k) hence decompose into products of g q,i r,j ∈ f r (G r )(k) for r ∈ {1, 2} and j ∈ {1, . . . , m}. Note that they may be equal to 1; -the x q,i = f (z q,i )'s are elements of Lie(f q (G q )).

Recall that, as previously noticed (in the proof of the last implication), for any g ∈ G the tangent space of G at g identifies with the Lie algebra of G. Hence the surjectivity of (df N ) e (as for any x ∈ g, the N -tuple (z 1,i , z 2,i ) is an antecedent for (df N ) e ). The derived morphism (df N ) e being surjective and G and (G 1 × G 2 ) ×N being smooth, the morphism f N is smooth over a non empty open subset U ⊂ (G 1 × G 2 ) N (according to [DG70, I, §4, Corollaire 4.14]). It remains to show the surjectivity of f N which is direct the natural morphism U (k) • U (k) → G(k) being surjective (because G is an algebraic group).

(i) =⇒ (iv) For any k-algebra R and any g ∈ G(R) one needs to show that there exists an étale cover S → R on which g writes g S = g 1,1 g 2,1 • • • g 1,N g 2,N , where g 1,i ∈ f 1 (G 1 )(S) and g 2,i ∈ f 2 (G 2 )(S) for i ∈ {1, • • • , N }. This is therefore actually enough to prove the statement when R is strictly henselian. One thus only needs to prove it on the residue field κ, as Hensel lemma holds true allowing to lift the desired property. The morphism f N is surjective and smooth over an open cover of (G 1 × G 2 ) ×N so its image is a dense open subset U ⊂ G, hence the result as

U (κ) • U (κ) → G(κ) is surjective.
(iv) =⇒ (iii) By assumption there exists an integer N 1 for which the morphism f N is a covering (see [DG11a, Proposition 7.4 et Proposition 7.6]), hence its surjectivity. Any

g ∈ G(k[ 1 , 1 , . . . , N , N ]) thus writes g = N j=1 (h 1,j + j x 1,j )(h 2,j + j x 2,j ) for h i,j ∈ f i (G i )(k) with i ∈ {1, 2}, and x i,j ∈ Lie(f i (G i )). Hence the map T (f 1 (G 1 ) × f 2 (G 2 )) ×N h → T (G) f N (h)
is surjective, for h = (h 1,j , h 2,j ) j∈{1,••• ,N } . We now run exactly the same reasoning as in the proof (ii) =⇒ (iii): set g 1,i = h 1,1 h 1,2 . . . h 1,i and g 2,i = h 2,1 h 2,2 . . . h 2,i . That leads to consider the map:

α : (G 1 × G 2 ) ×N → (G 1 × G 2 ) ×N (x 1,1 , . . . x 2,N ) → (h 1,1 x 1,1 , . . . , h 2,N x 2,N ).
This allows us to translate f N to the origin, as this can be read on the following diagram (which is commutative):

(G 1 × G 2 ) ×N (G 1 × G 2 ) ×N G (G 1 × G 2 ) ×N G, Ad N (g j,i ) α f N ρ(g -1 )
f N

where Ad N (g j,i ) := N i=1 (Ad(g 1,i ), Ad(g 2,i )) is the diagonal conjugation by the g j,i 's for j ∈ {1, 2}. This in particular implies that the differential:

d f N • Ad N (g j,i ) e : T (G 1 × G 2 ) ×N e → Lie(G) =: g is surjective.
Thus any z ∈ g can be rewritten as:

d(f N • Ad N (g j,i ) ) e (x 1,1 , . . . , x 2,N ) = N i=1 (Ad(h 1,i )(x 1,i ) + Ad(h 2,i )(x 2,i )) for an element (x 1,1 , . . . , x 2,N ) ∈ T (G 1 × G 2 ) ×N e
, whence the desired equality of vector spaces.

Remark 4.7. Let G be a reductive k-group of finite presentation and let H ⊆ G be the ksubgroup of G generated by the f i (G i )'s as chosen in the above lemma. Note that H is smooth and connected because so are the G i 's. Under some extra assumptions such as:

(i) the smoothness of all normalisers N G (v) of all subspaces v of g (which is ensured under very strict conditions on p, as described in [HS16, Theorem A]), (ii) the smoothness of N G ( Lie(f i (G i )) n i=1 ), the third point of the above lemma also allows to conclude that Lie(G) is generated by the Lie(f i (G i ))'s as a restricted p-Lie algebra. Indeed one only needs to obtain the inclusion

H ⊆ N G ( Lie(f i (G i ))
). The f i 's being morphisms of groups one actually only needs to show that

f i (G i ) ⊂ N G ( Lie(f i (G i ))
). Under the above assumptions the proof is the same as the one in characteristic 0 (that can be found, for instance, in [Bor91,II,7.6]).

The above remark provides some examples under which the Lie algebra of H is the restricted p-Lie algebra generated by the Lie algebras of the f i 's. The remark below however illustrates the necessity of assumptions made in Proposition 4.5, by providing examples for which its conclusion does not hold true.

Remark 4.8. Let G be an algebraic group over a separably closed field k of characteristic p > 0 and let (f i : G i → G) i=1,••• ,n be a family of n smooth morphisms of k-groups, where the G i s are assumed to be smooth and connected. Assume that G is generated by the f i (G i ) s. In general it is not true that Lie(G) is generated by the Lie(f i (G i ))'s, as shown on the two examples below:

(i) assume G = (G a ) 2 . Set:

f 1 : G 1 := G a → G x → (x, 0), f 2 : G 2 := G a → G x → (x, x p ), so G = f 1 (G 1 ), f 2 (G 2 ) . Note that Lie(f 1 (G 1 )) = Lie(f 2 (G 2 )) = k, hence: Lie(f 1 (G 1 )), Lie(f 2 (G 2 )) = k = Lie(G);
(ii) the Lie algebra of [G, G] (for [G, G] the derived group of G) does not necessarily coincide with the derived Lie algebra [g, g]. For example if G = SL p = [GL p , GL p ] then sl p is nothing but the matrices of size p × p with trace zero, which does not coincide with [gl p , gl p ] due to the assumption on the characteristic.

The notion of φ-infinitesimal saturation introduced here also allows us to extend theorems [Del14, Théorème 1.7] and [BDP17, Theorem 2.5] to φ-infinitesimally reductive k-groups N over an algebraically closed field k of characteristic p > 0 which is assumed to be separably good for G. This is the point of Theorem 1.1. Let us first remark that points (i) and (iii) of [Del14, Lemme 2.3] are still valid in the aforementioned framework and allow us to reduce ourselves to show the result for connected N . More precisely: Lemma 4.9. Let G be a reductive group over an algebraically closed field k of characteristic p > 0 which is assumed to be separably good for G, and let N ⊂ G be a subgroup of G. The following assertions hold true: (i) if N is φ-infinitesimally saturated in G then so is N 0 , (ii) if the reduced part N 0 red of N 0 and its unipotent radical Rad U (N 0 red ) are normal subgroups of N 0 then they are normal in N .

Proof. See [Del14, Lemme 2.3] for a proof as the notion of φ-infinitesimal saturation is nothing but a generalisation of those of infinitesimal saturation to the framework described above (see Remark 4.3).

In what follows the φ-infinitesimally saturated group N is therefore assumed to be connected. In order to state and show the φ-infinitesimal version of P. Deligne's result stated in the introduction of this article (see Theorem 1.1), one will need a fundamental result on maximal k-groups of multiplicative type, which is stated and showed in section 4.2 below.

A preliminary result on maximal k-groups of multiplicative type

Corollary 4.10 (Corollary of [CGP15, Proposition A.2.11]). Let k be a field and G be an affine smooth algebraic k-group. The maximal connected subgroups of multiplicative type of G are the maximal tori of G.

Proof. Without loss of generality one can assume G to be connected (as any maximal connected subgroup of G is contained in the identity component G 0 ). Let H ⊂ G be a maximal connected subgroup of multiplicative type.

Note that, as explained in the proof of [BDP17, Corollaire 3.3], the connected centraliser of H in G, denoted by Z 0 G (H), is a smooth subgroup of G. This is an immediate consequence of the smoothness theorem for centralisers (see for example [DG70, II, §5, 2.8]): the group G being smooth, the set of H-fixed points of G (for the H-conjugation) is smooth over k.

We proceed by induction on the dimension of G, the case of dimension 0 being trivial.

If now the group G is of strictly positive dimension then: Then,by [CGP15,Proposition A.2.11] (applied to G) one has the following exact sequence:

(i) either the inclusion Z 0 G (H) ⊂ G is strict and then H is a maximal connected subgroup of Z 0 G (H) of multiplicative type, thus H is a k-torus (of Z 0 G (H), hence of G) by induction; (ii) or Z 0 G (H) = G and H is central in G.
1 G t G V 1,
where V is a unipotent smooth connected group and G t is the k-subgroup of G generated by the k-tori of G.

An infinitesimal version of Theorem 1.1

Let H ⊆ N ⊆ G be a maximal connected subgroup of multiplicative type of the φ-infinitesimally saturated subgroup N . The k-group H is the direct product of a k-torus T together with a diagonalisable k-group D. The latter is a product of subgroups of the form µ p i , with i ∈ N.

Moreover the k-torus T is nothing but the intersection H ∩ N red and it is a maximal torus of N and N red (according to Corollary 4.10).

Let Z := Z 0 N red (T ) be the connected centraliser of T for the action of N red and set W = Z/T . This is a unipotent subgroup of N , the reasoning is the same as the one of [Del14, §2.5]): according to [DG11b, XVII, Proposition 4.3.1 iv)] as the field k is algebraically closed one only needs to show that this quotient has no subgroup of µ p -type. This is clear: if such a factor would exist its inverse image in Z would be an extension of µ p by T in N red , hence of multiplicative type. This is absurd as the maximal connected subgroups of multiplicative type of a smooth algebraic group over a field are the maximal tori (by Corollary 4.10). Moreover the groups T and Z being smooth so is W according to [DG70, II, §5, n • 5 Proposition 5.3 (ii)];

the group W is also unipotent according to what precedes.

The field k being perfect [DG11b, exposé XVII, Théorème 6.1.1] holds true and implies the exactness of the following exact sequence:

1 T Z W 1.
To summarise, we have an isomorphism Z N red (T ) ∼ = T × W . Let X be the reduced k-subscheme of p-nilpotent elements of n 0 = W (n 0 ) = Lie(Z N red (T )).

Lemma 4.11. The centraliser Z 0 N red (T ) is the subgroup of N generated by T and the morphism:

ψ X : X × G a → G (x, t) → φ(tx).
It is normalised by H.

Proof. Let J X ⊆ G be the subgroup of N generated by the image of ψ X . The subgroup N being φ-infinitesimally saturated, the t-power map induced by φ maps any p-nilpotent element of Lie(Z N (T )) to N . Thus ψ X factorises through N . Moreover as J X is the image of a reduced k-scheme it is reduced hence smooth (as k is algebraically closed). Thus the inclusion J X ⊂ N red holds true. Finally, φ is G-equivariant because it is a Springer isomorphism. This implies that the image of ψ X commutes with any element of T . We just have shown that J X ⊂ Z N red (T ).

Let also E T,J 0 X be the subgroup generated by T and J 0 X as a fppf-sheaf. It is:

-a smooth subgroup of Z N red (T ) as T ∈ Z 0 N red (T ) is smooth and J 0 X ⊂ Z 0 N red (T )
(T ) 0 ) = Lie(Z N red (T )).
According to what precedes n red is stable for the action of H on n, hence this subalgebra is invariant for the action of N . Reasoning on the R[ ]-points for any k-algebra R, one can shows that n red is an ideal of n.

The proof of the following lemma is the same as the proof of [Del14, Lemma 2.22] because relaxing the hypotheses had no consequences on the involved arguments. We reproduce the proof here to ensure a consistency in notations. Proof. The torus T acts on n red thus on v. The Lie algebras n red and v have a weight space decomposition for this action, namely n red = n 0 red ⊕ α∈X(T ) * n α red and v = v 0 ⊕ α∈X(T ) * v α . According to the proof of Lemma 4.12 the decomposition of n red is H-stable. It remains to show that so is any v α .

Consider the following commutative diagram. As a reminder as Z = T × W and T and Z are normal in N red , so is the subgroup W ⊆ N red . Moreover W is also unipotent smooth and connected so it is contained in

V := Rad U (N red ): 1 W Z T Q , 1 V N red Q.
Let us first study the H-stability of the weight-zero part of v. The diagram above being cartesian one has v

0 = n 0 red ∩ v = z ∩ v = w.
But w is H-stable as the subgroups T and Z are (for Z this has been shown in Lemma 4.11) and the sequence is split.

Let us now focus on the positive weights. Let q be the Lie algebra of the reductive quotient N red /V . The torus T acts on this Lie algebra which writes q = q 0 ⊕ α∈X * (T ) q α . There are two possible situations:

either α is not a weight of T on q. Then one has v α = n α red , whence the H-stability of v α ; -or α is a non trivial weight of T on q. Then the weight spaces q α and q -α are of dimension 1 (according to [DG11c, XIX, Proposition 1.12 (iii)]). As p > 2 (because it is separably good for G), the pairing:

q α × q -α → q 0 := Lie( T Q ) (X α , X -α ) → [X α , X -α ]
induced by the bracket on q is non-degenerate (see [DG11c, XXIII, Corollaire 6.5]), thus maps to a 1-dimensional subspace h α .

by the image of the morphisms

ψ α : W ( n α ) × G a → G (x, t) → φ(tx).
Note that ψ α is well-defined for any α ∈ X(T ) * :

any weight space n α consists in p-nilpotent elements because we consider the action of a torus, -any weight space n α is geometrically reduced and geometrically connected as it is a vector space.

Thus the groups J n α are smooth and connected (this last point is ensured by [DG11a, VIB, Corollaire 7.2.1]).

The arguments of the proof of Lemma 4.11 apply and allow to show that the k-subgroup E Z 0 ,J n α is contained in N (this subgroup being φ-infinitesimally saturated), and even in N red as it is smooth. Moreover recall that p is not of torsion for G and that for any non-zero weight the corresponding weight space is p-nil. Therefore, they are all embeddable into the Lie algebra of the unipotent radical of a Borel subgroup B ⊆ G. The weight spaces n α are all contained in Lie(E Z 0 ,J n α ) =: e because the differential at 0 of the restriction of φ to the Lie algebra of the unipotent radical of any Borel subgroup is the identity. The Lie algebra Lie(Z 0 ) also satisfies this inclusion as Z 0 ⊂ E Z 0 ,J n α .

To summarize we have shown that n red = Lie(Z 0 ) ⊕ α∈X(T ) * n α ⊆ e. The groups involved here being smooth and connected the equality of Lie algebras lifts to an equality of groups (see [DG70, II, §5, n • 5.5]) hence the identity E Z 0 ,J n α = N 0 red . Thus the problem restricts to showing the H-stability of E Z 0 ,J n α . By Lemma 4.11 the centraliser Z 0 is H-invariant, so one only has to show the H-stability of the J n α 's. As H normalises T and as φ is G-equivariant any n α is H-invariant. Hence N red is a normal subgroup of N .

Recall that in the preamble of section 4.3 we have explained that H is actually equal to the product T × D (for D a k-diagonalisable group). To prove that N/N red is of multiplicative type we show that it is isomorphic to the group D. As:

the group H normalises N red (which is normal in N ) -the equality HN red = N is satisfied as well as the following isomorphism N red ∼ = H ∩ N red , one has an isomorphism of fppf-sheaves which turns out to be an isomorphism of algebraic groups H/H red ∼ = N/N red ∼ = D.

To end the proof of the first point of the theorem it remains to show that the unipotent radical of N red , denoted by V , is normal in N . Once again, the fppf-formalism reduces the problem to showing the H-invariance of V , the unipotent radical Rad U (N red ) being normal in N red . The reasoning follows the proof of the normality of N red in N : we consider the subgroup E W,J α v generated by W and J v α for α ∈ X(T ) * . As W and J v α are normal in N red , the subgroup E W,J v α is a unipotent smooth connected normal subgroup of N , thus it is contained in the unipotent radical of N red .

Moreover for any non zero weight, the corresponding weight space can be embedded into the Lie algebra of the unipotent radical of a Borel subgroup (as p is not of torsion for G and the considered weight-space is p-nil). Once again we make use of the properties of the differential of φ at 0 to conclude that v = w ⊕ α∈X(T ) * v α is contained in Lie(E W,J α v ). This implies the equality V = E W,J α v for the same reasons as above. This equality being satisfied the result follows from stability properties established in the proof of Lemma 4.13. Indeed we have shown that then W as well as any J α v , for non trivial α, are H-stable. Combining this with the G-equivariance of φ leads to the conclusion that V is a normal subgroup of N .

It remains to show the last point of Theorem 1.1 which is a generalised version of [Del14, Theorem 1.7 iii)] (see also [BDP17, Theorem 2.5 ii)]). A careful reading of the proof of this latter shows that it does not depend on the additional assumptions made by the author (that, in practice, reduce the range of allowed characteristics). The arguments are hence the same as the one provided by P. Deligne in the framework of [Del14, 2.25] (see also [BDP17,Corollary 2.15]) and the proof is reproduced here only for sake of clarity.

The reduced part N red ⊆ N is now assumed to be reductive. We show that the connected component of the identity M 0 of M = ker (H → Aut(N red )) is the central connected subgroup of multiplicative type we are seeking. It is clearly of multiplicative type as it is a closed subgroup of H (see [DG70, IV §1 Corollaire 2.4 a)]). Thus we need to show that it is central and that M 0 × N red → N is an epimorphism. The first assertion is clear as:

the connected group M 0 centralises N red , -and N is generated by H and N red as a fppf-sheaf (as shown previously).

To show that M 0 × N red → N is an epimorphism, one proves that N is generated by M 0 and N red as a fppf-sheaf. We already know that N is generated by N red and H. To conclude we show:

that M is generated by M red ⊂ N red and M 0 , -that H is generated by M and T .

The assertion for M is the consequence of structural properties of groups multiplicative type: the field k being algebraically closed, any group of multiplicative type is diagonalisable. Hence M is isomorphic to a product of G m , µ q and µ p i (for (q, p) = 1) (see the proof of [DG11a, VIII, Proposition 2.1]). Its reduced component being smooth of multiplicative type, the order of its torsion part is coprime with p (see [DG11a, VIII, Proposition 2.1]). Hence M/M red is a product of groups of the form µ p i for i ∈ N. Conversely, the quotient M/M 0 is a product of µ q with (p, q) = 1, hence the result.

One still has to show that H is generated by M and T . Recall that we have shown previously that N red is stable under the action of H-conjugation on N . Note that this action fixes T , hence we have the following diagram (according to [DG11c, XXIV, Proposition 2.11], the group N red being reductive):

H

Aut(N red ),

T Ad N Ad red .
The action of H on N red thus factors through T Ad . So we have the following exact sequence:

1 M H T Ad 1.

Assume the inclusion u j u to be strict. Then u is a proper subalgebra of its normaliser in j u (according to [Bou71, §4 n • 1 Proposition 3]). In other words one has u N ju (u) := j u ∩ N g (u) = j u ∩ N ju (h).

But according to Lemma 5.2 the subgroup J u is normalised by N G (h), hence N ju (u) ⊆ N g (h) is an ideal of N g (h). The same arguments as the ones developed in the proof of Lemma 5.1 allow us to show that it is a restricted p-nil p-ideal of N g (h) such that N ju (u) ⊆ rad(N g (h)). This leads to the equality N ju (h) = u as u is nothing but the set of p-nilpotent elements of rad(N g (h)). This contradicts the strictness of the inclusion, whence the equality u = j u . In particular u is integrable.

Remarks 5.4. Let us better explicit the above condition of φ-infinitesimal saturation with the two following remarks.

(i) In the particular case when h = u, namely when u := rad p (N g (u)) is the p-radical of its normaliser in g, the φ-infinitesimal saturation assumption is superfluous as in this case the inclusion J u ⊆ N G (J u ) is clear. (ii) The condition of φ-infinitesimal saturation of normalisers might seem to be extremely restrictive. Let us stress out that there exists non-trivial examples of φ-infinitesimally saturated normalisers: any parabolic subgroup satisfies this condition (according to Lemma 4.2) and such subgroup appears to be the normaliser of its Lie algebra. Moreover, if p > h(G) one can show that the normaliser for the adjoint action of G of any restricted p-nil p-subalgebra is exp-infinitesimally saturated (or infinitesimally saturated).

Added in proof: technical results on normalisers and centralisers

The formalism used in this section is developed in [DG70, II, §4]. We especially refer the reader to [DG70, II, §4, 3.7] for notations. Let A be a ring and G be an affine A-group functor. As a reminder: for raising many interesting points that definitely helped to improve its content. Any critical remark must be exclusively addressed to the author of this paper.

(i) if R is an A-algebra

  2). Let us also mention here the work of S. Herpel who shows in [Her13] the existence of Springer isomorphisms for any reductive k-groups in pretty good characteristic. This mainly uses previous results from G.McNinch and D. Testerman (see [MT09, Theorem 3.3]).

  (i) by G Z a reductive Z-group and B Z ⊂ G Z a Borel subgroup such that G = G Z ⊗ Z k and B = B Z ⊗ Z k (such groups both exist according to [DG11c, XXV, Corollaire 1.3]), (ii) by G Q and B Q the groups obtained from G Z and B Z by base change from Z to Q, then: Proposition 3.7 ([Ser96, 2.2]). The law making rad u (B) into an algebraic k-group comes from the one on rad u (B) Q : it is defined over Q, extends on rad u (B) Z (p) and induces a group law on rad u (B) Fp then on rad u (B) by specialisation. Namely, the situation can be read on the following diagram, the point being to obtain the dotted arrow. In other words the Baker-Campbell-Hausdorff law has Z (p) -integral coefficients:

  and surjective over a non empty open subset of ( n i=1 G i ) ×N . Denote by U the image of this open set under f N . It is open in G as f is open. One first needs to obtain the surjectivity on the whole product of m terms (for m large enough).

  Lemma 4.13 (P. Deligne, [Del14, 2.22]). Let V be the unipotent radical of N red . The action of H on Lie(N red ) = n red left Lie(V ) := v invariant.

  R, we denote by R[t] the algebra of polynomials in t and by the image of t via the projection R[t] → R[t]/(t 2 ) =: R[ ].We associate to G a functor in Lie algebras denoted by Lie(G) and which is the kernel of the following exact sequence:For any y ∈ Lie(G)(R) we denote by e y the image of y in G(R[ ]). In what follows the notation Lie(G)(R) refers both to the kernel of p as well and to its image in G(R[ ]). The Lie-algebra of G is given by the k-algebra Lie(G)(A) and is denoted by Lie(G) := g. According to [DG70, II, §4, n • 4.8, Proposition] when G is smooth or when A is a field and G is locally of finite presentation over A, the equality Lie(G)⊗ A R = Lie(G)(A) ⊗ A R = Lie(G)(R) = Lie(G R) holds true for any A-algebra R (these are sufficient conditions). When the aforementioned equality is satisfied the A-functor Lie(G) is representable by W (g), where for any A-module M and any A-algebra R we set W (M )(R) := M ⊗ A R; (ii) for any A-algebra R we use the additive notation to describe the group law of Lie(G)(R);

  Proposition 3.1 corollary of[Ric17, Lemma 3.3.3]. Let G be a connected reductive group defined over a field k of characteristic p > 0 which is assumed to be pretty good for G. Then the nilpotent scheme N (g) is reduced.Remark 3.2. Pretty good characteristics are those that satisfy S. Riche's (C3) condition in [Ric17].

  and φ is such that (d φ) 0 = λ id with λ ∈ k * . Note that the fact that the restriction φ maps to Lie(Rad U (B)) is actually a consequence of the φ-infinitesimal saturation of the unipotent radical of Borel subgroups (see Definition 4.1 for a definition of this notion as well as Remark 4.2 for a proof of this fact). P. Sobaje attributes the existence of such specific Springer isomorphisms to G.McNinch and D. Testerman (see [MT09, Theorem E]). This can be generalised to any reductive k-group in separably good characteristic. Indeed the properties required for φ are preserved under separable isogenies for G (see[Her13, Corollary 5.5] and [McN05, Proposition 9]

  The subgroup H ⊆ G is maximal and connected of multiplicative type in G. It thus fulfils the same conditions inG t . The quotient G/G t = U is indeed unipotent, thus the subgroup of multiplicative type H intersects U trivially. It is therefore included in G t . If V = 1 then H is a k-torus by induction. Otherwise one has G t = G and if T is a k-torus of G the subgroup H • T ⊂ G is connectedof multiplicative type and contains H so it is equal to H (as H is assumed to be maximal). Finally one actually has T ⊂ H hence G

t ⊂ H so we have shown that H = G t . This in particular implies the smoothness of H which turns out to be a k-torus.

  by what precedes, -connected according to [DG11a, VIB. Corollaire 7.2.1], the torus T being geometrically connected and geometrically reduced. decomposition of n red . Let us first study the positive weight spaces. The group N being generated as a fppf-sheaf by N red and the subgroup of multiplicative type H (whose Lie algebra is toral) the p-nilpotent elements of Lie(N ) are the p-nilpotent elements of Lie(N red ). This being observed, as for any α = 0 the weight space n α has only p-nilpotent elements (because we consider the action of a torus here) the equality n α red := n α ∩ n red = n α is satisfied, whence the desired H-stability. It remains to show that Lie(Z N red (T )) is H-stable. According to Lemma 4.11 the subgroup H normalises Z N red (T ) 0 , thus the stability of Lie(Z N red

Acknowledgements

The author would like to thank Philippe Gille for all the fruitful discussions they had which go beyond the framework of this paper, his availability and his multiple reviews and corrections of this article; Benoît Dejoncheere for his supportive help, his several reviews and useful advice; as well as both reviewers of her PhD manuscript: Anne-Marie Aubert and Vikraman Balaji for their corrections and remarks. Finally many thanks should go to the anonymous referee of this article

Thus E T,J 0 X is actually contained in the identity component of the reduced centraliser. At the Lie algebras level this leads to the following inclusion:

Lie(E T,J 0 X ) ⊆ Lie(Z 0 N red (T )) = Lie(Z N red (T )).

As W is a unipotent subgroup of Z 0 N red (T ) ∼ = T × W the Lie algebra w := Lie(W ) is a restricted p-nil p-subalgebra of Z 0 N red (T ), hence is contained in the reduced sub-scheme X. The latter is the set of p-nilpotent elements of Lie(Z N (T )) so it is contained in the set of all pnilpotent elements of g. This set coincides with rad p (g) by Lemma 2.13, which holds true as either p 3 or if p = 2 the conditions defined in Remark 2.9 ii) are satisfied. As p is not of torsion for G, Corollary 2.1 holds true and allows to embed rad p (g), thus X, into the Lie algebra of the unipotent radical of a Borel subgroup B ⊆ G. Remember that the differential at 0 of the restriction of φ to this subalgebra satisfies (d φ) 0 = id. The group J X being generated by the image of ψ X , this property ensures that the differential at 0 of any φ(tx), for any t ∈ G a and x ∈ X, belongs to j X := Lie(J X ) = Lie(J X ) 0 . In other words one has the following inclusions w ⊆ X ⊆ Lie(J 0 X ). Moreover the inclusion T ⊆ E T,J 0 X induces an inclusion of Lie algebras

As one has Z N red (T ) ∼ = T × W , what precedes leads to the following inclusion:

). As the groups involved here are smooth and connected this equality of Lie algebras lifts to the group level according to [DG70, II, §5 n • 5.5], whence the equality

Recall that it is the subgroup generated by T ⊆ H (which is normal in H) and J 0 X (which is characteristic in J X , see [DG70, II, §5, n • 1.1]). Hence one only needs to show that J X is H-stable. First remark that X is stabilised by H because the latter stabilises Lie(Z N (T )) and the p-nilpotency is preserved by the adjoint action. The G-equivariance of φ (thus its H-equivariance) then allows to conclude: let R be a k-algebra. For any j ∈ J X (R) and h ∈ H(R) there is an fppf-covering S → R such that

and by Yoneda Lemma E T,J 0 X is stable under the H-action.

Lemma 4.12. The restricted p-Lie algebra n red := Lie(N red ) is an ideal of n acted on by H.

Proof. According to the proof of [BDP17, Lemma 2.14] the morphism of k-schemes N red ×H → N is faithfully flat. This being said N appears as the fppf-sheaf generated by N red and H. Thus in order to show that n red is actually N -stable one only needs to show that n red is H-stable . The torus T = H ∩ N red acts on N red , respectively on N , leading to the following decompositions:

and Lie(N ) = Lie(Z N (T ))

where X(T ) * stands for the group of non trivial characters of T . Any factor in the decomposition of Lie(N ) is stable for H as T is normal in H and we need to show that so is any factor of the Likewise, the bracket on n red induces a non-degenerate pairing of n α red and n -α red , and one has the following commutative diagram:

Denote by d the image of the pairing of n α red and n -α red composed with the projection n 0 red → n 0 red /w. According to what precedes this is a line of n 0 red /w. The situation can be summarized in the commutative diagram below:

In other words one has v ±α = ker v ±α → Hom(n ∓α red , d) and v ±α is a sub-representation of the representation defined by the action of H on n red , thus it is H-stable.

Combining Lemmas 4.12 and 4.13 one can show an infinitesimal version of [BDP17, Théorème 2.5], namely: Proposition 4.14. Let G be a reductive group over an algebraically closed field k of characteristic p > 0 which is assumed to be separably good for G. Let φ : N (g) → V(G) be a Springer isomorphism for G. If N ⊆ G is a φ-infinitesimally saturated subgroup, then:

(i) the Lie algebra n red is an ideal of n, (ii) the Lie algebra of the unipotent radical of N red is an ideal of n.

Proof. The first point is provided by Lemma 4.12. The second point follows from a direct application of Lemma 4.13 combined with [BDP17, Lemma 2.14]: the subgroup N being generated as an fppf-sheaf by H and N red , one only needs to show that rad u (N red ) is H-stable. This has been shown by the aforementioned lemma. A reasoning on R[ ]-points for any k-algebra R then leads to obtain that rad u (N red ) is an ideal of n.

Proof of Theorem 1.1

We can now prove Theorem 1.1.

We start by showing that N red is a normal subgroup of N . The latter being generated by H and N red as an fppf-sheaf, one actually needs to show that N red is H-stable. The reasoning follows the proof of Lemma 4.12: we consider the subgroup E Z 0 ,J n α generated by Z 0 := Z 0 N red (T ) and J n α for α ∈ X(T ) * . Recall that the J n α 's are themselves the subgroups generated as fppf-sheaves Hence H is generated as a fppf-sheaf by M and T Ad , whence by M and T as T Ad is a quotient of T .

Integration of some maximal p-nil p-subalgebras g

Let us start with the very specific case which has motivated our interest in the questions studied in this article: assume u ⊆ g to be a restricted p-subalgebra which is the set of p-nilpotent elements of rad(N g (u)). Note that N g (u) is a restricted p-Lie algebra (according to Lemma 6.4 as it derives from an algebraic k-group, namely N G (u)). Moreover u is a restricted p-nil p-subalgebra of g.

Lemma 5.1. Let G be a reductive group over a field k of characteristic p > 0 which is assumed to be separably good for G and let u ⊆ g be a subalgebra. If u is the set of p-nilpotent elements of the radical of its normaliser in g, denoted by N g (u), the subalgebra u is integrable by J u .

Proof. According to Lemma 4.4, there is a unipotent smooth connected subgroup J u ⊂ G such that the inclusion u ⊆ j u := Lie(J u ) holds true. Moreover, as according to Lemma 6.3 one has J u ⊆ N G (J u ) ⊆ N G (j u ), at the Lie algebra level the following inclusions are satisfied:

Assume the inclusion u ⊂ j u to be strict, then u is a proper subalgebra of its normaliser in j u (this is a corollary of Engel Theorem, see for example [Bou71, §4 n • 1 Proposition 3]). In other words one has u N ju (u) := j u ∩ N g (u). But according to Lemma 3.9 the group J u is normalised by

a restricted p-algebra (as it derives from an algebraic group according to Lemma 6.4), -a restricted p-ideal (as the restriction of the p-structure of N g (u) coincides with the one inherited from N Ju (u)), -and even a p-nil p-ideal (as j u is p-nil according to Lemma 2.12).

In particular, it is a solvable ideal of N g (u) whence the inclusion N ju (u) ⊆ rad(N g (u)). To summarize: the set u of p-nilpotent elements of rad(N g (u)) is contained in a p-nil ideal of this radical (namely N ju (u)) hence is equal to the latter. This contradicts the strictness of the inclusion, whence the equality u = j u . This in particular means that there exists a unipotent smooth connected subgroup J u ⊆ G such that Lie(J u ) = u. Thus u is integrable.

Let now h ⊆ g be a subalgebra, and denote by u the p-radical of N g (h). The p-radical of N g (h) being a restricted p-nil p-ideal, the work done in section 4 allows to associate to u a unipotent, smooth, connected subgroup J u ⊂ G.

Lemma 5.2. The subgroup N G (h) normalises J u .

Proof. One only needs to apply verbatim the proof of Lemma 3.9 as by assumption u is an ideal of N g (h).

Lemma 5.3. Let G be a reductive group over a field k of characteristic p > 0 which is assumed to be separably good for G and let h ⊆ g be a subalgebra such that the normaliser N G (h) is φ-infinitesimally saturated. If u := rad p (N g (h)) then the subalgebra u is integrable.

Proof. Recall that according to Lemma 4.4 one has the inclusion u ⊆ j u . Moreover N G (h) being φ-infinitesimally saturated, the group J u is a subgroup of N G (h). At the Lie algebra level this leads to the following inclusions u ⊂ j u ⊆ Lie(N G (h)) = N g (h).

(iii) the A-group functor G acts on Lie(G) as follows: for any A-algebra R the induced morphism is the following:

When G is smooth (in particular when Lie(G) is representable) the G-action on Lie(G) defines a linear representation G → GL(g) (see [DG70, II, §4, n • 4.8, Proposition]).

Centralisers

Lemma 6.1. Let A be a ring and set S = Spec(A). If G is a smooth affine S-group scheme, the equality Lie(Z G (h)) = Z g (h) is satisfied for any subspace h ⊂ g.

Proof. By definition one has:

The last identity can be rewritten as e g e x e -g e -x = e [g,x] = 1 in G(A[ , ]), whence the vanishing of the Lie bracket [g, x] (which is a condition in G(A[ ])). This leads to the following equality:

Remarks 6.2. Let us emphasize some very particular behaviours of the center:

(i) Let Z G (h) red be the reduced part of the centraliser. Even when k is an algebraically closed field, the equality Lie(Z G (h) red ) = Z g (h) is a priori not satisfied (see for example [Jan04, 2.3]). (ii) Let S := Spec(A) be an affine scheme and G be a S-group scheme. Assume Z G to be representable (this condition is in particular satisfied when G is locally free and separated (see [DG70, II, §1, n • 3.6 c), Théorème]). As mentioned in [DG11a, 5.3.3] the algebra Lie(Z G ) := Lie(Z G )(A) is a subalgebra of z g .

According to [DG11b, XII Théorème 4.7 d) and Proposition 4.11] when G is smooth affine of connected fibers and of zero unipotent rank over S, the center of G is the kernel of the adjoint representation Ad : G → GL(g). Under these assumptions the equality Lie(Z G ) = z g holds true. Indeed the following exact sequence of algebraic groups:

induces by derivation an exact sequence (see [DG70, II, §4, n • 1.5]):

The desired equality follows as by definition z g := ker(ad). Let us emphasise that this in particular applies to any reductive S-group G and to any parabolic subgroup P ⊆ G (as any Cartan subgroup of P is a Cartan subgroup of G).

Normalisers

Let S = Spec(A) be an affine scheme and G be a smooth S-group scheme of finite presentation. In what follows H ⊆ G is a closed locally free subgroup. Let us stress out that under these conditions the normaliser N G (H) is representable by a closed group-sub-functor of G according to [DG70, II, §1 n • 3, Théorème 3.6 b)]. Moreover, if H is smooth, the aforementioned theorem provides the representability of N G (Lie(H)) = N G (h) as then Lie(H) is representable by W (h) which is locally free.

Proof. Let us remind that G acts on Lie(G) via the adjoint representation. Namely for any A-algebra R one has:

In particular, for any x ∈ Lie(H)(R), one has:

If now H is smooth then Lie(H) is representable by a A-functor of Lie algebras and one has:

for any A-algebra R.

Lemma 6.4. Let h ⊆ g be a Lie subalgebra. Then one has Lie(N G (h)) = N g (h).

Proof. By definition one has that:

The last relation writes:

Ad(e g )e x = e x e [g,x] = e (x+ [g,x])

), because 2 = 0. In other words one has:

The second part of the following lemma is shown in the proof of [CGP15, Proposition 3.5.7] when k is a separably closed field. The study of the proof shows that one actually only needs H(k) to be Zariski-dense in H for the result to hold true. Let us stress out that this is especially verified when: (i) the field k is perfect and the subgroup H is connected (see [Bor91,Corollary 18.2]), (ii) the field k is infinite and the subgroup H is reductive (see [Bor91,Corollary 18.2]), (iii) the subgroup H is unipotent smooth connected and split. Indeed, under these assumptions H is isomorphic to a product of G a s. These conditions are especially satisfied when k is perfect and H is unipotent smooth and connected (which is a special case of (i)).

Lemma 6.5. Let H ⊆ G be a closed and smooth subgroup. Then:

Proof. The inclusion N G (H) ⊆ N G (Lie(H)) is provided by Lemma 6.3. Combining this together with the equality obtained in Lemma 6.5 one obtains:

As already mentioned, the second assertion of the lemma is shown in [CGP15, Proposition 3.5.7].

Remarks 6.6. The first point of the above lemma provides a strict inclusion of Lie algebras in the general case. This is actually a positive characteristic phenomenon (see [Hum75,10.5 Corollary B] and the remark that follows Corollary B):

(i) when k is of characteristic 0 the aforementioned inclusion is always an equality (see [Hum75, 13. Exercise 1]), (ii) when k is of characteristic p > 0, the inclusion may be strict as shown on the following example (see [Hum75, 10 Exercise 4]): assume p = 2. Set G = SL 2 and consider the Borel subgroup B of upper triangular matrices. The group B being parabolic it is its self normaliser. In other words one has N G (B) = B. However, at the Lie algebra level one has Lie(N G (B)) = g (as k is of characteristic 2). Indeed sl 2 is generated by 1 0 0 1 , 0 1 0 0 , 0 0 1 0 and one only needs to show that the bracket of the following two matrices 0 0 1 0 and 0 1 0 0 still belongs to b. One has: 0 1 0 0 , 0 0 1 0 = id ∈ b.