Representability of actions in the category of (Pre)crossed modules in Leibniz algebras

We investigate the representability of actions in the category of (pre)crossed modules in Leibniz algebras. For this, we construct an actor of a (pre)cat¹-Leibniz algebra and then by using the natural equivalence of the categories of (pre)cat¹-Leibniz algebras and that of (pre)crossed modules, we construct the split extension classifier of the corresponding (pre)crossed module.     

On derived categories of modules over 2-vertex basic algebras

We investigate finite dimensional 2-vertex basic algebras of finite global dimension and the derived categories of modules over such algebras. We prove that any superrigid object in the derived category of modules over a “loop-kind” two-vertex algebra is a pure module up to the action of Serre functor and translation. All superrigid objects in the derived categories of modules over two-vertex algebras of global dimension 2 are described. Also we obtain a complete classification of two-vertex basic algebras possessing a full exceptional pair in the derived category of modules.     

On the (non)vanishing of some “derived” categories of curved dg algebras

Since curved dg algebras, and modules over them, have differentials whose square is not zero, these objects have no cohomology, and there is no classical derived category. For different purposes, different notions of “derived” categories have been introduced in the literature. In this article, we show that for some concrete curved dg algebras, these derived categories vanish. This happens for example for the initial curved dg algebra whose module category is the category of precomplexes, and for certain deformations of dg algebras.     

Koszul duality for extension algebras of standard modules

We define and investigate a class of Koszul quasi-hereditary algebras for which there is a natural equivalence between the bounded derived category of graded modules and the bounded derived category of graded modules over (a proper version of) the extension algebra of standard modules. Examples of such algebras include, in particular, the multiplicity free blocks of the BGG category O, and some quasi-hereditary algebras with Cartan decomposition in the sense of König.     

Stable equivalence preserves representation type

Given two finite dimensional algebras and , it is shown that is of wild representation type if and only if is of wild representation type provided that the stable categories of finite dimensional modules over and $\Gamma$ are equivalent. The proof uses generic modules. In fact, a stable equivalence induces a bijection between the isomorphism classes of generic modules over and , and the result follows from certain additional properties of this bijection. In the second part of this paper the Auslander-Reiten translation is extended to an operation on the category of all modules. It is shown that various finiteness conditions are preserved by this operation. Moreover, the Auslander-Reiten translation induces a homeomorphism between the set of non-projective and the set of non-injective points in the Ziegler spectrum. As a consequence one obtains that for an algebra of tame representation type every generic module remains fixed under the Auslander-Reiten translation. Received: July 24, 1996     

Yetter–Drinfeld Modules over Weak Braided Hopf Monoids and Center Categories

In this paper,we introduce several centralizer constructions in a monoidal context and establish a monoidal equivalence with the category of Yetter–Drinfeld modules over a weak braided Hopf monoid.We apply the general result to the calculus of the center in module categories.     

Bialgebras Over Noncommutative Rings and a Structure Theorem for Hopf Bimodules

It is a key property of bialgebras that their modules have a natural tensor product. More precisely, a bialgebra over k can be characterized as an algebra H whose category of modules is a monoidal category in such a way that the underlying functor to the category of k-vector spaces is monoidal (i.e. preserves tensor products in a coherent way). In the present paper we study a class of algebras whose module categories are also monoidal categories; however, the underlying functor to the category of k-vector spaces fails to be monoidal. Instead, there is a suitable underlying functor to the category of B-bimodules over a k-algebra B which is monoidal with respect to the tensor product over B. In other words, we study algebras L such that for two L-modules V and W there is a natural tensor product, which is the tensor product V_BW over another k-algebra B, equipped with an L-module structure defined via some kind of comultiplication of L. We show that this property is characteristic for ×_B-bialgebras as studied by Sweedler (for commutative B) and Takeuchi. Our motivating example arises when H is a Hopf algebra and A an H-Galois extension of B. In this situation, one can construct an algebra L:=L(A,H), which was previously shown to be a Hopf algebra if B=k. We show that there is a structure theorem for relative Hopf bimodules in the form of a category equivalence . The category on the left hand side has a natural structure of monoidal category (with the tensor product over A) which induces the structure of a monoidal category on the right hand side. The ×_B-bialgebra structure of L that corresponds to this monoidal structure generalizes the Hopf algebra structure on L(A,H) known for B=k. We prove several other structure theorems involving L=L(A,H) in the form of category equivalences .     

On certain vertex algebras and their modules associated with vertex algebroids

We study the family of vertex algebras associated with vertex algebroids, constructed by Gorbounov, Malikov, and Schechtman. As the main result, we classify all the (graded) simple modules for such vertex algebras and we show that the equivalence classes of graded simple modules one-to-one correspond to the equivalence classes of simple modules for the Lie algebroids associated with the vertex algebroids. To achieve our goal, we construct and exploit a Lie algebra from a given vertex algebroid.     

