Related papers: Endofunctors and Poincar\'e-Birkhoff-Witt theorems
For q generic or a primitive l-th root of unity, q-Witt algebras are described by means of q-divided power algebras. The structure of the universal q-central extension of the q-Witt algebra, the q-Virasoro algebra, is also determined. q-Lie…
We settle several questions about the theory of universal deformation quantization of Lie bialgebras by giving their complete classification up to homotopy equivalence. An important new technical ingredient introduced in this paper is an…
We deform Heisenberg algebra and corresponding coalgebra by twist. We present undeformed and deformed tensor identities. Coalgebras for the generalized Poincar\'{e} algebras have been constructed. The exact universal $R$-matrix for the…
We prove a generalization of the classical Poincar\'e--Birkhoff theorem for Liouville domains, in arbitrary even dimensions. This is inspired by the existence of global hypersurfaces of section for the spatial case of the restricted…
We define a simple kind of higher inductive type generalising dependent $W$-types, which we refer to as $W$-types with reductions. Just as dependent $W$-types can be characterised as initial algebras of certain endofunctors (referred to as…
The algebra generated by the down and up operators on a differential partially ordered set (poset) encodes essential enumerative and structural properties of the poset. Motivated by the algebras generated by the down and up operators on…
We study PBW bases of the untwisted quantum loop group $U_q(L\mathfrak{g})$ (in the Drinfeld new presentation) using the combinatorics of loop words, by generalizing the treatment of [29,30,43] in the finite type case. As an application, we…
A commutative residuated lattice A is said to be subidempotent if the lower bounds of its neutral element e are idempotent (in which case they naturally constitute a Brouwerian algebra A*). It is proved here that epimorphisms are surjective…
In this paper we provide an explicit construction of star products on U(g)-module algebras by using the Fedosov approach. This construction allows us to give a constructive proof to Drinfel'd theorem and to obtain a concrete formula for…
We apply the effective integration theory of Lie-graph algebras, developed recently by the authors, to the deformation and homotopy theories of types of bialgebras, that is structures controlled by a properad, like associative bialgebras,…
Let $(\mathfrak{g},[p])$ be a finite dimensional restricted Lie algebra over a perfect field $\mathbbm{k}$ of characteristic $p\!\ge \!3$. By combining methods from recent work of Benson-Carlson \cite{BC20} with those of \cite{CF21,Fa17} we…
In previous work ("From signatures to monads in UniMath"), we described a category-theoretic construction of abstract syntax from a signature, mechanized in the UniMath library based on the Coq proof assistant. In the present work, we…
Let $G$ be a finite group, $p$ a prime, and $k$ a field of characteristic $p$. We introduce the notion of an endotrivial chain complex of $p$-permutation $kG$-modules, which are the invertible objects in the bounded homotopy category of…
Let U(g) denote the universal enveloping algebra of a Lie algebra g. We show the existence of a ribbon algebra in a particular deformation of U(g) which leads to a symmetric pre-monoidal category of U(g)-modules.
Using the general theory of [10] ( hep-th 9412058 ), quantum Poincar\'e groups (without dilatations) are described and investigated. The description contains a set of numerical parameters which satisfy certain polynomial equations. For most…
The Agda Universal Algebra Library (agda-algebras) is a library of types and programs (theorems and proofs) we developed to formalize the foundations of universal algebra in dependent type theory using the Agda programming language and…
Let $W$ be a finite dimensional algebraic structure (e.g. an algebra) over a field $K$ of characteristic zero. We study forms of $W$ by using Deligne's Theory of symmetric monoidal categories. We construct a category $\mathcal{C}_W$, which…
Many rings and algebras arising in quantum mechanics can be interpreted as skew PBW (Poincar\'e-Birkhoff-Witt) extensions. Indeed, Weyl algebras, enveloping algebras of finite-dimensional Lie algebras (and its quantization), Artamonov…
Drinfeld orbifold algebras are a type of deformation of skew group algebras generalizing graded Hecke algebras of interest in representation theory, algebraic combinatorics, and noncommutative geometry. In this article, we classify all…
Wigner's celebrated theorem, which is particularly important in the mathematical foundations of quantum mechanics, states that every bijective transformation on the set of all rank-one projections of a complex Hilbert space which preserves…