---
title: Distance One Surgeries in 3-Manifolds
url: https://www.emergentmind.com/topics/distance-one-surgeries
type: topic
---

# Distance One Surgeries in 3-Manifolds

A distance one surgery is a type of Dehn surgery along a knot in a 3-manifold where the surgery slope has geometric intersection number one with the meridian. Such surgeries are fundamental in both the theory of 3-manifold transformations and in topological models of natural reconnection processes. The detailed classification of which 3-manifolds can be obtained from others by a single distance one surgery leads to deep constraints, particularly among lens spaces and Seifert fibered spaces.

## 1. Fundamental Definitions and Concepts

Given a knot $K$ in an oriented 3-manifold $Y$ with tubular neighborhood $\nu(K)$, each slope on $\partial\nu(K)$ corresponds to a primitive element $p\mu + q\lambda$ ($\mu$: meridian, $\lambda$: longitude, $\gcd(p, q)=1$) and is often encoded by $p/q$. The geometric intersection number between two slopes $p/q, r/s$ is $\Delta(p/q, r/s) = |ps - qr|$. A Dehn surgery with slope $\gamma$ is called a distance one surgery if $\Delta(\gamma, \mu) = 1$, i.e., $\gamma$ meets the meridian in a single point.

Distance one surgeries are equivalent to integral surgeries when considered in the appropriate basis. If $K \subset L(p,1)$ is a knot in a lens space and $[K] \in H_1(L(p,1)) \cong \mathbb{Z}/p$, $K$ is called homologically essential if $[K] \ne 0$, with winding number $k$ measuring its class.

## 2. Classification Theorems for Distance One Surgeries on Lens Spaces

The recent classification results center on lens spaces of the form $L(n,1)$ and which lens spaces $L(s,1)$ can be obtained from a single distance one surgery. The central results are as follows.

### Table: Allowable Distance One Surgeries Between $L(n,1)$ Spaces

| Initial Lens Space | Target After Distance One Surgery | Realization Status         |
|--------------------|-----------------------------------|----------------------------|
| $L(n,1)$           | $L(\pm1, 1)$                      | Realized                   |
| $L(n,1)$           | $L(n, 1)$                         | Trivial (identity)         |
| $L(n,1)$           | $L(n-1, 1)$                       | Realized                   |
| $L(n,1)$           | $L(n-4, 1)$                       | Realized                   |
| $L(5,1)$           | $L(-5,1),\ L(-9, 1)$              | Realized                   |
| $L(9,1)$           | $L(-5,1),\ L(-9, 1)$              | Open/Exceptional           |
| $L(10,1)$          | $L(-10, 1)$                       | Open/Exceptional           |
| $L(14,1)$          | $L(-10, 1)$                       | Open/Exceptional           |

This table collates the combinatorial possibilities as described in [2504.02325], [2108.06199], and [1906.00381]. Most cases are realized by explicit constructions; four remain open with no known band-move realization ([2504.02325], Theorem 1.1).

For lens spaces of type $L(p,1) \to L(q,2)$, the situation is more restrictive. Aside from three infinite explicit families and 21 sporadic pairs, no other cases arise for $|q|>7$ ([2601.10377]).

## 3. Surgery Formulas and Floer Theoretic Obstructions

The key obstructions and computational tools are provided by Heegaard Floer theory and associated $d$-invariant formulas.

