On actions of Drinfel'd doubles on finite dimensional algebras

Let q be an nth root of unity for $n>2$ and let $T_n(q)$ be the Taft (Hopf) algebra of dimension $n^2$. In 2001, Susan Montgomery and Hans-Jürgen Schneider classified all non-trivial $T_n(q)$-module algebra structures on an n-dimensional associative algebra A. They further showed that each such module structure extends uniquely to make A a module algebra over the Drinfel'd double of $T_n(q)$. We explore what it is about the Taft algebras that leads to this uniqueness, by examining actions of (the Drinfel'd double of) Hopf algebras H “close” to the Taft algebras on finite-dimensional algebras analogous to A above. Such Hopf algebras H include the Sweedler (Hopf) algebra of dimension 4, bosonizations of quantum linear spaces, and the Frobenius–Lusztig kernel $u_q({\mathfrak{sl}}_2)$.     

Gorenstein projective bimodules via monomorphism categories and filtration categories

We generalize the monomorphism category from quiver (with monomial relations) to arbitrary finite dimensional algebras by a homological definition. Given two finite dimension algebras A and B, we use the special monomorphism category $\mathsf{Mon}(B,A\text{-}\mathsf{Gproj})$ to describe some Gorenstein projective bimodules over the tensor product of A and B. If one of the two algebras is Gorenstein, we give a sufficient and necessary condition for $\mathsf{Mon}(B,A\text{-}\mathsf{Gproj})$ being the category of all Gorenstein projective bimodules. In addition, if both A and B are Gorenstein, we can describe the category of all Gorenstein projective bimodules via filtration categories. Similarly, in this case, we get the same result for infinitely generated Gorenstein projective bimodules.     

On images of locally finite derivations and E-derivations

Some cases of the LFED Conjecture, proposed by the second author [15], for certain integral domains are proved. In particular, the LFED Conjecture is completely established for the field of fractions $k(x)$ of the polynomial algebra $k[x]$, the formal power series algebra $k[[x]]$ and the Laurent formal power series algebra $k[[x]][x^{?1}]$, where $x=(x_1,x_2,\dots ,x_n)$ denotes n commutative free variables and k a field of characteristic zero. Furthermore, the relation between the LFED Conjecture and the Duistermaat–van der Kallen Theorem [3] is also discussed and emphasized.     

Indecomposable involutive set-theoretic solutions of the Yang–Baxter equation

We describe the indecomposable involutive non-degenerate set-theoretic solutions of the Yang–Baxter equation as dynamical extensions of non-degenerate left cycle sets. Moreover we characterize the indecomposable dynamical extensions and we produce several examples. As an application we construct a family of finite indecomposable solutions whose structure groups have not the unique product property.     

Universal deformation rings and self-injective Nakayama algebras

Let k be a field and let Λ be an indecomposable finite dimensional k-algebra such that there is a stable equivalence of Morita type between Λ and a self-injective split basic Nakayama algebra over k. We show that every indecomposable finitely generated Λ-module V has a universal deformation ring $R(\mathrm{\Lambda },V)$ and we describe $R(\mathrm{\Lambda },V)$ explicitly as a quotient ring of a power series ring over k in finitely many variables. This result applies in particular to Brauer tree algebras, and hence to p-modular blocks of finite groups with cyclic defect groups.