Pith. sign in

REVIEW 3 major objections 4 minor 32 references

Strict C(6) complexes

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 Groups acting properly cocompactly on simply-connected strict C(6) complexes are hyperbolic relative to maximal virtually Z^2 subgroups.

desk verdict Strict C(6) is a genuinely useful new condition, but the paper's C(6)-scope claims overreach: the nerve bridge in Theorem A is unproved as written and Theorem C is proved only under strict C(6). read the letter →

arxiv 2505.21029 v1 pith:PX32EI7V submitted 2025-05-27 math.GR

Zachary Munro , Daniel T. Wise This is my paper
classification math.GR MSC 20F0620F6520F67
keywords strictC(6)complexessmallcancellationrelativehyperbolicityisolatedflatssystolicgeometricwallsconvexcocompactcorequasiconvexsubgroups
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 introduces strict C(n) small-cancellation complexes, a condition sitting between the classical C(n) and C(n+1) conditions, and studies the strict C(6) case. Its central claim is Theorem A: if a group acts properly and cocompactly on a simply-connected strict C(6) 2-complex, the group is hyperbolic relative to a collection of maximal virtually $Z^{2}$ subgroups. A sympathetic reading is that strict C(6) is exactly the small-cancellation setting where the only obstruction to hyperbolicity is a 2-dimensional abelian flat, and that obstruction is controlled as an isolated flat. The paper also establishes convex-cocompact and cosparse core theorems for quasiconvex subgroups using geometric walls in the complex.

What carries the argument

The argument runs on honeycombs, walls, and systolization. A honeycomb is an immersed copy of the regular hexagonal tiling of the plane, and the strict C(6) condition guarantees any two honeycombs intersect only in bounded pieces, a property called isolated flats. A wall is a maximal family of opposite 1-cells that cuts each 2-cell in either zero or two opposite edges; wall carriers are tree-like, face-convex subcomplexes, and each wall separates the complex into two convex halfspaces. Systolization converts the complex into a flag simplicial complex (the nerve) whose vertices are faces and whose simplices are families of pairwise intersecting faces; the nerve is systolic, and the proof transfers isolated flats across this conversion so that a systolic isolated-flats theorem applies.

What would settle it

Look for a proper cocompact action on a simply-connected strict C(6) complex whose group is not hyperbolic relative to virtually $Z^{2}$ subgroups, or find two distinct honeycombs with unbounded coarse intersection, which would contradict Theorem 3.10. A direct test of the bridge would be to construct a small simply-connected C(6) complex whose nerve contains an embedded 4- or 5-cycle with no diagonal, violating the definition of systolic.

Watch

Extended reading notes

Core claim

On the paper's own terms, the discovery is that strict C(6) forces the flat structure of a simply-connected complex to be isolated: distinct honeycombs (immersed hexagonal tilings of the plane) have bounded coarse intersection, so the complex behaves like a nonpositively curved space whose only flats are disjoint up to bounded overlap. This isolation transfers through the systolization construction to the nerve of the complex, and the systolic isolated-flats theorem then gives relative hyperbolicity with maximal virtually abelian rank-two subgroups as the parabolic subgroups. The same strict condition yields a collection of geometric walls whose halfspaces are face-convex, and these walls upgrade quasiconvexity to concrete convex cores.

Load-bearing premise

The proof depends on an unpublished assertion (Theorem 4.9) that the nerve of any simply-connected C(6) complex is systolic; if that assertion fails, or if the nerve correspondence does not preserve coarse isolation as claimed in Corollary 4.12, then Theorem A does not follow.

Editorial extensions

If this is right

  • Any group satisfying Theorem A is relatively hyperbolic, and its parabolic subgroups are exactly the maximal virtually Z^2 subgroups, so the complex has no higher-rank abelian subgroups.
  • In the hyperbolic case, quasiconvex subgroups are witnessed by d_f-convex cocompact cores (Theorem B), matching the convex-core behavior known for cubulated hyperbolic groups.
  • In the general case, relatively quasiconvex subgroups have d_f-convex cosparse cores (Theorem C), and the proof uses relative thinness of geodesic triangles with honeycombs as the only thick pieces.
  • Without strict C(6), the convex-cocompact core conclusion fails even for a hyperbolic group with a finite quasiconvex subgroup orbit (Example 5.19).
  • Wall-segments and bent wall-segments are unique d_f-geodesics, so the face-metric on a strict C(6) complex has the geodesic rigidity of a CAT(0) cube complex.

