Pith. sign in

REVIEW 3 major objections 4 minor 12 references

Legendrian surgery

T0 review · 3 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A surgery map computes wrapped Floer cohomology from attaching spheres.

desk verdict Honest overview of the Legendrian surgery program: no new theorems, but a useful architectural map; the main soft spot is a real presentation gap in the action-filtration argument, not a correctness issue. read the letter →

arxiv 2411.12144 v1 pith:M75QMO4N submitted 2024-11-19 math.SG

Tobias Ekholm This is my paper · ORCID
classification math.SG MSC 53D4053D4253D35
keywords LegendriansurgerywrappedFloercohomologyChekanov-Eliashbergdg-algebraWeinsteinmanifoldssymplectichomologyHochschildReebchordsopen-closedmap
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper lays out the Legendrian surgery approach to wrapped Floer cohomology and the connections it creates between holomorphic curve theories on Weinstein manifolds. Its central claim is that the wrapped Floer cohomology of the co-core disks of a Weinstein manifold is computed, up to quasi-isomorphism, by the Chekanov-Eliashberg dg-algebra of the Legendrian spheres along which the critical handles are attached. The argument runs through a chain map that counts anchored holomorphic disks with punctures at Reeb chords, and upgrades that map to a quasi-isomorphism by an action filtration. From this base isomorphism the paper derives relations between symplectic homology, Hochschild homology of wrapped Floer cohomology, open-closed and closed-open maps, and partially wrapped Floer cohomology with loop-space coefficients. If the main isomorphism holds, symplectic invariants of a Weinstein manifold are readable from the Legendrian geometry of its attaching data.

What carries the argument

The load-bearing mechanism is the surgery cobordism between the Weinstein domain before and after a critical handle attachment, together with an action-controlled dictionary of Reeb chords. Lemma 3.1 states that, for sufficiently small handles, Reeb chords of the co-core boundary sphere below any fixed action correspond one-to-one to composable words of Reeb chords of the attaching link with total action below that level. On top of this dictionary, the chain map $\Phi^{\mathrm{CW}}$ is defined by counting anchored holomorphic disks with positive punctures at Reeb chords of the co-core, negative punctures at Reeb chords of the attaching link, and two punctures asymptotic to the intersections between the core and co-core Lagrangians; the $A_\infty$-structure on the wrapped side is handled by systems of parallel copies that prevent boundary breaking. An action filtration then turns the triangular leading term of the map into a quasi-isomorphism, and the same pattern is adapted to symplectic homology, Hochschild complexes, upside-down surgery, and partial wrapping.

What would settle it

Fix a Weinstein domain and a critical handle attachment; list the Reeb chords of the co-core boundary sphere with action below some level $a$ and the composable words of Reeb chords of the attaching link with total action below $a$. Any mismatch in this list, for any $a$ and any handle size, would falsify Lemma 3.1 and therefore the quasi-isomorphism of Theorem 3.7.

Watch

Extended reading notes

Core claim

The paper's central discovery is Theorem 3.7: the natural $A_\infty$-chain map $\Phi^{\mathrm{CW}}\colon \mathrm{CW}^*(C)\to \mathrm{CE}^*(\Lambda)$, from the wrapped Floer cohomology of the co-core disks of a Weinstein manifold to the Chekanov-Eliashberg dg-algebra of its Legendrian attaching spheres, is a quasi-isomorphism. The map is built from holomorphic disks in the surgery cobordism with positive punctures at Reeb chords of the co-core boundary, negative punctures at Reeb chords of the attaching link, and additional punctures at the intersection points between core and co-core disks; the $A_\infty$-relations are the splittings of one-dimensional moduli spaces. The proof uses an action-filtered induction in which the leading term of the map on each Reeb chord word is plus or minus the corresponding word, with lower-action corrections, and the required isomorphism disks are constructed by gluing. The same surgery machinery then identifies symplectic homology with cyclic words of Reeb chords, identifies the open-closed map as a quasi-isomorphism to symplectic homology, and describes partially wrapped Floer cohomology through Legendrian dg-algebras with based-loop-space coefficients.

Load-bearing premise

