We give a proof of the fact that for an FB-module the properties of being "representation stable" (RS) and "having a polynomial character" (PC) are equivalent. We obtain optimal estimates for the gap between the ranks of the polynomiality and of representation stability. As a by-product, we show that the degree of the polynomial character and the weight at infinity of an FB-module coincide, which we apply to determine the weight at infinity of a tensor product of FB-modules.
In the paper, we mainly connect the Gorenstein derived equivalence and stable functors of Gorenstein projective modules. Specially, we prove that a Gorenstein derived equivalence between CM-finite algebras A and B can induce a stable functor between the factor categories A-mod/A-Gproj and B-mod\B-Gproj. Furthermore, the above stable functor is an equivalence when A and B are Gorenstein.
We consider the equivalence from the stable module category to a subcategory $\mathcal{L}_A$ of the homotopy category constructed by Kato. This equivalence induces a correspondence between distinguished triangles in the homotopy category and perfect exact sequences in the module category. We show that an exact equivalence between categories $\mathcal{L}_A$ and $\mathcal{L}_B$ induces a stable equivalence of Morita type between two finite dimensional algebra A and B under a separability assumption. Moreover, we provide further sufficient conditions for a stable equivalence induced by an exact f…
Invariants with respect to recollements of the stable category of Gorenstein projective A-modules over an algebra A and stable equivalences are investigated. Specifically, the Gorenstein rigidity dimension is introduced. It is shown that the Gorenstein rigidity dimension is invariant with respect to both Morita equivalences and the stable equivalences of Gorenstein projective modules. As a consequence, the Gorenstein rigidity dimension is shown the invariant of derived equivalences. The Gorenstein rigidity dimension is compared along the recollements of the stable category of Gorenstein projec…
We prove an Induction Equivalence and a Kashiwara Equivalence for coadmissible equivariant D-modules on rigid analytic spaces. This allows us to completely classify such objects with support in a single orbit of a classical point with co-compact stabiliser. As an application, we use the locally analytic Beilinson-Bernstein equivalence to construct new examples of large families of topologically irreducible locally analytic representations of certain compact semisimple p-adic Lie groups.
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.
The stability space of a module is the cone of vectors which make the module semistable. These cones are defined in terms of inequalities; in this paper we draw insights from considering the dual description in terms of non-negative linear spans. We show how stability spaces of thin modules are related to order polytopes. In the case of non-thin modules, we show how the stability spaces of string and band modules are related to the stability spaces of the thin modules corresponding to the abstract string and band. We use this to analyse the way in which the stability space of a band module is …
Corrigendum to "An equivalence of categories for graded modules over monomial algebras and path algebras of quivers" [J. Algebra, 353(1) (2012) 249-260]
We prove in full generality that the generalized quantum affine Schur-Weyl duality functor, introduced by Kang-Kashiwara-Kim, gives an equivalence between the category of finite-dimensional modules over a quiver Hecke algebra and a certain full subcategory of finite-dimensional modules over a quantum affine algebra which is a generalization of the Hernandez-Leclerc's category $\mathcal{C}_Q$. This was previously proved in untwisted $ADE$ types by Fujita using the geometry of quiver varieties, which is not applicable in general. Our proof is purely algebraic, and so can be extended uniformly to…
The affinoid envelope, $\widehat{U(\mathcal{L})}$ of a free, finitely generated $\mathbb{Z}_p$-Lie algebra $\mathcal{L}$ has proven to be useful within the representation theory of compact $p$-adic Lie groups. Our aim is to further understand the algebraic structure of $\widehat{U(\mathcal{L})}$, and to this end, we will define a Dixmier module over $\widehat{U(\mathcal{L})}$, and prove that this object is generally irreducible in case where $\mathcal{L}$ is nilpotent. Ultimately, we will prove that all primitive ideals in the affinoid envelope can be described in terms of the annihilators of …
Auslander and Bridger introduced the notions of n-spherical modules and n-torsionfree modules. In this paper, we construct an equivalence between the stable category of n-spherical modules and the category of modules of grade at least n, and provide its Gorenstein analogue. As an application, we prove that if R is a Gorenstein local ring of Krull dimension d>0, then there exists a stable equivalence between the category of (d-1)-torsionfree R-modules and the category of d-spherical modules relative to the local cohomology functor.
We give a handy way to have a situation that the $kG$-Scott module with vertex $P$ remains indecomposable under taking the Brauer construction for any subgroup $Q$ of $P$ as $k[Q\,C_G(Q)]$-module, where $k$ is a field of characteristic $p>0$. The motivation is that the Brauer indecomposability of a $p$-permutation bimodule is one of the key steps in order to obtain a splendid stable equivalence of Morita type by making use of the gluing method, that then can possibly lift to a splendid derived equivalence. Further our result explains a hidden reason why the Brauer indecomposability of the Scot…