Reading between the lines

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

  • Editorial: If Theorem A holds, strict C(6) groups inherit the standard algorithmic consequences of relative hyperbolicity, including solvable word and conjugacy problems, without requiring a CAT(0) or cubical model.
  • Editorial: The walls are locally infinite, so the paper's wall structure is not a genuine wallspace; one might nevertheless expect a coarse median or hierarchical structure to emerge, but that is not claimed here.
  • Editorial: Example 5.19 suggests the strict condition is a natural dividing line for convex-core theorems, and a testable extension would probe whether strict C(n) versions of these theorems hold for n greater than 6.
  • Editorial: Since the systolization bridge is an unpublished result, Theorem A currently inherits its status; a public proof of Theorem 4.9 would make the relative hyperbolicity of strict C(6) groups unconditional.
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 introduces a new small-cancellation condition, strict C(n), intermediate between C(n) and C(n+1), and develops its consequences for C(6). Theorem A (4.13) asserts that a group acting properly cocompactly on a simply-connected strict C(6) complex is hyperbolic relative to a collection of maximal virtually Z^2 subgroups. The proof route is: Theorem 3.10 establishes the isolated-flats property in X; the systolization theorem (Theorem 4.9, attributed to [Wis03]) and the flat-preservation and isolation-preservation results (Theorem 4.11, Corollary 4.12) transfer this property to the nerve Delta X; Elsner's theorem (4.5) then gives relative hyperbolicity. The paper also introduces walls and halfspaces, proves that bent wall-segments are geodesics (Lemma 5.2), and uses these to prove a convex-cocompact core theorem for hyperbolic strict C(6) groups (Corollary 5.7) and a cosparse core theorem (Theorem 5.14), with an example showing that non-strict C(6) can fail the convex-cocompact core theorem. The main results are significant if the proof gaps identified below are closed.

Significance. The strict C(6) condition is a natural and useful refinement of C(6), and the maximality of petal pieces (Lemma 3.3) gives clean control over intersections of honeycombs. If Theorem A holds, it provides a new and elegant bridge from a small-cancellation condition to relative hyperbolicity with rank-two abelian parabolics, complementing the classical C(6) hyperbolicity dichotomy. The walls-and-halfspaces machinery and the face-metric core theorems are interesting contributions, and the counterexample in Example 5.19 is valuable. The paper is largely self-contained in its small-cancellation arguments, with several auxiliary results, such as Lemmas 2.16, 2.17, 2.22, 3.3, and 3.16, proved in detail. However, the central implication depends on two load-bearing bridges: the unpublished systolization theorem [Wis03], used as a black box, and the flat-transfer Theorem 4.11, which currently has a gap. Closing or replacing these bridges is necessary before the main claims can be accepted.

major comments (3)
  1. [Theorem 4.11 / Corollary 4.12] The proof of the surjectivity half of the flat bijection is incomplete. After Lemma 4.10, the text asserts that Delta^{-1} E_tri is 'locally isomorphic to a honeycomb' and therefore admits an immersion E_hex to X. Lemma 4.10 only proves that, for a vertex x of a flat E_tri in Delta X, the six subpaths P_i of the boundary of Delta^{-1}x are pairwise intersecting exactly when the corresponding neighbors are consecutive; it does not prove that consecutive P_i are disjoint as 1-cell paths. Under Definition 2.2 the attaching map of a 2-cell may repeat a 1-cell, so two consecutive P_i may overlap along a 1-cell. In that case Delta^{-1} E_tri is not a honeycomb, and a flat in Delta X need not be the image of a flat in X. Because Corollary 4.12 transfers the isolated-flats property from X to Delta X and Theorem 4.13 uses this transfer, the gap is load-bearing for Theorem A. It is plausible that the strict C(6) hypothesis repairs this via Lemma 3.3, but the manuscript does not supply that argument.
  2. [Theorem 5.14] Theorem 5.14 is stated for a simply-connected C(6) complex, but its proof directly invokes Theorem 5.6 and Lemma 5.2, both of which are proved only under the strict C(6) assumption, and the preliminary Remark 5.8 and Definition 5.9 also rely on Theorem 4.13 for strict C(6) groups. No argument is given that replaces strictness by the weaker C(6) hypothesis. Either the theorem should be restated with strict C(6), which is consistent with the abstract and the rest of Section 5, or the authors must add the missing extension to C(6).
  3. [Theorem 5.6, proof] The separation argument in the proof of Theorem 5.6 needs to be completed. At the crucial step, the text asserts that 'R_{m-1},R_m,R is a d_f-geodesic by Lemma 5.2' and then uses R_m not in W(e,f) to conclude R not in W(e,f). The first assertion requires checking the disjointness condition A_m intersect C_1 = empty from Definition 5.1, and the second requires invoking face-convexity of wall carriers (Corollary 3.18): if R lay in W(e,f), the geodesic R_{m-1},R_m,R would be forced into W(e,f), contradicting R_m not in W(e,f). These steps are plausible but not written, and the conclusion Hull(Y) subset N_K(Y) depends on them.
