Pith. sign in

REVIEW 2 major objections 4 minor 37 references

On weakly exact Lagrangians in Liouville bi-fillings

T0 review · 2 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash

Pith's one-line read The paper proves that closed weakly exact Lagrangian surfaces in McDuff and torus-bundle Liouville domains are only tori or connected sums of real projective planes, and that every weakly exact torus becomes a standard torus after passing…

desk verdict New non-vanishing criteria and a Lagrangian classification that mostly hold up; Lemma 3.9 has a short but real gap that should be fixed before publication. read the letter →

arxiv 2412.20941 v3 pith:SKBZJEAK submitted 2024-12-30 math.SG

classification math.SG MSC 53D4053D1253D35
keywords weaklyexactLagrangianLiouvillebi-fillingMcDuffdomaintorusbundlewrappedFloercohomologysymplecticLiouville-Hamiltonianstructureclosedclassification
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

The paper tries to show that weakly exact Lagrangian surfaces in the two main families of non-Weinstein Liouville domains—McDuff domains and torus-bundle domains—are topologically standard. If correct, the only closed weakly exact Lagrangians are tori and connected sums of copies of the real projective plane, and every weakly exact torus becomes a standard fibre or circle-bundle torus after a finite cover. This matters because non-Weinstein Liouville domains have resisted the generation results that make wrapped Fukaya categories computable for Weinstein domains. The paper also gives general non-vanishing criteria for wrapped Floer cohomology and symplectic cohomology, and uses them to rule out periodic orbits of certain Liouville flows inside smooth balls.

What carries the argument

The paper's main structural tool is the Liouville-Hamiltonian structure, a triple $(M,\eta,\beta)$ on an odd-dimensional hypersurface for which $d\eta$ is maximally non-degenerate, $\ker\eta \supset \ker d\eta$, and $\ker\beta \cap \ker d\eta = \{0\}$; it encodes the symplectic form near a hypersurface tangent to the Liouville flow via $d(\eta + s\beta)$ and recovers the dynamics through a Liouville vector field $\zeta$ and a characteristic vector field $C$ with $\beta(C)=1$. The key dynamical threshold is $d\beta(C,\zeta)>-1$, the linear contact-deformation condition, which makes the Liouville flow repelling along the skeleton. For the classification, the load-bearing mechanism is to lift a weakly exact Lagrangian to infinite covers of the domain, where a McDuff or torus-bundle domain becomes a complement of a symplectic section in $T^*\tilde\Sigma$ with $\tilde\Sigma = \mathbb{R}^2$ or $\mathbb{R}\times S^1$, and then to apply the classification of weakly exact Lagrangians in $T^*T^2$ together with the non-existence of such Lagrangians in cotangent bundles of open surfaces. The passage from infinite covers back to finite covers is completed by a finite-cover separation result for surface-group covers.

What would settle it

Exhibit a weakly exact Lagrangian torus in a McDuff domain whose induced fundamental-group map to the base surface is a rank-two free group while the induced first-homology map has rank one; that would contradict Lemma 3.9 and break Theorem A, and checking whether such a map can be realized is a concrete search.

Watch

Extended reading notes

Core claim

The central claim is Theorem A: in a McDuff domain, a nontrivial $S^1$-bundle over $\Sigma_g \times I$ of Euler number $2g-2$ with $g\ge 2$, or in a torus-bundle domain, a Lagrangian $T^2$-fibration over $S^1 \times I$, every closed weakly exact Lagrangian $L^2$ is either a torus or a connected sum of $2k$ copies of $\mathbb{RP}^2$ with $k\ge 2$. A weakly exact torus is incompressible, and after a suitable finite cover it is Hamiltonian isotopic to a standard fibre in the torus-bundle case, or isotopic through weakly exact Lagrangians to a circle-bundle torus in the McDuff case; when $L$ is exact, the McDuff isotopy can be taken Hamiltonian to an exact circle-bundle torus. The paper further establishes that symplectic cohomology is non-vanishing whenever the boundary has at least two components, that a connected exact Lagrangian with boundary in two different boundary components has non-vanishing wrapped Floer cohomology, and that a four-dimensional Liouville domain with a smooth, codimension-one, repelling skeleton has no periodic Liouville orbit contained in a smooth ball.

