Pith. sign in

REVIEW 3 minor 24 references

Closure operators and geometric modules of valuated matroids

T0 review · 0 major / 3 minor · reviewed 2026-06-26 · grok-4.3

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

Pith's one-line read A closure operator cryptomorphically defines valuated matroids and yields a bijection to geometric modules over the tropical semifield.

desk verdict The paper gives a cryptomorphic closure operator for valuated matroids and a bijection to geometric modules over the tropical semifield. read the letter →

arxiv 2606.18562 v1 pith:D2DCFIWV submitted 2026-06-17 math.CO

Jaiung Jun , Jeffrey Tolliver This is my paper · ORCID
classification math.CO
keywords valuatedmatroidsclosureoperatorsgeometricmodulestropicalsemifieldprojectiveequivalencecryptomorphicdefinitionsmatroid
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 introduces a closure operator for valuated matroids and proves that it gives a cryptomorphic definition equivalent to the standard one. Building on this, the authors define a class of modules called geometric modules over the tropical semifield. They prove a one-to-one correspondence between the projective equivalence classes of simple valuated matroids and the isomorphism classes of finitely generated geometric modules. The correspondence is further extended to simple infinite valuated matroids and geometric modules. This matters because it connects combinatorial matroid structures to algebraic module structures in a tropical context.

What carries the argument

The closure operator on valuated matroids, which is shown to be cryptomorphic to the standard definition and used to define geometric modules satisfying specific closure axioms over the tropical semifield.

What would settle it

Constructing a valuated matroid for which the proposed closure operator fails to satisfy the cryptomorphism axioms or finding a simple valuated matroid with no corresponding geometric module.

Watch

Extended reading notes

Core claim

The paper establishes that there is a one-to-one correspondence between projective equivalence classes of simple valuated matroids and isomorphism classes of finitely generated geometric modules, achieved through a newly introduced closure operator that provides a cryptomorphic definition of valuated matroids.

Load-bearing premise

The new closure operator on valuated matroids satisfies the necessary axioms to be cryptomorphic to the standard definition.

Editorial extensions

If this is right

  • Valuated matroids admit an equivalent axiomatization via closure operators.
  • Simple valuated matroids are in bijection with finitely generated geometric modules.
  • The bijection preserves projective equivalence and module isomorphism.
  • This framework extends from finite to infinite valuated matroids.

Reading between the lines

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

  • This correspondence could enable the use of module-theoretic tools to prove results about valuated matroids.
  • Geometric modules might provide new insights into the structure of valuated matroids in tropical geometry.
  • Similar correspondences might exist for other types of matroids or algebraic structures.
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 / 3 minor

Summary. The paper introduces a closure operator for valuated matroids and proves that it yields a cryptomorphic definition. As an application, it defines geometric modules over the tropical semifield and proves a one-to-one correspondence between projective equivalence classes of simple valuated matroids and isomorphism classes of finitely generated geometric modules; the correspondence is further lifted to simple infinite valuated matroids.

Significance. If the cryptomorphism and bijection hold, the work supplies a new algebraic realization of valuated matroids via modules over the tropical semifield, offering a potential bridge between combinatorial matroid theory and tropical geometry. The explicit construction of the correspondence, once verified, would be a useful addition to the literature on cryptomorphisms and valuated structures.

minor comments (3)
  1. The abstract states that the closure operator is proved cryptomorphic, but the introduction or §2 should include a brief comparison table or list of the standard valuated-matroid axioms versus the new closure axioms to make the equivalence immediately visible to readers.
  2. Notation for the tropical semifield and the geometric-module operations (e.g., the module action and the rank function) should be introduced with explicit reference to the standard tropical semiring conventions used in the literature.
  3. The lifting statement for infinite valuated matroids is mentioned only briefly; a short paragraph clarifying which finiteness assumptions are dropped and which remain would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, the recognition of its potential bridge between matroid theory and tropical geometry, and the recommendation for minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity detected

full rationale

The paper introduces a new closure operator on valuated matroids, proves it is cryptomorphic to the standard definition (a standard matroid-theory pattern with no self-referential equations or fitted inputs), then constructs geometric modules over the tropical semifield and establishes a bijection with projective classes of simple valuated matroids. No load-bearing step reduces by construction to its own inputs, no self-citation chain justifies the central premise, and no ansatz or uniqueness theorem is smuggled in via prior work by the same authors. The derivation is self-contained against external benchmarks in combinatorial matroid theory.

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

Abstract-only review; no explicit free parameters, axioms, or invented entities beyond the new geometric modules class can be extracted.

invented entities (1)
  • geometric modules
    purpose: Algebraic objects placed in bijection with valuated matroids
    Introduced in the abstract as a new class over the tropical semifield

how reviews work

0 comments
Cite this review

Pith. "Pith review of Closure operators and geometric modules of valuated matroids." pith.science (2026). https://pith.science/paper/D2DCFIWV

@misc{pith2026260618562,
  author       = {Pith},
  title        = {Pith review of: Closure operators and geometric modules of valuated matroids},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/D2DCFIWV}},
  note         = {Machine review of arXiv:2606.18562}
}
read the original abstract

We introduce a closure operator for valuated matroids and prove that it yields a cryptomorphic definition of valuated matroids. As an application, we introduce a class of modules over the tropical semifield (geometric modules) and prove that there is one-to-one correspondence between projective equivalence classes of simple valuated matroids and isomorphism classes of finitely generated geometric modules. We further illustrate how this correspondence can be lifted to simple infinite valuated matroids and geometric modules.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

