Related papers: A Feigin-Frenkel theorem with n singularities

It has been proved by the author [arXiv: 2404.19433] that the Arens-Michael envelope of a solvable Lie algebra is a homological epimorphism. We show here that for algebras of analytic functionals on a connected complex Lie group the…

We develop algebraic geometry for general Segal's Gamma-rings and show that this new theory unifies two approaches we had considered earlier on (for a geometry under Spec Z). The starting observation is that the category obtained by gluing…

Let $\mathcal{C}:=\mathcal{C}(G,\omega,H,\psi)$ be a finite group scheme-theoretical category over an algebraically closed field of characteristic $p\ge 0$ as defined by the first author. For any indecomposable exact module category over…

Let $A_n$ be the $n$-th Weyl algebra, and let $G\subset\Sp_{2n}(\C)\subset\Aut(A_n)$ be a finite group of linear automorphisms of $A_n$. In this paper we compute the multiplicative structure on the Hochschild cohomology $\HH^*(A_n^G)$ of…

In order to understand the structure of the cohomologies involved in the study of projectively equivariant quantizations, we introduce a notion of affine representation of a Lie algebra.We show how it is related to linear representations…

We study the Leibniz $n$-algebra $\textbf{U}_n(\mathfrak{L})$, whose multiplication is defined via the bracket of a Leibniz algebra $\mathfrak{L}$ as $[x_1,\dots,x_n]=[x_1,[\dots, [x_{n-2},[x_{n-1},x_n]]\dots]]$. We show that…

We propose a generalisation for the notion of the centre of an algebra in the setup of algebras graded by an arbitrary abelian group G. Our generalisation, which we call the G-centre, is designed to control the endomorphism category of the…

The decomposition problem of the enveloping algebra of a simple Lie algebra is reconsidered combining both the analytical and the algebraic approach, showing its relation with the internal labelling problem with respect to a nilpotent…

We consider a Borel subalgebra $\fg$ of the general linear algebra and its subalgebra $\BB$ which is a Borel subalgebra of the special linear algebra, over arbitrary field. Let $\cL\in\{\fg, \BB\}$. We establish here explicit realizations…

We establish structure results for Frobenius kernels of automorphism group schemes for surfaces of general type in positive characteristics. It turns out that there are surprisingly few possibilities. This relies on properties of the famous…

For a finite group $G,$ we define the concept of $G$-partial permutation and use it to show that the structure coefficients of the center of the wreath product $G\wr \mathcal{S}_n$ algebra are polynomials in $n$ with non-negative integer…

We introduce fusion, contragradient and braiding of Hilbert affine representations of a subfactor planar algebra $P$ (not necessarily having finite depth). We prove that if $N \subset M$ is a subfactor realization of $P$, then the Drinfeld…

The rings of symmetric polynomials form an inverse system whose limit, the ring of symmetric functions, is the model for the bosonic Fock space representation of the affine Lie algebra. We categorify this construction by considering an…

Gaudin algebra is the commutative subalgebra in $U(\mathfrak{g})^{\otimes N}$ generated by higher integrals of the quantum Gaudin magnet chain attached to a semisimple Lie algebra $\mathfrak{g}$. This algebra depends on a collection of…

For a certain class of Lie bialgebras $(A,A^*)$ the corresponding quantum universal enveloping algebras $U_q(A)$ are prooved to be equivalent to quantum groups Fun$_q(F^*)$, $F^*$ being the factor group for the dual group $G^*$. This…

We characterize the structure of a seven-dimensional Lie algebra with non-trivial center endowed with a closed G$_2$-structure. Using this result, we classify all unimodular Lie algebras with non-trivial center admitting closed…

Using group actions and orbit-stabilizer methods, we study the geometry of isomorphism classes of finite-dimensional $\omega$-Lie algebras over a field $\mathbb{K}$ of characteristic $\neq 2$ and establish a one-to-one correspondence…

Let $\mathfrak g$ be an affine Lie algebra with index set $I = \{0, 1, 2, \cdots , n\}$ and ${\mathfrak g}^L$ be its Langlands dual. It is conjectured by Kashiwara et al.([16]) that for each $k \in I \setminus \{0\}$ the affine Lie algebra…

Let $k$ be a noetherian commutative ring and let $G$ be a finite flat group scheme over $k$. Let $G$ act rationally on a finitely generated commutative $k$-algebra $A$. We show that the cohomology algebra $H^*(G,A)$ is a finitely generated…

We present a formalization, in the theorem prover Lean, of the classification of solvable Lie algebras of dimension at most three over arbitrary fields. Lie algebras are algebraic objects which encode infinitesimal symmetries, and as such…