A narrow over-ring adjustment functor (Q753910): Difference between revisions

The author considers a semiperfect ring (in general without identity) \(R=\left[ \begin{matrix} A&_ AN_ B\\ 0&B\end{matrix} \right]\) which is faithfully right B-traced, that is, such that \(_ AN\) is faithful and \(eN_ B\) is finitely cogenerated (has a finite essential socle) for any primitive idempotent \(e\in A\). He then studies the category \(adj^ A_ B(R)\) of adjusted R-modules, that is, modules of the form \(X_ R=(X'_ A,X'_ B,\phi: X'\otimes_ AN_ B\to X''_ B)\) such that \(X'_ A\) is finitely generated, \(X''_ B\) is finitely cogenerated, \(\phi\) is surjective and its adjoint \({\bar \phi}: X'_ A\to Hom_ B(_ AN_{B'},X''_ B)\) is injective [see the author, Bull. Pol. Acad. Sci., Math. 35, 279-288 (1987; Zbl 0648.16019) or ``Moduled categories and adjusted modules over traced rings'', Diss. Math. 269 (1990)]. This category allows to give a unified approach to many different matrix problems including the studies of vector space categories and lattices over orders. An extension of B-traced rings \(R=\left[ \begin{matrix} A&N \\ O&B\end{matrix} \right]\subseteq R'=\left[ \begin{matrix} A'&N' \\ O&B\end{matrix} \right]\) is defined to be narrow if \(A\subseteq A'\) are such that \(AA'=A'=A'A\) and \(ANB=A'N'B\), and an ideal \({\mathcal A}'=\left[ \begin{matrix} {\mathcal A}&N \\ O&B\end{matrix} \right]\) to be narrow if \({\mathcal A}\) is a two-sided ideal of \(A'\), contained in the radical of A. In this case, there is a natural ring embedding \(S=A/{\mathcal A}\overset \sim \rightarrow R/{\mathcal A}'\hookrightarrow S'=A'/{\mathfrak a}'\overset \sim \rightarrow R'/{\mathcal A}'\). The main theorem states that if in this situation the moduled categories \({\mathbb{L}}_ S={\mathbb{L}}(R,R',{\mathcal A})_ S\) and \({\mathbb{L}}'_{S'}={\mathbb{L}}(R,R',{\mathcal A})_{S'}\) satisfy some duality condition and \[ T=T_{{\mathbb{L}}}=\left[ \begin{matrix} S\\ O\end{matrix} \begin{matrix} {\tilde {\mathbb{L}}}\\ \tilde E\end{matrix} \right]\subseteq T'=T_{{\mathbb{L}}'}=\left[ \begin{matrix} S'\\ O\end{matrix} \begin{matrix} {\tilde {\mathbb{L}}}\\ \tilde E\end{matrix} \right] \] are the associated \(\tilde E\)- traced rings, then \(T\subseteq T'\) is a narrow extension of \(\tilde E\)- traced rings, and there is a representation equivalence of \(adj^ A_ B(R)\) onto a full subcategory of \(adj^ S_{\tilde E}(T).\) As an application, this narrow over-ring adjustment functor is used to determine the representation type of a class of non-Schurian vector space categories for which the associated right peak algebra is the incidence algebra of an augmented stratified poset over a division ring [see, for instance the author in: Topics in Algebra. Pt. I: Rings and representations of algebras'', Banach Cent. Publ. 26, 499-533 (1990)].