Let $U_q$ denote the quantum group associated with a finite dimensional semisimple Lie algebra. Assume that $q$ is a complex root of unity of odd order and that $U_q$ is %the quantum group version obtained via Lusztig's $q$-divided powers construction. We prove that all regular projective (tilting) modules for $U_q$ are rigid, i.e., have identical radical and socle filtrations. Moreover, we obtain the same for a large class of Weyl modules for $U_q$. On the other hand, we give examples of non-rigid indecomposable tilting modules as well as non-rigid Weyl modules. These examples are for type $B_2$ and in this case as well as for type $A_2$ we calculate explicitly the Loewy structure for all regular Weyl modules.
We also demonstrate that these results carry over to the modular case when the highest weights in question are in the so-called Jantzen region. At the same time we show by examples that as soon as we leave this region non-rigid tilting modules do occur.
In this note we give an overview of rigidity properties and Loewy lengths of tilting modules in the BGG category O associated to a reductive Lie algebra. These results are well-known by several specialists, but seem difficult to find in the existing literature.
Let $G$ be the quantum $GL_n$ over a field of characteristic $p\neq 0$. In this paper we define the ring of twisted tilting modules of $G$. We give generators and relations for the ring of twisted tilting modules of quantum $GL_2(k)$. We also show that this is a reduced ring
In this paper we study categories of tilting modules. Our starting point is the tilting modules for a reductive algebraic group G in positive characteristic. Here we extend the main result in [8] by proving that these tilting modules form a (strictly object-adapted) cellular category. We use this result to specify a subset of cellular basis elements, which generates all morphisms in this category. In a different direction we generalize the earlier results to the case where G is replaced by the infinitesimal thickenings G_rT of a maximal torus T in G by the Frobenius subgroup schemes G_r. Here …
We show that tilting modules for quantum groups over local Noetherian domains exist and that the indecomposable tilting modules are parametrized by their highest weight. For this we introduce a model category ${\mathcal X}={\mathcal X}_{\mathscr A}(R)$ associated with a Noetherian ${\mathbb Z}[v,v^{-1}]$-domain ${\mathscr A}$ and a root system $R$. We show that if ${\mathscr A}$ is of quantum characteristic $0$, the model category contains all $U_{\mathscr A}$-modules that admit a Weyl filtration. If ${\mathscr A}$ is in addition local, we study torsion phenomena in the model category. This le…
The higher APR tilting modules and higher BB tilting modules were introduced and studied in higher Auslander-Reiten theory. Our objective is to consider these tilting modules by the corresponding simple modules, and show that the tensor product of higher APR (BB) tilting modules is a higher APR (BB) tilting module.
Let $A$ be the one point extension of an algebra $B$ by a projective $B$-module. We prove that the extension of a given support $τ$-tilting $B$-module is a support $τ$-tilting $A$-module; and, conversely, the restriction of a given support $τ$-tilting $A$-module is a support $τ$-tilting $B$-module. Moreover, we prove that there exists a full embedding of quivers between the corresponding poset of support $τ$-tilting modules.
Triangle presentations are combinatorial structures on finite projective geometries which characterize groups acting simply transitively on the vertices of a locally finite building of type $\tilde{\text{A}}_{n-1}$ ($n\ge3$). From a type $\tilde{\text{A}}_{n-1}$ triangle presentation on a geometry of order $q$, we construct a fiber functor on the diagrammatic monoidal category $\text{Web}(\text{SL}^{-}_{n})$ over any field $\mathbb{k}$ with characteristic $p\ge n-1$ such that $q \equiv 1$ mod $p$. When $\mathbb{k}$ is algebraically closed and $n$ odd, this gives new fiber functors on the categ…
Using Kuperberg's $B_2/C_2$ webs, and following Elias and Libedinsky, we describe a "light leaves" algorithm to construct a basis of morphisms between arbitrary tensor products of fundamental representations for $\mathfrak{so}_5\cong \mathfrak{sp}_4$ (and the associated quantum group). Our argument has very little dependence on the base field. As a result, we prove that when $[2]_q\ne 0$, the Karoubi envelope of the $C_2$ web category is equivalent to the category of tilting modules for the divided powers quantum group $\mathcal{U}_q^{\mathbb{Z}}(\mathfrak{sp}_4)$.
The theory of finitely generated relative (co)tilting modules has been established in the 1980s by Auslander and Solberg, and infinitely generated relative tilting modules have recently been studied by many authors in the context of Gorenstein homological algebra. In this work, we build on the theory of infinitely generated Gorenstein tilting modules by developing "Gorenstein tilting approximations" and employing these approximations to study Gorenstein tilting classes and their associated relative cotorsion pairs. As applications of our results, we discuss the problem of existence of compleme…
Mutation of τ-tilting modules is a basic operation to construct a new support τ-tilting module from a given one by replacing a direct summand. The aim of this paper is to give a positive answer to the question posed in [AIR, Question 2.31] about mutation of τ-tilting modules.
In this paper, we study a relationship between tilting modules with finite projective dimension and dominant dimension with respect to injective modules as a generalization of results of Crawley-Boevey-Sauter, Nguyen-Reiten-Todorov-Zhu and Pressland-Sauter. Moreover, we give characterizations of almost $n$-Auslander-Gorenstein algebras and almost $n$-Auslander algebras by the existence of tilting modules. As an application, we describe a sufficient condition for almost $1$-Auslander algebras to be strongly quasi-hereditary by comparing such tilting modules and characteristic tilting modules.
For any given symmetrizable Cartan matrix $C$ with a symmetrizer $D$, Geiß~ et al. (2016) introduced a generalized preprojective algebra $Π(C, D)$. We study tilting modules and support $τ$-tilting modules for the generalized preprojective algebra $Π(C, D)$ and show that there is a bijection between the set of all cofinite tilting ideals of $Π(C,D)$ and the corresponding Weyl group $W(C)$ provided that $C$ has no component of Dynkin type. When $C$ is of Dynkin type, we also establish a bijection between the set of all basic support $τ$-tilting $Π(C,D)$-modules and the corresponding Weyl group $…
Let $Λ$ be an algebra with a indecomposable projective-injective module. Adachi gave a method to construct the Hasse quiver of support $τ$-tilting $Λ$-modules. In this paper, we will show that it can be restricted to $τ$-tilting modules.
The blob algebra is a finite-dimensional quotient of the Hecke algebra of type $B$ which is almost always quasi-hereditary. We construct the indecomposable tilting modules for the blob algebra over a field of characteristic $0$ in the doubly critical case. Every indecomposable tilting module of maximal highest weight is either a projective module or an extension of a simple module by a projective module. Moreover, every indecomposable tilting module is a submodule of an indecomposable tilting module of maximal highest weight. We conclude that the graded Weyl multiplicities of the indecomposabl…
We introduce the notions of Gorenstein projective $τ$-rigid modules, Gorenstein projective support $τ$-tilting modules and Gorenstein torsion pairs and give a Gorenstein analog to Adachi-Iyama-Reiten's bijection theorem on support $τ$-tilting modules. More precisely, for an algebra $Λ$, We prove that there is a bijection between the set of Gorenstein projective support $τ$-tilting modules and the set of functorially finite Gorenstein projective torsion classes. As an application, we introduce the notion of CM-$τ$-tilting finite algebras and show that $Λ$ is CM-$τ$-tilting finite if and only if…
Support $τ$-tilting modules correspond to some classes of categorical objects bijectively, such as two-term tilting complexes for any finite dimensional symmetric algebra. This fact motivates us to classify support $τ$-tilting modules over blocks of finite groups. Therefore we classify support $τ$-tilting modules over particular blocks of finite groups by using the modular representation theoretical approaches including Clifford theory, Green's indecomposability theorem and so on.
Let $A$ be a finite dimensional algebra over an algebraically closed field $k$. Let $T$ be a tilting $A$-module and $B={\rm End}_A\ T$ be the endomorphism algebra of $T$. In this paper, we consider the correspondence between the tilting $A$-modules and the tilting $B$-modules, and we prove that there is a one-one correspondence between the basic $T$-tilting $A$-modules in $T^{\perp}$ and the basic tilting $B$-modules in $^{\perp}(D_BT)$. Moreover, we show that there is a one-one correspondence between the $T$-contravariantly finite $T$-resolving subcategories of $T^{\perp}$ and the basic $T$-t…
Let $Λ$ be an artin algebra and $T$ a $τ$-tilting $Λ$-module. We prove that $T$ is a tilting module if and only if ${\rm Ext}_Λ^{i}(T,\Fac T)=0$ for all $i\geq 1$, where $\Fac T$ is the full subcategory consisting of modules generated by $T$. Consequently, a $τ$-tilting module $T$ of finite projective dimension is a tilting module if and only if ${\rm Ext}_Λ^{i}(T, T)=0$ for all $i\geq 1$. Moreover, we also give an example to show that a support $τ$-tilting but not $τ$-tilting module $M$ of finite projective dimension satisfying ${\rm Ext}_Λ^{i}(M, M)=0$ for all $i\geq1$ need not be a partial …
We study (support) $τ$-tilting modules over the trivial extensions of finite dimensional algebras. More precisely, we construct two classes of (support)$τ$-tilting modules in terms of the adjoint functors which extend and generalize the results on (support) $τ$-tilting modules over triangular matrix rings given by Gao-Huang.
We give a construction of Gorenstein projective $τ$-tilting modules in terms of tensor products of modules. As a consequence, we give a class of non-self-injective algebras admitting non-trivial Gorenstein projective $τ$-tilting modules. Moreover, we show that a finite dimensional algebra $Λ$ over an algebraically closed field is $CM$-$τ$-tilting finite if $T_n(Λ)$ is $CM$-$τ$-tilting finite which gives a partial answer to a question on $CM$-$τ$-tilting finite algebras posed by Xie and Zhang.
Following the previous work, we determine exactly the highest weights for which a tensor product of two induced modules is a tilting module, for the algebraic group $SL_2$ over an algebraically closed field of positive characteristic.
We discuss tilting modules of affine quasi-hereditary algebras. We present an existence theorem of indecomposable tilting modules when the algebra has a large center and use it to deduce a criterion for an exact functor between two affine highest weight categories to give an equivalence. As an application, we prove that the Arakawa-Suzuki functor [Arakawa-Suzuki, J. of Alg. 209 (1998)] gives a fully faithful embedding of a block of the deformed BGG category of $\mathfrak{gl}_{m}$ into the module category of a suitable completion of degenerate affine Hecke algebra of $GL_{n}$.
We give an example of a finite-dimensional algebra with a 2-cluster tilting module and a simple module which has infinite complexity. This answers a question of Erdmann and Holm.
In this paper, we investigate the relative dominant dimension with respect to an injective module and characterize the algebras with finite relative dominant dimension. As an application, we introduce the almost n-precluster tilting module and establish a correspondence between almost n-precluster tilting modules and almost n-minimal Auslander-Gorenstein algebras. Moreover, we give a description of the Gorenstein projective modules over almost n-minimal Auslander-Gorenstein algebras in terms of the corresponding almost n-precluster tilting modules.
Let $B$ be the one-point extension algebra of $A$ by an $A$-module $X$. We proved that every support $τ$-tilting $A$-module can be extended to be a support $τ$-tilting $B$-module by two different ways. As a consequence, it is shown that there is an inequality $$|\stilt B|\geqslant 2|\stilt A|.$$
Let $B$ be an one-point extension of a finite dimensional $k$-algebra $A$ by a simple $A$-module at a source point $i$. In this paper, we classify the $τ$-tilting modules over $B$. Moreover, it is shown that there are equations $$|\tilt B|=|\tilt A|+|\tilt A/\langle e_i\rangle|\quad \text{and}\quad |\stilt B|=2|\stilt A|+|\stilt A/\langle e_i\rangle|.$$ As a consequence, we can calculate the numbers of $τ$-tilting modules and support $τ$-tilting modules over linearly Dynkin type algebras whose square radical are zero.
Let $G$ be a simple and simply connected algebraic group over an algebraically closed field $\Bbbk$ of characteristic $p>0$. We establish an isomorphism of $G$-modules between a direct sum of modules $\text{St} \otimes \text{St}$ and a direct sum of tensor products of simple modules of restricted highest weight with tilting modules that are projective over the Frobenius kernel of $G$. This isomorphism holds precisely when Donkin's Tilting Module Conjecture does, and thus can be seen as providing a $G$-module theoretic characterization of this conjecture.
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.
We give a complete picture of when the tensor product of an induced module and a Weyl module is a tilting module for the algebraic group $SL_2$ over an algebraically closed field of characteristic $p$. Whilst the result is recursive by nature, we give an explicit statement in terms of the $p$-adic expansions of the highest weight of each module.
We construct families of representations for quantum groups over $\mathbb{Z}[v,v^{-1}]$-algebras that interpolate between Weyl modules and tilting modules. These families might be candidates for objects with characters satisfying the {\em generations of characters} philosophy of Lusztig and Lusztig-Williamson.
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.
Non-singular weighted surface algebras satisfy the necessary condition found in [6] for existence of cluster tilting modules. We show that any such algebra whose Gabriel quiver is bipartite, has a module satisfying the necessary ext vanishing condition. We show that it is 3-cluster tilting precisely for the non-singular triangular or spherical algebras but not for any other weighted surface algebra with bipartite Gabriel quiver.
In this article, we prove that induced modules of support $τ$-tilting modules over blocks of finite groups satisfying inertial-invariant condition are also support $τ$-tilting modules.
We study tilting and projective-injective modules in a parabolic BGG category $\mathcal O$ for an arbitrary classical Lie superalgebra. We establish a version of Ringel duality for this type of Lie superalgebras which allows to express the characters of tilting modules in terms of those of simple modules in that category. We also obtain a classification of projective-injective modules in the full BGG category $\mathcal O$ for all simple classical Lie superalgebras. We then classify and give an explicit combinatorial description of parabolic subalgebras of the periplectic Lie superalgebras and …
Let $(\mbox{mod} Λ',\mbox{mod} Λ,\mbox{mod} Λ'')$ be a recollement of module categories for artin algebras $Λ'$, $Λ$ and $Λ''$. We provide a sufficient condition such that a glued torsion pair in $\mbox{mod} Λ$ is tilting when the given two torsion pairs are tilting in $\mbox{mod} Λ'$ and $\mbox{mod} Λ''$ respectively. Using this result, we give a construction of gluing of tilting modules in $\mbox{mod} Λ$ with respect to tilting modules in $\mbox{mod} Λ'$ and $\mbox{mod} Λ''$ respectively.
For any good tilting module $T$ over a ring $A$, there exists an $n$-symmetric subcategory $\mathscr{E}$ of a module category such that the derived category of the endomorphism ring of $T$ is a recollement of the derived categories of $\mathscr{E}$ and $A$ in the sense of Beilinson-Bernstein-Deligne. Thus the kernel of the total left-derived tensor functor induced by the tilting module is triangle equivalent to the derived category of $\mathscr{E}$.