- For null-homologous knots in $L(n,1)$: The Ni–Wu formula states 
  $$ d(Y_m(K), t') = d(Y,t) + d(L(m,1),i)  - 2 N_{t,i}, $$
  with $N_{t,i}$ derived from knot Floer local invariants.

- For homologically essential knots: The mapping cone formula applies, encoding the Heegaard Floer complex as a filtered mapping cone with $V_\xi, H_\xi$ controlling the tower structures and grading shifts ([2108.06199], [1906.00381], [2504.02325]).

- For $L$-space knots, the $d$-invariant surgery formula ([2504.02325]) gives
  $$
  d(Y_\gamma(K), s)  =  d(Y_\gamma(K'), s) - 2N(K, \gamma, \xi),
  $$
  where $K'$ is Floer-simple with the same homology class.

Plumbing techniques and Casson–Walker invariants are also employed to bound possibilities and eliminate spurious candidates ([1906.00381], [2601.10377]).

## 4. Explicit Constructions, Band Surgeries, and Biological Relevance

Distance one surgeries correspond closely to band surgeries between links in $S^3$, via the Montesinos trick: a band move $T(2,n) \to T(2,s)$ lifts to a distance one surgery $L(n,1) \to L(s,1)$. The enumeration of single band-move transitions is thus governed by the same classification as lens space surgeries ([1710.07418], [2108.06199], [2504.02325]).

This mechanism models local DNA reconnection (site-specific recombination) in biology, with the knotting type of circular DNA or substrates predicting which transformations are feasible in a single recombination. Only finitely many transitions from, e.g., the trefoil to $T(2,n)$ torus knots are possible by a single band, reflecting experimental findings ([1710.07418]).

## 5. Seifert Fibered Surgeries and the Seifert Surgery Network

A parallel paradigm is the Seifert Surgery Network, a 1-complex whose vertices are Seifert surgeries on knots in $S^3$, with edges corresponding to single twistings (i.e., distance one moves) along "seiferters" (unknotted curves that become fibers in the surgered manifold) or annular pairs ([1202.4211]). The importance of single-twist moves is highlighted by:

- The algorithmic construction of seiferters using branched covers of tangles and leading-arc detection.
- The connectivity of all three infinite EM-families of Seifert surgeries via explicit finite sequences of distance one moves to torus-knot surgeries.

This framework systematizes the approach to networking, reducing complex surgeries to basic combinatorial paths in the network ([1202.4211]).

## 6. Distance One Surgeries to $L(q,2)$ and Arithmetic Constraints

For transformations of the form $L(p,1) \to L(q,2)$, distance one surgery is severely constrained:

- The only infinite families realized correspond to $q=2p-1$, $2p+1$, $2p-9$.
- Besides these, only 21 exceptional parameter pairs $(p, q)$ satisfy all diophantine and Floer-theoretic constraints ([2601.10377]).
- The arithmetic is controlled by difference equations among $d$-invariants for Seifert fibered intermediates, strictly bounding possible transitions.

The computational method combines explicit computations of $d$-invariants in both lens spaces (using Ozsváth–Szabó formulas) and small Seifert fibered spaces, along with difference inequalities and Casson–Walker sign tests.

## 7. Open Problems, Future Directions, and Impact

Despite the completeness of the obstruction theory, two key areas remain open:

- Realizability: For some exceptional or arithmetically allowed $(n, s)$ pairs, it is unknown whether a distance one surgery (or band-move) construction exists ([2504.02325], [2601.10377]).
- Chirally cosmetic bandings: Only for $T(2,n)$ with $n=1,5,9,10$ are such transformations possible, confirming and extending classic results ([2504.02325]).

In the context of DNA topology, these results tightly constrain single-event recombination pathways, lending predictive power to models of recombinase action. In 3-manifold topology, the classification of distance one surgeries via Floer-theoretic invariants provides a template for more general surgery and band-move problems in knot theory.

---

**References**

- [2504.02325]: "Surgeries between lens spaces of type $L(n,1)$ and the Heegaard Floer $d$-invariant"
- [2601.10377]: "On surgeries from lens space $L(p,1)$ to $L(q,2)$"
- [1906.00381]: "Studies of distance one surgeries on the lens space $L(p,1)$"
- [2108.06199]: "Distance one surgeries on the lens space $L(n,1)$"
- [1710.07418]: "Distance one lens space fillings and band surgery on the trefoil knot"
- [1202.4211]: "Networking Seifert Surgeries on Knots IV: Seiferters and branched coverings"

Source: https://www.emergentmind.com/topics/distance-one-surgeries