Braids, knots and contact structures

Joan S. Birman

2004-03-29

Abstract: These notes were prepared to supplement the talk that I gave on Feb 19, 2004, at the First East Asian School of Knots and Related Topics, Seoul, South Korea. In this article I review aspects of the interconnections between braids, knots and contact structures on Euclidean 3-space. I discuss my recent work with William Menasco (arXiv

Geometric Topology,Differential Geometry

What problem does this paper attempt to address?

The problem this paper attempts to address is whether there exist transverse knot types that have the same topological knot type and the same Bennequin invariant but are distinct from each other. Specifically, the authors Joan S. Birman and William Menasco collaborated to prove the existence of such transverse knot types in three-dimensional Euclidean space.

### Background and Motivation

1. **Relationship between Transverse Knots and Topological Knots**:
- Transverse knots are knots that intersect the contact plane field everywhere under a contact structure.
- Topological knots are smooth embeddings of a circle in three-dimensional space.
- A natural question is: Are there two distinct transverse knots that have the same topological knot type and the same Bennequin invariant but cannot be transformed into each other through transverse isotopy?

2. **Bennequin Invariant**:
- The Bennequin invariant is an important invariant of transverse knots, defined as the algebraic crossing number of the transverse knot minus the braid index.
- This invariant can be used to distinguish different types of transverse knots.

### Main Contributions of the Paper

1. **Main Theorem**:
- **Theorem 6**: There exist transverse knot types that have the same topological knot type and the same Bennequin invariant but are not transversely isotopic.
- Specific example: The transverse closures of the 3-braids \( \sigma_1^5 \sigma_2^4 \sigma_1^6 \sigma_2^{-1} \) and \( \sigma_1^5 \sigma_2^{-1} \sigma_1^6 \sigma_2^4 \) define two transverse knot types \( T_X^+ \) and \( T_X^- \), which have the same topological knot type and the same Bennequin invariant, but \( T_X^+ \neq T_X^- \).

2. **Proof Method**:
- The authors used a variant of the Markov Theorem (MTWS), specifically the Markov Theorem Without Stabilization.
- By analyzing the exchange moves and destabilizations of these braids, they proved that there is no transverse isotopy that transforms \( T_X^+ \) into \( T_X^- \).

### Conclusion

Through specific examples and detailed proofs, this paper demonstrates that there indeed exist transverse knot types in three-dimensional Euclidean space that have the same topological knot type and the same Bennequin invariant but are distinct from each other. This result deepens the understanding of transverse knot theory and provides new directions for further research.