Pith. sign in

REVIEW 36 references

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

T0 review · reviewed 2026-06-28 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The category of band schemes is equivalent to the category of schemes relative to the modules over a band.

desk verdict The paper sets up modules over bands, proves the category is closed symmetric monoidal complete and cocomplete, then gets the Toën-Vaquié equivalence for band schemes plus an incompatibility with hyperring schemes. read the letter →

arxiv 2606.01093 v1 pith:VB5LZ4DD submitted 2026-05-31 math.AG math.CT

Lucas Hamada This is my paper · ORCID
classification math.AGmath.CT
keywords bandsmodulesoverbandschemesrelativehyperringproto-exactcategoriesF1geometry
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper develops the theory of modules over a band, proving that this category is closed symmetric monoidal and both complete and cocomplete. It then shows that schemes relative to this module category, in the sense of Toën and Vaquié, recover exactly the directly defined category of band schemes. The work also establishes that band schemes are incompatible with affine hyperring schemes despite bands generalizing hyperrings, and that the module category over a band carries a proto-exact structure.

What carries the argument

The category of modules over a band, equipped with a closed symmetric monoidal structure, all limits and colimits, and a proto-exact structure, which serves as the base category for relative schemes.

What would settle it

A concrete band for which the relative schemes constructed from its modules differ from the band schemes defined directly, or for which the module category fails to satisfy the proto-exact axioms.

Watch

Extended reading notes

Core claim

The central claim is that the category of band schemes is equivalent to the category of schemes relative to the category of modules over a band in the Toën-Vaquié sense. This holds because the module category over any band is closed symmetric monoidal, complete, and cocomplete. The paper further shows that this scheme theory does not coincide with the affine hyperring schemes of Procesi-Ciampi, Rota, and Jun, and that the module category admits a proto-exact structure generalizing the hypermodule case.

Load-bearing premise

The specific definition of bands and the functorial constructions of modules and schemes from them fit the Toën-Vaquié relative scheme framework without extra hidden conditions on the base category.

Editorial extensions

If this is right

  • Band schemes can be constructed and studied using the general Toën-Vaquié relative scheme formalism applied to the module category.
  • The proto-exact structure on modules over bands allows algebraic invariants such as K-theory to be defined in this setting.
  • Band schemes provide a distinct geometric theory from hyperring schemes even though bands generalize hyperrings.
  • Geometry over the field with one element can be developed using either bands or hyperrings, but the resulting categories of schemes are not the same.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The equivalence may allow results from relative algebraic geometry to be transferred directly to questions involving matroids or F1-geometry.
  • The observed incompatibility suggests that different choices of algebraic structures generalizing rings produce genuinely different geometries.
  • Proto-exactness on the module category could support the definition of combinatorial invariants that connect band schemes to matroid theory.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 0 minor

Summary. The paper develops the theory of modules over bands, proving that the category of modules over a band is a closed symmetric monoidal category that is both complete and cocomplete. It then proves 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 Toën and Vaquié. It investigates the relationship between band schemes and affine hyperring schemes, concluding that the theories are not compatible despite bands generalizing hyperrings, and finally proves that the category of modules over a band admits a proto-exact structure, generalizing a result of Jun for hypermodules over hyperrings.

Significance. If the central results hold, the work supplies the categorical prerequisites (closed symmetric monoidal, complete, cocomplete) needed to apply the Toën-Vaquié relative scheme framework to bands, yielding an equivalence that situates band schemes within relative algebraic geometry. The proto-exact structure generalizes prior work on hypermodules and may support further homological developments in F1-geometry. The explicit incompatibility result with hyperring schemes clarifies distinctions between these geometric approaches.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript and for recommending acceptance. We appreciate the recognition of the categorical foundations provided for relative schemes over bands and the clarification regarding incompatibility with hyperring schemes.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; derivation applies external framework after verifying prerequisites

full rationale

The paper first constructs the module category over a band and proves it is closed symmetric monoidal, complete, and cocomplete using direct categorical arguments on the given definitions of bands and modules. It then invokes the independent Toën-Vaquié relative schemes framework (an external citation) to obtain the equivalence of band schemes with relative schemes. The hyperring comparison and proto-exact structure results are separate and do not feed back into the central claim. No quoted step reduces a prediction or uniqueness statement to a self-definition, fitted input, or self-citation chain; the derivation is self-contained against the cited external benchmark.

Assumptions & free parameters 0 free parameters · 0 assumptions · 0 invented entities

Only abstract available; no explicit free parameters, axioms, or invented entities can be extracted beyond standard category theory background.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the category of modules over bands: relative schemes, hyperring schemes and proto-exactness." pith.science (2026). https://pith.science/paper/VB5LZ4DD