Load-bearing premise

The classification of weakly exact tori in McDuff domains rests on the lemma that a map from a torus or Klein bottle to a closed surface of genus at least two has fundamental-group image either trivial or infinite cyclic; as written, the proof shows the image is free with rank-one homology but does not rule out a rank-two free subgroup.

Editorial extensions

If this is right

  • Every weakly exact Lagrangian torus in a McDuff or torus-bundle domain is incompressible, so it cannot be null-homotopic or represent a class that dies in the ambient fundamental group.
  • The only closed weakly exact Lagrangian surfaces that can occur in these domains are tori and connected sums of $2k$ copies of $\mathbb{RP}^2$ with $k\ge 2$; Klein bottles are ruled out.
  • In the torus-bundle case, a sufficiently large finite cover contains a Hamiltonian isotopy from the lifted torus to a standard Lagrangian fibre, so the torus becomes standard after passing to that cover.
  • In the McDuff case, an exact Lagrangian torus becomes Hamiltonian isotopic to an exact circle-bundle torus in a finite cover, while a merely weakly exact torus is isotopic to a circle-bundle torus through weakly exact Lagrangians.
  • If a Liouville domain has at least two boundary components, its symplectic cohomology is non-zero, and any connected exact Lagrangian with boundary in two different boundary components has non-zero wrapped Floer cohomology; consequently, in a four-dimensional domain with a smooth repelling skeleton, no periodic Liouville orbit lies in a smooth ball.

Reading between the lines

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

  • If the missing step in Lemma 3.9 is supplied, the same covering strategy would adapt to weakly exact Lagrangians in other trivial bi-fillings whose skeletons come from hyperbolic dynamics, since the only inputs are cotangent-bundle classification and surface-group restrictions.
  • The non-vanishing criteria suggest a generation principle: in a Liouville domain with several boundary components, a Lagrangian that connects different boundary components is Floer-theoretically visible, so wrapped Fukaya categories of non-Weinstein domains may be generated by such connecting Lagrangians rather than by cocores.
  • The condition $d\beta(C,\zeta)>-1$ converts a symplectic-topological vanishing statement into a dynamical one; one could test whether small perturbations of hyperbolic bi-fillings preserve the absence of contractible periodic orbits, which the paper does not address.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 4 minor

Summary. The paper studies Liouville domains that are trivial bi-fillings, with emphasis on the McDuff and torus-bundle domains whose skeletons are smooth codimension-one hypersurfaces. It introduces the notion of a Liouville-Hamiltonian structure and uses it to describe the symplectic structure near such skeleta. The main results are: (i) Theorem A, which restricts the homotopy type of closed weakly exact Lagrangians in McDuff and torus-bundle domains to tori or connected sums of 2k copies of RP^2, and asserts that weakly exact tori become standard fibres or circle-bundle tori after passing to suitable finite covers; (ii) Theorems B and C, which give action-based criteria for non-vanishing of wrapped Floer cohomology of exact Lagrangians and of symplectic cohomology in terms of the number of boundary components, together with a decomposition of the kernel of the canonical Morse-to-Floer map; and (iii) Theorem D, which obstructs periodic orbits of the Liouville flow on a smooth skeleton from being contained in a smooth ball, via a vanishing criterion for wrapped Floer cohomology.

Significance. The results are significant if they hold. Theorem A is, to my knowledge, the first topological restriction on weakly exact Lagrangians in the main non-Weinstein Liouville bi-fillings, predicting that weakly exact tori are homologically standard after finite covers. Theorems B and C are clean and potentially widely applicable: they give purely topological conditions for non-vanishing of wrapped Floer cohomology and symplectic cohomology, and the proof via action filtrations and neck-stretching is largely self-contained. The paper is transparent about its reliance on external results, including the author's published theorem [DR] and preprints [CLMM], [HS], and [HCK]; no fitted parameters or circular dependencies are apparent. The main caveat is the proof gap in Lemma 3.9, which underpins Theorem A(2); the missing argument appears short and repairable, so the central claims are likely sound.

