pith. sign in

arxiv: 1907.06738 · v1 · pith:OC573F2Snew · submitted 2019-07-15 · 🧮 math.GR

Strictly systolic angled complexes and hyperbolicity of one-relator groups

Martin Axel Blufstein , Elias Gabriel Minian This is my paper

Pith reviewed 2026-05-24 20:59 UTC · model grok-4.3

classification 🧮 math.GR
keywords hyperbolic groupsone-relator groupssystolic complexessmall cancellationgeometric actionsangled complexesgroup hyperbolicity
0
0 comments X

The pith

Strictly systolic angled complexes support geometric actions by hyperbolic groups, and this yields hyperbolicity for one-relator groups without torsion under a metric small cancellation condition weaker than C'(1/6) or C'(1/4)-T(4).

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

The paper defines strictly systolic angled complexes, a new generalization of 7-systolic simplicial complexes and metric systolic complexes. It proves that these complexes admit geometric actions only by hyperbolic groups and that all finitely presented subgroups of such groups are also hyperbolic. The same framework is applied to one-relator groups without torsion, establishing their hyperbolicity whenever they satisfy the given metric small cancellation hypothesis.

Core claim

Strictly systolic angled complexes generalize prior systolic notions and carry a curvature condition strong enough that any group acting geometrically on one is hyperbolic, as are its finitely presented subgroups. The same condition applied to one-relator groups without torsion produces hyperbolicity under a metric small cancellation assumption strictly weaker than the classical C'(1/6) and C'(1/4)-T(4) thresholds.

What carries the argument

Strictly systolic angled complexes, which impose an angled structure on the complex that enforces the negative curvature needed for hyperbolicity of geometric actions.

If this is right

  • Any group with a geometric action on a strictly systolic angled complex is hyperbolic.
  • Every finitely presented subgroup of such a group is hyperbolic.
  • One-relator groups without torsion that obey the stated metric small cancellation are hyperbolic.
  • The new complexes supply a uniform method for establishing hyperbolicity in both the general geometric-group setting and the one-relator case.

Where Pith is reading between the lines

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

  • The weaker cancellation threshold may classify additional one-relator groups as hyperbolic that fall outside the reach of C'(1/6) or C'(1/4)-T(4).
  • The angled-complex construction could be tested on other classes of groups with similar presentation properties to produce further hyperbolic examples.

Load-bearing premise

The complexes must satisfy the strictly systolic angled condition.

What would settle it

A geometric action by a non-hyperbolic group on a strictly systolic angled complex, or a one-relator group without torsion that meets the metric small cancellation hypothesis yet fails to be hyperbolic.

Figures

Figures reproduced from arXiv: 1907.06738 by Elias Gabriel Minian, Martin Axel Blufstein.

