Search arXiv⌕ Search

arXiv · 2511.20802

Exact Categories and Homological Foundations of Non-Commutative n-ary Gamma. Semirings

Abstract

This paper establishes the homological and geometric foundations of non-commutative n-ary Gamma-semirings, unifying two previously distinct directions in Gamma-algebra: the derived Gamma-geometry developed for the commutative ternary case and the structural and spectral theory for general non-commutative n-ary systems. We introduce categories of left, right, and bi-Gamma-modules that respect positional asymmetry and prove that they form additive and exact categories in Quillen's sense. Within this setting, we construct projective and injective resolutions, define the derived functors Ext^Gamma and Tor_Gamma, and establish long exact sequences and spectral balance theorems in the n-ary regime. By extending sheaf-theoretic and homological tools to the non-commutative Gamma-spectrum Spec_Gamma^nc(T), we obtain a coherent framework of non-commutative derived Gamma-geometry that parallels the classical paradigms of Grothendieck and Kontsevich in homological algebra and non-commutative geometry. The framework developed here establishes the foundational exact-categorical and homological structures that enable Morita-type analyses and spectral interpretations in the subsequent parts of this series.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Chandrasekhar Gokavarapu. 2025-11-25. Exact Categories and Homological Foundations of Non-Commutative n-ary Gamma. Semirings. https://arxiv.org/abs/2511.20802

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

t-Product and t-STP of cubic matrices with an application to hyper-networked systems

Control systems with tensor-valued state transitions require a product that specifies both how coefficients act on each frontal slice and how different slices interact. This paper develops a t-semi-tensor product (t-STP) on cubic matrices that retains the circular coupling of the t-product while allowing rectangular coefficient slices to act on a fixed state space. The construction combines the dimension-keeping semi-tensor product (DK-STP) bridge with circular convolution, overcoming the absence of cross-slice coupling in a slice-wise DK-STP. It provides a compact coefficient description of a structured class of dynamical operators, with fewer stored entries when the coefficient slices have fewer columns than rows. For a fixed number of frontal slices, we establish associative algebra and module structures and describe the associated Lie algebra and Lie groups. These structures make coefficient composition and exponential evolution consistent, while equivalent classical matrix realizations connect the tensor formulation to control analysis of cubic matrix-based dynamics. A specified supply-network game illustrates how the construction organizes interacting chain flows, reproduces the classical trajectories, and supports a globally convergent payoff-gradient adjustment law with explicit damping. The example quantifies coefficient storage while clarifying that the state dimension is unchanged and that the same economy is available to a classical implementation retaining the factorization.

math.RA↗

Maximal Subsemigroups of Infinite Symmetric Inverse Monoids

The symmetric inverse monoid $I_X$ on a set $X$ consists of all bijective functions whose domain and range are subsets of $X$ under the usual composition and inversion of partial functions. For an arbitrary infinite set $X$, we classify all maximal subsemigroups and maximal inverse subsemigroups of $I_X$ which contain the symmetric group Sym($X$) or any of the following subgroups of Sym($X$): the pointwise stabiliser of a finite subset of $X$, the stabiliser of an ultrafilter on $X$, or the stabiliser of a partition of $X$ into finitely many parts of equal cardinality.

math.RA↗

Noncommutative resolutions of noncommutative isolated singularities

Noncommutative resolutions of AS-Gorenstein isolated singularities are investigated by Li--Shen--Wu. However, establishing their existence and constructing such resolutions are generally difficult, even when they exist. In this paper, we study conditions under which a commonly graded AS-regular algebra serves as a noncommutative resolution of an AS-Gorenstein isolated singularity. We investigate projective modules over a noetherian commonly graded AS-regular algebra whose endomorphism rings admit resolutions by the underlying regular algebra. This leads to a more general definition of noncommutative resolutions of balanced Cohen--Macaulay isolated singularities. We show that the existence of such resolutions is equivalent to the existence of cluster tilting modules over balanced CM isolated singularities. The corresponding noncommutative analogue of the Bondal-Orlov conjecture is established in dimensions $2$ and $3$. As an application, we study Hopf actions on commonly graded AS-Gorenstein algebras and investigate noncommutative resolutions of invariant rings. We present three examples of noncommutative resolutions, including one in which the noncommutative isolated singularity is not connected graded.

math.RA↗