Showing 1–13 of 13 results for author: Westaway, M

Two problems in the representation theory of reduced enveloping algebras

Authors: Matthew Westaway

Abstract: In this paper we consider two problems relating to the representation theory of Lie algebras ${\mathfrak g}$ of reductive algebraic groups $G$ over algebraically closed fields ${\mathbb K}$ of positive characteristic $p>0$. First, we consider the tensor product of two baby Verma modules $Z_χ(λ)\otimes Z_{χ'}(μ)$ and show that it has a filtration of baby Verma modules of a particular form. Secondly… ▽ More In this paper we consider two problems relating to the representation theory of Lie algebras ${\mathfrak g}$ of reductive algebraic groups $G$ over algebraically closed fields ${\mathbb K}$ of positive characteristic $p>0$. First, we consider the tensor product of two baby Verma modules $Z_χ(λ)\otimes Z_{χ'}(μ)$ and show that it has a filtration of baby Verma modules of a particular form. Secondly, we consider the minimal-dimension representations of a reduced enveloping algebra $U_χ({\mathfrak g})$ for a nilpotent $χ\in{\mathfrak g}^{*}$. We show that under certain assumptions in type $A$ we can obtain the minimal-dimensional modules as quotients of certain modules obtained by base change from simple highest weight modules over ${\mathbb C}$. △ Less

Submitted 16 December, 2024; v1 submitted 26 September, 2024; originally announced September 2024.

Comments: 33 pages. Version 2: Minor corrections

MSC Class: 17B10; 17B50 (Primary); 17B08; 17B20 (Secondary)

Birational induction of nilpotent orbit covers in exceptional types

Authors: Matthew Westaway

Abstract: Let $G$ be a semisimple simply connected algebraic group over ${\mathbb C}$ of exceptional type. For each $G$-equivariant nilpotent cover of a nilpotent coadjoint $G$-orbit ${\mathbb O}$, we determine the unique birationally rigid induction datum from which it is birationally induced. Let $G$ be a semisimple simply connected algebraic group over ${\mathbb C}$ of exceptional type. For each $G$-equivariant nilpotent cover of a nilpotent coadjoint $G$-orbit ${\mathbb O}$, we determine the unique birationally rigid induction datum from which it is birationally induced. △ Less

Submitted 4 December, 2023; originally announced December 2023.

Comments: 49 pages, 5 tables

MSC Class: 17B08 (Primary); 17B20; 22E60 (Secondary)

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)

Tilting modules and highest weight theory for reduced enveloping algebras

Authors: Matthew Westaway

Abstract: Let $G$ be a reductive algebraic group over an algebraically closed field of characteristic $p>0$, and let ${\mathfrak g}$ be its Lie algebra. Given $χ\in{\mathfrak g}^{*}$ in standard Levi form, we study a category ${\mathscr C}_χ$ of graded representations of the reduced enveloping algebra $U_χ({\mathfrak g})$. Specifically, we study the effect of translation functors and wall-crossing functors… ▽ More Let $G$ be a reductive algebraic group over an algebraically closed field of characteristic $p>0$, and let ${\mathfrak g}$ be its Lie algebra. Given $χ\in{\mathfrak g}^{*}$ in standard Levi form, we study a category ${\mathscr C}_χ$ of graded representations of the reduced enveloping algebra $U_χ({\mathfrak g})$. Specifically, we study the effect of translation functors and wall-crossing functors on various highest-weight-theoretic objects in ${\mathscr C}_χ$, including tilting modules. We also develop the theory of canonical $Δ$-flags and $\overline{\nabla}$-sections of $Δ$-flags, in analogy with similar concepts for algebraic groups studied by Riche and Williamson. △ Less

Submitted 24 August, 2023; originally announced August 2023.

Comments: 45 pages

MSC Class: Primary: 17B10; Secondary: 17B35; 17B45; 17B50

A note on Humphreys' conjecture on blocks

Authors: Matthew Westaway