Figure 1
Figure 1. Figure 1: Edge reduction. If the link has length greater than 2, we can apply a sequence of diamond moves as in [3, 11], followed by an edge reduction. This is shown in [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Diamond move. Edges e1 and e2 are mapped to the same edge. Note that these moves reduce the number of faces of the diagram. Therefore, starting with a nondegenerate singular diagram, we can obtain a nondegenerate and vertex reduced singular diagram with the same boundary. Observe that in such a diagram the image of the link of every vertex can be decomposed in simple paths. In particular, the image of the … view at source ↗
Figure 3
Figure 3. Figure 3: Subdividing σ. Lemma 2.6. Let X be a strictly systolic angled complex and f : D → X a nondegenerate and vertex reduced singular diagram for a closed edge-path γ. Then there exists a nondegenerate and vertex reduced singular diagram g : D′ → X for γ such that the image by g of the links of the interior vertices of D′ can be decomposed in simple cycles of angular length ≥ 2π. Proof. Let v be an interior vert… view at source ↗
Figure 4
Figure 4. Figure 4: The cycle σ subdivides in lk(f(v1)) [PITH_FULL_IMAGE:figures/full_fig_p004_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Removal of v1. After applying this change, we obtain a new nondegenerate singular diagram for γ with less faces. Then we can make it vertex reduced by reducing the number of faces once again, and [PITH_FULL_IMAGE:figures/full_fig_p004_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Intersection of two precells. If three precells C1, C2 and C3 intersect, we add triangles with vertices in the three centers (one for each component of C1 ∩ C2 ∩ C3) and the necessary tetrahedrons for it to be 3-flag. We denote by X the complex that we obtained. Note that X is quasi-simplicial since the presentation satisfies, in particular, the metric condition C ′ (1/2). It is clear that X is simply conn… view at source ↗
Figure 7
Figure 7. Figure 7: Link of a central vertex. Vertices of type (i) are located in the exterior circle, and vertices of type (ii) in the interior. Let σ be a 2-full cycle in lk(c). We will show that its angular length is ≥ 2π. We examine the possible cases. Case 1 If σ only passes through vertices of type (i), then σ is a circle of angular length 2π. Case 2 Suppose σ only passes through vertices of type (ii). Those vertices co… view at source ↗
read the original abstract

We introduce the notion of strictly systolic angled complexes. They generalize Januszkiewickz and \'Swi\k{a}tkowski's $7$-systolic simplicial complexes and also their metric counterparts, which appear as natural analogues to Huang and Osajda's metrically systolic simplicial complexes in the context of negative curvature. We prove that strictly systolic angled complexes and the groups that act on them geometrically, together with their finitely presented subgroups, are hyperbolic. We use these complexes to study the geometry of one-relator groups without torsion, and prove hyperbolicity of such groups under a metric small cancellation hypothesis, weaker than $C'(1/6)$ and $C'(1/4)-T(4)$.

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

2 major / 2 minor

Summary. The paper introduces strictly systolic angled complexes as a generalization of 7-systolic simplicial complexes and their metric counterparts. It proves that these complexes, groups acting geometrically on them, and their finitely presented subgroups are hyperbolic. The framework is then applied to one-relator groups without torsion, establishing hyperbolicity under a metric small cancellation hypothesis weaker than C'(1/6) and C'(1/4)-T(4).

Significance. If the central derivations hold, the work extends systolic geometry techniques to angled complexes and supplies a new, weaker small-cancellation criterion for hyperbolicity of torsion-free one-relator groups. The introduction of the strictly systolic angled condition and the explicit hyperbolicity statements for geometric actions and subgroups constitute a substantive contribution to geometric group theory.

major comments (2)
  1. [Definitions and main theorems] The strictly systolic angled condition is the load-bearing hypothesis for all hyperbolicity theorems. The manuscript should include an explicit statement (in the definitions section) of the precise angle or curvature bounds that replace the 7-systolic or metric systolic requirements, together with a short verification that the new condition implies the standard systolic inequalities used in the proofs.
  2. [Application to one-relator groups] In the one-relator application, the construction of the angled complex from the relator and the verification that it satisfies the strictly systolic angled condition under the stated metric small-cancellation hypothesis are central. The text should supply a self-contained argument (or a clear reference to the relevant lemma) showing that the weaker hypothesis suffices to produce the required angle bounds.
minor comments (2)
  1. Notation for the angled complex (e.g., the precise meaning of the angle function and the link conditions) should be introduced with a short table or diagram in the definitions section for readability.
  2. The abstract and introduction cite Januszkiewicz–Świątkowski and Huang–Osajda; ensure the reference list contains the full bibliographic details for these works.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and positive evaluation of the contribution. We address the two major comments below by agreeing to add the requested explicit statements and verifications, which will improve the clarity of the manuscript without altering its core results.

read point-by-point responses

  1. Referee: [Definitions and main theorems] The strictly systolic angled condition is the load-bearing hypothesis for all hyperbolicity theorems. The manuscript should include an explicit statement (in the definitions section) of the precise angle or curvature bounds that replace the 7-systolic or metric systolic requirements, together with a short verification that the new condition implies the standard systolic inequalities used in the proofs.

    Authors: We agree that an explicit formulation of the angle bounds will make the load-bearing hypothesis clearer. In the revised manuscript we will add, in the definitions section, a precise statement of the angle condition (angles strictly less than 2π/7 in the links, or the equivalent curvature bound replacing the 7-systolic requirement) together with a short lemma verifying that this condition implies the standard systolic inequalities (no short cycles of non-negative curvature) used in the hyperbolicity arguments for the complexes, geometric actions, and subgroups. revision: yes

  2. Referee: [Application to one-relator groups] In the one-relator application, the construction of the angled complex from the relator and the verification that it satisfies the strictly systolic angled condition under the stated metric small-cancellation hypothesis are central. The text should supply a self-contained argument (or a clear reference to the relevant lemma) showing that the weaker hypothesis suffices to produce the required angle bounds.

    Authors: We will revise the one-relator section to include a self-contained argument (expanding the relevant lemma on the angled complex construction) that explicitly shows how the stated metric small-cancellation hypothesis produces the angle bounds required for the strictly systolic angled condition. This will be presented directly rather than relying solely on an external reference. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained from new definition

full rationale

The paper defines strictly systolic angled complexes as a generalization of prior systolic notions (7-systolic simplicial complexes and metric systolic complexes), then derives hyperbolicity of geometric actions and f.p. subgroups directly from the angle and systolic conditions in the definition. The one-relator application constructs such complexes under a stated metric small-cancellation hypothesis weaker than C'(1/6) and C'(1/4)-T(4). No quoted step equates a claimed result to its input by construction, renames a fitted parameter as a prediction, or reduces the central claim to a self-citation chain; all load-bearing steps are explicit consequences of the introduced axioms applied via standard geometric-group-theory arguments. This is the normal non-circular outcome for a definitional paper.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper introduces a new definition but relies on standard mathematical foundations from geometric group theory; no free parameters or invented entities are apparent from the abstract.

axioms (1)
  • standard math Standard definitions and properties of hyperbolicity, geometric actions, and small cancellation conditions from prior literature.
    The abstract invokes these established concepts to state the new results.

pith-pipeline@v0.9.0 · 5649 in / 1364 out tokens · 33304 ms · 2026-05-24T20:59:21.936005+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

18 extracted references · 18 canonical work pages

  1. [1]

    and Buyalo, S

    Ballmann, W. and Buyalo, S. Nonpositively curved metrics on 2-polyhedra . Math. Z. 222 (1996), no. 1, 97–134

    work page 1996

  2. [2]

    and Haefliger, A

    Bridson, M. and Haefliger, A. Metric spaces of non-positive curvature . Springer Verlag (1999)

    work page 1999

  3. [3]

    Collins, D. J. and Huebschmann, J. Spherical diagrams and identities among relations . Math. Ann. 261 (1982), 155–183

    work page 1982

  4. [4]

    and W oodhouse, D

    Gardam, G. and W oodhouse, D. The geometry of one-relator groups satisfying a polynomial isoperimetric inequality. Proc. Amer. Math. Soc. 147 (2019) 125–129

    work page 2019

  5. [5]

    Reducible diagrams and equations over groups

    Gersten, S.M. Reducible diagrams and equations over groups . Essays in group theory, Springer-Verlag, 1987. 15–73

    work page 1987

  6. [6]

    Subgroups of word hyperbolic groups in dimension 2

    Gersten, S.M. Subgroups of word hyperbolic groups in dimension 2 . J. Lond. Math. Soc. 54 (1996) 261–283

    work page 1996

  7. [7]

    and Short, H

    Gersten, S.M. and Short, H. Small cancellation theory and automatic groups . Invent. Math. 102 (1990) 305–334

    work page 1990

  8. [8]

    Hyperbolic groups

    Gromov, M. Hyperbolic groups. Essays in group theory, Springer-Verlag, 1987. 75–263

    work page 1987

  9. [9]

    and Mart ´ ınez-Pedroza, E

    Hanlon, R. and Mart ´ ınez-Pedroza, E. Lifting group actions, equivariant towers and subgroups of non-positively curved groups. Algebr. Geom. Topol. 14 (2014) 2783–2808

    work page 2014

  10. [10]

    and Osajda, D

    Huang, J. and Osajda, D. Simplicial nonpositive curvature . Math. Ann. (2019), in press

    work page 2019

  11. [11]

    and Rosebrock, S

    Huck, G. and Rosebrock, S. Weight tests and hyperbolic groups . London Math. Soc. Lecture Note Ser. 204 (1995), 174–186

    work page 1995

  12. [12]

    and Schupp, P.E

    Ivanov, S.V. and Schupp, P.E. On the hyperbolicity of small cancellation groups and one-r elator groups. Trans. Amer. Math. Soc. 350 (1998), no. 5, 1851–1894

    work page 1998

  13. [13]

    and ´Swi¸ atkowski, J.Simplicial nonpositive curvature

    Januszkiewickz, T. and ´Swi¸ atkowski, J.Simplicial nonpositive curvature . Publ. Math. Inst. Hautes Etudes Sci. 104 (2006), 1–85

    work page 2006

  14. [14]

    Howson property and one-relator groups

    Kapovich, I. Howson property and one-relator groups . Comm. Algebra 27 (1999), no. 3, 1057–1072

    work page 1999

  15. [15]

    and Magnus, W

    Karrass, J. and Magnus, W. and Solitar, D. Combinatorial group theory . Interscience Pub., John Wiley and Sons, 1955

    work page 1955

  16. [16]

    Some results on one-relator groups , Bull

    Newman, B.B. Some results on one-relator groups , Bull. Amer. Math. Soc. 74 (1968), no. 3, 568–571

    work page 1968

  17. [17]

    On relators and diagrams for groups with one defining relatio n

    W einbaum, C.M. On relators and diagrams for groups with one defining relatio n. Illinois J. Math. 16 (1972), no. 2, 308–322

    work page 1972

  18. [18]

    Sectional curvature, compact cores and local quasiconvexi ty

    Wise, D. Sectional curvature, compact cores and local quasiconvexi ty. Geom. Funct. Anal. 14 (2004), 433–468. Departamento de Matem´atica - IMAS, FCEyN, Universidad de Buenos Aires. Buenos Aires, Arg entina. E-mail address : mblufstein@dm.uba.ar ; gminian@dm.uba.ar

    work page 2004