minor comments (4)
  1. [Throughout] The text contains numerous typographical and OCR-style corruptions that should be fixed before publication: 'Suppse' in Lemma 2.22, 'Since e Y has no missing3-shells' in Lemma 2.21, 'We provide an examples' in the abstract, and the corrupted arrows in Definitions 3.23 and 3.24.
  2. [Corollary 3.6] The conclusion that the intersection of two distinct honeycombs is either a single 2-cell or a possible degenerate tripod would benefit from a short explanation of how the tripod case arises from the absence of a properly contained hexside.
  3. [Section 5.15] The comparison between the graph-metric example and the d_f-metric version is somewhat compressed; the sentence 'The 2-cell in this presentation has a free face so the complex is strictC(6)' deserves a brief justification, since free faces are not usually associated with small-cancellation hypotheses.
  4. [Theorem 4.9] The systolization theorem is stated as an established result and cited to the unpublished preprint [Wis03]; the authors should clarify whether the published generalization [OPa18] covers the exact statement needed, or give a published reference for the C(6) version.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular derivation: Theorem A follows from an independent isolated-flats argument plus external systolic/relative-hyperbolicity theorems; the only self-cited black box has independent later support.

full rationale

The paper's central result (Theorem 4.13) is not derived from its own conclusion. Section 3 proves that a cocompact strict C(6) complex has isolated flats (Theorem 3.10) using the strict C(6) definition, honeycomb-intersection lemmas, and Greendlinger's classical lemma; none of these inputs mention relative hyperbolicity or assume the target. Section 4 transfers this property to the nerve: Theorem 4.9 (ΔX is systolic for simply-connected C(6)) is cited to Wise's unpublished [Wis03], an author-overlap citation, but the same passage cites Osajda–Prytuła [OPa18, Thm 7.12] as a later generalization, which is independent external support. The final step from systolic isolated flats to relative hyperbolicity is Elsner's external Theorem 4.5. Theorem 4.11 and Corollary 4.12 provide the flat/isolated-flats transfer; the proof of Theorem 4.11 has an under-justified development step ('Δ^{-1}E_tri is locally isomorphic to a honeycomb'), which is a possible correctness gap, not a circular reduction: it does not assume the conclusion, fit a parameter, or rename a known result. Section 5 likewise builds on the same framework and on published external/prior-work results (Hruska; Druţu–Sapir/Sageev–Wise). No self-definitional, fitted-input, or renamed-result pattern appears. The modest score reflects only the reliance on an unpublished self-cited systolization theorem as a black box; the theorem is not equivalent to the paper's conclusion and is independently corroborated.

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

No numerical parameters are fitted; the only constants are proof-theoretic estimates. The paper introduces no new physical entities. The central hypothesis is the new strict C(6) definition, listed as an axiom, along with the external theorems it relies on.