Blocks and modules for Whittaker pairs

Inspired by recent activities on Whittaker modules over various (Lie) algebras, we describe a general framework for the study of Lie algebra modules locally finite over a subalgebra. As a special case, we obtain a very general set-up for the study of Whittaker modules, which includes, in particular, Lie algebras with triangular decomposition and simple Lie algebras of Cartan type. We describe some basic properties of Whittaker modules, including a block decomposition of the category of Whittaker modules and certain properties of simple Whittaker modules under some rather mild assumptions. We establish a connection between our general set-up and the general set-up of Harish-Chandra subalgebras in the sense of Drozd, Futorny and Ovsienko. For Lie algebras with triangular decomposition, we construct a family of simple Whittaker modules (roughly depending on the choice of a pair of weights in the dual of the Cartan subalgebra), describe their annihilators, and formulate several classification conjectures. In particular, we construct some new simple Whittaker modules for the Virasoro algebra. Finally, we construct a series of simple Whittaker modules for the Lie algebra of derivations of the polynomial algebra, and consider several finite-dimensional examples, where we study the category of Whittaker modules over solvable Lie algebras and their relation to Koszul algebras.     

1-Dimensional representations and parabolic induction for W-algebras

A W-algebra is an associative algebra constructed from a reductive Lie algebra and its nilpotent element. This paper concentrates on the study of 1-dimensional representations of W-algebras. Under some conditions on a nilpotent element (satisfied by all rigid elements) we obtain a criterium for a finite dimensional module to have dimension 1. It is stated in terms of the Brundan–Goodwin–Kleshchev highest weight theory. This criterium allows to compute highest weights for certain completely prime primitive ideals in universal enveloping algebras. We make an explicit computation in a special case in type E₈. Our second principal result is a version of a parabolic induction for W-algebras. In this case, the parabolic induction is an exact functor between the categories of finite dimensional modules for two different W-algebras. The most important feature of the functor is that it preserves dimensions. In particular, it preserves one-dimensional representations. A closely related result was obtained previously by Premet. We also establish some other properties of the parabolic induction functor.     

A Cartan-Eilenberg approach to homotopical algebra

In this paper we propose an approach to homotopical algebra where the basic ingredient is a category with two classes of distinguished morphisms: strong and weak equivalences. These data determine the cofibrant objects by an extension property analogous to the classical lifting property of projective modules. We define a Cartan-Eilenberg category as a category with strong and weak equivalences such that there is an equivalence of categories between its localisation with respect to weak equivalences and the relative localisation of the subcategory of cofibrant objects with respect to strong equivalences. This equivalence of categories allows us to extend the classical theory of derived additive functors to this non additive setting. The main examples include Quillen model categories and categories of functors defined on a category endowed with a cotriple (comonad) and taking values on a category of complexes of an abelian category. In the latter case there are examples in which the class of strong equivalences is not determined by a homotopy relation. Among other applications of our theory, we establish a very general acyclic models theorem.     

t-structures in the derived category of representations of quivers

Given a finite quiver without oriented cycles, we describe a family of algebras whose module category has the same derived category as that of the quiver algebra. This is done in the more general setting oft-structures in triangulated categories. A completeness result is shown for Dynkin quivers, thus reproving a result of Happel [H].     

Maximal Green Sequences for Preprojective Algebras

Maximal green sequences were introduced as combinatorical counterpart for Donaldson-Thomas invariants for 2-acyclic quivers with potential by B. Keller. We take the categorical notion and introduce maximal green sequences for hearts of bounded t-structures of triangulated categories that can be tilted indefinitely. We study the case where the heart is the category of modules over the preprojective algebra of a quiver without loops. The combinatorical counterpart of maximal green sequences for Dynkin quivers are maximal chains in the Hasse quiver of basic support τ-tilting modules. We show that a quiver has a maximal green sequence if and only if it is of Dynkin type. More generally, we study module categories for finite-dimensional algebras with finitely many bricks.     

Singularity Categories, Schur Functors and Triangular Matrix Rings

We study certain Schur functors which preserve singularity categories of rings and we apply them to study the singularity category of triangular matrix rings. In particular, combining these results with Buchweitz–Happel’s theorem, we can describe singularity categories of certain non-Gorenstein rings via the stable category of maximal Cohen–Macaulay modules. Three concrete examples of finite-dimensional algebras with the same singularity category are discussed.     

Nichols algebras over weak Hopf algebras

In this paper, we study a Yetter-Drinfeld module V over a weak Hopf algebra H.Although the category of all left H-modules is not a braided tensor category, we can define a Yetter-Drinfeld module. Using this Yetter-Drinfeld modules V, we construct Nichols algebra B(V) over the weak Hopf algebra H, and a series of weak Hopf algebras. Some results of [8] are generalized.