L-Space Satellite Operators

• L-space satellite operators are patterns in S^1×D^2 that determine when satellite knots in S^3 become L-space knots via rigorous surgery and Floer theoretic criteria.
• They extend classical results like the Berge–Gabai and cabling criteria to broader sufficient conditions, enabling the computation of knot Floer complexes.
• The operator framework integrates concordance actions and Heegaard Floer invariants, linking properties such as τ, slice genus, and the formal structure of associated link complexes.

Searching arXiv for the specified topic and related papers. arxiv_search(query="L-space satellite operators knot Floer homology Berge-Gabai knots satellite knots L-space surgeries", max_results=10, sort_by="relevance") Searching for the specific foundational paper and recent operator-theoretic developments. arxiv_search(query="(Hom et al., 2014) OR Berge-Gabai knots and L-space satellite operations", max_results=5, sort_by="relevance") L-space satellite operators arise in the study of satellite knots $P(K)$ produced from a pattern $P\subset S^1\times D^2$ and a companion knot $K\subset S^3$. In the literature summarized here, the subject has two closely related formulations. One formulation asks when a satellite knot is an L-space knot, beginning with exact criteria for Berge–Gabai patterns and extending to broader sufficient conditions (Hom et al., 2014, Hom, 2016). A later Heegaard Floer formulation calls a pattern $P$ an L-space pattern, or an L-space satellite operator, when the associated 2-component link $L_P=\mu\cup P$ is an L-space link, so that sufficiently large integral surgeries on $L_P$ are L-spaces and the satellite knot Floer complex becomes algorithmically computable (Chen et al., 2024, Chen et al., 24 Sep 2025).

1. Definitions and basic setup

A pattern is a knot

$P\subset V=S^1\times D^2$

inside a standard solid torus. Given a knot $K\subset S^3$, the satellite knot $P(K)$ is obtained by embedding the solid torus $V$ into a tubular neighborhood of $P\subset S^1\times D^2$0 and taking the image of $P\subset S^1\times D^2$1. In the untwisted framing conventions used in the Heegaard Floer papers, the more general notation

$P\subset S^1\times D^2$2

denotes the satellite formed by sending the longitude of the solid torus to the $P\subset S^1\times D^2$3-framed longitude of $P\subset S^1\times D^2$4 (Chen et al., 2024).

The classical satellite construction also defines an operator on knot concordance. A satellite operator is given by a pattern $P\subset S^1\times D^2$5, and the induced map

$P\subset S^1\times D^2$6

acts on the knot concordance group $P\subset S^1\times D^2$7 by $P\subset S^1\times D^2$8. Composition of patterns gives a monoid structure,

$P\subset S^1\times D^2$9

with identity the core of the solid torus (Davis et al., 2013). This operator viewpoint is not specific to L-spaces, but it provides the language in which many structural questions about L-space-preserving or L-space-producing satellite constructions are posed.

A central auxiliary object is the associated 2-component link

$K\subset S^3$0

In the bordered Floer formulation, $K\subset S^3$1 is the core of the complementary solid torus, and in the concordance-theoretic formulation it is the meridian/axis data associated to the pattern. When $K\subset S^3$2 is an L-space link, the pattern is called an L-space pattern or an L-space satellite operator (Chen et al., 2024, Chen et al., 24 Sep 2025).

2. Berge–Gabai patterns and the first exact criterion

The first exact characterization of an L-space satellite operation in this circle of results concerns Berge–Gabai knots. A knot $K\subset S^3$3 is a Berge–Gabai knot if it admits a non-trivial solid torus filling; equivalently, its exterior has a Dehn filling that is again a solid torus. In the convention adopted there, torus knots are included as a special case (Hom et al., 2014).

Every Berge–Gabai knot can be represented as the closure of the braid word

$K\subset S^3$4

with winding number $K\subset S^3$5, bridge width $K\subset S^3$6, and twist number $K\subset S^3$7. The twist number is also written as

