pith. sign in

arxiv: 2606.30434 · v1 · pith:QSHTFI43new · submitted 2026-06-29 · 🧮 math.GR · math.RA

On homological finiteness properties and free inverse monoids

Carl-Fredrik Nyberg-Brodda This is my paper

Pith reviewed 2026-06-30 03:19 UTC · model grok-4.3

classification 🧮 math.GR math.RA
keywords free inverse monoidsFIM(1)homological finitenessFP2finitely presented monoidssubmonoidsidempotent latticesmonoid homomorphisms
0
0 comments X

The pith

Finitely generated submonoids of FIM(1) are of type FP₂ if and only if they are finitely presented.

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

The paper develops a sufficient condition for monoids admitting homomorphisms to the monogenic free inverse monoid FIM(1) to fail type FP₂, based on their actions on a lattice of idempotents. This condition recovers the result that free inverse monoids themselves are not of type FP₂. The same technique is applied to prove that any finitely generated submonoid of FIM(1) has type FP₂ precisely when it is finitely presented. This equivalence directly answers an open question on the link between these finiteness properties for this class of monoids.

Core claim

A sufficient condition based on actions on a lattice of idempotents shows that monoids admitting homomorphisms to FIM(1) are not of type FP₂ in many cases. This recovers the known fact that free inverse monoids are not FP₂. The technique further establishes that for any finitely generated submonoid of FIM(1), it is of type FP₂ if and only if it is finitely presented.

What carries the argument

Sufficient condition for failure of type FP₂ based on actions on a lattice of idempotents, applicable to monoids with homomorphisms to FIM(1).

If this is right

  • Free inverse monoids are not of type FP₂.
  • Finitely generated submonoids of FIM(1) have type FP₂ precisely when they admit a finite presentation.
  • The condition detects non-FP₂ status for any monoid that maps homomorphically to FIM(1).

Where Pith is reading between the lines

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

  • The lattice-action method may extend to classify FP₂ status for submonoids of free inverse monoids on more than one generator.
  • Similar idempotent-based criteria could apply to higher finiteness properties such as FP₃ in related classes of monoids.
  • Recognition of which finitely generated submonoids of FIM(1) are finitely presented might reduce to checking the FP₂ property.

Load-bearing premise

The sufficient condition using actions on the lattice of idempotents accurately identifies when a monoid with a homomorphism to FIM(1) fails to be of type FP₂.

What would settle it

A counterexample would be a finitely generated submonoid of FIM(1) that is finitely presented yet not of type FP₂, or finitely generated, of type FP₂, but not finitely presented.

Figures

Figures reproduced from arXiv: 2606.30434 by Carl-Fredrik Nyberg-Brodda.

Figure 1
Figure 1. Figure 1: The conjugation action of the generators of F1 = ⟨x, x−1 ⟩ on the idempotents of F1, modelled as an action on N 2 = Q(0) . We can easily describe this in coordinates. If s = (I, t) ∈ F1 is an element, and I = [−a, b] with a, b ∈ N, then its aforementioned action on points (i, j) ∈ Q(0) becomes (i, j) · s = (max(i, a) + t, max(j, b) − t) while the action on horizontal resp. vertical edges becomes hi,j · s =… view at source ↗
read the original abstract

We construct a simple and useful sufficient condition, based on actions on a lattice of idempotents, for monoids admitting homomorphisms to the monogenic free inverse monoid $\mathrm{FIM}(1)$ to not be of type $\mathrm{FP}_2$. This recovers a result of Gray and Steinberg that free inverse monoids are not of type $\mathrm{FP}_2$. The same technique is then used to show that a finitely generated submonoid of $\mathrm{FIM}(1)$ is of type $\mathrm{FP}_2$ if and only if it is finitely presented, answering a question of Cho & Ru\v{s}kuc.

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

0 major / 2 minor

Summary. The paper constructs a sufficient condition, based on actions on a lattice of idempotents, for monoids admitting a homomorphism to the monogenic free inverse monoid FIM(1) to fail to be of type FP₂. This recovers the known result that FIM(1) itself is not FP₂. The same criterion is applied, via contrapositive, to prove that every finitely generated submonoid of FIM(1) is of type FP₂ if and only if it is finitely presented, thereby answering a question of Cho and Ruškuc. The converse direction (finitely presented implies FP₂) is treated as standard.

