Generalizations of the groups $G_{n}^{k}$: graphs, moduli spaces, algebraic geometry, spherical braids

Vassily Olegovich Manturov

REVIEW 4 major objections 5 minor 7 references

Generalizations of the groups $G_{n}^{k}$: graphs, moduli spaces, algebraic geometry, spherical braids

T0 review · 4 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read Stratified moduli spaces map their fundamental groups to hypergraph groups.

desk verdict The hypergraph generalization is a natural formal step, but the main theorems are not proven and the spherical stratification is not invariant under PGL(2,C). read the letter →

arxiv 2608.07976 v1 pith:6B56O7DG submitted 2026-08-08 math.GT

Vassily Olegovich Manturov This is my paper · ORCID

classification math.GT MSC 20F3655R8020F65

keywords hypergraphgroupsG_n^ktheorysphericalbraidsmodulispacesstratificationmonodromyfreeproductsofZ_2MN-indices

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 proposes a general mechanism for compressing the geometry of a stratified moduli space into a finitely presented group. The mechanism assigns an involutive generator to each codimension-one stratum and imposes a relation of the form $(g_{v_1}\cdots g_{v_m})^2=1$ for each codimension-two stratum; the claim is that a loop in the space then gives a word in these generators that is unchanged under homotopy, so the fundamental group maps to the hypergraph group $G(\Gamma)$. If this works, every system of $n$ particles whose "special position" events have codimension one obtains invariants in such a group, and those invariants are easy to compare because $G(\Gamma)$ maps to free products of copies of $\mathbb{Z}_2$ with solvable word and conjugacy problems. The paper applies the scheme to spherical braids, where collinearity of three points on the sphere is the codimension-one event, and states that the resulting monodromy homomorphism from $\pi_1(\mathcal{M}_n(S^2),*)$ to $G(\Gamma^{\mathrm{sph}}_n)$ is a well-defined spherical-braid invariant. The main thesis, read sympathetically, is that stratified topology can be faithfully encoded by hypergraph groups and that this encoding is useful for braid invariants and potentially for moduli spaces coming from algebraic geometry.

What carries the argument

The load-bearing object is the presentation $G(\Gamma)=\langle g_v \mid g_v^2=1,\ (g_{v_1}\cdots g_{v_m})^2=1 \text{ for each hyperedge and each ordering of its vertices}\rangle$. The mechanism that connects this algebra to topology is the monodromy-to-word map: a loop is made transverse to the stratification, each crossing of a codimension-one stratum records the corresponding generator, and every homotopy is claimed to reduce either to a double crossing of the same stratum (which the relation $g_v^2=1$ kills) or to a loop around a codimension-two stratum (which produces the hyperedge relation). The machinery that makes the invariants practically usable is the system of MN-indices, a linear-algebraic recipe assigning each occurrence of a generator a vector index in a $\mathbb{Z}_2$-vector space, producing well-defined homomorphisms from $G(\Gamma)$ to free products of copies of $\mathbb{Z}_2$.

What would settle it

A reader can settle Theorem 5.1 by computing the codimension of the "all triples through $i$ collinear" locus in $\mathcal{M}_n(S^2)$: for $n \ge 5$, this locus has codimension $n-2$, not $2$, so the stated hyperedge relation cannot come from a codimension-two loop; alternatively, writing out the local monodromy around the stratum where two collinearity conditions meet would settle Step 4 directly.

Watch

Extended reading notes

Core claim

