Tilting theoretic approach to quasi-hereditary structures

TL;DR

This paper characterizes which tilting modules are associated with quasi-hereditary structures using IS-tilting modules, providing new insights into their classification and enumeration, especially for quadratic linear Nakayama algebras.

Contribution

It introduces the notion of IS-tilting modules to identify characteristic tilting modules and applies this to classify and enumerate quasi-hereditary structures for specific algebras.

Findings

A tilting module is characteristic iff it admits an IS-tilting structure.

All tilting modules are characteristic iff the algebra is quadratic linear Nakayama.

Provides a recursive formula and combinatorial descriptions for quasi-hereditary structures.

Abstract

A quasi-hereditary algebra is an algebra equipped with a certain partial order $\unlhd$ on its simple modules. Such a partial order -- called a quasi-hereditary structure -- gives rise to a characteristic tilting module $T_{\unlhd}$ by a classical result due to Ringel. A fundamental question is to determine which tilting modules can be realised as characteristic tilting modules. We answer this question by using the notion of IS-tilting module, which is a pair $(T,\unlhd)$ of a tilting module $T$ and a partial order $\unlhd$ on its direct summands such that iterative idempotent truncation along $\unlhd$ always reveals a simple direct summand. Specifically, we show that a tilting module $T$ is characteristic if, and only if, there is some $\unlhd$ so that $(T,\unlhd)$ is IS-tilting; in which case, we have $T=T_{\unlhd}$. This result enables us to study quasi-hereditary structures using tilting theory. As an application of the above result, we show that, for an algebra $A$, all tilting modules are characteristic if, and only if, $A$ is a quadratic linear Nakayama algebra. Furthermore, for such an $A$, we provide a decomposition of the set of its tilting modules that can be used to derive a recursive formula for enumerating its quasi-hereditary structures. Finally, we describe the quasi-hereditary structures of $A$ via `nodal gluing' and binary tree sequences.