Operations in the higher K-theory of endomorphisms. (English) Zbl 0545.18004
Current trends in algebraic topology, Semin. London/Ont. 1981, CMS Conf. Proc. 2, 1, 59-115 (1982).
[For the entire collection see Zbl 0538.00016.]
Given a multiplicatively closed set T of monic polynomials in A[u], the polynomial ring over a commutative ring A, the author considers the exact category End(A;T) whose objects are pairs \((M,\alpha)\), with M a finitely-generated projective A-module and \(\alpha\) an A-endomorphism of M which satisfies some polynomial in T. There is a forgetful function \((M,\alpha)\mapsto M\) which induces a homomorphism \(K_ i(End(A;T))\to K_ iA\) whose kernel is denoted \(\tilde K_ i(End(A;T)).\) Such groups, for particular choices of T, have turned up in a number of K-theoretic contexts. The author defines various natural operations on these groups and proves a list of relations among these operations. The case of nilpotent endomorphisms \((T=\{u^ m,\quad m\geq 1\})\) receives special attention, as does the relationship with the K-theory of truncated polynomial rings.
Given a multiplicatively closed set T of monic polynomials in A[u], the polynomial ring over a commutative ring A, the author considers the exact category End(A;T) whose objects are pairs \((M,\alpha)\), with M a finitely-generated projective A-module and \(\alpha\) an A-endomorphism of M which satisfies some polynomial in T. There is a forgetful function \((M,\alpha)\mapsto M\) which induces a homomorphism \(K_ i(End(A;T))\to K_ iA\) whose kernel is denoted \(\tilde K_ i(End(A;T)).\) Such groups, for particular choices of T, have turned up in a number of K-theoretic contexts. The author defines various natural operations on these groups and proves a list of relations among these operations. The case of nilpotent endomorphisms \((T=\{u^ m,\quad m\geq 1\})\) receives special attention, as does the relationship with the K-theory of truncated polynomial rings.
Reviewer: M.R.Stein
MSC:
18F25 | Algebraic \(K\)-theory and \(L\)-theory (category-theoretic aspects) |
13D15 | Grothendieck groups, \(K\)-theory and commutative rings |
16E20 | Grothendieck groups, \(K\)-theory, etc. |
13F20 | Polynomial rings and ideals; rings of integer-valued polynomials |
13C10 | Projective and free modules and ideals in commutative rings |
16S50 | Endomorphism rings; matrix rings |