The central discovery is a uniform way to turn a stratified moduli space into a group: vertices of a hypergraph $\Gamma$ label codimension-one strata, hyperedges label codimension-two strata, and the group $G(\Gamma)$ is presented by involutive generators $g_v$ with relations $(g_{v_1}\cdots g_{v_m})^2=1$ for every hyperedge. The paper's main theorem states that under the condition that each vertex occurs exactly twice and from opposite sides in a loop around the corresponding codimension-two stratum, there is a natural homomorphism $\Phi:\pi_1(M,*)\to G(\Gamma)$, obtained by writing down the sequence of stratum crossings of a transverse loop. In the spherical case, the stratification of $\mathcal{M}_n(S^2)$ by projective collinearity defines the hypergraph $\Gamma^{\mathrm{sph}}_n$, whose vertices are triples $\{i,j,k\}$ and whose new hyperedges are, for each $i$, all triples containing $i$; Theorem 5.1 asserts that $\Phi:\pi_1(\mathcal{M}_n(S^2),*)\to G(\Gamma^{\mathrm{sph}}_n)$ is a well-defined invariant of spherical braids. The paper also establishes the algebraic payoff: the groups admit explicit homomorphisms to free products of copies of $\mathbb{Z}_2$ via the MN-index construction, so the invariants land in groups with efficiently solvable word and conjugacy problems.

Load-bearing premise

The whole construction rests on the unstated geometric claim that a loop around a codimension-two stratum produces exactly the hyperedge relation, together with the spherical assumption that the simultaneous collinearity of all triples through one point is a codimension-two stratum of the moduli space.

Editorial extensions

If this is right

Spherical pure braids acquire an invariant in $G(\Gamma^{\mathrm{sph}}_n)$, and composing with the MN-index maps puts the invariant in a free product of copies of $\mathbb{Z}_2$, where word and conjugacy problems are easy.
The same stratification principle gives a new, finer stratification of the plane configuration space and a homomorphism from the ordinary braid group to $G^{6,3}_n$.
Any stratified moduli space satisfying the "twice from opposite sides" condition comes with a homomorphism from its fundamental group to $G(\Gamma)$, so the construction is a general template rather than a one-off example.
The author suggests the template may extend to Grassmannians and to moduli spaces in algebraic geometry, with elliptic curves named as the next case to test.

Reading between the lines

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

My inference: the spherical "new hyperedge" for a fixed $i$ asks that all triples through $i$ be collinear, but in $\mathcal{M}_n(S^2)$ that locus has codimension much larger than two for $n \ge 5$; if so, Theorem 5.1 needs either a different hypergraph or an additional argument.
My inference: the paper's Step 4 appeals to a "more detailed analysis of the local monodromy" that is not written out; the theorem's generality stands or falls on whether that analysis yields exactly $(g_{v_1}\cdots g_{v_m})^2=1$ for every codimension-two stratum.
My inference: because the word problem for arbitrary hypergraph groups $G(\Gamma)$ is left open, the practical "easy comparison" advantage is currently guaranteed only for the images under the MN-index maps, not for the groups themselves.
My inference: a natural testable extension is to check the "twice and from opposite sides" condition for elliptic-curve addition relations such as $2a+b=c$; the paper frames this as an open problem, and a concrete answer would show whether the construction reaches algebraic geometry.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

Colleague,

The paper takes the G_n^k framework and extends it to arbitrary hypergraphs, then applies it to spherical braids via a stratification of the moduli space M_n(S^2). The formal definition of G(Γ) with generators for vertices and relations (g_{v1}...g_{vk})^2=1 for each hyperedge is natural, and the MN-index style map to free products of Z2 is a useful feature. The writing is clear and the open problems are honest. As far as I can tell, the arbitrary hypergraph generalization is genuinely new.

The problems are in the theorems, not the definitions. Theorem 3.1, the general monodromy homomorphism, is not proven. Step 4 says "a more detailed analysis of the local monodromy shows" that a loop around a codimension-2 stratum gives the relation (g_{v1}...g_{vm})^2=1. That analysis is not given, and it doesn't follow from the stated assumption that each vertex occurs twice. For a double-occurrence word, the order matters; without a specific monodromy computation, the relation is not justified.

