{"id":"3d2fa07e-3f55-4581-a7f8-0af12a4a524b","arxiv_id":"1908.02317","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For a swappable stop the Orlov functor is spherical and its twist equals the geometric wrap-once map, while the Viterbo transfer map to a Weinstein subdomain is a homological epimorphism.","lead":"This paper studies two functors between wrapped Fukaya categories, algebraic invariants of symplectic spaces. It finds a geometric condition under which one functor is spherical, and shows that the other functor behaves like a localization after passing to module categories.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Shift bookkeeping in the proof of Theorem 1.3 may misidentify the copies of W(F) carrying Mφ and Wφ; the 'full rotation is a shift by 2' step needs an explicit check.","rationale":"The reader's weakest assumption was the existence of swappable isotopies and the stop-removal hypotheses; that is a scope limitation, not an internal gap. My concern is different: the proof of Theorem 1.3 contains a terse, shift-dependent identification whose correctness is not demonstrated. The central theorem claims exact equalities up to specified shifts, so an unnoticed even shift would change the theorem's content, even though sphericity itself might remain true. This is the kind of error that is common in symplectic grading bookkeeping and that cannot be detected by the paper's structural outline. I am not claiming the proof is wrong; I am recommending that acceptance be conditional on a detailed shift-accounting verification, ideally in the simplest nontrivial example. The paper has independent support from the GPS framework and from the algebraic Proposition 4.4, but those do not by themselves settle the grading comparison in the geometric swap construction. Hence, rather than rejecting or leaving the verdict unchanged, I recommend CONDITIONAL acceptance pending the shift check.","tokens_in":29180,"tokens_out":17686,"duration_ms":196347,"concrete_test":"Work out the model case M = T*S^1 with the swappable stop σ a cotangent fiber. Using explicit generators of W(M), W(F=pt), and the Orlov functor, construct the swap Sφ from the rotation that swaps σ+ and σ−. Compute Sφ^2 on the copy of W(F) parametrized by (iΣF)∗∘ı1[2] and compare with the monodromy Mφ; compute Sφ^2 on W(M) and compare with Wφ. If Sφ^2|W(F) equals Mφ[2] instead of Mφ, the 'full rotation is a shift by 2' step is wrong and Theorem 1.3's identifications need a shift correction. If the computation matches Mφ and Wφ with no extra shift, the concern is resolved.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The precise content of Theorem 1.3 is not just sphericality of the Orlov functor but the identifications Wφ = W′ and Mφ = M′[-2]. These identifications rely on the proof's shift-sensitive comparison of two semiorthogonal presentations of the gluing category C for the Orlov functor. After Corollary 3.11, the proof first presents W(F) via (iΣF)∗∘ı1[1] and says it 'reparametrizes to remove both shifts', then presents W(F) via (iΣF)∗∘ı1[2]; it then asserts that the geometric swap Sφ restricts to Wφ on W(M) and to Mφ on the second copy of W(F), and that positivity of Sφ gives the match with the dual twist and shifted dual cotwist. The passage 'a full rotation is a shift by 2' compresses the entire grading comparison into one sentence. If any of these shifts is off by an even integer, Sφ would still be a spherical swap, so the sphericity part of Theorem 1.3 would survive, but the equalities Wφ = W′ and Mφ = M′[-2] would be off by a shift. The paper's own Remark 2.19 and the shifts in Proposition 3.12 show how easily conventions can differ by ±2, and the proof gives no independent verification of its shift choices. Because the exact match of monodromy and wrap-once autoequivalences is the strongest and most novel content of Theorem 1.3, this is a load-bearing concern.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies two functors between partially wrapped Fukaya categories in the Ganatra–Pardon–Shende sectorial framework. The first is the Orlov functor associated to a stop; the paper introduces the notion of a swappable stop and proves (Theorem 1.3) that, under stop removal, a swappable stop makes the Orlov functor spherical, with the monodromy autoequivalence equal to the shifted dual cotwist and the wrap-once autoequivalence equal to the dual twist. The second is the Viterbo transfer map from a Liouville domain to a subdomain; the paper proves (Theorem 1.8) that, when the ambient domain and the completion of the subdomain satisfy stop removal, the Viterbo transfer map is a homological epimorphism, hence becomes a localization at the level of module categories and has split-generating image. The proofs are geometric: the algebraic content is organized around spherical swaps and semiorthogonal gluings, while the geometric input is isotopy invariance, forward-stopped inclusions, and the sectorial Viterbo construction.","tokens_in":29381,"tokens_out":9659,"duration_ms":101574,"significance":"If the results are correct, this is a substantial contribution. Theorem 1.3 gives a broad geometric criterion for sphericality of Orlov functors that goes beyond Landau–Ginzburg models, and the exact identification of monodromy and wrap-once autoequivalences with the dual cotwist and dual twist is strong and novel. Theorem 1.8 is a meaningful partial answer to Question 1.7 and appears to be the first written proof that Viterbo transfer is a homological epimorphism in the non-Weinstein cobordism setting. The paper is honest about its hypotheses, including the reliance on stop removal and on the GPS framework, and it supplies explicit geometric proofs rather than any parameter fitting or data-dependent argument. The algebraic characterization of spherical functors via spherical swaps in Proposition 4.4 is a useful standalone contribution.","major_comments":[{"comment":"The shift bookkeeping in the proof of Theorem 1.3 is load-bearing and is not verified in the text. The proof identifies the category C from Proposition 4.4 with two directed gluings: the first parametrizes W(F) via (iΣF)∗∘ı1[1] and then 'reparametrizes to remove both shifts', while the second parametrizes W(F) via (iΣF)∗∘ı1[2]. The subsequent sentence 'a full rotation is a shift by 2' is the only justification that the two copies of W(F) correspond to the two stops with exactly the gradings needed to conclude Wφ = W′ and Mφ = M′[−2]. An even shift error would still produce a spherical swap and preserve the sphericality part of Theorem 1.3, but it would change the conclusion to Wφ ≅ W′[2k] or Mφ ≅ M′[−2+2k]. Since the exact shift in these identifications is one of the principal claims, the paper should expand this paragraph into an explicit grading computation, fixing the graded inclusions i0, i1, i2 of the An sector, the conventions of Remark 2.19, and the direction of each rotation used in Proposition 3.6 and Lemma 2.15.","section":"§4.2, proof of Theorem 1.3"},{"comment":"The final step of the proof of Theorem 1.8 is compressed: the text asserts that because S◦Q and the composition (3.8)∘S◦Q are both quotients by the full subcategory W(Mbar), the map (3.8) must be a quasi-isomorphism. This is a cancellation property for localizations that is plausible but is not stated or proved, and the condensed diagram in the proof is not labeled sufficiently to check that the hypotheses of such a cancellation lemma hold. Please state the exact cancellation statement used and label the arrows and objects in the diagram, or give a direct argument that the induced map on quotients is an equivalence. As written, the last step of Theorem 1.8 is not fully transparent.","section":"§3.4, proof of Theorem 1.8"}],"minor_comments":[{"comment":"The abstract says 'when the domain and subdomain are independently Weinstein', but the actual hypothesis of Theorem 1.8 is stop removal for both the ambient domain and the completion of the subdomain. Since Weinstein implies stop removal, the abstract should either state the more general hypothesis or explicitly note that it is implying the Weinstein case.","section":"Abstract and Introduction"},{"comment":"The spelling 'Landau–Ginsburg' should be 'Landau–Ginzburg'.","section":"Example 1.4"},{"comment":"The proof of Lemma 2.2 is only a sketch and it is not always clear which parts are new and which are being quoted from [14]. A sentence saying precisely which statements from [14] are being invoked would help the reader assess the compactness claim.","section":"Lemma 2.2"},{"comment":"The diagram in (3.9) and the condensed diagram in the proof of Theorem 1.8 are visually dense and some arrows are not labeled. Adding labels such as S◦Q, (3.8), A, and i∗ directly on the arrows would make the proof substantially easier to follow.","section":"§3.4, diagram (3.9)"},{"comment":"The statement that the autoequivalence φ in Proposition 3.13 is 'not essential' but is nevertheless needed for the comparison would benefit from a brief comment on why it does not affect the subsequent quotient argument in the proof of Theorem 1.8.","section":"Remark 3.14"}],"recommendation":"major_revision","confidential_remarks":"The paper is likely correct in its main geometric ideas, but the exact shift identifications in Theorem 1.3 are a central selling point and the current proof compresses the verification into a single sentence. I would like to see the shift computation written out before accepting. The second major comment about the final step of Theorem 1.8 is less serious and may be resolvable by clearer diagram labeling plus a one-sentence cancellation lemma."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know about arXiv:1908.02317. The Viterbo half (Theorem 1.8) is a genuinely new result, proved by a clean comparison of doubled and tripled Viterbo sectors, and it looks structurally sound. The Orlov half (Theorem 1.3) introduces a good notion — swappable stops — but the proof's shift bookkeeping is terse enough that I want a referee to redo the gradings before I trust the exact identifications Wφ = W′ and Mφ = M′[−2]. The sphericality part is less at risk; even if a shift were off, that part would still survive.\n\nLet me give credit where it is earned. The definition of swappable stop is the right geometric abstraction: it is what makes the Orlov functor spherical, and the paper shows that the monodromy and wrap-once autoequivalences are exactly the expected twist/cotwist expressions. The proof of Theorem 1.8 is the first written proof that Viterbo transfer is a homological epimorphism under stop removal, and the tripled-sector argument is a nice way to see the localization. The paper is honest about its assumptions: stop removal is cited for Weinstein domains, and the lack of a general criterion for swappability is acknowledged with examples.\n\nNow the soft spots. The one that matters is in Section 4.2. In the proof of Theorem 1.3 the author compares two semiorthogonal presentations of the gluing category and says \"reparametrize to remove both shifts,\" then later \"a full rotation is a shift by 2.\" These are exactly the steps that determine whether the swap is A-positive and whether S² restricts to the claimed Wφ and Mφ. The stress-test note is right that an even shift error would still give a spherical swap, so the geometric content of \"spherical\" is safe, but the paper's sharpest claim — the equality Wφ = W′, Mφ = M′[−2] — would be off by a shift. I don't see an actual error in the lines I checked, but the computation is compressed and the conventions are easy to flip. This is a writeup gap, not a fatal one: it asks for an explicit grading check in the final version.\n\nOther caveats are lighter. Lemma 2.2's compactness is a sketch, and Section 2.6 compares with Abouzaid–Seidel by property list rather than full proof. Both are acknowledged by the author. The paper depends on the Ganatra–Pardon–Shende sectorial framework, but that is standard now.\n\nBottom line: this paper deserves a serious referee. I'd send it to review, and I'd ask the author to expand the shift verification in Theorem 1.3 — a short explicit computation would settle it. Once that is done, I'd expect this to be a solid addition to the wrapped-Fukaya literature. For my own work I'd cite the Viterbo result now; I'd wait on the exact shifted equalities until the grading check is visible.","headline":"A genuinely new Viterbo result and a good geometric criterion for spherical Orlov functors, but the proof of the Orlov half has a shift-bookkeeping gap that a referee should check before the exact monodromy/twist identifications are trusted.","tokens_in":30021,"tokens_out":4885,"would_cite":true,"duration_ms":45794,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53D37","53D40","53D10"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that a stop's swappability makes its Orlov functor spherical, and that Viterbo transfer is a homological epimorphism under stop removal.","keywords":["partially wrapped Fukaya category","Orlov functor","Viterbo transfer map","spherical functor","swappable stop","homological epimorphism","Liouville sector","stop removal"],"falsifier":"The claim would be settled by exhibiting a stop that satisfies stop removal and admits the required positive-to-negative Reeb-pushoff isotopy but whose Orlov functor is not spherical; conversely, a non-swappable stop whose Orlov functor is spherical would show swappability is not necessary for the conclusion.","tokens_in":28855,"feed_emoji":"🔄","tokens_out":14144,"duration_ms":136765,"temperature":0.7,"pith_summary":"Partially wrapped Fukaya categories are algebraic invariants that organize the exact Lagrangians in a Liouville sector, and two natural maps between them are the Orlov functor (which sends a Lagrangian in a stop to a small disk linking the corresponding core) and the Viterbo transfer map (which morally sends a Lagrangian to its intersection with a subdomain). This paper establishes a geometric condition, the swappability of a stop, under which the Orlov functor is spherical: its twist and cotwist autoequivalences are inverse, recovering a structural pattern previously known for Landau–Ginzburg models. The paper also proves that the Viterbo transfer map is a homological epimorphism whenever the domain and subdomain satisfy stop removal, meaning that after passing to module categories it becomes a localization. These results matter because they carry two kinds of algebraic localization, sphericality and homological epimorphism, from the Weinstein setting to broader Liouville sectors, and they tie these algebraic properties to concrete contact-geometric data.","feed_headline":"Stop-swapping makes Orlov functors spherical","feed_subtitle":"And under stop removal, Viterbo transfer becomes a module-level localization.","key_machinery":"The new geometric input is a swappable stop: a stop $\\sigma$ in the boundary at infinity equipped with an isotopy from its positive Reeb pushoff $\\sigma_+$ to its negative pushoff $\\sigma_-$ that avoids $\\sigma$ itself. That isotopy induces three autoequivalences: a monodromy $M_\\varphi$ on the wrapped category of the fiber, a wrap-once $W_\\varphi$ on the partially wrapped category of the sector, and a swap $S_\\varphi$ on the sector obtained by gluing two copies of the stop. The algebraic engine is the spherical swap: an autoequivalence of a semiorthogonal gluing, an $A_\\infty$-category built from two categories and a bimodule between them, that exchanges the two complementary subcategories, and Proposition 4.4 shows that a functor is spherical exactly when such a positive swap exists. The proof of Theorem 1.3 identifies $S_\\varphi$ with a positive spherical swap of the Orlov functor. For the Viterbo theorem, the machinery is the sectorial construction of the transfer map together with its doubled and tripled gluings; the argument shows that the bimodule map $\\Gamma^{\\dagger}(V) \\otimes_{W(\\overline{M})} \\Gamma(V) \\to \\Delta_{W(M_{\\mathrm{in}})}$, whose being a quasi-isomorphism is equivalent to $V$ being a homological epimorphism, is induced by an isotopy of sectors, so stop removal upgrades it to a quasi-isomorphism.","core_discovery":"The central claim is that two natural functors between partially wrapped Fukaya categories have good algebraic structure under explicit geometric hypotheses. On the Orlov side, Theorem 1.3 says that if $\\sigma$ is a swappable stop satisfying stop removal, then the Orlov functor $\\imath_\\sigma: W(\\overline{F}) \\to W(M)$ is spherical, meaning its twist and cotwist autoequivalences are inverse, and the monodromy $M_\\varphi$ and wrap-once $W_\\varphi$ autoequivalences obtained from the swapping isotopy agree with the shifted dual cotwist $M'[-2]$ and the dual twist $W'$, respectively; in particular these autoequivalences are independent of the choice of isotopy. On the Viterbo side, Theorem 1.8 says that for a Liouville subdomain $M_{\\mathrm{in}} \\subset \\overline{M}$ with both $\\overline{M}$ and the completion of $M_{\\mathrm{in}}$ satisfying stop removal, the Viterbo transfer $V: W(\\overline{M}) \\to \\mathrm{Perf}\\,W(M_{\\mathrm{in}})$ is a homological epimorphism: its extension to module categories is a localization, and its image split-generates $W(M_{\\mathrm{in}})$. Since stop removal is known for Weinstein manifolds, the theorem applies in particular when the domain and subdomain are individually Weinstein, even if the cobordism between them is not.","pith_inferences":["The algebraic equivalence between sphericality and existence of a positive spherical swap suggests a converse the paper does not prove: every spherical Orlov functor should arise from a swappable stop, so testing non-swappable stops for sphericality would sharpen the geometric criterion.","Theorem 1.8 recasts the open question of whether the Viterbo map is a genuine localization for individually Weinstein domain and subdomain as the compact generation of the kernel of its module-level extension, a condition one could approach through the co-cores of the cobordism.","The swap autoequivalence built from a swappable stop on a mapping torus gives a concrete symplectic mechanism for realizing any symplectomorphism-induced autoequivalence as a spherical twist, linking the paper's constructions to the broader principle that autoequivalences are spherical twists."],"forward_implications":["A swappable stop satisfying stop removal yields a spherical Orlov functor, so the twist and cotwist autoequivalences around the stop are inverse to one another.","The monodromy and wrap-once autoequivalences are independent of the chosen swapping isotopy; any symplectomorphism of the ambient sector that preserves the stop setwise commutes with them.","For a Liouville subdomain whose ambient domain and completion both satisfy stop removal, the Viterbo transfer map is a homological epimorphism, so its image split-generates the wrapped category of the subdomain.","When the domain and subdomain are individually Weinstein, the Viterbo transfer map is a homological epimorphism even if the cobordism between them is not Weinstein.","Passing to monodromy-invariant subdomains of a swappable stop produces new swappable stops, giving examples beyond the standard Landau–Ginzburg fiber construction."],"supporting_citations":[{"why":"Supplies the Liouville-sector framework, admissible Floer data, and localization results on which the paper's partially wrapped categories and pushforward functors are built.","marker":"[14]"},{"why":"Provides stop removal, the sectorial Viterbo sector, forward-stopped inclusions, and the gluing formulas used in the proofs of both main theorems.","marker":"[15]"},{"why":"Defines the notion of spherical functor that Theorem 1.3 establishes for swappable stops.","marker":"[4]"},{"why":"Supplies the spherical-swap characterization via 4-periodic semiorthogonal decompositions that underlies Proposition 4.4.","marker":"[18]"},{"why":"Gives the neck-stretching construction of the Viterbo transfer map whose agreement with the sectorial definition is proved in Section 2.6.","marker":"[2]"},{"why":"Establishes the partially wrapped Fukaya category model and localization by continuation elements that anchors the Floer-theoretic setup.","marker":"[31]"}],"fun_headline_variants":["Swappable stops make Orlov functors spherical","Stop removal yields spherical Orlov and epimorphic Viterbo","Orlov spherical under stop swap; Viterbo localizes","Geometric criteria for spherical Orlov and epimorphic Viterbo"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The main conclusions are conditional on two existence hypotheses whose general validity is left open: the stop must admit a swappable isotopy from its positive Reeb pushoff to its negative pushoff avoiding itself, and the relevant Liouville manifolds must satisfy stop removal; if either hypothesis fails, the corresponding theorem is not claimed to hold.","fun_headline_variants_meta":{"raw":{"variants":["Swappable stops make Orlov functors spherical","Stop removal yields spherical Orlov and epimorphic Viterbo","Orlov spherical under stop swap; Viterbo localizes","Geometric criteria for spherical Orlov and epimorphic Viterbo"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000292,"raw_usage":{"total_tokens":1729,"prompt_tokens":997,"completion_tokens":732,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":613,"completion_tokens_details":{"reasoning_tokens":660}},"tokens_in":613,"tokens_out":732,"duration_ms":7085,"temperature":1.0,"reasoning_tokens":660,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:48:57.393753+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"The claim would be settled by exhibiting a stop that satisfies stop removal and admits the required positive-to-negative Reeb-pushoff isotopy but whose Orlov functor is not spherical; conversely, a non-swappable stop whose Orlov functor is spherical would show swappability is not necessary for the conclusion.","supporting_citations":[{"cited_title":"Spherical DG-functors","cited_arxiv_id":null,"evidence_quote":"Defines the notion of spherical functor that Theorem 1.3 establishes for swappable stops."},{"cited_title":"Autoequivalences of derived categories via geometric invariant theory","cited_arxiv_id":null,"evidence_quote":"Supplies the spherical-swap characterization via 4-periodic semiorthogonal decompositions that underlies Proposition 4.4."},{"cited_title":"Abouzaid and P","cited_arxiv_id":null,"evidence_quote":"Gives the neck-stretching construction of the Viterbo transfer map whose agreement with the sectorial definition is proved in Section 2.6."},{"cited_title":"On partially wrapped fukaya categories","cited_arxiv_id":null,"evidence_quote":"Establishes the partially wrapped Fukaya category model and localization by continuation elements that anchors the Floer-theoretic setup."}],"review_version":1}