Equivariant Knot Surgery Formula

• Equivariant knot surgery formulas integrate symmetry data—like involutions and deck transformations—into surgical constructions to define refined topological invariants.
• They utilize diverse methodologies, including Floer homology, configuration space integrals, and colored knot frameworks, to express surgery variations algebraically and geometrically.
• These formulas underpin significant applications such as proving cosmetic surgery constraints, establishing universality in finite-type invariants, and advancing equivariant homology cobordism studies.

The expression equivariant knot surgery formula is used for several related but non-identical constructions in low-dimensional topology. In the sources considered here, it refers to formulas in which a surgery description is enhanced by symmetry data: an involution on a knot or link, the deck transformation action on an infinite cyclic cover, an induced action on Floer complexes, or a surgery presentation constrained by a coloring representation. The resulting formulas may identify a surgered manifold with a branched cover of a rational tangle filling, describe the variation of a diagram-valued invariant under Lagrangian-preserving surgery, intertwine a surgery complex with a diffeomorphism action, or encode allowed surgeries by algebraic data on a Seifert surface (Kotelskiy et al., 2021, Lescop, 2013, Mallick, 2022, Hendricks et al., 17 Jul 2025, Moskovich, 2011).

1. Meanings of equivariance in knot surgery

The adjective equivariant is not uniform across these papers. In the strongly invertible setting, equivariance means compatibility with an involution of $S^3$ that preserves the knot setwise and reverses its orientation; surgery and the resulting diffeomorphism are required to intertwine the induced involutions on the surgered manifolds (Kotelskiy et al., 2021). In Lescop’s configuration-space invariants, equivariance refers instead to the infinite cyclic cover of the knot exterior and the deck transformation action encoded by a variable $t$; the relevant surgery formulas are written in terms of equivariant linking numbers and beaded Jacobi diagrams (Lescop, 2013, Lescop, 2010).

In Heegaard Floer theory, two different equivariant regimes appear. One is geometric: an order-$2$ symmetry $\tau$ of a knot induces maps on $CFK^\infty$ and on large surgeries, and the large surgery formula identifies these actions (Mallick, 2022). The other is involutive: the surgery package is refined to a $\mathbb Z_2$-equivariant analogue built from the involution $\iota$, yielding a surgery exact triangle and an involutive mapping cone formula over $\mathbb F[[U]][Q]/(Q^2)$ (Hendricks et al., 2020). A later bordered formulation proves an equivariant version of the Heegaard Floer link surgery formula and specializes it to an equivariant knot surgery formula for strongly framed knots, with orientation-reversing symmetries encoded by the elliptic involution bimodule (Hendricks et al., 17 Jul 2025).

A different usage appears for metabelian-colored knots. There, the paper does not state a single theorem literally named an equivariant knot surgery formula, but it gives a surgery framework in which $\rho$-equivalence is generated by surgery on $\pm1$-framed unknots lying in the kernel of the coloring, and the surgery problem is translated into algebraic constraints on surface data $t$0 (Moskovich, 2011).

2. Strong inversions, quotient tangles, and branched-cover surgery

For a strongly invertible knot $t$1, the fixed set $t$2 is an unknot meeting $t$3 in two points. On the knot exterior $t$4, the quotient by the involution is a 3-ball $t$5, and the image of the fixed arcs is a four-ended Conway tangle $t$6. In this setting the paper “Cosmetic operations and Khovanov multicurves” formulates the surgery correspondence by the explicit branched-cover identity

$t$7

where $t$8 is the rational tangle of slope $t$9 (Kotelskiy et al., 2021).

This formula is the precise topological mechanism behind the paper’s equivariant cosmetic surgery theorem. If $2$0 denotes the extension of the boundary hyperelliptic involution to $2$1, then the theorem states that for a non-trivial strongly invertible knot $2$2, an orientation-preserving diffeomorphism

$2$3

satisfying

$2$4

forces $2$5 (Kotelskiy et al., 2021). The equivalent downstairs statement is that if a Conway tangle $2$6 has unknot closure and the rational fillings $2$7 and $2$8 are isotopic in $2$9, then $\tau$0 or $\tau$1 is rational. The paper explicitly states that these two theorems are equivalent by taking two-fold branched covers.

The proof architecture has two distinct ingredients. First, Hanselman’s theorem reduces any orientation-preserving cosmetic pair to the slope families

$\tau$2

Second, Khovanov multicurve pairings rule out even those possibilities unless the quotient tangle is rational (Kotelskiy et al., 2021). The Khovanov-theoretic input uses the multicurve invariants $\tau$3 and $\tau$4, the gluing theorem

$\tau$5

