Extriangulated length categories: torsion classes and $\tau$-tilting theory

This paper introduces the notion of extriangulated length categories, whose prototypical examples include abelian length categories and bounded derived categories of finite dimensional algebras with finite global dimension. We prove that an extriangulated category $\mathcal{A}$ is a length category if and only if $\mathcal{A}$ admits a simple-minded system. Subsequently, we study the partially ordered set ${\mathrm{t}\mathrm{o}\mathrm{r}}_{\mathrm{\Theta }}(\mathcal{A})$ of torsion classes in an extriangulated length category $(\mathcal{A},\mathrm{\Theta })$ from the perspective of lattice theory. It is shown that ${\mathrm{t}\mathrm{o}\mathrm{r}}_{\mathrm{\Theta }}(\mathcal{A})$ forms a complete lattice, which is further proved to be completely semidistributive and algebraic. Moreover, we describe the arrows in the Hasse quiver of ${\mathrm{t}\mathrm{o}\mathrm{r}}_{\mathrm{\Theta }}(\mathcal{A})$ using brick labeling. Finally, we introduce the concepts of support torsion classes and support $\tau$-tilting subcategories in extriangulated length categories and establish a bijection between these two notions, thereby generalizing the Adachi-Iyama-Reiten bijection for functorially finite torsion classes.