$K\subset S^3$8

where $K\subset S^3$9, and $P$0 records additional full positive twists (Hom et al., 2014).

The main theorem gives a precise numerical criterion. If $P$1 is a Berge–Gabai knot with bridge width $P$2, twist number $P$3, and winding number $P$4, and $P$5 is a non-trivial knot in $P$6, then the satellite $P$7 is an L-space knot if and only if $P$8 is an L-space knot and

$P$9

(Hom et al., 2014). The formulation in the paper is that the pattern must be sufficiently positively twisted relative to the genus of $L_P=\mu\cup P$0.

The surgery mechanism behind the theorem is the identification

$L_P=\mu\cup P$1

whenever $L_P=\mu\cup P$2. Because the winding number rescales the induced surgery coefficient by $L_P=\mu\cup P$3, the solid-torus filling on the pattern side translates into a surgery on the companion side, and the L-space threshold is governed by the standard L-space surgery interval for $L_P=\mu\cup P$4 (Hom et al., 2014).

When $L_P=\mu\cup P$5, the pattern is a torus knot in the solid torus and the theorem reduces to the cabling criterion

$L_P=\mu\cup P$6

This is the cable theorem of Hedden and the first author, recovered as the $L_P=\mu\cup P$7 case (Hom et al., 2014).

The same paper also isolates two structural consequences. First, if $L_P=\mu\cup P$8 is an L-space knot under the stated hypotheses, then $L_P=\mu\cup P$9 must be an L-space knot, and the pattern $L_P$0, viewed in $L_P$1 via the standard embedding, is also an L-space knot. Second, if $L_P$2 is a negative braid in the solid torus, then $L_P$3 is never an L-space knot for any $L_P$4. The proof idea given there is that negative braid fiber surfaces contain negative Hopf bands, so the resulting fiber surface is not strongly quasipositive, contradicting the fact that L-space knots are strongly quasipositive (Hom et al., 2014).

For L-space companions satisfying the same inequality, the paper further derives

$L_P$5

and

$L_P$6

consistent with the equalities $L_P$7 for L-space knots (Hom et al., 2014).

3. Sufficient conditions beyond the Berge–Gabai case

A broader surgery-theoretic framework gives sufficient, but not necessary, conditions for a satellite knot to be an L-space knot. In that formulation, $L_P$8 is an L-space knot if the following hold: $L_P$9 is an L-space knot; $P\subset V=S^1\times D^2$0 and there is a meridional disk $P\subset V=S^1\times D^2$1 meeting $P\subset V=S^1\times D^2$2 in exactly $P\subset V=S^1\times D^2$3 points; $P\subset V=S^1\times D^2$4 is an L-space knot, where $P\subset V=S^1\times D^2$5; and $P\subset V=S^1\times D^2$6 is a negative L-space knot for all sufficiently large integers $P\subset V=S^1\times D^2$7 (Hom, 2016).

The proof is organized around a two-variable surgery picture on a link $P\subset V=S^1\times D^2$8, where $P\subset V=S^1\times D^2$9 is an unknot and $K\subset S^3$0 is the pattern. Its main technical input produces intervals of L-space slopes for the complement of the surgered pattern component. In the notation used there, if $K\subset S^3$1, and if $K\subset S^3$2 are positive integers satisfying

$K\subset S^3$3

$K\subset S^3$4

and if $K\subset S^3$5 is an L-space knot while $K\subset S^3$6 is a negative L-space knot, then

$K\subset S^3$7

where $K\subset S^3$8 (Hom, 2016).

The surgery identities

$K\subset S^3$9

and the genus bounds

$P(K)$0

are then combined with the Ozsváth–Szabó criterion

$P(K)$1

and the Hanselman–Rasmussen–Rasmussen–Watson gluing criterion (Hom, 2016).