and the structural fact that a pointed Conway tangle is rational iff its Khovanov multicurve consists of a single component $\tau$6 (Kotelskiy et al., 2021). The resulting theorem rules out equivariant purely cosmetic surgeries on nontrivial strongly invertible knots; it does not address chirally cosmetic surgeries.

3. Equivariant linking, configuration spaces, and surgery variation formulas

A second major meaning of equivariant knot surgery formula comes from configuration-space invariants built from the infinite cyclic cover of a knot exterior. In “Knot invariants derived from the equivariant linking pairing,” the basic input is a closed oriented 3-manifold $\tau$7 with $\tau$8 together with a framed knot $\tau$9 generating the free part of $CFK^\infty$0. The regular infinite cyclic cover $CFK^\infty$1 determines an equivariant linking pairing

$CFK^\infty$2

and the invariant $CFK^\infty$3 is defined as a triple intersection in the blown-up equivariant configuration space $CFK^\infty$4 (Lescop, 2010). Its surgery formula is Proposition 1.6: $CFK^\infty$5 where $CFK^\infty$6 bounds a Seifert surface $CFK^\infty$7 disjoint from $CFK^\infty$8, the map $CFK^\infty$9 is zero, and $\mathbb Z_2$0 is an explicit cubic expression in equivariant linking numbers on $\mathbb Z_2$1 (Lescop, 2010). In this formulation, the surgery variation is governed by the same equivariant linking pairing used to define the invariant.

Lescop’s “A universal equivariant finite type knot invariant defined from configuration space integrals” generalizes this circle of ideas. The invariant

$\mathbb Z_2$2

is defined for a null-homologous knot in a rational homology sphere and is built from equivariant intersections in configuration spaces, or equivalently from configuration space integrals (Lescop, 2013). The central surgery theorem is a null Lagrangian-preserving surgery formula. For a $\mathbb Z_2$3-component null LP-surgery datum

$\mathbb Z_2$4

the degree-$\mathbb Z_2$5 connected part satisfies

$\mathbb Z_2$6

Here each surgery contributes a tripod-valued tensor $\mathbb Z_2$7 obtained from the triple intersection form of $\mathbb Z_2$8, and the contraction $\mathbb Z_2$9 pairs legs using equivariant linking numbers in the infinite cyclic cover (Lescop, 2013).

This formula has two stated consequences. First, it gives the top-order variation of $\iota$0 under $\iota$1 disjoint null LP-surgeries. Second, the introduction says that these formulas imply that $\iota$2 is universal with respect to a natural filtration and, using results of Garoufalidis and Rozansky, equivalent to the Kricker lift for null-homologous knots with trivial Alexander polynomial in integral homology spheres (Lescop, 2013).

4. Floer-theoretic equivariant surgery formulas

In Heegaard Floer theory, an equivariant knot surgery formula appears in several distinct forms. For an order-$\iota$3 equivariant knot $\iota$4, the paper “Knot Floer homology and surgery on equivariant knots” defines a map

$\iota$5

whose behavior depends on the symmetry type (Mallick, 2022). In the periodic case, $\iota$6 is grading-preserving and $\iota$7-filtered, with

$\iota$8

In the strongly invertible case, the construction uses the basepoint-switching map $\iota$9, and $\mathbb F[[U]][Q]/(Q^2)$0 is grading-preserving, skew-filtered, and satisfies

$\mathbb F[[U]][Q]/(Q^2)$1

For $\mathbb F[[U]][Q]/(Q^2)$2, the main theorem states that there is a chain isomorphism $\mathbb F[[U]][Q]/(Q^2)$3 such that

$\mathbb F[[U]][Q]/(Q^2)$4

commutes up to chain homotopy, for $\mathbb F[[U]][Q]/(Q^2)$5 (Mallick, 2022). The paper explicitly emphasizes that this is a geometric symmetry $\mathbb F[[U]][Q]/(Q^2)$6, not the formal $\mathbb F[[U]][Q]/(Q^2)$7-conjugation involution $\mathbb F[[U]][Q]/(Q^2)$8.

A separate involutive, hence $\mathbb F[[U]][Q]/(Q^2)$9-equivariant, refinement is developed in “Surgery exact triangles in involutive Heegaard Floer homology.” There the involutive chain complex is

$\rho$0

and the paper proves both a surgery exact triangle for $\rho$1 and an involutive version of Ozsváth–Szabó’s mapping cone formula (Hendricks et al., 2020). For $\rho$2, the surgered complex $\rho$3 is homotopy equivalent to a complex of the form

$\rho$4

The underlying ordinary cone remains $\rho$5, but the involutive enhancement requires induced involutions $\rho$6 and a correction homotopy $\rho$7 (Hendricks et al., 2020).

