Showing 1–34 of 34 results for author: Goodwin, S

Monogamous subvarieties of the nilpotent cone

Authors: Simon M. Goodwin, Rachel Pengelly, David I. Stewart, Adam R. Thomas

Abstract: Let $G$ be a reductive algebraic group over an algebraically closed field $k$ of prime characteristic not $2$, whose Lie algebra is denoted $\mathfrak{g}$. We call a subvariety $\mathfrak{X}$ of the nilpotent cone $N \subset \mathfrak{g}$ monogamous if for every $e\in \mathfrak{X}$, the $\mathfrak{sl}_2$-triples $(e,h,f)$ with $f\in \mathfrak{X}$ are conjugate under the centraliser $C_G(e)$. Build… ▽ More Let $G$ be a reductive algebraic group over an algebraically closed field $k$ of prime characteristic not $2$, whose Lie algebra is denoted $\mathfrak{g}$. We call a subvariety $\mathfrak{X}$ of the nilpotent cone $N \subset \mathfrak{g}$ monogamous if for every $e\in \mathfrak{X}$, the $\mathfrak{sl}_2$-triples $(e,h,f)$ with $f\in \mathfrak{X}$ are conjugate under the centraliser $C_G(e)$. Building on work by the first two authors, we show there is a unique maximal closed $G$-stable monogamous subvariety $V \subset N$ and that it is an orbit closure, hence irreducible. We show that $V$ can also be characterised in terms of Serre's $G$-complete reducibility. △ Less

Submitted 7 November, 2024; v1 submitted 28 June, 2024; originally announced June 2024.

Comments: 16 pages

MSC Class: 17B45 (Primary) 17B50 (Secondary)

Journal ref: Pacific J. Math. 336 (2025) 161-180

On induced completely prime primitive ideals in enveloping algebras of classical Lie algebras

Authors: Simon M. Goodwin, Lewis Topley, Matthew Westaway

Abstract: A distinguished family of completely prime primitive ideals in the universal enveloping algebra of a reductive Lie algebra ${\mathfrak g}$ over ${\mathbb C}$ are those ideals constructed from one-dimensional representations of finite $W$-algebras. We refer to these ideals as Losev--Premet ideals. For ${\mathfrak g}$ simple of classical type, we prove that for a Losev-Premet ideal $I$ in… ▽ More A distinguished family of completely prime primitive ideals in the universal enveloping algebra of a reductive Lie algebra ${\mathfrak g}$ over ${\mathbb C}$ are those ideals constructed from one-dimensional representations of finite $W$-algebras. We refer to these ideals as Losev--Premet ideals. For ${\mathfrak g}$ simple of classical type, we prove that for a Losev-Premet ideal $I$ in $U({\mathfrak g})$, there exists a Losev-Premet ideal $I_0$ for a certain Levi subalgebra ${\mathfrak g}_0$ of ${\mathfrak g}$ such that associated variety of $I_0$ is the closure of a rigid nilpotent orbit in ${\mathfrak g}_0$ and $I$ is obtained from $I_0$ by parabolic induction. This is deduced from the corresponding statement about one-dimensional representations of finite $W$-algebras. △ Less

Submitted 4 December, 2023; v1 submitted 17 November, 2023; originally announced November 2023.

Comments: 24 pages

MSC Class: 17B35 (Primary); 16D60; 17B08; 17B10 (Secondary)

On $\mathfrak{sl}_2$-triples for classical algebraic groups in positive characteristic

Authors: Simon M. Goodwin, Rachel Pengelly

Abstract: Let $k$ be an algebraically closed field of characteristic $p > 2$, let $n \in \mathbb Z_{>0}$, and take $G$ to be one of the classical algebraic groups $\mathrm{GL}_n(k)$, $\mathrm{SL}_n(k)$, $\mathrm{Sp}_n(k)$, $\mathrm O_n(k)$ or $\mathrm{SO}_n(k)$, with $\mathfrak g = \operatorname{Lie} G$. We determine the maximal $G$-stable closed subvariety $\mathcal V$ of the nilpotent cone $\mathcal N$ of… ▽ More Let $k$ be an algebraically closed field of characteristic $p > 2$, let $n \in \mathbb Z_{>0}$, and take $G$ to be one of the classical algebraic groups $\mathrm{GL}_n(k)$, $\mathrm{SL}_n(k)$, $\mathrm{Sp}_n(k)$, $\mathrm O_n(k)$ or $\mathrm{SO}_n(k)$, with $\mathfrak g = \operatorname{Lie} G$. We determine the maximal $G$-stable closed subvariety $\mathcal V$ of the nilpotent cone $\mathcal N$ of $\mathfrak g$ such that the $G$-orbits in $\mathcal V$ are in bijection with the $G$-orbits of $\mathfrak{sl}_2$-triples $(e,h,f)$ with $e,f \in \mathcal V$. This result determines to what extent the theorems of Jacobson--Morozov and Kostant on $\mathfrak{sl}_2$-triples hold for classical algebraic groups over an algebraically closed field of "small" odd characteristic. △ Less

Submitted 16 March, 2022; v1 submitted 9 August, 2021; originally announced August 2021.

Comments: 20 pages, minor changes

MSC Class: 17B50 (Primary) 17B10; 17B45 (Secondary)

Restricted shifted Yangians and restricted finite $W$-algebras

Authors: Simon M. Goodwin, Lewis Topley