24 extracted references · 2 canonical work pages

  1. [1]

    Matroid Powers in Tropical Geometry

    Nicholas Anderson. Matroid Powers in Tropical Geometry . PhD thesis, Queen Mary University of London, 2024

    2024

  2. [2]

    Matroids over partial hyperstructures

    Matthew Baker and Nathan Bowler. Matroids over partial hyperstructures. Advances in Mathematics , 343:821--863, 2019

    2019

  3. [3]

    Axioms for infinite matroids

    Henning Bruhn, Reinhard Diestel, Matthias Kriesell, Rudi Pendavingh, and Paul Wollan. Axioms for infinite matroids. Advances in Mathematics , 239:18--46, 2013

    2013

  4. [4]

    Large convex sets in oriented matroids

    J Richard Buchi and William E Fenton. Large convex sets in oriented matroids. Journal of Combinatorial Theory, Series B , 45(3):293--304, 1988

    1988

  5. [5]

    Lorentzian polynomials and matroids over triangular hyperfields 1: T opological aspects

    Matthew Baker, June Huh, Mario Kummer, and Oliver Lorscheid. Lorentzian polynomials and matroids over triangular hyperfields 1: T opological aspects. arXiv preprint arXiv:2508.02907 , 2025

    work page arXiv 2025

  6. [6]

    The moduli space of matroids

    Matthew Baker and Oliver Lorscheid. The moduli space of matroids. Advances in Mathematics , 390:107883, 2021

    2021

  7. [7]

    A module-theoretic approach to matroids

    Colin Crowley, Noah Giansiracusa, and Joshua Mundinger. A module-theoretic approach to matroids. Journal of Pure and Applied Algebra , 224(2):894--916, 2020

    2020

  8. [8]

    Duality theory for finite and infinite matroids with coefficients

    Andreas WM Dress. Duality theory for finite and infinite matroids with coefficients. Advances in Mathematics , 59(2):97--123, 1986

    1986

Show all 24 references
  1. [9]

    Valuated matroids

    Andreas WM Dress and Walter Wenzel. Valuated matroids. Advances in Mathematics , 93(2):214--250, 1992

    1992

  2. [10]

    On infinite matroids with strong maps: Proto-exactness and finiteness conditions

    Chris Eppolito and Jaiung Jun. On infinite matroids with strong maps: Proto-exactness and finiteness conditions. Theory and Applications of Categories , 38(11):319--327, 2022

    2022

  3. [11]

    Extensions of transversal valuated matroids

    Alex Fink and Jorge Alberto Olarte. Extensions of transversal valuated matroids. European Journal of Combinatorics , 127:104153, 2025

    2025

  4. [12]

    Equations of tropical varieties

    Jeffrey Giansiracusa and Noah Giansiracusa. Equations of tropical varieties. Duke Mathematical Journal , 165(18):3379--3433, 2016

    2016

  5. [13]

    A G rassmann algebra for matroids

    Jeffrey Giansiracusa and Noah Giansiracusa. A G rassmann algebra for matroids. manuscripta mathematica , 156(1-2):187--213, 2018

    2018

  6. [14]

    Uniform semimodular lattices and valuated matroids

    Hiroshi Hirai. Uniform semimodular lattices and valuated matroids. Journal of Combinatorial Theory, Series A , 165:325--359, 2019

    2019

  7. [15]

    Vector bundles on tropical schemes

    Jaiung Jun, Kalina Mincheva, and Jeffrey Tolliver. Vector bundles on tropical schemes. Journal of Algebra , 637:1--46, 2023

    2023

  8. [16]

    Tropical representations and valuated matroids

    Jaiung Jun, Kalina Mincheva, and Jeffrey Tolliver. Tropical representations and valuated matroids. arXiv preprint arXiv:2411.19889 , 2024

    2024

  9. [17]

    Tropical schemes, tropical cycles, and valuated matroids

    Diane Maclagan and Felipe Rinc \'o n. Tropical schemes, tropical cycles, and valuated matroids. J. Eur. Math. Soc. , 20(3):777–796, 2020

    2020

  10. [18]

    Introduction to tropical geometry , volume 161

    Diane Maclagan and Bernd Sturmfels. Introduction to tropical geometry , volume 161. American Mathematical Soc., 2015

    2015

  11. [19]

    On circuit valuation of matroids

    Kazuo Murota and Akihisa Tamura. On circuit valuation of matroids. Advances in Applied Mathematics , 26(3):192--225, 2001

    2001

  12. [20]

    Zur axiomatik der linearen abh \"a ngigkeit

    Takeo Nakasawa. Zur axiomatik der linearen abh \"a ngigkeit. i. Science Reports of the Tokyo Bunrika Daigaku, Section A , 2(43):235--255, 1935

    1935

  13. [21]

    J.G. Oxley. Matroid Theory . Oxford graduate texts in mathematics. Oxford University Press, 2006

    2006

  14. [22]

    Tropical linear spaces

    David E Speyer. Tropical linear spaces. SIAM Journal on Discrete Mathematics , 22(4):1527--1558, 2008

    2008

  15. [23]

    Finite lattices and J ordan- H \"o lder sets

    Richard P Stanley. Finite lattices and J ordan- H \"o lder sets. Algebra Universalis , 4(1):361--371, 1974

    1974

  16. [24]

    On the abstract properties of linear dependence

    Hassler Whitney. On the abstract properties of linear dependence. American Journal of Mathematics , 57(3):509--533, 1935

    1935

Pith tools

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