This framework recovers the classical cabling result for sufficiently twisted torus knots in the solid torus: if $P(K)$2 is the $P(K)$3-torus pattern, then $P(K)$4 is an L-space knot whenever

$P(K)$5

The same paper notes that this is slightly weaker than the sharp cabling criterion $P(K)$6, so the theorem is sufficient but not necessary. It also identifies sufficiently positively twisted 1-bridge braids as a new infinite family of satellite L-space patterns beyond Berge–Gabai knots, and records further infinite families coming from patterns studied by Motegi, including certain knots $P(K)$7, $P(K)$8, and certain twisted torus knots in complements of unknotted circles (Hom, 2016).

A notable consequence of the interval argument is that once the hypotheses hold,

$P(K)$9

This suggests a pattern-side L-space interval controlled by the genus of the companion (Hom, 2016).

4. L-space links, L-space patterns, and computable satellite complexes

A later formulation shifts the emphasis from surgery inequalities to the Heegaard Floer structure of the associated 2-component link. A rational homology 3-sphere $V$0 is an L-space if

$V$1

and a link $V$2 is an L-space link if sufficiently large integral surgeries on $V$3 are L-spaces. A pattern $V$4 is an L-space pattern if the associated link $V$5 is an L-space link (Chen et al., 2024). The closely related definition in the later $V$6-paper is: $V$7 is an L-space satellite operator if $V$8 is an L-space link, equivalently if $V$9 is an L-space for all integral framings $P\subset S^1\times D^2$00 (Chen et al., 24 Sep 2025).

This class includes many standard satellite patterns: cabling operators, the Whitehead operator, and a family of Mazur operators (Chen et al., 2024). Its importance is computational. The main satellite formula computes the full knot Floer complex of the satellite from the knot Floer complex of the companion: $P\subset S^1\times D^2$01 where $P\subset S^1\times D^2$02, $P\subset S^1\times D^2$03 is the type-$P\subset S^1\times D^2$04 surgery module associated to $P\subset S^1\times D^2$05 with framing $P\subset S^1\times D^2$06, $P\subset S^1\times D^2$07 is the bordered bimodule for the negative Hopf link, and $P\subset S^1\times D^2$08 is the bordered link-surgery bimodule for the pattern link (Chen et al., 2024).

The decisive algebraic fact is that if $P\subset S^1\times D^2$09 is a 2-component L-space link, then

$P\subset S^1\times D^2$10

In the paper’s formulation, this means there is a quasi-isomorphism

$P\subset S^1\times D^2$11

to its homology viewed as a complex with no higher structure (Chen et al., 2024). Because for L-space links the $P\subset S^1\times D^2$12-function is determined by the multivariable Alexander polynomial of $P\subset S^1\times D^2$13 and its sublinks, the pattern-dependent bimodule becomes computable from Alexander polynomial data. The same paper states the relevant combinatorial formula: $P\subset S^1\times D^2$14

The bordered Floer framework also yields explicit hypercube models and truncation procedures. In the formulation summarized there, one inputs the knot Floer complex of $P\subset S^1\times D^2$15, inputs the $P\subset S^1\times D^2$16-function or bimodule data of the pattern link $P\subset S^1\times D^2$17, builds an infinite hypercube model $P\subset S^1\times D^2$18, truncates it using the paper’s criteria, and obtains a finite type-$P\subset S^1\times D^2$19 model for $P\subset S^1\times D^2$20. The paper states that this satellite formula is implemented in Python (Chen et al., 2024).

5. $P\subset S^1\times D^2$21-formulas, slice genus, and rigidity phenomena

For L-space satellite operators in the sense above, Heegaard Floer theory yields explicit formulas for concordance invariants. A central numerical input is the $P\subset S^1\times D^2$22-function of the associated L-space link $P\subset S^1\times D^2$23. For a 2-component link $P\subset S^1\times D^2$24, the paper defines

$P\subset S^1\times D^2$25

and the quantities

$P\subset S^1\times D^2$26

