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.
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…
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$.
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 text, we characterize the representation type of an acyclic quiver by the properties of its associated quiver Grassmannians. This characterization utilizes and extends known results about singular quiver Grassmannians and cell decompositions into affine spaces. While all quiver Grassmannians for indecomposable representations of quivers of finite representation types $A$ and $D$ are smooth and admit cell decompositions, it turns out that all quiver Grassmannians for indecomposable representations of quivers of tame types $A$ and $D$ admit cell decompositions, but some of these quiver G…
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 study quiver Grassmannians associated with indecomposable representations of the Kronecker quiver. We find a cellular decomposition of them and we compute their Betti numbers. As an application, we give a geometric realization of the "canonical basis" of cluster algebras of Kronecker type (found by Sherman and Zelevinsky) and of type $A_2^{(1)}$.
Truncated shifted Yangians are a family of algebras which naturally quantize slices in the affine Grassmannian. These algebras depend on a choice of two weights $λ$ and $μ$ for a Lie algebra $\mathfrak{g}$, which we will assume is simply-laced. In this paper, we relate the category $\mathcal{O}$ over truncated shifted Yangians to categorified tensor products: for a generic integral choice of parameters, category $\mathcal{O}$ is equivalent to a weight space in the categorification of a tensor product of fundamental representations defined by the third author using KLRW algebras. We also give a…
We describe diagrammatically a positively graded Koszul algebra \mathbb{D}_k such that the category of finite dimensional \mathbb{D}_k-modules is equivalent to the category of perverse sheaves on the isotropic Grassmannian of type D_k constructible with respect to the Schubert stratification. The connection is given by an explicit isomorphism to the endomorphism algebra of a projective generator described in by Braden. The algebra is obtained by a "folding" procedure from the generalized Khovanov arc algebras. We relate this algebra to the category of finite dimensional representations of the …
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.
Let $Q$ be a quiver of extended Dynkin type $D$. In this first of two papers, we show that the quiver Grassmannian $Gr_e(M)$ has a decomposition into affine spaces for every dimension vector $e$ and every indecomposable representation $M$ of defect $-1$ and defect $0$, with exception of the non-Schurian representations in homogeneous tubes. We characterize the affine spaces in terms of the combinatorics of a fixed coefficient quiver for $M$. The method of proof is to exhibit explicit equations for the Schubert cells of $Gr_e(M)$ and to solve this system of equations successively in linear term…
We provide a technique to compute the Euler characteristic of a class of projective varieties called quiver Grassmannians. This technique applies to quiver Grassmannians associated with "orientable string modules". As an application we explicitly compute the Euler characteristic of quiver Grassmannians associated with indecomposable preprojective, preinjective and regular homogeneous representations of an affine quiver of type $\tilde{A}_{p,1}$. For $p=1$, this approach provides another proof of a result due to P. Caldero and A. Zelevinsky in \cite{CZ}.
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)$.
We construct Grassmannian categories of infinite rank, providing an infinite analogue of the Grassmannian cluster categories introduced by Jensen, King, and Su. Each Grassmannian category of infinite rank is given as the category of graded maximal Cohen-Macaulay modules over a certain hypersurface singularity. We show that generically free modules of rank $1$ in a Grassmannian category of infinite rank are in bijection with the Plücker coordinates in an appropriate Grassmannian cluster algebra of infinite rank. Moreover, this bijection is structure preserving, as it relates rigidity in the cat…
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Δ)…
For a reductive group $G$ we equip the category of $G_\mathcal{O}$-equivariant polarizable pure Hodge modules on the affine Grassmannian $\mathrm{Gr}_G$ with a structure of neutral Tannakian category. We show that it is equivalent to a twisted tensor product of the category of representations of the Langlands dual group and the category of pure polarizable Hodge structures.
Rank $1$ modules are the building blocks of the category ${\rm CM}(B_{k,n}) $ of Cohen-Macaulay modules over a quotient $B_{k,n}$ of a preprojective algebra of affine type $A$. Jensen, King and Su showed in \cite{JKS16} that the category ${\rm CM}(B_{k,n})$ provides an additive categorification of the cluster algebra structure on the coordinate ring $\mathbb C[{\rm Gr}(k, n)]$ of the Grassmannian variety of $k$-dimensional subspaces in $\mathbb C^n$. Rank $1$ modules are indecomposable, they are known to be in bijection with $k$-subsets of $\{1,2,\dots,n\}$, and their explicit construction has…
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 describe a ring whose category of Cohen-Macaulay modules provides an additive categorification of the cluster algebra structure on the homogeneous coordinate ring of the Grassmannian of k-planes in n-space. More precisely, there is a cluster character defined on the category which maps the rigid indecomposable objects to the cluster variables and the maximal rigid objects to clusters. This is proved by showing that the quotient of this category by a single projective-injective object is Geiss-Leclerc-Schroer's category Sub $Q_k$, which categorifies the coordinate ring of the big cell in thi…
In this paper we consider Grassmannians in arbitrary characteristic. Generalizing Kapranov's well-known characteristic-zero results we construct dual exceptional collections on them (which are however not strong) as well as a tilting bundle. We show that this tilting bundle has a quasi-hereditary endomorphism ring and we identify the standard, costandard, projective and simple modules of the latter.
Let $X$ be a partial flag variety, stratified by orbits of the Borel. We give a criterion for the category of modular perverse sheaves to be equivalent to modules over a Koszul ring. This implies that modular category $\mathcal O$ is governed by a Koszul-algebra in small examples.
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.
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 …
For each integral dominant weight $λ$, we construct a twisted global section functor $Γ^λ$ from the category of critical twisted $D$-modules on affine Grassmannian to the category of $λ$-regular modules of affine Lie algebra at critical level. We proved that $Γ^λ$ is exact and faithful. This generalized the work of Frenkel and Gaitsgory in the case when $λ=0$.
For a fixed parabolic subalgebra p of gl(n,C) we prove that the centre of the principal block O(p) of the parabolic category O is naturally isomorphic to the cohomology ring of the corresponding Springer fibre. We give a diagrammatic description of O(p) for maximal parabolic p and give an explicit isomorphism to Braden's description of the category Perv_B(G(n,n)) of perverse sheaves on Grassmannians. As a consequence Khovanov's algebra H^n is realised as the endomorphism ring of some object from Perv_B(G(n,n)) which corresponds under localisation and the Riemann-Hilbert correspondence to a ful…
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.
In this paper we study the derived category of sheaves on the affine Grassmannian of a complex reductive group G, contructible with respect to the stratification by G(C[[x]])-orbits. Following ideas of Ginzburg and Arkhipov-Bezrukavnikov-Ginzburg, we describe this category (and a mixed version) in terms of coherent sheaves on the nilpotent cone of its Langlands dual reductive group. We also show, in the mixed case, that restriction to the nilpotent cone of a Levi subgroup corresponds to hyperbolic localization on affine Grassmannians.
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.
In this paper we prove equivalences of categories relating the derived category of a block of the category of representations of a connected reductive algebraic group over an algebraically closed field of characteristic $p$ bigger than the Coxeter number and a derived category of equivariant coherent sheaves on the Springer resolution (or a parabolic counterpart). In the case of the principal block, combined with previous results, this provides a modular version of celebrated constructions due to Arkhipov-Bezrukavnikov-Ginzburg for Lusztig's quantum groups at a root of unity. As an application…
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.
The category of Cohen-Macaulay modules of an algebra $B_{k,n}$ is used [JKS16] to give an additive categorification of the cluster algebra structure on the homogeneous coordinate ring of the Grassmannian of $k$-planes in $n$-space. In this paper, we find canonical Auslander--Reiten sequences and study the Auslander--Reiten translation periodicity for this category. Furthermore, we give an explicit construction of Cohen-Macaulay modules of arbitrary rank. We then use our results to establish a correspondence between rigid indecomposable modules of rank 2 and real roots of degree 2 for the assoc…
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.
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 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.
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 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.
In \cite{JKS} we gave an (additive) categorification of Grassmannian cluster algebras, using the category $\CM(A)$ of Cohen-Macaulay modules for a certain Gorenstein order $A$. In this paper, using a cluster tilting object in the same category $\CM(A)$, we construct a compatible pair $(B, L)$, which is the data needed to define a quantum cluster algebra. We show that when $(B, L)$ is defined from a cluster tilting object with rank 1 summands, this quantum cluster algebra is (generically) isomorphic to the corresponding quantum Grassmannian.
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 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.
Let $A$ be a hereditary algebra. We construct a fundamental domain for the cluster category of $A$ inside the category of modules over the duplicated algebra $\bar{A}$ of $A$. We then prove that there exists a bijection between the tilting objects in the cluster category and the tilting $\bar{A}$-modules all of whose non projective-injective indecomposable summands lie in the left part of the module category of $\bar{A}$.
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…
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.
We consider the category of modules over the affine Kac-Moody algebra g^ of critical level with regular central character. In our previous paper math.RT/0508382 we conjectured that this category is equivalent to the category of Hecke eigen-D-modules on the affine Grassmannian G((t))/G[[t]]. This conjecture was motivated by our proposal for a local geometric Langlands correspondence. In this paper we prove this conjecture for the corresponding I^0 equivariant categories, where I^0 is the radical of the Iwahori subgroup of G((t)). Our result may be viewed as an affine analogue of the equivalence…
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, …
The aim of this paper is to identify a certain tensor category of perverse sheaves on the real loop Grassmannian of a real form $G_{\mathbb R}$ of a connected reductive complex algebraic group $G$ with the category of finite-dimensional representations of a connected reductive complex algebraic subgroup $\check H$ of the dual group $\check G$. The root system of $\check H$ is closely related to the restricted root system of the real form $G_{\mathbb R}$. The fact that $\check H$ is reductive implies that an interesting family of real algebraic maps satisfies the conclusion of the Decomposition…
We study extension spaces, cotorsion pairs and their mutations in the cluster category of a marked surface without punctures. Under the one-to-one correspondence between the curves, valued closed curves in the marked surface and the indecomposable objects in the associated cluster category, we prove that the dimension of extension space of two indecomposable objects in the cluster categories equals to the intersection number of the corresponding curves. By using this result, we prove that there are no non-trivial $t-$structures in the cluster categories when the surface is connected. Based on …
