On the category of modules over bands: relative schemes, hyperring schemes and proto-exactness

Fuente: arXiv
Enregistré dans:
Détails bibliographiques
Auteur principal: Hamada, Lucas
Format: Preprint
Publié: 2026
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
_version_ 1866910277231968256
author Hamada, Lucas
author_facet Hamada, Lucas
contents Bands and idylls are algebraic structures introduced recently by M. Baker, N. Bowler, T. Jin, and O. Lorscheid in the context of matroid theory. Bands generalize hyperrings and provide a new approach to geometry over the field with one element $\mathbb{F}_1$. In the first part of this paper, we develop the theory of modules over a band, establishing several of its fundamental properties. In particular, we prove that the category of modules over a band is a closed symmetric monoidal category that is both complete and cocomplete. We then apply this theory in two directions. First, we prove that the category of band schemes is equivalent to the category of schemes relative to the category of modules over a band, in the sense of B. Toën and M. Vaquié. Second, we investigate the relationship between band schemes and the affine hyperring schemes as developed by R. Procesi-Ciampi, R. Rota, and J. Jun. Although bands generalize hyperrings, we see that the corresponding scheme theories are not compatible. Finally, we prove that the category of modules over a band admits a proto-exact structure, generalizing a result of J. Jun for hypermodules over hyperrings.
format Preprint
id arxiv_https___arxiv_org_abs_2606_01093
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle On the category of modules over bands: relative schemes, hyperring schemes and proto-exactness
Hamada, Lucas
Algebraic Geometry
Category Theory
Primary 14A23, Secondary 08A99, 19D23, 18D99, 16Y20
Bands and idylls are algebraic structures introduced recently by M. Baker, N. Bowler, T. Jin, and O. Lorscheid in the context of matroid theory. Bands generalize hyperrings and provide a new approach to geometry over the field with one element $\mathbb{F}_1$. In the first part of this paper, we develop the theory of modules over a band, establishing several of its fundamental properties. In particular, we prove that the category of modules over a band is a closed symmetric monoidal category that is both complete and cocomplete. We then apply this theory in two directions. First, we prove that the category of band schemes is equivalent to the category of schemes relative to the category of modules over a band, in the sense of B. Toën and M. Vaquié. Second, we investigate the relationship between band schemes and the affine hyperring schemes as developed by R. Procesi-Ciampi, R. Rota, and J. Jun. Although bands generalize hyperrings, we see that the corresponding scheme theories are not compatible. Finally, we prove that the category of modules over a band admits a proto-exact structure, generalizing a result of J. Jun for hypermodules over hyperrings.
title On the category of modules over bands: relative schemes, hyperring schemes and proto-exactness
topic Algebraic Geometry
Category Theory
Primary 14A23, Secondary 08A99, 19D23, 18D99, 16Y20
url https://arxiv.org/abs/2606.01093