Endomorphism algebras of generators over symmetric algebras. (Q645263)

Let \(k\) be a field and \(A\) a finite-dimensional \(k\)-algebra. The standard \(k\)-duality \(\Hom_k(-,k)\) is denoted by \(D\). Recall that the dominant dimension of a (right) \(A\)-module \(N\) (\(\text{dom\,dim}(N)\)) is the greatest number \(t\) (or \(\infty\)) such that the first \(t\) terms of the minimal injective resolution of \(N\) are projective. The dominant dimension of \(A\) can be defined as \(\text{dom\,dim}(A_A)\). The main result asserts that the following conditions are equivalent: (1) \(\text{dom\,dim}(A)\geq 2\) and \(D(Ae)\cong eA\) as \(eAe\)-\(A\)-bimodules, where \(Ae\) is a basic faithful projective-injective \(A\)-module, (2) \(\Hom_A(D(A),A)\cong A\) as \(A\)-\(A\)-bimodules, (3) \(D(A)\otimes_AD(A)\cong D(A)\) as \(A\)-\(A\)-bimodules, (4) \(A\) is the endomorphism algebra of a generator \(M\) of the category of finitely generated \(\Lambda\)-modules for some finite-dimensional symmetric algebra \(\Lambda\). The result generalizes the classical Morita-Tachikawa correspondence between pairs \((\Lambda,M)\) (\(\Lambda\) an Artin algebra, \(M\) a generator-cogenerator) and algebras \(A\) with dominant dimension at least 2 [\textit{K. Morita}, Sci. Rep. Tokyo Kyoiku Daigaku, Sect. A 6, 83-142 (1958; Zbl 0080.25702); \textit{H. Tachikawa}, Quasi-Frobenius rings and generalizations. QF-3 and QF-1 rings. Lect. Notes Math. 351. Berlin-Heidelberg-New York: Springer-Verlag (1973; Zbl 0271.16004)]. The correspondence is given by \(A=\text{End}_\Lambda(M)\). A homological characterization of the dominant dimension of the algebras satisfying the conditions (1)-(4), which is a counterpart of \textit{B. J. Müller}'s result [Can. J. Math. 20, 398-409 (1968; Zbl 0155.07503)] is also given: if \(A\) satisfies (2) then, for any module \(N\), \(\text{dom\,dim}(N)\geq n\) if and only if \(\Hom_A(D(A),N)\cong N\) and \(\text{Ext}^i_A(D(A),N)=0\) for \(i=1,\dots,n-2\). The motivation for this work comes from investigating abstract frameworks for Schur-Weyl duality and relative Schur equivalences, see \textit{M. Fang} and \textit{S. König} [Trans. Am. Math. Soc. 363, No. 3, 1555-1576 (2011; Zbl 1268.16005)].