On properly stratified Gorenstein algebras (Q2040506)

Let \(A\) be a finite dimensional algebra and \(e = \{e_1, \ldots, e_n\}\) be a linearly ordered complete set of primitive orthogonal idempotents. For each \(i = 1, \ldots , n\), \(\Delta (i)\) is the maximal quotient of \(P(i)\) without composition factors \(S(j)\), \(j > i\). Define \(\bar{\Delta}(i)\) to be the maximal quotient of \(\Delta(i)\) having only once \(S(i)\) as composition factor. We call \(\Delta = \{ \Delta(1), \ldots, \Delta(n)\}\) the standard modules of \(A\) and \(\bar{\Delta} = \{ \bar{\Delta}(1), \ldots, \bar{\Delta}(n)\}\) the proper standard modules. For a set of modules \(\Delta\), \(\mathcal{F}(\Delta)\) denotes the full subcategory of mod\(A\) having a filtration by the modules in the set \(\Delta\). An algebra together with a linearly ordered complete set of orthogonal primitive idempotents \((A, e)\) is \begin{itemize} \item {Standardly stratified} if \(A_A \in \mathcal{F}(\Delta)\), \item {Properly stratified} if \(A_A \in \mathcal{F}(\Delta) \cap \mathcal{F}(\bar{\Delta})\). \end{itemize} We denote by \(\nabla(i) = D\Delta_{op} (i)\) and \(\bar{\nabla}(i) = D\bar{\Delta}_{op} (i)\) the costandard and proper costandard modules of A, where \(\Delta_{op}\) and \(\bar{\Delta}_{op}\) are the standard and proper standard modules of \(A^{op}\). For a subcategory \(\mathcal{U}\) of mod\(A\) we denote by \(\check{\mathcal{U}}\) the full subcategory of mod-A consisting of modules \(X\) such that there is an exact sequence \(0 \rightarrow X \rightarrow C_0 \rightarrow \ldots \rightarrow C_n \rightarrow 0\) with \(C_i \in U\). Let \((A, e)\) be a properly stratified algebra. A basic tilting module \(T\) that verify \begin{itemize} \item \(\mathcal{F}(\bar{\nabla}) = T^{\perp}\), \item \(\check{\mathcal{F}(\bar{\nabla})} = \mbox{mod} A\), and \item add \(T\) = \(\mathcal{F}(\Delta) \cap \mathcal{F}(\bar{\nabla})\), \end{itemize} is called the characteristic tilting module of the properly stratified algebra. The characteristic cotilting module of the properly stratified algebra is defined dually. Standardly stratified algebras always have a characteristic tilting module but in general no characteristic cotilting module. The properly stratified algebras where the characteristic tilting and cotilting modules coincide are of particular importance as they have many strong homological properties that are in general missing in the case of standardly stratified algebras. The authors characterize these algebras when the characteristic tilting and cotilting modules coincide as follows.\\ Theorem 2.2. For a properly stratified algebra \(A\), the characteristic tilting module coincides with the characteristic cotilting module if and only if \(A\) is Gorenstein. Properly stratified Gorenstein algebras have strong homological properties, showed by the authors in Theorems 2.4 and 2.5. \begin{itemize} \item Every Gorenstein projective \(A\)-module is properly stratified. \item \(A\)-module M is in \(\mathcal{F} (\Delta)\) if and only if \(M\) is in \(\mathcal{F} (\bar{\Delta})\) with finite projective dimension. \item All endomorphism rings {End}\(_A\) (\(\Delta(i)\)) are Frobenius algebras. \end{itemize} An algebra \(A\) is called gendo-symmetric if \(D(A) \otimes A D(A) \cong D(A)\). A GIGS algebra is a gendo-symmetric properly stratified Gorenstein algebra \((A, e)\) having a duality. The authors apply their results to the study of GIGS algebras that are minimal Auslander-Gorenstein algebras in the sense of Iyama-Solberg (Section 3) and calculate under suitable conditions their Ringel duals.