The spherical case has a more serious issue. The stratification in Section 5 is defined using a chart S^2\{∞} ≅ R^2 and declares collinearity of triples in that chart. But M_n(S^2) is the quotient by PGL(2,C), and collinearity in a chart is not Möbius-invariant. A Möbius transformation sends a line to a circle, so the property "exactly one triple is collinear" does not descend to the quotient. The paper's claim that projective symmetries are accounted for is false. Furthermore, the new hyperedge for a fixed i (all triples containing i) corresponds to all n points lying on a line through i, which has codimension n-2, not 2, so it cannot play the role of a codimension-2 stratum. Thus Theorem 5.1 is not well-defined.

What the paper does well: the hypergraph framework is a reasonable abstraction, and the comparison with G_n^3 is instructive. But the central advertised results are unsupported. I would not cite this as it stands. A serious referee would likely return it with major revisions or reject. My recommendation: desk reject with an invitation to resubmit once the local monodromy lemma is actually proven and the spherical stratification is replaced by a PGL(2,C)-invariant one.

Best.

Referee Report

4 major / 5 minor

Summary. The paper proposes a generalization of the author's earlier G_n^k groups. For an arbitrary hypergraph Γ it defines a group G(Γ) with generators g_v and relations g_v^2=1 and (g_{v1}...g_{vk})^2=1 for every permutation of every hyperedge. Theorem 2.1 asserts a map from G(Γ) to a free product of copies of Z_2. The central general claim, Theorem 3.1, states that any moduli space stratified by codimension-one strata indexed by vertices and codimension-two strata indexed by hyperedges admits a natural homomorphism from its fundamental group to G(Γ), provided each vertex occurs exactly twice and from opposite sides around each codimension-two stratum. The paper then specializes to spherical braids: it considers M_n(S^2)=Conf_n(S^2)/PGL(2,C), stratifies it by collinearity of exactly one triple in an affine chart, defines a hypergraph Γ^sph_n that adds a global hyperedge for each fixed index, and asserts in Theorem 5.1 a homomorphism π_1(M_n(S^2),*) → G(Γ^sph_n). A list of open problems concerning algebraic geometry and braid invariants closes the paper.

Significance. The algebraic framework G(Γ) is clean, and the promised maps to free products of Z_2 would yield quickly computable invariants if the main theorems were valid. The paper also identifies a natural geometric question about which stratifications satisfy the 'exactly twice and from opposite sides' condition. However, the significance is currently prospective: Theorem 3.1 rests on an unproved local-monodromy assertion, and Theorem 5.1 is built on a stratification of M_n(S^2) that is not invariant under the PGL(2,C) action used to define the quotient. These are load-bearing defects, not presentation issues. The algebraic part alone does not establish the topological or braid-theoretic conclusions advertised in the title and abstract.

major comments (4)

