Table of Contents
Fetching ...

Sheaf Theory and Derived Gamma Geometry over the Non-Commutative Gamma Spectrum

Chandrasekhar Gokavarapu

TL;DR

The paper develops a comprehensive non-commutative, n-ary Gamma-geometry by introducing the non-commutative Gamma-spectrum and a localization-based structure sheaf, then builds a robust theory of quasi-coherent Gamma-sheaves and their derived invariants ExtΓ and TorΓ. It constructs the derived category of QCoh on SpecΓnc(T), establishes local-global dualities, and develops derived Gamma-stacks with dg-enhancements, culminating in spectral dualities and motivic interpretations. Structural results include Wedderburn–Artin type decompositions and derived Morita theory, plus a duality between the primitive Gamma-spectrum and simple derived objects, showing that the geometry is governed by the derived category rather than presentation. The framework unifies algebra, geometry, and higher-categorical/homotopical perspectives, and points to future directions in ∞-categorical refinements, motivic Gamma-homotopy, and derived tropicalization/quantization.

Abstract

We develop the geometric and homological framework for non-commutative $n$-ary $Γ$-semirings by constructing a sheaf and derived theory over their non-commutative $Γ$-spectrum. Starting with a non-commutative $n$-ary $Γ$-semiring $(T,+,Γ,μ)$ and its bi-$Γ$-modules, we define the space $\Spec_Γ^{\mathrm{nc}}(T)$, equip it with a Zariski-type topology, and build the structure sheaf $\mathcal{O}{\SpecΓ^{\mathrm{nc}}(T)}$ via localization at prime $Γ$-ideals. We introduce quasi-coherent $Γ$-sheaves, show that their category is exact with enough injectives, and interpret the derived functors $\Ext^Γ$ and $\Tor^Γ$ as global cohomological invariants on this non-commutative $Γ$-space. On the derived side, we construct the category $\mathbf{D}(\QCoh(\Spec_Γ^{\mathrm{nc}}(T)))$, establish a local--global principle for $\Ext^Γ$ and $\Tor^Γ$, and prove a non-commutative local duality theorem assuming a dualizing complex. We further introduce derived non-commutative $Γ$-stacks and a dg-enhancement of the spectrum, giving a spectral and motivic interpretation of homological invariants. Structural consequences include a Wedderburn--Artin type decomposition in the $n$-ary $Γ$-setting, a derived Morita theory for semisimple $n$-ary $Γ$-semirings, and a duality between the primitive $Γ$-spectrum and simple objects of the derived category. These results extend our earlier commutative derived $Γ$-geometry to a fully non-commutative $n$-ary context.

Sheaf Theory and Derived Gamma Geometry over the Non-Commutative Gamma Spectrum

TL;DR

The paper develops a comprehensive non-commutative, n-ary Gamma-geometry by introducing the non-commutative Gamma-spectrum and a localization-based structure sheaf, then builds a robust theory of quasi-coherent Gamma-sheaves and their derived invariants ExtΓ and TorΓ. It constructs the derived category of QCoh on SpecΓnc(T), establishes local-global dualities, and develops derived Gamma-stacks with dg-enhancements, culminating in spectral dualities and motivic interpretations. Structural results include Wedderburn–Artin type decompositions and derived Morita theory, plus a duality between the primitive Gamma-spectrum and simple derived objects, showing that the geometry is governed by the derived category rather than presentation. The framework unifies algebra, geometry, and higher-categorical/homotopical perspectives, and points to future directions in ∞-categorical refinements, motivic Gamma-homotopy, and derived tropicalization/quantization.

Abstract

We develop the geometric and homological framework for non-commutative -ary -semirings by constructing a sheaf and derived theory over their non-commutative -spectrum. Starting with a non-commutative -ary -semiring and its bi--modules, we define the space , equip it with a Zariski-type topology, and build the structure sheaf via localization at prime -ideals. We introduce quasi-coherent -sheaves, show that their category is exact with enough injectives, and interpret the derived functors and as global cohomological invariants on this non-commutative -space. On the derived side, we construct the category , establish a local--global principle for and , and prove a non-commutative local duality theorem assuming a dualizing complex. We further introduce derived non-commutative -stacks and a dg-enhancement of the spectrum, giving a spectral and motivic interpretation of homological invariants. Structural consequences include a Wedderburn--Artin type decomposition in the -ary -setting, a derived Morita theory for semisimple -ary -semirings, and a duality between the primitive -spectrum and simple objects of the derived category. These results extend our earlier commutative derived -geometry to a fully non-commutative -ary context.

Paper Structure

This paper contains 23 sections, 14 theorems, 30 equations.

Key Result

Theorem 3.5

$(\operatorname{Spec}^{\Gamma,\mathrm{nc}}(T),\mathcal{O}_{\operatorname{Spec}^{\Gamma,\mathrm{nc}}(T)})$ is a locally $\Gamma$-semiringed space, and for every $P\in\operatorname{Spec}^{\Gamma,\mathrm{nc}}(T)$ the stalk is a local $\Gamma$-semiring.

Theorems & Definitions (52)

  • Definition 2.1: $n$-ary $\Gamma$-semiring
  • Definition 2.2: $\Gamma$-ideals and prime $\Gamma$-ideals
  • Definition 2.3: Localizations
  • Definition 3.1: Non-commutative $\Gamma$-spectrum
  • Remark 3.2: Topology and spectral character
  • Theorem 3.5: Local behavior
  • proof
  • Definition 3.6: Quasi-coherent sheaves
  • Theorem 3.7: Exactness and generators
  • proof
  • ...and 42 more