Reduced Endomorphism K-Theory

• Reduced K-theory of endomorphisms is a framework that isolates nontrivial endomorphic contributions from larger K-theory groups via categorical splittings and quotienting processes.
• It employs techniques such as homotopy fibers, idempotent ideal reductions, and trace methods to extract invariants like Witt vectors, nil-terms, and characteristic polynomials.
• This approach has broad applications, enabling explicit computations in algebraic, stable ∞-categories, and operator-algebraic settings, including twisted endomorphism scenarios.

Searching arXiv for recent and foundational papers on reduced K-theory of endomorphisms. Reduced K-theory of endomorphisms is a family of constructions that isolate the genuinely endomorphic contribution inside algebraic, topological, or operator-algebraic $K$-theory by splitting off a canonical “base” summand. In the algebraic setting, this appears through quotienting endomorphism $K$-theory by the image of objects equipped with zero or identity endomorphism, or through categorical reduction by killing endomorphisms factoring through a chosen object (Blumberg et al., 2013, Agarwal et al., 8 Jul 2025, Chen et al., 2012). In stable $\infty$-categorical formulations, reduced endomorphism $K$-theory is naturally expressed as a homotopy fiber or cofiber attached to the forgetful or section functor $$K(\mathrm{End}(\mathcal{C})) \leftrightarrows K(\mathcal{C})$$ (Saunier, 2023). In $A$-theory it is identified with the loop of the fiber of a localization sequence for $\mathbb{N}$-spaces (Levikov, 2015). In operator-algebraic contexts, “reduced” instead refers to reduced crossed products or reduced $C^*$-algebras, with associated $K$-theory computed via Morita equivalence and groupoid methods (Hossain et al., 27 Jul 2025). Across these settings, the subject is organized by splittings, localization sequences, and explicit reduction procedures that extract invariants such as Witt vectors, nil-terms, characteristic polynomials, zeta functions, or direct-sum decompositions over simpler rings (Blumberg et al., 2013, Campbell et al., 2020, Polák, 2016).

1. Algebraic reduction and the Chen–Xi framework

A central algebraic model is the reduction of endomorphism rings developed for additive categories and idempotent ideals. Let $\mathcal{C}$ be an additive category and $K$0 a covariant morphism. Writing $K$1 for the endomorphism ring, one forms the ideal $K$2 generated by endomorphisms of $K$3 that factor through objects in $K$4, and defines the quotient ring

$K$5

This quotient is the reduced endomorphism ring of $K$6 relative to $K$7, obtained by killing precisely the endomorphisms seen through $K$8 (Chen et al., 2012).

The categorical splitting theorem states that if $K$9 is covariant, then

$\infty$0

for all $\infty$1, and the body of the paper establishes a homotopy equivalence of $\infty$2-theory spaces, yielding the splitting on $\infty$3 as well (Chen et al., 2012). The reduced summand $\infty$4 is thus a direct factor of the $\infty$5-theory of the larger endomorphism ring.

The ring-theoretic counterpart uses an idempotent $\infty$6 and the ideal $\infty$7. If $\infty$8 is homological and $\infty$9 has a finite projective resolution by finitely generated projective $K$0-modules, then

$K$1

for all $K$2 (Chen et al., 2012). This converts computation of $K$3-groups of $K$4 into computations for a quotient ring and a corner ring. The two constructions are complementary: one reduces endomorphisms by factorization through an object, the other reduces a ring by an idempotent ideal under homological hypotheses (Chen et al., 2012).

These decompositions support explicit calculations for standardly stratified rings, hereditary orders, affine cellular algebras, extended affine Hecke algebras of type $K$5, triangular matrix rings, matrix subrings, and Auslander–Reiten situations (Chen et al., 2012). A key limitation is that the homological and finite-type hypotheses are essential: without them, excision may fail and Nil-terms may appear, so the product decomposition need not hold (Chen et al., 2012).

2. Exact categories, stable $K$6-categories, and reduced spectra

