REVIEW 2 major objections 5 minor 1 cited by
Orlov and Viterbo functors in partially wrapped Fukaya categories
T0 review · 2 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read This paper proves that a stop's swappability makes its Orlov functor spherical, and that Viterbo transfer is a homological epimorphism under stop removal.
desk verdict 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. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
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.
What would settle it
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.
Extended reading notes
Core claim
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.
Load-bearing premise
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.
Editorial extensions
If this is right
- 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.
Reading between the lines
- 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.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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.
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 (2)
- [§4.2, proof of Theorem 1.3] 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.
- [§3.4, proof of Theorem 1.8] 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.
minor comments (5)
- [Abstract and Introduction] 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.
- [Example 1.4] The spelling 'Landau–Ginsburg' should be 'Landau–Ginzburg'.
- [Lemma 2.2] 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.
- [§3.4, diagram (3.9)] 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.
- [Remark 3.14] 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.
Circularity Check
No significant circularity: the paper's theorems are derived from gluing, adjunction, isotopy, and algebraic spherical-swap results, not from their own conclusions.
full rationale
This is a proof paper with no fitted parameters or data. The central results—Theorem 1.3 (spherical Orlov functor and identification of monodromy/wrap-once with dual (co)twists) and Theorem 1.8 (Viterbo transfer as homological epimorphism)—are obtained by combining geometric isotopy and gluing statements with independent algebraic facts. Theorem 1.3 reduces sphericality to the existence of a spherical swap via Proposition 4.4, whose proof is algebraic and draws on Halpern-Leistner–Shipman; the new geometric input is that a swappable stop produces such a swap S_phi. The shift comparisons in the proof are explicit computations about grading conventions, not assumptions of the conclusion; even if a sign were wrong, that would be a correctness issue rather than circularity. Theorem 1.8 is proved by showing that a certain bimodule map (3.8) is a quasi-isomorphism, using stop removal and the deformation equivalence of the tripled and doubled Viterbo sectors; the definition of V via (Perf i_{sigma_1}[1])^{-1} i_{sigma_0} does not itself assert homological epimorphism. The paper relies on Ganatra–Pardon–Shende for sectorial Floer theory and gluing formulas and on the author's earlier work for partially wrapped Floer foundations; these are background results with independent proofs, not a self-citation chain that smuggles in the theorem. No equation in the paper reduces to its own input by construction, and no fitted value is renamed as a prediction. Accordingly, the circularity score is 0.
Assumptions & free parameters
assumptions (5)
- standard math Existence, invariance, and continuation functors for partially wrapped Fukaya categories on Liouville sectors (Ganatra-Pardon-Shende and Sylvan)
- domain assumption Stop removal holds for the manifolds in the theorems
- domain assumption The gluing formulas for Liouville sectors and the semiorthogonal decomposition presentations (Proposition 3.9, Corollary 3.11)
- standard math Properties of spherical functors and spherical swaps from Anno-Logvinenko and Halpern-Leistner-Shipman
- domain assumption Abouzaid-Seidel Viterbo map properties
Cite this review
Pith. "Pith review of Orlov and Viterbo functors in partially wrapped Fukaya categories." pith.science (2026). https://pith.science/paper/L7GDJAUP
@misc{pith2026190802317,
author = {Pith},
title = {Pith review of: Orlov and Viterbo functors in partially wrapped Fukaya categories},
year = {2026},
howpublished = {\url{https://pith.science/paper/L7GDJAUP}},
note = {Machine review of arXiv:1908.02317}
}
read the original abstract
We study two functors between (partially) wrapped Fukaya categories. The first is the Orlov functor from the Fukaya category of a stop to the Fukaya category of the ambient sector. We give a geometric criterion for when this functor is spherical in the sense of Anno-Logvinenko. This criterion is a generalization of the situation where the stop comes from a Landau-Ginzburg model. The second functor is the Viterbo transfer map from a Liouville domain to a subdomain. We show that when the domain and subdomain are independently Weinstein, this functor is a homological epimorphism, which means that it becomes a localization after passing to module categories. This should be compared with a result of Ganatra-Pardon-Shende, which states that the Viterbo map is a genuine localization when the cobordism is Weinstein.
Figures
Forward citations
Cited by 1 Pith paper
-
Monodromy action of mirror stops for toric Calabi-Yau surfaces
Paths in a moduli space of area-one graphs lift to exact autoequivalences of the stopped Fukaya category of the A_{n-1} singularity, giving an annular braid action that matches Seidel–Thomas plus O(−1).
Reference graph
Works this paper leans on
- [1]
-
[2]
M. Abouzaid and P. Seidel. An open string analogue of Viterbo functoriality. Geom. Topol., 14:627–718, 2010
work page 2010
-
[3]
A geometric criterion for generating the Fukaya category.Publ
Mohammed Abouzaid. A geometric criterion for generating the Fukaya category.Publ. Math. Inst. Hautes ´Etudes Sci., (112):191–240, 2010
work page 2010
-
[4]
Rina Anno and Timothy Logvinenko. Spherical DG-functors. Journal of the European Mathematical Society , 19(9):2577–2656, 2017
work page 2017
-
[5]
A. Bondal. Representations of associative algebras and coherent sheaves. Math. USSR Izvestiya , 34:23–42, 1990
work page 1990
-
[6]
Moduli spaces of witch curves topologically realize the 2-associahedra
Nathaniel Bottman. Moduli spaces of witch curves topologically realize the 2-associahedra, 2017. arXiv:1712.01194
work page Pith review arXiv 2017
-
[7]
Relative calabi–yau structures
Christopher Brav and Tobias Dyckerhoff. Relative calabi–yau structures. Compositio Mathematica, 155(2):372– 412, February 2019
work page 2019
-
[8]
The bott–samelson theorem for positive legendrian isotopies
Lucas Dahinden. The bott–samelson theorem for positive legendrian isotopies. Abhandlungen aus dem Mathe- matischen Seminar der Universit¨ at Hamburg, 88(1):87–96, May 2017
work page 2017
Show all 34 references
-
[9]
Drinfeld and D
V. Drinfeld and D. Gaitsgory. Compact generation of the category of $ \mathrm{d}$-modules on the stack of $g$-bundles on a curve. Cambridge Journal of Mathematics , 3(1–2):19–125, 2015
2015
-
[10]
Homotopy finiteness of some dg categories from algebraic geometry, 2013
Alexander Efimov. Homotopy finiteness of some dg categories from algebraic geometry, 2013. arXiv:1308.0135
2013 arXiv
-
[11]
Flexible lagrangians
Yakov Eliashberg, Sheel Ganatra, and Oleg Lazarev. Flexible lagrangians. International Mathematics Research Notices, May 2018
2018
-
[12]
The coherent-constructible correspon- dence and homological mirror symmetry for toric varieties
Bohan Fang, Chiu-Chu Melissa Liu, David Treumann, and Eric Zaslow. The coherent-constructible correspon- dence and homological mirror symmetry for toric varieties. In Geometry and analysis. No. 2 , volume 18 of Adv. Lect. Math. (ALM), pages 3–37. Int. Press, Somerville, MA, 2011
2011
-
[13]
Slow volume growth for reeb flows on spherizations and contact bott–samelson theorems
Urs Frauenfelder, Cl´ emence Labrousse, and Felix Schlenk. Slow volume growth for reeb flows on spherizations and contact bott–samelson theorems. Journal of Topology and Analysis , 07(03):407–451, May 2015
2015
-
[14]
Ganatra, J
S. Ganatra, J. Pardon, and V. Shende. Covariantly functorial wrapped floer theory on liouville sectors, 2017. arXiv:1706.03152
2017 arXiv
-
[15]
Ganatra, J
S. Ganatra, J. Pardon, and V. Shende. Structural results in wrapped floer theory, 2018. arXiv:1809.03427
2018 arXiv
-
[16]
Symplectic cohomology and duality for the wrapped fukaya category, 2013
Sheel Ganatra. Symplectic cohomology and duality for the wrapped fukaya category, 2013. arXiv:1304.7312
2013 arXiv
-
[17]
Wrapped floer cohomology and lagrangian correspondences, 2017
Yuan Gao. Wrapped floer cohomology and lagrangian correspondences, 2017. arXiv:1703.04032
2017 arXiv
-
[18]
Autoequivalences of derived categories via geometric invariant theory
Daniel Halpern-Leistner and Ian Shipman. Autoequivalences of derived categories via geometric invariant theory. Advances in Mathematics, 303:1264–1299, November 2016. 32 ZACHARY SYLVAN
2016
-
[19]
Katzarkov and G
L. Katzarkov and G. Kerr. Partially wrapped fukaya categories of simplicial skeleta, 2017. arXiv:1708.06038
2017 arXiv
-
[20]
Katzarkov, P
L. Katzarkov, P. Pandit, and T. Spaide. Calabi-yau structures, spherical functors, and shifted symplectic struc- tures, 2017. arXiv:1701.07789
2017 arXiv
-
[21]
Alexander Kuznetsov and Valery A. Lunts. Categorical resolutions of irrational singularities. International Math- ematics Research Notices, 2015(13):4536–4625, May 2014
2015
-
[22]
Lyubashenko and S
V. Lyubashenko and S. Ovsienko. A construction of quotient A∞-categories. Homology, Homotopy Appl., 8:157– 203, 2006
2006
-
[23]
S. Ma’u, K. Wehrheim, and C. Woodward. A∞ functors for lagrangian correspondences. Selecta Mathematica, 24(3):1913–2002, March 2018
1913
-
[24]
The grothendieck duality theorem via bousfield’s techniques and brown representability.Journal of the American Mathematical Society , 9(01):205–237, January 1996
Amnon Neeman. The grothendieck duality theorem via bousfield’s techniques and brown representability.Journal of the American Mathematical Society , 9(01):205–237, January 1996
1996
-
[25]
Alexander F. Ritter. Topological quantum field theory structure on symplectic cohomology. Journal of Topology, 6(2):391–489, January 2013
2013
-
[26]
All autoequivalences are spherical twists
Ed Segal. All autoequivalences are spherical twists. International Mathematics Research Notices , page rnw326, January 2017
2017
-
[27]
P. Seidel. A∞-subalgebras and natural transformations. Homology, Homotopy Appl. , 10:83–114, 2008
2008
-
[28]
P. Seidel. Fukaya A∞-structures associated to Lefschetz fibrations.I. J. Sympl. Geom. , 10:325–388, 2012
2012
-
[29]
Fukaya categories and Picard-Lefschetz theory
Paul Seidel. Fukaya categories and Picard-Lefschetz theory. Zurich Lectures in Advanced Mathematics. European Mathematical Society (EMS), Z¨ urich, 2008
2008
-
[30]
L. Silver. Noncommutative localizations and applications. Journal of Algebra, 7(1):44–76, September 1967
1967
-
[31]
On partially wrapped fukaya categories
Zachary Sylvan. On partially wrapped fukaya categories. Journal of Topology, 12(2):372–441, 2019
2019
-
[32]
Thorie homotopique des DG-catgories
Gonalo Tabuada. Thorie homotopique des DG-catgories . PhD thesis, 2007. Thse de doctorat dirige par Keller, Bernhard Mathmatiques Paris 7 2007. arXiv:0710.4303
2007 arXiv
-
[33]
Cyclic structures and broken cycles, 2019
Hiro Lee Tanaka. Cyclic structures and broken cycles, 2019. arXiv:1907.03301
2019 arXiv
-
[34]
C. Viterbo. Functors and computations in Floer homology with applications. I. Geom. Funct. Anal., 9(5):985– 1033, 1999
1999
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.