Higher algebraic K-groups and D-split sequences

DOI10.1007/S00209-012-1042-8MaRDI QIDQ1944827zbMATH OpenOpenAlexFDO

Publication date 28 March 2013

Published in Mathematische Zeitschrift (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1107.5380

\({\mathcal D}\)-split sequence algebraic \(K\)-theory derived equivalence GV-ideal Mayer-Vietoris sequence tilting module

Mathematics Subject Classification ID

Algebraic (K)-theory and (L)-theory (category-theoretic aspects) (18F25) Computations of higher (K)-theory of rings (19D50)

Abstract: In this paper, we use

m a t h c a l D

-split sequences and derived equivalences to provide formulas for calculation of higher algebraic

K

-groups (or mod-

p

K

-groups) of certain matrix subrings which cover tiled orders, rings related to chains of Glaz-Vasconcelos ideals, and some other classes of rings. In our results, we do not assume any homological requirements on rings and ideals under investigation, and therefore extend sharply many existing results of this type in the algebraic

K

-theory literature to a more general context.

Review text

Let \(A\) and \(B\) be two rings with identity and let \({\mathcal P}(A)\) (respectively \({\mathcal P}(B)\)) the full subcategories of all finitely generated projective \(A\)-modules in the category of all finitely generated left \(A\)-modules (resp. \(B\)-modules). Let \({\mathcal K}^b(A)\) and \({\mathcal K}^b(B)\) be the bounded homotopy categories of the additive categories \({\mathcal P}(A)\) and \({\mathcal P}(B)\). Let \(D(A)\) (resp. \(D(B)\)) be the unbounded derived triangulated categories of \(A\)-modules (resp. \(B\)-modules) and let \(D^b(A)\) and \(D^b(B)\) be the bounded derived categories. The rings \(A\) are derived equivalent if \(D(A)\) and \(D(B)\) are equivalent as triangulated categories. It is well-known that if \(D^b(A)\) and \(D^b(B)\) are equivalent, then also \(D(A)\) and \(D(B)\) are equivalent. Also \(D^b(A)\) and \(D^b(B)\) are equivalent as triangulated categories iff \({\mathcal K}^b(A)\) and \({\mathcal K}^b(B)\) are equivalent. If two rings are derived equivalent then their algebraic \(K\)-groups are isomorphic: \(K_*(A)\simeq K_*(B)\). In this paper the author employs the \({\mathcal D}\)-split sequences as defined in [\textit{W. Hu} and \textit{C. Xi}, Adv. Math. 227, No. 1, 292--318 (2011; Zbl 1260.16017)], to produce derived equivalences for unbounded derived categories of rings in order to understand the higher \(K\)-theory of some rings. The main result is a calculation of higher algebraic \(K\)-groups of certain matrix subrings \(S\) associated to a collection of ideals \(I_{ij}\) (not necessarily projective) of a ring \(R\), such that \[ I_{kj}\subseteq I_{ij}\text{ for }k\leq i;\;I_{ki}\subseteq I_{kj}\text{ for }j\leq i;\;I_{ik} I_{kj}\subseteq I_{ij}\text{ for }i< k< j. \] Then \(S\) is the matrix ring \[ \begin{pmatrix} R & I_{12} & I_{13} &\cdots & I_{1n}\\ R & R & I_{23} &\cdots & I_{2n}\\ * & * & * & * & *\\ R & R & R & R & I_{n-1n}\\ R & R & R & R & R\end{pmatrix}. \] The \(K\)-theory space of \(S\) splits as a product of the \(K\)-theory spaces of \(R\) and \(R/I_{j-1j}\), with \(2\leq j\leq n\). In particular \[ K_*(S)\simeq K_*\oplus \bigoplus_{2\leq j\leq n} K_*(R/I_{j-ij}). \]

Recommendations

Cites work

Cited in

(4)

This page was built for publication: Higher algebraic \(K\)-groups and \(\mathcal {D}\)-split sequences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1944827)