major comments (2)
  1. [Section 3.3, Lemma 3.9] The final inference of Lemma 3.9 is not justified. The proof shows that the image G of π_1(L) in π_1(Σ_g) has rank-one image in H_1(Σ_g) and, by Jaco's theorem, that G is free; it then concludes that G is trivial or Z. This does not follow: a free group of rank two can embed in a surface group with its generators in the commutator subgroup, giving H_1-image of rank zero. What is missing is an appeal to the specific algebraic structure of π_1(L). For L = T^2, the image G is abelian, and a hyperbolic surface group contains no Z^2, so G is cyclic. For L a Klein bottle, the image is virtually abelian and torsion-free, hence cyclic; equivalently, the central element A^2 (with the presentation ⟨A,B | ABA^{-1}=B^{-1} angle) maps to a central element of G, forcing G cyclic if nontrivial, and if trivial, torsion-freeness gives A=1 and G=⟨B⟩. Because the cyclic cover used in the proof of Theorem A(2) is produced from this subgroup, the classification of weakly exact tori in McDuff domains is conditional on this repair. I recommend adding the omitted argument; the claim itself appears correct.
  2. [Section 4.1.3, Lemma 4.1] The proof of Lemma 4.1 ends with 'The effect of this wrapping on the action, i.e. the primitive of the pull-back of λ to the Lagrangian, is a computation that we leave to the reader.' This computation is load-bearing: the lemma is used to justify that the Lagrangian can be assumed to have a primitive that is arbitrarily C^0-small in the interior and constant on each boundary component, which underpins the action estimates for the wrapped Floer generators in Subsection 4.1.3 and hence the kernel-containment statements in Theorems B and C. The missing computation should be supplied explicitly, or else a reference to a published argument should be provided.
minor comments (4)
  1. [Section 3.3, Lemma 3.9] The sentence 'In fact, in the case L = T^2 the rank is also one, since otherwise we could conclude that f* : H*(Σ_g) → H*(L) is surjective ... which contradicts the fact that f* is a morphism of unital rings' is not explained and is not convincing as written. Surjectivity of f* on cohomology does not by itself contradict being a unital ring morphism. The later abelian-subgroup argument (or a degree/transfer argument) would be cleaner and more rigorous.
  2. [Section 3, proof of Theorem 3.2] There is a typo: 'One we have managed to construct' should read 'Once we have managed to construct.'
  3. [Section 2.5.1 and Section 3.3] The notation for the McDuff domain alternates between (U*Σ, α_g − Θ_g) and (D*Σ_g \ O_0Σ, λ_can + η). A short glossary relating the two descriptions would help the reader, since the proof of Theorem A switches between them.
  4. [Section 5, Corollary 5.2] The statement that for n ≥ 3 the complement of Darboux balls is contactomorphic to the complement of a finite set is used without a reference or proof. Since this is a standard consequence of convexity of Darboux balls, a reference to e.g. Giroux or Eliashberg would suffice.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Theorem A rests on external published results, including the author's earlier [DR], whose assumptions do not include the present conclusions; the remaining derivation is carried out in-paper.

full rationale

The paper's derivation chain contains no step in which an output is equivalent by construction to an input. Theorem A proceeds by lifting weakly exact Lagrangians to covers (Lemma 3.1, Proposition 3.7), excluding cotangent-bundle lifts via Lalonde–Sikorav (Theorem 3.2), and applying the author's prior classification [DR, Theorem B] to obtain Hamiltonian isotopy to a standard torus fibre. Although [DR], [CCDR], and [DRS] are self-citations with load-bearing roles, they are published theorems with independent proofs, parameter-free, and their assumptions (e.g., weakly exact Lagrangian in T^*T2) do not include the conclusions of Theorem A or Theorem D; under the stated rules this is real evidence, not circularity. The new Sections 2 and 4 introduce Liouville–Hamiltonian structures and prove normal forms from the symplectic neighbourhood theorem, rather than assuming the target results. Theorems B and C are proved from action filtrations and neck-stretching arguments inside the paper, and Theorem D combines these with external contact-topology results. The only notable defect in the derivation is not circular: Lemma 3.9 concludes that a free image G of pi_1(L) in pi_1(Sigma_g), g >= 2, with H_1-image of rank at most one, is trivial or Z, but freeness plus that homology-rank bound does not alone imply cyclicity; the missing short argument uses that pi_1(L) is abelian (torus) or has central A^2 (Klein bottle), so the lemma is repairable. This is a correctness gap in a supporting lemma, not a reduction of a prediction to a fit or to a self-citation. Accordingly the circularity score is 0.

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

