The small cancellation flat torus theorem

Karol Duda

arxiv: 2601.11991 · v2 · submitted 2026-01-17 · 🧮 math.GR

The small cancellation flat torus theorem

Karol Duda This is my paper

Pith reviewed 2026-05-16 13:57 UTC · model grok-4.3

classification 🧮 math.GR MSC 20F65

keywords small cancellationflat torus theoremC(6)C(4)-T(4)C(3)-T(6)thickened-flatsquadrizationquasi-flats

0 comments

The pith

Groups acting on small cancellation complexes satisfy analogues of the Flat Torus Theorem

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

The paper establishes Flat Torus Theorem type results for groups acting on small cancellation complexes satisfying the C(6), C(4)-T(4), or C(3)-T(6) conditions. For C(3)-T(6) complexes the result closely parallels the standard CAT(0) setting with invariant flats. For C(6) complexes an analogous theorem holds using a refined notion of flat that exploits the relationship with dual complexes. In the C(4)-T(4) case genuine flats do not always exist, as shown by an explicit example of a Z^2 action without invariant flat, so the authors introduce thickened-flats and prove a version for quasi-flats by quadrizing the complex and applying the Quadric Flat Torus Theorem.

Core claim

We establish Flat Torus Theorem type results for groups acting on small cancellation complexes satisfying C(6), C(4)-T(4) and C(3)-T(6) conditions. For C(3)-T(6) complexes the result closely parallels the CAT(0) setting. For C(6) complexes we prove an analogous theorem using a refined notion of flat, exploiting the relationship between C(6) complexes and their duals. In the C(4)-T(4) case we demonstrate that genuine flats do not necessarily exist, providing an explicit example of a C(4)-T(4) complex with an action of Z^2 without invariant flat. We introduce the notion of thickened-flats and prove a Flat Torus Theorem for quasi-flats by passing to quadric complexes via quadrization and invok

What carries the argument

The small cancellation conditions C(6), C(4)-T(4) and C(3)-T(6) together with thickened-flats and quadrization of the complex.

If this is right

Groups acting on C(3)-T(6) complexes preserve genuine flats analogous to CAT(0) spaces.
Groups acting on C(6) complexes preserve refined flats derived from the dual complex.
Groups acting on C(4)-T(4) complexes preserve thickened-flats after quadrization.
Quasi-flats in these settings become genuine flats in the quadric complex.
Some C(4)-T(4) actions admit no invariant genuine flat at all.

Where Pith is reading between the lines

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

The quadrization reduction may let similar theorems apply to other combinatorial curvature conditions beyond the three studied here.
Groups with these actions could inherit algorithmic properties such as solvable conjugacy problem from the preserved flats.
The failure of genuine flats in C(4)-T(4) suggests small cancellation geometry is strictly weaker than CAT(0) in some directions.

Load-bearing premise

The small cancellation conditions hold uniformly across the entire complex and the group acts by automorphisms.

What would settle it

An explicit action of Z^2 on a C(3)-T(6) complex with no invariant flat would disprove the parallel to the CAT(0) case.

read the original abstract

We establish Flat Torus Theorem type results for groups acting on small cancellation complexes satisfying C(6), C(4)-T(4) and C(3)-T(6) conditions. For C(3)-T(6) complexes the result closely parallels the CAT(0) setting. For C(6) complexes we prove an analogous theorem using a refined notion of flat, exploiting the relationship between C(6) complexes and their duals. In the C(4)-T(4) case we demonstrate that genuine flats do not necessarily exist, providing an explicit example of a C(4)-T(4) complex with an action of $\mathbb{Z}^2$ without invariant flat, and hence not admitting any CAT(0) metric invariant under automorpihsms. We introduce the notion of thickened-flats and prove a Flat Torus Theorem for quasi-flats by passing to quadric complexes via quadrization and invoking the Quadric Flat Torus Theorem of Hoda-Munro.

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.

Desk Editor's Note private letter to a colleague

The paper extends flat torus results to small cancellation complexes with some new constructions, but the C(4)-T(4) reduction needs closer checking on hypothesis preservation.

read the letter

The main news is that this paper gives Flat Torus Theorem analogues for groups acting on C(6), C(4)-T(4), and C(3)-T(6) small cancellation complexes. For C(3)-T(6) it tracks the usual CAT(0) version closely. For C(6) it uses a refined flat notion tied to the dual complex. For C(4)-T(4) it supplies an explicit example where no invariant flat exists under the Z^2 action, then defines thickened-flats and reduces the quasi-flat case to the Hoda-Munro quadric theorem via quadrization. That reduction is the part that stands out as new and potentially useful for organizing flat phenomena in these combinatorial settings. The counterexample is concrete and shows why genuine flats can fail, which is a clean negative result. The quadrization step itself looks like a direct construction rather than a circular argument. The soft spot is exactly the one flagged in the stress test: it is not obvious from the abstract or the high-level description that the output quadric complex automatically satisfies the precise small-cancellation or non-positive-curvature hypotheses that Hoda-Munro require, nor that the induced action remains an automorphism action without extra conditions. If the full proof fills that gap with explicit verification, the C(4)-T(4) case holds; if it only sketches the passage, the claim is weaker than stated. The rest of the paper appears to rest on standard small-cancellation machinery without obvious internal contradictions. This is specialized work aimed at geometric group theorists who already care about small cancellation complexes and rigidity questions. A reader working in that corner would get value from the refined notions and the counterexample. It is worth sending to referees because the statements are new, the example is checkable, and the reduction idea is worth testing even if it needs tightening.

