EPSRC Reference: 
EP/T018844/1 
Title: 
Enveloping algebras of infinitedimensional Lie algebras 
Principal Investigator: 
Sierra, Dr S J 
Other Investigators: 

Researcher CoInvestigators: 

Project Partners: 

Department: 
Sch of Mathematics 
Organisation: 
University of Edinburgh 
Scheme: 
Standard Research 
Starts: 
01 September 2020 
Ends: 
31 August 2024 
Value (£): 
555,385

EPSRC Research Topic Classifications: 

EPSRC Industrial Sector Classifications: 
No relevance to Underpinning Sectors 


Related Grants: 

Panel History: 

Summary on Grant Application Form 
Mathematicians are interested in symmetry, and often model symmetry through an algebraic structure called a ring. Most rings encountered "in nature" are noncommutative: the order of operations matters. In the real world the order of operations also matters: putting on your socks before putting on your shoes gives a different result than putting on your shoes before your socks! Less frivolously, the order also matters when moving in threedimensional space, which is why most graphics software (such as video games, and also medical imaging software) uses a noncommutative ring called the quaternions to do calculations.
The symmetries of a geometric object are often modelled through an object called a Lie algebra. Lie algebras, in turn, are associated with noncommutative rings called enveloping algebras. Lie algebras are often studied through their representations, which echo the symmetry encoded in the Lie algebra. The properties of the Lie algebra and the enveloping algebra tend to depend, subtly and powerfully, on the structure of representations of the Lie algebra.
The usual geometric objects that mathematicians study have finitely many dimensions: for example, the space we move around in is threedimensional. In order to do the delicate and complicated calculations involved in quantum mechanics, however, physicists need to study spaces that have infinitely many dimensions. Their symmetries are encoded in infinitedimensional Lie algebras.
A famous infinitedimensional Lie algebra is called the Virasoro algebra, which is renowned in mathematics and physics. It may be viewed as a mathematical model of statistical mechanics, and so is of deep importance to physics.
Infinitedimensional Lie algebras and their enveloping algebras are famously difficult to understand. For example, it has been known for almost 100 years that the enveloping algebras of finitedimensional Lie algebras have a property called 'noetherian', named for the German mathematician Emmy Noether. Rings that are noetherian are relatively wellbehaved; those that are not noetherian are more exotic. However, nobody knows if it is even possible for the enveloping algebra of an infinitedimensional Lie algebra to be noetherian. This question was first asked in print 45 years ago, and very little progress had been made on it until I proved, in 2013, that the enveloping algebra of the Virasoro Lie algebra is not noetherian. This proof used the geometry of representations of the Virasoro algebra and so demonstrated the power of geometric techniques to understand algebraic problems.
The main objective of this proposal is to prove that it is not possible for an infinitedimensional Lie algebra to have a noetherian enveloping algebra. I will do this through a variety of methods, many focused on understanding the geometry of families of representations of infinitedimensional Lie algebras. Understanding this will have applications to physics as well as other areas of mathematics.

Key Findings 
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk

Potential use in nonacademic contexts 
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk

Impacts 
Description 
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk 
Summary 

Date Materialised 


Sectors submitted by the Researcher 
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk

Project URL: 

Further Information: 

Organisation Website: 
http://www.ed.ac.uk 