Abstract: We study the truncated shifted Yangian $Y_{n,l}(σ)$ over an algebraically closed field $\mathbb{k}$ of characteristic $p > 0$, which is known to be isomorphic to the finite $W$-algebra $U(\mathfrak{g}, e)$ associated to a corresponding nilpotent element $e\in \mathfrak{g} = \mathfrak{gl}_N(\mathbb{k})$. We obtain an explicit description of the centre of $Y_{n,l}(σ)$, showing that it is generated b… ▽ More We study the truncated shifted Yangian $Y_{n,l}(σ)$ over an algebraically closed field $\mathbb{k}$ of characteristic $p > 0$, which is known to be isomorphic to the finite $W$-algebra $U(\mathfrak{g}, e)$ associated to a corresponding nilpotent element $e\in \mathfrak{g} = \mathfrak{gl}_N(\mathbb{k})$. We obtain an explicit description of the centre of $Y_{n,l}(σ)$, showing that it is generated by its Harish-Chandra centre and its $p$-centre. We define $Y_{n,l}^{[p]}(σ)$ to be the quotient of $Y_{n,l}(σ)$ by the ideal generated by the kernel of trivial character of its $p$-centre. Our main theorem states that $Y_{n,l}^{[p]}(σ)$ is isomorphic to the restricted finite $W$-algebra $U^{[p]}(\mathfrak{g},e)$. As a consequence we obtain an explicit presentation of this restricted $W$-algebra. △ Less

Submitted 7 March, 2019; originally announced March 2019.

Comments: 38 pages. Comments welcome

MSC Class: 17B10; 17B37

Minimal dimensional representations of reduced enveloping algebras for $\mathfrak{gl}_n$

Authors: Simon M. Goodwin, Lewis Topley

Abstract: Let $\mathfrak g = \mathfrak{gl}_N(k)$, where $k$ is an algebraically closed field of characteristic $p > 0$, and $N \in \mathbb Z_{\ge 1}$. Let $χ\in \mathfrak g^*$ and denote by $U_χ(\mathfrak g)$ the corresponding reduced enveloping algebra. The Kac--Weisfeiler conjecture, which was proved by Premet, asserts that any finite dimensional $U_χ(\mathfrak g)$-module has dimension divisible by… ▽ More Let $\mathfrak g = \mathfrak{gl}_N(k)$, where $k$ is an algebraically closed field of characteristic $p > 0$, and $N \in \mathbb Z_{\ge 1}$. Let $χ\in \mathfrak g^*$ and denote by $U_χ(\mathfrak g)$ the corresponding reduced enveloping algebra. The Kac--Weisfeiler conjecture, which was proved by Premet, asserts that any finite dimensional $U_χ(\mathfrak g)$-module has dimension divisible by $p^{d_χ}$, where $d_χ$ is half the dimension of the coadjoint orbit of $χ$. Our main theorem gives a classification of $U_χ(\mathfrak g)$-modules of dimension $p^{d_χ}$. As a consequence, we deduce that they are all parabolically induced from a 1-dimensional module for $U_0(\mathfrak h)$ for a certain Levi subalgebra $\mathfrak h$ of $\mathfrak g$; we view this as a modular analogue of Mœglin's theorem on completely primitive ideals in $U(\mathfrak{gl}_N(\mathbb C))$. To obtain these results, we reduce to the case $χ$ is nilpotent, and then classify the 1-dimensional modules for the corresponding restricted $W$-algebra. △ Less

Submitted 12 April, 2019; v1 submitted 3 May, 2018; originally announced May 2018.

Comments: 24 pages, minor changes, to appear in Compositio Mathematica

Journal ref: Compositio Math. 155 (2019) 1594-1617

The modality of a Borel subgroup in a simple algebraic group of type $E_8$

Authors: Simon Goodwin, Peter Mosch, Gerhard Roehrle

Abstract: Let $G$ be a simple algebraic group over an algebraically closed field $k$, where $\mathrm{char}\, k$ is either 0 or a good prime for $G$. We consider the modality $\mathrm{mod}(B : \mathfrak u)$ of the action of a Borel subgroup $B$ of $G$ on the Lie algebra $\mathfrak u$ of the unipotent radical of $B$, and report on computer calculations used to show that $\mathrm{mod}(B:\mathfrak u) = 20$, whe… ▽ More Let $G$ be a simple algebraic group over an algebraically closed field $k$, where $\mathrm{char}\, k$ is either 0 or a good prime for $G$. We consider the modality $\mathrm{mod}(B : \mathfrak u)$ of the action of a Borel subgroup $B$ of $G$ on the Lie algebra $\mathfrak u$ of the unipotent radical of $B$, and report on computer calculations used to show that $\mathrm{mod}(B:\mathfrak u) = 20$, when $G$ is of type $\mathrm E_8$. This completes the determination of the values for $\mathrm{mod}(B:\mathfrak u)$ for $G$ of exceptional type. △ Less

Submitted 9 February, 2018; originally announced February 2018.

Comments: 3 pages

MSC Class: 20G1; 14L24

On the variety of 1-dimensional representations of finite $W$-algebras in low rank

Authors: Jonathan Brown, Simon M. Goodwin

