Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 1802.03683

Abelian quotients of the categories of short exact sequences

Zengqiang Lin
View original source ↗Read source document ↗Export metadata ↓

Abstract

We mainly investigate abelian quotients of the categories of short exact sequences. The natural framework to consider the question is via identifying quotients of morphism categories as modules categories. These ideas not only can be used to recover the abelian quotients produced by cluster-tilting subcategories of both exact categories and triangulated categories, but also can be used to reach our goal. Let $(\mathcal{C},\mathcal{E})$ be an exact category. We denote by $\mathcal{E}(\mathcal{C})$ the category of bounded complexes whose objects are given by short exact sequences in $\mathcal{E}$ and by $S\mathcal{E}(\mathcal{C})$ the full subcategory formed by split short exact sequences. In general, $\mathcal{E}(\mathcal{C})$ is just an exact category, but the quotient $\mathcal{E}(\mathcal{C})/[S\mathcal{E}(\mathcal{C})]$ turns out to be abelian. In particular, if $(\mathcal{C},\mathcal{E})$ is Frobenius, we present three equivalent abelian quotients of $\mathcal{E}(\mathcal{C})$ and point out that the equivalences are actually given by left and right rotations. The abelian quotient $\mathcal{E}(\mathcal{C})/[S\mathcal{E}(\mathcal{C})]$ admits some nice properties. We explicitly describe the abelian structure, projective objects, injective objects and simple objects, which provide a new viewpoint to understanding Hilton-Rees Theorem and Auslander-Reiten theory. Furthermore, we present some analogous results both for $n$-exact versions and for triangulated versions.

Explore related subjects

math.RTmath.RA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Zengqiang Lin. 2018-02-11. Abelian quotients of the categories of short exact sequences. https://arxiv.org/abs/1802.03683

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↗