The result depends on the geometric correspondence that, for a sufficiently small handle, every Reeb chord of the co-core's boundary sphere below any fixed length bound corresponds exactly to one composable word of Reeb chords of the attaching link, with no exceptions and no missing words.

Editorial extensions

If this is right

  • Wrapped Floer cohomology of the co-core disks of a Weinstein manifold is explicitly computable from the Chekanov-Eliashberg dg-algebra of the Legendrian attaching link.
  • Symplectic homology of the Weinstein manifold is quasi-isomorphic to the Hochschild complex of cyclic words of Reeb chords of the attaching link, with the subcritical part contributing only a contractible factor.
  • The open-closed map from the Hochschild homology of wrapped Floer cohomology to symplectic homology is a quasi-isomorphism, and the closed-open map gives the reciprocal statement for Hochschild cohomology.
  • Partially wrapped Floer cohomology around Legendrian stops is described by Chekanov-Eliashberg dg-algebras with coefficients in chains on the based loop space, yielding geometric cut-and-paste descriptions of Floer theory.
  • The symplectic homology product is represented on cyclic words of Reeb chords by attaching disks, giving a concrete Legendrian picture of the Calabi-Yau structure.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • An implication the paper leaves implicit is that the quasi-isomorphism makes wrapped Floer cohomology of co-cores insensitive to handle size and contact-form choices, so it is an invariant of the Legendrian isotopy class of the attaching link.
  • The finite-action dictionary in Lemma 3.1 suggests a testable low-dimensional check: compute the action spectra of Reeb chords before and after surgery and compare them with word-length spectra, which could reveal where the small-handle approximation starts to fail.
  • The same surgery pattern applied to partial wrapping points toward a category-level statement that partially wrapped Fukaya categories are fully encoded by Legendrian dg-algebras with local coefficients; the paper states the cohomological version rather than the full categorical one.
  • Upside-down surgery and cut-and-paste descriptions suggest that Legendrian surgery arguments should yield gluing formulas for symplectic cohomology along arbitrary Weinstein sectors, not only the handle-by-handle presentations shown here.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. This overview paper describes Eliashberg's Legendrian surgery approach to wrapped Floer cohomology. The central result is Theorem 3.7, which states that for a Weinstein manifold obtained by attaching critical handles along a Legendrian link Λ, the wrapped Floer cohomology of the co-core disks C is quasi-isomorphic to the Chekanov–Eliashberg dg-algebra of Λ. The proof is presented through a Reeb chord correspondence (Lemma 3.1), an upper-triangular action-filtration statement (Lemma 3.6), and the construction of the chain map Φ^CW in Section 3.5. The remainder of the paper surveys applications: symplectic homology and a two-copy complex (Section 4.1), upside-down surgery and Hochschild complexes (Section 4.2), open-closed and closed-open maps (Section 4.3), the symplectic homology product (Section 4.4), and partially wrapped Floer cohomology with loop-space coefficients (Section 4.5). The paper is explicitly an overview and delegates many details to the prior works [7], [10], and others.

Significance. If the results hold as stated, the paper provides a useful conceptual roadmap to a central family of isomorphisms in symplectic topology: wrapped Floer cohomology of co-cores, symplectic homology, Hochschild homology and cohomology, and the closed-open map are all derived from one surgery picture. The main theorem is already a published theorem, and the sketched proof is consistent with the cited references, which is an important strength. The paper also clearly identifies the generator-level dictionary between Reeb chords of the co-core boundary and composable words of Reeb chords of the attaching link, and it spells out the geometric origin of the isomorphism. Its value is as a survey and a guide to the literature rather than as a new proof; the main risk is that the sketched proofs omit the limiting steps needed to pass from action-truncated comparisons to the unfiltered quasi-isomorphisms.

