arXiv subjects

Gerhard Roehrle

Publications and source records attributed to Gerhard Roehrle.

82 records · Page 5Linked to original sources

arXiv2008

The Steinberg Variety and Representations of Reductive Groups

We give an overview of some of the main results in geometric representation theory that have been proved by means of the Steinberg variety. Steinberg's insight was to use such a variety of triples in order to prove a conjectured formula by Grothendieck. The Steinberg variety was later used to give an alternative approach to Springer's representations and played a central role in the proof of the Deligne-Langlands conjecture for Hecke algebras by Kazhdan and Lusztig.

math.RT↗

arXiv2008

Calculating conjugacy classes in Sylow $p$-subgroups of finite Chevalley groups

In earlier work, the first author outlined an algorithm for calculating a parametrization of the conjugacy classes in a Sylow $p$-subgroup $U(q)$ of a finite Chevalley group $G(q)$, valid when $q$ is a power of a good prime for $G(q)$. In this paper we develop this algorithm and discuss an implementation in the computer algebra language {\sf GAP}. Using the resulting computer program we are able to calculate the parametrization of the conjugacy classes in $U(q)$, when $G(q)$ is of rank at most 6. In these cases, we observe that the number of conjugacy classes of $U(q)$ is given by a polynomial in $q$ with integer coefficients.

math.GR↗

arXiv2008

Complete Reducibility and Separability

Let G be a reductive linear algebraic group over an algebraically closed field of characteristic p > 0. A subgroup of G is said to be separable in G if its global and infinitesimal centralizers have the same dimension. We study the interaction between the notion of separability and Serre's concept of G-complete reducibility for subgroups of G. The separability hypothesis appears in many general theorems concerning G-complete reducibility. We demonstrate that many of these results fail without this hypothesis. On the other hand, we prove that if G is a connected reductive group and p is very good for G, then any subgroup of G is separable; we deduce that under these hypotheses on G, a subgroup H of G is G-completely reducible provided the Lie algebra of G is semisimple as an H-module. Recently, Guralnick has proved that if H is a reductive subgroup of G and C is a conjugacy class of G, then the intersection of C and H is a finite union of H-conjugacy classes. For generic p -- when certain extra hypotheses hold, including separability -- this follows from a well-known tangent space argument due to Richardson, but in general, it rests on Lusztig's deep result that a connected reductive group has only finitely many unipotent conjugacy classes. We show that the analogue of Guralnick's result is false if one considers conjugacy classes of n-tuples of elements from H for n > 1.

math.GR↗

arXiv2008

On conjugacy of unipotent elements in finite groups of Lie type

Let $\bfG$ be a connected reductive algebraic group defined over $\F_q$, where $q$ is a power of a prime $p$ that is good for $\bfG$. Let $F$ be the Frobenius morphism associated with the $\FF_q$-structure on $\bfG$ and set $G = \bfG^F$, the fixed point subgroup of $F$. Let $\bfP$ be an $F$-stable parabolic subgroup of $\bfG$ and let $\bfU$ be the unipotent radical of $\bfP$; set $P = \bfP^F$ and $U = \bfU^F$. Let $G_\uni$ be the set of unipotent elements in $G$. In this note we show that the number of conjugacy classes of $U$ in $G_\uni$ is given by a polynomial in $q$ with integer coefficients.

math.GR↗

arXiv2008

Spherical Nilpotent Orbits in Positive Characteristic

Let G be a connected reductive linear algebraic group defined over an algebraically closed field of characteristic p. Assume that p is good for G. In this note we classify all the spherical nilpotent G-orbits in the Lie algebra of G. The classification is the same as in the characteristic zero case obtained by D.I. Panyushev in 1994: for e a nilpotent element in the Lie algebra of G, the G-orbit G.e is spherical if and only if the height of e is at most 3.

math.GR↗

arXiv2007

On cocharacters associated to nilpotent elements of reductive groups

Let G be a connected reductive linear algebraic group defined over an algebraically closed field of characteristic p. Assume that p is good for G. In this note we consider particular classes of connected reductive subgroups H of G and show that the cocharacters of H that are associated to a given nilpotent element e in the Lie algebra of H are precisely the cocharacters of G associated to e that take values in H. In particular, we show that this is the case provided H is a connected reductive subgroup of G of maximal rank; this answers a question posed by J.C. Jantzen.

math.RT↗

arXiv2007

Alperin's Conjecture for Algebraic Groups

We prove analogues for reductive algebraic groups of some results for finite groups due to Knoerr and Robinson which play a central role in their reformulation of Alperin's conjecture for finite groups.

math.GR↗

arXiv2007

Parabolic conjugacy in general linear groups

Let q be a power of a prime and n a positive integer. Let P(q) be a parabolic subgroup of the finite general linear group GL(n,q). We show that the number of P(q)-conjugacy classes in GL(n,q) is, as a function of q, a polynomial in q with integer coefficients. This answers a question of J. Alperin.

math.GR↗

arXiv2007

The orbit structure of Dynkin curves

Let G be a simple algebraic group over an algebraically closed field k; assume that Char k is zero or good for G. Let \cB be the variety of Borel subgroups of G and let e in Lie G be nilpotent. There is a natural action of the centralizer C_G(e) of e in G on the Springer fibre \cB_e = {B' in \cB | e in Lie B'} associated to e. In this paper we consider the case, where e lies in the subregular nilpotent orbit; in this case \cB_e is a Dynkin curve. We give a complete description of the C_G(e)-orbits in \cB_e. In particular, we classify the irreducible components of \cB_e on which C_G(e) acts with finitely many orbits. In an application we obtain a classification of all subregular orbital varieties admitting a finite number of B-orbits for B a fixed Borel subgroup of G.

math.GR↗

arXiv2004

Special involutions and bulky parabolic subgroups in finite Coxeter groups

The conjugacy classes of so-called special involutions parameterize the constituents of the action of a finite Coxeter group on the cohomology of the complement of its complexified hyperplane arrangement. In this note we give a short intrinsic characterisation of special involutions in terms of so-called bulky parabolic subgroups.

math.GR↗