pith. sign in

arxiv: 2106.14378 · v5 · submitted 2021-06-28 · 🧮 math.GT

Slope detection and toroidal 3-manifolds

Steven Boyer , Cameron McA Gordon , Ying Hu This is my paper

Pith reviewed 2026-05-24 13:34 UTC · model grok-4.3

classification 🧮 math.GT
keywords toroidal 3-manifoldsL-space conjectureleft-orderable fundamental groupsslope detectionrational homology solid toricyclic branched coverssatellite knotsquasi-alternating links
0
0 comments X

The pith

Toroidal integer homology spheres have left-orderable fundamental groups.

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

The paper develops sufficient conditions for certain slopes on the boundary of a rational homology solid torus to be detected by left-orders on the fundamental group, by co-oriented taut foliations, and by Heegaard Floer homology. These detection criteria are obtained from Thurston universal circle actions, laminar branched surfaces, and L-space intervals respectively. Applying the criteria to toroidal 3-manifolds shows that every toroidal integer homology sphere has a left-orderable fundamental group. The same methods prove that cyclic branched covers of prime satellite knots are never L-spaces and have left-orderable fundamental groups, and that such covers admit taut foliations when the companion is fibred. A partial extension to toroidal links yields that every prime quasi-alternating link is either hyperbolic or a (2,m)-torus link.

Core claim

Using notions of slope detection, the authors prove that toroidal integer homology spheres have left-orderable fundamental groups, as predicted by the L-space conjecture. They also show that the cyclic branched covers of prime satellite knots are not L-spaces and have left-orderable fundamental groups. A cyclic branched cover of a satellite knot admits a co-oriented taut foliation when it has a fibred companion. A partial extension of these results to toroidal links proves that prime quasi-alternating links are either hyperbolic or (2,m)-torus links.

What carries the argument

Slope detection on the boundaries of rational homology solid tori, via universal circle actions for left-orders, laminar branched surfaces for foliations, and L-space intervals for Heegaard Floer homology.

If this is right

  • Every toroidal integer homology sphere satisfies one of the three equivalent properties in the L-space conjecture.
  • Cyclic branched covers of prime satellite knots are never L-spaces and always have left-orderable fundamental groups.
  • When the companion knot is fibred, the cyclic branched cover of a satellite knot admits a co-oriented taut foliation.
  • Prime quasi-alternating links that are not hyperbolic must be (2,m)-torus links.

Where Pith is reading between the lines

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

  • The detection criteria may supply a route to the L-space conjecture for other 3-manifolds that decompose along tori.
  • The results on satellite-knot covers give concrete families where all three L-space properties can be checked simultaneously.
  • The generalization of Menasco's theorem suggests that quasi-alternating links behave like alternating links with respect to hyperbolicity.

Load-bearing premise

The cited detection tools for left-orders, foliations, and L-spaces continue to apply when the manifolds under consideration contain incompressible tori.

What would settle it

An explicit toroidal integer homology sphere whose fundamental group admits no left-order would show that the slope-detection conditions fail to capture all cases.

read the original abstract

The $L$-space conjecture asserts the equivalence, for prime 3-manifolds, of three properties: not being an $L$-space, having a left-orderable fundamental group, and admitting a co-oriented taut foliation. We investigate these properties for toroidal $3$-manifolds using various notions of slope detection. Our main technical result gives sufficient conditions for certain slopes on the boundaries of rational homology solid tori to be detected by left-orders, foliations, and Heegaard Floer homology, using Thurston's universal circle actions, Li's result on laminar branched surfaces, and Rasmussen-Rasmussen's result on L-space intervals, respectively. This leads to a proof that toroidal integer homology spheres have left-orderable fundamental groups, as predicted by the $L$-space conjecture. It also allows us to show that the cyclic branched covers of prime satellite knots are not $L$-spaces and have left-orderable fundamental groups, as conjectured by Gordon and Lidman. Similarly we show that a cyclic branched cover of a satellite knot admits a co-oriented taut foliation when it has a fibred companion. A partial extension of these results to toroidal links leads to a proof that prime quasi-alternating links are either hyperbolic or $(2, m)$-torus links, which generalises Menasco's classical theorem that non-split alternating links are either hyperbolic or $(2, m)$-torus links.

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

1 major / 1 minor

