pith. sign in

arxiv: 2404.09255 · v2 · submitted 2024-04-14 · 🧮 math.CO · math.AG· math.RT

Quiver matroids -- Matroid morphisms, quiver Grassmannians, their Euler characteristics and mathbb{F}₁-points

Manoel Jarra , Oliver Lorscheid , Eduardo Vital This is my paper

Pith reviewed 2026-05-24 02:09 UTC · model grok-4.3

classification 🧮 math.CO math.AGmath.RT
keywords quiver matroidsmatroid morphismsmatroids with coefficientsF1-pointsquiver GrassmanniansEuler characteristicsmoduli spacesF1-geometry
0
0 comments X

The pith

Quiver matroids and their F1-moduli spaces admit an interpretation of points whose count equals the Euler characteristic of the associated complex quiver Grassmannian in nice cases.

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

The paper defines morphisms for matroids with coefficients and introduces quiver matroids as objects carrying these morphisms along a quiver. It develops basic properties such as functoriality, duality, minors, and equivalent descriptions via vectors, circuits, and bases. These structures are extended to quiver matroid bundles whose moduli space serves as an F1-analogue of the complex quiver Grassmannian. A suitable interpretation of F1-points on this moduli space is introduced so that their number matches the Euler characteristic of the complex version in nice cases. This supplies a combinatorial count that recovers a topological invariant.

Core claim

We introduce morphisms for matroids with coefficients and quiver matroids, investigate their properties including functoriality, duality, minors and cryptomorphic characterizations, generalize to quiver matroid bundles, construct their moduli space as an F1-analogue of a complex quiver Grassmannian, and introduce a suitable interpretation of F1-points for these moduli spaces so that in nice cases their number equals the Euler characteristic of the associated complex quiver Grassmannian.

What carries the argument

Quiver matroids (matroids with coefficients on a quiver) together with their moduli spaces over F1 and the interpretation of F1-points that equates their count to Euler characteristics.

If this is right

  • Morphisms of matroids with coefficients are functorial and compatible with duality and minors.
  • Quiver matroids admit equivalent descriptions in terms of vectors, circuits, and Grassmann-Plucker functions.
  • Quiver matroid bundles possess moduli spaces that generalize complex quiver Grassmannians to the F1 setting.
  • The F1-point count furnishes a combinatorial method to obtain the Euler characteristic in the identified nice cases.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The construction may extend to other moduli problems where F1-points recover topological data.
  • Explicit calculations on small quivers could produce new combinatorial formulas for Euler characteristics.
  • The morphisms might interact with existing cryptomorphisms in matroid theory to yield further identities.
  • Applications to representation theory of quivers over finite fields could follow by specialization.

Load-bearing premise

A suitable interpretation of F1-points for the constructed moduli spaces exists and produces the stated equality in nice cases.

What would settle it

A concrete quiver, nice case, and explicit computation where the interpreted number of F1-points on the moduli space differs from the Euler characteristic of the corresponding complex quiver Grassmannian.

Figures

Figures reproduced from arXiv: 2404.09255 by Eduardo Vital, Manoel Jarra, Oliver Lorscheid.