Abstract: Let $\mathfrak g$ be a simple Lie algebra over $\mathbb C$ and let $e \in \mathfrak g$ be nilpotent. We consider the finite $W$-algebra $U(\mathfrak g,e)$ associated to $e$ and the problem of determining the variety $\mathcal E(\mathfrak g,e)$ of 1-dimensional representations of $U(\mathfrak g,e)$. For $\mathfrak g$ of low rank, we report on computer calculations that have been used to determine t… ▽ More Let $\mathfrak g$ be a simple Lie algebra over $\mathbb C$ and let $e \in \mathfrak g$ be nilpotent. We consider the finite $W$-algebra $U(\mathfrak g,e)$ associated to $e$ and the problem of determining the variety $\mathcal E(\mathfrak g,e)$ of 1-dimensional representations of $U(\mathfrak g,e)$. For $\mathfrak g$ of low rank, we report on computer calculations that have been used to determine the structure of $\mathcal E(\mathfrak g,e)$, and the action of the component group $Γ_e$ of the centralizer of $e$ on $\mathcal E(\mathfrak g,e)$. As a consequence, we provide two examples where the nilpotent orbit of $e$ is induced, but there is a 1-dimensional $Γ_e$-stable $U(\mathfrak g,e)$-module which is not induced via Losev's parabolic induction functor. In turn this gives examples where there is a "non-induced" multiplicity free primitive ideal of $U(\mathfrak g)$. △ Less

Submitted 29 August, 2017; originally announced August 2017.

Comments: 13 pages

Modular finite $W$-algebras

Authors: Simon M. Goodwin, Lewis W. Topley

Abstract: Let $k$ be an algebraically closed field of characteristic $p > 0$ and let $G$ be a connected reductive algebraic group over $k$. Under some standard hypothesis on $G$, we give a direct approach to the finite $W$-algebra $U(\mathfrak g,e)$ associated to a nilpotent element $e \in \mathfrak g = \operatorname{Lie} G$. We prove a PBW theorem and deduce a number of consequences, then move on to define… ▽ More Let $k$ be an algebraically closed field of characteristic $p > 0$ and let $G$ be a connected reductive algebraic group over $k$. Under some standard hypothesis on $G$, we give a direct approach to the finite $W$-algebra $U(\mathfrak g,e)$ associated to a nilpotent element $e \in \mathfrak g = \operatorname{Lie} G$. We prove a PBW theorem and deduce a number of consequences, then move on to define and study the $p$-centre of $U(\mathfrak g,e)$, which allows us to define reduced finite $W$-algebras $U_η(\mathfrak g,e)$ and we verify that they coincide with those previously appearing in the work of Premet. Finally, we prove a modular version of Skryabin's equivalence of categories, generalizing recent work of the second author. △ Less

Submitted 3 November, 2017; v1 submitted 17 May, 2017; originally announced May 2017.

Comments: 31 pages, minor changes

Whittaker coinvariants for $\mathrm{GL}(m|n)$

Authors: Jonathan Brundan, Simon M. Goodwin

Abstract: Let $W_{m|n}$ be the (finite) $W$-algebra attached to the principal nilpotent orbit in the general linear Lie superalgebra $\mathfrak{gl}_{m|n}(\mathbb{C})$. In this paper we study the {\em Whittaker coinvariants functor}, which is an exact functor from category $\mathcal O$ for $\mathfrak{gl}_{m|n}(\mathbb{C})$ to a certain category of finite-dimensional modules over $W_{m|n}$. We show that this… ▽ More Let $W_{m|n}$ be the (finite) $W$-algebra attached to the principal nilpotent orbit in the general linear Lie superalgebra $\mathfrak{gl}_{m|n}(\mathbb{C})$. In this paper we study the {\em Whittaker coinvariants functor}, which is an exact functor from category $\mathcal O$ for $\mathfrak{gl}_{m|n}(\mathbb{C})$ to a certain category of finite-dimensional modules over $W_{m|n}$. We show that this functor has properties similar to Soergel's functor $\mathbb V$ in the setting of category $\mathcal O$ for a semisimple Lie algebra. We also use it to compute the center of $W_{m|n}$ explicitly, and deduce some consequences for the classification of blocks of $\mathcal O$ up to Morita/derived equivalence. △ Less

Submitted 15 February, 2019; v1 submitted 24 December, 2016; originally announced December 2016.

Comments: 58 pages, minor changes

Journal ref: Adv. Math. 347 (2019), 273-339

On commuting varieties of parabolic subalgebras

Authors: Russell Goddard, Simon M. Goodwin

Abstract: Let $G$ be a connected reductive algebraic group over an algebraically closed field $k$, and assume that the characteristic of $k$ is zero or a pretty good prime for $G$. Let $P$ be a parabolic subgroup of $G$ and let $\mathfrak p$ be the Lie algebra of $P$. We consider the commuting variety $\mathcal C(\mathfrak p) = \{(X,Y) \in \mathfrak p \times \mathfrak p \mid [X,Y] = 0\}$. Our main theorem g… ▽ More Let $G$ be a connected reductive algebraic group over an algebraically closed field $k$, and assume that the characteristic of $k$ is zero or a pretty good prime for $G$. Let $P$ be a parabolic subgroup of $G$ and let $\mathfrak p$ be the Lie algebra of $P$. We consider the commuting variety $\mathcal C(\mathfrak p) = \{(X,Y) \in \mathfrak p \times \mathfrak p \mid [X,Y] = 0\}$. Our main theorem gives a necessary and sufficient condition for irreducibility of $\mathcal C(\mathfrak p)$ in terms of the modality of the adjoint action of $P$ on the nilpotent variety of $\mathfrak p$. As a consequence, for the case $P = B$ a Borel subgroup of $G$, we give a classification of when $\mathcal C(\mathfrak b)$ is irreducible; this builds on a partial classification given by Keeton. Further, in cases where $\mathcal C(\mathfrak p)$ is irreducible, we consider whether $\mathcal C(\mathfrak p)$ is a normal variety. In particular, this leads to a classification of when $\mathcal C(\mathfrak b)$ is normal. △ Less

