Pith. sign in

REVIEW 4 minor 14 references

Localization and Affine Schemes over $\mathbb{F}_1$

T0 review · 0 major / 4 minor · reviewed 2026-07-11 · grok-4.5

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

Pith's one-line read Localization of F1-algebras yields absolute affine schemes anti-equivalent to the algebras themselves, with global sections recovering the original algebra.

desk verdict Solid, expected package of localization + Spec + anti-equivalence for Connes–Consani F1-algebras; monoid-only primes are a deliberate design choice, not a hidden flaw. read the letter →

arxiv 2607.04843 v1 pith:EQDUO6UM submitted 2026-07-06 math.AG math.AC

Luqiao Xu This is my paper · ORCID
classification math.AGmath.AC MSC 14A2014A1513B3018F20
keywords F1-geometryGamma-setslocalizationabsoluteaffineschemesprimespectrumanti-equivalencestructuresheafbasechange
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

This paper builds commutative algebra and algebraic geometry over the field with one element by treating F1-algebras as monoid objects in Gamma-sets. The central construction is a localization of such an algebra at a multiplicatively closed subset of its underlying pointed monoid, which preserves the full Gamma-set structure. Using that localization, the author defines the prime spectrum of an F1-algebra as the Deitmar spectrum of the monoid together with a sheaf of F1-algebras whose stalks and basic open sections are the expected localizations. Global sections of the structure sheaf recover the original algebra, and the resulting Spec functor is an anti-equivalence between commutative F1-algebras and absolute affine schemes. The framework recovers both monoid schemes and classical schemes after base change, so it supplies a uniform geometric home for objects that previously lived in separate theories.

What carries the argument

Localization of an F1-algebra at a multiplicatively closed subset of its first level: S^{-1}A(n+) consists of fractions a/s with a in A(n+), s in S, with Gamma-set maps and multiplication defined componentwise so that the universal property holds and recovers classical localization on Eilenberg-MacLane algebras.

What would settle it

Exhibit a commutative F1-algebra A for which the global-sections isomorphism Gamma(Spec A, O_A) congruent to A fails, or for which Spec fails to be fully faithful on morphisms, while still using the paper's monoid-only primes and localization.

Watch

Extended reading notes

Core claim

For any commutative F1-algebra A there is a well-defined localization S^{-1}A at a multiplicatively closed subset of A(1+), and the pair Spec A = (|Spec A|, O_A) built from Deitmar's monoid spectrum and this localization satisfies Gamma(|Spec A|, O_A) congruent to A. The resulting contravariant functor Spec is an anti-equivalence between the category of commutative F1-algebras and the category of absolute affine schemes.

Load-bearing premise

Prime ideals are taken only from the multiplicative monoid at level one, with no additive-closure requirement; the whole topology and sheaf rest on that monoid-only choice.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 4 minor

Summary. The paper develops localization and affine scheme theory for commutative F1-algebras in the Connes–Consani framework of monoid objects in Γ-sets. It defines localization S^{-1}A of an F1-algebra A at a multiplicatively closed subset S of the underlying pointed monoid A(1+), proves the expected universal property (Theorem A / Theorem 3.5), and shows compatibility with Eilenberg–MacLane and spherical monoid algebras. It then constructs the prime spectrum Spec A as the Deitmar spectrum of A(1+) equipped with a sheaf of F1-algebras O_A obtained by localization, proves that stalks, basic-open sections, and global sections recover the expected localizations and A itself (Theorem B / Theorem 5.5), and establishes an anti-equivalence Spec : F1Alg^op ≃ AffSch_F1 with quasi-inverse given by global sections (Theorem C / Theorem 6.2). Section 7 records the induced base-change adjunction with classical affine schemes via −⊗_{F1} Z ⊣ H.

Significance. If the constructions are accepted, the paper supplies a clean, functorial foundation for absolute affine schemes that strictly generalizes both Deitmar’s monoid schemes and classical affine schemes (via the fully faithful embeddings S and H). The levelwise localization and sheaf theory recover the classical and monoidal cases by design, and the anti-equivalence places F1Alg in the same formal role that CRing occupies for ordinary schemes. The explicit comparison with spectral algebraic geometry and the base-change examples (absolute point, absolute affine space, Eilenberg–MacLane algebras) make the framework usable for further geometric work beyond toric varieties.