major comments (3)
  1. [§3.6, proof of Theorem 3.7] Lemma 3.1 supplies, for each action bound a, a handle size δ(a) such that Reeb chords of Γ of action < a correspond to composable words of Λ of total action < a. Lemma 3.6 then compares the a-truncated complexes only for handles of size < δ(a). The proof of Theorem 3.7 says 'Using a straightforward action filtration argument' but does not explain how one passes from the truncated statement to the unfiltered quasi-isomorphism: for a fixed handle size, Lemma 3.1 gives no control on chords of action ≥ a, and Lemma 3.6 does not compare their contributions. The missing step is either a uniform handle size valid for all action levels or an explicit direct-limit/invariance argument (shrink the handle and use invariance of CW^*(C) and CE^*(Λ)). Please add this step or point precisely to the place in [7, Appendix B.2] where it is carried out.
  2. [§4.3, proof of Theorem 4.8] The injectivity part of the proof contains the sentence 'Since CO is an isomorphism we find u...', which is circular because CO is the map whose quasi-isomorphism property is being proved; it should presumably read 'Since OC is an isomorphism' via Corollary 4.5. This typo should be corrected. More substantially, the rest of the proof is too compressed: the surjectivity argument invokes moduli spaces M(u;e), a 'dimension two' statement after gluing, and a rotation cobordism M(T) whose rigid holomorphic curves are asserted rather than derived. As written, this does not verify Theorem 4.8 without consulting the cited references [1,11]. Please expand the argument or explicitly state which parts are quoted from those sources.
  3. [§4.2, Theorem 4.4] The statement introduces a quasi-isomorphism Φ^CW: B CW^*(C) → LCE^*(Λ) of infinity co-algebras, but the infinity co-algebra structures on the bar complex and on the linearized Chekanov–Eliashberg dg-algebra are not defined in the paper, and the augmentation needed for linearization is not specified. The proof is given as 'In direct analogy with Theorem 3.7' with no further details. Since Theorem 3.7 itself relies on the missing action-filtration limit step, Theorem 4.4 inherits that gap. Please either define the relevant structures and give a precise proof sketch with the role of Lemma 4.3, or state clearly that this result is a direct quotation of [7].
minor comments (4)
  1. [Throughout] The manuscript contains numerous typographical errors that should be corrected in a revision, including 'Chekaonv-Eliashberg' (Section 2), 'W rapped' (Section 3.3 heading), 'holomorhic' (Sections 3.2 and 3.3), 'samller' and 'of of' (Lemma 3.1), 'More precisley' (Section 3.5), 'isomorhism' (Section 3.6), 'Elishberg' (Section 4.5), 'eqipped' (Lemma 4.3), and 'Gantara' (reference [11]).
  2. [Reference [7]] The entry for [7] appears to contain a duplicated title and should be cleaned up so that the journal, volume, and pages are clearly formatted.
  3. [§4.4] The phrase 'one extra puncture opposite the distinguished mixed puncture mapping to z' is unclear; it would help to specify the domain of that puncture and the role of the conformal constraint more explicitly.
  4. [§4.5] The isomorphism (4.1) is stated as 'straightforward to derive' but no derivation or precise reference is given; since this is a sample application, a short indication of how Theorem 3.7 and loop-space coefficients interact would make the illustration more useful.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the central isomorphism is quoted from prior detailed proofs, not derived from the paper's own claims.

full rationale

The paper is an expository account of the Legendrian surgery isomorphism CW*(C) → CE*(Λ). The load-bearing lemmas (3.1, 3.6) and Theorem 3.7 are not derived from the theorem itself; they are quoted from prior works [10] and [7], which contain detailed fixed-point, moduli-counting, and action-filtration arguments. Although those works share authors with the present paper, the citations are to concrete proofs with stated assumptions rather than to the target statement, so under the independence rule they do not constitute circularity. The apparent phrase 'Since CO is an isomorphism' in the proof of Theorem 4.8 is an evident typo for OC (Corollary 4.5) and does not make the argument circular: OC was established independently by surgery. There is a genuine completeness gap in the write-up: Theorem 3.7's 'straightforward action filtration argument' skips the direct-limit/invariance step needed to pass from action-truncated isomorphisms (whose handle size δ(a) depends on a) to the untruncated quasi-isomorphism for a fixed handle. This is an omitted proof detail, not a circular reduction; the underlying result is external and independently argued in the cited works. No fitted parameter is renamed as a prediction, and no known result is repackaged as a new derivation. Accordingly, no circular step is exhibited.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The paper is pure theory; no parameters are fitted to data and no new entities are postulated. The load-bearing inputs are standard geometric hypotheses: Weinstein handle decompositions, generic contact forms, transversality and compactness of holomorphic curve moduli, and existence of augmentations for the linearized algebra in §4.2. These are framework assumptions, not derived results.