Abstract: Humphreys' conjecture on blocks parametrises the blocks of reduced enveloping algebras $U_χ({\mathfrak g})$, where ${\mathfrak g}$ is the Lie algebra of a reductive algebraic group over an algebraically closed field of characteristic $p>0$ and $χ\in{\mathfrak g}^{*}$. It is well-known to hold under Jantzen's standard assumptions. We note here that it holds under slightly weaker assumptions, by uti… ▽ More Humphreys' conjecture on blocks parametrises the blocks of reduced enveloping algebras $U_χ({\mathfrak g})$, where ${\mathfrak g}$ is the Lie algebra of a reductive algebraic group over an algebraically closed field of characteristic $p>0$ and $χ\in{\mathfrak g}^{*}$. It is well-known to hold under Jantzen's standard assumptions. We note here that it holds under slightly weaker assumptions, by utilising the full generality of certain results in the literature. We also provide a new approach to prove the result for ${\mathfrak g}$ of type $G_2$ in characteristic 3, a case in which the previously mentioned weaker assumptions do not hold. This approach requires some dimensional calculations for certain centralisers, which we conduct in the Appendix for all the exceptional Lie algebras in bad characteristic. △ Less

Submitted 7 March, 2022; v1 submitted 21 November, 2021; originally announced November 2021.

Comments: Main paper: 8 pages; Appendix: 8 pages. Version 2: Table added

MSC Class: Primary: 17B35; 17B50; Secondary: 16D70; 17B10

Journal ref: Algebr Represent Theor (2022)

On graded representations of modular Lie algebras over commutative algebras

Authors: Matthew Westaway

Abstract: We develop the theory of a category ${\mathscr C}_A$ which is a generalisation to non-restricted ${\mathfrak g}$-modules of a category famously studied by Andersen, Jantzen and Soergel for restricted ${\mathfrak g}$-modules, where ${\mathfrak g}$ is the Lie algebra of a reductive group $G$ over an algebraically closed field ${\mathbb K}$ of characteristic $p>0$. Its objects are certain graded bimo… ▽ More We develop the theory of a category ${\mathscr C}_A$ which is a generalisation to non-restricted ${\mathfrak g}$-modules of a category famously studied by Andersen, Jantzen and Soergel for restricted ${\mathfrak g}$-modules, where ${\mathfrak g}$ is the Lie algebra of a reductive group $G$ over an algebraically closed field ${\mathbb K}$ of characteristic $p>0$. Its objects are certain graded bimodules. On the left, they are graded modules over an algebra $U_χ$ associated to ${\mathfrak g}$ and to $χ\in{\mathfrak g}^{*}$ in standard Levi form. On the right, they are modules over a commutative Noetherian $S({\mathfrak h})$-algebra $A$, where ${\mathfrak h}$ is the Lie algebra of a maximal torus of $G$. We develop here certain important modules $Z_{A,χ}(λ)$, $Q_{A,χ}^I(λ)$ and $Q_{A,χ}(λ)$ in ${\mathscr C}_A$ which generalise familiar objects when $A={\mathbb K}$, and we prove some key structural results regarding them. △ Less

Submitted 17 December, 2021; v1 submitted 9 June, 2021; originally announced June 2021.

Comments: 49 pages. v2: Index of notation added and minor changes made

MSC Class: 17B50 (Primary) 13C60; 17B10; 18G05 (Secondary)

Centrification of Algebras and Hopf Algebras

Authors: Dmitriy Rumynin, Matthew Westaway

Abstract: We investigate a method of construction of central deformations of associative algebras, which we call centrification. We prove some general results in the case of Hopf algebras and provide several examples. We investigate a method of construction of central deformations of associative algebras, which we call centrification. We prove some general results in the case of Hopf algebras and provide several examples. △ Less

Submitted 16 March, 2021; v1 submitted 27 January, 2020; originally announced January 2020.

