REVIEW 3 major objections 5 minor 20 references
The fundamental group of binoid varieties
T0 review · 3 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read For a finitely generated binoid M, the paper proves that its K-spectrum is homotopy equivalent to a disjoint union of spectra of grouplike binoids; over C these are tori and over R they are finite sets of points.
desk verdict Solid affine reduction theorem, but the scheme-level computations lean on an unpublished same-author 2-category result and an unproved stretching step that must be supplied before the main applications are fully load-bearing. 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 structure is the admissible decomposition of a binoid by the prime ideals of its semilattice of idempotents. For each $r \in \mathrm{Adm}(M)=\mathrm{Spec}(\mathrm{Idem}(M))$, the quotient $M(r)$ isolates the component of $K\mathrm{Spec}(M)$ on which idempotents in $r$ vanish and the others evaluate to $1$; the main work is proving that each such component retracts onto the spectrum of the grouplike binoid $(M(r))^{\times\circ}$. The retraction is built from the grading map for integral separated binoids (Lemma 2.7.1), then extended to all finitely generated binoids by induction on the number of prime ideals using pivotal elements, Rees quotients, and homotopy pushouts. For schemes over $\mathbb R$, a second mechanism takes over: the fundamental groupoid of a space is the 2-colimit of the fundamental groupoids of a Cech cover (Theorem 4.3.1), and for covers whose pieces have discrete fundamental groupoids the paper applies a theorem that ordinary colimits and 2-colimits agree, yielding a finite combinatorial computation.
What would settle it
Exhibit a strict 2-functor from a finite poset to groupoids satisfying conditions B1 and B2 for which the natural functor $\mathrm{colim}\,F \to 2\text{-}\mathrm{colim}\,F$ is not an equivalence; if such an example exists, Theorem 4.3.2 is false and the non-affine real calculations collapse. A second check: compute $\pi_1(RX)$ for the paper's Example 5.2 by an independent van Kampen argument and compare with the free group on two generators obtained there.
Extended reading notes
Core claim
The central discovery is Theorem 2.6.1: for $K=\mathbb R$ or $\mathbb C$ and any finitely generated binoid $M$, there is a homotopy equivalence $K\mathrm{Spec}(M) \simeq \coprod_{r \in \mathrm{Adm}(M)} K\mathrm{Spec}((M(r))^{\times\circ})$, compatible with the decomposition of $M$ by prime ideals of its idempotent semilattice. Here $M(r)$ is the quotient of $M$ that kills the ideal $rM$ and sets the complementary idempotents to $1$, and $(M(r))^{\times\circ}$ is its grouplike binoid of units plus the absorbing element $0$. Because the spectrum of a grouplike binoid over $\mathbb C$ is a product of circles $\mathbb C^\times$ together with finite factors, and over $\mathbb R$ is a finite set of sign points, the theorem makes the homotopy type, and hence the fundamental groupoid, of every affine binoid spectrum explicit. Extending the real case to binoid schemes, the paper proves that the fundamental groupoid of $RX$ is equivalent to a 2-colimit of discrete groupoids attached to an affine cover, and reduces that 2-colimit to an ordinary colimit under conditions it verifies for the relevant covers.
Load-bearing premise
The load-bearing premise is that the theorem quoted from the preprint [18]—that under two technical injectivity conditions the ordinary colimit and the 2-colimit of a strict functor into groupoids are equivalent—is correct, since the paper does not prove that theorem and the non-affine fundamental-groupoid calculations depend on it.
Editorial extensions
If this is right
- For every affine complex binoid spectrum, each connected component has the fundamental group of a torus, $\mathbb Z^n$, with $n$ equal to the number of free generators of the corresponding grouplike part.
- For every affine real binoid spectrum, the fundamental groupoid is discrete: $\pi_1$ is trivial at every point, and $\pi_0$ is a finite set of $2^{n_r}$ points for each admissible component.
- For quasi-separated real binoid schemes, $\Pi_1(RX)$ is computable from an affine cover by a finite colimit of finite discrete groupoids; the paper's worked example yields a free group on two generators as the fundamental group of a glued scheme.
- For Stanley-Reisner rings, the fundamental groupoid of the real punctured spectrum is encoded in the simplicial complex: objects are facets with sign functions, and isomorphisms correspond to shared vertices with equal signs, with explicit relations.
- The homology spectral sequence for real binoid schemes collapses, so $H_*(RX)$ is the homology of the nerve of the affine cover with coefficients in $H_0$.
Reading between the lines
- Beyond the paper: the same discrete-covering recipe should apply to any space admitting an open cover whose pieces, double intersections, and triple intersections all have trivial fundamental groups; the essential information is then just how $\pi_0$ of the pieces is glued, so the whole computation reduces to finite combinatorics.
- Beyond the paper: over $\mathbb C$, the theorem localizes the topological complexity of a binoid scheme entirely in the gluing, since affine pieces are disjoint unions of tori; testing this on larger examples could give a quick way to decide whether a complex binoid scheme has a free fundamental group.
- Beyond the paper: replacing $K=\mathbb C$ by a nonarchimedean field would destroy the tori picture, but the idempotent decomposition still gives a finite $\pi_0$; one could use it to study torsors or abelianizations of such spectra.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops a method for computing the topological fundamental groupoid of KX for K=R,C when X is a binoid scheme. In the affine case, Theorem 2.6.1 asserts that for every finitely generated binoid M there is a homotopy equivalence KSpec(M) ≃ ∐_{r∈Adm(M)} KSpec((M(r))^{×○}), so that every complex binoid spectrum is homotopy equivalent to a disjoint union of tori and every real binoid spectrum to a finite discrete space. The proof is an induction on |Spec(M)|: first for integral separated binoids via a grading and deformation retraction, then removing separatedness and integrality through pushout arguments. For non-affine X the paper uses a 2-categorical Seifert-van Kampen theorem to write Π1(RX) as a 2-colimit of the fundamental groupoids of an affine Čech cover, and then invokes Theorem 4.3.2 to replace this 2-colimit by an ordinary colimit. This scheme-level reduction is applied to punctured spectra of Stanley-Reisner rings and to a three-chart example.
Significance. Conditional on Theorem 2.6.1, the affine statements are strong and explicit: complex binoid spectra become disjoint unions of tori, real spectra become finite sets, and the fundamental groupoid is computable from the admissible idempotent decomposition. The affine theorem is proved in detail in Sections 2.7-2.8, with the main case checked by deformation retraction and induction, and the worked examples are consistent with the claimed nerve computations. The proposed discrete-covering method could be independently useful. However, the scheme-level claims currently rest on an unproved stretching assertion and on a preprint result, so the non-affine portion of the paper should be regarded as conditional.
major comments (3)
- [§4.3.5, Remark 4.3.3, and p.18] The reduction of Π1(RX) to an ordinary colimit is not proved. The stretching construction is defined only for a single functor F:G→H, and as written it does not make F injective on objects: if F(x)=F(x')=y, the new functor F' is defined by F'(x')=y, so x and x' are still identified. Even if the intended construction is to send one of the two objects to the new object y', the manuscript does not explain how the added object and isomorphism are propagated to all face functors of the Čech diagram so that conditions B1 and B2 of Theorem 4.3.2 hold for the actual R-functor, nor why this propagation leaves the associated 2-colimit unchanged. The sentence in §4.3.5 that 'our discussion regarding the stretching of functors ... allows us to do just that' is an assertion, not a proof. Since the colimit computation is used in Theorem 5.1.1, Example 5.1.3, and §5.2.2, this is a load-bearing gap.
- [Theorem 4.3.2 and [18]] The main bridge from the fundamental groupoids of affine charts to the fundamental groupoid of the whole scheme is quoted from an unpublished preprint by the second author, with only a one-sentence proof sketch. For a journal submission, the authors should either prove Theorem 4.3.2 in an appendix or replace [18] by a published and readily available reference. In addition, the hypotheses of Theorem 4.3.2 need to be verified for the particular R-functor used in Section 4.3.5 rather than by invoking Remark 4.3.3, whose coherence is not established.
- [Proof of Theorem 5.1.1] The verification of the hypotheses of Theorem 4.3.2 in the Stanley-Reisner case is only sketched. The statement that 'for each collection I1,...,Is, colim_j P(I_j)=P(I1)∪...∪P(Is)→P(I1∩...∩Is) is injective on objects' is not manifestly the same as checking the canonical functors colim_{Bc(I:J)} Φ → Φ(I^c) for all J specified in Theorem 4.3.2; the proof should spell out the correspondence between the two formulations or give a direct verification of conditions B1 and B2.
minor comments (5)
- [§4.2.2] The text refers to 'Corollary 3.1.2', but no Corollary 3.1.2 exists; the intended reference appears to be Corollary 3.0.2 or Remark 3.1.2.
- [Throughout] There are many corrupted formula symbols in the supplied text (for example '/sl⊗sh.l⟩ft', '/uni2210.disp', and '/divid⟩s.⊗lt0'); a clean typeset version should be checked carefully.
- [§2.6 and elsewhere] The notation for the grouplike binoid of units is used inconsistently as M^{xo}, M^×, and M×; it should be standardized.
- [Theorem 2.8.3] The formula in the statement has unbalanced parentheses around Tors and should be rewritten, e.g. as ∑_{r∈Adm(M)} |Tors((M(r))^×)|.
- [§5.2.2, Step 4] The chronological ordering of the stretching operations is described informally ('it is easily seen that we can always choose a chronology'); since this ordering is part of the coherence issue raised above, it should be either proved or replaced by an explicit construction.
Circularity Check
Core affine theorem is self-contained, but the scheme-level reduction from 2-colimits to ordinary colimits rests on a load-bearing self-citation to the second author's unpublished preprint plus an unproved stretching assertion.
-
self citation load bearing
[Section 4.3, Theorem 4.3.2 and Remark 4.3.3; applied in Section 4.3.5 and Sections 5.1-5.2]
"Theorem 4.3.2 ([18], Cor. 5.4) ... The proof of this is given in [18, Cor 5.4]. However, in this paper, we used the dual of the poset Bc(I : J) ... Remark 4.3.3. We can always manipulate our 2-functor F in such a way that the functors colim_{Bc(I:J)}Φ → Φ(I^c) become injective on objects. This follows from our discussion on stretching on page 18."
The scheme-level computations of Π1(RX), including the Stanley-Reisner and worked examples, all depend on replacing the 2-colimit of the Čech fundamental-groupoid functor by an ordinary colimit. That replacement is justified by Theorem 4.3.2, whose proof is not given here but is cited to [18], an unreviewed arXiv preprint by the second author. The paper then asserts in Remark 4.3.3 that the hypotheses B1/B2 can always be forced by 'stretching', but the stretching construction on p.18 is written only for a single functor F:G→H and is not shown to extend coherently to the full strict 2-functor over the Čech poset; Section 4.3.5 merely repeats that the discussion allows this.
full rationale
The central affine result, Theorem 2.6.1, is proved in the paper by induction and deformation-retract arguments using the grading lemma from [3]; I found no place where a conclusion is equal to its input by construction or where a fitted parameter is renamed as a prediction. The reduction of KSpec(M) to a disjoint union of KSpec((M(r))^{×∘}) is genuinely derived. The real-point simplification in Proposition 3.0.1 and Corollary 3.0.2 also follows from concrete point-set reasoning, though the last statement about coproduct and 2-coproduct is deferred to Corollary 4.3.5. The main circularity concern is confined to the passage from affine spectra to schemes: Theorem 4.3.1 and especially Theorem 4.3.2 are imported from the second author's prior work, and Theorem 4.3.2's proof is not contained in the paper. Remark 4.3.3, which is needed to make the theorem applicable, is an omitted proof: stretching is described for a single functor, and no argument shows it can be performed coherently for the entire Čech diagram without changing the relevant 2-colimit. This is a verification gap and a load-bearing self-citation, but it is not a case where the affine theorem itself reduces to its inputs. Because the core independent content remains substantial, the appropriate circularity score is 4 rather than 6 or higher.
Assumptions & free parameters
assumptions (4)
- domain assumption All binoids and monoids are commutative, finitely generated, and written multiplicatively.
- ad hoc to paper The convention 0^0=1 is used in the deformation retraction formula F(p,t)(m)=t^{δ(m)}p(m).
- domain assumption Integral separated binoids admit a grading δ:M^●→N that vanishes exactly on the units (Lemma 2.7.1).
- domain assumption The 2-colimit theorems of Pirashvili [17] and [18] are correct, including the equivalence of colimits and 2-colimits under conditions B1 and B2.
Cite this review
Pith. "Pith review of The fundamental group of binoid varieties." pith.science (2026). https://pith.science/paper/2S5TK2NG
@misc{pith2026190805538,
author = {Pith},
title = {Pith review of: The fundamental group of binoid varieties},
year = {2026},
howpublished = {\url{https://pith.science/paper/2S5TK2NG}},
note = {Machine review of arXiv:1908.05538}
}
abstract
Binoid schemes generalise monoid schemes, which in turn enable us to generalise toric varieties. Let $X$ be a binoid scheme. The aim of this paper is to calculate the topological fundamental group of $KX$, where $K=\mathbb{C}$ or $\mathbb{R}$. For the latter, we will give an explicit way of calculating the fundamental group using methods from 2-category theory. Indeed, we will calculate the more general fundamental groupoid. As a specialisation, we will also look at the Stanley Reisner Rings. Our method simplifies in this case, allowing us to describe the fundamental groupoid in terms of the simplicial complex directly.
Reference graph
Works this paper leans on
-
[18]
I. Pirashvili. On the equivalence of colimits and 2-colimits. arXiv:1905. 11288
work page 1905
-
[1]
D. Abramovich, Q. Chen, D. Gillam, Y. Huang, M. Olsson, M. Sat riano & S. Sun. Logarith- mic Geometry and Moduli. arXiv:1006.5870, (2010)
arXiv 2010
- [2]
-
[3]
B¨ ottger.Monoids with Absorbing Elements and their Associated Algeb ras
S. B¨ ottger.Monoids with Absorbing Elements and their Associated Algeb ras. PhD Thesis: Universit¨ at Osnabr¨ uck: (2015)
work page 2015
-
[4]
R. Brown. Topology. A geometric account of general topology, homotop y types and the fun- damental groupoid. Ellis Howard Limited. (1988)
work page 1988
-
[5]
H. Brenner. Topologische und algebraische Filter. Diplomarbeit Ruhr U niversit¨ at Bochum, (1994)
work page 1994
-
[6]
A. Connes & C. Consani. Schemes over F1 and Zeta functions. Compositio Math. 146. p.1383- 1415, (2010)
work page 2010
-
[7]
G. Cortinas, C. Haesemeyer, M. E. Walker and C. Weibel. Toric variaties, monoid schemes and cdh descent. Journal f¨ ur die reine und angewandte Mathematik. 698, p.1- 54. (2015)
work page 2015
Show all 20 references
-
[8]
A. Deitmar. Schemes over F1. In: Number fields and function field. Two parallel worlds. Ed . by G. van der Geer, B. Moonen, R. Schoof. Progr. in Math. 236. ( 2005)
2005
-
[9]
Gabriel and M
P. Gabriel and M. Zisman. Calculus of Fractions and Homotopy Theory, Ergebnisse der M ath- ematik und ihrer Grenzgebiete, Band 35. Springer-Verlag Ne w York, Inc., New York, 1967
1967
-
[10]
P. A. Grillet. Commutative semigroups. Kluwer Aacademic Publisher. (200 1)
-
[11]
Godement
R. Godement. Topologie alg´ ebrique et th´ eorie des faisceaux. Herman. Paris. (1958)
1958
-
[12]
K. Kato. Logarithmic structures of Fontaine-Illusie. Algebraic an alysis, geometry, and number theory (Baltimore, MD),p.191-224, (1989)
1989
-
[13]
K. Kato. Toric singularities. American Journal of Mathematics. 11; 6, p.1073-1099, (1994)
1994
-
[14]
Kurokawa, H
N. Kurokawa, H. Ochai & M. Wakayama. Absolute Derivations and Zeta Functions. Docu- menta Mathematica Extra Volume Kato, p.565-584, (2003)
2003
-
[15]
J.E. Pin. Tropical Semirings. Publications of the Newton Institute ( No. 11), p.50-69, (1998)
1998
-
[16]
Pirashvili
I. Pirashvili. On the spectrum of monoids and semilattices. J. Pure Appl. Al gebra. 217, p.901-906, (2013)
2013
-
[17]
Pirashvili
I. Pirashvili. The fundamental groupoid as a terminal costack. Georgian Ma th. J., 22(4), 563-571, (2014)
2014
-
[19]
R. Street. Fibrations in bicategories. Cahiers de Topologie et G´ eom´ etrie. Diff´ erentielle Cat´ egoriques, Vol.28, p.53-56, (1987)
1987
-
[20]
On the fundamental group of real toric varieties
V Uma. On the fundamental group of real toric varieties. Proc. Indi an Acad. Sci. (Math. Sci.) Vol. 114, No. 1, February 2004, pp. 15–31, (2004). 1 - Institut f ¨ur Mathematik, Universit ¨at Osnabr ¨uck, Albrechtstraße 28a, 49076 Osnabr¨uck, Germany. E-mail address : holger.br...
2004
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.