assumptions (6)
  • ad hoc to paper Strict C(n) condition (Definition 3.1): for any 2-cell R, any immersed path P to ∂R with |P| > |∂cR| has piece-length |P|_p > n.
    The central new hypothesis introduced by the paper; all theorems are conditional on it.
  • standard math C(6) small-cancellation and Greendlinger's Lemma (Lemma 2.13), giving 3-shell structure for reduced diagrams.
    Background from classical small-cancellation theory, used throughout the diagram arguments.
  • domain assumption Wise's systolization theorem (Theorem 4.9): if X is simply-connected C(6), then its nerve ΔX is systolic.
    Cited from the second author's unpublished preprint [Wis03] and [OPa18]; not reproved here and load-bearing for Theorem A.
  • domain assumption Elsner's isolated flats theorem (Theorem 4.5): a group acting properly cocompactly on a systolic complex with isolated flats is hyperbolic relative to maximal virtually abelian rank-2 subgroups.
    External theorem that produces the final relative hyperbolicity conclusion in Theorem 4.13.
  • standard math Zorn's lemma (used in Lemma 3.20 to extend a semi-wall to a maximal one).
    Standard set-theoretic principle; unproblematic.
  • domain assumption Hruska's results on relatively quasiconvex subgroups and relatively thin triangles (Lemma 5.10, Theorem 5.11).
    External tools used in Theorem 5.14; they require the group to be relatively hyperbolic, which in context comes from strict C(6).

how reviews work

0 comments
Cite this review

Pith. "Pith review of Strict C(6) complexes." pith.science (2026). https://pith.science/paper/PX32EI7V

@misc{pith2026250521029,
  author       = {Pith},
  title        = {Pith review of: Strict C(6) complexes},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/PX32EI7V}},
  note         = {Machine review of arXiv:2505.21029}
}
read the original abstract

We define strict C(n) small-cancellation complexes, intermediate to C(n) and C(n+1), and we prove groups acting properly cocompactly on a simply-connected strict C(6) complex are hyperbolic relative to a collection of maximal virtually free abelian subgroups of rank 2. We study geometric walls in a simply-connected strict C(6) complex, and we use them to prove a convex cocompact (cosparse) core theorem for (relatively) quasiconvex subgroups of strict C(6) groups. We provide an examples showing the convex cocompact core theorem is false without the strict C(6) assumption.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

32 extracted references · 28 canonical work pages

  1. [1]

    The virtual H aken conjecture

    Ian Agol. The virtual H aken conjecture. Doc. Math. , 18:1045--1087, 2013. With an appendix by Agol, Daniel Groves, and Jason Manning

    2013

  2. [2]

    Metric graph theory and geometry: a survey

    Hans-J\"urgen Bandelt and Victor Chepoi. Metric graph theory and geometry: a survey. In Surveys on discrete and computational geometry , volume 453 of Contemp. Math. , pages 49--86. Amer. Math. Soc., Providence, RI, 2008

    work page 2008

  3. [3]

    Hadi Bigdely and Daniel T. Wise. C(6) groups do not contain F_2 F_2 . J. Pure Appl. Algebra , 217(1):22--30, 2013

    work page 2013

  4. [4]

    M. Dehn. \"uber unendliche diskontinuierliche G ruppen. Math. Ann. , 71(1):116--144, 1911

    work page 1911

  5. [5]

    M. Dehn. Transformation der K urven auf zweiseitigen F l\"achen. Math. Ann. , 72(3):413--421, 1912

    work page 1912

  6. [6]

    Tree-graded spaces and asymptotic cones of groups

    Cornelia Dru tu and Mark Sapir. Tree-graded spaces and asymptotic cones of groups. Topology , 44(5):959--1058, 2005. With an appendix by Denis Osin and Mark Sapir

    work page 2005

  7. [7]

    Systolic groups with isolated flats, 2010

    Tomasz Elsner. Systolic groups with isolated flats, 2010. Available at http://www.math.uni.wroc.pl/ elsner/papers/isolated-flats.pdf

    work page 2010

  8. [8]

    Dehn's algorithm for the word problem

    Martin Greendlinger. Dehn's algorithm for the word problem. Comm. Pure Appl. Math. , 13:67--83, 1960

    work page 1960

