Non-Commutative n-ary Γ-Semiring K-Theory

• Non-commutative n-ary Γ-semirings are algebraic structures with additive monoids and slot-sensitive operations coordinated by a parameter semiring, extending classical ring theory.
• Algebraic K-theory in this framework employs Quillen's Q-construction, Waldhausen categories, and dg-enhancements to capture homological and derived-geometric invariants.
• The methodology supports functoriality, localization, excision, and Morita invariance, enabling rigorous comparison and computation across non-commutative spectral settings.

A non-commutative $n$-ary $\Gamma$-semiring $(T, \Gamma)$ is an algebraic structure that generalizes conventional ring and semiring theory by integrating multiple-arity operations coordinated by a parameter semiring $\Gamma$. Algebraic $K$-theory for such objects extends the classical $K$-theory of rings and schemes into a highly structured environment suitable for homological, categorical, and derived-geometric analysis. The study of these structures involves exact and Waldhausen categories of bi-finite, slot-sensitive $n$-ary $\Gamma$-modules, chain complex techniques, spectral sequences, and rigorous comparisons of algebraic $K$-theory spectra. These methods ultimately frame $K$-theory as a derived-geometric invariant of the non-commutative spectrum $\operatorname{Spec}_\Gamma^{\mathrm{nc}}(T)$, with consequences for localization, excision, Morita invariance, and spectral functoriality (Gokavarapu, 11 Dec 2025, Gokavarapu, 25 Nov 2025).

1. Structure of Non-Commutative $n$-ary $\Gamma$-Semirings and Module Categories

A non-commutative $n$-ary $\Gamma$-semiring $(T, \Gamma)$ consists of:

• An additive commutative monoid $(T, +, 0)$.
• A parameter semiring $\Gamma$ with its own addition and multiplication.
• An $n$-ary, slot-sensitive multiplication map

$$\mu: T^n \times \Gamma \longrightarrow T,\qquad (t_1,\dotsc, t_n; \gamma) \mapsto \mu(t_1,\dotsc, t_n; \gamma),$$

distributive in each slot and in the $\Gamma$-argument, 0-absorbing, and subject to slot-sensitive associativity axioms.

An $n$-ary left $(T, \Gamma)$-module $M$ is an additive commutative monoid with a compatible, slot-sensitive $n$-ary action

$$\mu_M: T^{n-1} \times M \times \Gamma \longrightarrow M$$

satisfying distributivity and associativity. Categories of modules—left, right, and bi-$(T, \Gamma)$-modules—inherit an additive, idempotent-complete, and exact structure, admitting projective and injective objects, kernels, cokernels, and exact sequences in Quillen's sense (Gokavarapu, 25 Nov 2025).

2. Quillen Exact Categories and the $Q$-Construction

The category $\mathcal{C} = T\text{-Mod}^{\mathrm{bi}}$ of bi-finite, slot-sensitive $n$-ary $(T, \Gamma)$-modules forms a Quillen exact category, denoted $\mathrm{Exact}_\Gamma(T)$ when equipped with its conflations:

• Short sequences $0 \to A \xrightarrow{i} B \xrightarrow{p} C \to 0$ are exact if $i$ is an admissible monomorphism (sub-bi-module) and $p$ an admissible epimorphism (bi-module quotient), with kernels and cokernels taken in the category of abelian monoids.
• Free and cofree bi-modules ensure the existence of enough projectives and injectives, thereby guaranteeing the possibility of finite projective and injective resolutions under Noetherian conditions.

The Quillen $Q$-construction is used to define $K$-theory:

