Showing 1–8 of 8 results for author: Herpel, S

Cocharacter-closure and spherical buildings

Authors: Michael Bate, Sebastian Herpel, Benjamin Martin, Gerhard Roehrle

Abstract: Let $k$ be a field, let $G$ be a reductive $k$-group and $V$ an affine $k$-variety on which $G$ acts. In this note we continue our study of the notion of cocharacter-closed $G(k)$-orbits in $V$. In earlier work we used a rationality condition on the point stabilizer of a $G$-orbit to prove Galois ascent/descent and Levi ascent/descent results concerning cocharacter-closure for the corresponding… ▽ More Let $k$ be a field, let $G$ be a reductive $k$-group and $V$ an affine $k$-variety on which $G$ acts. In this note we continue our study of the notion of cocharacter-closed $G(k)$-orbits in $V$. In earlier work we used a rationality condition on the point stabilizer of a $G$-orbit to prove Galois ascent/descent and Levi ascent/descent results concerning cocharacter-closure for the corresponding $G(k)$-orbit in $V$. In the present paper we employ building-theoretic techniques to derive analogous results. △ Less

Submitted 28 September, 2015; v1 submitted 1 June, 2015; originally announced June 2015.

Comments: 16 pages; v 2 17 pages, exposition improved; to appear in the Robert Steinberg Memorial Issue of the Pacific Journal of Mathematics

MSC Class: 20G15; 14L24

Cocharacter-closure and the rational Hilbert-Mumford Theorem

Authors: Michael Bate, Sebastian Herpel, Benjamin Martin, Gerhard Roehrle

Abstract: For a field k, let G be a reductive k-group and V an affine k-variety on which G acts. Using the notion of cocharacter-closed G(k)-orbits in V, we prove a rational version of the celebrated Hilbert-Mumford Theorem from geometric invariant theory. We initiate a study of applications stemming from this rationality tool. A number of examples are discussed to illustrate the concept of cocharacter-clos… ▽ More For a field k, let G be a reductive k-group and V an affine k-variety on which G acts. Using the notion of cocharacter-closed G(k)-orbits in V, we prove a rational version of the celebrated Hilbert-Mumford Theorem from geometric invariant theory. We initiate a study of applications stemming from this rationality tool. A number of examples are discussed to illustrate the concept of cocharacter-closure and to highlight how it differs from the usual Zariski-closure. When k is perfect, we give a criterion in terms of closed orbits for G to be k-anisotropic, answering a question of Borel. △ Less

Submitted 3 October, 2016; v1 submitted 28 November, 2014; originally announced November 2014.

Comments: 33 pages, v. 2 reference added, slight changes, v. 3 minor changes, v. 4 added new Thm 1.6 characterizing k-anisotropic reductive groups in terms of cocharacter-closure; v. 5 final version, further small changes; to appear in Math. Z

MSC Class: 20G15; 14L24

Maximal subalgebras of Cartan type in the exceptional Lie algebras

Authors: Sebastian Herpel, David I. Stewart

Abstract: In this paper we initiate the study of the maximal subalgebras of exceptional simple classical Lie algebras \g over algebraically closed fields k of positive characteristic p, such that the prime characteristic is good for \g. In this paper we deal with what is surely the most unnatural case; that is, where the maximal subalgebra in question is a simple subalgebra of non-classical type. We show th… ▽ More In this paper we initiate the study of the maximal subalgebras of exceptional simple classical Lie algebras \g over algebraically closed fields k of positive characteristic p, such that the prime characteristic is good for \g. In this paper we deal with what is surely the most unnatural case; that is, where the maximal subalgebra in question is a simple subalgebra of non-classical type. We show that only the first Witt algebra can occur as a subalgebra of \g and give explicit details on when it may be maximal in \g. △ Less

Submitted 3 November, 2014; v1 submitted 12 September, 2014; originally announced September 2014.

Comments: 32 pages; previous version missed two Hamiltonian cases

On the smoothness of normalisers and the subalgebra structure of modular Lie algebras

Authors: Sebastian Herpel, David I. Stewart

Abstract: We provide results on the smoothness of normalisers in connected reductive algebraic groups $G$ over fields $k$ of positive characteristic $p$. Specifically we we give bounds on $p$ which guarantee that normalisers of subalgebras of $\mathfrak{g}$ in $G$ are smooth, i.e.\ so that the Lie algebras of these normalisers coincide with the infinitesimal normalisers. One of our main tools is to exploit… ▽ More We provide results on the smoothness of normalisers in connected reductive algebraic groups $G$ over fields $k$ of positive characteristic $p$. Specifically we we give bounds on $p$ which guarantee that normalisers of subalgebras of $\mathfrak{g}$ in $G$ are smooth, i.e.\ so that the Lie algebras of these normalisers coincide with the infinitesimal normalisers. One of our main tools is to exploit cohomology vanishing of small dimensional modules. Along the way, we obtain complete reducibility results for small dimensional modules in the spirit of similar results due to Jantzen, Guralnick, Serre and Bendel--Nakano--Pillen. △ Less

