Pith. sign in

REVIEW 3 major objections 4 minor 1 cited by

Minimal generating sets of groups of Kim-Manturov

T0 review · 3 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read The Kim–Manturov groups Γ^4_n and cΓ^4_n have minimal generating sets of exactly N_n = binom(n,3)-1 elements, and their abelianizations are respectively (Z/2Z)^{N_n} and Z^{N_n}, establishing non-triviality and the infiniteness of Γ^4_5.

desk verdict Solid first structural results on Kim-Manturov groups with a fixable typo in the Theorem 2.3 lower-bound proof and under-documented computations in Section 5; worth refereeing. read the letter →

arxiv 2506.05778 v1 pith:TGLMIDT2 submitted 2025-06-06 math.GT

Takuya Sakasai , Yuuki Tadokoro , Kokoro Tanaka This is my paper
classification math.GT MSC 20J0620C3020F34
keywords Kim-ManturovgroupsminimalgeneratingsetabelianizationpentagonrelationtriangulationProperty(T)Reidemeister-SchreierCoxeter
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 studies a series of groups $Γ^{4}$_n defined by Kim and Manturov from triangulations of surfaces and configurations of points, lines or circles. The main result is that $Γ^{4}$_n is generated by exactly N_n = binom(n,3)-1 elements, and that this number is minimal; its abelianization H_1($Γ^{4}$_n) is isomorphic to (Z/2Z)^{N_n}. For the companion signed group $cΓ^{4}$_n, the same minimal generator count holds and H_1($cΓ^{4}$_n) ≅ $Z^{{N_n}}$. A consequence is that $Γ^{4}$_n is non-trivial for every n≥4, and in particular $Γ^{4}$_5 is infinite, non-commutative, and does not have Kazhdan's Property (T). A new family ∆^4_n is introduced as a simpler version expected to help understand $Γ^{4}$_n.

What carries the argument

The argument's engine is a pair of homomorphisms to free abelian groups on 3-element subsets: Φ_3: $cΓ^{4}$_n → Z[n]^3 sending (ijkl) to {i,j,k} - {i,j,l} + {i,k,l} - {j,k,l}, and its mod-2 avatar Φ^(2)_3 ⊕ Φ^(2)_2 for $Γ^{4}$_n. These maps factor through the presentations and give lower bounds on the rank of the abelianization; combined with the explicit generating set Λ they yield the exact minimal generator number. For the hand proof of infiniteness, the Reidemeister–Schreier method applied to the presentation of $Γ^{4}$_5 produces a presentation for the kernel of a sign homomorphism ν, whose abelianization is computed to be $Z^{2}$ ⊕ (Z/2Z)^6, containing a Z-summand.

What would settle it

Perform the omitted Smith normal form reduction on the Reidemeister–Schreier presentation matrix for Ker ν ⊂ $Γ^{4}$_5; if the resulting abelianization differs from $Z^{2}$ ⊕ (Z/2Z)^6, the hand proof of infiniteness collapses, and the $Γ^{4}$_5 result would rest solely on the GAP computation.

Watch

Extended reading notes

Core claim

The central discovery is that the minimal number of generators of $Γ^{4}$_n equals N_n = binom(n,3)-1, achieved by the explicit set Λ consisting of (123k) for 4≤k≤n, (1i2k) for 3≤i<k≤n, and (1ijk) for 2≤i<k<j≤n. The lower bound comes from the abelianization: H_1($Γ^{4}$_n) is an elementary abelian 2-group of rank N_n, so any generating set needs at least N_n elements. For the signed counterpart $cΓ^{4}$_n, the same set Λ generates minimally, and H_1($cΓ^{4}$_n) ≅ $Z^{{N_n}}$. The paper further shows that $Γ^{4}$_5 is infinite and non-commutative, with two proofs: a GAP computation of the abelianization of its commutator subgroup, and a hand proof via Reidemeister–Schreier that a certain index-2 subgroup has a Z-summand in its abelianization.

Load-bearing premise

The hand proof that $Γ^{4}$_5 is infinite relies on a matrix computation (a Smith normal form of a 30-relator presentation) whose details are omitted and whose stated output is H_1(Ker ν) ≅ $Z^{2}$ ⊕ (Z/2Z)^6; if that computation is wrong, this particular proof fails, although the GAP-based proof remains independent.

Editorial extensions