minor comments (4)
  1. In Definition 3.3 the equivalence relation is written with the product ta1 s2 = ta2 s1; a short parenthetical clarifying that the monoid action of A(1+) on higher levels is used would help readers less familiar with Γ-sets.
  2. The proof of surjectivity in Theorem 5.5(ii) invokes the “unique maximal ideal c of sections over D(f)”; a one-line reference to the corresponding fact for monoids (or a brief verification) would make the argument self-contained.
  3. Example 6.6 notes that Spec(HZ) has many more primes than Spec Z; a forward pointer to the base-change discussion in §7 would tighten the narrative.
  4. A few typographical inconsistencies appear (e.g., “Eilenberg-Maclane” vs. “Eilenberg–MacLane”, occasional missing spaces around math mode). A light copy-edit pass would remove them.

Circularity Check

1 steps flagged · score 2.0 of 10

Standard constructive AG setup: essential surjectivity of Spec is by definition of AffSch_F1; core localization/sheaf/fully-faithful content is independent and non-circular.

  1. self definitional [Definition 5.9 and Theorem 6.2 proof (p. 19)]
    "An absolute affine scheme is a locally F1Alg-ed space (X,OX) that is isomorphic to the prime spectrum SpecA of some commutative F1-algebra A. ... By Definition 5.9, every object of AffSchF1 is, by definition, a locally F1Alg-ed space isomorphic to SpecA for some commutative F1-algebra A. Hence Spec is essentially surjective and establishes an anti-equivalence."

    Essential surjectivity of Spec : F1Alg^op → AffSch_F1 is true solely because AffSch_F1 is defined to be the full subcategory of objects isomorphic to some Spec A. The anti-equivalence claim therefore obtains half of its content by the choice of target category rather than by an independent existence argument. (Fully-faithfulness and Γ(Spec A) ≅ A remain non-definitional and are proved separately.)

full rationale

The paper is a pure definitional/constructive development of localization for Connes–Consani F1-algebras, the structure sheaf on Deitmar’s monoid spectrum of A(1+), and the resulting anti-equivalence. Theorems A–B are proved by direct verification of universal properties, levelwise sheaf equalizers, and stalk/basic-open isomorphisms that recover the classical and monoid cases; none of these steps reduce to fitted parameters or to the target claim by construction. The only mild definitional circularity is the essential-surjectivity half of Theorem C, which follows immediately from the definition of AffSch_F1 as the essential image of Spec (standard in scheme theory and not load-bearing for the hard content). Self-citations ([Xu26a] for the ⊗F1Z ⊣ H adjunction, [Xu26b] thesis) appear only in the optional base-change section 7 and do not underwrite Theorems A–C. No uniqueness theorems, ansatzes, or empirical fits are smuggled. Score 2 reflects the single definitional step; the derivation is otherwise self-contained.

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

Pure categorical algebra: no empirical free parameters. Load-bearing inputs are the Connes–Consani identification of F1-algebras with commutative monoids in Γ-sets, Deitmar’s monoid spectrum and monoid localization, standard sheaf theory in a topos/functor category, and the paper’s own design choices (localize only at A(1+); primes without additive closure). Invented entities are the absolute affine scheme category and the localization/structure-sheaf constructions as defined here.

assumptions (6)
  • domain assumption Commutative F1-algebras are monoid objects in (ΓSet_*, ∧, F1) as in Connes–Consani [CC16, CC21].
    Entire framework (levels, smash product monoidal structure, functors H and S) is taken from that model; §2.1.
  • domain assumption Prime spectrum and monoid localization of pointed commutative monoids follow Deitmar [Dei05].
    |Spec A| := Spec_Deitmar(A(1+)); topology and monoid facts Prop. 2.10–2.12 are imported.
  • standard math Equalizers, filtered colimits, and sheafification in F1Alg may be computed levelwise in Set_*.
    Used throughout §4 for sheaves, stalks, and direct/inverse images.
  • ad hoc to paper Multiplicatively closed sets for localization are subsets of A(1+) only, not graded across levels.
    Remark 3.6 rejects graded localization because trivial localization would enlarge A and break Γ(Spec A) ≅ A.
  • ad hoc to paper Prime ideals need not be closed under the multi-valued addition of the Γ-set.
    Remark 5.11; required for nonempty spectra and nilradical behavior matching Deitmar.
  • ad hoc to paper Local morphisms of locally F1Alg-ed spaces are checked only on units at level 1.
    Definition 5.7–5.8; units live in A(1+).