Submitted 22 March, 2017; v1 submitted 7 June, 2016; originally announced June 2016.

Comments: 19 pages; minor updates

Constructing characters of Sylow $p$-subgroups of finite Chevalley groups

Authors: Simon M. Goodwin, Tung Le, Kay Magaard, Alessandro Paolini

Abstract: Let $q$ be a power of a prime $p$, let $G$ be a finite Chevalley group over $\mathbb{F}_q$ and let $U$ be a Sylow $p$-subgroup of $G$; we assume that $p$ is not a very bad prime for $G$. We explain a procedure of reduction of irreducible complex characters of $U$, which leads to an algorithm whose goal is to obtain a parametrization of the irreducible characters of $U$ along with a means to constr… ▽ More Let $q$ be a power of a prime $p$, let $G$ be a finite Chevalley group over $\mathbb{F}_q$ and let $U$ be a Sylow $p$-subgroup of $G$; we assume that $p$ is not a very bad prime for $G$. We explain a procedure of reduction of irreducible complex characters of $U$, which leads to an algorithm whose goal is to obtain a parametrization of the irreducible characters of $U$ along with a means to construct these characters as induced characters. A focus in this paper is determining the parametrization when $G$ is of type $\mathrm{F}_4$, where we observe that the parametrization is "uniform" over good primes $p > 3$, but differs for the bad prime $p = 3$. We also explain how it has been applied for all groups of rank $4$ or less. △ Less

Submitted 17 August, 2016; v1 submitted 8 December, 2015; originally announced December 2015.

Comments: 38 pages

The generic character table of a Sylow $p$-subgroup of a finite Chevalley group of type $D_4$

Authors: Simon M. Goodwin, Tung Le, Kay Magaard

Abstract: Let $U$ be a Sylow $p$-subgroup of the finite Chevalley group of type $D_4$ over the field of $q$ elements, where $q$ is a power of a prime $p$. We describe a construction of the generic character table of $U$. Let $U$ be a Sylow $p$-subgroup of the finite Chevalley group of type $D_4$ over the field of $q$ elements, where $q$ is a power of a prime $p$. We describe a construction of the generic character table of $U$. △ Less

Submitted 10 February, 2017; v1 submitted 27 August, 2015; originally announced August 2015.

On the coadjoint orbits of maximal unipotent subgroups of reductive groups

Authors: Simon M. Goodwin, Peter Mosch, Gerhard Roehrle

Abstract: Let G be a simple algebraic group defined over an algebraically closed field of characteristic 0 or a good prime for G. Let U be a maximal unipotent subgroup of G and \u its Lie algebra. We prove the separability of orbit maps and the connectedness of centralizers for the coadjoint action of U on (certain quotients of) the dual \u* of \u. This leads to a method to give a parametrization of the coa… ▽ More Let G be a simple algebraic group defined over an algebraically closed field of characteristic 0 or a good prime for G. Let U be a maximal unipotent subgroup of G and \u its Lie algebra. We prove the separability of orbit maps and the connectedness of centralizers for the coadjoint action of U on (certain quotients of) the dual \u* of \u. This leads to a method to give a parametrization of the coadjoint orbits in terms of so-called minimal representatives which form a disjoint union of quasi-affine varieties. Moreover, we obtain an algorithm to explicitly calculate this parametrization which has been used for G of rank at most 8, except E8. When G is defined and split over the field of q elements, for q the power of a good prime for G, this algorithmic parametrization is used to calculate the number k(U(q), \u*(q)) of coadjoint orbits of U(q) on \u*(q). Since k(U(q), \u*(q)) coincides with the number k(U(q)) of conjugacy classes in U(q), these calculations can be viewed as an extension of the results obtained in our earlier paper. In each case considered here there is a polynomial h(t) with integer coefficients such that for every such q we have k(U(q)) = h(q). △ Less

Submitted 26 January, 2015; v1 submitted 16 September, 2014; originally announced September 2014.

Comments: 14 pages; v2 23 pages; to appear in Transformation Groups

MSC Class: 20G40; 20E45

Calculating conjugacy classes in Sylow p-subgroups of finite Chevalley groups of rank six and seven

Authors: Simon M. Goodwin, Peter Mosch, Gerhard Roehrle

