Essential orders on stratified algebras with duality and \(\mathcal{S}\)-subcategories in \(\mathcal{O}\) (Q2136139)

A stratification of a finite dimensional algebra \(A\) is a partial order given to the isomorphism classes of simple \(A\)-modules, which is required to be compatible with the representation theory of \(A\) in specific ways. The partial order gives rise to four structural classes of \(A\)-modules, called standard, proper standard, costandard, and proper costandard, and if they satisfy certain homological properties, the algebra is called (standardly) stratified. If, furthermore, the resulting proper (co)standard modules agree with the (co)standard modules, the algebra is called quasi-hereditary. A partial order for a stratified or quasi-hereditary algebra often contains more relations than necessary to determine the structural modules. When considering classification problems for a quasi-hereditary algebra, one thus replace a partial order by the essential order, the minimal partial order giving the same structural modules. When there is a simple-preserving duality on the \(A\)-modules, as for example in the blocks of a BGG category \(\mathcal O\), [\textit{K. Coulembier}, Math. Z. 295, No. 1--2, 821--837 (2020; Zbl 1483.17009)] shows that \(A\) has a unique essential order. Using this result, Coulembier classifies the equivalences between the blocks of BGG categories \(\mathcal O\). This paper considers the analogous problem for stratified algebra and the S-subcategories of \(\mathcal O\). The essential order is now defined as the minimal partial order that yields the same standard and proper costandard modules. Whether and how the proper standard modules or costandard modules for the essential order differ from the ones for the original order is not discussed in the paper, but the main application of the definition in the current paper is when there is a simple-preserving duality in which case the proper standard modules and costandard modules also agree. The first main result of the paper is the uniqueness of the essential order, under a simple-preserving duality. This result is applied to the S-subcategories of the regular blocks in BGG categories \(\mathcal O\) to give a classification of equivalences between the blocks.