Proto-exact categories of modules over semirings and hyperrings

DOI10.1016/J.JALGEBRA.2023.05.008MaRDI QIDQ6169062zbMATH OpenFDO

Authors Jaiung Jun, Matt Szczesny, Jeffrey Tolliver

Publication date 11 July 2023

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

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

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)

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.

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

Cites work

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

Cited in

(4)

• scientific article; zbMATH DE number 2118486 (Why is no real title available?)
• scientific article; zbMATH DE number 1497804 (Why is no real title available?)
• Proto-exact categories of matroids, Hall algebras, and \(K\)-theory
• scientific article; zbMATH DE number 5375460 (Why is no real title available?)

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)