REVIEW 4 minor 13 references
Representation theory over semifields
T0 review · 0 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read Representations of torsion groups over idempotent semifields are classified by G-sets, with indecomposables indexed by conjugacy classes of subgroups.
desk verdict A clear, correct classification of torsion group representations over idempotent semifields as G-sets; the main theorem holds, and the remaining caveats are mostly about imported tools from the authors' own prior work. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the set of basis lines of a free module over a connected zero-sum-free semiring—for idempotent semifields, the relevant semiring. Lemma 3.8, importing a result from the authors' earlier work, says this finite set does not depend on the chosen basis, so a linear action of $G$ on $K^n$ induces a genuine action on basis lines. Proposition 3.10 then makes indecomposability equivalent to transitivity of that action. The second ingredient is Lemma 3.14: the unit group $K^\times$ of an idempotent semifield is torsion-free, so any character from a torsion subgroup $H$ to $K^\times$ is trivial; hence the stabilizer subgroup $H$, up to conjugacy, carries the information that a character would carry in classical representation theory. Homomorphisms are computed by viewing an indecomposable representation as a quotient of the regular representation and counting $H$-invariant elements, which become functions on double cosets.
What would settle it
Take $K = \mathbb{B}$ and $G = \mathbb{Z}/2$. The theorem predicts exactly two indecomposable free representations up to isomorphism—the trivial line and the two-dimensional module whose basis lines are swapped by the nonidentity element—and every representation on $\mathbb{B}^n$ must be a disjoint union of these, i.e. a $\mathbb{Z}/2$-set on the $n$ basis lines. Enumerating all invertible $\mathbb{B}$-matrix actions on $\mathbb{B}^n$ for small $n$ by computer would settle it: an indecomposable module of any other shape would refute the classification.
Extended reading notes
Core claim
The central claim is Theorem A: fix an idempotent semifield $K$ (for instance the tropical semifield $\mathbb{T}$ or the Boolean semifield $\mathbb{B}$) and a torsion group $G$. An $n$-dimensional representation is a free $K$-module $K^n$ equipped with a linear $G$-action. The paper shows that $G$ permutes the set of basis lines—the one-dimensional submodules spanned by basis vectors—and that this permutation is the whole representation. Indecomposable representations are exactly those whose basis lines form a single $G$-orbit, and the stabilizer of any one line is a subgroup $H \subseteq G$ determined only up to conjugacy; conversely, every conjugacy class of subgroups yields one indecomposable representation. The same logic identifies isomorphism classes of all representations with isomorphism classes of $G$-sets, and for indecomposables $V, W$ attached to subgroups $H_V, H_W$, the homomorphisms $V \to W$ are in bijection with functions from the double coset space $H_V\backslash G/H_W$ to $K$. When $K = \mathbb{B}$, the first two statements require no torsion assumption on $G$.
Load-bearing premise
The load-bearing premise is that a free module over a connected zero-sum-free semiring has a uniquely determined set of basis lines, independent of the chosen basis; without that, the group action on basis lines is not well defined and the classification into G-sets collapses.
Editorial extensions
If this is right
- Over the Boolean semifield $\mathbb{B}$, representations of any group $G$ are classified by isomorphism classes of $G$-sets, so every finite-dimensional Boolean representation is a disjoint union of transitive pieces indexed by conjugacy classes of subgroups.
- For a finite group $G$, every indecomposable representation over an idempotent semifield has dimension dividing $|G|$, because its basis lines form a transitive $G$-set.
- Every indecomposable representation of a finite group over an idempotent semifield is a quotient of the regular representation by the relations $g \sim gh$ for $h \in H$, equivalently a free module on the coset space $G/H$.
- For an irreducible algebraic group over an idempotent semifield, the equivariant splitting theorem implies that every representation decomposes as a direct sum of one-dimensional representations.
- The regular representation of any group over a zero-sum-free semifield is indecomposable, since the group semiring has no nontrivial zero-divisors.
Reading between the lines
- If the classification is correct, isomorphism of Boolean representations is the same as isomorphism of $G$-actions on a finite set of atoms, so classical Burnside-type counting should give complete numerical invariants for $\mathbb{B}[G]$-modules.
- A natural test is to enumerate all $\mathrm{GL}_n(\mathbb{B})$-actions on $\mathbb{B}^n$ for small groups such as $S_3$, $A_4$, or $D_8$; the isomorphism classes should exactly match the transitive $G$-sets predicted by the subgroup classification, and any extra indecomposable would contradict it.
- The same basis-line machinery suggests a definition of equivariant matroids: since tropical linear spaces are valuated matroids, a representation over the tropical semifield should correspond to a group action on a valuated matroid, with the subgroup and double-coset combinatorics governing equivariant matroid decompositions.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops representation theory of groups over idempotent semifields, with emphasis on the Boolean semifield. The central result (Theorem A, Propositions 3.15 and 3.20) classifies, for a torsion group G over an idempotent semifield K, the indecomposable representations by conjugacy classes of subgroups, the isomorphism classes of representations by G-sets, and the homomorphisms between indecomposables by double-coset functions. The proof uses the author's earlier basis-independence result for free modules over zero-sum-free semirings to define the action of G on the set of basis lines, then reduces decompositions to orbit decompositions. A second theme (Section 4, Theorem B) shows that cyclic modules over the Boolean group semiring B[G] are quasi-free as B-modules. The paper also records a corollary for algebraic groups over idempotent semifields (Proposition 3.3) deduced from a splitting theorem in the authors' companion work.
Significance. If accepted, Theorem A gives a surprisingly complete and simple picture: for torsion groups, semiring representation theory over idempotent semifields is exactly the combinatorics of G-sets, with no character data because the unit group is torsion-free. The basis-line method is elegant and the main proofs are elementary. The paper is not fully self-contained, since Lemma 3.8 is imported from the authors' published [JMT23] and Proposition 3.3 depends on the unpublished [JMT24a], but the central classification for abstract groups appears sound and well argued. The paper also contributes useful structural observations about duals and quasi-freeness of B-modules that connect to the authors' program on matroidal representations.
minor comments (4)
- [§3.2, Proposition 3.20] The statement says that homomorphisms V → W are in bijection with functions H_V\G/H_W → K, but the proof concludes by identifying them with maps H_W\G/H_V → K. The two double-coset spaces are naturally in bijection via inversion, so this is a notational mismatch rather than a substantive error, but it should be corrected.
- [§4, Proposition 4.12] The proof invokes Lemma 4.11 in the form 'if gv ≤ v then g ∈ H', while Lemma 4.11 is stated as 'if v ≤ gv then v = gv'. The same finite-order iteration argument used in the proof of Lemma 4.11 also establishes the needed direction, so the gap is easily repairable, but the citation as written is inaccurate.
- [§3.1, Proposition 3.3] The proof of Proposition 3.3 is a direct application of Proposition 2.5, which is quoted from the unpublished preprint [JMT24a, Theorem 5.17]. Since this splitting theorem is not proved in the manuscript, the algebraic-group statement should be explicitly marked as conditional on [JMT24a], or the authors should include a proof of Proposition 2.5. This does not affect the main torsion-group classification.
- [Throughout] There are several typographical errors: the abstract contains 'semifield' and 'matroi ds', and in the proof of Proposition 3.13 the displayed action g(tH)=sχ(h)v should refer to the basis vector indexed by tH rather than to v. These are easily fixed in revision.
Circularity Check
Minor self-citation in the algebraic-group section; the main Theorem A derivation is self-contained apart from a published external lemma.
-
self citation load bearing
[Proposition 3.3 (Section 3.1), relying on Proposition 2.5 = [JMT24a, Theorem 5.17]]
"Observe that any vector bundle on Spec K is trivial. Hence, the claim follows immediately from Propositions 2.5 and 3.2."
Proposition 2.5 is quoted verbatim from the authors' unpublished companion preprint [JMT24a, Theorem 5.17], so the equivariant splitting theorem that drives Proposition 3.3 is not derived in this paper; the proof reduces to a self-citation. This is not definitional circularity and does not affect the abstract-group classification Theorem A, whose proof uses Lemma 3.8 and internal orbit arguments, but it is a load-bearing imported premise for the algebraic-group statement.
full rationale
The central classification, Theorem A (Propositions 3.15 and 3.20), is derived inside the paper from Proposition 3.13, Lemma 3.14, and orbit-decomposition arguments. The only imported structural tool is Lemma 3.8, whose proof cites the authors' earlier published work [JMT23, Proposition 3.15] for basis uniqueness; that is a parameter-free external theorem and does not assume the target classification, so it is real evidence rather than circularity. The algebraic-group result Proposition 3.3 does rely on the unpublished companion [JMT24a] through Proposition 2.5, and this is the one genuinely load-bearing self-citation; it is outside the main torsion-group classification. No fitted parameter is renamed as a prediction, no ansatz is smuggled in by citation, and the representation-to-G-set correspondence is verified rather than assumed. Overall, the main claim does not reduce to its inputs by construction.
Assumptions & free parameters
assumptions (2)
- domain assumption Basis uniqueness for free modules over connected zero-sum-free semirings, up to permutation and rescaling.
- domain assumption Equivariant splitting theorem for irreducible algebraic groups over idempotent semifields, stating every equivariant vector bundle that is trivial as a bundle splits as a direct sum of equivariant line bundles.
Cite this review
Pith. "Pith review of Representation theory over semifields." pith.science (2026). https://pith.science/paper/6O6QIMQG
@misc{pith2026241119883,
author = {Pith},
title = {Pith review of: Representation theory over semifields},
year = {2026},
howpublished = {\url{https://pith.science/paper/6O6QIMQG}},
note = {Machine review of arXiv:2411.19883}
}
abstract
We study and classify representations of a torsion group $G$ over an idempotent semifield with special attention on the case over the Boolean semifield $\mathbb{B}$. In subsequent work we extend this theory to studying representations of matroids of low rank.
Reference graph
Works this paper leans on
-
[1]
Facets of module theory over semirings
James Borger and Jaiung Jun. Facets of module theory over semirings. arXiv preprint arXiv:2405.18645 , 2024
work page Pith review arXiv 2024
-
[2]
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, 2020
work page 2020
-
[3]
Equations of tropical varieties
Jeffrey Giansiracusa and Noah Giansiracusa. Equations of tropical varieties. Duke Mathematical Journal , 165(18):3379--3433, 2016
work page 2016
-
[4]
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
-
[5]
Prime congruences of additively idempotent semirings and a nullstellensatz for tropical polynomials
D \'a niel Jo \'o and Kalina Mincheva. Prime congruences of additively idempotent semirings and a nullstellensatz for tropical polynomials. Selecta Mathematica , 24(3):2207--2233, 2018
work page 2018
-
[6]
Vector bundles on tropical schemes
Jaiung Jun, Kalina Mincheva, and Jeffrey Tolliver. Vector bundles on tropical schemes. Journal of Algebra , 637:1--46, 2023
work page 2023
-
[7]
Equivariant vector bundles on toric schemes over semirings
Jaiung Jun, Kalina Mincheva, and Jeffrey Tolliver. Equivariant vector bundles on toric schemes over semirings. arXiv preprint arXiv:2406.06933 , 2024
work page Pith review arXiv 2024
-
[8]
Tropical representations and valuated matroids
Jaiung Jun, Kalina Mincheva, and Jeffrey Tolliver. Tropical representations and valuated matroids. arXiv preprint arXiv:2411.19889 , 2024
arXiv 2024
Show all 13 references
-
[9]
Matroidal representations
Jaiung Jun, Kalina Mincheva, and Jeffrey Tolliver. Matroidal representations. preprint , 2025
2025
-
[10]
Scheme theoretic tropicalization
Oliver Lorscheid. Scheme theoretic tropicalization. arXiv preprint arXiv:1508.07949 , 2015
2015 arXiv
-
[11]
Tropical ideals
Diane Maclagan and Felipe Rinc \'o n. Tropical ideals. Compositio Mathematica , 154(3):640--670, 2018
2018
-
[12]
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
-
[13]
An informal overview of triples and systems
Louis Rowen. An informal overview of triples and systems. arXiv:1709.03174 , 2017
2017 arXiv
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.