invented entities (3)
  • Localization S^{-1}A of a commutative F1-algebra
    purpose: Invert elements of S ⊆ A(1+) while preserving Γ-set and monoid structure for structure sheaves.
    Definition 3.3; universal property Theorem 3.5; not present as stated in cited sources.
  • Structure sheaf O_A of F1-algebras on |Spec A|
    purpose: Equip Deitmar space with sheaf whose stalks are A_p and global sections recover A.
    Definition 5.1; Theorem 5.5.
  • Absolute affine schemes AffSch_F1
    purpose: Category of locally F1Alg-ed spaces isomorphic to Spec A, target of the anti-equivalence.
    Definitions 5.7–5.9; Theorem 6.2.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Localization and Affine Schemes over $\mathbb{F}_1$." pith.science (2026). https://pith.science/paper/EQDUO6UM

@misc{pith2026260704843,
  author       = {Pith},
  title        = {Pith review of: Localization and Affine Schemes over $\mathbbF_1$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/EQDUO6UM}},
  note         = {Machine review of arXiv:2607.04843}
}
abstract

We develop the basic notions of commutative algebra and algebraic geometry over the field with one element $\mathbb{F}_1$, working within the Connes-Consani framework, which models $\mathbb{F}_1$-algebras as monoid objects in the category of $\Gamma$-sets. In this setting, $\mathbb{F}_1$-algebras generalize commutative rings by encoding the algebraic structure functorially, using machinery originating in homotopy theory. Our main contribution is a theory of localization for $\mathbb{F}_1$-algebras and the construction of prime spectrum $\Spec A$ for a commutative $\mathbb{F}_1$-algebra $A$. We then prove that $\Gamma(X, \mathcal{O}_X) = A$ for any absolute affine scheme $X=\Spec A$ and establish an anti-equivalence between the category of commutative $\mathbb{F}_1$-algebras and the category of absolute affine schemes.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

14 extracted references · 2 canonical work pages

  1. [1]

    Absolute algebra and

    Connes, Alain and Consani, Caterina , journal=. Absolute algebra and. 2016 , doi=

    2016

  2. [2]

    Connes, Alain and Consani, Caterina , TITLE =. Adv. Math. , VOLUME =. 2021 , PAGES =

    2021

  3. [3]

    The geometry of blueprints:

    Lorscheid, Oliver , journal=. The geometry of blueprints:. 2012 , MR=

    2012

  4. [4]

    Schemes over

    Deitmar, Anton , booktitle=. Schemes over. 2005 , publisher=

    2005

  5. [5]

    Beitr\"age Algebra Geom

    Deitmar, Anton , TITLE =. Beitr\"age Algebra Geom. , FJOURNAL =. 2008 , NUMBER =

    2008

  6. [6]

    The local structure of algebraic

    Dundas, Bj. The local structure of algebraic. 2013 , publisher=

    2013

  7. [7]

    2003 , publisher=

    Applications of hyperstructure theory , author=. 2003 , publisher=

    2003

  8. [8]

    2018 , note=

    Spectral algebraic geometry , author=. 2018 , note=

    2018

Show all 14 references
  1. [9]

    Jahresber

    Lorscheid, Oliver , TITLE =. Jahresber. Dtsch. Math.-Ver. , FJOURNAL =. 2018 , NUMBER =. doi:10.1365/s13291-018-0177-x , URL =

    2018 doi

  2. [10]

    Colloque d'alg\`ebre sup\'erieure, Bruxelles , pages=

    Sur les analogues alg\'ebriques des groupes semi-simples complexes , author=. Colloque d'alg\`ebre sup\'erieure, Bruxelles , pages=. 1956 , publisher=

    1956

  3. [11]

    Projective Geometries and Simple Pointed Matroids as

    Jonathan Beardsley and So Nakamura , year=. Projective Geometries and Simple Pointed Matroids as. 2404.04730 , archivePrefix=

    arXiv

  4. [12]

    Hyper-Operations and Extension of Scalars from

    Luqiao Xu , year=. Hyper-Operations and Extension of Scalars from. 2604.24568 , archivePrefix=

    arXiv

  5. [13]

    Xu, Luqiao , title =

  6. [14]

    Jun, Jaiung , TITLE =. Adv. Math. , FJOURNAL =. 2018 , PAGES =. doi:10.1016/j.aim.2017.10.043 , URL =

    2018 doi

Pith tools

Reviewed July 11, 2026 · model on record in the stance chip above.