When $P\subset S^1\times D^2$27, these numbers control $P\subset S^1\times D^2$28 (Chen et al., 24 Sep 2025).

The same paper identifies a geometric interpretation: $P\subset S^1\times D^2$29 where $P\subset S^1\times D^2$30, and $P\subset S^1\times D^2$31 is the minimum genus of a surface in $P\subset S^1\times D^2$32 whose boundary is $P\subset S^1\times D^2$33 together with a disjoint union of $P\subset S^1\times D^2$34 parallel copies of the longitude $P\subset S^1\times D^2$35 (Chen et al., 24 Sep 2025).

For $P\subset S^1\times D^2$36 and $P\subset S^1\times D^2$37, the cleanest $P\subset S^1\times D^2$38-formula is

$P\subset S^1\times D^2$39

For $P\subset S^1\times D^2$40, the paper proves

$P\subset S^1\times D^2$41

For $P\subset S^1\times D^2$42, and also for the negative-framing part of the $P\subset S^1\times D^2$43 case, the formulas require the extra hypothesis

$P\subset S^1\times D^2$44

(Chen et al., 24 Sep 2025).

The $P\subset S^1\times D^2$45-function satisfies strong monotonicity and symmetry properties: $P\subset S^1\times D^2$46

$P\subset S^1\times D^2$47

$P\subset S^1\times D^2$48

and

$P\subset S^1\times D^2$49

For $P\subset S^1\times D^2$50, the paper records that $P\subset S^1\times D^2$51 is constant outside a bounded interval, nondecreasing up to $P\subset S^1\times D^2$52, and nonincreasing after $P\subset S^1\times D^2$53. If $P\subset S^1\times D^2$54 is an L-space pattern with minimal wrapping number, then

$P\subset S^1\times D^2$55

(Chen et al., 24 Sep 2025).

These formulas have direct consequences for the slice genus. If

$P\subset S^1\times D^2$56

then for any L-space satellite operator $P\subset S^1\times D^2$57,

$P\subset S^1\times D^2$58

If $P\subset S^1\times D^2$59 has winding number $P\subset S^1\times D^2$60, then for all $P\subset S^1\times D^2$61,

$P\subset S^1\times D^2$62

For positively clasped Whitehead doubling, the paper notes that this recovers Hedden’s result that the slice genus is $P\subset S^1\times D^2$63 in the relevant range (Chen et al., 24 Sep 2025).

The same analysis also produces a rigidity theorem for homomorphism behavior on concordance. If $P\subset S^1\times D^2$64 is an L-space link and

$P\subset S^1\times D^2$65

is a group homomorphism for some $P\subset S^1\times D^2$66, then $P\subset S^1\times D^2$67 must be one of the 2-component unlink $P\subset S^1\times D^2$68, the positive Hopf link $P\subset S^1\times D^2$69, or the negative Hopf link $P\subset S^1\times D^2$70. Equivalently, the operator is one of the trivial map, the identity, or the orientation-reversing map (Chen et al., 24 Sep 2025). A related non-surjectivity result states that under the stronger condition

$P\subset S^1\times D^2$71

many L-space satellite operators cannot be surjective on concordance (Chen et al., 24 Sep 2025).

6. Concordance actions, iteration, and conjectural structure

The broader operator theory of satellite constructions provides a structural backdrop for L-space questions. Classical satellite operators form only a monoid, not a group: the only element of the classical monoid of patterns with an inverse under composition is the trivial pattern (Davis et al., 2013). To remedy this, patterns can be enlarged to generalized satellite operators represented by homology cylinders, and these form groups modulo suitable cobordism. In that setting, the exterior map

$P\subset S^1\times D^2$72

is a monoid homomorphism, and generalized satellite operators act on knots in homology spheres and on generalized concordance classes (Davis et al., 2013).