assumptions (4)
  • domain assumption Weinstein manifold admits handle decomposition with all symplectic topology carried by the Legendrian attaching spheres
    Section 2 uses the h-principle for subcritical handles and asserts the Legendrian isotopy class of Λ determines invariants of X.
  • domain assumption Generic contact form makes Reeb orbits and Reeb chords isolated and transverse
    Section 3.1 assumes genericity and parameterized Reeb orbits; the transversality of linearized flows is used without proof.
  • domain assumption Compactness and transversality for anchored holomorphic curve moduli, with systems of parallel copies
    Proofs of Lemmas 3.2, 3.3, 3.5, and 3.6 rely on these properties, delegated to [7, Appendix B].
  • domain assumption CE*(Λ) has an augmentation
    Section 4.2 says 'here we assume that CE*(Λ) has an augmentation' to define the linearized Chekanov-Eliashberg algebra.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Legendrian surgery." pith.science (2026). https://pith.science/paper/M75QMO4N

@misc{pith2026241112144,
  author       = {Pith},
  title        = {Pith review of: Legendrian surgery},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/M75QMO4N}},
  note         = {Machine review of arXiv:2411.12144}
}
read the original abstract

This is an overview paper that describes Eliashberg's Legendrian surgery approach to wrapped Floer cohomology and use it to derive the basic relations between various holomorphic curve theories with additional algebraic constructions. We also give a brief discussion of further results that use the surgery perspective, e.g., for holomorphic curve invariants of singular Legendrians and Lagrangians.

Figures

Figures reproduced from arXiv: 2411.12144 by the authors.

