Based quasi-hereditary algebras (Q2182360): Difference between revisions

Working over an arbitrary ground field, \textit{E. Cline} et al. [J. Reine Angew. Math. 391, 85--99 (1988; Zbl 0657.18005)] axiomatized the notion of a highest weight category and defined quasi-hereditary algebras. However, it is important to be able to work more generally over a reasonable commutative ring. In particular, if \(\mathbb{K}\) is a Noetherian ground ring, a notion of split quasi-hereditary algebra has been defined in [\textit{E. Cline} et al., J. Algebra 131, No. 1, 126--160 (1990; Zbl 0699.16015)]. On the other hand, \textit{J. Du} and \textit{H. Rui} [Trans. Am. Math. Soc. 350, No. 8, 3207--3235 (1998; Zbl 0908.16015)] described an approach to split quasi-hereditary algebras, showing that it is equivalent to that of Cline et al. [loc. cit.] provided that \(\mathbb{K}\) is Noetherian and local. The goal of this paper under review is to develop Du and Rui's approach [loc. cit.] further to show that over a complete local Noetherian ring, the authors can achieve even stronger basis properties. This is important for `Schurifying' quasi-hereditary algebras as developed in the authors' subsequent work. The Schurification procedure associates to an algebra \(A\) a new algebra, which is the classical Schur algebra if \(A\) is a field. Schurification produces interesting new quasi-hereditary and cellular algebras. It is important to work over an integral domain of characteristic zero, taking into account a super-structure on the input algebra \(A\). So they pay attention to super-structures on quasi-hereditary algebras and investigate a subtle conforming property of heredity data which is crucial to guarantee that the schurification of \(A\) is quasi-hereditary if so is \(A\). They establish a Morita equivalence result which allows them to pass to basic quasi-hereditary algebras preserving conformity.