A second major formulation treats endomorphism $K$7-theory as an invariant of exact or stable $K$8-categories. For a small stable $K$9-category $$K(\mathrm{End}(\mathcal{C})) \leftrightarrows K(\mathcal{C})$$0, the endomorphism category is $$K(\mathrm{End}(\mathcal{C})) \leftrightarrows K(\mathcal{C})$$1, concretely the $$K(\mathrm{End}(\mathcal{C})) \leftrightarrows K(\mathcal{C})$$2-category of pairs $$K(\mathrm{End}(\mathcal{C})) \leftrightarrows K(\mathcal{C})$$3, and its $$K(\mathrm{End}(\mathcal{C})) \leftrightarrows K(\mathcal{C})$$4-theory is $$K(\mathrm{End}(\mathcal{C})) \leftrightarrows K(\mathcal{C})$$5 (Saunier, 2023). More generally, if $$K(\mathrm{End}(\mathcal{C})) \leftrightarrows K(\mathcal{C})$$6 is a suitable bimodule, one forms the laced category $$K(\mathrm{End}(\mathcal{C})) \leftrightarrows K(\mathcal{C})$$7; endomorphisms occur as the Yoneda case $$K(\mathrm{End}(\mathcal{C})) \leftrightarrows K(\mathcal{C})$$8 (Saunier, 2023).

In this framework, reduced endomorphism $$K(\mathrm{End}(\mathcal{C})) \leftrightarrows K(\mathcal{C})$$9-theory is defined at spectrum level as the homotopy fiber of the forgetful map

$A$0

or dually as the cofiber of the section induced by $A$1 (Saunier, 2023). The paper explicitly adopts the fiber convention by analogy with cyclic $A$2-theory for laced categories, while observing that at $A$3 the cofiber recovers the classical reduced $A$4 of endomorphisms modulo summands generated by identity endomorphisms (Saunier, 2023).

The theorem of the heart is decisive here. If $A$5 carries a bounded weight structure, then

$A$6

is an equivalence, and similarly $A$7 is an equivalence (Saunier, 2023). Consequently, reduced endomorphism $A$8-theory is invariant under passage to the heart: $A$9 The same statement extends to laced categories with weighted bimodules (Saunier, 2023).

This result places reduced endomorphism $\mathbb{N}$0-theory within a resolution-based formalism. Quillen’s resolution theorem is extended to exact $\mathbb{N}$1-categories, resolving and op-resolving inclusions become $\mathbb{N}$2-equivalences, and stable envelopes allow the passage from exact $\mathbb{N}$3-categories to stable ones without changing $\mathbb{N}$4-theory in the bounded-heart setting (Saunier, 2023). A plausible implication is that reduced endomorphism $\mathbb{N}$5-theory is not merely computable from a heart in favorable cases, but structurally controlled by the exact data encoded there.

3. Motives, canonical splittings, and Witt vectors

The noncommutative-motivic approach extends $\mathbb{N}$6-theory of endomorphisms from ordinary rings to stable $\mathbb{N}$7-categories and identifies it as an additive invariant co-represented by the noncommutative motive of $\mathbb{N}$8, the tensor algebra on the sphere spectrum (Blumberg et al., 2013). For a small idempotent-complete stable $\mathbb{N}$9-category $C^*$0,

$C^*$1

(Blumberg et al., 2013). This yields a conceptual universal property for endomorphism $C^*$2-theory.

The reduced spectrum is defined in this setting as the cofiber of the zero-endomorphism section

$C^*$3

and on $C^*$4 one obtains a direct sum decomposition

$C^*$5

(Blumberg et al., 2013). The key structural fact is a coalgebra splitting

$C^*$6

which induces

$C^*$7

(Blumberg et al., 2013). The reduced summand is therefore the Witt-spectrum piece.

For a commutative ring $C^*$8, this reduced part recovers rational Witt vectors: $C^*$9 and hence

$K$0

