-
Shifted twisted Yangians and Slodowy slices in classical Lie algebras
Authors:
Lukas Tappeiner,
Lewis Topley
Abstract:
In this paper we introduce the shifted twisted Yangian of type {\sf AI}, following the work of Lu--Wang--Zhang, and we study their semiclassical limits, a class of Poisson algebras. We demonstrate that they coincide with the Dirac reductions of the semiclassical shifted Yangian for $\gl_n$. We deduce that these shifted twisted Yangians admit truncations which are isomorphic to Slodowy slices for m…
▽ More
In this paper we introduce the shifted twisted Yangian of type {\sf AI}, following the work of Lu--Wang--Zhang, and we study their semiclassical limits, a class of Poisson algebras. We demonstrate that they coincide with the Dirac reductions of the semiclassical shifted Yangian for $\gl_n$. We deduce that these shifted twisted Yangians admit truncations which are isomorphic to Slodowy slices for many non-rectangular nilpotent elements in types {\sf B}, {\sf C}, {\sf D}. As a direct consequence we obtain parabolic presentations of the semiclassical shifted twisted Yangian, analogous to those introduced by Brundan--Kleshchev for the Yangian of type {\sf A}. Finally we give Poisson presentations of Slodowy slices for all even nilpotent elements in types {\sf B}, {\sf C}, {\sf D}, generalising the recent work of the second author.
△ Less
Submitted 19 June, 2024; v1 submitted 8 June, 2024;
originally announced June 2024.
-
Modular representations of the Yangian $Y_2$
Authors:
Hao Chang,
**xin Hu,
Lewis Topley
Abstract:
Let $Y_2$ be the Yangian associated to the general linear Lie algebra $\mathfrak{gl}_2$, defined over an algebraically closed field $\mathbbm{k}$ of characteristic $p > 0$. In this paper, we study the representation theory of the restricted Yangian $Y^{[p]}_2$. This leads to a description of the representations of $\mathfrak{gl}_{2n}$, whose $p$-character is nilpotent with Jordan type given by a t…
▽ More
Let $Y_2$ be the Yangian associated to the general linear Lie algebra $\mathfrak{gl}_2$, defined over an algebraically closed field $\mathbbm{k}$ of characteristic $p > 0$. In this paper, we study the representation theory of the restricted Yangian $Y^{[p]}_2$. This leads to a description of the representations of $\mathfrak{gl}_{2n}$, whose $p$-character is nilpotent with Jordan type given by a two-row partition $(n, n)$.
△ Less
Submitted 8 May, 2024; v1 submitted 27 March, 2024;
originally announced March 2024.
-
On induced completely prime primitive ideals in envelo** 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 envelo** 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 envelo** 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.
-
Modular Representations of Truncated current Lie algebras
Authors:
Matthew Chaffe,
Lewis Topley
Abstract:
In this paper we consider the structure and representation theory of truncated current algebras $\mathfrak{g}_m = \mathfrak{g}[t]/(t^{m+1})$ associated to the Lie algebra $\mathfrak{g}$ of a standard reductive group over a field of positive characteristic. We classify semisimple and nilpotent elements and describe their associated support varieties. Next, we prove various Morita equivalences for r…
▽ More
In this paper we consider the structure and representation theory of truncated current algebras $\mathfrak{g}_m = \mathfrak{g}[t]/(t^{m+1})$ associated to the Lie algebra $\mathfrak{g}$ of a standard reductive group over a field of positive characteristic. We classify semisimple and nilpotent elements and describe their associated support varieties. Next, we prove various Morita equivalences for reduced envelo** algebras, including a reduction to nilpotent $p$-characters, analogous to a famous theorem of Friedlander--Parshall.
We go on to give precise upper bounds for the dimensions of simple modules for all $p$-characters, and give lower bounds on these dimensions for homogeneous $p$-characters. We then develop the theory of baby Verma modules for homogeneous $p$-characters and, whenever the $p$-character has standard Levi type, we give a full classification of the simple modules. In particular we classify all simple modules with homogeneous $p$-characters for $\mathfrak{g}_m$ when $\mathfrak{g} = \mathfrak{gl}_n$. Finally, we compute the Cartan invariants for the restricted envelo** algebra $U_0(\mathfrak{g}_m)$ and show that they can be described by precise formulae depending on decomposition numbers for $U_0(\mathfrak{g})$.
△ Less
Submitted 19 April, 2024; v1 submitted 14 November, 2023;
originally announced November 2023.
-
Equivariant deformation theory for nilpotent slices in symplectic Lie algebras
Authors:
Filippo Ambrosio,
Lewis Topley
Abstract:
The Slodowy slice is a flat Poisson deformation of its nilpotent part, and it was demonstrated by Lehn-Namikawa-Sorger that there is an interesting infinite family of nilpotent orbits in symplectic Lie algebras for which the slice is not the universal Poisson deformation of its nilpotent part. This family corresponds to slices to nilpotent orbits in symplectic Lie algebras whose Jordan normal form…
▽ More
The Slodowy slice is a flat Poisson deformation of its nilpotent part, and it was demonstrated by Lehn-Namikawa-Sorger that there is an interesting infinite family of nilpotent orbits in symplectic Lie algebras for which the slice is not the universal Poisson deformation of its nilpotent part. This family corresponds to slices to nilpotent orbits in symplectic Lie algebras whose Jordan normal form has two blocks. We show that the nilpotent Slodowy varieties associated to these orbits are isomorphic as Poisson $\mathbb{C}^\times$-varieties to nilpotent Slodowy varieties in type D. It follows that the universal Poisson deformation in type C is a slice in type D. When both Jordan blocks have odd size the underlying singularity is equipped with a $\mathbb{Z}_2$-symmetry coming from the type D realisation. We prove that the Slodowy slice in type C is the $\mathbb{Z}_2$-equivariant universal Poisson deformation of its nilpotent part. This result also has non-commutative counterpart, identifying the finite W-algebra as the universal equivariant quantization.
△ Less
Submitted 9 November, 2023; v1 submitted 7 October, 2023;
originally announced October 2023.
-
The centre of the modular affine vertex algebra
Authors:
Tomoyuki Arakawa,
Lewis Topley,
Juan J. Villarreal
Abstract:
The Feigin--Frenkel theorem states that, over the complex numbers, the centre of the universal affine vertex algebra at the critical level is an infinite rank polynomial algebra. The first author and W.~Wang observed that in positive characteristics, the universal affine vertex algebra contains a large central subalgebra known as the $p$-centre. They conjectured that at the critical level the cent…
▽ More
The Feigin--Frenkel theorem states that, over the complex numbers, the centre of the universal affine vertex algebra at the critical level is an infinite rank polynomial algebra. The first author and W.~Wang observed that in positive characteristics, the universal affine vertex algebra contains a large central subalgebra known as the $p$-centre. They conjectured that at the critical level the centre should be generated by the Feigin--Frenkel centre and the $p$-centre. In this paper we prove the conjecture for classical simple Lie algebras for $p$ larger than the Coxeter number, and for exceptional Lie algebras in large characteristics. Finally, we give an example which shows that at non-critical level the center is larger than the $p$-centre.
△ Less
Submitted 20 May, 2024; v1 submitted 28 May, 2023;
originally announced May 2023.
-
Category $\mathcal{O}$ for truncated current Lie algebras
Authors:
Matthew Chaffe,
Lewis Topley
Abstract:
In this paper we study an analogue of the Bernstein--Gelfand--Gelfand category $\mathcal{O}$ for truncated current Lie algebras $\mathfrak{g}_n$ attached to a complex semisimple Lie algebra. This category admits Verma modules and simple modules, each parametrised by the dual space of the truncated currents on a choice of Cartan subalgebra in $\mathfrak{g}$. Our main result describes an inductive p…
▽ More
In this paper we study an analogue of the Bernstein--Gelfand--Gelfand category $\mathcal{O}$ for truncated current Lie algebras $\mathfrak{g}_n$ attached to a complex semisimple Lie algebra. This category admits Verma modules and simple modules, each parametrised by the dual space of the truncated currents on a choice of Cartan subalgebra in $\mathfrak{g}$. Our main result describes an inductive procedure for computing composition multiplicities of simples inside Vermas for $\mathfrak{g}_n$, in terms of similar composition multiplicities for $\mathfrak{l}_{n-1}$ where $\mathfrak{l}$ is a Levi subalgebra. As a consequence, these numbers are expressed as integral linear combinations of Kazhdan--Lusztig polynomials evaluated at 1. This generalises recent work of the first author, where the case $n = 1$ was treated.
△ Less
Submitted 19 April, 2023;
originally announced April 2023.
-
Parabolic induction for Springer fibres
Authors:
Lewis Topley,
Neil Saunders
Abstract:
Let $G$ be a reductive group satisfying the standard hypotheses, with Lie algebra $\mathfrak{g}$. For each nilpotent orbit $\mathcal{O}_0$ in a Levi subalgebra $\mathfrak{g}_0$ we can consider the induced orbit $\mathcal{O}$ defined by Lusztig and Spaltenstein. We observe that there is a natural closed morphism of relative dimension zero from the Springer fibre over a point of $\mathcal{O}_0$ to t…
▽ More
Let $G$ be a reductive group satisfying the standard hypotheses, with Lie algebra $\mathfrak{g}$. For each nilpotent orbit $\mathcal{O}_0$ in a Levi subalgebra $\mathfrak{g}_0$ we can consider the induced orbit $\mathcal{O}$ defined by Lusztig and Spaltenstein. We observe that there is a natural closed morphism of relative dimension zero from the Springer fibre over a point of $\mathcal{O}_0$ to the Springer fibre over $\mathcal{O}$, which induces an injection on the level of irreducible components. When $G = \operatorname{GL}_N$ the components of Springer fibres was classified by Spaltenstein using standard tableaux. Our main results explains how the Lusztig--Spaltenstein map of Springer fibres can be described combinatorially, using a new associative composition rule for standard tableaux which we call stacking.
△ Less
Submitted 18 December, 2021;
originally announced December 2021.
-
One dimensional representations of finite $W$-algebras, Dirac reduction and the orbit method
Authors:
Lewis Topley
Abstract:
In this paper we study the variety of one dimensional representations of a finite $W$-algebra attached to a classical Lie algebra, giving a precise description of the dimensions of the irreducible components. We apply this to prove a conjecture of Losev describing the image of his orbit method map. In order to do so we first establish new Yangian-type presentations of semiclassical limits of the…
▽ More
In this paper we study the variety of one dimensional representations of a finite $W$-algebra attached to a classical Lie algebra, giving a precise description of the dimensions of the irreducible components. We apply this to prove a conjecture of Losev describing the image of his orbit method map. In order to do so we first establish new Yangian-type presentations of semiclassical limits of the $W$-algebras attached to distinguished nilpotent elements in classical Lie algebras, using Dirac reduction.
△ Less
Submitted 28 July, 2023; v1 submitted 1 February, 2021;
originally announced February 2021.
-
Modular representations of Lie algebras of reductive groups and Humphreys' conjecture
Authors:
Alexander Premet,
Lewis Topley
Abstract:
Let $G$ be connected reductive algebraic group defined over an algebraically closed field of characteristic $p > 0$ and suppose that $p$ is a good prime for the root system of $G$, the derived subgroup of $G$ is simply connected and the Lie algebra $\mathfrak{g} = \operatorname{Lie}(G)$ admits a non-degenerate Ad$(G)$-invariant symmetric bilinear form. Given a linear function $χ$ on…
▽ More
Let $G$ be connected reductive algebraic group defined over an algebraically closed field of characteristic $p > 0$ and suppose that $p$ is a good prime for the root system of $G$, the derived subgroup of $G$ is simply connected and the Lie algebra $\mathfrak{g} = \operatorname{Lie}(G)$ admits a non-degenerate Ad$(G)$-invariant symmetric bilinear form. Given a linear function $χ$ on $\mathfrak{g}$ we denote by $U_χ(\mathfrak{g})$ the reduced envelo** algebra of $\mathfrak{g}$ associated with $χ$. By the Kac-Weisfeiler conjecture (now a theorem), any irreducible $U_χ(\mathfrak{g})$-module has dimension divisible by $p^{d(χ)}$ where $2d(χ)$ is the dimension of the coadjoint $G$-orbit containing $χ$. In this paper we give a positive answer to the natural question raised in the 1990s by Kac, Humphreys and the first-named author and show that any algebra $U_χ(\mathfrak{g})$ admits a module of dimension $p^{d(χ)}$.
△ Less
Submitted 11 August, 2021; v1 submitted 21 October, 2020;
originally announced October 2020.
-
Universal filtered quantizations of nilpotent Slodowy slices
Authors:
Filippo Ambrosio,
Giovanna Carnovale,
Francesco Esposito,
Lewis Topley
Abstract:
Every conic symplectic singularity admits a universal Poisson deformation and a universal filtered quantization, thanks to the work of Losev and Namikawa. We begin this paper by showing that every such variety admits a universal equivariant Poisson deformation and a universal equivariant quantization with respect to a reductive group acting on it by $\mathbb{C}^\times$-equivariant Poisson automorp…
▽ More
Every conic symplectic singularity admits a universal Poisson deformation and a universal filtered quantization, thanks to the work of Losev and Namikawa. We begin this paper by showing that every such variety admits a universal equivariant Poisson deformation and a universal equivariant quantization with respect to a reductive group acting on it by $\mathbb{C}^\times$-equivariant Poisson automorphisms.
We go on to study these definitions in the context of nilpotent Slodowy slices. First we give a complete description of the cases in which the finite $W$-algebra is a universal filtered quantization of the slice, building on the work of Lehn--Namikawa--Sorger. This leads to a near-complete classification of the filtered quantizations of nilpotent Slodowy slices.
The subregular slices in non-simply-laced Lie algebras are especially interesting: with some minor restrictions on Dynkin type we prove that the finite $W$-algebra is a universal equivariant quantization with respect to the Dynkin automorphisms coming from the unfolding of the Dynkin diagram. This can be seen as a non-commutative analogue of Slodowy's theorem. Finally we apply this result to give a presentation of the subregular finite $W$-algebra in type B as a quotient of a shifted Yangian.
△ Less
Submitted 27 October, 2023; v1 submitted 15 May, 2020;
originally announced May 2020.
-
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.
-
A proof of the first Kac-Weisfeiler conjecture in large characteristics
Authors:
Benjamin Martin,
David Stewart,
Akaki Tikaradze,
Lewis Topley
Abstract:
In 1971, Kac and Weisfeiler made two influential conjectures describing the dimensions of simple modules of a restricted Lie algebra $\mathfrak{g}$. The first predicts the maximal dimension of simple $\mathfrak{g}$-modules and in this paper we apply the Lefschetz principle and classical techniques from Lie theory to prove this conjecture for all restricted Lie subalgebras of $\mathfrak{gl}_n(k)$ w…
▽ More
In 1971, Kac and Weisfeiler made two influential conjectures describing the dimensions of simple modules of a restricted Lie algebra $\mathfrak{g}$. The first predicts the maximal dimension of simple $\mathfrak{g}$-modules and in this paper we apply the Lefschetz principle and classical techniques from Lie theory to prove this conjecture for all restricted Lie subalgebras of $\mathfrak{gl}_n(k)$ whenever $k$ is an algebraically closed field of characteristic $p \gg n$. As a consequence we deduce that the conjecture holds for the the Lie algebra of a group scheme when specialised to an algebraically closed field of almost any characteristic. In the appendix to this paper, written by Akaki Tikaradze, a short proof of the first Kac--Weisfeiler conjecture is given for the Lie algebra of group scheme over a finitely generated ring $R \subseteq \mathbb{C}$, after base change to a field of large positive characteristic.
△ Less
Submitted 28 January, 2019; v1 submitted 30 October, 2018;
originally announced October 2018.
-
Smoothness of stabilisers in generic characteristic
Authors:
Benjamin Martin,
David I. Stewart,
Lewis Topley
Abstract:
Let $R$ be a commutative unital ring. Given a finitely presented affine $R$-group scheme $G$ acting on a separated scheme $X$ of finite type over $R$, we show that there is a prime $p_0$ such that for any $R$-algebra $k$ which is an algebraically closed field of characteristic $p\geq p_0$, the centraliser in $G_k$ of any closed subscheme of $X_k$ is smooth. When $X$ is not necessarily separated we…
▽ More
Let $R$ be a commutative unital ring. Given a finitely presented affine $R$-group scheme $G$ acting on a separated scheme $X$ of finite type over $R$, we show that there is a prime $p_0$ such that for any $R$-algebra $k$ which is an algebraically closed field of characteristic $p\geq p_0$, the centraliser in $G_k$ of any closed subscheme of $X_k$ is smooth. When $X$ is not necessarily separated we show similarly that for any closed subscheme $Y \subseteq X$ there is a $p_1$ depending on $Y$ such that when $k$ has characteristic $p \geq p_1$ the normaliser of $Y$ in $G_k$ is smooth. We prove these results using the Lefschetz principle together with careful application of Gröbner basis techniques, and using a suitable notion of the complexity of an action.
We apply our results to demonstrate that the Kostant-Kirillov-Souriau theorem holds for Lie algebras of algebraic groups in large positive characteristics. In particular, every such Lie algebra decomposes as a disjoint union of symplectic varieties, each of which is a coadjoint orbit.
△ Less
Submitted 1 October, 2023; v1 submitted 30 October, 2018;
originally announced October 2018.
-
Minimal dimensional representations of reduced envelo** 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 envelo** 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 envelo** 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.
-
The Orbit Method for Poisson Orders
Authors:
Stephane Launois,
Lewis Topley
Abstract:
A version of Kirillov's orbit method states that the primitive spectrum of a generic quantisation $A$ of a Poisson algebra $Z$ should correspond bijectively to the symplectic leaves of $\operatorname{Spec}(Z)$. In this article we consider a Poisson order $A$ over a complex affine Poisson algebra $Z$. We stratify the primitive spectrum $\operatorname{Prim}(A)$ into symplectic cores, which should be…
▽ More
A version of Kirillov's orbit method states that the primitive spectrum of a generic quantisation $A$ of a Poisson algebra $Z$ should correspond bijectively to the symplectic leaves of $\operatorname{Spec}(Z)$. In this article we consider a Poisson order $A$ over a complex affine Poisson algebra $Z$. We stratify the primitive spectrum $\operatorname{Prim}(A)$ into symplectic cores, which should be thought of as families of non-commutative symplectic leaves. We then introduce a category $A$-$\mathcal{P}$-Mod of $A$-modules adapted to the Poisson structure on $Z$, and we show that when $\operatorname{Spec}(Z)$ is smooth with locally closed symplectic leaves, there is a natural homeomorphism from the spectrum of annihilators of simple objects in $A$-$\mathcal{P}$-Mod to the set of symplectic cores in $\operatorname{Prim}(A)$ with its quotient topology. Several application are given to Poisson representation theory. Our main tool is the Poisson envelo** algebra $A^e$ of a Poisson order $A$, which captures the Poisson representation theory of $A$. For $Z$ regular and affine we prove a PBW theorem for $A^e$ and use this to characterise the annihilators of simple Poisson modules: they coincide with the Poisson weakly locally closed, the Poisson primitive and the Poisson rational ideals. We view this as a generalised weak Poisson Dixmier--Moeglin equivalence.
△ Less
Submitted 25 June, 2019; v1 submitted 15 November, 2017;
originally announced November 2017.
-
The p-centre of Yangians and shifted Yangians
Authors:
Jonathan Brundan,
Lewis Topley
Abstract:
We study the Yangian $Y_n$ associated to the general linear Lie algebra $\mathfrak{gl}_n$ over a field of positive characteristic, as well as its shifted analog $Y_n(σ)$. Our main result gives a description of the centre of $Y_n(σ)$: it is a polynomial algebra generated by its Harish-Chandra centre (which lifts the centre in characteristic zero) together with a large $p$-centre. Moreover,…
▽ More
We study the Yangian $Y_n$ associated to the general linear Lie algebra $\mathfrak{gl}_n$ over a field of positive characteristic, as well as its shifted analog $Y_n(σ)$. Our main result gives a description of the centre of $Y_n(σ)$: it is a polynomial algebra generated by its Harish-Chandra centre (which lifts the centre in characteristic zero) together with a large $p$-centre. Moreover, $Y_n(σ)$ is free as a module over its center. In future work, it will be seen that every reduced envelo** algebra $U_χ(\mathfrak{gl}_n)$ is Morita equivalent to a quotient of an appropriate choice of shifted Yangian, and so our results will have applications in classical representation theory.
△ Less
Submitted 12 October, 2017;
originally announced October 2017.
-
On the semi-centre of a Poisson algebra
Authors:
Cesar Lecoutre,
Lewis Topley
Abstract:
If $\mathfrak{g}$ is a Lie algebra then the semi-centre of the Poisson algebra $S(\mathfrak{g})$ is the subalgebra generated by ad$(\mathfrak{g})$-eigenvectors. In this paper we abstract this definition to the context of integral Poisson algebras. We identify necessary and sufficient conditions for the Poisson semi-centre $A^{\operatorname{sc}}$ to be a Poisson algebra graded by its weight spaces.…
▽ More
If $\mathfrak{g}$ is a Lie algebra then the semi-centre of the Poisson algebra $S(\mathfrak{g})$ is the subalgebra generated by ad$(\mathfrak{g})$-eigenvectors. In this paper we abstract this definition to the context of integral Poisson algebras. We identify necessary and sufficient conditions for the Poisson semi-centre $A^{\operatorname{sc}}$ to be a Poisson algebra graded by its weight spaces. In that situation we show the Poisson semi-centre exhibits many nice properties: the rational Casimirs are quotients of Poisson normal elements and the Poisson Dixmier-Mœglin equivalence holds for the semi-centre.
△ Less
Submitted 27 July, 2017;
originally announced July 2017.
-
Transfer results for Frobenius extensions
Authors:
Stephane Launois,
Lewis Topley
Abstract:
We study Frobenius extensions which are free-filtered by a totally ordered, finitely generated abelian group, and their free-graded counterparts. First we show that the Frobenius property passes up from a free-graded extension to a free-filtered extension, then also from a free-filtered extension to the extension of their Rees algebras. Our main theorem states that, under some natural hypotheses,…
▽ More
We study Frobenius extensions which are free-filtered by a totally ordered, finitely generated abelian group, and their free-graded counterparts. First we show that the Frobenius property passes up from a free-graded extension to a free-filtered extension, then also from a free-filtered extension to the extension of their Rees algebras. Our main theorem states that, under some natural hypotheses, a free-filtered extension of algebras is Frobenius if and only if the associated graded extension is Frobenius. In the final section we apply this theorem to provide new examples and non-examples of Frobenius extensions.
△ Less
Submitted 22 June, 2017;
originally announced June 2017.
-
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.
-
A non-restricted counterexample to the first Kac-Weisfeiler conjecture
Authors:
Lewis Topley
Abstract:
In 1971 Kac and Weisfeiler made two important conjectures regarding the representation theory of restricted Lie algebras over fields of positive characteristic. The first of these predicts the maximal dimension of the simple modules, and can be stated without the hypothesis that the Lie algebra is restricted. In this short article we construct the first example of a non-restricted Lie algebra for…
▽ More
In 1971 Kac and Weisfeiler made two important conjectures regarding the representation theory of restricted Lie algebras over fields of positive characteristic. The first of these predicts the maximal dimension of the simple modules, and can be stated without the hypothesis that the Lie algebra is restricted. In this short article we construct the first example of a non-restricted Lie algebra for which the prediction of the first Kac--Weisfeiler conjecture fails. Our method is to present pairs of Lie algebras which have isomorphic envelo** algebras but distinct indexes.
△ Less
Submitted 9 June, 2016; v1 submitted 19 May, 2016;
originally announced May 2016.
-
Harish-Chandra invariants and the centre of the reduced envelo** algebra
Authors:
Lewis W. Topley
Abstract:
In this article we consider the centre of the reduced envelo** algebra of the Lie algebra of a reductive algebraic group in very good characteristic p > 2. The Harish-Chandra centre maps to the centre of each reduced envelo** algebra and, using a combination of induction and deformation arguments, we describe precisely for which p-characters this map is surjective: it is if and only if the cho…
▽ More
In this article we consider the centre of the reduced envelo** algebra of the Lie algebra of a reductive algebraic group in very good characteristic p > 2. The Harish-Chandra centre maps to the centre of each reduced envelo** algebra and, using a combination of induction and deformation arguments, we describe precisely for which p-characters this map is surjective: it is if and only if the chosen character is regular. This provides the converse to a theorem of Mirković and Rumynin.
△ Less
Submitted 9 June, 2016; v1 submitted 27 February, 2016;
originally announced February 2016.
-
A Morita theorem for modular finite W-algebras
Authors:
Lewis Topley
Abstract:
We consider the Lie algebra $\mathfrak{g}$ of a simple, simply connected algebraic group over a field of large positive characteristic. For each nilpotent orbit $\mathcal{O} \subseteq \mathfrak{g}$ we choose a representative $e\in \mathcal{O}$ and attach a certain filtered, associative algebra $\widehat{U}(\mathfrak{g},e)$ known as a finite $W$-algebra, defined to be the opposite endomorphism ring…
▽ More
We consider the Lie algebra $\mathfrak{g}$ of a simple, simply connected algebraic group over a field of large positive characteristic. For each nilpotent orbit $\mathcal{O} \subseteq \mathfrak{g}$ we choose a representative $e\in \mathcal{O}$ and attach a certain filtered, associative algebra $\widehat{U}(\mathfrak{g},e)$ known as a finite $W$-algebra, defined to be the opposite endomorphism ring of the generalised Gelfand-Graev module associated to $(\mathfrak{g}, e)$. This is shown to be Morita equivalent to a certain central reduction of the envelo** algebra of $U(\mathfrak{g})$. The result may be seen as a modular version of Skryabin's equivalence.
△ Less
Submitted 19 May, 2016; v1 submitted 14 May, 2015;
originally announced May 2015.
-
Centralisers in Classical Lie Algebras
Authors:
Lewis William Topley
Abstract:
In this thesis we discuss some properties of centralisers in classical Lie algebas and related structures. Our results follow three distinct but related themes: the modular representation theory of centralisers, the sheets of simple Lie algebras and the representation theory of finite W-algebras and envelo** algebras.
In this thesis we discuss some properties of centralisers in classical Lie algebas and related structures. Our results follow three distinct but related themes: the modular representation theory of centralisers, the sheets of simple Lie algebras and the representation theory of finite W-algebras and envelo** algebras.
△ Less
Submitted 10 October, 2013;
originally announced October 2013.
-
Derived subalgebras of centralisers and finite W-algebras
Authors:
Alexander Premet,
Lewis Topley
Abstract:
Let g = Lie(G) be the Lie algebra of a simple algebraic group G over an algebraically closed field of characteristic 0. Let e be a nilpotent element of g and let g_e = Lie(G_e) where G_e stands for the stabiliser of e in G. For g classical, we give an explicit combinatorial formula for the codimension of [g_e, g_e] in g_e and use it to determine those e in g for which the largest commutative quoti…
▽ More
Let g = Lie(G) be the Lie algebra of a simple algebraic group G over an algebraically closed field of characteristic 0. Let e be a nilpotent element of g and let g_e = Lie(G_e) where G_e stands for the stabiliser of e in G. For g classical, we give an explicit combinatorial formula for the codimension of [g_e, g_e] in g_e and use it to determine those e in g for which the largest commutative quotient U(g,e)^{ab} of the finite W-algebra U(g,e) is isomorphic to a polynomial algebra. It turns out that this happens if and only if e lies in a unique sheet of g. The nilpotent elements with this property are called non-singular in the paper. Confirming a recent conjecture of Izosimov we prove that a nilpotent element e in g is non-singular if and only if the maximal dimension of the geometric quotients S/G, where S is a sheet of g containing e, coincides with the codimension of [g_e,g_e] in g_e and describe all non-singular nilpotent elements in terms of partitions. We also show that for any nilpotent element e in a classical Lie algebra g the closed subset of Specm U(g,e)^{ab} consisting of all points fixed by the natural action of the component group of G_e is isomorphic to an affine space. Analogues of these results for exceptional Lie algebras are also obtained and applications to the theory of primitive ideals are given.
△ Less
Submitted 9 November, 2013; v1 submitted 20 January, 2013;
originally announced January 2013.
-
Invariants of Centralisers in Positive Characteristic
Authors:
Lewis Topley
Abstract:
Let \q be a simple algebraic group of type A or C over a field of good positive characteristic. We show for any x \in \q =\Lie(Q) that the invariant algebra S(\q_x)^{\q_x} is generated by the p^{th} power subalgebra and the mod p reduction of the characteristic zero invariant algebra. The latter algebra is known to be polynomial \cite{PPY} and we show that it remains so after reduction. Using a th…
▽ More
Let \q be a simple algebraic group of type A or C over a field of good positive characteristic. We show for any x \in \q =\Lie(Q) that the invariant algebra S(\q_x)^{\q_x} is generated by the p^{th} power subalgebra and the mod p reduction of the characteristic zero invariant algebra. The latter algebra is known to be polynomial \cite{PPY} and we show that it remains so after reduction. Using a theory of symmetrisation in positive characteristic we prove the analogue of this result in the envelo** algebra, where the p-centre plays the role of the p^{th} power subalgebra. In Zassenhaus' foundational work \cite{Zas}, the invariant theory and representation theory of modular Lie algebras were shown to be explicitly intertwined. We exploit his theory to give a precise upper bound for the dimensions of simple \q_x-modules.
When \g is of type A and \g = \k \oplus \p is a symmetric decomposition of orthogonal type we use similar methods to show that for every nilpotent e \in \k the invariant algebra S(\p_e)^{\k_e} is generated by the p^{th} power subalgebra and S(\p_e)^{K_e} which is also shown to be polynomial.
△ Less
Submitted 28 January, 2013; v1 submitted 10 August, 2011;
originally announced August 2011.