Comments: Version 2: many minor improvements, one minor correction. Version 3: further minor improvements, close to the final published version. To appear in Canadian Mathematical Bulletin

MSC Class: Primary 16S15; Secondary 16T05

Higher Deformations of Lie Algebra Representations II

Authors: Matthew Westaway

Abstract: Steinberg's tensor product theorem shows that for semisimple algebraic groups the study of irreducible representations of higher Frobenius kernels reduces to the study of irreducible representations of the first Frobenius kernel. In the preceding paper in this series, deforming the distribution algebra of a higher Frobenius kernel yielded a family of deformations called higher reduced enveloping a… ▽ More Steinberg's tensor product theorem shows that for semisimple algebraic groups the study of irreducible representations of higher Frobenius kernels reduces to the study of irreducible representations of the first Frobenius kernel. In the preceding paper in this series, deforming the distribution algebra of a higher Frobenius kernel yielded a family of deformations called higher reduced enveloping algebras. In this paper we prove that Steinberg decomposition can be similarly deformed, allowing us to reduce representation theoretic questions about these algebras to questions about reduced enveloping algebras. We use this to derive structural results about modules over these algebras. Separately, we also show that many of the results in the preceding paper hold without an assumption of reductivity. △ Less

Submitted 31 January, 2022; v1 submitted 24 April, 2019; originally announced April 2019.

Comments: 22 pages. Version 2: Minor corrections and clarifications. Version 3: Corrections and clarifications. Final version, published by Nagoya Mathematical Journal

MSC Class: 17B10 (Primary); 17B35; 17B50; 20G05 (Secondary)

Journal ref: Nagoya Math. J., 244 (2021), 232-255

Integration of Modules II: Exponentials

Authors: Dmitriy Rumynin, Matthew Westaway

Abstract: We continue our exploration of various approaches to integration of representations from a Lie algebra $\mbox{Lie} (G)$ to an algebraic group $G$ in positive characteristic. In the present paper we concentrate on an approach exploiting exponentials. This approach works well for over-restricted representations, introduced in this paper, and takes no note of $G$-stability. We continue our exploration of various approaches to integration of representations from a Lie algebra $\mbox{Lie} (G)$ to an algebraic group $G$ in positive characteristic. In the present paper we concentrate on an approach exploiting exponentials. This approach works well for over-restricted representations, introduced in this paper, and takes no note of $G$-stability. △ Less

Submitted 30 March, 2021; v1 submitted 23 July, 2018; originally announced July 2018.

Comments: Accepted by Transactions of the AMS. This paper is split off the earlier versions (1, 2 and 3) of arXiv:1708.06620. Some of the statements in these versions of arXiv:1708.06620 contain mistakes corrected here. Version 2 of this paper: close to the accepted version by the journal, minor improvements, compared to Version 1

MSC Class: 20G05 (primary); 17B45 (secondary)

Higher Deformations of Lie Algebra Representations I

Authors: Matthew Westaway

Abstract: In the late 1980s, Friedlander and Parshall studied the representations of a family of algebras which were obtained as deformations of the distribution algebra of the first Frobenius kernel of an algebraic group. The representation theory of these algebras tells us much about the representation theory of Lie algebras in positive characteristic. We develop an analogue of this family of algebras for… ▽ More In the late 1980s, Friedlander and Parshall studied the representations of a family of algebras which were obtained as deformations of the distribution algebra of the first Frobenius kernel of an algebraic group. The representation theory of these algebras tells us much about the representation theory of Lie algebras in positive characteristic. We develop an analogue of this family of algebras for the distribution algebras of the higher Frobenius kernels, answering a 30 year old question posed by Friedlander and Parshall. We also examine their representation theory in the case of the special linear group. △ Less

Submitted 7 January, 2020; v1 submitted 2 July, 2018; originally announced July 2018.

Comments: 30 pages. Version 2: Minor corrections. Version 3: Changes to Sections 4 and 7 and corrections throughout. Version 4: Changes to Section 7 and other edits throughout. Accepted for publication by the Journal of the Mathematical Society of Japan