Referee Report

2 major / 2 minor

Summary. The manuscript establishes Flat Torus Theorem analogues for groups acting by automorphisms on small cancellation complexes satisfying C(6), C(4)-T(4), and C(3)-T(6) conditions. For C(3)-T(6) the result parallels the CAT(0) case; for C(6) it uses a refined notion of flat via the relationship to dual complexes; for C(4)-T(4) it supplies an explicit example showing genuine flats need not exist and proves a version for thickened-flats by quadrizing the complex and invoking the Hoda-Munro Quadric Flat Torus Theorem.

Significance. If the reductions and verifications hold, the work extends the Flat Torus Theorem to a wider class of combinatorial complexes, supplies a concrete counterexample distinguishing C(4)-T(4) behavior from CAT(0), and introduces thickened-flats as a useful intermediate notion. The explicit C(4)-T(4) example and the quadrization reduction are concrete contributions to geometric group theory.

major comments (2)

[C(4)-T(4) case] C(4)-T(4) quadrization reduction: the claim that the output quadric complex satisfies the exact hypotheses of the Hoda-Munro Quadric Flat Torus Theorem (including any required small-cancellation or non-positive-curvature conditions) is load-bearing for the quasi-flat result, yet the manuscript supplies no explicit verification that quadrization preserves these global combinatorial properties or that the induced Z^2-action remains an automorphism action to which the theorem applies without additional hypotheses.
[C(6) case] C(6) case: the refined notion of flat and the passage to the dual complex require a precise statement showing that the dual inherits the C(6) condition globally and that the group action on the dual satisfies the same automorphism hypotheses used in the flat-torus argument.

minor comments (2)

Add a self-contained definition of thickened-flats in the introduction or a preliminary section before its first use in the C(4)-T(4) argument.
Ensure the reference to the Hoda-Munro Quadric Flat Torus Theorem includes complete bibliographic details and a brief statement of the precise hypotheses invoked.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We appreciate the positive assessment of the significance of the explicit C(4)-T(4) example and the quadrization reduction. We address each major comment below and will incorporate the requested clarifications and verifications into the revised manuscript.

read point-by-point responses

Referee: [C(4)-T(4) case] C(4)-T(4) quadrization reduction: the claim that the output quadric complex satisfies the exact hypotheses of the Hoda-Munro Quadric Flat Torus Theorem (including any required small-cancellation or non-positive-curvature conditions) is load-bearing for the quasi-flat result, yet the manuscript supplies no explicit verification that quadrization preserves these global combinatorial properties or that the induced Z^2-action remains an automorphism action to which the theorem applies without additional hypotheses.

Authors: We agree that an explicit verification is necessary for rigor. In the revised manuscript we will add a dedicated lemma (placed immediately before the invocation of the Hoda-Munro theorem) that verifies: (i) quadrization preserves the C(4)-T(4) condition globally, (ii) the resulting quadric complex satisfies the non-positive-curvature hypotheses required by Hoda-Munro, and (iii) the induced Z^2-action consists of automorphisms of the quadric complex. The proof will follow the combinatorial definitions already present in the paper and will not require additional hypotheses. revision: yes
Referee: [C(6) case] C(6) case: the refined notion of flat and the passage to the dual complex require a precise statement showing that the dual inherits the C(6) condition globally and that the group action on the dual satisfies the same automorphism hypotheses used in the flat-torus argument.

Authors: We will insert a short lemma in the C(6) section that states and proves: the dual complex inherits the C(6) condition from the original complex (via the standard correspondence between 2-cells and vertices in the dual), and the given automorphism action of the group on the original complex extends to an action by automorphisms on the dual. This lemma will be cited explicitly in the proof of the refined flat-torus statement. revision: yes

Circularity Check

0 steps flagged

No significant circularity; external theorem invocation supplies independent support

full rationale

The paper's derivations for the C(6) and C(3)-T(6) cases proceed by direct combinatorial arguments on the given small-cancellation hypotheses. The C(4)-T(4) case introduces the auxiliary notion of thickened-flats, constructs a quadric complex by quadrization, and invokes the Quadric Flat Torus Theorem of Hoda-Munro as an external result. No equation or definition in the provided text reduces a claimed prediction or uniqueness statement to a fitted parameter or to a self-citation chain whose own justification is internal to the present manuscript. The Hoda-Munro citation is treated as prior independent work rather than a load-bearing self-reference, so the central claims remain externally anchored and the derivation chain does not collapse by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claims rest on the standard combinatorial small cancellation conditions as domain assumptions and introduce the new notion of thickened-flats to handle quasi-flats when genuine flats fail to exist.

axioms (1)

domain assumption The complexes satisfy one of the small cancellation conditions C(6), C(4)-T(4), or C(3)-T(6).
Invoked throughout the abstract as the setting in which the Flat Torus type results are proved.

invented entities (1)

thickened-flats no independent evidence
purpose: To serve as a substitute for genuine flats in the C(4)-T(4) case where invariant flats may not exist.
Introduced explicitly to recover a Flat Torus Theorem for quasi-flats after quadrization.

pith-pipeline@v0.9.0 · 5462 in / 1676 out tokens · 47339 ms · 2026-05-16T13:57:48.171007+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We establish Flat Torus Theorem type results for groups acting on small cancellation complexes satisfying C(6), C(4)-T(4) and C(3)-T(6) conditions... invoking the Quadric Flat Torus Theorem of Hoda-Munro.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

For C(3)-T(6) complexes the result closely parallels the CAT(0) setting.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.