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 $\Gamma$0, with consequences for localization, excision, Morita invariance, and spectral functoriality (Gokavarapu, 11 Dec 2025, Gokavarapu, 25 Nov 2025).

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

A non-commutative $\Gamma$3-ary $\Gamma$4-semiring $\Gamma$5 consists of:

• An additive commutative monoid $\Gamma$6.
• A parameter semiring $\Gamma$7 with its own addition and multiplication.
• An $\Gamma$8-ary, slot-sensitive multiplication map

$\Gamma$9

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

An $(T, \Gamma)$1-ary left $(T, \Gamma)$2-module $(T, \Gamma)$3 is an additive commutative monoid with a compatible, slot-sensitive $(T, \Gamma)$4-ary action

$(T, \Gamma)$5

satisfying distributivity and associativity. Categories of modules—left, right, and bi-$(T, \Gamma)$6-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 $(T, \Gamma)$7-Construction

The category $(T, \Gamma)$8 of bi-finite, slot-sensitive $(T, \Gamma)$9-ary $\Gamma$0-modules forms a Quillen exact category, denoted $\Gamma$1 when equipped with its conflations:

• Short sequences $\Gamma$2 are exact if $\Gamma$3 is an admissible monomorphism (sub-bi-module) and $\Gamma$4 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 $\Gamma$5-construction is used to define $\Gamma$6-theory:

• The category $\Gamma$7 has the same objects as $\Gamma$8, with morphisms given by isomorphism classes of spans $\Gamma$9, where $K$0 is an admissible epimorphism and $K$1 an admissible monomorphism.
• The algebraic $K$2-theory spectrum is $K$3, and its homotopy groups are $K$4 for $K$5.
• For $K$6, one sets $K$7 (Gokavarapu, 11 Dec 2025, Gokavarapu, 25 Nov 2025).

The low-degree identifications hold:

• $K$8 is the Grothendieck group of finitely generated projective $K$9-modules.
• $K$0 is the Whitehead group of the general linear group:

$K$1

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

The bounded chain complex category $K$3 forms a Waldhausen category:

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

Waldhausen's $K$4-construction allows the definition of a connective $K$5-theory spectrum $K$6 via the nerve of weak equivalence classes of composable cofibration strings. This construction is canonically weakly equivalent to the $K$7-theory spectrum from the Quillen $K$8-construction: $K$9 Thus,

$n$0

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

The dg-enhancement $n$2 of the bounded derived category $n$3 is used to define the small stable $n$4-category of perfect complexes $n$5. The associated $n$6-theory spectrum $n$7 coincides canonically with $n$8.

4. Functoriality, Localization, Excision, and Spectral Sequences

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

• Functoriality: Any $\Gamma$2-semiring map $\Gamma$3 induces exact functors between respective categories, yielding maps $\Gamma$4.
• Localization Sequence: For an exact, extension-closed subcategory $\Gamma$5, there is a long exact localization sequence:

$\Gamma$6

A concrete formulation involves the quotient $\Gamma$7-ary $\Gamma$8-semiring $\Gamma$9 for a two-sided $K$0-ideal $K$1.

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

$K$4

• Spectral Sequences: Universal coefficient and Künneth-type spectral sequences link the derived functors $K$5 and $K$6 of the module category to the $K$7-groups. For instance,

$K$8

and

$K$9

with associated long exact sequences relating $K$0, $K$1, and K-theory (Gokavarapu, 25 Nov 2025).

5. Morita Invariance and Derived-Geometric Interpretation

The $K$2-theory of a non-commutative $K$3-ary $K$4-semiring is Morita invariant:

• If $K$5 is a progenerator bi-$K$6-module and $K$7, then

$K$8

is an exact equivalence of categories, inducing isomorphisms $K$9 for all $\Gamma$00 (Gokavarapu, 25 Nov 2025).

• If $\Gamma$01 induces a derived Morita equivalence between the respective derived categories of quasi-coherent sheaves on the non-commutative spectra, then $\Gamma$02 for all $\Gamma$03 (Gokavarapu, 11 Dec 2025).

Algebraic $\Gamma$04-theory so constructed is thus a derived-geometric invariant of $\Gamma$05, and concrete computations reduce to geometric dévissage and homological algebra on associated categories (Gokavarapu, 11 Dec 2025).

6. Explicit Low-Degree $\Gamma$06-Groups

For $\Gamma$07:

• $\Gamma$08 is the Grothendieck group of finitely generated projective $\Gamma$09-modules, given by the group completion

$\Gamma$10

• $\Gamma$11 is identified with the Whitehead group for the associated general linear group.
• For $\Gamma$12,

$\Gamma$13

This establishes continuity with classical algebraic $\Gamma$14-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$15-geometry for commutative ternary semirings with the structural and spectral theory for general non-commutative $\Gamma$16-ary systems. The approach supports functorial descent, yields natural long exact sequences in localization and excision, and globalizes via $\Gamma$17 and perfect complexes. These categorical and homotopical invariants are compatible with classical paradigms of Grothendieck, Quillen, and Waldhausen in $\Gamma$18-theory, and permit analysis of Künneth and Brown–Gersten spectral phenomena in the $\Gamma$19-ary setting. In the commutative ternary case, previously established $\Gamma$20-theories of commutative ternary $\Gamma$21-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.