Abstract: Let G(q) be a finite Chevalley group, where q is a power of a good prime p, and let U(q) be a Sylow p-subgroup of G(q). Then a generalized version of a conjecture of Higman asserts that the number k(U(q)) of conjugacy classes in U(q) is given by a polynomial in q with integer coefficients. In an earlier paper, the first and the third authors developed an algorithm to calculate the values of k(U(q)… ▽ More Let G(q) be a finite Chevalley group, where q is a power of a good prime p, and let U(q) be a Sylow p-subgroup of G(q). Then a generalized version of a conjecture of Higman asserts that the number k(U(q)) of conjugacy classes in U(q) is given by a polynomial in q with integer coefficients. In an earlier paper, the first and the third authors developed an algorithm to calculate the values of k(U(q)). By implementing it into a computer program using GAP, they were able to calculate k(U(q)) for G of rank at most 5, thereby proving that for these cases k(U(q)) is given by a polynomial in q. In this paper we present some refinements and improvements of the algorithm that allow us to calculate the values of k(U(q)) for finite Chevalley groups of rank six and seven, except E_7. We observe that k(U(q)) is a polynomial, so that the generalized Higman conjecture holds for these groups. Moreover, if we write k(U(q)) as a polynomial in q-1, then the coefficients are non-negative. Under the assumption that k(U(q)) is a polynomial in q-1, we also give an explicit formula for the coefficients of k(U(q)) of degrees zero, one and two. △ Less

Submitted 27 February, 2013; originally announced February 2013.

Comments: 16 pages

MSC Class: 20G40; 20E45

Journal ref: LMS J. Comput. Math. 17 (2014) 109-122

Representation theory of type B and C standard Levi W-algebras

Authors: Jonathan Brown, Simon M. Goodwin

Abstract: We classify the finite dimensional irreducible representations with integral central character of finite $W$-algebras $U(\mathfrak g,e)$ associated to standard Levi nilpotent orbits in classical Lie algebras of types B and C. This classification is given explicitly in terms of the highest weight theory for finite $W$-algebras. We classify the finite dimensional irreducible representations with integral central character of finite $W$-algebras $U(\mathfrak g,e)$ associated to standard Levi nilpotent orbits in classical Lie algebras of types B and C. This classification is given explicitly in terms of the highest weight theory for finite $W$-algebras. △ Less

Submitted 13 September, 2012; originally announced September 2012.

Comments: 26 pages and 5 page appendix

MSC Class: 17B10; 81R05

Journal ref: Pacific J. Math. 269 (2014) 31-71

On commuting varieties of nilradicals of Borel subalgebras of reductive Lie algebras

Authors: Simon Goodwin, Gerhard Roehrle

Abstract: Let $G$ be a connected reductive algebraic group defined over an algebraically closed field $\mathbbm k$ of characteristic zero. We consider the commuting variety $\mathcal C(\mathfrak u)$ of the nilradical $\mathfrak u$ of the Lie algebra $\mathfrak b$ of a Borel subgroup $B$ of $G$. In case $B$ acts on $\mathfrak u$ with only a finite number of orbits, we verify that $\mathcal C(\mathfrak u)$ is… ▽ More Let $G$ be a connected reductive algebraic group defined over an algebraically closed field $\mathbbm k$ of characteristic zero. We consider the commuting variety $\mathcal C(\mathfrak u)$ of the nilradical $\mathfrak u$ of the Lie algebra $\mathfrak b$ of a Borel subgroup $B$ of $G$. In case $B$ acts on $\mathfrak u$ with only a finite number of orbits, we verify that $\mathcal C(\mathfrak u)$ is equidimensional and that the irreducible components are in correspondence with the {\em distinguished} $B$-orbits in $\mathfrak u$. We observe that in general $\mathcal C(\mathfrak u)$ is not equidimensional, and determine the irreducible components of $\mathcal C(\mathfrak u)$ in the minimal cases where there are infinitely many $B$-orbits in $\mathfrak u$. △ Less

Submitted 6 September, 2012; originally announced September 2012.

Comments: 10 pages

MSC Class: Primary 20G15; Secondary 17B45

Principal W-algebras for GL(m|n)

Authors: Jonathan Brown, Jonathan Brundan, Simon M. Goodwin

Abstract: We consider the (finite) $W$-algebra $W_{m|n}$ attached to the principal nilpotent orbit in the general linear Lie superalgebra $\mathfrak{gl}_{m|n}(\mathbb C)$. Our main result gives an explicit description of $W_{m|n}$ as a certain truncation of a shifted version of the Yangian $Y(\mathfrak{gl}_{1|1})$. We also show that $W_{m|n}$ admits a triangular decomposition and construct its irreducible r… ▽ More We consider the (finite) $W$-algebra $W_{m|n}$ attached to the principal nilpotent orbit in the general linear Lie superalgebra $\mathfrak{gl}_{m|n}(\mathbb C)$. Our main result gives an explicit description of $W_{m|n}$ as a certain truncation of a shifted version of the Yangian $Y(\mathfrak{gl}_{1|1})$. We also show that $W_{m|n}$ admits a triangular decomposition and construct its irreducible representations. △ Less

Submitted 5 December, 2012; v1 submitted 4 May, 2012; originally announced May 2012.

Comments: This version corrects a formatting bug with txfonts package in the arxiv's tex distribution (\bar was not displayed correctly)

MSC Class: 17B10; 17B37

Journal ref: Algebra Number Theory 7 (2013) 1849-1882

Conjugacy classes in Sylow p-subgroups of finite Chevalley groups in bad characteristic

Authors: John D. Bradley, Simon M. Goodwin

Abstract: Let $U = \mathbf U(q)$ be a Sylow $p$-subgroup of a finite Chevalley group $G = \mathbf G(q)$. In [GR}] Röhrle and the second author determined a parameterization of the conjugacy classes of $U$, for $\mathbf G$ of small rank when $q$ is a power of a good prime for $\mathbf G$. As a consequence they verified that the number $k(U)$ of conjugacy classes of $U$ is given by a polynomial in $q$ with in… ▽ More Let $U = \mathbf U(q)$ be a Sylow $p$-subgroup of a finite Chevalley group $G = \mathbf G(q)$. In [GR}] Röhrle and the second author determined a parameterization of the conjugacy classes of $U$, for $\mathbf G$ of small rank when $q$ is a power of a good prime for $\mathbf G$. As a consequence they verified that the number $k(U)$ of conjugacy classes of $U$ is given by a polynomial in $q$ with integer coefficients. In the present paper, we consider the case when $p$ is a bad prime for $\mathbf G$. We obtain a parameterization of the conjugacy classes of $U$, when $\mathbf G$ has rank less than or equal to 4, and $\mathbf G$ is not of type $F_4$. In these cases we deduce that $k(U)$ is given by a polynomial in $q$ with integer coefficients; this polynomial is different from the polynomial for good primes. △ Less

