Related papers: A minimal Gr\"obner basis for simple $\mathfrak{sl…
We characterise the symplectic Weyl group elements such that the FFLV basis is compatible with the PBW filtration on symplectic Demazure modules, extending type A results by the second author. Surprisingly, the number of such elements…
We study the PBW filtration on the highest weight representations $V(\la)$ of $\msl_{n+1}$. This filtration is induced by the standard degree filtration on $U(\n^-)$. We give a description of the associated graded $S(\n^-)$-module $gr…
We consider degenerations of all simple Lie algebras of exceptional type obtained by embedding into affine Lie algebras. We give a filtration to consider this as an abelianisation of the original Lie algebra. We then show that the…
We describe a new method to determine faithful representations of small dimension for a finite dimensional nilpotent Lie algebra. We give various applications of this method. In particular we find a new upper bound on the minimal dimension…
We establish doubly-exponential degree bounds for Gr\"obner bases in certain algebras of solvable type over a field (as introduced by Kandri-Rody and Weispfenning). The class of algebras considered here includes commutative polynomial…
A parabolic subalgebra $\mathfrak{p}$ of a complex semisimple Lie algebra $\mathfrak{g}$ is called a parabolic subalgebra of abelian type if its nilpotent radical is abelian. In this paper, we provide a complete characterization of the…
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)$…
One of the algebraic structures that has emerged recently in the study of the operator product expansions of chiral fields in conformal field theory is that of a Lie conformal algebra [K]. A Lie pseudoalgebra is a generalization of the…
We consider the finite W-superalgebras for a basic classical Lie superalgebra g associated with an even nilpotent element in g both over the field of complex numbers field and and over a filed of positive characteristic. We present the PBW…
Let $\mathfrak{g}$ be a semisimple complex Lie algebra, and let $W$ be a finite subgroup of $\mathbb{C}$-algebra automorphisms of the enveloping algebra $U(\mathfrak{g})$. We show that the derived category of $U(\mathfrak{g})^W$-modules…
In this note, we study the Hilbert-Poincar\'e polynomials for the PBW-graded of simple modules for a simple complex Lie algebra. The computation of their degree can be reduced to modules of fundamental highest weight. We provide these…
We consider principal subspaces $W_{L(k\Lambda_0)}$ and $W_{N(k\Lambda_0)}$ of standard module $L(k\Lambda_0)$ and generalized Verma module $N(k\Lambda_0)$ at level $k\geq 1$ for affine Lie algebra of type $B_2^{(1)}$. By using the theory…
In this paper we formulate a conjecture about the minimal dimensional representations of the finite $W$-superalgebra $U(\mathfrak{g}_\bbc,e)$ over the field of complex numbers and demonstrate it with examples including all the cases of type…
We construct a bijection between admissible representations for an affine Lie algebra $\mathfrak{g}$ at boundary admissible levels and $\mathbb{C}^\times$ fixed points in homogeneous elliptic affine Springer fibres for the Langlands dual…
In this work we develop the theory of Gr\"obner bases for modules over the ring of univariate linearized polynomials with coefficients from a finite field.
We develop the homological theory of KLR algebras of symmetric affine type. For each PBW basis, a family of standard modules is constructed which categorifies the PBW basis.
We study minimal generating subspaces of "weak PBW type" for vertex operator algebras that satisfy a certain condition on the grading, and we develop a procedure for finding such subspaces. As applications, we derive some results on…
We present a formalization of Gr\"obner basis theory in Lean 4, built on top of Mathlib's infrastructure for multivariate polynomials and monomial orders. Our development covers the core foundations of Gr\"obner basis theory, including…
We give uniform formulas for the branching rules of level 1 modules over orthogonal affine Lie algebras for all conformal pairs associated to symmetric spaces. We also provide a combinatorial intepretation of these formulas in terms of…
In this paper we construct bases of standard (i.e. integrable highest weight) modules $L(\Lambda)$ for affine Lie algebra of type $B_2\sp{(1)}$ consisting of semi-infinite monomials. The main technical ingredient is a construction of…