No free parameters are fitted. The paper introduces a definition, Liouville-Hamiltonian structure, but no new physical entity. The central claims rest on imported Floer-theoretic foundations and published classification theorems, listed above.

assumptions (6)
  • domain assumption Wrapped Floer cohomology and symplectic cohomology are well-defined for the Hamiltonians and Lagrangians considered, with action filtration, continuation maps, and the no-escape lemma.
    Section 4 and Appendix A import the construction from [CO], [AS], [EO], [Rit]; Theorems B and C depend on the cone decompositions SC^* = Cone(delta) and CW^* = Cone(delta) and the computation of subcomplexes.
  • domain assumption The neck-stretching Lemma A.1 holds as stated for cylindrical almost complex structures near contact-type hypersurfaces.
    Lemma A.1 is proved in Appendix A using action estimates; it is the key tool preventing Floer differentials from mixing generators from different boundary components. The proof relies on standard compactness and action monotonicity for Floer strips.
  • standard math The classification of weakly exact Lagrangians in T^*T^2, Theorem 3.3 from [DR], is valid.
    Used in Theorem A Part (1) to show a lifted torus in the cover T^2 x (R_{>0}v + Rw) subset T^*T^2 is Hamiltonian isotopic to a standard fibre.
  • domain assumption The lifting result for Lagrangian tori and Klein bottles in torus bundle domains, [CLMM, Lemmas 4.7, 4.8 and Theorem 4], is valid.
    Proposition 3.7 is imported without proof; it is the structural input that turns the homotopy class of L into a lift to T^*T^2 or T^*(S^1 x R).
  • standard math Jaco's theorem that infinite-index subgroups of surface groups are free, and Scott's theorem on finite extensions of surface subgroups.
    Lemma 3.9 and Corollary 3.11 use [Jac, Theorem 1] and [Sco, Theorem 3.3] to control images of pi_1(L) in pi_1(Sigma_g) and to factor covers through finite covers.
  • standard math Vanishing of wrapped Floer cohomology in the presence of a positive contractible loop of Legendrian boundary, from [CCDR, Theorem 1.15] and [HCK, Theorem 1.2], plus [HS, Theorem 1.5] for non-orderability of subcritical boundaries and Eliashberg's uniqueness of tight contact balls.
    Theorem 5.1, Corollary 5.2, and the proof of Theorem D import these results; in particular the n=2 case of Corollary 5.2 relies on [HS] and on the standard 3-sphere orderability result [EKP].

how reviews work

0 comments
Cite this review

Pith. "Pith review of On weakly exact Lagrangians in Liouville bi-fillings." pith.science (2026). https://pith.science/paper/SKBZJEAK

@misc{pith2026241220941,
  author       = {Pith},
  title        = {Pith review of: On weakly exact Lagrangians in Liouville bi-fillings},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SKBZJEAK}},
  note         = {Machine review of arXiv:2412.20941}
}
read the original abstract

Here we study several questions concerning Liouville domains that are diffeomorphic to cylinders, so called trivial bi-fillings, for which the Liouville skeleton moreover is smooth and of codimension one; we also propose the notion of a Liouville-Hamiltonian structure, which encodes the symplectic structure of a hypersurface tangent to the Liouville flow, e.g. the skeleta of certain bi-fillings. We show that the symplectic homology of a bi-filling is non-trivial, and that a connected Lagrangian inside a bi-filling whose boundary lives in different components of the contact boundary automatically has non-vanishing wrapped Floer cohomology. We also prove geometric vanishing and non-vanishing criteria for the wrapped Floer cohomology of an exact Lagrangian with disconnected cylindrical ends. Finally, we give homotopy-theoretic restrictions on the closed weakly exact Lagrangians in the McDuff and torus bundle Liouville domains.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