Submitted 6 January, 2012; originally announced January 2012.

Comments: 13 pages

Non-integral representation theory of even multiplicity finite W-algebras

Authors: Jonathan S. Brown, Simon M. Goodwin

Abstract: We complete the classification of the finite dimensional irreducible representations of finite W-algebras associated to even multiplicity nilpotent elements in classical Lie algebras. This extends earlier work where this classification is determined for such representations of integral central character. We complete the classification of the finite dimensional irreducible representations of finite W-algebras associated to even multiplicity nilpotent elements in classical Lie algebras. This extends earlier work where this classification is determined for such representations of integral central character. △ Less

Submitted 29 December, 2011; originally announced December 2011.

Comments: 15 pages

On changing highest weight theories for finite W-algebras

Authors: Jonathan S. Brown, Simon M. Goodwin

Abstract: A highest weight theory for a finite W-algebra U(g,e) was developed in [BGK]. This leads to a strategy for classifying the irreducible finite dimensional U(g,e)-modules. The highest weight theory depends on the choice of a parabolic subalgebra of g leading to different parameterizations of the finite dimensional irreducible U(g,e)-modules. We explain how to construct an isomorphism preserving bije… ▽ More A highest weight theory for a finite W-algebra U(g,e) was developed in [BGK]. This leads to a strategy for classifying the irreducible finite dimensional U(g,e)-modules. The highest weight theory depends on the choice of a parabolic subalgebra of g leading to different parameterizations of the finite dimensional irreducible U(g,e)-modules. We explain how to construct an isomorphism preserving bijection between the parameterizing sets for different choices of parabolic subalgebra when g is of type A, or when g is of types C or D and e is an even multiplicity nilpotent element △ Less

Submitted 17 May, 2011; originally announced May 2011.

Comments: 25 pages

MSC Class: 17B10 (Primary) 81R05 (Secondary)

Finite dimensional irreducible representations of finite W-algebras associated to even multiplicity nilpotent orbits in classical Lie algebras

Authors: Jonathan S. Brown, Simon M. Goodwin

Abstract: We consider finite W-algebras U(g,e) associated to even multiplicity nilpotent elements in classical Lie algebras. We give a classification of finite dimensional irreducible U(g,e)-modules with integral central character in terms of the highest weight theory for finite W-algebras. As a corollary, we obtain a parametrization of primitive ideals of U(g) with associated variety the closure of the adj… ▽ More We consider finite W-algebras U(g,e) associated to even multiplicity nilpotent elements in classical Lie algebras. We give a classification of finite dimensional irreducible U(g,e)-modules with integral central character in terms of the highest weight theory for finite W-algebras. As a corollary, we obtain a parametrization of primitive ideals of U(g) with associated variety the closure of the adjoint orbit of e and integral central character. △ Less

Submitted 11 October, 2010; v1 submitted 20 September, 2010; originally announced September 2010.

Comments: 38 Pages; made some minor corrections

MSC Class: 17B10 (Primary) 81R05 (Secondary)

Translation for finite W-algebras

Authors: Simon M. Goodwin

Abstract: A finite $W$-algebra $U(\g,e)$ is a certain finitely generated algebra that can be viewed as the enveloping algebra of the Slodowy slice to the adjoint orbit of a nilpotent element $e$ of a complex reductive Lie algebra $\g$. It is possible to give the tensor product of a $U(\g,e)$-module with a finite dimensional $U(\g)$-module the structure of a $U(\g,e)$-module; we refer to such tensor produc… ▽ More A finite $W$-algebra $U(\g,e)$ is a certain finitely generated algebra that can be viewed as the enveloping algebra of the Slodowy slice to the adjoint orbit of a nilpotent element $e$ of a complex reductive Lie algebra $\g$. It is possible to give the tensor product of a $U(\g,e)$-module with a finite dimensional $U(\g)$-module the structure of a $U(\g,e)$-module; we refer to such tensor products as translations. In this paper, we present a number of fundamental properties of these translations, which are expected to be of importance in understanding the representation theory of $U(\g,e)$. △ Less

Submitted 19 August, 2009; originally announced August 2009.

Comments: 38 pages

MSC Class: 17B10; 17B35; 81R05

On 1-dimensional representations of finite W-algebras associated to simple Lie algebras of exceptional type

Authors: Simon M. Goodwin, Gerhard Roehrle, Glenn Ubly

Abstract: We consider the finite $W$-algebra $U(\g,e)$ associated to a nilpotent element $e \in \g$ in a simple complex Lie algebra $\g$ of exceptional type. Using presentations obtained through an algorithm based on the PBW-theorem, we verify a conjecture of Premet, that $U(\g,e)$ always has a 1-dimensional representation, when $\g$ is of type $G_2$, $F_4$, $E_6$ or $E_7$. Thanks to a theorem of Premet, th… ▽ More We consider the finite $W$-algebra $U(\g,e)$ associated to a nilpotent element $e \in \g$ in a simple complex Lie algebra $\g$ of exceptional type. Using presentations obtained through an algorithm based on the PBW-theorem, we verify a conjecture of Premet, that $U(\g,e)$ always has a 1-dimensional representation, when $\g$ is of type $G_2$, $F_4$, $E_6$ or $E_7$. Thanks to a theorem of Premet, this allows one to deduce the existence of minimal dimension representations of reduced enveloping algebras of modular Lie algebras of the above types. In addition, a theorem of Losev allows us to deduce that there exists a completely prime primitive ideal in $U(\g)$ whose associated variety is the coadjoint orbit corresponding to $e$. △ Less