Submitted 5 January, 2016; v1 submitted 25 February, 2014; originally announced February 2014.

Comments: 31 pages. Final version to appear in Doc. Math

MSC Class: 17B56; 20G07; 20G10

G-complete reducibility in non-connected groups

Authors: Michael Bate, Sebastian Herpel, Benjamin Martin, Gerhard Roehrle

Abstract: In this paper we present an algorithm for determining whether a subgroup H of a non-connected reductive group G is G-completely reducible. The algorithm consists of a series of reductions; at each step, we perform operations involving connected groups, such as checking whether a certain subgroup of G^0 is G^0 -cr. This essentially reduces the problem of determining G-complete reducibility to the c… ▽ More In this paper we present an algorithm for determining whether a subgroup H of a non-connected reductive group G is G-completely reducible. The algorithm consists of a series of reductions; at each step, we perform operations involving connected groups, such as checking whether a certain subgroup of G^0 is G^0 -cr. This essentially reduces the problem of determining G-complete reducibility to the connected case. △ Less

Submitted 5 March, 2013; originally announced March 2013.

Comments: 14 pages

MSC Class: 20G15

Complete reducibility and Steinberg endomorphisms

Authors: Sebastian Herpel, Gerhard Roehrle

Abstract: Let G be a connected reductive algebraic group defined over an algebraically closed field of positive characteristic. We study a generalization of the notion of G-complete reducibility in the context of Steinberg endomorphisms of G. Our main theorem extends a special case of a rationality result in this setting. Let G be a connected reductive algebraic group defined over an algebraically closed field of positive characteristic. We study a generalization of the notion of G-complete reducibility in the context of Steinberg endomorphisms of G. Our main theorem extends a special case of a rationality result in this setting. △ Less

Submitted 27 December, 2010; originally announced December 2010.

MSC Class: 20G15

$G$-complete reducibility and semisimple modules

Authors: M. Bate, S. Herpel, B. Martin, G. Roehrle

Abstract: Let $G$ be a connected reductive algebraic group defined over an algebraically closed field %$k$ of characteristic $p > 0$. Our first aim in this note is to give concise and uniform proofs for two fundamental and deep results in the context of Serre's notion of $G$-complete reducibility, at the cost of less favourable bounds. Here are some special cases of these results: Suppose that the index… ▽ More Let $G$ be a connected reductive algebraic group defined over an algebraically closed field %$k$ of characteristic $p > 0$. Our first aim in this note is to give concise and uniform proofs for two fundamental and deep results in the context of Serre's notion of $G$-complete reducibility, at the cost of less favourable bounds. Here are some special cases of these results: Suppose that the index $(H:H^\circ)$ is prime to $p$ and that $p > 2\dim V-2$ for some faithful $G$-module $V$. Then the following hold: (i) $V$ is a semisimple $H$-module if and only if $H$ is $G$-completely reducible; (ii) $H^\circ$ is reductive if and only if $H$ is $G$-completely reducible. We also discuss two new related results: (i) if $p \ge \dim V$ for some $G$-module $V$ and $H$ is a $G$-completely reducible subgroup of $G$, then $V$ is a semisimple $H$-module -- this generalizes Jantzen's semisimplicity theorem (which is the case $H = G$); (ii) if $H$ acts semisimply on $V \otimes V^*$ for some faithful $G$-module $V$, then $H$ is $G$-completely reducible. △ Less

Submitted 28 March, 2011; v1 submitted 9 November, 2010; originally announced November 2010.

Comments: 9 pages

MSC Class: 20G15 (14L24)

On the Smoothness of Centralizers in Reductive Groups

Authors: Sebastian Herpel

Abstract: Let G be a connected reductive algebraic group over an algebraically closed field k. In a recent paper, Bate, Martin, Röhrle and Tange show that every (smooth) subgroup of G is separable provided that the characteristic of k is very good for G. Here separability of a subgroup means that its scheme-theoretic centralizer in G is smooth. Serre suggested extending this result to arbitrary, possibly no… ▽ More Let G be a connected reductive algebraic group over an algebraically closed field k. In a recent paper, Bate, Martin, Röhrle and Tange show that every (smooth) subgroup of G is separable provided that the characteristic of k is very good for G. Here separability of a subgroup means that its scheme-theoretic centralizer in G is smooth. Serre suggested extending this result to arbitrary, possibly non-smooth, subgroup schemes of G. The aim of this note is to prove this more general result. Moreover, we provide a condition on the characteristic of k that is necessary and sufficient for the smoothness of all centralizers in G. We finally relate this condition to other standard hypotheses on connected reductive groups. △ Less

Submitted 16 December, 2011; v1 submitted 2 September, 2010; originally announced September 2010.

Comments: 18 pages, final version, to appear in Transactions of the AMS