Significance. If the sufficient condition is correctly established, the work supplies a simple, reusable criterion for detecting failure of FP₂ in a broad class of monoids and yields a clean if-and-only-if characterization for submonoids of FIM(1). The result directly resolves an open question in the literature on homological finiteness properties of inverse monoids.

minor comments (2)
  1. The abstract and introduction should explicitly state the precise statement of the sufficient condition (including the required properties of the lattice action) rather than only describing its consequences.
  2. Notation for the lattice of idempotents and the associated monoid action should be introduced once and used consistently; a short preliminary section collecting these definitions would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, significance assessment, and recommendation to accept the manuscript. No major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper introduces an independent sufficient condition (actions on the lattice of idempotents) for failure of FP₂ in monoids admitting a homomorphism to FIM(1). This condition is applied to recover the external result of Gray & Steinberg on FIM(1) itself and, by contrapositive, to establish the 'only if' direction of the main theorem for submonoids. The 'if' direction is stated to be standard. No self-citations, fitted parameters renamed as predictions, or self-definitional steps are described in the abstract or skeptic summary. The derivation chain therefore remains non-circular and self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract provides no information on free parameters, axioms, or invented entities.

pith-pipeline@v0.9.1-grok · 5633 in / 1046 out tokens · 59000 ms · 2026-06-30T03:19:28.949728+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

10 extracted references · 9 canonical work pages

  1. [1]

    Bestvina, Mladen and Brady, Noel , TITLE =. Invent. Math. , FJOURNAL =. 1997 , NUMBER =. doi:10.1007/s002220050168 , URL =

    work page doi:10.1007/s002220050168 1997

  2. [2]

    On finite presentability of subsemigroups of the monogenic free inverse semigroup , JOURNAL =

    Cho, Jung Won and Ru. On finite presentability of subsemigroups of the monogenic free inverse semigroup , JOURNAL =. 2025 , NUMBER =. doi:10.1017/S0017089524000314 , URL =

    work page doi:10.1017/s0017089524000314 2025

  3. [3]

    , TITLE =

    Cohen, Daniel E. , TITLE =. Bull. London Math. Soc. , FJOURNAL =. 1992 , NUMBER =. doi:10.1112/blms/24.4.340 , URL =

    work page doi:10.1112/blms/24.4.340 1992

  4. [4]

    and Steinberg, Benjamin , TITLE =

    Gray, Robert D. and Steinberg, Benjamin , TITLE =. C. R. Math. Acad. Sci. Paris , FJOURNAL =. 2021 , PAGES =. doi:10.5802/crmath.247 , URL =

    work page doi:10.5802/crmath.247 2021

  5. [5]

    Internat

    Kobayashi, Yuji , TITLE =. Internat. J. Algebra Comput. , FJOURNAL =. 2007 , NUMBER =. doi:10.1142/S0218196707003743 , URL =

    work page doi:10.1142/s0218196707003743 2007

  6. [6]

    , TITLE =

    Lawson, Mark V. , TITLE =. 1998 , PAGES =. doi:10.1142/9789812816689 , URL =

    work page doi:10.1142/9789812816689 1998

  7. [7]

    Internat

    Nyberg-Brodda, Carl-Fredrik , TITLE =. Internat. J. Algebra Comput. , FJOURNAL =. 2025 , NUMBER =. doi:10.1142/S0218196725500213 , URL =

    work page doi:10.1142/s0218196725500213 2025

  8. [8]

    , TITLE =

    Pride, Stephen J. , TITLE =. Comm. Algebra , FJOURNAL =. 2006 , NUMBER =. doi:10.1080/00927870600796110 , URL =

    work page doi:10.1080/00927870600796110 2006

  9. [9]

    , TITLE =

    Rotman, Joseph J. , TITLE =. 1979 , PAGES =

    1979

  10. [10]

    Schein, B. M. , TITLE =. Acta Math. Acad. Sci. Hungar. , FJOURNAL =. 1975 , PAGES =. doi:10.1007/BF01895947 , URL =

    work page doi:10.1007/bf01895947 1975