Submitted 19 March, 2010; v1 submitted 22 May, 2009; originally announced May 2009.

Comments: 14 pages, minor changes.

MSC Class: 17B37; 17B10; 81R05

Journal ref: LMS J. Comput. Math. 13 (2010) 357-369

Counting conjugacy classes in the unipotent radical of parabolic subgroups of $\GL_n(q)$

Authors: Simon M. Goodwin, Gerhard Roehrle

Abstract: Let $q$ be a power of a prime $p$. Let $P$ be a parabolic subgroup of the general linear group $\GL_n(q)$ that is the stabilizer of a flag in $\FF_q^n$ of length at most 5, and let $U = O_p(P)$. In this note we prove that, as a function of $q$, the number $k(U)$ of conjugacy classes of $U$ is a polynomial in $q$ with integer coefficients. Let $q$ be a power of a prime $p$. Let $P$ be a parabolic subgroup of the general linear group $\GL_n(q)$ that is the stabilizer of a flag in $\FF_q^n$ of length at most 5, and let $U = O_p(P)$. In this note we prove that, as a function of $q$, the number $k(U)$ of conjugacy classes of $U$ is a polynomial in $q$ with integer coefficients. △ Less

Submitted 16 June, 2009; v1 submitted 6 January, 2009; originally announced January 2009.

Comments: 8 pages; to appear in Pacific Journal of Mathematics

MSC Class: 20G40

Highest weight theory for finite W-algebras

Authors: Jonathan Brundan, Simon M. Goodwin, Alexander Kleshchev

Abstract: We define analogues of Verma modules for finite W-algebras. By the usual ideas of highest weight theory, this is a first step towards the classification of finite dimensional irreducible modules. Motivated by known results in type A, we then formulate some precise conjectures in the case of nilpotent orbits of standard Levi type. We define analogues of Verma modules for finite W-algebras. By the usual ideas of highest weight theory, this is a first step towards the classification of finite dimensional irreducible modules. Motivated by known results in type A, we then formulate some precise conjectures in the case of nilpotent orbits of standard Levi type. △ Less

Submitted 8 January, 2008; originally announced January 2008.

Comments: 38 pages

MSC Class: 17B10; 81R05

Journal ref: Int. Math. Res. Notices 11 (2008), 53pp.

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

Authors: Simon M. Goodwin, Gerhard Roehrle

Abstract: 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… ▽ More 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. △ Less

Submitted 23 September, 2008; v1 submitted 2 January, 2008; originally announced January 2008.

Comments: 14 pages: Significant revisions and explanations expanded

MSC Class: 20G40; 20D20; 20E45

Orbits of parabolic subgroups on metabelian ideals

Authors: Simon M. Goodwin, Lutz Hille, Gerhard Röhrle

Abstract: We consider the action of a parabolic subgroup of the General Linear Group on a metabelian ideal. For those actions, we classify actions with finitely many orbits using methods from representation theory. We consider the action of a parabolic subgroup of the General Linear Group on a metabelian ideal. For those actions, we classify actions with finitely many orbits using methods from representation theory. △ Less

Submitted 23 November, 2007; originally announced November 2007.

Comments: 10 pages, 6 eps figures

MSC Class: 14L30; 20G15

On conjugacy of unipotent elements in finite groups of Lie type

Authors: Simon M. Goodwin, Gerhard Roehrle

Abstract: 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$ an… ▽ More 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. △ Less

Submitted 11 July, 2008; v1 submitted 19 November, 2007; originally announced November 2007.

Comments: 9 pages, Minor changes and corrections

MSC Class: 20G40; 20E45 (Primary); 20D20 (Secondary)

Parabolic conjugacy in general linear groups

Authors: Simon M. Goodwin, Gerhard Roehrle

Abstract: 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. 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. △ Less

Submitted 21 March, 2007; v1 submitted 25 November, 2006; originally announced November 2006.

Comments: 12 pages; to appear in Journal of Algebraic Combinatorics

MSC Class: 20G40; 20E45

Richardson elements for parabolic subgroups of classical groups in positive characteristic

Authors: Karin Baur, Simon M. Goodwin

Abstract: Let $G$ be a simple algebraic group of classical type over an algebraically closed field $k$. Let $P$ be a parabolic subgroup of $G$ and let $\p = \Lie P$ be the Lie algebra of $P$ with Levi decomposition $\p = ł\oplus \u$, where $\u$ is the Lie algebra of the unipotent radical of $P$ and $ł$ is a Levi complement. Thanks to a fundamental theorem of R. W. Richardson, $P$ acts on $\u$ with an open… ▽ More Let $G$ be a simple algebraic group of classical type over an algebraically closed field $k$. Let $P$ be a parabolic subgroup of $G$ and let $\p = \Lie P$ be the Lie algebra of $P$ with Levi decomposition $\p = ł\oplus \u$, where $\u$ is the Lie algebra of the unipotent radical of $P$ and $ł$ is a Levi complement. Thanks to a fundamental theorem of R. W. Richardson, $P$ acts on $\u$ with an open dense orbit; this orbit is called the {\em Richardson orbit} and its elements are called {\em Richardson elements}. Recently, the first author gave constructions of Richardson elements in the case $k = \C$ for many parabolic subgroups $P$ of $G$. In this note, we observe that these constructions remain valid for any algebraically closed field $k$ of characteristic not equal to 2 and we give constructions of Richardson elements for the remaining parabolic subgroups. △ Less