Within this framework, several operator-theoretic facts are relevant to satellite questions. If $P\subset S^1\times D^2$73 has winding number $P\subset S^1\times D^2$74, then

$P\subset S^1\times D^2$75

is injective. If $P\subset S^1\times D^2$76 has strong winding number $P\subset S^1\times D^2$77, then $P\subset S^1\times D^2$78 is injective on $P\subset S^1\times D^2$79 and $P\subset S^1\times D^2$80, and, if the smooth $P\subset S^1\times D^2$81-dimensional Poincaré Conjecture holds, also on $P\subset S^1\times D^2$82. By contrast, if $P\subset S^1\times D^2$83, then $P\subset S^1\times D^2$84 is not surjective in any of the categories considered there (Davis et al., 2013). These are concordance-theoretic statements rather than L-space theorems, but they isolate which winding-number regimes can behave bijectively.

The same paper gives a sufficient condition for an inverse pattern. If $P\subset S^1\times D^2$85 has winding number $P\subset S^1\times D^2$86 and the meridian $P\subset S^1\times D^2$87 lies in the normal subgroup of $P\subset S^1\times D^2$88 generated by $P\subset S^1\times D^2$89, then $P\subset S^1\times D^2$90 has strong winding number $P\subset S^1\times D^2$91 and there exists another strong winding number $P\subset S^1\times D^2$92 pattern $P\subset S^1\times D^2$93 such that

$P\subset S^1\times D^2$94

as homology cylinders. Under the same hypothesis, $P\subset S^1\times D^2$95 is bijective for $P\subset S^1\times D^2$96 (Davis et al., 2013).

Iterated satellite operators exhibit a different kind of complexity. For a winding number zero satellite operator $P\subset S^1\times D^2$97, if the axis $P\subset S^1\times D^2$98 has nontrivial Blanchfield self-pairing

$P\subset S^1\times D^2$99

then every quotient

$K\subset S^3$00

has infinite rank for all $K\subset S^3$01, and $K\subset S^3$02 is not a homomorphism for all $K\subset S^3$03 (Cha et al., 2024). The proof uses amenable $K\subset S^3$04-signatures rather than Heegaard Floer theory. The connection to L-space satellites is explicitly indirect: the paper does not analyze L-space surgery slopes or L-space criteria, but its operator framework is structurally relevant because many standard L-space knot constructions involve cables or satellites, and the pattern/axis data governing concordance behavior may constrain future L-space operator theories (Cha et al., 2024).

Several conjectural principles organize the subject. One is the Hom–Lidman–Vafaee conjecture that if $K\subset S^3$05 is an L-space knot, then both $K\subset S^3$06 and $K\subset S^3$07 should be L-space knots. The sufficient-condition paper states that under a conjectural gluing criterion of Rasmussen–Rasmussen, if $K\subset S^3$08 is an L-space knot, then $K\subset S^3$09 and $K\subset S^3$10 are L-space knots, and moreover $K\subset S^3$11 is an L-space knot for all $K\subset S^3$12, while $K\subset S^3$13 is negative L-space for all large $K\subset S^3$14 (Hom, 2016). The Berge–Gabai paper proves an analogous pattern-and-companion conclusion under its hypotheses and also notes that the statement “if $K\subset S^3$15 is an L-space knot, then both $K\subset S^3$16 and $K\subset S^3$17 are L-space knots” follows under the Boyer–Gordon–Watson conjecture relating L-spaces and non-left-orderability of fundamental groups (Hom et al., 2014).

Taken together, these results support a coherent picture. Exact classifications are presently available in special families such as Berge–Gabai patterns; broader sufficient criteria are organized by surgery intervals and gluing; and in the Heegaard Floer setting, L-space satellite operators are the patterns whose associated 2-component links are L-space links, a condition rigid enough to make their knot Floer bimodules computable and their concordance behavior highly constrained (Hom et al., 2014, Hom, 2016, Chen et al., 2024, Chen et al., 24 Sep 2025).