The 2025 paper “The link surgery formula and equivariant surgeries” upgrades the ordinary Heegaard Floer link surgery package to a genuinely equivariant statement for diffeomorphisms of strongly framed links (Hendricks et al., 17 Jul 2025). In the knot case, if $\rho$8 is a diffeomorphism of strongly framed knots and $\rho$9 is the induced diffeomorphism on $\pm1$0, then the map

$\pm1$1

is intertwined with

$\pm1$2

by a natural homotopy equivalence

$\pm1$3

In bordered form, orientation-reversing symmetries are represented by tensoring with the elliptic involution bimodule $\pm1$4, and the final map on the solid torus factor is

$\pm1$5

(Hendricks et al., 17 Jul 2025). The same paper proves a naturality theorem for the surgery complexes and uses the equivariant formula to show that the kernel of the forgetful map from the equivariant homology cobordism group to the homology cobordism group contains a $\pm1$6-summand.

5. Colored knots, kernel surgeries, and algebraic surface data

For $\pm1$7-colored knots with $\pm1$8, the paper “Surgery presentations for knots coloured by metabelian groups” develops a surgery presentation theory that functions as a metabelian or equivariant surgery framework (Moskovich, 2011). A $\pm1$9-colored knot is a pair $t$00 with a surjective homomorphism

$t$01

Two such knots are said to be $t$02-equivalent if they are related by surgery around $t$03-framed unknots in the kernels of their colorings. The basic local move is the twist move, a colored analogue of the crossing change, while the more restrictive null-twist generates $t$04-equivalence (Moskovich, 2011).

The paper’s most direct surgery theorem is Proposition 3.8, which states that the following are equivalent: $t$05-bordism, $t$06-surgery equivalence, and $t$07-equivalence (Moskovich, 2011). The algebraic encoding is through surface data $t$08, where $t$09 is a Seifert matrix and

$t$10

is the coloring vector. The fundamental compatibility condition is

$t$11

This translates the topological surgery problem into linear algebra on Seifert surfaces.

The deviation from pure $t$12-equivalence is measured by a clasper-theoretic $t$13-obstruction in

$t$14

The paper proves that two $t$15-equivalent $t$16-colored knots are $t$17-equivalent iff their $t$18-obstruction vanishes. In particular, when $t$19, one has

$t$20

so the obstruction vanishes automatically and the surgery problem reduces to explicit algebraic invariants such as the surface untying invariant, the $t$21-equivalence class of the coloring, and the colored untying invariant (Moskovich, 2011). This is not a mapping-cone or branched-cover formula, but it is a precise surgery presentation theory constrained by a representation.

6. Scope, nearby constructions, and recurrent applications

Not every knot-surgery paper that studies symmetry or surgery change belongs to this category. “Knotted surfaces in 4-manifolds by Knot surgery and Stabilization” analyzes ambient knot-surgery constructions for surfaces in 4-manifolds, including twist rim surgery, rim surgery, and annulus rim surgery, and proves stabilization results, but the word equivariant does not appear and there is no theorem expressing knot surgery in terms of group actions on the ambient manifold or on branched covers (Kim, 2017). The closest nearby notions in that paper are cyclic surgery, cyclic complement groups, and mapping-torus descriptions such as

$t$22

which the paper itself does not interpret as equivariant formulas (Kim, 2017).

A similar boundary appears in instanton theory. “SU(2) representations and a large surgery formula” proves a large surgery formula relating $t$23 and $t$24 for

$t$25

using bent complexes $t$26 and $t$27, and this formula is the engine behind its $t$28-abundance results (Li et al., 2021). However, the paper explicitly does not formulate the result as an equivariant surgery formula in the sense of equivariant Floer homology or equivariant chain complexes. Its content is $t$29-representation-theoretic and instanton-theoretic rather than equivariant in name or formalism.

Within the papers that do use the term substantively, several recurring applications emerge. The strongly invertible branched-cover formula is used to prove an equivariant version of the Cosmetic Surgery Conjecture and to detect when a Conway tangle is split (Kotelskiy et al., 2021). The configuration-space formulas imply finite-type universality and compare Lescop’s invariant with the Kricker rational lift (Lescop, 2013). The Floer-theoretic formulas lead to equivariant correction terms, knot concordance invariants, and homology-cobordism applications; in particular, the equivariant link surgery formula yields a $t$30-summand in the kernel of the forgetful map from equivariant homology cobordism to ordinary homology cobordism (Mallick, 2022, Hendricks et al., 17 Jul 2025).

Across these settings, the common structure is stable even though the ambient theories differ. One begins with an ordinary surgery construction, adjoins symmetry data—an involution, a deck transformation action, or a coloring kernel—and then proves that the resulting surgery object carries a canonical algebraic action or variation formula. The precise output depends on the framework: a branched-cover identity downstairs, a beaded-diagram contraction, a commuting square in Floer theory, or an algebraic classification of allowed surgeries.