37 extracted references · 32 canonical work pages

  1. [1]

    Abouzaid and P

    M. Abouzaid and P. Seidel. An open string analogue of V iterbo functoriality. Geom. Topol. , 14(2):627--718, 2010

  2. [2]

    M. Audin. Fibr\'es normaux d'immersions en dimension double, points doubles d'immersions lagragiennes et plongements totalement r\'eels. Comment. Math. Helv. , 63(4):593--623, 1988

  3. [3]

    Chantraine, V

    B. Chantraine, V. Colin, and D. Dimitroglou Rizell. Positive L egendrian isotopies and F loer theory. Ann. Inst. Fourier (Grenoble) , 69(4):1679--1737, 2019

  4. [4]

    Chantraine, G

    B. Chantraine, G. Dimitroglou Rizell, P. Ghiggini, and R. Golovko. Geometric generation of the wrapped F ukaya category of W einstein manifolds and sectors. Ann. Sci. \'Ec. Norm. Sup\'er. (4) , 57(1):1--85, 2024

  5. [5]

    Cieliebak and Y

    K. Cieliebak and Y. Eliashberg. From Stein to Weinstein and back. Symplectic geometry of affine complex manifolds. Colloquium Publications. American Mathematical Society 59. Providence, RI: American Mathematical Society (AMS). 354 p. , 2012

  6. [6]

    Cieliebak

    K. Cieliebak. Handle attaching in symplectic homology and the chord conjecture. Journal of the European Mathematical Society , 004(2):115--142, 2002

  7. [7]

    Cieliebak, O

    K. Cieliebak, O. Lazarev, T. Massoni, and A. Moreno. Floer theory of A nosov flows in dimension three. Preprint, 2211.07453 [math.SG] https://arxiv.org/abs/2211.07453 , 2022

  8. [8]

    Cieliebak and A

    K. Cieliebak and A. Oancea. Symplectic homology and the E ilenberg–- S teenrod axioms. Algebr. Geom. Topol. , 18(4):1953–--2130, 2018