(Blumberg et al., 2013). The reduced class of an endomorphism is encoded by a determinant-type characteristic series, and the paper emphasizes that rational Witt vectors arise canonically from the symmetric monoidal structure on noncommutative motives (Blumberg et al., 2013).

This framework also classifies natural operations on $K$1: $K$2 of the natural endotransformations is identified with $K$3, solving a problem raised by Almkvist (Blumberg et al., 2013). Frobenius and Verschiebung classes appear as specific elements in this algebra of natural operations (Blumberg et al., 2013). This suggests that reduced endomorphism $K$4-theory is naturally the receptacle for Witt-type operations even before one imposes commutativity hypotheses.

4. Frobenius, Verschiebung, and the twisted noncommutative setting

The 2025 work on Frobenius and Verschiebung develops these operations directly on reduced $K$5 of twisted endomorphisms of modules over noncommutative rings (Agarwal et al., 8 Jul 2025). Here one considers bimodule data $K$6 and the exact category $K$7 of objects

$K$8

with $K$9 finitely generated projective as an $\mathcal{C}$0-module (Agarwal et al., 8 Jul 2025). The reduced group is defined by quotienting $\mathcal{C}$1 by the image of objects with zero endomorphism: $\mathcal{C}$2 (Agarwal et al., 8 Jul 2025).

In the $\mathcal{C}$3-semilinear case, taking $\mathcal{C}$4 and $\mathcal{C}$5 recovers twisted endomorphisms $\mathcal{C}$6 (Agarwal et al., 8 Jul 2025). Frobenius is defined by iterating the endomorphism and composing through the canonical $\mathcal{C}$7-functor: $\mathcal{C}$8 with $\mathcal{C}$9 (Agarwal et al., 8 Jul 2025). Under the hypothesis $K$00 or $K$01, Verschiebung is defined in the opposite direction,

$K$02

and satisfies $K$03 (Agarwal et al., 8 Jul 2025).

The fundamental identity is that $K$04 is the transfer for a cyclic $K$05-action; in the commutative case this becomes $K$06 (Agarwal et al., 8 Jul 2025). The iterated trace map

$K$07

produces ghost-component formulas exactly paralleling Witt vector identities (Agarwal et al., 8 Jul 2025). In the commutative case,

$K$08

(Agarwal et al., 8 Jul 2025).

This work is strictly $K$09-level, and the paper explicitly notes that higher $K$10-groups are not developed there (Agarwal et al., 8 Jul 2025). Even so, it gives a precise noncommutative lift of Frobenius and Verschiebung from Witt vectors to reduced endomorphism $K$11-theory itself. That construction sharpens the earlier motivic picture by making the operations explicit in twisted bimodule categories rather than only in natural-operation form (Blumberg et al., 2013, Agarwal et al., 8 Jul 2025).

5. Trace methods, characteristic polynomials, zeta functions, and $K$12-theory

Trace-theoretic methods connect reduced $K$13-theory of endomorphisms to characteristic polynomials, topological restriction homology, zeta functions, and nil-terms. In the Waldhausen setting, the endomorphism category $K$14 has exact functors including objects with zero endomorphism $K$15, including objects with identity endomorphism $K$16, and forgetting the endomorphism (Campbell et al., 2020). The paper distinguishes two reductions. For THH and TR, the relevant reduced theory is the cyclic quotient

$K$17

since the Dennis trace and the TR-trace kill the image of $K$18 (Campbell et al., 2020). For classical reduced $K$19 of endomorphisms over a commutative ring $K$20, one instead quotients by $K$21, the image of identity endomorphisms (Campbell et al., 2020).

The TR-trace

$K$22

extends the Lindenstrauss–McCarthy construction from discrete rings to ring spectra and general spectral Waldhausen categories (Campbell et al., 2020). On $K$23, its ghost coordinates are traces of iterates. For a commutative ring $K$24, the identification $K$25 implies that the reduced class of $K$26 maps to $K$27, and the ghost coordinates are $K$28 (Campbell et al., 2020). The paper states that Almkvist’s characteristic polynomial map is injective on classical reduced $K$29, with image the quotients of polynomials, and that the TR-trace recovers this invariant (Campbell et al., 2020).

