{"id":"319fc022-6731-4c2c-9093-663f4835022c","arxiv_id":"2412.05755","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"For satellites whose pattern link is a 2-component L-space link, the full knot Floer complex is computed from the companion's complex and the pattern's Alexander polynomials.","lead":"A new formula computes the full knot Floer complex of a satellite knot from the companion knot's invariant, for a broad family of patterns including cables, Whitehead doubles, and Mazur patterns. The method is implemented in Python and produces explicit chain complexes in examples.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The formula for all integer framings depends on the unproven n<0 case of Proposition 10.2; the proof as written only treats n>0 and defers the negative-framing truncation to the reader.","rationale":"The reader flagged the truncation convergence and Lemma 5.19 as the weakest assumptions. I agree that the truncation step is the more serious issue, but I would sharpen it to the n<0 case specifically: the n>0 proof is written out, and Lemma 5.19 itself appears correct after checking the grading enumeration and the homotopies f_{2i+1}=partial(J). The n<0 truncation, however, is genuinely deferred, and the central theorem is stated for all n in Z. Since the paper includes reproducible Python code and many worked examples, I see no evidence of an actual counterexample; the gap is in the written proof. The reader's conditional verdict is therefore appropriate, and my stress-test does not move the verdict. The concrete test proposed would either supply the missing proof or expose a real failure of Proposition 10.2(2).","tokens_in":80680,"tokens_out":18935,"duration_ms":175778,"concrete_test":"Prove the n<0 case of Proposition 10.2 for n=-1, g=1, N=3/2: write out the complexes L, C, and R from the proof, and explicitly verify that the homological perturbation series (1+h alpha)^{-1} converges in the chiral topology by checking that for each m the tail lies in (U^m), using the explicit maps Phi_+-K and Phi_+-mu of Section 9.3. Then compare the resulting truncated complex against the closed-form n=-1 unknot companion formula in Section 11.1(3) and the n=-1 Whitehead double in Section 11.3. If the series fails to converge or the complex differs, Proposition 10.2(2) is false and the negative-framing satellite formula needs a separate proof.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Equation (1.1) promises CFK(P(K,n)) for every n in Z, and Proposition 10.2 is the step that converts the infinite type-D model into a finite computable one. Part (2) of Proposition 10.2, the n<0 case, is not proved: the text says the argument is essentially the same and leaves the details to the reader. In the n>0 proof, convergence of the homological perturbation series is shown by a filtration argument in which Phi_-K increases the s-filtration by n, so long series eventually land in (U^m) by Lemma 10.6. For n<0, Phi_-K decreases s, the left and right boundary contractions in Section 10.2 reverse roles, and the displayed truncation ranges in Proposition 10.2(2) receive no supporting argument. The n<0 truncation is used in the examples, including Whitehead doubles and Mazur patterns with negative framings in Sections 11.3 and 11.4, so the satellite formula for negative framings is conditional on this omitted argument. This is a genuine completeness gap in a load-bearing step, not a demonstrated contradiction.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies satellite operators P(K,n) for which the associated 2-component link LP is an L-space link, and gives a formula computing the full knot Floer complex CFK(P(K,n)) from CFK(K). The main tool is the link surgery formula reinterpreted via the surgery algebra K; the core theoretical step is a proof that 2-component L-space links have formal link Floer complexes (Theorem 1.2), which the authors prove using Koszul duality and staircase complexes. The authors then construct a candidate bimodule KY^Λ(L)_R, prove it is homotopy equivalent to the surgery bimodule KX^Λ(L)_R (Theorem 5.1), and use this to give a concrete model for the satellite complex as a box tensor product (Equation (1.1)). A substantial part of the paper is devoted to truncation of the infinite model to a finite one (Proposition 10.2) and to worked examples, including cables, Whitehead doubles, and Mazur patterns; the algorithm is implemented in Python.","tokens_in":80931,"tokens_out":5880,"duration_ms":54479,"significance":"If the main results are correct, this is a significant advance in knot Floer homology: it computes the full knot Floer complex of a large family of satellite knots from CFK(K) alone, going well beyond the U=0 or U-torsion information computed by previous bordered or immersed-curve techniques. The formality theorem for 2-component L-space links is itself an important structural result, and the paper provides many explicit calculations and reproducible Python code, which strengthens the value of the work. The proof strategies, especially the use of Koszul duality in Section 5, are original and likely to be influential.","major_comments":[{"comment":"Proposition 10.2 states truncation results for all n ∈ Z, but the proof as written treats only n > 0 in detail. The cases n < 0 and n = 0 are dismissed with the sentence 'The arguments for the cases that n < 0 and n = 0 follow from very similar lines of reasoning. We leave the details to the reader.' This is a load-bearing gap: Equation (1.1) promises CFK(P(K,n)) for every integer framing, and the examples in Sections 11.3 (n = -1, 0) and 11.4 (n = -1) rely on the negative-framing truncation. The displayed truncation ranges in part (2) are not derived, and the filtration argument in Lemma 10.6, which uses that Φ_-K increases the s-filtration by n, does not directly apply when n < 0 because then Φ_-K decreases s and the left and right boundary contractions reverse roles. Please supply the missing details for the n < 0 and n = 0 cases before the main theorem can be accepted as fully proven.","section":"Section 10.2, Proposition 10.2"},{"comment":"The proofs of two lemmas that are used in the central arguments are explicitly left to the reader. Lemma 10.5, whose proof is left to the reader, is needed in the proof of Proposition 10.2 to show that the boundary complexes C+ and C- are contractible; without this lemma the truncation argument for all framings is incomplete. Similarly, Lemma 7.10 is used in the computation of the elliptic bimodule K[E]_K (Theorem 1.6), which in turn is used in the proof of Theorem 5.1 through Corollary 7.13; its proof is also left to the reader. While these statements are plausible by analogy with the preceding lemmas, they are load-bearing for the main theorems, so the paper should either prove them or give a precise description of how the earlier arguments are modified.","section":"Section 10 (Lemmas 10.4 and 10.5) and Section 7.2.3 (Lemma 7.10)"}],"minor_comments":[{"comment":"The proof of Lemma 3.7 is left to the reader; since this is a standard homological perturbation lemma, the omission is acceptable, but a reference such as [HK91] should be explicitly cited in the lemma statement.","section":"Section 3.2, Lemma 3.7"},{"comment":"The notation CFK(P(K,n))_R is used in Equation (1.1) without a definition; please clarify in the introduction that the subscript R indicates the type-D module over R = F[W,Z] underlying the knot Floer complex.","section":"Section 1.2, Equation (1.1)"},{"comment":"There is a typo at the end of the first paragraph of Section 4.6: 'XnY, K)' should be 'Xn(Y, K)'.","section":"Section 4.6"},{"comment":"The phrase 'Mauer-Cartan' (in Lemma 3.7 and the surrounding text) should be spelled 'Maurer-Cartan'.","section":"Throughout"},{"comment":"The figures (e.g., Figures 6.1, 6.3, 7.2) are dense and difficult to read; indicating in the captions the conventions for distinguishing δ^1_1, δ^1_2, and δ^1_3 arrows would substantially improve readability.","section":"Figures"},{"comment":"The Python code is cited as [CZZ24]; please provide a persistent identifier or URL in the references so that the implementation can be located.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The paper makes a valuable contribution and the main ideas appear sound, but the omitted proof of the n < 0 case of Proposition 10.2 is a genuine gap that affects the central claim for negative framings and the examples that use them. I recommend major revision rather than rejection, because the gap appears fixable by supplying the missing details. The reliance on the second author's earlier work is appropriate and the citation pattern raises no concerns."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Chen, Zemke and Zhou prove that 2-component L-space links have formal link Floer complexes, using Koszul duality, and use that to compute the full knot Floer complex CFK(P(K,n)) for L-space satellite patterns. This is a real step beyond the U=0 or quotient versions of Hanselman–Watson and Chen–Hanselman. The formality theorem (1.2) is new and the proof is genuinely different from the plumbed case of BLZ22; the identity and elliptic bimodule theorem (1.6) is also new and useful. The paper ships Python code and works through many examples, which is real evidence and a plus.\n\nThe main weakness is exactly where the stress-test note lands. Proposition 10.2(2), the truncation for n < 0, is not proved; the text says the argument is essentially the same and leaves details to the reader. The n > 0 proof uses a filtration argument where Φ_{-K} increases the s-filtration by n, and convergence of the perturbation series is shown via Lemma 10.6. For n < 0, Φ_{-K} decreases s, the boundary contractions swap roles, and the displayed truncation ranges in part (2) are unsupported. Negative framings are used in the examples (Whitehead doubles and Mazur patterns), so the satellite formula for all n ∈ Z is conditional on this omitted argument. This is a genuine gap in a load-bearing step, though it looks repairable rather than fatal.\n\nThere are smaller leave-to-the-reader points: Lemma 3.7 is standard, and the chiral-topology convergence arguments in Section 7 get terse. The proof of Lemma 5.19 is a case check. None of these worry me much. I did not find internal inconsistencies in the parts I checked, and the examples are consistent with the stated model.\n\nWho should read this: anyone working in Heegaard Floer homology and concordance invariants. It deserves a serious referee: the main theorems are important and the proofs are detailed except for the n<0 truncation. My recommendation is to send it to peer review, with a request that the authors expand Proposition 10.2(2) and re-verify the negative-framing examples. If the gap cannot be closed, the paper still stands for n>0, but the abstract and introduction currently overclaim all n ∈ Z.","headline":"Strong paper with a genuinely new formality theorem for 2-component L-space links, but the satellite formula for negative framings rests on an unproven truncation case that needs to be written out.","tokens_in":81464,"tokens_out":2519,"would_cite":true,"duration_ms":27046,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["57K18","57K10"],"pacs":[],"model":"deepseek-v4-flash","headline":"For any L-space pattern, the full knot Floer complex of a satellite is homotopy equivalent to a box tensor product built from the companion's knot Floer complex, making the satellite invariant algorithmically computable.","keywords":["knot Floer homology","L-space links","satellite operators","surgery algebra","formality","Alexander polynomial","bordered Heegaard Floer homology","staircase complexes"],"falsifier":"For a concrete two-component L-space link, compute the endomorphism space $\\operatorname{Hom}(S,S)$ of its staircase complex in algebraic grading $-1$ and Maslov bigrading $(-1,-1)$; Lemma 5.19 predicts that the homology vanishes, and a nonzero class would falsify the formality theorem. Alternatively, run the paper's Python code on a specific L-space pattern and companion and independently recompute $\\mathrm{CFK}(P(K,n))$ by another method; disagreement would falsify the satellite formula.","tokens_in":80479,"feed_emoji":"🔗","tokens_out":10778,"duration_ms":92260,"temperature":0.7,"pith_summary":"The paper shows that for any L-space pattern $P$—meaning the two-component link formed by $P$ together with the core of the solid torus is an L-space link—the full knot Floer complex of the satellite $P(K,n)$ is determined by the knot Floer complex of the companion $K$. The formula is a homotopy equivalence expressing $\\mathrm{CFK}(P(K,n))$ as a box tensor product of the surgery module of $K$, a Hopf-link bimodule, and a bimodule associated to the pattern link. The load-bearing step is a proof that every two-component L-space link has a formal link Floer complex, so the link Floer complex is determined by the multivariable Alexander polynomials of the link and its sublinks. Because cables, Whitehead doubles, and a family of Mazur patterns are L-space patterns, the paper turns satellite Floer computation into a finite algorithm, which the authors implement in Python.","feed_headline":"One formula computes satellite knot Floer complexes from the companion","feed_subtitle":"Covers cables, Whitehead doubles, and Mazur patterns; the key is formality of 2-component L-space links.","key_machinery":"The machinery is the surgery algebra $\\mathcal{K}$ from bordered reinterpretations of the link surgery formula, together with its type-D, type-A, and DA modules. The paper constructs a candidate bimodule $KY^{\\Lambda}(L)_R$ from staircase complexes $C_s$ indexed by Alexander gradings, with module actions $L_W$, $L_Z$, $L_\\sigma$, $L_\\tau$ and higher homotopies chosen via the homological perturbation lemma. Koszul duality between the polynomial ring $F[W,Z]$ and the exterior algebra on two generators shows that the idempotent-$0$ part is a free resolution of the link Floer homology, and the vanishing lemma for $\\operatorname{Hom}(S,S)$ in algebraic grading $-1$ and Maslov bigrading $(-1,-1)$ forces the candidate to match the genuine surgery bimodule. In the satellite formula, the pieces assemble into a $2\\times 2$ hypercube of complexes $E,F,J,M$, with a truncation controlled by the companion's genus and the support of the pattern's $H$-function.","core_discovery":"On the paper's own terms, the central discovery is a reduction: the Floer-theoretic content of an L-space satellite operation is already encoded in the $H$-function of the pattern link, and hence in Alexander polynomial data. Theorem 1.2 states that $\\mathrm{CFL}(L)$ is formal for every two-component L-space link $L$, meaning the chain complex is quasi-isomorphic to its homology; combined with the $H$-function description, this makes $\\mathrm{CFL}(L)$ computable from Alexander polynomials. Theorem 1.5 extends the same conclusion to the surgery bimodule $KX^{\\Lambda}(L)_R$, and the satellite formula then gives $\\mathrm{CFK}(P(K,n))_R \\simeq X_n(K)_K \\boxtimes KH_K \\boxtimes KX^{(0,0)}(L_P)_R$. The paper stresses that this computes the full complex over $F[W,Z]$, not merely its $U=0$ quotient, so surgery $d$-invariants and the $\\Upsilon$ invariant become accessible.","pith_inferences":["Going beyond the paper: if formality held for $n$-component L-space links, the same surgery-algebra framework would give satellite formulas for patterns whose associated links have more components; the paper identifies the Ext vanishing that would have to be checked.","Going beyond the paper: the algorithmic nature of the formula suggests the satellite complex depends continuously on the companion's staircase data, so one could study how $\\mathrm{CFK}(P(K,n))$ varies as $\\mathrm{CFK}(K)$ is perturbed.","Going beyond the paper: the Python implementation makes it feasible to compute $d$-invariants of surgeries on iterated satellites, such as Whitehead doubles of cables, and compare them against known concordance obstructions."],"forward_implications":["For any L-space pattern, $\\mathrm{CFK}(P(K,n))$ is computable from $\\mathrm{CFK}(K)$ alone, with the computation implemented in Python.","The link Floer complex of a two-component L-space link is determined by the multivariable Alexander polynomials of the link and its sublinks (Corollary 1.3).","The formula covers all cabling operators, the Whitehead operator, generalized Mazur patterns, and the family of patterns built from pairs of L-space knots differing by a twist.","Because the full $F[W,Z]$-complex is computed, invariants that require more than the $U=0$ quotient—such as the $\\Upsilon$ invariant and $d$-invariants of Dehn surgeries—become accessible.","The identity and elliptic involution cobordisms have the expected DA-bimodules, yielding a quasi-inverse for the algebraic bimodule that converts type-D to type-A modules."],"supporting_citations":[{"why":"Establishes that L-space knots have staircase Floer complexes, the template the paper extends to links.","marker":"[OS05]"},{"why":"Provides the link surgery formula whose hypercube structure underlies the satellite complex.","marker":"[MO10]"},{"why":"Introduces the surgery algebra and DA-bimodule reinterpretation of the link surgery formula used to state and prove the satellite formula.","marker":"[Zem21a]"},{"why":"Supplies invariance, naturality, and grading results for the surgery modules that the satellite computation relies on.","marker":"[Zem23]"},{"why":"Proved formality for plumbed L-space links, the result the paper generalizes to all two-component L-space links with a different Koszul-duality argument.","marker":"[BLZ22]"},{"why":"Gives the H-function formula expressing L-space link homology data in terms of multivariable Alexander polynomials.","marker":"[GN16]"},{"why":"Provides the mapping cone formula for Dehn surgeries whose A and B complexes are replaced by the E, F, J, M pieces in this paper.","marker":"[OS08b]"},{"why":"The Python implementation that realizes the satellite formula computationally.","marker":"[CZZ24]"}],"fun_headline_variants":["L-space links make satellite Floer complexes computable","Formal L-space links: satellite Floer from Alexander data","Satellite knot Floer complexes tamed by L-space links","Two-component L-space links yield full satellite Floer formula","Python code computes knot Floer satellites via L-space formality"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The two-component hypothesis is load-bearing: the proof that the candidate bimodule agrees with the genuine one uses Lemma 5.19, a vanishing statement about staircase endomorphisms that the paper shows fails for links with more than two components.","fun_headline_variants_meta":{"raw":{"variants":["L-space links make satellite Floer complexes computable","Formal L-space links: satellite Floer from Alexander data","Satellite knot Floer complexes tamed by L-space links","Two-component L-space links yield full satellite Floer formula","Python code computes knot Floer satellites via L-space formality"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.0006,"raw_usage":{"total_tokens":2780,"prompt_tokens":901,"completion_tokens":1879,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":517,"completion_tokens_details":{"reasoning_tokens":1791}},"tokens_in":517,"tokens_out":1879,"duration_ms":11519,"temperature":1.0,"reasoning_tokens":1791,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T20:23:18.536751+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For a concrete two-component L-space link, compute the endomorphism space $\\operatorname{Hom}(S,S)$ of its staircase complex in algebraic grading $-1$ and Maslov bigrading $(-1,-1)$; Lemma 5.19 predicts that the homology vanishes, and a nonzero class would falsify the formality theorem. Alternatively, run the paper's Python code on a specific L-space pattern and companion and independently recompute $\\mathrm{CFK}(P(K,n))$ by another method; disagreement would falsify the satellite formula.","supporting_citations":[],"review_version":1}