Varieties of elementary subalgebras of maximal dimension for modular Lie algebras

Pevtsova, Julia; Stark, Jim

doi:10.48550/arxiv.1503.01043

Cited by 4 publications

(8 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…However, an old result of Malcev says that in type E 8 the size of any abelian subset of Φ cannot be bigger than 36; see [Ma45]. It is not hard to see that this result of Malcev is still valid in our situation; see [PeS15] for detail. Thus G is not of type E 8 .…”

Section: We First Assume Thatmentioning

confidence: 70%

See 1 more Smart Citation

A modular analogue of Morozov's theorem on maximal subalgebras of simple Lie algebras

Premet

2017

Advances in Mathematics

View full text Add to dashboard Cite

Let G be a simple algebraic group over an algebraically closed field of characteristic p > 0 and suppose that p is a very good prime for G. In this paper we prove that any maximal Lie subalgebra M of g = Lie(G) with rad(M ) = 0 has the form M = Lie(P ) for some maximal parabolic subgroup P of G. This means that Morozov's theorem on maximal subalgebras is valid under mild assumptions on G. We show that such assumptions are necessary by providing a counterexample to Morozov's theorem for groups of type E8 over fields of characteristic 5. Our proof relies on the main results and methods of the classification theory of finite dimensional simple Lie algebras over fields of prime characteristic. 2010 Mathematics Subject Classification. 17B45. Supported by the Leverhulme Trust (Grant RPG-2013-293).Proof. Replacing L by its p-closure in g if need be we may assume that L is a restricted subalgebra of g. We use induction on the dimension of G. Suppose the statement holds for all standard reductive k-groups of dimension ≤ n (this is obviously true when n = 1). Now suppose dim(G) = n + 1. By Engel's theorem, the Lie algebra [L, L] is nilpotent. If [L, L] = 0 then nil(L) = 0. If [L, L] = 0 then L = L s ⊕ L n where L s is a toral subalgebra of g and L n = nil(L). If L = L s then L ⊆ Lie(T ) for some maximal torus T of G; see [Hum67, Theorem 13.3]. So we are done in this case.Thus we may assume that n := nil(L) = 0. Then z(n) = 0. As [L, L] ⊆ nil(L) by our assumption on L, the adjoint action of L induces a representation of the abelian Lie algebra L/[L, L] on z(n). So there exists a nonzero e ∈ z(n) such that [L, e] ⊆ ke. As e is a nilpotent element of g it admits a cocharacter λ : k × → G optimal in the sense of the Kempf-Rousseau theory. Let P be the parabolic subgroup associated with λ and p = Lie(P ). Then p = i≥0 g(λ, i). By [Pre03, Theorem 2.3], one can choose λ in such a way that e ∈ g(λ, 2) and g e ⊆ p. Furthermore, [g(λ, i), e] = g(λ, i + 2) for all i ≥ 0. Taking i = 0 we find h 0 ∈ g(λ, 0) with [h 0 , e] = e. This implies thatBy our induction assumption, the image of L in the Levi subalgebra g(λ, 0) ∼ = p/nil(p) of g is contained in a Borel subalgebra of g(λ, 0), say b. Since the inverse image of b under the canonical homomorphism p ։ g(λ, 0) is a Borel subalgebra of g, this accomplishes the induction step of our proof.2.4. We denote by O min the minimal nonzero nilpotent orbit in g. It consists of all nonzero e ∈ g with the property that [e, [e, g]] = ke. Corollary 2.3. Let M be a maximal Lie subalgebra of g and denote by N the nilradical of M . Suppose N = 0 and let R be any Lie subalgebra of M whose derived ideal [R, R] consists of nilpotent elements of g. Then the centraliser c g (N ) is an ideal of M and there exists e ∈ c g (N ) ∩ O min such that [R, e] ⊆ ke. Proof. Since N is nilpotent we have that 0 = z(N ) ⊆ c g (N ). Therefore, c g (N ) is a nonzero Lie subalgebra of g. If x ∈ M , c ∈ c g (N ) and n ∈ N then [[x, c], n] = [x, [c, n]] − [c, [x, n]] = 0. So [M, c g (N )] ⊆ c g (N ) which implies that M := M + ...

show abstract

Section: We First Assume Thatmentioning

confidence: 70%

“…≥ 44 and if p = 7 then dim S (p−1) ≥ 14. Applying [Ma45] and [PeS15] and arguing as in (3.21) we now observe that cases (v) and (vi) of Proposition 2.7 are impossible.…”

Section: [P]mentioning

confidence: 90%

A modular analogue of Morozov's theorem on maximal subalgebras of simple Lie algebras

Premet

2017

Advances in Mathematics

View full text Add to dashboard Cite

show abstract

“…They also exist for any simple group G (not necessarily simply connected) so long as the surjective morphism G sc → G from the simply-connected cover is separable. In such a case, we follow Pevtsova and Stark in calling p a separably good prime for the root datum of G [14]. The only situation in which good does not always imply separably good is in type A.…”

Section: Notationmentioning

confidence: 99%

Unipotent elements and generalized exponential maps

Sobaje

2018

Advances in Mathematics

View full text Add to dashboard Cite

Let G be a simple and simply connected algebraic group over an algebraically closed field k of characteristic p > 0. Assume that p is good for the root system of G and that the covering map Gsc → G is separable. In previous work we proved the existence of a (not necessarily unique) Springer isomorphism for G that behaved like the exponential map on the resticted nullcone of G.In the present paper we give a formal definition of these maps, which we call 'generalized exponential maps.' We provide an explicit and uniform construction of such maps for all root systems, demonstrate their existence over Z (p) , and give a complete parameterization of all such maps. One application is that this gives a uniform approach to dealing with the "saturation problem" for a unipotent element u in G, providing a new proof of the known result that u lies inside a subgroup of CG(u) that is isomorphic to a truncated Witt group. We also develop a number of other explicit and new computations for g and for G. This paper grew out of an attempt to answer a series of questions posed to us by P. Deligne, who also contributed several of the new ideas that appear here.

show abstract

“…It follows that C nil (g) is irreducible when g is of type A n , in which case the same is true of E(2, g) if p ≥ n + 1. Let rk p (g) := max{r ∈ N 0 ; E(r, g) = ∅} be the p-rank of g. This rank of the restricted Lie algebra of a simple algebraic group was determined earlier in [4] and in recent work by Pevtsova-Stark in [12]. Irreducible components of E(rk p (g), g) for these Lie algebras were calculated case by case and were shown in [12,Table 4].…”

Section: Introductionmentioning

confidence: 99%

“…Under the standard assumption one can show that g is a Lie algebra isomorphic to sl n (k) such that p does not divide n. In view of [11,Lemma 2.2], the determination of E(rk p (g) − 1, g) can be reduced to the unipotent case E(rk p (g) − 1, u) G. Let Φ be an irreducible root system with positive roots Φ + . Recall from [12] that two positive roots commute if their sum is not a root. We define the set…”

Section: Introductionmentioning

confidence: 99%

Varieties of elementary subalgebras of submaximal rank in type A

Pan¹

2017

Preprint

View full text Add to dashboard Cite

Let G be a connected simple algebraic group over an algebraically closed field k of characteristic p > 0, and g := Lie(G). We additionally assume that G is standard and is of type An. Motivated by the investigation of the geometric properties of the varieties E(r, g) of r-dimensional elementary subalgebras of a restricted Lie algebra g, we will show in this article the irreducible components of E(rkp(g) − 1, g) when rkp(g) is the maximal dimension of an elementary subalgebra of g.

show abstract

Varieties of elementary subalgebras of maximal dimension for modular Lie algebras

Cited by 4 publications

References 0 publications

A modular analogue of Morozov's theorem on maximal subalgebras of simple Lie algebras

A modular analogue of Morozov's theorem on maximal subalgebras of simple Lie algebras

Unipotent elements and generalized exponential maps

Varieties of elementary subalgebras of submaximal rank in type A

Contact Info

Product

Resources

About