Show all 32 references
  1. [9]

    On D ehn's algorithms for the conjugacy and word problems, with applications

    Martin Greendlinger. On D ehn's algorithms for the conjugacy and word problems, with applications. Comm. Pure Appl. Math. , 13:641--677, 1960

    1960

  2. [10]

    M. Gromov. Hyperbolic groups. In Essays in group theory , volume 8 of Math. Sci. Res. Inst. Publ. , pages 75--263. Springer, New York, 1987

    1987

  3. [11]

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

    1990

  4. [12]

    Complexes simpliciaux hyperboliques de grande dimension

    Frédéric Haglund. Complexes simpliciaux hyperboliques de grande dimension. Preprint, Université Paris-Sud, November 14, 2003, 2003

    2003

  5. [13]

    Finite index subgroups of graph products

    Fr\'ed\'eric Haglund. Finite index subgroups of graph products. Geom. Dedicata , 135:167--209, 2008

    2008

  6. [14]

    Christopher Hruska and Bruce Kleiner

    G. Christopher Hruska and Bruce Kleiner. Hadamard spaces with isolated flats. Geom. Topol. , 9:1501--1538, 2005. With an appendix by the authors and Mohamad Hindawi

    2005

  7. [15]

    Christopher Hruska

    G. Christopher Hruska. Relative hyperbolicity and relative quasiconvexity for countable groups. Algebr. Geom. Topol. , 10(3):1807--1856, 2010

    2010

  8. [16]

    Tim Hsu and Daniel T. Wise. Cubulating graphs of free groups with cyclic edge groups. Amer. J. Math. , 132(5):1153--1188, 2010

    2010

  9. [17]

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

    1998

  10. [18]

    Cubical dimension and obstructions to actions on CAT(0) cube complexes

    Katarzyna Jankiewicz. Cubical dimension and obstructions to actions on CAT(0) cube complexes . PhD thesis, McGill University, 2018

    2018

  11. [19]

    Simplicial nonpositive curvature

    Tadeusz Januszkiewicz and Jacek \'Swi atkowski. Simplicial nonpositive curvature. Publ. Math. Inst. Hautes \'Etudes Sci. , (104):1--85, 2006

    2006

  12. [20]

    Van Kampen

    Egbert R. Van Kampen. On S ome L emmas in the T heory of G roups. Amer. J. Math. , 55(1-4):268--273, 1933

    1933

  13. [21]

    Lyndon and Paul E

    Roger C. Lyndon and Paul E. Schupp. Combinatorial group theory , volume Band 89 of Ergebnisse der Mathematik und ihrer Grenzgebiete [Results in Mathematics and Related Areas] . Springer-Verlag, Berlin-New York, 1977

    1977

  14. [22]

    Roger C. Lyndon. On D ehn's algorithm. Math. Ann. , 166:208--228, 1966

    1966

  15. [23]

    Coarse obstructions to cocompact cubulation, 2024

    Zachary Munro and Harry Petyt. Coarse obstructions to cocompact cubulation, 2024

    2024

  16. [24]

    McCammond and Daniel T

    Jonathan P. McCammond and Daniel T. Wise. Fans and ladders in small cancellation theory. Proc. London Math. Soc. (3) , 84(3):599--644, 2002

    2002

  17. [25]

    J. P. McCammond and D. T. Wise. Coherence, local quasiconvexity, and the perimeter of 2-complexes. Geom. Funct. Anal. , 15(4):859--927, 2005

    2005

  18. [26]

    Classifying spaces for families of subgroups for systolic groups

    Damian Osajda and Tomasz Prytu a. Classifying spaces for families of subgroups for systolic groups. Groups Geom. Dyn. , 12(3):1005--1060, 2018

    2018

  19. [27]

    Paul E. Schupp. On D ehn's algorithm and the conjugacy problem. Math. Ann. , 178:119--130, 1968

    1968

  20. [28]

    Michah Sageev and Daniel T. Wise. Cores for quasiconvex actions. Proc. Amer. Math. Soc. , 143(7):2731--2741, 2015

    2015

  21. [29]

    V. A. Tartakovski i. Solution of the word problem for groups with a k -reduced basis for k>6 . Izv. Akad. Nauk SSSR Ser. Mat. , 13:483--494, 1949

    1949

  22. [30]

    Daniel T. Wise. Sixtolic complexes and their fundamental groups, 2003. Unpublished preprint

    2003

  23. [31]

    D. T. Wise. Cubulating small cancellation groups. Geom. Funct. Anal. , 14(1):150--214, 2004

    2004

  24. [32]

    Daniel T. Wise. From riches to raags: 3-manifolds, right-angled A rtin groups, and cubical geometry , volume 117 of CBMS Regional Conference Series in Mathematics . Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence,...

    2012

Pith tools

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