Fundamental comparison, base-change, and descent theorems in the $K$-theory of non-commutative n-ary Gamma-semirings

Abstract

We develop a comparison, base-change, and descent framework for the algebraic $K$-theory of non-commutative $n$-ary $Γ$-semirings. Working in the Quillen-exact (and Waldhausen) setting of bi-finite, slot-sensitive $Γ$-modules and perfect complexes, we construct functorial maps on $K$-theory induced by extension and restriction of scalars under explicit $Γ$-flatness hypotheses in the relevant positional slots. We prove derived Morita invariance (via tilting bimodule complexes), establish Beck-Chevalley type base-change for cartesian squares, and deduce a projection formula compatible with the multiplicative structure coming from positional tensor products. Passing to the non-commutative $Γ$-spectrum Spec$^{\mathrm{nc}}_Γ(T)$, we show locality for perfect objects and derive Zariski hyperdescent for $\mathbb{K}(\mathrm{Perf})$, together with excision and localization sequences for closed immersions and fpqc descent for $Γ$-flat covers. Finally, we interpret $K_Γ(X)$ geometrically as the $K$-theory of the stable $\infty$-category of $Γ$-perfect complexes, describe its universal property in $Γ$-linear non-commutative motives, and record compatibility with cyclotomic and Chern-type trace maps.