Properly stratified algebras and tilting

Anders Frisk; Volodymyr Mazorchuk

Home/Archive/arXiv

arXiv · math/0502238

Properly stratified algebras and tilting

Anders Frisk·Volodymyr Mazorchuk

View original source ↗Read source document ↗Export metadata ↓

Abstract

We study the properties of tilting modules in the context of properly stratified algebras. In particular, we answer the question when the Ringel dual of a properly stratified algebra is properly stratified itself, and show that the class of properly stratified algebras for which the characteristic tilting and cotilting modules coincide is closed under taking the Ringel dual. Studying stratified algebras, whose Ringel dual is properly stratified, we discover a new Ringel-type duality for such algebras, which we call the two-step duality. This duality arises from the existence of a new (generalized) tilting module for stratified algebras with properly stratified Ringel dual. We show that this new tilting module has a lot of interesting properties, for instance, its projective dimension equals the projectively defined finitistic dimension of the original algebra, it guarantees that the category of modules of finite projective dimension is contravariantly finite, and, finally, it allows one to compute the finitistic dimension of the original algebra in terms of the projective dimension of the characteristic tilting module.

Explore related subjects

math.RT

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Anders Frisk, Volodymyr Mazorchuk. 2005-02-11. Properly stratified algebras and tilting. https://arxiv.org/abs/math/0502238

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

A local relative trace formula for F*\SL(2,F)

In this note, we derive explicitly the local relative trace formula for the symmetric space F*\SL(2,F) at the level of Lie algebras, where F is a p-adic field of residue characteristic greater than two and F* is the set of invertible elements in F. This is perhaps one of the simplest non-trivial analogs of the trace formula, and also a motivating example for the author's work (in preparation) on the relative trace formula.

math.RT↗

arXiv2026

Semi-infinite parabolic IC-sheaf

Let G be a connected reductive group, P its parabolic subgroup. We consider the parabolic semi-infinite category of sheaves on the affine Grassmanian of G and construct the parabolic version of the semi-infinite IC-sheaf of each orbit. We establish some of its properties and relate it to sheaves on the Drinfeld compactification of the moduli stack Bun_P of P-torsors on a curve. We also relate the parabolic semi-infinite IC-sheaf with the dual baby Verma object on the spectral side.

math.RT↗

arXiv2026

The Grothendieck group of an extriangulated category

In this paper, we investigate the split Grothendieck group $K^{\rm sp}_{0}(\mathcal{M})$ of a $d$-rigid subcategory $\mathcal{M}$ in an extriangulated category $\mathscr{C}$. As applications, we prove the following results: (1) If $\mathcal{M}$ is a silting subcategory, then the Grothendieck group $K_{0}(\mathscr{C})$ is isomorphic to $K_{0}^{\rm sp}(\mathcal{M})$; (2) If $\mathcal{M}$ is a $d$-cluster tilting subcategory, then $K_{0}(\mathscr{C})$ is isomorphic to the index Grothendieck group $K_{0}^{\rm in}(\mathcal{M})$; (3) Let $\mathcal{C}_{A_{n}}^{d}$ be the $d$-cluster category of type $A_n$. If $d$ is even, then $K_0(\mathcal{C}_{A_{n}}^{d})\cong \mathbb{Z}/(n+1)\mathbb{Z}$. If $d$ is odd, then $K_0(\mathcal{C}_{A_{n}}^{d})\cong \mathbb{Z}$ if $n$ is odd; $K_0(\mathcal{C}_{A_{n}}^{d})\cong 0$ if $n$ is even.

math.RT↗