Strongly quasipositive quasi-alternating links and Montesinos links
Pith reviewed 2026-05-24 15:34 UTC · model grok-4.3
The pith
An oriented quasi-alternating link is definite if and only if it is strongly quasipositive when its 0-resolution at a quasi-alternating crossing is alternating, up to mirroring.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The paper shows that if L is an oriented quasi-alternating link with a quasi-alternating crossing c such that L0 is alternating (with induced orientation), then L is definite if and only if it is strongly quasipositive up to mirroring. It further shows the equivalence when L0 is fibred or has a unique minimal genus Seifert surface. The results are used to detect new classes of strongly quasipositive Montesinos links and non-strongly quasipositive Montesinos links.
What carries the argument
The 0-resolution L0 at a quasi-alternating crossing, whose alternating or unique-minimal-genus-Seifert-surface property converts definiteness of L into strong quasipositivity of L.
If this is right
- Montesinos links satisfying the alternating-resolution condition can be classified as strongly quasipositive or not by checking definiteness.
- The equivalence extends directly to the case where the 0-resolution is fibred.
- Any quasi-alternating link with a unique-minimal-genus 0-resolution inherits the same definite-strongly-quasipositive equivalence.
- The characterization supplies a method to produce infinite families of Montesinos links that are strongly quasipositive.
Where Pith is reading between the lines
- The result may allow computation of the four-ball genus for these Montesinos links via their Seifert forms.
- Similar resolution arguments could be tested on other link families such as pretzel links.
- The equivalence suggests that definiteness might serve as a practical proxy for strong quasipositivity when the 0-resolution condition holds.
Load-bearing premise
The 0-resolution L0 at the chosen quasi-alternating crossing must be alternating or have a unique minimal genus Seifert surface.
What would settle it
An explicit oriented quasi-alternating link whose 0-resolution at some quasi-alternating crossing is alternating, yet the link is definite but not strongly quasipositive (or the mirror is not), would falsify the claimed equivalence.
read the original abstract
The aim of this article is to give a characterization of strongly quasipositive quasi-alternating links and detect new classes of strongly quasipositive Montesinos links and non-strongly quasipositive Montesinos links. In this direction, we show that, if $L$ is an oriented quasi-alternating link with a quasi-alternating crossing $c$ such that $L_0$ is alternating (where $L_0$ has the induced orientation), then $L$ is definite if and only if it is strongly quasipositive (up to mirroring). We also show that if $L$ is an oriented quasi-alternating link with a quasi-alternating crossing $c$ such that $L_0$ is fibred or more generally has a unique minimal genus Seifert surface (where $L_0$ has the induced orientation), then $L$ is definite if and only if it is strongly quasipositive (up to mirroring).
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript characterizes strongly quasipositive quasi-alternating links by proving two conditional equivalences: if L is an oriented quasi-alternating link with a quasi-alternating crossing c such that the 0-resolution L0 (with induced orientation) is alternating, then L is definite if and only if it is strongly quasipositive (up to mirroring); a parallel equivalence holds when L0 is fibred or has a unique minimal-genus Seifert surface. The paper additionally identifies new classes of strongly quasipositive Montesinos links and non-strongly quasipositive Montesinos links.
Significance. If the stated equivalences hold, the work supplies a concrete criterion linking definiteness and strong quasipositivity for a subclass of quasi-alternating links, which may simplify detection of these properties and yield further examples among Montesinos links. The explicit conditioning on the resolution L0 avoids overclaiming generality.
major comments (1)
- The abstract and introduction assert the two equivalences and new Montesinos classes, but the manuscript supplies no explicit verification steps, edge-case checks, or counterexample searches for the Montesinos applications; a concrete example computation (e.g., a specific Montesinos link with the stated crossing) would be needed to confirm the new classes are correctly identified.
minor comments (2)
- Notation for the 0-resolution L0 and the induced orientation should be defined once at first use rather than repeated in each theorem statement.
- The phrase 'up to mirroring' appears in both equivalences; clarify whether the mirroring is applied to L or to the definiteness/strong-quasipositivity property.
Simulated Author's Rebuttal
We thank the referee for the careful reading and the recommendation for minor revision. We address the single major comment below.
read point-by-point responses
-
Referee: The abstract and introduction assert the two equivalences and new Montesinos classes, but the manuscript supplies no explicit verification steps, edge-case checks, or counterexample searches for the Montesinos applications; a concrete example computation (e.g., a specific Montesinos link with the stated crossing) would be needed to confirm the new classes are correctly identified.
Authors: The two equivalences are established by complete proofs in Theorems 1.1 and 1.2. The new Montesinos classes are obtained by verifying that certain Montesinos links satisfy the hypotheses on the resolution L0 (alternating, or fibred/unique minimal-genus Seifert surface) and then applying the theorems. We agree, however, that an explicit computational example would make the identification of these classes more transparent. In the revised manuscript we will insert a concrete Montesinos example (with the quasi-alternating crossing c, the induced orientation on L0, and direct checks of definiteness and strong quasipositivity) to illustrate the application. revision: yes
Circularity Check
No significant circularity; derivation is self-contained
full rationale
The paper states a conditional characterization theorem: under the explicit hypothesis that L0 is alternating (or fibred with unique minimal-genus Seifert surface), an oriented quasi-alternating link L is definite if and only if it is strongly quasipositive (up to mirroring). Both 'definite' and 'strongly quasipositive' are standard, independently defined knot-theoretic properties; the abstract and stated claims give no indication that either is defined in terms of the other, that a parameter is fitted and then renamed as a prediction, or that the central equivalence rests on a self-citation chain. The result is therefore a conventional mathematical equivalence proved under stated assumptions rather than a reduction by construction.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.