@misc{pith2026260601093,
  author       = {Pith},
  title        = {Pith review of: On the category of modules over bands: relative schemes, hyperring schemes and proto-exactness},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/VB5LZ4DD}},
  note         = {Machine review of arXiv:2606.01093}
}
abstract

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\"en and M. Vaqui\'e. 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.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

36 extracted references · 2 canonical work pages

  1. [1]

    Baker and N

    M. Baker and N. Bowler , Matroids over partial hyperstructures, Adv. Math. 343 (2019), 821--863

    2019

  2. [2]

    Baker and O

    M. Baker and O. Lorscheid , The moduli space of matroids, Adv. math. 390 (2022), 107883

    2022

  3. [3]

    Baker, T

    M. Baker, T. Jin, O. Lorscheid , New building blocks for \( _1\)-geometry: Bands and band schemes, J. Lond. Math. Soc. (2) 2025;111:e70125

    2025

  4. [4]

    Ben-Bassat and K

    O. Ben-Bassat and K. Kremnizer , Non-Archimedean analytic geometry as relative algebraic geometry, Annales de la Faculté des sciences de Toulouse : Mathématiques, Série 6, Tome 26 (2017) no. 1, pp. 49--126

    2017

  5. [5]

    C. Chu, O. Lorscheid, R. Santhanam , Sheaves and \(K\)-theory of \( _1\)-Schemes, Adv. Math. 229 (2012), 2239--2286

    2012

  6. [6]

    Connes and C

    A. Connes and C. Consani , The hyperring of adele classes, J.\ Number Theory 131 (2) (2011), 159--194

    2011

  7. [7]

    Connes and C

    A. Connes and C. Consani , The hyperring of ad\`ele classes, J. Number Theory 131 (2011), 159--194

    2011

  8. [8]

    Connes and C

    A. Connes and C. Consani , From monoids to hyperstructures: in search of an absolute arithmetic, Casimir Force, Casimir Operators and the Riemann Hypothesis, de Gruyter (2010), 147--198

    2010

Show all 36 references
  1. [9]

    Davvaz and A

    B. Davvaz and A. Salasi , A realization of hyperrings, Comm. Algebra 34 (12) (2006), 4389--4400

    2006

  2. [10]

    Deitmar , Schemes over \( _1\), Number fields and function fields—two parallel worlds, Progr

    A. Deitmar , Schemes over \( _1\), Number fields and function fields—two parallel worlds, Progr. Math., vol. 239, 2005

    2005

  3. [11]

    Demazure and P

    M. Demazure and P. gabriel , Groupes alg\'ebriques. Tome I: G\'eom\'etrie alg\'ebrique, g\'en\'eralit\'es, groupes commutatifs. Masson & Cie \'Editeur, Paris (1970). (Avec un appendice Corps de classes local par Michiel Hazewinkel)

    1970

  4. [12]

    Dyckerhoff and M

    T. Dyckerhoff and M. Kapranov , Higher Segal Spaces, Lecture Notes in mathematics, Springer, 2019

    2019

  5. [13]

    Eppolito, J

    C. Eppolito, J. Jun, and M. Szczesny , Proto-exact categories of matroids, Hall algebras, and K-theory, Math.\ Z., 296 (2020), 147--167

    2020

  6. [14]

    Hosgood , Under Spec\( Z \): A reader's companion, Dissertation, Oxford University, 2016, https://thosgood.net/assets/files/under-spec-z.pdf

    T. Hosgood , Under Spec\( Z \): A reader's companion, Dissertation, Oxford University, 2016, https://thosgood.net/assets/files/under-spec-z.pdf

    2016

  7. [15]

    Jun , Algebraic geometry of hyperrings, Adv

    J. Jun , Algebraic geometry of hyperrings, Adv. Math., 323 (2018), 142--192

    2018

  8. [16]

    J. Jun, M. Szczesny, J. Tolliver , Proto-exact categories of modules over semirings and hyperrings J. Algebra 631 (2023), 517--557

    2023

  9. [17]

    J. Jun, A. Sistko, and C. Wright , Proto-exact Categories of Matroids over Idylls and Tropical Toric Reflexive Sheaves, arXiv:2509.08144

  10. [18]

    Krasner , Quelques m\'ethodes nouvelles dans la th\'eorie des corps valu\'es complets

    M. Krasner , Quelques m\'ethodes nouvelles dans la th\'eorie des corps valu\'es complets. Coll. Int. du C.N.R.S. 24 (1949)

    1949

  11. [19]

    Krasner , A class of hyperrings and hyperfields, Internat.\ J.\ Math.\ Math.\ Sci.\ 6 (2) (1983), 307--311

    M. Krasner , A class of hyperrings and hyperfields, Internat.\ J.\ Math.\ Math.\ Sci.\ 6 (2) (1983), 307--311

    1983

  12. [20]

    Jarra, O

    M. Jarra, O. Lorscheid, and E. Vital , Quiver matroids: Matroid morphisms, quiver Grassmannians, their Euler characteristics and F1-points, arXiv: 2404.09255v1

    arXiv

  13. [21]

    Lorscheid , Blue schemes, semiring schemes, and relative schemes after To\"en and Vaqui\'e, J

    O. Lorscheid , Blue schemes, semiring schemes, and relative schemes after To\"en and Vaqui\'e, J. Algebra 482 (2017), 264--302

    2017

  14. [22]

    Manin , Lectures on zeta functions and motives (according to Deninger and Kurokawa), Ast\'erisque, 228 (4), 121--163

    Y. Manin , Lectures on zeta functions and motives (according to Deninger and Kurokawa), Ast\'erisque, 228 (4), 121--163

  15. [23]

    J. L. Pe\ na and O. Lorscheid , Mapping \( _1\)-land: an overview of geometries over the field with one element, Noncommutative geometry, arithmetic, and related topics, Johns Hopkins Univ. Press, Baltimore, MD (2011), 241--265

    2011

  16. [24]

    Procesi Ciampi and R

    R. Procesi Ciampi and R. Rota , The hyperring spectrum, Riv.\ Mat.\ Pura Appl., 1 (1987), 71--80

    1987

  17. [25]

    M. J. Tits , Sur les analogues algébriques des groupes semi-simples complexes, Colloque d'algèbre supérieure, tenu à Bruxelles du 19 au 22 décembre 1956, Centre Belge de Recherches Mathématiques Établissements Ceuterick, Louvain, Paris: Librairie Gauthier-Villars, 261--289

    1956

  18. [26]

    To\"en and M

    B. To\"en and M. Vaqui\'e , Au-dessous de Spec\( Z \), Journal of K-theory 3(3) (2009), 437--500

    2009

  19. [27]

    Tolliver , An equivalence between two approaches to limits of local fields, J

    J. Tolliver , An equivalence between two approaches to limits of local fields, J. Number Theory 166 (2016), 473--492

    2016

  20. [28]

    Vezzani , Deitmar's versus To\"en-Vaqui\'e's schemes over \( F _1\), Math

    A. Vezzani , Deitmar's versus To\"en-Vaqui\'e's schemes over \( F _1\), Math. Z. 271 (2012), 911--926

    2012

  21. [29]

    Jun, and M

    C.Eppolito, J. Jun, and M. Szczesny , Proto-exact categories of matroids, Hall algebras, and K-theory, Math.\ Z., 296 (2020), 147--167

    2020

  22. [30]

    Hosgood , Under Spec\( Z \) A reader's companion, Dissertation, Oxford University https://thosgood.net/assets/files/under-spec-z.pdf

    T. Hosgood , Under Spec\( Z \) A reader's companion, Dissertation, Oxford University https://thosgood.net/assets/files/under-spec-z.pdf

  23. [31]

    Procesi-Ciampi and R

    R. Procesi-Ciampi and R. Rota , The hyperring spectrum, Riv.\ Mat.\ Pura Appl., 1 (1987), 71--80

    1987

  24. [32]

    Song , Galois correspondence for Galois coverings of tropical curves, J

    J. Song , Galois correspondence for Galois coverings of tropical curves, J. Algebra Appl., vol 24, No. 02, 2550044 (2025)

    2025

  25. [33]

    Kurokawa , On some Euler Products I, Proceedings of the Japan Academy, 60A (1984) No.9, 335--338

    N. Kurokawa , On some Euler Products I, Proceedings of the Japan Academy, 60A (1984) No.9, 335--338

    1984

  26. [34]

    Kurokawa , Multiple zeta functions: An example, Advanced Studies in Pure Mathematics, 21 (1992), 219--226

    N. Kurokawa , Multiple zeta functions: An example, Advanced Studies in Pure Mathematics, 21 (1992), 219--226

    1992

  27. [35]

    Hiranouchi and Y

    T. Hiranouchi and Y. Taguchi , Extensions of Truncated Discrete Valuation Rings, Pure Appl. Math. Q. (J.-P. Serre special issue) 4 (2007), 1205--1214

    2007

  28. [36]

    P. Deligne , Les corps locaux de caractéristique p, limites de corps locaux de caractéristique 0, Representations of reductive groups over a local field, Travaux en Cours, Hermann, Paris, 1984, pp. 119‐157

    1984

Pith tools

Reviewed June 28, 2026 · model on record in the stance chip above.