Some categories of lattices associated to a central idempotent (Q1293333): Difference between revisions

Let \(R\) be a Noetherian integral domain with quotient field \(K\), and \(\Lambda\) an \(R\)-order in a finite-dimensional \(K\)-algebra \(A\). For a central idempotent \(e\) of \(A\), the author considers the quotient category \({\mathcal C}:=\Lambda\)-\(\mathbf{lat}/e\Lambda\)-\(\mathbf{lat}\) of \(\Lambda\)-lattices modulo homomorphisms which factor through some \(e\Lambda\)-lattice. He proves that this category is pre-Abelian such that for every object \(X\) of \(\mathcal C\) there is a projective object \(P\) and a cokernel \(P\twoheadrightarrow X\) in \(\mathcal C\). Therefore, if the projectives in \(\mathcal C\) admit an additive generator \(Q\), then \(\mathcal C\) is of the form \(\Gamma\)-\(\mathbf{lat}\) with \(\Gamma:=\text{End}_{\mathcal C}(Q)\) an \(R\)-order. In case \(R\) is a complete discrete valuation domain, and \(A\) semisimple, the Auslander-Reiten quiver of \(\Gamma\) is obtained from that of \(\Lambda\) by removing the indecomposables of \(e\Lambda\) together with adjacent arrows. There are new projectives (resp. injectives) at the vertices where \(\tau\) (resp. \(\tau^{-1}\)) is no longer defined after this removal. As every generalized overorder of \(\Lambda\) (in the sense of Drozd and Kirichenko) is given by a ring homomorphism \(\Lambda\to \Lambda'\) with \(R\)-torsion cokernel, the paper extends the author's investigation on subcategories of the form and \(\Lambda\setminus\text{ind }\Lambda'\) for overorders \(\Lambda'\) [J. Math. Soc. Jap. 50, No. 3, 697-718 (1998; Zbl 0916.16007)] to the case of generalized overorders when \(A\) is semisimple.