If this is right

  • Γ^4_n is non-trivial for all n≥4, since its abelianization is a non-zero 2-torsion group of rank N_n.
  • The minimal generating set Λ has cardinality growing like n^3/6, so the groups' generator complexity is cubic in the number of points.
  • cΓ^4_n behaves like a Coxeter-type 'unfolding' of Γ^4_n: same minimal generator count, but free abelian abelianization Z^{N_n} instead of (Z/2Z)^{N_n}.
  • Γ^4_5 is infinite, non-commutative, and lacks Kazhdan's Property (T).
  • The new groups ∆^4_n have minimal generating number binom(n-1,3) and abelianization (Z/2Z)^{binom(n-1,3)}, and ∆^4_5 is infinite.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The S_n-equivariant description of H_1(cΓ^4_n;C) as V_{[n-1,1]} ⊕ V_{[n-2,2]} ⊕ V_{[n-3,3]} suggests that the lower central series or higher homology of these groups may also decompose into symmetric-group representations tied to Young diagrams with at most three rows.
  • Because the generating set Λ is explicit and ordered, it could serve as a starting point for a normal form or rewriting system for Γ^4_n, potentially connecting to Coxeter-theoretic and Artin-group-style algorithms for these groups.
  • The authors note that ∆^4_6 → Γ^4_6 is not injective (checked by GAP); further comparison of ∆^4_n and Γ^4_n might characterize how the extra dihedral and signed relations change the group structure for all n.
  • If the omitted Smith normal form computation were checked and confirmed, the hand proof would give a gap-free demonstration of infiniteness of Γ^4_5, independent of computer algebra.
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

3 major / 4 minor

Summary. The paper studies the Kim-Manturov groups Γ^4_n and their companion groups cΓ^4_n. The main results are: (1) an explicit generating set Λ of size N_n = binomial(n,3)-1 for both Γ^4_n and cΓ^4_n; (2) the abelianizations H_1(cΓ^4_n) ≅ Z^{N_n} and H_1(Γ^4_n) ≅ (Z/2Z)^{N_n}; (3) a representation-theoretic interpretation of the complex abelianization of cΓ^4_n in terms of S_n-irreducible modules; (4) two proofs, one by GAP and one by hand, that Γ^4_5 is an infinite non-commutative group without Kazhdan's Property (T); and (5) a series of related groups ∆^4_n with analogous minimal generating sets and abelianizations. The arguments are largely elementary, based on explicit homomorphisms to abelian groups and on Reidemeister-Schreier methods.

Significance. If correct, the paper provides the first structural results for this family of groups, namely a minimal generating set and the full abelianization, thereby establishing non-triviality for all n and infiniteness for n = 5. The representation-theoretic formulation in Theorem 4.3 is a useful conceptual contribution, and the introduction of ∆^4_n offers a simplified model for future work. The paper is self-contained in its main derivations and gives concrete, parameter-free statements. However, the reliability of the results is currently weakened by one incomplete proof and by two computational claims that are not fully documented.

major comments (3)
  1. [Theorem 2.3] The triangularization proof of the lower bound in Theorem 2.3 does not cover the triples {1,j,n} for 2 ≤ j ≤ n−2. The three cases listed are {i,j,k} with i<j<k≤n−1, {i,j,n} with 1<i<j≤n−2, and {i,n−1,n} with 1≤i≤n−3; together they cover only N_n − (n−3) triples. The displayed formula for case (2) works verbatim for i=1 because the terms {1,n−1,j} and {1,j,n−1} cancel, so the fix is to change the condition to '1≤i<j' or to refer explicitly to the Section 4 proof at this point. As printed, the proof of H_1(cΓ^4_n) ≅ Z^{N_n} in Corollary 2.4 is incomplete.
  2. [Section 5.1] The GAP computation is reported only as a result: H_1([Γ^4_5,Γ^4_5]) ≅ Z^{145} ⊕ (Z/2Z)^{18}. The exact presentation entered into GAP and the commands used are not given, so this computational evidence cannot be independently verified. Please include the GAP input, output, and version information, or provide a reproducible script in an ancillary file.
  3. [Section 5.2] The hand proof of Theorem 5.2 relies on the assertion that the Reidemeister-Schreier presentation of Ker ν has a presentation matrix whose Smith normal form gives H_1(Ker ν) ≅ Z^2 ⊕ (Z/2Z)^6, but the matrix and its reduction are omitted with the comment 'we omit the details since it is a usual matrix computation'. Since this abelianization is the crucial step showing that Γ^4_5 is infinite, the computation should be included or summarized in an appendix with enough detail to be checked.
minor comments (4)
  1. [Theorem 3.1] In item (G1), the condition '4≤i≤n' should read '4≤k≤n'.
  2. [Remark 6.3] The group c∆^4_n is mentioned but never defined; either define it or remove the remark.
  3. [Section 5.2] In the displayed list of twelve pentagon relations, some factors are underlined; if this formatting is intentional, its meaning should be explained in the text.
  4. [Abstract] The abstract refers to 'a minimal generating set of the group' without specifying which group; the paper treats Γ^4_n, cΓ^4_n, and ∆^4_n.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the minimal-generating and abelianization theorems are derived from the explicit presentations by independent group-theoretic and homological arguments.

full rationale

