Connecting homomorphisms in localization sequences. II (Q1770814)

This is a continuation of the author's earlier paper with the same title [\textit{C. Sherman}, Contemp. Math. 199, 175--183 (1996; Zbl 0861.19002)]. The first result in the paper constructs an element \(f\star g\in K_2(\mathcal P)\), for any two commuting automorphisms \(f,g\) of an object \(P\) in a skeletally small exact category \(\mathcal P\). Another result is as follows: Given an abelian category \(\mathcal A\), its Serre subcategory \(\mathcal S\), \(\alpha\), \(\beta\) commuting monic endomorphisms of an object \(A\in\mathcal A\) such that coker\(\alpha\) and coker\(\beta\) are in \(\mathcal S\); denote by \(\overline\alpha\), \(\overline\beta\) the corresponding automorphisms of \(\overline A\) of the quotient category \(\mathcal A/\mathcal S\) and by \(\partial\) the connecting homomorphism \(K_2(\mathcal A/\mathcal S)\to K_1(\mathcal S)\) in the localization sequence for \(\mathcal A\) and \(\mathcal S\); the author then uses elaborate computations to arrive at an explicit formula for \(\partial(\overline\alpha\star\overline\beta)\); this formula is an analogue of the corresponding formula for the localization sequence for projective modules given by Grayson.