Show all 37 references
  1. [9]

    Dimitroglou Rizell

    G. Dimitroglou Rizell. The classification of L agrangians nearby the W hitney immersion. Geom. Topol. , 23(7):3367--3458, 2019

  2. [10]

    Dimitroglou Rizell, T

    G. Dimitroglou Rizell, T. Ekholm, and D. Tonkonog. Refined disk potentials for immersed L agrangian surfaces. J. Differential Geom. , 121(3):459--539, 2022

  3. [11]

    Dimitroglou Rizell, E

    G. Dimitroglou Rizell, E. Goodman, and A. Ivrii. Lagrangian isotopy of tori in S^2 S^2 and C P^2 . Geom. Funct. Anal. , 26(5):1297--1358, 2016

  4. [12]

    Dimitroglou Rizell and M

    G. Dimitroglou Rizell and M. G. Sullivan. An energy-capacity inequality for L egendrian submanifolds. J. Topol. Anal. , 12(3):547--623, 2020

  5. [13]

    Eliashberg, Sang Seon Kim, and L

    Y. Eliashberg, Sang Seon Kim, and L. Polterovich. Geometry of contact transformations and domains: orderability versus squeezing. Geom. Topol. , 10:1635--1747, 2006

  6. [14]

    Eliashberg

    Y. Eliashberg. Contact 3 -manifolds twenty years since J . M artinet's work. Ann. Inst. Fourier (Grenoble) , 42(1-2):165--192, 1992

  7. [15]

    Ekholm and A

    T. Ekholm and A. Oancea. Symplectic and contact differential graded algebras. Geometry and Topology , 21(4):2161--2230, 2017

  8. [16]

    Eliashberg and W

    Y. Eliashberg and W. P. Thurston. Confoliations. In Collected works of W illiam P . T hurston with commentary. V ol. I . F oliations, surfaces and differential geometry , pages 281--351. Amer. Math. Soc., Providence, RI, [2022] 2022. Reprint of [1483314]

  9. [17]

    A. Floer. Morse theory for L agrangian intersections. J. Differential Geom. , 28(3):513--547, 1988

  10. [18]

    Fukaya, Y.-G

    K. Fukaya, Y.-G. Oh, H. Ohta, and K. Ono. Lagrangian intersection F loer theory: anomaly and obstruction. P art I , volume 46 of AMS/IP Studies in Advanced Mathematics . American Mathematical Society, Providence, RI, 2009

  11. [19]

    H. Geiges. An introduction to contact topology , volume 109 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 2008

  12. [20]

    E. Giroux. Convexit\' e en topologie de contact. Comment. Math. Helv. , 66(4):637--677, 1991

  13. [21]

    Ganatra, J

    S. Ganatra, J. Pardon, and V. Shende. Sectorial descent for wrapped F ukaya categories. J. Amer. Math. Soc. , 37(2):499--635, 2024

  14. [22]

    M. Gromov. Pseudoholomorphic curves in symplectic manifolds. Invent. Math. , 82(2):307--347, 1985

  15. [23]

    Hedicke, D

    J. Hedicke, D. Cant, and E. Kilgore. Extensible positive loops and vanishing of symplectic cohomology. Preprint, 2311.18267 [math.SG] https://arxiv.org/pdf/2311.18267, 2023

  16. [24]

    S. Hozoori. Regularity and persistence in non- W einstein L iouville geometry via hyperbolic dynamics. Preprint, 2409.15592 [math.SG] https://arxiv.org/abs/2409.15592, 2024

  17. [25]

    S. Hozoori. Symplectic geometry of A nosov flows in dimension 3 and bi-contact topology. Adv. Math. , 450:Paper No. 109764, 41, 2024

  18. [26]

    Hedicke and E

    J. Hedicke and E. Shelukhin. Non-orderability and the contact H ofer norm. Preprint, 2411.19887 [math.SG] https://arxiv.org/abs/2411.19887, 2024

  19. [27]

    A. Husin. Maslov class of exact L agrangians and cylindrical handles. Preprint, 2502.14750 [math.SG] https://arxiv.org/abs/2502.14750, 2025

  20. [28]

    W. Jaco. On certain subgroups of the fundamental group of a closed surface. Proc. Cambridge Philos. Soc. , 67:17--18, 1970

  21. [29]

    Lalonde and J.-C

    F. Lalonde and J.-C. Sikorav. Sous-vari\'et\'es lagrangiennes et lagrangiennes exactes des fibr\'es cotangents. Comment. Math. Helv. , 66(1):18--33, 1991

  22. [30]

    T. Massoni. Taut foliations and contact pairs in dimension three. Preprint, 2405.15635 [math.SG] https://arxiv.org/abs/2405.15635, 2022

  23. [31]

    Anosov flows and L iouville pairs in dimension three

    Thomas Massoni. Anosov flows and L iouville pairs in dimension three. Algebr. Geom. Topol. , 25(3):1793--1838, 2025

  24. [32]

    D. McDuff. Symplectic manifolds with contact type boundaries. Invent. Math. , 103(3):651--671, 1991

  25. [33]

    Mitsumatsu

    Y. Mitsumatsu. Anosov flows and non- S tein symplectic manifolds. Ann. Inst. Fourier (Grenoble) , 45(5):1407--1421, 1995

  26. [34]

    A. F. Ritter. Topological quantum field theory structure on symplectic cohomology. J. Topol. , 6(2):391--489, 2013

  27. [35]

    P. Scott. Subgroups of surface groups are almost geometric. Journal of the London Mathematical Society , s2-17(3):555--565, 1978

  28. [36]

    V. V. Shevchishin. Lagrangian embeddings of the K lein bottle and the combinatorial properties of mapping class groups. Izv. Ross. Akad. Nauk Ser. Mat. , 73(4):153--224, 2009

  29. [37]

    J. Zung. Reeb flows transverse to foliations. Geom. Topol. , 28(8):3661--3695, 2024

Pith tools

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