I found no circular step. The paper starts from the explicit Kim-Manturov presentations and derives its results by constructing explicit generating sets, explicit homomorphisms to free abelian groups, triangularization arguments, and standard facts (acyclicity of the simplex chain complex, Reidemeister-Schreier rewriting, Smith normal form, and character theory). There are no fitted parameters and no prediction that reduces to an input by construction. The only internal cross-reference is Remark 3.4, which uses the already-established rank statement of Theorem 2.3 together with the mod-2 computation from the proof of Theorem 3.2 to conclude non-direct-summand status; it does not assume the conclusion being proved. The citations to Kim-Manturov supply the defining presentations and background, not the new results, and the current authors do not rely on their own prior work as load-bearing evidence. I do note two non-circular gaps: in the proof of Theorem 2.3, the displayed triangular cases omit triples of the form {1,j,n} with 2≤j≤n−2, although the formula in case (2) appears to work for i=1, making this likely a typo rather than a substantive flaw; and Section 5.2 omits the Reidemeister-Schreier and Smith normal form computation, saying only that it is a usual matrix computation. These are completeness or correctness concerns, not circularity. Since the central claims are self-contained and no step reduces to its own input, the circularity score is 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper's central claims rest on the given presentations, standard algebraic tools (chain complexes, character theory, Reidemeister-Schreier), and two unverified computational assertions (GAP and an omitted Smith normal form). No free parameters or invented physical entities are involved.

assumptions (5)
  • domain assumption The presentation defining Γ^4_n from Kim and Manturov is taken as given.
    The paper does not re-derive the presentation; it relies on [2] and [4] for its validity as a group presentation.
  • standard math The simplicial chain complex of the (n-1)-simplex with Z/2Z coefficients is acyclic.
    Used in the proof of Theorem 3.2 to compute the dimension of Im Φ_3^(2).
  • standard math The irreducible decompositions of S_n representations on C[n]^2 and C[n]^3 (Lemma 4.1) are correct.
    Proven in the paper via characters; the proof is included but relies on the Frobenius character formula.
  • domain assumption The Reidemeister-Schreier rewriting process and Smith normal form computation in Section 5.2 are correctly applied, with details omitted.
    The paper states the result of the computation but does not show the matrix or reduction steps.
  • ad hoc to paper The GAP computation in Section 5.1 is correct and the entered presentation is indeed a presentation of Γ^4_5.
    The GAP code and exact input presentation are not provided, so the result is an unverifiable computational claim.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Minimal generating sets of groups of Kim-Manturov." pith.science (2026). https://pith.science/paper/TGLMIDT2

@misc{pith2026250605778,
  author       = {Pith},
  title        = {Pith review of: Minimal generating sets of groups of Kim-Manturov},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/TGLMIDT2}},
  note         = {Machine review of arXiv:2506.05778}
}
read the original abstract

We consider a series of groups defined by Kim and Manturov. These groups have their background in triangulations of a surface and configurations of points, lines or circles on the surface. They are expected to have relationships to many geometric objects. In this paper, we give a minimal generating set of the group and determine the abelianization. We also introduce some related groups which might be helpful to understand the structure of the original groups.

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

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

  1. On the structure of groups defined by Kim and Manturov

    math.GR 2025-06 conditional novelty 6.0 of 10

    For n≥6 the Kim-Manturov group Γ^4_n is finite, 2-step nilpotent, and has order 2^{binom(n,3)}.

Reference graph

Works this paper leans on

5 extracted references · 5 canonical work pages · cited by 1 Pith paper

  1. [1]

    Fulton, J

    W. Fulton, J. Harris,Representation Theory, Graduate Texts in Mathematics 129, Springer-Verlag, 1991

    work page 1991

  2. [2]

    S. Kim, V . O. Manturov,Artin’s braids, braids for three space, and groupsΓ 4 n andG k n, J. Knot Theory Ramifications 28 (2019), no. 10, 1950063, 20 pp

    work page 2019

  3. [3]

    Magnus, A

    W. Magnus, A. Karrass, and D. Solitar,Combinatorial group theory: Presentations of groups in terms of generators and relations, Interscience Publishers, New York, 1966

    work page 1966

  4. [4]

    V . O. Manturov, D. Fedoseev, S. Kim, I. Nikonov,Invariants and pictures—low-dimensional topology and combinatorial group theory, Series on Knots and Everything, 66. World Scientific Publishing Co., 2020

    work page 2020

  5. [5]

    R. C. Penner,Decorated Teichm ¨uller theory, QGM Master Class Series. European Mathematical Society, 2012. GRADUATESCHOOL OFMATHEMATICALSCIENCES, THEUNIVERSITY OFTOKYO, 3-8-1 KOMABA, MEGURO- KU, TOKYO, 153-8914, JAPAN Email address:sakasai@ms.u-tokyo.ac.jp FACULTY OFSCIENCEDIVISIONII, DEPARTMENT OFMATHEMATICS, TOKYOUNIVERSITY OFSCIENCE, 1-3 KAGURAZAKA, SH...

    work page 2012

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.