Bennequin Sharpness Problem

• The Bennequin Sharpness Problem is defined by the equality cases in Bennequin-type inequalities linking the self-linking number with invariants like slice genus, s-, and tau-invariants.
• It highlights differing sharpness: while slice-Bennequin defects can grow arbitrarily, refined s- and tau-invariants often remain sharp even in non-quasipositive examples.
• This topic bridges contact geometry and knot theory by classifying knots via braid representations, strong quasipositivity, and concordance invariants.

The Bennequin Sharpness Problem centers on the equality cases of the Bennequin inequality, which bounds classical knot invariants arising in contact topology by key topological and concordance invariants. Specifically, the problem seeks to classify knots and links for which this bound is sharp, i.e., for which the maximal self-linking number or Thurston–Bennequin invariant realizes the lower bound given by Euler characteristic or related four-dimensional invariants. The sharpness problem is intimately related to quasipositivity, strong quasipositivity, braid index, and knot homology—in particular through the slice-Bennequin, $s$-Bennequin, and $\tau$-Bennequin inequalities. The hierarchy of these inequalities and their defects reveals subtle distinctions in the structure of the knot concordance and contact-geometric invariants.

1. Formulation of Bennequin-Type Inequalities

For a transverse knot $K \subset (S^3, \xi_{\mathrm{std}})$, the classical invariants of interest include the self-linking number $sl(K)$ and the maximal self-linking $$SL(K) = \max\{ sl(K') \mid K' \text{ transverse of type } K \}$$. Three principal Bennequin-type inequalities govern the maximal self-linking in terms of topological and concordance invariants:

• Slice-Bennequin Inequality:

$sl(K) \leq 2g_4(K) - 1$, where $g_4(K)$ denotes the slice genus (minimal genus of a smooth surface in $B^4$ bounding $K$).

• $s$-Bennequin Inequality:

$sl(K) \leq s(K) - 1$, with $s(K)$ the Rasmussen invariant from Khovanov–Lee homology.

• $\tau$-Bennequin Inequality:

$sl(K) \leq 2\tau(K) - 1$, where $\tau(K)$ is the Ozsváth–Szabó tau-invariant from knot Floer homology.

These inequalities admit associated defects: $$\delta_4(K) = \frac{1}{2}\big( (2g_4(K) - 1) - SL(K) \big )$$, $$\delta_s(K) = \frac{1}{2}\big( (s(K) - 1) - SL(K) \big )$$, $$\delta_\tau(K) = \frac{1}{2}\big( (2\tau(K) - 1) - SL(K) \big )$$.

2. Defect, Sharpness, and Quasipositivity

The defect, as first set out for the Bennequin–Eliashberg inequality (Ito et al., 2017), quantifies how far a transverse knot/link is from achieving equality. In $(S^3, \xi_{\mathrm{std}})$, the defect is $\delta(T) = \frac{1}{2}(-\chi(T) - sl(T))$ where $\chi(T)$ is the maximal Euler characteristic among surfaces bounding $T$. This defect admits a geometric realization: for a braid presentation, the defect equals the minimal number of negatively twisted bands in a Bennequin surface spanning $T$. Thus:

• $\delta(T) = 0$ iff there exists a strongly quasipositive braid presentation (i.e., only positive bands), tightly connecting sharpness with strong quasipositivity.

Large fractional Dehn twist coefficient (FDTC) in planar open-book decompositions controls sharpness: for $c(\phi,K,C) > 1$, defect vanishes precisely when the representative is strongly quasipositive, and for $c > \frac{\delta(T)}{2}+1$, the Bennequin surface realizes exactly $\delta(T)$ negative bands (Ito et al., 2017).

3. Explicit Constructions: Infinite Families and Hierarchies

Aceves–Kawamuro–Truong constructed explicit infinite families $\{K_n\}$ of non-quasipositive knots where the slice-Bennequin defect grows arbitrarily large, but both $s$- and $\tau$-Bennequin bounds are sharp (Aceves et al., 2020). For these knots:

• $g_4(K_n) = n$
• $SL(K_n) = -2n - 1$
• $s(K_n) = -2n$
• $2\tau(K_n) = -2n$

Thus, $(2g_4(K_n)-1)-SL(K_n)=4n \to \infty$, but $SL(K_n) = s(K_n)-1 = 2\tau(K_n)-1$. The defects $\delta_4(K_n)$ grow without bound, while $\delta_s(K_n) = \delta_\tau(K_n) = 0$.

This demonstrates that sharpness of the $s$- and $\tau$-Bennequin inequalities is not exclusive to strongly quasipositive knots—even highly non-quasipositive examples can be sharp for these refined bounds, but not for the slice-Bennequin inequality.

4. Relations to Quasipositivity and Knot Classifications

Strongly quasipositive knots are precisely those admitting sharpness in the Bennequin (and Thurston–Bennequin) inequalities (Hamer et al., 2018). For knots of braid index three and for homogeneous links, sharpness, strong quasipositivity, and positivity coincide. The classification up to 12 crossings shows:

• All knots with $\delta_3 = 0$ are strongly quasipositive.
• Knots with $\delta_3=1$ are non-alternating, quasipositive, but not strongly so.
• For $\delta_3 > 1$ but $\delta_4 = 0$, knots are quasipositive, substantiating the conjecture that $\delta_4=0$ forces quasipositivity.

Key open problems remain: characterizing all knots with $\delta_4=0$ and understanding whether $\delta_4=1$ implies “almost quasipositivity,” as addressed in comprehensive census studies (Hamer et al., 2018).

5. Special Cases: Torus Links and Polynomials

Modern approaches leverage panhandle polynomials and the $\ell$-invariant to classify Bennequin sharpness for broad families such as torus links (Mironov et al., 28 Dec 2025). For torus links $T_{m,n}$ (with $l = \gcd(m,n)$):

• $\overline{tb}(T_{m,n})$ matches $-\chi_{\max}(T_{m,n})$ for torus knots and theorized for links.
• $\ell(T_{m,n}) = m+n$ matches the arc index and is used to control Bennequin sharpness.
• Minimal string Bennequin surfaces with only positive bands exist for all torus links; equivalence of strong quasipositivity and quasipositivity holds in this class.

For cable links and doubled knots, the Bennequin sharpness is often controlled via the $\ell$-invariant: positive Whitehead doubles realize sharpness exactly when they are strongly quasipositive.

6. Concordance Invariants and Refined Inequalities

The interplay of contact and concordance invariants is central to the hierarchy of sharpness phenomena. The tau-invariant $\tau(K)$ from knot Floer homology and the Rasmussen $s$-invariant both supply refined bounds:

• For strongly quasipositive/positive links, the inequalities admit equality: $\mathrm{sl}(T) = 2\tau(L) - n$, $\mathrm{sl}(T) = s(L) - 1$.
• The distinction between sharpness for $g_4$, $s$, and $\tau$ illuminates subtleties in knot concordance.

Some transverse invariants (e.g., Plamenevskaya’s Khovanov invariant $\psi(K)$, Ozsváth–Szabó–Thurston’s $\hat\theta(K)$) fail to detect non-quasipositivity in families with large slice-Bennequin defect, indicating nontrivial limitations in current invariants.

7. Perspectives and Open Problems

Recent research clarifies that sharpness in the Bennequin inequalities is essentially governed by strong quasipositivity under suitable geometric or monodromy constraints. Explicit counterexamples show that the slice-Bennequin bound can fail dramatically, whereas more refined invariants recover equality. Principal open questions focus on:

• Existence and construction of contact-Floer-type invariants detecting positive slice-Bennequin defect.
• Systematic characterization of families with sharpness in subsets of the Bennequin inequalities.
• Complete classification of knots by defect values and their geometric/topological interpretations.

These developments and unresolved conjectures are advancing the understanding of the deep connections between contact geometry, knot concordance, braid theory, and 4-dimensional topology.