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 →
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 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.
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
- 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.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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)
- [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.
- [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)
- [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.
- [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.'
- [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.
- [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
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
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.
- domain assumption The neck-stretching Lemma A.1 holds as stated for cylindrical almost complex structures near contact-type hypersurfaces.
- standard math The classification of weakly exact Lagrangians in T^*T^2, Theorem 3.3 from [DR], is valid.
- 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.
- standard math Jaco's theorem that infinite-index subgroups of surface groups are free, and Scott's theorem on finite extensions of surface subgroups.
- 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.
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.
Reference graph
Works this paper leans on
-
[1]
M. Abouzaid and P. Seidel. An open string analogue of V iterbo functoriality. Geom. Topol. , 14(2):627--718, 2010
work page 2010
-
[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
work page 1988
-
[3]
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
work page 2019
-
[4]
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
work page 2024
-
[5]
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
work page 2012
- [6]
-
[7]
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
arXiv 2022
-
[8]
K. Cieliebak and A. Oancea. Symplectic homology and the E ilenberg–- S teenrod axioms. Algebr. Geom. Topol. , 18(4):1953–--2130, 2018
work page 1953
Show all 37 references
-
[9]
Dimitroglou Rizell
G. Dimitroglou Rizell. The classification of L agrangians nearby the W hitney immersion. Geom. Topol. , 23(7):3367--3458, 2019
2019
-
[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
2022
-
[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
2016
-
[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
2020
-
[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
2006
-
[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
1992
-
[15]
Ekholm and A
T. Ekholm and A. Oancea. Symplectic and contact differential graded algebras. Geometry and Topology , 21(4):2161--2230, 2017
2017
-
[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]
2022
-
[17]
A. Floer. Morse theory for L agrangian intersections. J. Differential Geom. , 28(3):513--547, 1988
1988
-
[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
2009
-
[19]
H. Geiges. An introduction to contact topology , volume 109 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 2008
2008
-
[20]
E. Giroux. Convexit\' e en topologie de contact. Comment. Math. Helv. , 66(4):637--677, 1991
1991
-
[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
2024
-
[22]
M. Gromov. Pseudoholomorphic curves in symplectic manifolds. Invent. Math. , 82(2):307--347, 1985
1985
-
[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
2023 arXiv
-
[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
2024 arXiv
-
[25]
S. Hozoori. Symplectic geometry of A nosov flows in dimension 3 and bi-contact topology. Adv. Math. , 450:Paper No. 109764, 41, 2024
2024
-
[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
2024 arXiv
-
[27]
A. Husin. Maslov class of exact L agrangians and cylindrical handles. Preprint, 2502.14750 [math.SG] https://arxiv.org/abs/2502.14750, 2025
2025 arXiv
-
[28]
W. Jaco. On certain subgroups of the fundamental group of a closed surface. Proc. Cambridge Philos. Soc. , 67:17--18, 1970
1970
-
[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
1991
-
[30]
T. Massoni. Taut foliations and contact pairs in dimension three. Preprint, 2405.15635 [math.SG] https://arxiv.org/abs/2405.15635, 2022
2022 arXiv
-
[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
2025
-
[32]
D. McDuff. Symplectic manifolds with contact type boundaries. Invent. Math. , 103(3):651--671, 1991
1991
-
[33]
Mitsumatsu
Y. Mitsumatsu. Anosov flows and non- S tein symplectic manifolds. Ann. Inst. Fourier (Grenoble) , 45(5):1407--1421, 1995
1995
-
[34]
A. F. Ritter. Topological quantum field theory structure on symplectic cohomology. J. Topol. , 6(2):391--489, 2013
2013
-
[35]
P. Scott. Subgroups of surface groups are almost geometric. Journal of the London Mathematical Society , s2-17(3):555--565, 1978
1978
-
[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
2009
-
[37]
J. Zung. Reeb flows transverse to foliations. Geom. Topol. , 28(8):3661--3695, 2024
2024
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.