Proto-exact categories of modules over semirings and hyperrings

DOI10.1016/J.JALGEBRA.2023.05.008zbMATH Open1520.18007arXiv2202.01573MaRDI QIDQ6169062FDOQ6169062

Authors: Jaiung Jun, Matt Szczesny, Jeffrey Tolliver 

Publication date: 11 July 2023

Published in: Journal of Algebra (Search for Journal in Brave)

Abstract: emph{Proto-exact categories}, introduced by Dyckerhoff and Kapranov, are a generalization of Quillen exact categories which provide a framework for defining algebraic K-theory and Hall algebras in a emph{non-additive} setting. This formalism is well-suited to the study of categories whose objects have strong combinatorial flavor. In this paper, we show that the categories of modules over semirings and hyperrings - algebraic structures which have gained prominence in tropical geometry - carry proto-exact structures. In the first part, we prove that the category of modules over a semiring is equipped with a proto-exact structure; modules over an idempotent semiring have a strong connection to matroids. We also prove that the category of algebraic lattices $mathcalL$ has a proto-exact structure, and furthermore that the subcategory of $mathcalL$ consisting of finite lattices is equivalent to the category of finite $mathbbB$-modules as proto-exact categories, where $mathbbB$ is the emph{Boolean semifield}. We also discuss some relations between $mathcalL$ and geometric lattices (simple matroids) from this perspective. In the second part, we prove that the category of modules over a hyperring has a proto-exact structure. In the case of finite modules over the emph{Krasner hyperfield} $mathbbK$, a well-known relation between finite $mathbbK$-modules and finite incidence geometries yields a combinatorial interpretation of exact sequences.

Full work available at URL: https://arxiv.org/abs/2202.01573

Recommendations

• Proto-exact categories of matroids, Hall algebras, and \(K\)-theory
• Exact category of hypermodules
• On exact category of \((m, n)\)-ary hypermodules
• On exact sequence of semimodules over semirings.
• Pre-semihyperadditive Categories

zbMATH Keywords

latticeincidence geometrysemiringhyperringalgebraic latticegeometric latticeproto-exact categorysaturated module over a semiring

Mathematics Subject Classification ID

Combinatorial aspects of matroids and geometric lattices (05B35) Structure theory of lattices (06B05) Semirings (16Y60) Hyperrings (16Y20) Protomodular categories, semi-abelian categories, Mal'tsev categories (18E13)

Cites Work

• Hall algebras and quantum groups
• Title not available (Why is that?)
• Prime Ideal Structure in Commutative Rings
• Equations of tropical varieties
• From monoids to hyperstructures: in search of an absolute arithmetic
• On the notion of geometry over \(\mathbb{F}_{1}\)
• The hyperring of adèle classes
• The geometry of blueprints. I: Algebraic background and scheme theory
• Schemes over \(\mathbb F_{1}\) and zeta functions
• Schemes over $$ \mathbb{F}_1 $$
• Title not available (Why is that?)
• Structure theory for geometric lattices
• Eisenstein series and quantum affine algebras
• A Grassmann algebra for matroids
• Title not available (Why is that?)
• Representations of quivers over \(\mathbb F_{1}\) and Hall algebras
• Sheaves and \(K\)-theory for \(\mathbb F_1\)-schemes
• Morphisms of projective geometries and semilinear maps
• Absolute algebra. III: The saturated spectrum
• Higher Segal spaces
• Title not available (Why is that?)
• Exact category of hypermodules
• Algebraic geometry over hyperrings
• Matroids over partial hyperstructures
• Association schemes and hypergroups
• Picard groups for tropical toric schemes
• The Hopf algebra of skew shapes, torsion sheaves on \(\mathbb{A}_{/ \mathbb{F}_1}^n\), and ideals in Hall algebras of monoid representations
• Higher categorical aspects of Hall algebras
• Lattices, spectral spaces, and closure operations on idempotent semirings
• Group completion in the \(K\)-theory and Grothendieck-Witt theory of proto-exact categories
• Proto-exact categories of matroids, Hall algebras, and \(K\)-theory
• On the Hopf algebra of multi-complexes
• On quiver representations over \(\mathbb{F}_1\)

Cited In (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Proto-exact categories of matroids, Hall algebras, and \(K\)-theory
• Title not available (Why is that?)

This page was built for publication: Proto-exact categories of modules over semirings and hyperrings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6169062)