Searcharxiv⌕ Search

arXiv subjects

Simon M. Goodwin

Publications and source records attributed to Simon M. Goodwin.

At least 19 recordsLinked to original sources
arXiv2026

On the Index of Borel Subalgebras of Lie Superalgebras

Let $\mathfrak{b}=\mathfrak{h}\oplus\mathfrak{n}$ be a Borel subalgebra of a basic classical Lie superalgebra over $\mathbb{C}$ with $\mathfrak{h}$ a Cartan subalgebra. We give an upper bound for the index $\mathrm{ind}(\mathfrak{b})$ of $\mathfrak{b}$; in some instances this bound is $0$, in which case $\mathrm{ind}(\mathfrak{b})=0$. Additionally we prove that $\mathrm{ind}(\mathfrak{b},\mathfrak{n})=0$, which implies $\mathrm{ind}(\mathfrak{b},\mathfrak{i})=0$ for all ideals $\mathfrak{i} \subseteq \mathfrak{n}$ of $\mathfrak{b}$. We also show that $\mathrm{ind}(\mathfrak{b},\mathfrak{a}^*)=0$ for all abelian ideals $\mathfrak{a} \subseteq \mathfrak{n}$ of $\mathfrak{b}$. These results are achieved by extending the theory of strongly orthogonal roots and the Kostant cascade to the theory of generalized root systems developed by Dimitrov and Fioresi.

math.RT↗
arXiv2024

Monogamous subvarieties of the nilpotent cone

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.

math.RT↗
arXiv2023

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

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; in turn, this gives a classification of rigid Losev-Premet ideals in $U({\mathfrak g})$. This is deduced from the corresponding statement about one-dimensional representations of finite $W$-algebras.

math.RT↗
arXiv2022

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

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.

math.RT↗
arXiv2019

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

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.

math.RT↗
arXiv2019

Restricted shifted Yangians and restricted finite $W$-algebras

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.

math.RT↗
arXiv2019

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

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.

math.RT↗
arXiv2017

Modular finite $W$-algebras

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.

math.RT↗
arXiv2017

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

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)$.

math.RT↗
arXiv2017

On commuting varieties of parabolic subalgebras

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.

math.RT↗
arXiv2016

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

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.

math.RT↗
arXiv2015

On the coadjoint orbits of maximal unipotent subgroups of reductive groups

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).

math.GR↗
arXiv2013

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

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.

math.GR↗
arXiv2012

Principal W-algebras for GL(m|n)

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.

math.RT↗
arXiv2012

Representation theory of type B and C standard Levi 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.

math.RT↗
arXiv2012

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

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.

math.GR↗
arXiv2011

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

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.

math.RT↗