[§3, Theorem 3.1, Step 4] The proof of the central theorem contains the sentence 'A more detailed analysis of the local monodromy shows that such a loop gives a relation of the form (g_{v1}...g_{vm})^2=1,' but no such analysis is provided. This is not a minor omission: for an arbitrary word in which each vertex occurs twice, the relations g_v^2=1 do not imply (g_{v1}...g_{vm})^2=1; the order of intersections around the codimension-two stratum is essential, and the paper does not prove that the order is the one that produces exactly this relation. The assumption that each vertex occurs 'exactly twice and from opposite sides' is also never formalized or verified for the spherical example. Without this step, Theorem 3.1 is an unproved assertion rather than a theorem.
[§5 and §5.2, Theorem 5.1] The stratification of M_n(S^2) used to define Φ is not well-defined. Collinearity in the chart S^2\{∞}≅R^2 is not invariant under PGL(2,C): for instance, the Möbius transformation z ↦ (z-i)/(z+i) sends the real line to the unit circle, so a configuration with one collinear triple can be mapped to a configuration with no collinear triple in this affine chart. Hence the subset 'exactly one triple is collinear' does not descend to Conf_n(S^2)/PGL(2,C), and the intersection word assigned to a loop in M_n(S^2) is not defined. The bullet in the proof of Theorem 5.1 that 'projective symmetries are accounted for because the stratification is constructed on the quotient space' is therefore circular: the stratification is not in fact constructed on the quotient.
[§5.1, new hyperedges] The new hyperedge for a fixed index i, consisting of all triples {i,j,k}, does not correspond to a codimension-two stratum of the type required by Theorem 3.1. In the affine chart, the condition that all triples containing i are collinear forces all n points to lie on a single line, a locus of codimension n−2 in the configuration space—not codimension two for n>4—and after quotienting by PGL(2,C) the locus is not even well-defined because affine lines are not Möbius-invariant. Thus the relation asserted for these global hyperedges has no geometric stratum from which it could arise via the monodromy mechanism of Theorem 3.1. The paper states that these relations 'reflect the fact' that collinearities involving i are interconnected, but this is a heuristic, not a proof.
[§5.2, proof of Theorem 5.1] Even if one disregarded the quotient issue, the proof does not verify the 'exactly twice and from opposite sides' condition for any of the spherical strata. For example, around a codimension-two stratum where two triples of points are collinear, the local intersection pattern with the codimension-one collinearity strata is not analyzed. Without such a local analysis, the hyperedge relations of Γ^sph_n, including the ordinary G^3_n-type relations, are not geometrically justified. The paper's own Step 4 of Theorem 3.1 explicitly defers this analysis, and no substitute appears anywhere in the manuscript.

minor comments (5)

[§2, Theorem 2.1] The statement says 'For each v∈V(G(Γ))', but V is the vertex set of the hypergraph and G(Γ) is the group; the notation should read v∈V or 'for each generator g_v'.
[§2, paragraph after Theorem 2.1] There is a typo: 'occurency' should be 'occurrence'.
[§4] The sentence about G^4_n mentions 'four points lie on a circle/line' but gives no reference or precise definition; since 'circle/line' is also subject to Möbius non-invariance, this deserves clarification.
[§5.1, Definition 5.1] In the relation for the fixed-index hyperedge, the product is written as Y over j<k, j,k≠i, but no ordering is specified; since the defining relations are required for every permutation, this is harmless, but the text should state that the relation holds for any order of the factors.
[§7, Problem 7.1] The phrase 'codimension 1 strata are attached to codimension 2 strata exactly twice and from opposite sides' is grammatically incomplete and should be rewritten as a precise geometric condition.

Circularity Check

2 steps flagged · score 6.0 of 10

The spherical braid 'Theorem 5.1' is reverse-engineered: the global hyperedge relation is inserted into G(Γ^sph_n) by hand, with no codimension-2 stratum forcing it, and Theorem 3.1's decisive Step 4 merely asserts the defining relation instead of deriving it.

self definitional [Section 3, Theorem 3.1 proof, Step 4 (and used in Theorem 5.1 proof)]
"A more detailed analysis of the local monodromy shows that such a loop gives a relation of the form (gv1gv2 · · ·gvm)2 = 1, which is exactly the defining relation of the group G(Γ) for the hyperedge e."

The theorem is supposed to derive a homomorphism from π1(M) to G(Γ). The decisive Step 4 asserts that a loop around a codimension-2 stratum produces exactly the word (gv1...gvm)^2, which is by definition the relation already imposed in G(Γ). No local monodromy computation is given. Thus the output relation is not derived from the geometry; it is the same relation that was put into the presentation, so the well-definedness of Φ is assumed rather than proved.
fitted input called prediction [Section 5.1, Definition 5.1 and Section 5.2, Theorem 5.1 proof]
"New hyperedges: for each fixed index i, consider all triples containing i. This hyperedge contains all vertices of the form {i, j, k} for j, k ≠ i. ... In particular, for the “new” hyperedges corresponding to a fixed i, we have the relation: (∏_{j<k, j,k≠i} aijk)^2 = 1. ... Homotopies associated with codimension2 strata correspond to relations on hyperedges, including the “global” relations for fixed indices i."