• The category $Q(\mathcal{C})$ has the same objects as $\mathcal{C}$, with morphisms given by isomorphism classes of spans $X \xleftarrow{p} Z \xrightarrow{i} Y$, where $p$ is an admissible epimorphism and $i$ an admissible monomorphism.
• The algebraic $K$-theory spectrum is $K(\mathcal{C}) = \Omega |N_\bullet Q(\mathcal{C})|$, and its homotopy groups are $K_n(\mathcal{C}) = \pi_n K(\mathcal{C})$ for $n \geq 0$.
• For $(T, \Gamma)$, one sets $K_n(T, \Gamma) := K_n(\mathcal{C})$ (Gokavarapu, 11 Dec 2025, Gokavarapu, 25 Nov 2025).

The low-degree identifications hold:

• $K_0(T, \Gamma)$ is the Grothendieck group of finitely generated projective $(T, \Gamma)$-modules.
• $K_1(T, \Gamma)$ is the Whitehead group of the general linear group:

$$K_1(T, \Gamma) = \varinjlim_n \mathrm{GL}_n(T, \Gamma) / E(T, \Gamma).$$

3. Higher $K$-Theory via Waldhausen Categories and Dg-Enhancements

The bounded chain complex category $Ch^b(\mathcal{C})$ forms a Waldhausen category:

• Cofibrations are degreewise admissible monomorphisms with bounded cokernel.
• Weak equivalences are quasi-isomorphisms of complexes.

Waldhausen's $S_\bullet$-construction allows the definition of a connective $K$-theory spectrum $K^{\mathrm{Wald}}(Ch^b(\mathcal{C}))$ via the nerve of weak equivalence classes of composable cofibration strings. This construction is canonically weakly equivalent to the $K$-theory spectrum from the Quillen $Q$-construction: $$K^Q(\mathcal{C}) \simeq K^{\mathrm{Wald}}(Ch^b(\mathcal{C})).$$ Thus,

$$K_n^{Q}(T, \Gamma) \cong K_n^{\mathrm{Wald}}(T, \Gamma),\qquad n\ge0.$$

This identification is established via the Gillet–Waldhausen comparison theorem as adapted to the $n$-ary, slot-sensitive setting (Gokavarapu, 11 Dec 2025).

The dg-enhancement $D^b_{dg}(\mathcal{C})$ of the bounded derived category $D^b(\mathcal{C})$ is used to define the small stable $\infty$-category of perfect complexes $\mathrm{Perf}(\mathcal{C})$. The associated $K$-theory spectrum $K^{\mathrm{Perf}}(\mathcal{C})$ coincides canonically with $K^{\mathrm{Wald}}(Ch^b(\mathcal{C}))$.

4. Functoriality, Localization, Excision, and Spectral Sequences

The algebraic $K$-theory of non-commutative $n$-ary $\Gamma$-semirings exhibits the following properties:

• Functoriality: Any $\Gamma$-semiring map $(T, \Gamma) \to (T', \Gamma')$ induces exact functors between respective categories, yielding maps $K_n(T, \Gamma) \to K_n(T', \Gamma')$.
• Localization Sequence: For an exact, extension-closed subcategory $\mathcal{A} \subset \mathcal{C}$, there is a long exact localization sequence:

$$\cdots \to K_{n+1}(\mathcal{C}/\mathcal{A}) \to K_n(\mathcal{A}) \to K_n(\mathcal{C}) \to K_n(\mathcal{C}/\mathcal{A}) \to \cdots$$

A concrete formulation involves the quotient $n$-ary $\Gamma$-semiring $T/I$ for a two-sided $\Gamma$-ideal $I$.

• Excision: For a pushout diagram of $\Gamma$-semirings satisfying Tor-vanishing conditions, a Mayer–Vietoris sequence of $K$-groups arises:

$$\cdots \to K_n(T', \Gamma') \oplus K_n(T'', \Gamma'') \to K_n(T, \Gamma) \to K_{n-1}(T''', \Gamma''') \to \cdots$$

• Spectral Sequences: Universal coefficient and Künneth-type spectral sequences link the derived functors $\operatorname{Ext}_\Gamma$ and $\operatorname{Tor}_\Gamma$ of the module category to the $K$-groups. For instance,