Figure 1
Figure 1. A Lagrangian handle, core disk L and attaching sphere Λ, co-core disk C with Legendrian boundary Γ. 3. The basic surgery isomorphism In this section we give the basic steps in the Legendrian surgery isomorphism connecting the wrapped Floer cohomology of Lagrangian co-core disks to Chekanov-Eliashberg dg-algebras of Legendrian attaching spheres. 3.1. Reeb orbits and Reeb chords. Consider a contact manifold V with con… view at source ↗
Figure 2
Figure 2. Holomorphic disks for the µk-operations on CW˚ pCq. 3.4. The Chekanov-Eliashberg dg-algebra. We next consider the differential B of the Chekanov￾Eliashberg dg-algera. The differential counts holomorphic disks in the symplectization Y0 ˆ R anchored at orbits with one positive and several negative punctures, see [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗
Figure 3
Figure 3. Holomorphic disks for the differential on CE˚ pΛq. We extend it to a dg-algebra differential by the Leibniz rule. Lemma 3.4. The map B : CE˚ pΛq Ñ CE˚ pΛq is a differential, B 2 “ 0. Proof. The square of the differential counts ends of a 1-dimensional moduli space, see e.g., [7]. □ 3.5. The chain map. The cobordism W “ XzX0, with the Lagrangians L and C with connected components that intersect at single points in th… view at source ↗
Figures from the paper (6 more)
Figure 4
Figure 4. Figure 4: We view CE˚ pΛq as an A8-algebra generated by words of Reeb chords with differential µ1 “ B, with µ2 given by the concatenation product, and with all higher µk equal to zero. Lemma 3.5. The map Φ CW “ ř k Φ CW k in (3.1) is an A8-map. Proof. To see this we consider 1-d…
Figure 4
Figure 4. Figure 4: Holomorphic disks for the surgery map CW˚ pCq Ñ CE˚ pΛq. 3.6. Chain isomorphism. We show in this section that the A8-map ΦCW in (3.1) is in fact a chain isomorphism. More precisely, we have the following. Lemma 3.6. For any action cut-off a0 ą 0, the image under Φ CW 1…
Figure 5
Figure 5. Figure 5: Constructing isomorphism disks by gluing. Using a straightforward action filtration argument, see [7, Appendix B.2], we then get the main surgery isomorphism theorem: Theorem 3.7. The natural A8-chain map Φ CW : CW˚ pCq Ñ CE˚ pΛq is a quasi-isomorphism. □ [PITH_FULL_I…
Figure 6
Figure 6. Figure 6: Curves counted by the open-closed map. Since SC˚ pX0q is contractible we find: Corollary 4.5. The open-closed map OC : H CW˚ pCq Ñ SC˚ pXq is a quasi-isomorphism. □ 4.3. The closed-open map and isomorphisms of Hochschild homology and cohomology. The open-closed and clo…
Figure 7
Figure 7. Figure 7: Curves counted by the closed-open map Lemma 4.6. The map CO is a chain map that respects the product (on homology). Proof. The symplectic cohomology product followed by the isomorphism gives a disk with two positive punctures. Looking at possible splittings we find the…
Figure 8
Figure 8. Figure 8: Degeneration of the composition CO˝OCpuq according to r P H 1 CW˚ pCq and gluing by the rotation cobordism. 4.4. The symplectic homology product and Calabi-Yau structures. In this section we consider the product on SC˚ pXq. The isomorphism ΦSC : SC˚ pXq Ñ H CE˚ pΛq all…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

12 extracted references · 11 canonical work pages

  1. [7]

    Ekholm, Y

    T. Ekholm, Y. Lekili, Duality between Lagrangian and Legendrian invariants , Ekholm, Tobias; Lekili, Yankı Duality between Lagrangian and Legendrian invariants. Geom. Topol. 27 (2023) 2049–2179

    work page 2023

  2. [10]

    Ekholm, Holomorphic curves for Legendrian surgery , arXiv:1906.07228

    T. Ekholm, Holomorphic curves for Legendrian surgery , arXiv:1906.07228

    arXiv 1906

  3. [4]

    Bourgeois, T

    F. Bourgeois, T. Ekholm, Y. Eliashberg, Effect of Legendrian surgery , Geom. Topol. 16 (2012) 301–389

    work page 2012

  4. [5]

    Bourgeois, T

    F. Bourgeois, T. Ekholm, Y. Eliashberg, Symplectic homology product via Legendrian surgery, Proc. Natl. Acad. Sci. USA 108 (2011) 8114–8121

    work page 2011

  5. [1]

    Abouzaid, A geometric criterion for generating the Fukaya category Publ

    M. Abouzaid, A geometric criterion for generating the Fukaya category Publ. Math. Inst. Hautes ´Etudes Sci. (2010), no. 112, 191–240

    work page 2010

  6. [2]

    Asplund, Simplicial descent for Chekanov-Eliashberg dg-algebras , J

    J. Asplund, Simplicial descent for Chekanov-Eliashberg dg-algebras , J. Topol. 16 (2023), 489–541

    work page 2023

  7. [3]

    Asplund, T

    J. Asplund, T. Ekholm, Chekanov-Eliashberg dg-algebras for singular Legendrians , J. Symplectic Geom. 20 (2022) 509–559

    work page 2022

  8. [6]

    Dimitroglou Rizell, T

    G. Dimitroglou Rizell, T. Ekholm, D. Tonkonog, Refined disk potentials for immersed Lagrangian surfaces , J. Differential Geom. 121 (2022) 459–539. 14 TOBIAS EKHOLM

    work page 2022

Show all 12 references
  1. [8]

    Ekholm, L

    T. Ekholm, L. Ng, V. Shende, A complete knot invariant from contact homology , Invent. Math. 211 (2018) 1149–1200

    2018

  2. [9]

    Eliashberg, A

    Y. Eliashberg, A. Givental, H. Hofer, Introduction to symplectic field theory , Geom. Funct. Anal., Special Volume, Part II (2000), 560–673

    2000

  3. [11]

    Gantara, Symplectic Cohomology and Duality for the Wrapped Fukaya Category ProQuest LLC, Ann Arbor, MI, 2012

    S. Gantara, Symplectic Cohomology and Duality for the Wrapped Fukaya Category ProQuest LLC, Ann Arbor, MI, 2012

    2012

  4. [12]

    Ganatra, J

    S. Ganatra, J. Pardon, V. Shende, Sectorial descent for wrapped Fukaya categories , J. Amer. Math. Soc. 37 (2024) 499–635. Department of mathematics and Center for Geometry and Physics, Uppsala University, Box 480, 751 06 Uppsala, Sweden and Institut Mittag-Leffler, Aurav 17, ...

    2024

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.