The 'global' hyperedge for fixed i is not a codimension-2 stratum of M_n(S^2): the locus where all triples {i,j,k} are simultaneously collinear has all the other n−1 points on one line through i, codimension n−2, not 2. The relation is therefore introduced into G(Γ^sph_n) specifically so that the claimed homomorphism will be well-defined. Theorem 5.1 then 'predicts' the invariant whose target group was fitted to the conclusion; no independent geometric monodromy argument for this relation is supplied.

full rationale

The general framework of Section 3 is a plausible template, but its central Step 4 is an unproved assertion that the local monodromy word equals the hyperedge relation already present in the group presentation; that is a self-definitional step rather than a derivation. The spherical application is worse: the added 'global' relation for fixed i has no codimension-2 geometric stratum (it has codimension n−2), so the group was defined to contain exactly the relation needed for well-definedness, making Theorem 5.1 a reverse-engineered statement. Additionally, the stratification in Section 5 is defined in a stereographic chart, and collinearity in that chart is not PGL(2,C)-invariant; the assertion that projective symmetries are 'accounted for' is not proved, so the input object M_n(S^2) itself is not stratified as claimed. For these reasons the central claim does not have independent geometric content, though the algebraic constructions (groups G(Γ), maps to free products) are well-defined as abstract definitions.

Assumptions & free parameters 0 free parameters · 4 assumptions · 1 invented entities

The central theorem rests on an unproven local monodromy lemma and an unjustified identification of hyperedges with strata. The paper itself flags some of these as open problems, but the main theorems are presented as proven results.

assumptions (4)

standard math Transversality: any loop in a stratified space can be homotoped to intersect codimension-one strata transversely and avoid tangencies with higher strata.
Used in Step 1 of the proof of Theorem 3.1; standard but not proved in the paper.
domain assumption The local codimension-two stratum condition: in a neighbourhood of each codimension-two stratum corresponding to a hyperedge, each vertex occurs exactly twice and from opposite sides.
Assumed as the link between geometry and the group; the paper says it is 'very natural and general' but does not establish it for the spherical example, and Problem 7.1 leaves it open for elliptic curves.
ad hoc to paper Local monodromy around a codimension-two stratum produces the relation (g_{v1}...g_{vm})^2=1 for any order of double occurrences.
Step 4 of Theorem 3.1 asserts this via 'a more detailed analysis' that is not given; it is load-bearing for well-definedness.
ad hoc to paper For Γ^sph_n, the hyperedge of all triples containing a fixed index i corresponds to a valid stratum in the moduli space.
Section 5.1 introduces this hyperedge to encode projective constraints, but no codimension-two stratum with that vertex set is identified; the locus has codimension much larger than 2.

invented entities (1)

Global hyperedge for each fixed index i in Γ^sph_n
purpose: To encode projective constraints by grouping all triples {i,j,k} into one relation (product of all a_{ijk} over j,k≠i)^2=1
The paper introduces this hyperedge without identifying a corresponding codimension-two stratum in Mn(S2). The locus where all those triples are simultaneously collinear has codimension much larger than 2, so the geometric interpretation is unsupported.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Generalizations of the groups $G_{n}^{k}$: graphs, moduli spaces, algebraic geometry, spherical braids." pith.science (2026). https://pith.science/paper/6B56O7DG

@misc{pith2026260807976,
  author       = {Pith},
  title        = {Pith review of: Generalizations of the groups $G_n^k$: graphs, moduli spaces, algebraic geometry, spherical braids},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/6B56O7DG}},
  note         = {Machine review of arXiv:2608.07976}
}

abstract

