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.     

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.     

Group gradings on the superalgebras M(m,n), A(m,n) and P(n)

We classify gradings by arbitrary abelian groups on the classical simple Lie superalgebras $P(n)$, $n\ge 2$, and on the simple associative superalgebras $M(m,n)$, $m,n\ge 1$, over an algebraically closed field: fine gradings up to equivalence and G-gradings, for a fixed group G, up to isomorphism. As a corollary, we also classify up to isomorphism the G-gradings on the classical Lie superalgebra $A(m,n)$ that are induced from G-gradings on $M(m+1,n+1)$. In the case of Lie superalgebras, the characteristic is assumed to be 0.     

Cyclotomic graphs and perfect codes

We study two families of cyclotomic graphs and perfect codes in them. They are Cayley graphs on the additive group of $\mathbb{Z}[{\zeta }_m]/A$, with connection sets $\{\pm ({\zeta }_m^i+A):0\le i\le m?1\}$ and $\{\pm ({\zeta }_m^i+A):0\le i\le ?(m)?1\}$, respectively, where ${\zeta }_m$ ($m\ge 2$) is an mth primitive root of unity, A a nonzero ideal of $\mathbb{Z}[{\zeta }_m]$, and ? Euler's totient function. We call them the mth cyclotomic graph and the second kind mth cyclotomic graph, and denote them by $G_m(A)$ and $G_m^{?}(A)$, respectively. We give a necessary and sufficient condition for $D/A$ to be a perfect t-code in $G_m^{?}(A)$ and a necessary condition for $D/A$ to be such a code in $G_m(A)$, where $t\ge 1$ is an integer and D an ideal of $\mathbb{Z}[{\zeta }_m]$ containing A. In the case when $m=3,4$, $G_m((\alpha ))$ is known as an Eisenstein–Jacobi and Gaussian networks, respectively, and we obtain necessary conditions for $(\beta )/(\alpha )$ to be a perfect t-code in $G_m((\alpha ))$, where $0\ne \alpha ,\beta \in \mathbb{Z}[{\zeta }_m]$ with β dividing α. In the literature such conditions are known to be sufficient when $m=4$ and $m=3$ under an additional condition. We give a classification of all first kind Frobenius circulants of valency 2p and prove that they are all pth cyclotomic graphs, where p is an odd prime. Such graphs belong to a large family of Cayley graphs that are efficient for routing and gossiping.     

Annihilator condition does not pass to polynomials and power series

In this paper we construct a ring A which has annihilator condition (a.c.) and we show that neither $A[x]$ nor $A[[x]]$ has this property. This answers in negative a question asked by Hong, Kim, Lee and Nielsen. We also show that there is an algebra A which does not have annihilator condition while both $A[x]$ and $A[[x]]$ have this property.     

Homomorphisms of planar (m,n)-colored-mixed graphs to planar targets

An $(m,n)$-colored-mixed graph $G=(V,A_1,A_2,\cdots ,A_m,E_1,E_2,\cdots ,E_n)$ is a graph having m colors of arcs and n colors of edges. We do not allow two arcs or edges to have the same endpoints. A homomorphism from an $(m,n)$-colored-mixed graph G to another $(m,n)$-colored-mixed graph H is a morphism $\phi :V(G)\to V(H)$ such that each edge (resp. arc) of G is mapped to an edge (resp. arc) of H of the same color (and orientation). An $(m,n)$-colored-mixed graph T is said to be $P_g^{(m,n)}$-universal if every graph in $P_g^{(m,n)}$ (the planar $(m,n)$-colored-mixed graphs with girth at least g) admits a homomorphism to T.We show that planar $P_g^{(m,n)}$-universal graphs do not exist for $2m+n\ge 3$ (and any value of g) and find a minimal (in the number vertices) planar $P_g^{(m,n)}$-universal graphs in the other cases.     

Higher level Zhu algebras and modules for vertex operator algebras

Motivated by the study of indecomposable, nonsimple modules for a vertex operator algebra V, we study the relationship between various types of V-modules and modules for the higher level Zhu algebras for V, denoted $A_n(V)$, for $n\in \mathbb{N}$, first introduced by Dong, Li, and Mason in 1998. We resolve some issues that arise in a few theorems previously presented when these algebras were first introduced, and give examples illustrating the need for certain modifications of the statements of those theorems. We establish that whether or not $A_{n?1}(V)$ is isomorphic to a direct summand of $A_n(V)$ affects the types of indecomposable V-modules which can be constructed by inducing from an $A_n(V)$-module, and in particular whether there are V-modules induced from $A_n(V)$-modules that were not already induced by $A_0(V)$. We give some characterizations of the V-modules that can be constructed from such inducings, in particular as regards their singular vectors. To illustrate these results, we discuss two examples of $A_1(V)$: when V is the vertex operator algebra associated to either the Heisenberg algebra or the Virasoro algebra. For these two examples, we show how the structure of $A_1(V)$ in relationship to $A_0(V)$ determines what types of indecomposable V-modules can be induced from a module for the level zero versus level one Zhu algebras. We construct a family of indecomposable modules for the Virasoro vertex operator algebra that are logarithmic modules and are not highest weight modules.     

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)$.     

Projective generation of ideals in a certain ring

Let R be an affine domain of dimension $n\ge 3$ over a field of characteristic 0 and $D=R[X,Y]/(XY)$. Let $I?D$ be a local complete intersection ideal of height n such that $\mu (I/I^2)=n$. This paper examines under what condition I is surjective image of a projective D-module of rank n.