Projects per year
Abstract
Let W=C[t,t−1]∂t be the Witt algebra of algebraic vector fields on C× and let Vir be the Virasoro algebra, the unique nontrivial central extension of W. In this paper, we study the Poisson ideal structure of the symmetric algebras of Vir and W, as well as several related Lie algebras. We classify prime Poisson ideals and Poisson primitive ideals of S(Vir) and S(W). In particular, we show that the only functions in W∗ which vanish on a nontrivial Poisson ideal (that is, the only maximal ideals of S(W) with a nontrivial Poisson core) are given by linear combinations of derivatives at a finite set of points; we call such functions local. Given a local function χ∈W∗, we construct the associated Poisson primitive ideal through computing the algebraic symplectic leaf of χ, which gives a notion of coadjoint orbit in our setting.
As an application, we prove a structure theorem for subalgebras of Vir of finite codimension and show in particular that any such subalgebra of Vir contains the central element z, substantially generalising a result of Ondrus and Wiesner on subalgebras of codimension 1. As a consequence, we deduce that S(Vir)/(z−λ) is Poisson simple if and only if λ≠0.
As an application, we prove a structure theorem for subalgebras of Vir of finite codimension and show in particular that any such subalgebra of Vir contains the central element z, substantially generalising a result of Ondrus and Wiesner on subalgebras of codimension 1. As a consequence, we deduce that S(Vir)/(z−λ) is Poisson simple if and only if λ≠0.
Original language | English |
---|---|
Pages (from-to) | 933-984 |
Journal | Compositio Mathematica |
Volume | 159 |
Issue number | 5 |
Early online date | 18 Apr 2023 |
Publication status | Published - 30 May 2023 |
Fingerprint
Dive into the research topics of 'The Poisson spectrum of the symmetric algebra of the Virasoro algebra'. Together they form a unique fingerprint.Projects
- 1 Finished
-
Enveloping algebras of infinite-dimensional Lie algebras
Sierra, S. (Principal Investigator)
2/11/20 → 1/11/24
Project: Research