In this work, we construct a generalization of the $G_n^k$-theory to the case of an arbitrary hypergraph. The case of spherical braids is considered separately, using the stratification of the moduli space $\mathcal{M}_n(S^2)$ and the hypergraph $\Gamma_n^{\mathrm{sph}}$ encoding projective constraints. In contrast to the original $G_{n}^{k}$ theory, where codimension-one properties are determined by exactly $k$ particles, the present work considers various cases corresponding to strata of codimension~$1$. These groups admit nice maps to free products of cyclic groups. Among unsolved problems, we emphasize the question how the above construction works for abelian varieties and, in particular, for elliptic curves.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

7 extracted references · 6 canonical work pages

[1]

Manturov, D.A

V.O. Manturov, D.A. Fedoseev, S. Kim, I.M. Nikonov:Invariants and Pictures: Low- dimensional topology and combinatorial group theory, World Scientific, 2020

work page 2020
[2]

Non-Reidemeister knot theory and its applications in dynamical systems, geometry, and topology

V.O. Manturov, “Non-Reidemeister knot theory and its applications in dynamical systems, geometry, and topology”, arXiv: 1501.05208

arXiv
[3]

On Braids and GroupsGk n

V.O. Manturov, I.M. Nikonov, “On Braids and GroupsGk n”, Journal of Knot Theory and Its Ramifications (Vol. 24, No. 13, 2015)

work page 2015
[4]

The groupsG2 n and Coxeter groups

V.O. Manturov, “The groupsG2 n and Coxeter groups”, Russian Math. Surveys, 72:2 (2017), 378–380

work page 2017
[5]

The cohomology ring of the colored braid group

V.I. Arnold, “The cohomology ring of the colored braid group”, Mat. Zametki (Math. Notes), 5:2 (1969), 227–231

work page 1969
[6]

Birman,Braids, Links, and Mapping Class Groups, Princeton University Press, 1975

J.S. Birman,Braids, Links, and Mapping Class Groups, Princeton University Press, 1975. (Annals of Mathematics Studies, vol. 82)

work page 1975
[7]

Humphreys,Reflection Groups and Coxeter Groups, Cambridge University Press, 1990

J.E. Humphreys,Reflection Groups and Coxeter Groups, Cambridge University Press, 1990. (Cambridge Studies in Advanced Mathematics, vol. 29). 9

work page 1990

Pith tools

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

[1] [1]

Manturov, D.A

V.O. Manturov, D.A. Fedoseev, S. Kim, I.M. Nikonov:Invariants and Pictures: Low- dimensional topology and combinatorial group theory, World Scientific, 2020

work page 2020

[2] [2]

Non-Reidemeister knot theory and its applications in dynamical systems, geometry, and topology

V.O. Manturov, “Non-Reidemeister knot theory and its applications in dynamical systems, geometry, and topology”, arXiv: 1501.05208

arXiv

[3] [3]

On Braids and GroupsGk n

V.O. Manturov, I.M. Nikonov, “On Braids and GroupsGk n”, Journal of Knot Theory and Its Ramifications (Vol. 24, No. 13, 2015)

work page 2015

[4] [4]

The groupsG2 n and Coxeter groups

V.O. Manturov, “The groupsG2 n and Coxeter groups”, Russian Math. Surveys, 72:2 (2017), 378–380

work page 2017

[5] [5]

The cohomology ring of the colored braid group

V.I. Arnold, “The cohomology ring of the colored braid group”, Mat. Zametki (Math. Notes), 5:2 (1969), 227–231

work page 1969

[6] [6]

Birman,Braids, Links, and Mapping Class Groups, Princeton University Press, 1975

J.S. Birman,Braids, Links, and Mapping Class Groups, Princeton University Press, 1975. (Annals of Mathematics Studies, vol. 82)

work page 1975

[7] [7]

Humphreys,Reflection Groups and Coxeter Groups, Cambridge University Press, 1990

J.E. Humphreys,Reflection Groups and Coxeter Groups, Cambridge University Press, 1990. (Cambridge Studies in Advanced Mathematics, vol. 29). 9

work page 1990