On an upper bound for the global dimension of Auslander-Dlab-Ringel algebras (Q1710699)

If $A$ is an Artin algebra with Loewy length $m$, \textit{M. Auslander} [Representation dimension of Artin algebras. With the assistance of Bernice Auslander. Queen Mary College Mathematics Notes. London: Queen Mary College (1971; Zbl 0331.16026)] proved that $B=\text{End}_A(\bigoplus_{j=1}^m A/J(A)^j)$ has finite global dimension, while \textit{V. Dlab} and \textit{C. M. Ringel} [Lond. Math. Soc. Lect. Note Ser. 168, 200--224 (1992; Zbl 0793.16006)] showed that $B$ is quasi-hereditary. This resulted in $B$ to be called an Auslander-Dlab-Ringel (ADR) algebra in the literature. \par Let $\leq$ be a partial order on the index set $I$ of simple $A$-modules. For each $i \in I$, let $\nabla(i)$ be the maximal submodule of $E(i)$ whose composition factors have the form $S(j)$ for some $j \leq i$. The module $\nabla(i)$ is called the costandard module corresponding to $i$. Let $\nabla:= \{ \nabla(i) : i \in I \}$ be the set of costandard modules. Denote by $\mathcal{F}(\nabla)$ the full subcategory of $\text{mod }A$ whose objects are the modules which have a $\nabla$-filtration, i.e., $M \in \mathcal{F}(\nabla)$ if and only if there exists a chain of submodules $M=M_0 \supseteq M_1 \supseteq \ldots \supseteq M_l=0$ satisfying $M_i/M_{i+1}\cong N$ for some $N\in \nabla$. For $M \in \mathcal{F}(\nabla)$, denote by $(M: \nabla(i))$ the filtration multiplicity of $\nabla(i)$, which does not depend on the choice of $\nabla$-filtrations. \par Let $A$ be an Artin algebra, and $\leq$ a partial order on $I$. A pair $(A, \leq)$ (or simply $A$) is called left-strongly quasi-hereditary if there exists a short exact sequence $0 \to \nabla(i) \to E(i) \to E(i) /\nabla(i) \to 0$ for any $i \in I$ satisfying the following: (i) $E(i)/\nabla(i) \in \mathcal{F}(\nabla)$ for any $i \in I$, (ii) if $(E(i)/\nabla(i) :\nabla(j)) \not= 0$, then $i < j$, and (iii) $E(i)/\nabla(i)$ is an injective $A$-module, or equivalently, $\nabla(i)$ has injective dimension at most one. A pair $(A, \leq)$ (or simply $A$) is right-strongly quasi-hereditary if $(A^{\text{op}}, \leq)$ is left-strongly quasi-hereditary, and a pair $(A, \leq)$ (or simply $A$) is strongly quasi-hereditary if $(A, \leq)$ is left-strongly quasi-hereditary and right-strongly quasi-hereditary. \par \textit{C. M. Ringel} [J. Pure Appl. Algebra 214, No. 9, 1687--1692 (2010; Zbl 1228.16014)] introduced the notion of left-strongly quasi-hereditary algebras in terms of highest weight categories, giving a better upper bound for the global dimension than that of general quasi-hereditary algebras. \par Next, if $M$ is an $A$-module, then $M$ is a local module if $\text{top }M$ is isomorphic to a simple $A$-module, and $M$ is a semilocal module if $M$ is a direct sum of local modules. Since any Artin algebra is a semilocal module, ADR algebras of semilocal modules generalize original ADR algebras, refining to the following (Theorem 2.2, page 45): the ADR algebra of any semilocal module is left-strongly quasi-hereditary. \par Furthermore, \textit{M. Tsukamoto} [in: Proceedings of the 50th symposium on ring theory and representation theory, University of Yamanashi, Yamanashi, Japan, October 7--10, 2017. Yamanashi: Symposium on Ring Theory and Representation Theory Organizing Committee. 185--189 (2018; Zbl 1410.16017)] gives characterizations of when original ADR algebras are strongly quasi-hereditary (Theorem 3.1, page 48): if $A$ is an Artin algebra with Loewy length $m\geq 2$ and $B$ is the ADR algebra of $A$, then the following are equivalent: (i) $B$ is a strongly quasi-hereditary algebra, (ii) a certain chain (see (3.1), page 48) is a rejective chain of $\text{add } \widetilde{A}$, (iii) $\text{gldim }B=2$, and (iv) $J(A)\in \text{add }\widetilde{A}$.