Some homological properties of ind-completions and highest weight categories (Q2197565)

A highest weight structure on a (linear abelian) category is a partial order on the set of iso-classes of the simple objects satisfying certain homological properties. It is proved in [\textit{K. Coulembier}, Math. Z. 295, No. 1--2, 821--837 (2020; Zbl 1483.17009)] that, if a category has a simple preserving duality and is highest weight with a finite or upper finite partially ordered set, then it cannot be highest weight with another partial order. The paper establishes the same statement for highest categories with lower finite partial orders. The proof is different from that in [loc. cit.]. To obtain the result, the paper shows that the definition of lower finite highest weight category in [\textit{S. Riche} and \textit{G. Williamson}, Tilting modules and the \(p\)-canonical basis. Paris: Société Mathématique de France (SMF) (2018; Zbl 1437.20001)] and that in [\textit{J. Brundan} and \textit{C. Stroppel}, ``Semi-infinite highest weight categories'', Preprint, \url{arXiv:1808.08022}] are equivalent. The paper also uses Ind-completion to relate the finite length setting in the paper to the original setting of locally artinian categories in [\textit{E. Cline} et al., J. Reine Angew. Math. 391, 85--99 (1988; Zbl 0657.18005)].