Figure 1
Figure 1. Figure 1: The F1-representation Λ of type D4 Next we determine all(Λ,K)-matroids M with rank vector r = (r0,r1,r2,r3) = (2,1,1,1). Thus Mvi has corank 1 for every i = 0,1,2,3 and therefore a unique circuit, which is the unique nonzero vector of Mvi . In the following, we list the different choices for nonzero vectors (written as row vectors), ordered by the isomorphism type of Mvi (for i 6= 0 and i = 0, respectively… view at source ↗
Figure 2
Figure 2. Figure 2: The quiver Q ′ , which illustrates all (Λ,K)-matroids of rank r Note that each red vertex w of Q ′ determines a unique (Λ,K)-matroid M of rank r with Mv0 = Mw, while for each yellow vertex w ′ there exist 3 (Λ,K)-matroids M of rank r with Mv0 = Mw′. In total, there are 13 (Λ,K)-matroids of rank r. 3.4. Duality and minors of quiver matroids. Let Q = (Q0,Q1,s,t) be a quiver. The opposite quiver of Q is the q… view at source ↗
Figure 3
Figure 3. Figure 3: Coefficient quiver Γ of Λ, and the projection to Q Consider the rank vector r = (r1,r2) = (1,2). Then Grr(Λ) = Proj F ± 1 [T1,T2,T3,T45,T46,T56] hT1T56 −T2T46 +T3T45i  , where T1,T2 and T3 have multidegree (1,0) and T45,T46 and T56 have multidegree (0,1). This recovers the flag variety Fl(r,E) from Example 4.6 as the quiver Grassmannian Grr(Λ). Example 6.6 (Degenerate flag variety). Degenerate flag variet… view at source ↗
Figure 4
Figure 4. Figure 4: Coefficient quiver Γ of Λ, and the projection to Q Consider the rank vector r = (r1,r2) = (1,1). The Pl ¨ucker embedding Grr(Λ) = Proj F ± 1 [T1,T2,T3,T4] hT1T4i  P 1 ×P 1 . identifies the quiver Grassmannian Grr(Λ) with the closed subscheme of P 1 ×P 1 that is the union of two projective lines (given by T1 = 0 and T4 = 0, respectively) that meet in one point (where T1 = T4 = 0). In other words, Grr(Λ,F) … view at source ↗
Figure 5
Figure 5. Figure 5: Coefficient quiver Γ of Λ, and the projection to Q Consider the rank vector r = (r0,r1,r2,r3) = (2,1,1,1). The Pl ¨ucker embedding Grr(Λ) → P(Λ) is given by Grr(Λ) = Proj F ± 1 [T14,T16,T46,T2,T5,T3,T8,T7,T9]  //qr Λ,r P 2 ×P 1 ×P 1 ×P 1 [PITH_FULL_IMAGE:figures/full_fig_p053_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: The quiver Q ′′, which illustrates all coordinate (Λ,K)- matroids of rank r 2 5 7 9 1 4 6 3 8 2 5 7 9 1 4 6 3 8 2 5 7 9 1 4 6 3 8 2 5 7 9 1 4 6 3 8 2 5 7 9 1 4 6 3 8 2 5 7 9 1 4 6 3 8 [PITH_FULL_IMAGE:figures/full_fig_p055_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: The 6 subrepresentations of Λ with dimension vector r ∗ = (1,1,1,1) [BJL24] Matthew Baker, Tong Jin, and Oliver Lorscheid. New building blocks for F1-geometry: bands and band schemes. Preprint, arXiv:2402.09612, 2024. [BL21] Matthew Baker and Oliver Lorscheid. The moduli space of matroids. Adv. Math., 390:Paper No. 107883, 118, 2021. [BLVS+99] Anders Bj ¨orner, Michel Las Vergnas, Bernd Sturmfels, Neil Whi… view at source ↗
read the original abstract

In this paper, we introduce morphisms for matroids with coefficients (in the sense of Baker and Bowler) and quiver matroids. We investigate their basic properties, such as functoriality, duality, minors and cryptomorphic characterizations in terms of vectors, circuits and bases (a.k.a. Grassmann-Pl\"ucker functions). We generalize quiver matroids to quiver matroid bundles and construct their moduli space, which is an $\mathbb{F}_1$-analogue of a complex quiver Grassmannian. Eventually we introduce a suitable interpretation of $\mathbb{F}_1$-points for these moduli spaces, so that in 'nice' cases their number is equal to the Euler characteristic of the associated complex quiver Grassmannian.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 0 minor

Summary. The paper introduces morphisms for matroids with coefficients in the sense of Baker-Bowler and defines quiver matroids, investigating their functoriality, duality, minors, and cryptomorphic characterizations in terms of vectors, circuits, and bases (Grassmann-Plücker functions). It generalizes quiver matroids to quiver matroid bundles, constructs the moduli space of such bundles as an F1-analogue of a complex quiver Grassmannian, and introduces an interpretation of F1-points on these moduli spaces so that in 'nice' cases the number equals the Euler characteristic of the associated complex quiver Grassmannian.

Significance. If the definitions are made fully rigorous and the equality is established with explicit derivations, the work would connect matroid theory with quiver representations and F1-geometry, potentially yielding combinatorial methods to compute Euler characteristics of quiver Grassmannians via F1-point counts. The cryptomorphic characterizations and moduli construction provide foundational tools, though the paper does not mention machine-checked proofs or parameter-free derivations.

major comments (1)
  1. [Abstract and F1-points section] Abstract (final sentence) and the section introducing the F1-points interpretation: the central claim asserts that a 'suitable interpretation' of F1-points yields equality to the Euler characteristic in unspecified 'nice' cases, but provides no definition of 'nice', no explicit form of the interpretation, and no derivation (e.g., via generating functions, point-counting formulas, or direct identification), rendering the payoff of the preceding constructions unverifiable from the given statement.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the constructive feedback. We address the major comment below.

read point-by-point responses

  1. Referee: [Abstract and F1-points section] Abstract (final sentence) and the section introducing the F1-points interpretation: the central claim asserts that a 'suitable interpretation' of F1-points yields equality to the Euler characteristic in unspecified 'nice' cases, but provides no definition of 'nice', no explicit form of the interpretation, and no derivation (e.g., via generating functions, point-counting formulas, or direct identification), rendering the payoff of the preceding constructions unverifiable from the given statement.

    Authors: We agree that the abstract and the F1-points section would benefit from additional explicitness to make the central claim fully verifiable. In the revised version we will define the 'nice' cases precisely, specify the suitable interpretation of the F1-points on the moduli space, and supply an explicit derivation of the equality with the Euler characteristic (for instance via the relevant point-counting formula or generating-function identity). revision: yes

Circularity Check

1 steps flagged

F1-points count set equal to Euler characteristic by introducing 'suitable interpretation' chosen for that purpose

specific steps
  1. self definitional [Abstract]
    "Eventually we introduce a suitable interpretation of F1-points for these moduli spaces, so that in 'nice' cases their number is equal to the Euler characteristic of the associated complex quiver Grassmannian."

    The paper constructs quiver matroid bundles and their moduli spaces, then introduces an interpretation of F1-points specifically so that the point count equals the Euler characteristic. The claimed equality is therefore ensured by the choice of interpretation (and the undefined 'nice' cases) rather than derived from prior steps.

full rationale

The abstract explicitly states that an interpretation of F1-points is introduced so that the count equals the Euler characteristic in nice cases. This is the paper's central claimed result after all the preceding constructions. The equality therefore holds by the definitional choice of the interpretation rather than being independently derived from the moduli space or other structures. The body may contain further justification, but the provided abstract exhibits the reduction. No other circular patterns (self-citations, ansatzes, etc.) are visible in the given text.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 3 invented entities

The central contributions rely on newly defined mathematical structures without external validation or independent evidence provided in the abstract.

axioms (1)
  • domain assumption Matroids with coefficients as defined by Baker and Bowler
    The paper builds directly on this prior framework for defining morphisms.
invented entities (3)
  • Quiver matroids no independent evidence
    purpose: Objects combining matroids and quivers for studying morphisms and Grassmannians
    Newly introduced in this paper.
  • Quiver matroid bundles no independent evidence
    purpose: Generalization allowing construction of moduli spaces
    Defined to extend the theory to bundles.
  • F1-points interpretation for moduli spaces no independent evidence
    purpose: To equate point counts with Euler characteristics
    Suitable interpretation introduced for the equality claim.

pith-pipeline@v0.9.0 · 5663 in / 1359 out tokens · 61937 ms · 2026-05-24T02:09:01.400977+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. On Bands and Limit Theorems in Tropical Geometry

    math.AG 2026-05 unverdicted novelty 5.0

    Affine schemes are limits of associated band schemes in the band scheme category, recovering Payne's tropicalization theorem via rational points over the tropical band.

Reference graph

Works this paper leans on

46 extracted references · 46 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    Vectors of matroids over tracts

    Laura Anderson. Vectors of matroids over tracts. J. Combin. Theory Ser. A , 161:236--270, 2019

    work page 2019

  2. [2]

    Elements of the representation theory of associative algebras

    Ibrahim Assem, Daniel Simson, and Andrzej Skowro\' n ski. Elements of the representation theory of associative algebras. V ol. 1 , volume 65 of London Mathematical Society Student Texts . Cambridge University Press, Cambridge, 2006. Techniques of representation theory

    work page 2006

  3. [3]

    Bia ynicki-Birula

    A. Bia ynicki-Birula. Some theorems on actions of algebraic groups. Ann. of Math. (2) , 98:480--497, 1973

    work page 1973

  4. [4]

    Matroids over partial hyperstructures

    Matthew Baker and Nathan Bowler. Matroids over partial hyperstructures. Adv. Math. , 343:821--863, 2019

    work page 2019

  5. [5]

    Tropical flag varieties

    Madeline Brandt, Christopher Eur, and Leon Zhang. Tropical flag varieties. Adv. Math. , 384:Paper No. 107695, 41, 2021

    work page 2021

  6. [6]

    Borovik, Israel M

    Alexandre V. Borovik, Israel M. Gelfand, Andrew Vince, and Neil White. The lattice of flats and its underlying flag matroid polytope. Ann. Comb. , 1(1):17--26, 1997

    work page 1997

  7. [7]

    New building blocks for F _1 -geometry: bands and band schemes

    Matthew Baker, Tong Jin, and Oliver Lorscheid. New building blocks for F _1 -geometry: bands and band schemes. Preprint, arXiv:2402.09612, 2024

    work page arXiv 2024

  8. [8]

    The moduli space of matroids

    Matthew Baker and Oliver Lorscheid. The moduli space of matroids. Adv. Math. , 390:Paper No. 107883, 118, 2021

    work page 2021

  9. [9]

    o rner, Michel Las Vergnas, Bernd Sturmfels, Neil White, and G\

    Anders Bj\" o rner, Michel Las Vergnas, Bernd Sturmfels, Neil White, and G\" u nter M. Ziegler. Oriented matroids , volume 46 of Encyclopedia of Mathematics and its Applications . Cambridge University Press, Cambridge, second edition, 1999

    work page 1999

  10. [10]

    Pendavingh

    Nathan Bowler and Rudi A. Pendavingh. Perfect matroids over hyperfields. Preprint, arXiv:1908.03420, 2019

    work page arXiv 1908

  11. [11]

    Madeline Brandt and David E. Speyer. Computation of D ressians by dimensional reduction. Adv. Geom. , 22(3):409--420, 2022

    work page 2022

  12. [12]

    Fusion rules for pastures and tracts

    Matthew Baker and Tianyi Zhang. Fusion rules for pastures and tracts. European J. Combin. , 108:Paper No. 103628, 15, 2023

    work page 2023

  13. [13]

    Cluster algebras as H all algebras of quiver representations

    Philippe Caldero and Fr\' e d\' e ric Chapoton. Cluster algebras as H all algebras of quiver representations. Comment. Math. Helv. , 81(3):595--616, 2006

    work page 2006

  14. [14]

    Cerulli Irelli

    G. Cerulli Irelli. Quiver G rassmannians associated with string modules. J. Algebraic Combin. , 33(2):259--276, 2011

    work page 2011

  15. [15]

    Quiver G rassmannians and degenerate flag varieties

    Giovanni Cerulli Irelli, Evgeny Feigin, and Markus Reineke. Quiver G rassmannians and degenerate flag varieties. Algebra Number Theory , 6(1):165--194, 2012

    work page 2012

  16. [16]

    Del P ezzo surfaces of degree 6

    Patrick Corn. Del P ezzo surfaces of degree 6. Math. Res. Lett. , 12(1):75--84, 2005

    work page 2005

  17. [17]

    Hyperring theory and applications

    Bijan Davvaz and Violeta Leoreanu-Fotea . Hyperring theory and applications . International Academic Press, 1 edition, 2007

    work page 2007

  18. [18]

    Andreas W. M. Dress and Walter Wenzel. Valuated matroids. Adv. Math. , 93(2):214--250, 1992

    work page 1992

  19. [19]

    Tropical Incidence Relations, Polytopes, and Concordant Matroids

    Mohammad Moinul Haque. Tropical I ncidence R elations, P olytopes, and C oncordant M atroids. Preprint, arXiv:1211.2841, 2012

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  20. [20]

    Euler characteristics of quiver G rassmannians and R ingel- H all algebras of string algebras

    Nicolas Haupt. Euler characteristics of quiver G rassmannians and R ingel- H all algebras of string algebras. Algebr. Represent. Theory , 15(4):755--793, 2012

    work page 2012

  21. [21]

    Tropical Q uiver G rassmannians

    Giulia Iezzi and Victoria Schleis. Tropical Q uiver G rassmannians. Preprint, arXiv:2311.18648, 2023

    work page arXiv 2023

  22. [22]

    On the combinatorics of F _1 -representations of pseudotree quivers

    Jaiung Jun, Jaehoon Kim, and Alexander Sistko. On the combinatorics of F _1 -representations of pseudotree quivers. Preprint, arXiv:2301.07221, 2023

    work page arXiv 2023

  23. [23]

    Flag matroids with coefficients

    Manoel Jarra and Oliver Lorscheid. Flag matroids with coefficients. Adv. Math. , 436:Paper No. 109396, 46, 2024

    work page 2024

  24. [24]

    Coefficient Q uivers, _1 - R epresentations, and E uler C haracteristics of Q uiver G rassmannians

    Jaiung Jun and Alexander Sistko. Coefficient Q uivers, _1 - R epresentations, and E uler C haracteristics of Q uiver G rassmannians. Preprint, arXiv:2112.06291, to appear in Nagoya Mathematical Journal, 2021

    work page arXiv 2021

  25. [25]

    On quiver representations over F_1

    Jaiung Jun and Alexander Sistko. On quiver representations over F_1 . Algebr. Represent. Theory , 26(1):207--240, 2023

    work page 2023

  26. [26]

    Algebraic geometry over hyperrings

    Jaiung Jun. Algebraic geometry over hyperrings. Adv. Math. , 323:142--192, 2018

    work page 2018

  27. [27]

    Quiver representations and quiver varieties , volume 174 of Graduate Studies in Mathematics

    Alexander Kirillov, Jr. Quiver representations and quiver varieties , volume 174 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2016

    work page 2016

  28. [28]

    Scalar extensions of quiver representations over F _1

    Markus Kleinau. Scalar extensions of quiver representations over F _1 . Preprint, arXiv:2403.04597, 2024

    work page arXiv 2024

  29. [29]

    Joseph P. S. Kung and Hien Q. Nguyen. Weak maps. In Theory of matroids , volume 26 of Encyclopedia Math. Appl. , pages 254--271. Cambridge Univ. Press, Cambridge, 1986

    work page 1986

  30. [30]

    Joseph P. S. Kung. Strong maps. In Theory of matroids , volume 26 of Encyclopedia Math. Appl. , pages 224--253. Cambridge Univ. Press, Cambridge, 1986

    work page 1986

  31. [31]

    A blueprinted view on F_1 -geometry

    Oliver Lorscheid. A blueprinted view on F_1 -geometry. In Absolute arithmetic and F_ 1 -geometry , pages 161--219. Eur. Math. Soc., Z\" u rich, 2016

    work page 2016

  32. [32]

    Tropical geometry over the tropical hyperfield

    Oliver Lorscheid. Tropical geometry over the tropical hyperfield. Rocky Mountain J. Math. , 52(1):189--222, 2022

    work page 2022

  33. [33]

    Towards the horizons of T its's vision: on band schemes, crowds and F_1 -structures

    Oliver Lorscheid and Koen Thas. Towards the horizons of T its's vision: on band schemes, crowds and F_1 -structures. Innov. Incidence Geom. , 20(2-3):353--394, 2023

    work page 2023

  34. [34]

    Coordinatizable strong maps of matroids

    Michel Las Vergnas. Coordinatizable strong maps of matroids. Preprint, 1975

    work page 1975

  35. [35]

    Pl\" u cker relations for quiver G rassmannians

    Oliver Lorscheid and Thorsten Weist. Pl\" u cker relations for quiver G rassmannians. Algebr. Represent. Theory , 22(1):211--218, 2019

    work page 2019

  36. [36]

    Representation type via E uler characteristics and singularities of quiver G rassmannians

    Oliver Lorscheid and Thorsten Weist. Representation type via E uler characteristics and singularities of quiver G rassmannians. Bull. Lond. Math. Soc. , 51(5):815--835, 2019

    work page 2019

  37. [37]

    F. Marty. Sur une generalization de la notion de groupe. 8th Congress Math. Scandinaves, Stockholm , 1934

    work page 1934

  38. [38]

    Introduction to tropical geometry , volume 161 of Graduate Studies in Mathematics

    Diane Maclagan and Bernd Sturmfels. Introduction to tropical geometry , volume 161 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2015

    work page 2015

  39. [39]

    Matroid theory , volume 21 of Oxford Graduate Texts in Mathematics

    James Oxley. Matroid theory , volume 21 of Oxford Graduate Texts in Mathematics . Oxford University Press, Oxford, second edition, 2011

    work page 2011

  40. [40]

    Every projective variety is a quiver G rassmannian

    Markus Reineke. Every projective variety is a quiver G rassmannian. Algebr. Represent. Theory , 16(5):1313--1314, 2013

    work page 2013

  41. [41]

    Oriented matroids with few mutations

    J\" u rgen Richter-Gebert. Oriented matroids with few mutations. Discrete Comput. Geom. , 10(3):251--269, 1993

    work page 1993

  42. [42]

    Quiver G rassmannians for wild acyclic quivers

    Claus Michael Ringel. Quiver G rassmannians for wild acyclic quivers. Proc. Amer. Math. Soc. , 146(5):1873--1877, 2018

    work page 2018

  43. [43]

    General representations of quivers

    Aidan Schofield. General representations of quivers. Proc. London Math. Soc. (3) , 65(1):46--64, 1992

    work page 1992

  44. [44]

    Quiver representations

    Ralf Schiffler. Quiver representations . CMS Books in Mathematics/Ouvrages de Math\' e matiques de la SMC. Springer, Cham, 2014

    work page 2014

  45. [45]

    Les vari\' e t\' e s sur le corps \`a un \' e l\' e ment

    Christophe Soul\' e . Les vari\' e t\' e s sur le corps \`a un \' e l\' e ment. Mosc. Math. J. , 4(1):217--244, 312, 2004

    work page 2004

  46. [46]

    Representations of quivers over F_1 and H all algebras

    Matt Szczesny. Representations of quivers over F_1 and H all algebras. Int. Math. Res. Not. IMRN , 2012(10):2377--2404, 2012

    work page 2012