Summary. The paper develops sufficient conditions for certain slopes on the boundaries of rational homology solid tori to be detected by left-orders (via Thurston universal circle actions), co-oriented taut foliations (via Li laminar branched surfaces), and Heegaard Floer homology (via Rasmussen-Rasmussen L-space intervals). These conditions are applied after cutting toroidal 3-manifolds along incompressible tori to prove that toroidal integer homology spheres have left-orderable fundamental groups, that cyclic branched covers of prime satellite knots are not L-spaces and have left-orderable fundamental groups (as conjectured by Gordon-Lidman), that such covers admit taut foliations when the companion is fibred, and that prime quasi-alternating links are hyperbolic or (2,m)-torus links (generalizing Menasco).

Significance. If the results hold, they supply concrete support for one direction of the L-space conjecture in the toroidal setting and resolve the Gordon-Lidman conjectures on satellite knot branched covers. The generalization of Menasco's theorem on alternating links is a clear advance. The paper explicitly credits the three independent external detection tools (Thurston, Li, Rasmussen-Rasmussen) and combines them, which is a methodological strength.

major comments (1)
  1. [application sections following the main technical result (e.g., proofs of Theorems 1.1 and 1.3)] The main technical result supplies slope-detection conditions only for rational homology solid tori. When these are applied to toroidal manifolds (the step that produces the central claims about integer homology spheres and satellite branched covers), the manuscript must verify that each of the three cited tools' hypotheses remains satisfied after cutting along the incompressible torus; the presence of the original torus or the new boundary tori could violate a hypothesis of one or more tools. This verification is load-bearing for all main theorems.
minor comments (1)
  1. Notation for the detected slopes and the resulting manifolds after cutting could be made uniform across the three detection methods to improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their thorough review and positive assessment of the significance of our results. We address the major comment below.

read point-by-point responses

  1. Referee: [application sections following the main technical result (e.g., proofs of Theorems 1.1 and 1.3)] The main technical result supplies slope-detection conditions only for rational homology solid tori. When these are applied to toroidal manifolds (the step that produces the central claims about integer homology spheres and satellite branched covers), the manuscript must verify that each of the three cited tools' hypotheses remains satisfied after cutting along the incompressible torus; the presence of the original torus or the new boundary tori could violate a hypothesis of one or more tools. This verification is load-bearing for all main theorems.

    Authors: We thank the referee for highlighting the need for explicit verification in the application sections. In the proofs of Theorems 1.1 and 1.3, the toroidal manifold is cut along an incompressible torus to produce rational homology solid tori to which the main technical result is applied. The hypotheses of the three detection tools are preserved under this cutting: Thurston's universal circle actions apply because the resulting pieces admit the required taut foliations or actions on the new boundary; Li's laminar branched surfaces remain valid as the cut manifolds stay irreducible with the incompressible torus becoming the boundary torus; and Rasmussen-Rasmussen L-space intervals hold as the Heegaard Floer homology properties are inherited from the original manifold without introducing L-space obstructions from the cutting torus. The new boundary tori are precisely the ones on which slope detection is performed, and no additional tori are introduced that would violate the tools' assumptions. We will revise the relevant sections to include a short explicit paragraph confirming these points for clarity. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation applies external theorems to toroidal cases

full rationale

The paper's central claims (left-orderability of toroidal integer homology spheres, non-L-space status of certain branched covers) are derived by applying three external results—Thurston universal circle actions, Li laminar branched surfaces, and Rasmussen-Rasmussen L-space intervals—to rational homology solid tori obtained by cutting along incompressible tori. These cited tools have non-overlapping authors and are invoked as independent inputs rather than self-citations or fitted parameters. No equations or steps in the provided abstract reduce a prediction to a quantity defined by the authors' own prior work; the sufficient conditions are stated as new applications, not tautological renamings or self-definitional closures. The derivation chain therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard background results in 3-manifold topology and three specific external theorems; no free parameters or new invented entities are introduced.

axioms (2)
  • standard math Prime 3-manifolds satisfy the basic properties of the L-space conjecture setup (left-orderability, taut foliations, L-spaces defined via Heegaard Floer homology).
    Invoked in the statement of the conjecture and the main results.
  • domain assumption Thurston's universal circle actions, Li's result on laminar branched surfaces, and Rasmussen-Rasmussen's result on L-space intervals apply to the slopes under consideration.
    These are the three external results used to establish slope detection.

pith-pipeline@v0.9.0 · 5780 in / 1426 out tokens · 20542 ms · 2026-05-24T13:34:42.676142+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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.

Forward citations

Cited by 1 Pith paper

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

  1. The isomorphism problem for finitely generated bi-orderable groups

    math.GR 2025-10 unverdicted novelty 7.0

    The isomorphism relation on finitely generated bi-orderable groups is weakly universal.