Pith. sign in

REVIEW 2 cited by

Projective Geometries and Simple Pointed Matroids as $\mathbb{F}_1$-modules

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2404.04730 v1 pith:BWC3OBV3 submitted 2024-04-06 math.CT math.CO

classification math.CTmath.CO
keywords embeddingcommutativefaithfulmodulesconstructionfullygeometriesmathbb
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

We describe a fully faithful embedding of projective geometries, given in terms of closure operators, into $\mathbb{F}_1$-modules, in the sense of Connes and Consani. This factors through a faithful functor out of simple pointed matroids. This follows from our construction of a fully faithful embedding of weakly unital, commutative hypermagmas into $\fun$-modules. This embedding is of independent interest as it generalizes the classical Eilenberg-MacLane embedding for commutative monoids and recovers Segal's nerve construction for commutative partial monoids. For this reason, we spend some time elaborating its structure.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

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

  1. Matroidal representations of low rank

    math.CO 2025-02 accept novelty 7.0 of 10

    The paper completely classifies rank-3 G-invariant matroids on a finite group G, equivalently tropical subrepresentations of the Boolean regular representation, in terms of equivalence relations on coset spaces.

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

    math.AG 2026-07 accept novelty 6.0 of 10

    Localization of Connes–Consani F1-algebras yields Spec A with Γ(Spec A, O_A) ≅ A and an anti-equivalence with absolute affine schemes.

Pith tools