We study the problem of indecomposability of translations of simple modules in the principal block of BGG category $\mathcal{O}$ for $\mathfrak{sl}_n$, as conjectured in \cite{KiM}. We describe some general techniques and prove a few general results which may be applied to study various special cases of this problem. We apply our results to verify indecomposability for $n\leq 6$. We also study the problem of indecomposability of shufflings and twistings of simple modules and obtain some partial results.
In this article we provide a simple combinatorial description of morphisms between indecomposable complexes in the bounded derived category of a gentle algebra.
Skew-gentle algebras are skew-group algebras of certain gentle algebras endowed with a Z 2-action. Using the topological description of Opper, Plamondon and Schroll in [OPS] for the indecomposable objects of the derived category of any gentle algebra, one obtains here a complete description of indecomposable objects in the derived category of any skew-gentle algebras in terms of curves on an orbifold surface.The results presented here are complementary to the ones in [LSV]. First, we obtain a complete classification of indecomposable objects and not of ''homotopy strings'' and ''homotopy bands…
We provide a linkage principle in an arbitrary parabolic category $\mathcal O^{\mathfrak p}$ for the periplectic Lie superalgebras $\mathfrak{pe}(n)$. As an application, we classify indecomposable blocks in $\mathcal O^{\mathfrak p}$. We classify indecomposable tilting modules in $\mathcal O^{\mathfrak p}$ whose characters are controlled by the Kazhdan-Lusztig polynomials of type $\bf A$ Lie algebras. We establish the complete list of characters of indecomposable tilting modules in $\mathcal O^{\mathfrak p}$ for $\mathfrak{pe}(3)$.
Bongartz and Ringel proved that there is no gaps in the sequence of lengths of indecomposable modules for the finite-dimensional algebras over algebraically closed fields. The present paper mainly study this "no gaps" theorem for the bounded derived module category $D^b(A)$ of a gentle algebra $A$: if there is an indecomposable object in $D^b(A)$ of cohomological length $l>1$, then there exists an indecomposable with cohomological length $l-1$.
Let $g$ be a finite dimensional simple Lie algebra. Denote by $\mathcal B$ the category of all bounded weight $g$-modules, i.e. those which are direct sum of their weight spaces and have uniformly bounded weight multiplicities. A result of Fernando shows that infinite-dimensional bounded weight modules exist only for $g=sl(n)$ and $g=sp(2n)$. If $g=sp(2n)$ we show that $\mathcal B$ has enough projectives if and only if $n>1$. In addition, the indecomposable projective modules can be parameterized and described explicitly. All indecomposable objects are described in terms of indecomposable repr…
We categorify Verma and indecomposable projective modules in the category $\mathcal I_{\mathfrak{g}}(\mathfrak{sl}_2)$ for $\mathfrak{sl}_2$ using a tensor product decomposition theorem of T. J. Enright and work of J. Chuang and R. Rouquier, A. Licata and A. Savage (Hecke algebras, finite general linear groups, and Heisenberg categorification) and M. Khovanov (Heisenberg algebra and a graphical calculus).
In this paper we study indecomposable rank 2 modules in the Grassmannian cluster category ${\rm CM}(B_{5,10})$. This is the smallest wild case containing modules whose profile layers are $5$-interlacing. We construct all rank 2 indecomposable modules with filtration $\{i,i+2,i+4,i+6,i+8\}\mid \{i+1,i+3,i+5,i+7,i+9\}$, classify them up to isomorphism, and parameterize all infinite families of non-isomorphic rank 2 modules.
In this paper, we study the tensor structure of category of finite dimensional representations of Drinfeld quantum doubles $D(H_n(q))$ of Taft Hopf algebras $H_n(q)$. Tensor product decomposition rules for all finite dimensional indecomposable modules are explicitly given.
We study the problem of classifying triangulated categories with finite-dimensional morphism spaces and finitely many indecomposables over an algebraically closed field. We obtain a new proof of the following result due to Xiao and Zhu: the Auslander-Reiten quiver of such a category is of the form $\mathbb{Z}Δ/G$ where $Δ$ is a disjoint union of simply laced Dynkin diagrams and $G$ a weakly admissible group of automorphisms of $\mathbb{Z}Δ$. Then we prove that for `most' groups $G$, the category $\T$ is standard, \emph{i.e.} $k$-linearly equivalent to an orbit category $\mathcal{D}^b(\modd kΔ)…
We prove a BGG type reciprocity law for the category of finite dimensional modules over algebraic supergroups satisfying certain conditions. The equivalent of a standard module in this case is a virtual module called Euler characteristic due to its geometric interpretation. In the orthosymplectic case, we also describe indecomposable projective modules in terms of those Euler characteristics.
We study the homotopy category $ K(\Inj A)$ of all injective modules over a finite dimensional algebra $A$ with discrete derived category. We give a classification of the indecomposable objects of $ K(\Inj A)$ for any radical square zero self-injective algebra $A$. In particular, every indecomposable object is endofinite.
We solve a long standing open problem concerning the structure of finite cycles in the category mod A of finitely generated modules over an arbitrary artin algebra A, that is, the chains of homomorphisms $M_0 \stackrel{f_1}{\rightarrow} M_1 \to \cdots \to M_{r-1} \stackrel{f_r}{\rightarrow} M_r=M_0$ between indecomposable modules in mod A which do not belong to the infinite radical of mod A. In particular, we describe completely the structure of an arbitrary module category mod A whose all cycles are finite. The main structural results of the paper allow to derive several interesting combinato…
We study the diagrammatic Hecke category associated with the affine Weyl group of type $\tilde{A}_2$. More precisely we find a (surprisingly simple) basis for the Hom spaces between indecomposable objects, that we call indecomposable double leaves.
Let $\mathscr{C}$ be a 2-Calabi-Yau triangulated category, and let $\mathscr{T}$ be a cluster tilting subcategory of $\mathscr{C}$. An important result from Dehy and Keller tells us that a rigid object $c \in \mathscr{C}$ is uniquely defined by its index with respect to $\mathscr{T}$. The notion of triangulated categories extends to the notion of $(d+2)$-angulated categories. Thanks to a paper by Oppermann and Thomas, we now have a definition for cluster tilting subcategories in higher dimensions. This paper proves that under a technical assumption, an indecomposable object in a $(d+2)$-angula…
In this paper we describe a theory of (branched) crystals which is adapted to the study of representations in the BGG category $\cal O$ and which generalizes the theory of normal crystals of Kashiwara. In the case of $sl_2$ we show that one can associate (uniquely up to isomorphism) to every module in $\cal O$ a branched crystal . We show that the indecomposable modules in \cal O$ correspond to "indecomposable" branched crystals. We also define the tensor product of these crystals and show that for $sl_2$ the indecomposable components of the tensor product of branched crystals are the same as …
Given a skeletally small category $\mathcal{C}$, we show that any locally finite endo-length $\mathcal{C}$-module is the direct sum of indecomposable $\mathcal{C}$-modules, whose endomorphism algebra is local.
We introduce a notion of generalized Auslander-Reiten duality on a Hom-finite Krull-Schmidt exact category $\mathcal{C}$. This duality induces the generalized Auslander-Reiten translation functors $τ$ and $τ^-$. They are mutually quasi-inverse equivalences between the stable categories of two full subcategories $\mathcal{C}_r$ and $\mathcal{C}_l$ of $\mathcal{C}$. A non-projective indecomposable object lies in the domain of $τ$ if and only if it appears as the third term of an almost split conflation; dually, a non-injective indecomposable object lies in the domain of $τ^-$ if and only if it a…
We study the structure of the category of integrable level zero representations with finite dimensional weight spaces of affine Lie algebras. We show that this category possesses a weaker version of the finite length property, namely that an indecomposable object has finitely many simple constituents which are non-trivial as modules over the corresponding loop algebra. Moreover, any object in this category is a direct sum of indecomposables only finitely many of which are non-trivial. We obtain a parametrization of blocks in this category.
One can regard the category of represenations of quivers in Hilbert spaces as a subcategory in the category of all representations, and at that objects, which are indecomposable in the subcategory, become in general decomposable in the ``larger'' category. We prove that it does not happen with indecomposable locally scalar representations of a quiver.
Modules for the Lie algebra of Hamiltonian vector fields on a torus, which admit a compatible action for the commutative algebra of multivariate Laurent polynomials are called category $\mathcal{J}$. This paper classifies the indecomposable and the irreducible modules in category $\mathcal{J}$.
We show, in full generality, that Lusztig's $\mathbf{a}$-function describes the projective dimension of both indecomposable tilting modules and indecomposable injective modules in the regular block of the BGG category $\mathcal{O}$, proving a conjecture from the first paper. On the way we show that the images of simple modules under projective functors can be represented in the derived category by linear complexes of tilting modules. These complexes, in turn, can be interpreted as the images of simple modules under projective functors in the Koszul dual of the category $\mathcal{O}$. Finally, …
We describe indecomposable objects in Deligne's category $\underline{\operatorname{Re}}\!\operatorname{p}(O_δ)$ and explain how to decompose their tensor products. We then classify thick ideals in $\underline{\operatorname{Re}}\!\operatorname{p}(O_δ)$. As an application we classify the indecomposable summands of tensor powers of the standard representation of the orthosymplectic supergroup up to isomorphism.
Let $Λ$ be a derived-discrete algebra. We show that the Krull-Gabriel dimension of the homotopy category of projective $Λ$-modules, and therefore the Cantor-Bendixson rank of its Ziegler spectrum, is $2$, thus extending a result of Bobiński and Krause. We also describe all the indecomposable pure-injective complexes and hence the Ziegler spectrum for derived-discrete algebras, extending a result of Z. Han. Using this, we are able to prove that all indecomposable complexes in the homotopy category of projective $Λ$-modules are pure-injective, so obtaining a class of algebras for which every ind…
We classify projective functors on the regular block of Rocha-Caridi's parabolic version of the BGG category $\mathcal{O}$ in type $A$. In fact, we show that, in type $A$, the restriction of an indecomposable projective functor from $\mathcal{O}$ to the parabolic category is either indecomposable or zero. As a consequence, we obtain that projective functors on the parabolic category $\mathcal{O}$ in type $A$ are completely determined, up to isomorphism, by the linear transformations they induce on the level of the Grothendieck group, which was conjectured by Stroppel in \cite{St}.
In this paper, we study the category $\mathscr{H}^{(ρ)}$ of semi-stable coherent sheaves of a fixed slope $ρ$ over a weighted projective curve. This category has nice properties: it is a hereditary abelian finitary length category. We will define the Ringel-Hall algebra of $\mathscr{H}^{(ρ)}$ and relate it to generalized Kac-Moody Lie algebras. Finally we obtain the Kac type theorem to describe the indecomposable objects in this category, i.e. the indecomposable semi-stable sheaves.
We consider a category of modules that admit compatible actions of the commutative algebra of Laurent polynomials and the Lie algebra of divergence zero vector fields on a torus and have a weight decomposition with finite dimensional weight spaces. We classify indecomposable and irreducible modules in this category.
We describe the representation theory of finitely generated indecomposable modules over artin algebras which do not lie on cycles of indecomposable modules involving homomorphisms from the infinite Jacobson radical of the module category.
We classify indecomposable summands of mixed tensor powers of the natural representation for the general linear supergroup up to isomorphism. We also give a formula for the characters of these summands in terms of composite supersymmetric Schur polynomials, and give a method for decomposing their tensor products. Along the way, we describe indecomposable objects in Rep(GL_δ) and explain how to decompose their tensor products.
The category ${\rm CM}(B_{k,n}) $ of Cohen-Macaulay modules over a quotient $B_{k,n}$ of a preprojective algebra provides a categorification of the cluster algebra structure on the coordinate ring of the Grassmannian variety of $k$-dimensional subspaces in $\mathbb C^n$, \cite{JKS16}. Among the indecomposable modules in this category are the rank $1$ modules which are in bijection with $k$-subsets of $\{1,2,\dots,n\}$, and their explicit construction has been given by Jensen, King and Su. These are the building blocks of the category as any module in ${\rm CM}(B_{k,n}) $ can be filtered by the…
We classify all equivalences between the indecomposable abelian categories which appear as blocks in BGG category O for reductive Lie algebras. Our classification implies that a block in category O only depends on the Bruhat order of the relevant parabolic quotient of the Weyl group. As part of the proof, we observe that any finite dimensional algebra with simple preserving duality admits at most one quasi-hereditary structure.
We describe the semisimplification of the monoidal category of tilting modules for the algebraic group GL_n in characteristic p > 0. In particular, we compute the dimensions of the indecomposable tilting modules modulo p.
In the context of representation theory of finite dimensional algebras, string algebras have been extensively studied and most aspects of their representation theory are well-understood. One exception to this is the classification of extensions between indecomposable modules. In this paper we explicitly describe such extensions for a class of string algebras, namely gentle algebras associated to surface triangulations. These algebras arise as Jacobian algebras of unpunctured surfaces. We relate the extension spaces of indecomposable modules to crossings of arcs in the surface and give explicit…
In this article, we exploit the theory of graded module category with semi-infinite character developed by Soergel in \cite{Soe} to study representations of the infinite dimensional Lie algebras of vector fields $W(n), S(n)$ and $H(n)$ $(n\geq 2)$, and obtain the description of indecomposable tilting modules. The character formulas for those tilting modules are determined.
Let $\mathbf{k}$ be an algebraically closed field. In this article, inspired by the description of indecomposable objects in the derived category of a gentle algebra obtained by V. Bekkert and H. A. Merklen, we define string complexes for a certain class $\mathscr{C}$ of symmetric special biserial algebras, which are indecomposable perfect complexes in the corresponding derived category. We also prove that if $Λ$ is a $\mathbf{k}$-algebra in the class $\mathscr{C}$ and $P^\bullet$ is a string complex over $Λ$, then $P^\bullet$ lies in the rim of its Auslander-Reiten component.
We describe a method for doing computations with Orlov's equivalence between the bounded derived category of certain hypersurfaces and the stable category of graded matrix factorisations of the polynomials describing these hypersurfaces. In the case of a smooth elliptic curve over an algebraically closed field we describe the indecomposable graded matrix factorisations of rank one. Since every indecomposable Maximal Cohen-Macaulay module over the completion of a smooth cubic curve is gradable, we obtain explicit descriptions of all indecomposable rank one matrix factorisations of such potentia…
We give a result of Auslander-Ringel-Tachikawa type for Gorenstein-projective modules over a complete Gorenstein order. In particular, we prove that a complete Gorenstein order is of finite Cohen-Macaulay representation type if and only if every indecomposable pure-injective object in the stable category of Gorenstein-projective modules is compact.
We solve two problems in representation theory for the periplectic Lie superalgebra pe(n), namely the description of the primitive spectrum in terms of functorial realisations of the braid group and the decomposition of category O into indecomposable blocks. To solve the first problem we establish a new type of equivalence between category O for all (not just simple or basic) classical Lie superalgebras and a category of Harish-Chandra bimodules. The latter bimodules have a left action of the Lie superalgebra but a right action of the underlying Lie algebra. To solve the second problem we esta…
In [4], the continuous cluster category was introduced. This is a topological category whose space of isomorphism classes of indecomposable objects forms a Moebius band. It was found in [4] that, in order to have a continuously triangulated structure on this category, one needs at least two copies of each indecomposable object forming a 2-fold covering space of the Moebius band. This paper classifies all continuous triangulations of finite coverings of the basic continuous cluster category. This includes the connected 2-fold covering of Igusa-Todorov [4], the disconnected 2-fold covering of Or…
In this paper we study the category of graded modules for the current algebra associated to $\mathfrak{sl}_2$. The category enjoys many nice properties, including a tilting theory which was established in previous work of the authors. We show that the indecomposable tilting modules for $\mathfrak{sl}_2[t]$ are the exterior powers of the fundamental global Weyl module and give the filtration multiplicities in the standard and costandard filtration. An interesting consequence of our result (which is far from obvious from the abstract definition) is that an indecomposable tilting module admits a …
The module category of any artin algebra is filtered by the powers of its radical, thus defining an associated graded category. As an extension of the degree of irreducible morphisms, this text introduces the degree of morphisms in the module category in terms of the induced natural transformations between representable functors on this graded category. When the ground ring is a perfect field, and the given morphism behaves nicely with respect to covering theory (as do irreducible morphisms with indecomposable domain or indecomposable codomain), it is shown that the degree of the morphism is f…
We introduce the Calabi-Yau (CY) objects in a Hom-finite Krull-Schmidt triangulated $k$-category, and notice that the structure of the minimal, consequently all the CY objects, can be described. The relation between indecomposable CY objects and Auslander-Reiten triangles is provided. Finally we classify all the CY modules of self-injective Nakayama algebras, determining this way the self-injective Nakayama algebras admitting indecomposable CY modules. In particular, this result recovers the algebras whose stable categories are Calabi-Yau, which have been obtained in [BS].
We study the category $\mathcal{F}_n$ of finite-dimensional integrable representations of the periplectic Lie superalgebra $\mathfrak{p}(n)$. We define an action of the Temperley--Lieb algebra with infinitely many generators and defining parameter $0$ on the category $\mathcal{F}_n$ by translation functors. We also introduce combinatorial tools, called weight diagrams and arrow diagrams for $\mathfrak{p}(n)$ resembling those for $\mathfrak{gl}(m|n)$. Using the Temperley--Lieb algebra action and the combinatorics of weight and arrow diagrams, we then calculate the multiplicities of standard and…
The celebrated Drozd's theorem asserts that a finite-dimensional basic algebra $Λ$ over an algebraically closed field $k$ is either tame or wild, whereas the Crawley-Boevey's theorem states that given a tame algebra $Λ$ and a dimension $d$, all but finitely many isomorphism classes of indecomposable $Λ$-modules of dimension $d$ are isomorphic to their Auslander-Reiten translations and hence belong to homogeneous tubes. In this paper, we prove the inverse of Crawley-Boevey's theorem, which gives an internal description of tameness in terms of Auslander-Reiten quivers.
The category of modules over a string algebra is equipped with a tensor product defined point-wise and arrow-wise in terms of the underlying quiver. In the present article we investigate how this tensor product interacts with the classification of indecomposables. We apply the results obtained to solve the Clebsch-Gordan problem for string algebras. Moreover, we describe the corresponding representation ring and tensor ideals in the module category.
Using translation from the regular block, we construct and analyze properties of BGG complexes in singular blocks of BGG category ${\mathcal{O}}$. We provide criteria, in terms of the Kazhdan-Lusztig-Vogan polynomials, for such complexes to be exact. In the Koszul dual picture, exactness of BGG complexes is expressed as a certain condition on a generalized Verma flag of an indecomposable projective object in the corresponding block of parabolic category ${\mathcal{O}}$. In the second part of the paper, we construct BGG complexes in a more general setting of balanced quasi-hereditary algebras a…
We study the characters of simple modules in the parabolic BGG category of the affine Lie algebra in Deligne's category. More specifically, we take the limit of Weyl-Kac formula to compute the character of the irreducible quotient $L(X,k)$ of the parabolic Verma module $M(X,k)$ of level $k$, where $X$ is an indecomposable object of Deligne's category $\underline{\mathrm{Rep}}(GL_t)$, $\underline{\mathrm{Rep}}(O_t)$, or $\underline{\mathrm{Rep}}(Sp_t)$, under conditions that the highest weight of $X$ plus the level gives a fundamental weight, $t$ is transcendental, and the base field $\Bbbk$ ha…
Given a finite dimensional algebra over a perfect field the text introduces covering functors over the mesh category of any modulated Auslander-Reiten component of the algebra. This is applied to study the composition of irreducible morphisms between indecomposable modules in relation with the powers of the radical of the module category.
Let k be a field, let A a finite-dimensional hereditary k-algebra. We consider the category of all finite-dimensional A-modules. We are going to characterize the representation type of A (tame or wild) in terms of the possible subcategories of all M-static modules, where M is an indecomposable A-module.
In this paper we study of the BGG-categories $\mathcal O_q$ associated to quantum groups. We prove that many properties of the ordinary BGG-category $\mathcal O$ for a semisimple complex Lie algebra carry over to the quantum case. Of particular interest is the case when $q$ is a complex root of unity. Here we prove a tensor decomposition for both simple modules, projective modules, and indecomposable tilting modules. Using the known Kazhdan-Lusztig conjectures for $\mathcal O$ and for finite dimensional $U_q$-modules we are able to determine all irreducible characters as well as the characters…
For an exact category $\mathcal{E}$, we study the Butler's condition "AR=Ex": the relation of the Grothendieck group of $\mathcal{E}$ is generated by Auslander-Reiten conflations. Under some assumptions, we show that AR=Ex is equivalent to that $\mathcal{E}$ has finitely many indecomposables. This can be applied to functorially finite torsion(free) classes and contravariantly finite resolving subcategories of the module category of an artin algebra, and the category of Cohen-Macaulay modules over an order which is Gorenstein or has finite global dimension. Also we showed that under some weaker…
In this paper, we introduce and study a class of algebras which we call ada algebras. An artin algebra is ada if every indecomposable projective and every indecomposable injective module lies in the union of the left and the right parts of the module category. We describe the Auslander-Reiten components of an ada algebra, showing in particular that its representation theory is entirely contained in that of its left and right supports, which are both tilted algebras. Also, we prove that an ada algebra over an algebraically closed field is simply connected if and only if its first Hochschild coh…