Submitted 31 August, 2006; originally announced August 2006.

Comments: 20 pages

MSC Class: 17B45

Journal ref: Algebr. Represent. Theory 11 (2008), no. 3, 275--297

The orbit structure of Dynkin curves

Authors: Simon M. Goodwin, Lutz Hille, Gerhard Roehrle

Abstract: 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 ni… ▽ More 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. △ Less

Submitted 17 January, 2007; v1 submitted 23 August, 2006; originally announced August 2006.

Comments: 12 pages, to appear in Math Z

MSC Class: 20G15

Prehomogeneous spaces for Borel subgroups of general linear groups

Authors: Simon M. Goodwin, Lutz Hille

Abstract: Let $k$ be an algebraically closed field. Let $B$ be the Borel subgroup of $\mGL_n(k)$ consisting of nonsingular upper triangular matrices. Let $\frb = \mLie B$ be the Lie algebra of upper triangular $n \times n$ matrices and $\fru$ the Lie subalgebra of $\frb$ consisting of strictly upper triangular matrices. We classify all Lie ideals $\frn$ of $\frb$, satisfying… ▽ More Let $k$ be an algebraically closed field. Let $B$ be the Borel subgroup of $\mGL_n(k)$ consisting of nonsingular upper triangular matrices. Let $\frb = \mLie B$ be the Lie algebra of upper triangular $n \times n$ matrices and $\fru$ the Lie subalgebra of $\frb$ consisting of strictly upper triangular matrices. We classify all Lie ideals $\frn$ of $\frb$, satisfying $\fru' \subseteq \frn \subseteq \fru$, such that $B$ acts (by conjugation) on $\frn$ with a dense orbit. Further, in case $B$ does not act with a dense orbit, we give the minimal codimension of a $B$--orbit in $\frn$. This can be viewed as a first step towards the difficult open problem of classifying of all ideals $\frn \subseteq \fru$ such that $B$ acts on $\frn$ with a dense orbit. The proofs of our main results require a translation into the representation theory of a certain quasi-hereditary algebra $\cA_{t,1}$. In this setting we find the minimal dimension of $\mExt^1_{\cA_{t,1}}(M,M)$ for a $Δ$-good $\cA_{t,1}$--module of certain fixed $Δ$-dimension vectors. △ Less

Submitted 30 March, 2006; originally announced March 2006.

Comments: 27 pages, 6 figures, uses epsfig, latexsym, amsfonts, amsmath, amsthm, xy

MSC Class: 16G20; 20G05

Rational points on generalized flag varieties and unipotent conjugacy in finite groups of Lie type

Authors: Simon M Goodwin, Gerhard E Roehrle

Abstract: Let $G$ be a connected reductive algebraic group defined over the finite field $\FF_q$, where $q$ is a power of a good prime for $G$. We write $F$ for the Frobenius morphism of $G$ corresponding to the $\FF_q$-structure, so that $G^F$ is a finite group of Lie type. Let $P$ be an $F$-stable parabolic subgroup of $G$ and $U$ the unipotent radical of $P$. In this paper, we prove that the number of… ▽ More Let $G$ be a connected reductive algebraic group defined over the finite field $\FF_q$, where $q$ is a power of a good prime for $G$. We write $F$ for the Frobenius morphism of $G$ corresponding to the $\FF_q$-structure, so that $G^F$ is a finite group of Lie type. Let $P$ be an $F$-stable parabolic subgroup of $G$ and $U$ the unipotent radical of $P$. In this paper, we prove that the number of $U^F$-conjugacy classes in $G^F$ is given by a polynomial in $q$, under the assumption that the centre of $G$ is connected. This answers a question of J. Alperin in \cite{alperin}. In order to prove the result mentioned above, we consider, for unipotent $u \in G^F$, the variety $\CP^0_u$ of $G$-conjugates of $P$ whose unipotent radical contains $u$. We prove that the number of $\FF_q$-rational points of $\CP^0_u$ is given by a polynomial in $q$ with integer coefficients. Moreover, in case $G$ is split over $\FF_q$ and $u$ is split (in the sense of \cite[\S5]{shoji}), the coefficients of this polynomial are given by the Betti numbers of $\CP^0_u$. We also prove the analogous results for the variety $\CP_u$ consisting of conjugates of $P$ that contain $u$. △ Less

Submitted 29 February, 2008; v1 submitted 1 February, 2006; originally announced February 2006.

Comments: minor changes; to appear in Trans. Amer. Math. Soc

MSC Class: 20G40; 20E45

Good grading polytopes

Authors: Jonathan Brundan, Simon M. Goodwin

Abstract: Let g be a finite dimensional semisimple Lie algebra over C and e be a nilpotent element. Elashvili and Kac have recently classified all good Z-gradings for e. We instead consider good R-gradings, which are naturally parameterized by an open convex polytope in a Euclidean space arising from the reductive part of the centralizer of e in g. As an application, we prove that the isomorphism type of… ▽ More Let g be a finite dimensional semisimple Lie algebra over C and e be a nilpotent element. Elashvili and Kac have recently classified all good Z-gradings for e. We instead consider good R-gradings, which are naturally parameterized by an open convex polytope in a Euclidean space arising from the reductive part of the centralizer of e in g. As an application, we prove that the isomorphism type of the finite W-algebra attached to a good R-grading for e is independent of the particular choice of good grading. △ Less

Submitted 10 October, 2005; originally announced October 2005.

Comments: 27 pages

MSC Class: 17B20

Journal ref: Proc. London Math. Soc. 94 (2007), 155-180.