REVIEW 5 major objections 4 minor 46 references
Characterizing slopes for Legendrian knots
T0 review · 5 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read A rational slope that smoothly characterizes a knot also becomes a contact characterizing slope for its Legendrian representatives, whenever the Legendrian class is determined by tb and rotation number.
desk verdict New bridge criterion with real applications, but the load-bearing d3-sum step in Case 3.1 of Theorem 1.1 is asserted rather than proved; the paper deserves refereeing if the authors can close that gap. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the $d_3$-invariant of each contact 3-manifold produced by a contact $p/q$-surgery, written as a quadratic polynomial in the rotation number of the original Legendrian knot. The Ding–Geiges–Stipsicz algorithm converts a contact $p/q$-surgery diagram into finitely many diagrams of contact $(\pm1)$-surgeries on Legendrian links obtained from $L$ by push-offs and stabilizations; the Durst–Kegel formula then expresses $d_3$ as $\tfrac14 r^T Q^{-1}r + \tfrac12\sum_i \operatorname{sign}_i - \tfrac34\sigma(Q) - \tfrac12$, where $Q$ is the generalized linking matrix. The crucial structural observation is that summing $d_3$ over all expanded diagrams cancels the linear term in the rotation number, because reversing every stabilization sign pairs diagrams and replaces each coefficient $r_i-r$ by its negative. The sums for $L$ and $L'$ therefore agree in their quadratic and constant parts, so equality of the sums forces $r'=r$. In the exceptional opposite-slope case, the same formulas yield conditions such as $6|t+p|$ or $3|p+2t|$ being a sum of two squares, which the smooth surgery comparison rules out by $d$-invariant arguments and modular arithmetic.
What would settle it
Enumerate all expanded $(\pm1)$-surgery diagrams for a concrete case such as contact $\frac23$-surgery on a Legendrian unknot with $\operatorname{tb}=-1$, compute the summed $d_3$-invariant as a polynomial in $\operatorname{rot}(L)$, and check whether the linear coefficient is zero and the quadratic coefficient $(1,\dots,1)Q^{-1}(1,\dots,1)^T$ is non-zero; any failure there would break the comparison that forces $\operatorname{rot}(L')=\operatorname{rot}(L)$. Equivalently, a direct counterexample would be two Legendrian knots with the same $\operatorname{tb}$, different rotation numbers, and contactomorphic $p/q$-surgeries for a slope where $p/q+\operatorname{tb}$ is smoothly characterizing.
Extended reading notes
Core claim
The central claim is Theorem 1.1. Let $L$ be a Legendrian representative of a knot $K\subset S^3$ in the standard contact structure, and let $p/q\neq 0$. If $p/q+\operatorname{tb}(L)$ is a smooth characterizing slope for $K$, and if the collection of contact manifolds obtained by contact $p/q$-surgery on $L$ is contactomorphic to the corresponding collection for another Legendrian knot $L'$, then $L'$ is smoothly isotopic to $L$, with $\operatorname{tb}(L')=\operatorname{tb}(L)$ and $\operatorname{rot}(L')=\operatorname{rot}(L)$. Consequently, whenever the Legendrian isotopy class of $L$ is uniquely determined by $\operatorname{tb}(L)$ and $\operatorname{rot}(L)$, the slope $p/q$ is a contact characterizing slope for $L$. The proof splits into two cases: when the two knots have the same Thurston–Bennequin invariant, a sum of $d_3$-invariants over all expanded surgery diagrams forces equality of rotation numbers; when the surgery slopes are opposite, so that $t+t'=-2p/q$, the same invariants reduce to sum-of-two-squares conditions that are contradicted by the smooth surgery homeomorphism and elementary modular arithmetic.
Load-bearing premise
The proof assumes that when the $d_3$-invariants of all contact structures in the surgery collection are added together, the linear terms in the rotation number cancel exactly because reversing every stabilization sign produces another diagram in the collection, and that the remaining quadratic coefficient is non-zero; neither the bijectivity of that sign-reversal nor the non-vanishing of $(1,\dots,1)Q^{-1}(1,\dots,1)^T$ is proven or cited.
Editorial extensions
If this is right
- Every non-zero rational number is a contact characterizing slope for every Legendrian representative of the unknot, either trefoil, or the figure-eight knot (Corollary 1.3).
- For Legendrian representatives of $5_2$, all non-integral rational slopes characterize, and every non-zero integer $p$ with $p+\operatorname{tb}(L)\leq 0$ characterizes (Corollary 1.4(1)).
- For non-maximal Legendrian representatives of $\overline{5_2}$, all non-integral rational slopes characterize and every integer $p$ with $p+\operatorname{tb}(L)\geq 0$ characterizes; for maximal ones, $-1$ characterizes (Corollary 1.4(2),(3)).
- For Legendrian representatives of $T_{5,-2}$ and $T_{5,2}$, slopes in the stated ranges, with the finite exceptions listed in Corollary 1.5, are contact characterizing.
- The criterion also corrects a previously claimed contactomorphism: the contact $(+6)$-surgeries described in Example 1.9 of [CEK24] cannot actually be contactomorphic (Remark 3.3).
Reading between the lines
- Beyond the paper: whenever new smooth characterizing slopes are discovered for a knot whose Legendrian representatives are determined by their classical invariants, Theorem 1.1 will immediately convert them into contact characterizing slopes; the bottleneck for future examples is Legendrian classification rather than surgery theory.
- Beyond the paper: the proof only needs the multiset of $d_3$-invariants of the two surgery collections, not knowledge of which individual contact structures pair up, so the summing technique may certify non-contactomorphism in other settings where the contactomorphic correspondence is unknown.
- Beyond the paper: the sum-of-two-squares obstructions in Lemmas 3.1 and 3.2 suggest that arithmetic properties of the surgery coefficient control when two Legendrian knots can have contactomorphic surgery collections; a systematic study of other slopes could reveal a general pattern.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves a criterion linking smooth and contact characterizing slopes for Legendrian knots. Theorem 1.1 states that if p/q + tb(L) is a smooth characterizing slope for K and the contact p/q-surgery collections for L and L' are contactomorphic, then L' is smoothly isotopic to L, with tb(L') = tb(L) and rot(L') = rot(L). Under a uniqueness assumption on the classical invariants, p/q becomes a contact characterizing slope. Applications cover the unknot, trefoils, figure-eight knot, 5_2 and its mirror, and the torus knots T_{5,±2}. The proof uses the Ding–Geiges–Stipsicz algorithm, d3-invariant computations, and number-theoretic obstructions (sums of two squares) in Lemmas 3.1 and 3.2.
Significance. The criterion is an elegant bridge from the well-developed theory of smooth characterizing slopes to contact characterizing slopes, and the applications resolve [CEK24, Question 5.4] and provide many new contact characterizing slopes. The number-theoretic lemmas are essentially self-contained and yield clean obstructions. The proof is not circular: it builds on established black boxes such as smooth characterizing slope results, Legendrian simplicity, and d-invariant formulas. However, the central Case 3.1 argument contains several unproved assertions about the sum of d3-invariants over expanded surgery diagrams; until those are supplied, Theorem 1.1 is not fully established.
major comments (5)
- [§3.1, paragraph 'Suppose the contact structures in L(p/q) ...'] The sum D3(L, p/q) is defined as the sum of d3-invariants over all expanded contact (±1)-surgery diagrams produced by the Ding–Geiges–Stipsicz algorithm. A contactomorphism between L(p/q) and L'(p/q) gives a bijection between contact structures, but the paper does not show that the diagram set is a contactomorphism invariant, nor that each contact structure appears with the same multiplicity in the expanded diagram sets for L and L'. Without such a statement, the equality D3(L, p/q) = D3(L', p/q) is not justified.
- [§3.1, linear term of D3] The vanishing of the linear term in D3 is asserted because 'reversing the signs of all stabilizations from L to each Li yields a contact surgery diagram for which r̃_i − r = −(r_i − r)'. This sign-reversal symmetry of the particular expanded diagram set produced by the DGS algorithm is not proved; the algorithm's continued-fraction expansions and the choice of k in the positive-surgery case are not obviously invariant under reversing all stabilizations. A concrete verification or a citation is needed.
- [§3.1, conclusion 'admits a unique non-negative solution'] The conclusion that D3(L, p/q) = D3(L', p/q) forces r' = r requires that the quadratic coefficient N/4 · (1,...,1) Q^{-1} (1,...,1)^T be nonzero. The text only states that the 'leading coefficients' are equal; it never proves the coefficient is nonzero. For an indefinite symmetric matrix Q, this quadratic form can vanish for nonsingular Q (e.g., Q = [[1,1],[1,-1]] has 1^T Q^{-1}1 = 0), in which case the equation has multiple non-negative solutions and Theorem 1.1 does not follow. This is the unique step in Case 3.1 that distinguishes rotation numbers.
- [§3, first case p/q + tb(L) = 0] The formulas for e(L(−t)) and e(L'(−t)) are stated without proof after 'Using Theorem 2.12 and the algorithm...'. These formulas are load-bearing because they yield r = r'. Please provide the derivation, in particular for the t ≤ −1 case involving ±(t+1)^2, and specify the sign conventions and the indexing of the Spin^c structures.
- [Proposition 2.10] In Proposition 2.10, the symmetry d(S^3_{p/2}(K), i) = d(S^3_{p/2}(K), p+1−i) is asserted for i ∈ {0,...,p−1}; for i=0 the right-hand side is p+1, outside the stated range, and the cited formula [OS03, Prop 4.8] as reproduced in the paper yields d(i)=d(p−1−i) rather than d(i)=d(p+1−i) (for example, for p=5). Since the subsequent argument about the unique fixed point and the conclusion p=4l+1 depends on this symmetry, the index convention must be corrected and the proof re-verified.
minor comments (4)
- [Abstract and Introduction] There are several typographical errors, including 'charac terizing' in the abstract and 'Legedrian' on page 1; the manuscript would benefit from a careful proofreading pass.
- [Example 1.6] The notation S4+S−(L1) is hard to parse; please clarify the order and number of stabilizations applied to L1.
- [Theorem 2.12] The definition of the generalized linking matrix Q would be clearer if all entries were written explicitly and if the symmetry of Q in the (±1)-surgery case were stated, since Theorem 2.13 relies on Q being symmetric.
- [Proof of Corollary 1.4(3)] The citation [BEE12, Section 7.3] is used to assert that L(−1) and L̃(−1) are not contactomorphic; please give the precise statement from that reference, as the relevant result may not be immediately evident from the cited section.
Circularity Check
No significant circularity: the main theorem derives a contact-surgery statement from external smooth characterizing-slope results and independent d3-invariant computations.
full rationale
The paper's central result, Theorem 1.1, is not equivalent to any of its inputs by construction. The input is an externally established smooth characterizing-slope statement for K plus contactomorphism of the surgery collections L(p/q) and L'(p/q); the output is smooth isotopy of L' to L and equality of tb and rot. Smooth isotopy follows from the underlying homeomorphism of the surgeries and the cited black-box theorems [KMOS07, OS19, NZ23, BS24]. Equality of rotation numbers is then obtained by a separate calculation using d3-invariants of expanded Ding-Geiges-Stipsicz surgery diagrams, not by restating the assumptions. Corollary 1.2 uses Legendrian simplicity as an external classification input (e.g., [EF98, EH01, ENV13]), and it is applied only after Theorem 1.1 has already established equality of the classical invariants; this is an implication, not a definitional shortcut. No parameter is fitted to data and no quantity is renamed as a prediction. The cited results from the literature are used as black boxes rather than as premises supplied by the present authors. The only potentially problematic step is the unproved claim in Case 3.1 that the linear terms in the summed d3-invariants cancel and that the quadratic coefficient is nonzero; that is a gap in proof or an unsupported hypothesis, but not circularity, because the equality rot(L')=rot(L) is not assumed and is not forced by the smooth characterizing-slope input alone. Consequently, there is no self-definition, no fitted-input-called-prediction, and no load-bearing self-citation chain; the appropriate circularity score is 0.
Assumptions & free parameters
assumptions (5)
- domain assumption The smooth characterizing slope theorems for unknot, trefoils, figure-eight, 5_2, and torus knots are correct.
- domain assumption The d-invariant formula of Ni-Wu and the d3-invariant formulas of Ding-Geiges-Stipsicz and Durst-Kegel are correct.
- domain assumption Legendrian simplicity of unknot, trefoils, figure-eight, 5_2 and torus knots is correct.
- ad hoc to paper The set of expanded contact (±1)-surgery diagrams for L(p/q) is closed under reversing all stabilization signs.
- ad hoc to paper The quadratic coefficient (1,...,1)Q^{-1}(1,...,1)^T in the d3-sum is nonzero for the slopes considered.
Cite this review
Pith. "Pith review of Characterizing slopes for Legendrian knots." pith.science (2026). https://pith.science/paper/MUXGAIG5
@misc{pith2026260806079,
author = {Pith},
title = {Pith review of: Characterizing slopes for Legendrian knots},
year = {2026},
howpublished = {\url{https://pith.science/paper/MUXGAIG5}},
note = {Machine review of arXiv:2608.06079}
}
abstract
We establish a criterion relating smooth and contact characterizing slopes under a uniqueness assumption. Let $L$ be a Legendrian representative of a knot $K\subset S^3$ with standard contact structure, and assume that the isotopy class of $L$ is uniquely determined by its classical invariants: the Thurston--Bennequin invariant $tb(L)$ and the rotation number. Then, for any non-zero rational number $r$, if $r+tb(L)$ is a smooth characterizing slope for $K$, it becomes a contact characterizing slope for $L$. As applications, we study the characterizing slopes for Legendrian representatives of the unknot, trefoil, figure-eight knot, cinquefoil, $5_2$, and $\overline{5_2}$.
Figures
Figures from the paper (2 more)
Reference graph
Works this paper leans on
-
[1]
Baldwin, John A. and Sivek, Steven , TITLE =. J. Lond. Math. Soc. (2) , FJOURNAL =. 2024 , NUMBER =. doi:10.1112/jlms.12951 , URL =
-
[2]
Casals, Roger and Etnyre, John and Kegel, Marc , TITLE =. Math. Ann. , FJOURNAL =. 2024 , NUMBER =
work page 2024
-
[3]
Conway, James , TITLE =. Topology Appl. , FJOURNAL =. 2019 , PAGES =. doi:10.1016/j.topol.2019.05.003 , URL =
-
[4]
Ding, Fan and Geiges, Hansj\"org , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2001 , PAGES =. doi:10.2140/agt.2001.1.153 , URL =
-
[5]
Geometry, topology, and dynamics (
Eliashberg, Yakov and Fraser, Maia , TITLE =. Geometry, topology, and dynamics (. 1998 , ISBN =. doi:10.1090/crmp/015/02 , URL =
-
[7]
Etnyre, John B. and Honda, Ko , TITLE =. J. Symplectic Geom. , FJOURNAL =. 2001 , NUMBER =. doi:10.4310/jsg.2001.v1.n1.a3 , URL =
-
[8]
Etnyre, John B. and Ng, Lenhard L. and V\'ertesi, Vera , TITLE =. J. Eur. Math. Soc. (JEMS) , FJOURNAL =. 2013 , NUMBER =. doi:10.4171/JEMS/383 , URL =
-
[9]
Geiges, Hansj\"org , TITLE =. 2008 , PAGES =. doi:10.1017/CBO9780511611438 , URL =
Show all 46 references
-
[10]
Geiges, Hansj\"org and Onaran, Sinem , TITLE =. J. Symplectic Geom. , FJOURNAL =. 2015 , NUMBER =. doi:10.4310/JSG.2015.v13.n1.a2 , URL =
2015 doi
-
[11]
Gordon, C. McA. and Luecke, J. , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 1989 , NUMBER =. doi:10.2307/1990979 , URL =
1989 doi
-
[12]
Hardy, G. H. and Wright, E. M. , TITLE =. 2008 , PAGES =
2008
-
[13]
and Kegel, M
Durst, S. and Kegel, M. , TITLE =. Acta Math. Hungar. , FJOURNAL =. 2016 , NUMBER =. doi:10.1007/s10474-016-0660-8 , URL =
2016 doi
-
[14]
Ni, Yi and Wu, Zhongtao , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2015 , PAGES =. doi:10.1515/crelle-2013-0067 , URL =
2015 doi
-
[15]
2003 , PAGES =
Rasmussen, Jacob Andrew , TITLE =. 2003 , PAGES =
2003
- [16]
-
[17]
Ding, Fan and Geiges, Hansj\"org , TITLE =. Math. Proc. Cambridge Philos. Soc. , FJOURNAL =. 2004 , NUMBER =
2004
-
[18]
, TITLE =
Lisca, Paolo and Stipsicz, Andr\'as I. , TITLE =. Pacific J. Math. , FJOURNAL =. 2006 , NUMBER =. doi:10.2140/pjm.2006.228.277 , URL =
2006 doi
-
[19]
Owens, Brendan and Strle, Sa so , TITLE =. Amer. J. Math. , FJOURNAL =. 2012 , NUMBER =. doi:10.1353/ajm.2012.0026 , URL =
2012
-
[20]
and Mrowka, T
Kronheimer, P. and Mrowka, T. and Ozsv\'ath, P. and Szab\'o, Z. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2007 , NUMBER =
2007
-
[21]
Ozsv\'ath, Peter and Szab\'o, Zolt\'an , TITLE =. J. Symplectic Geom. , FJOURNAL =. 2019 , NUMBER =
2019
-
[22]
Proceedings of the
Luecke, John , TITLE =. Proceedings of the. 1995 , ISBN =
1995
-
[23]
1990 , type =
Rolfsen, Dale , title =. 1990 , type =
1990
-
[24]
, TITLE =
Wallace, Andrew H. , TITLE =. J. Math. Mech. , FJOURNAL =. 1963 , PAGES =
1963
-
[25]
Lickorish, W. B. R. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1962 , PAGES =
1962
-
[26]
Contact and symplectic topology , SERIES =
Massot, Patrick , TITLE =. Contact and symplectic topology , SERIES =. 2014 , ISBN =
2014
-
[27]
Ni, Yi and Zhang, Xingru , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2014 , NUMBER =. doi:10.2140/agt.2014.14.1249 , URL =
2014 doi
-
[28]
Ni, Yi and Zhang, Xingru , TITLE =. J. Knot Theory Ramifications , FJOURNAL =. 2023 , NUMBER =. doi:10.1142/S0218216523500232 , URL =
2023 doi
-
[29]
1983 , PAGES =
Jankins, Mark and Neumann, Walter D , TITLE =. 1983 , PAGES =. doi:, URL =
1983
-
[30]
, TITLE =
Eliashberg, Y. , TITLE =. Invent. Math. , FJOURNAL =. 1989 , NUMBER =
1989
-
[31]
, TITLE =
Ding, Fan and Geiges, Hansj\"org and Stipsicz, Andr\'as I. , TITLE =. Turkish J. Math. , FJOURNAL =. 2004 , NUMBER =
2004
-
[32]
and Kegel, M
Durst, S. and Kegel, M. , TITLE =. Acta Math. Hungar. , FJOURNAL =. 2016 , NUMBER =
2016
-
[33]
, TITLE =
Gompf, Robert E. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1998 , NUMBER =
1998
-
[34]
Gabai, David , TITLE =. J. Differential Geom. , FJOURNAL =. 1987 , NUMBER =
1987
-
[35]
Gordon, C. McA. and Luecke, J. , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 1989 , NUMBER =
1989
-
[36]
Etnyre, John and Kegel, Marc and Onaran, Sinem , TITLE =. J. Symplectic Geom. , FJOURNAL =. 2023 , NUMBER =
2023
-
[37]
Algebraic & Geometric Topology , volume=
Non-characterizing slopes for hyperbolic knots , author=. Algebraic & Geometric Topology , volume=
-
[38]
Honda, Ko , TITLE =. Geom. Topol. , FJOURNAL =. 2000 , PAGES =
2000
-
[39]
Reidemeister, Kurt , TITLE =. Abh. Math. Sem. Univ. Hamburg , FJOURNAL =. 1935 , NUMBER =. doi:10.1007/BF02940717 , URL =
1935 doi
-
[40]
Giroux, Emmanuel , TITLE =. Invent. Math. , FJOURNAL =. 2000 , NUMBER =
2000
-
[41]
Eliashberg, Yakov and Fraser, Maia , TITLE =. J. Symplectic Geom. , FJOURNAL =. 2009 , NUMBER =
2009
-
[42]
Kirby, Robion , TITLE =. Invent. Math. , FJOURNAL =. 1978 , NUMBER =
1978
-
[43]
Pacific J
Moser, Louise , TITLE =. Pacific J. Math. , FJOURNAL =. 1971 , PAGES =
1971
-
[44]
Ozsv\'ath, Peter and Szab\'o, Zolt\'an , TITLE =. Adv. Math. , FJOURNAL =. 2003 , NUMBER =. doi:, URL =
2003
-
[45]
Ozsv\'ath, Peter and Szab\'o, Zolt\'an , TITLE =. J. Symplectic Geom. , FJOURNAL =. 2019 , NUMBER =. doi:10.4310/JSG.2019.v17.n1.a6 , URL =
2019 doi
-
[46]
2024 , journal =
Wan, Shunyu and Zhou, Hugo , title =. 2024 , journal =
2024
-
[47]
Bourgeois, Fr\'ed\'eric and Ekholm, Tobias and Eliashberg, Yasha , TITLE =. Geom. Topol. , FJOURNAL =. 2012 , NUMBER =. doi:10.2140/gt.2012.16.301 , URL =
2012 doi
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.