Related papers: Nilpotent algebras, implicit function theorem, and…

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…

The set of linear, differential operators preserving the vector space of couples of polynomials of degrees n and n-2 in one real variable leads to an abstract associative graded algebra A(2). The irreducible, finite dimensional…

We prove the existence of a model companion of the two-sorted theory of $c$-nilpotent Lie algebras over a field satisfying a given theory of fields. We describe a language in which it admits relative quantifier elimination up to the field…

We construct quasiisometries of nilpotent Lie groups. In particular, for any simply connected nilpotent Lie group N, we construct quasiisometries from N to itself that is not at finite distance from any map that is a composition of left…

In this study, we classify some soliton nilpotent Lie algebras and possible candidates in dimension 8 and 9 up to isomorphy. We focus on 1 < 2 < ::: < n type of derivations where n is the dimension of the Lie algebras. We present algorithms…

We classify the twisted tensor products of a finite set algebra with a two elements set algebra using colored quivers obtained through considerations analogous to Ore extensions. This provides also a classification of entwining structures…

In this paper, we explore the algebra of quantum idempotents and the quantization of fermions which gives rise to a Hilbert space equal to the Grassmann algebra associated with the Lie algebra. Since idempotents carry representations of the…

We prove an implicit function theorem for functions on infinite-dimensional Banach manifolds, invariant under the (local) action of a finite dimensional Lie group. Motivated by some geometric variational problems, we consider group actions…

Over a field of characteristic zero, we show that two commutative differential graded (dg) algebras are quasi-isomorphic if and only if they are quasi-isomorphic as associative dg algebras. This answers a folklore problem in rational…

We describe homogeneous locally nilpotent derivations of the algebra of regular functions for a class of affine trinomial hypersurfaces. This class comprises all non-factorial trinomial hypersurfaces.

We study the algebras of derivations of nilpotent Leibniz algebras of low dimensions.

In this article, we discuss the category $\mathcal{SN}_2$ where the objects are finite-dimensional nilpotent Lie superalgebras of class two and the category $\mathcal{SSKE}$ where the objects are skew-supersymmetric bilinear maps. We…

We extend the notion of semi-infinite cohomology of Lie algebras to include cases where the Lie algebra does not admit a semi-infinite structure but satisfies a mild condition. Our construction clarifies the definition of affine W-algebras…

We present the classification of real nilpotent quasi-filiform Lie algebras endowed with a complex structure. A nilpotent Lie algebra g is called quasi-filiform is the nilindex is equal to dim(n)-2. We recall that the filiform case…

Results about the following classes of finite-dimensional Lie algebras over a field of characteristic zero are presented: anisotropic (i.e., Lie algebras for which each adjoint operator is semisimple), regular (i.e., Lie algebras in which…

The goal of this paper is to extend the standard invariant-theoretic design, well-developed in the reductive case, to the setting of representation of certain non-reductive groups. This concerns the following notions and results: the…

We introduce nilpotent k-ary Lie algebras including analogues of Heisenberg Lie algebras and free nilpotent Lie algebras. We study homology of k-ary nilpotent Lie algebras by using a modification of Chevalley-Eilenberg complex. For some…

We consider a class of finite-dimensional algebras, the so-called "Staircase algebras" parametrized by Young diagrams. We develop a complete classification of representation types of these algebras and look into finite, tame (concealed) and…

The class of $\D$-locally nilpotent algebras (introduced in the paper) is a wide generalization of the algebras of differential operators on commutative algebras. Examples includes all the rings $\CD (A)$ of differential operators on…

Suppose a finite group acts on a scheme X and a finite-dimensional Lie algebra g. The corresponding equivariant map algebra is the Lie algebra M of equivariant regular maps from X to g. We classify the irreducible finite-dimensional…