Journal ref: J. Math. Soc. Japan, 73 (2021), 221--261

Covering Groups of Nonconnected Topological Groups and 2-Groups

Authors: Dmitriy Rumynin, Demyan Vakhrameev, Matthew Westaway

Abstract: We investigate the universal cover of a topological group that is not necessarily connected. Its existence as a topological group is governed by a Taylor cocycle, an obstruction in 3-cohomology. Alternatively, it always exists as a topological 2-group. The splitness of this 2-group is also governed by an obstruction in 3-cohomology, a Sinh cocycle. We give explicit formulas for both obstructions a… ▽ More We investigate the universal cover of a topological group that is not necessarily connected. Its existence as a topological group is governed by a Taylor cocycle, an obstruction in 3-cohomology. Alternatively, it always exists as a topological 2-group. The splitness of this 2-group is also governed by an obstruction in 3-cohomology, a Sinh cocycle. We give explicit formulas for both obstructions and show that they are inverse of each other. △ Less

Submitted 26 March, 2019; v1 submitted 27 September, 2017; originally announced September 2017.

Comments: 9 pages. Version 2: historical review added. Version 3 (14 pages): historical review revised, minor corrections elsewhere, some of the results did not make it into the final version. Version 4: final journal version with a slightly different (to Version 3) approach

MSC Class: Primary 22E20; Secondary 18D05; 20J05

Integration of Modules I: Stability

Authors: Dmitriy Rumynin, Matthew Westaway

Abstract: We explore the integration of representations from a Lie algebra to its algebraic group in positive characteristic. An integrable module is stable under the twists by group elements. Our aim is to investigate cohomological obstructions for passing from stability to an algebraic group action. As an application, we prove integrability of bricks for a semisimple algebraic group. We explore the integration of representations from a Lie algebra to its algebraic group in positive characteristic. An integrable module is stable under the twists by group elements. Our aim is to investigate cohomological obstructions for passing from stability to an algebraic group action. As an application, we prove integrability of bricks for a semisimple algebraic group. △ Less

Submitted 7 January, 2019; v1 submitted 22 August, 2017; originally announced August 2017.

Comments: Version 2: Some changes in terminology, examples of over-restricted modules are added. Version 3: mistakes in tables are corrected. Version 4: major revision, the paper is split into two parts, the exponential part is published separately (see arXiv:1807.08698). Version 5: minor corrections. Version 6: final, minor corrections

MSC Class: 20G05 (Primary); 17B45 (Secondary)

Journal ref: Pacific J. Math. 301 (2019) 575-600

$K_2$ of Kac-Moody Groups

Authors: Matthew Westaway

Abstract: Ulf Rehmann and Jun Morita, in their 1989 paper "A Matsumoto-type theorem for Kac-Moody groups", gave a presentation of $K_2(A,F)$ for any generalised Cartan matrix $A$ and field $F$. The purpose of this paper is to use this presentation to compute $K_2(A,F)$ more explicitly in the case when $A$ is hyperbolic. In particular, we shall show that these $K_2(A,F)$ can always be expressed as a product… ▽ More Ulf Rehmann and Jun Morita, in their 1989 paper "A Matsumoto-type theorem for Kac-Moody groups", gave a presentation of $K_2(A,F)$ for any generalised Cartan matrix $A$ and field $F$. The purpose of this paper is to use this presentation to compute $K_2(A,F)$ more explicitly in the case when $A$ is hyperbolic. In particular, we shall show that these $K_2(A,F)$ can always be expressed as a product of quotients of $K_2(F)$ and $K_2(2,F)$. Along the way, we shall also prove a similar result in the case when $A$ has an odd entry in each column. △ Less

Submitted 5 April, 2017; v1 submitted 7 July, 2016; originally announced July 2016.

Comments: 25 pages

MSC Class: 19C20 (Primary) 17B67 (Secondary)