$$E^2_{p, q} = \operatorname{Tor}_p^{(j,k),\Gamma}(M, K_q(T)) \Longrightarrow K_{p+q}(T;M)$$

and

$$E_2^{p,q} = \operatorname{Ext}^p_{(j,k),\Gamma}(M, K_{-q}(T)) \Longrightarrow K_{-p-q}(T;\operatorname{Hom}_\Gamma(M,T))$$

with associated long exact sequences relating $\operatorname{Ext}$, $\operatorname{Tor}$, and K-theory (Gokavarapu, 25 Nov 2025).

5. Morita Invariance and Derived-Geometric Interpretation

The $K$-theory of a non-commutative $n$-ary $\Gamma$-semiring is Morita invariant:

• If $M$ is a progenerator bi-$(T, \Gamma)$-module and $S = \operatorname{End}_{T-\Gamma}(M)$, then

$$\operatorname{Hom}_{T-\Gamma}(M, -): \mathrm{BiMod}_\Gamma(T) \longrightarrow \mathrm{BiMod}_\Gamma(S)$$

is an exact equivalence of categories, inducing isomorphisms $K_i(T) \cong K_i(S)$ for all $i \geq 0$ (Gokavarapu, 25 Nov 2025).

• If $f: (T, \Gamma) \to (T', \Gamma')$ induces a derived Morita equivalence between the respective derived categories of quasi-coherent sheaves on the non-commutative spectra, then $K_n(T, \Gamma) \cong K_n(T', \Gamma')$ for all $n$ (Gokavarapu, 11 Dec 2025).

Algebraic $K$-theory so constructed is thus a derived-geometric invariant of $\operatorname{Spec}_\Gamma^{\mathrm{nc}}(T)$, and concrete computations reduce to geometric dévissage and homological algebra on associated categories (Gokavarapu, 11 Dec 2025).

6. Explicit Low-Degree $K$-Groups

For $(T, \Gamma)$:

• $K_0(T, \Gamma)$ is the Grothendieck group of finitely generated projective $(T, \Gamma)$-modules, given by the group completion

$$K_0(T, \Gamma) = \langle [P] \mid [P]=[P']+[P''] \text{ for } 0 \to P' \to P \to P'' \to 0 \rangle.$$

• $K_1(T, \Gamma)$ is identified with the Whitehead group for the associated general linear group.
• For $n \geq 2$,

$$K_n(T, \Gamma) \cong \pi_n \left|N_\bullet Q(\mathcal{C})\right| \cong \pi_n K^{\mathrm{Wald}}(Ch^b(\mathcal{C})) \cong \pi_n K^{\mathrm{Perf}}(\mathcal{C}).$$

This establishes continuity with classical algebraic $K$-theory while generalizing to higher arity and non-commutative environments.

7. Context, Generalizations, and Consequences

The full theory integrates techniques from exact category theory, homological algebra, homotopy theory, and non-commutative algebraic geometry. Developed across the Gokavarapu H-series (Gokavarapu, 11 Dec 2025, Gokavarapu, 25 Nov 2025), this framework unifies the derived $\Gamma$-geometry for commutative ternary semirings with the structural and spectral theory for general non-commutative $n$-ary systems. The approach supports functorial descent, yields natural long exact sequences in localization and excision, and globalizes via $\operatorname{Spec}_\Gamma^{\mathrm{nc}}(T)$ and perfect complexes. These categorical and homotopical invariants are compatible with classical paradigms of Grothendieck, Quillen, and Waldhausen in $K$-theory, and permit analysis of Künneth and Brown–Gersten spectral phenomena in the $n$-ary setting. In the commutative ternary case, previously established $K$-theories of commutative ternary $\Gamma$-semirings [Gokavarapu–Rao Derived 2025] are recovered as special cases.

The methodology provides foundational tools for further developments in non-commutative algebraic geometry, categorical homotopy theory, and the computation of derived invariants essential in algebraic topology and representation theory.