In the $K$30-theoretic setting of spaces, reduced $K$31-theory of endomorphisms is modeled as the homotopy fiber of the forgetful functor from an endomorphism category over a space $K$32 to the Waldhausen category of retractive spaces (Levikov, 2015). The main theorem identifies it as

$K$33

a non-linear analogue of Grayson’s theorem (Levikov, 2015). In the nilpotent case $K$34, this recovers the identification of reduced nil-endomorphism $K$35-theory with the loop of the positive nil-term in $K$36-theory (Levikov, 2015).

These trace and localization results clarify a common misconception: “reduced” does not have a single universal meaning. Depending on the context, it may mean quotienting by zero endomorphisms, quotienting by identity endomorphisms, taking a homotopy fiber over the forgetful map, or extracting the reduced part of a localized or crossed-product $K$37-theory spectrum (Campbell et al., 2020, Saunier, 2023, Levikov, 2015).

6. Explicit computations and operator-algebraic variants

Several papers provide fully explicit computations. For a field $K$38, let $K$39 be the exact category of finite-dimensional $K$40-modules, equivalently finite-dimensional $K$41-vector spaces with $K$42 commuting endomorphisms. Then

$K$43

for every $K$44, and the augmentation at the origin $K$45 splits off the base $K$46-summand (Polák, 2016). The reduced group is therefore

$K$47

(Polák, 2016). For $K$48, the reduced $K$49 identifies with the big Witt group, compatibly with the characteristic polynomial description (Polák, 2016).

The algebraic Chen–Xi framework yields similarly explicit decompositions for endomorphism rings with weak trace, for instance

$K$50

as well as formulas for triangular matrix rings and standardly stratified rings (Chen et al., 2012). The scope here is broad, but the decompositions depend sharply on covariance and homological ideal hypotheses (Chen et al., 2012).

In $K$51-algebraic settings, the phrase “reduced $K$52-theory of endomorphisms” requires care. For reduced $K$53-algebras of product systems associated to compact-type $K$54-semigroups, the reduced algebra $K$55 is Morita equivalent to a reduced semigroup crossed product $K$56, and under suitable functoriality one obtains $K$57 (Hossain et al., 27 Jul 2025). Groupoid models then provide nuclearity, exactness, and homotopy invariance criteria (Hossain et al., 27 Jul 2025). The paper explicitly notes that “reduced” there refers to reduced crossed products or reduced $K$58-algebras, not to reduced topological $K$59-theory $K$60 (Hossain et al., 27 Jul 2025).

A related but distinct operator-algebraic computation appears for $K$61-algebras generated by endomorphisms and polymorphisms of compact abelian groups. There one computes $K$62-groups through exact sequences involving the endomorphism $K$63 on $K$64, and reduced $K$65 is obtained by quotienting by the unit class $K$66 (Cuntz et al., 2012). For $K$67 and $K$68, the paper derives

$K$69

and then

$K$70

after modding out the unit class (Cuntz et al., 2012). This is another instance where “reduced” means quotient by the trivial base contribution, but now in operator $K$71-theory.

A plausible synthesis is that reduced endomorphism $K$72-theory is best understood as a strategy rather than a single invariant: one identifies a canonical non-endomorphic contribution—coming from zero endomorphisms, identity endomorphisms, factorization through a chosen object, a unit class, or an ambient category—and then removes or splits it off. The resulting reduced piece is what supports the extra structure: Witt operations, heart invariance, trace formulas, nil-term identifications, direct-sum decompositions, or groupoid-crossed-product computations (Saunier, 2023, Blumberg et al., 2013, Agarwal et al., 8 Jul 2025, Levikov, 2015, Hossain et al., 27 Jul 2025).