pith. sign in

arxiv: 2605.27122 · v1 · pith:VXL4LXMHnew · submitted 2026-05-26 · 🧮 math.SG

Open Gromov-Witten invariants in genus zero and Lagrangian cobordisms

Pith reviewed 2026-06-29 14:29 UTC · model grok-4.3

classification 🧮 math.SG
keywords open Gromov-Witten invariantsgenus zeroLagrangian cobordismsbounding cochainsWDVV relationsHamiltonian isotopysymplectic manifoldsrelatively spin Lagrangians
0
0 comments X

The pith

Open Gromov-Witten invariants in genus zero are constructed for arbitrary closed symplectic manifolds and weakly unobstructed embedded Lagrangians.

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

The paper constructs open Gromov-Witten invariants in genus zero. These count holomorphic disks with boundary on a Lagrangian submanifold inside a closed symplectic manifold. The construction applies whenever the Lagrangian is embedded, relatively spin, and made weakly unobstructed by a bounding cochain. It proves that the resulting numbers satisfy the open WDVV relations, do not depend on the choice of almost complex structure, and remain unchanged when the Lagrangian is deformed by a Hamiltonian isotopy. A relation is established between the invariants of two Lagrangians connected by a cobordism.

Core claim

The central claim is that open Gromov-Witten invariants in genus zero can be defined for arbitrary closed symplectic manifolds and embedded relatively spin Lagrangians that are weakly unobstructed by a bounding cochain. The construction relies on prior analytic and algebraic foundations. The invariants satisfy the open WDVV relations, are independent of the almost complex structure, are invariant under Hamiltonian isotopy, and are related for Lagrangians that are cobordant.

What carries the argument

The bounding cochain that renders the Lagrangian weakly unobstructed, which allows the moduli spaces of holomorphic disks to be used to define the invariants via the given algebraic framework.

Load-bearing premise

The Lagrangian admits a bounding cochain that makes it weakly unobstructed and the prior analytic and algebraic foundations are complete.

What would settle it

An explicit computation in a simple example such as the standard sphere showing that the numbers change under a Hamiltonian isotopy or violate the open WDVV relations would falsify the construction.

read the original abstract

We construct open Gromov-Witten invariants in genus zero for arbitrary closed symplectic manifolds and embedded relatively spin Lagrangians, which are weakly unobstructed by a bounding cochain. This uses the foundational work of \cite{HH25,HH26} and the algebraic framework of \cite{ST21}. We prove the open WDVV relations and show that these invariants are independent of the choice of almost complex structure and under Hamiltonian isotopy. We also prove a relation between open Gromov-Witten invariants of cobordant Lagrangians.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript constructs open Gromov-Witten invariants in genus zero for arbitrary closed symplectic manifolds and embedded relatively spin Lagrangians that are weakly unobstructed by a bounding cochain. This uses the foundational analytic setup from HH25 and HH26 together with the algebraic framework of ST21. The authors prove the open WDVV relations, J-independence, invariance under Hamiltonian isotopy, and a relation between the invariants of cobordant Lagrangians.

Significance. If the analytic and algebraic foundations in the cited works hold without gaps, the result would supply a general construction of open GW invariants together with their algebraic relations and invariance properties under cobordisms. This framework could be useful for studying Lagrangian submanifolds in symplectic geometry. The explicit derivation of the WDVV relations and the cobordism invariance are concrete strengths when the prior results are granted.

major comments (2)
  1. [Construction section (post-introduction)] The construction of the invariants (detailed after the introduction) rests entirely on the moduli-space compactness, virtual fundamental classes, and obstruction theory supplied by HH25 and HH26. No independent verification, error estimates, or model-case computation (e.g., Clifford torus in CP^n) is provided to close this dependence, which is load-bearing for the claim that the invariants exist for arbitrary closed symplectic manifolds.
  2. [Sections on WDVV, invariance, and cobordism relations] The proofs of the open WDVV relations, J-independence, Hamiltonian isotopy invariance, and cobordism relation (in the sections following the construction) inherit any analytic gaps in HH25/HH26 without additional checks or self-contained arguments, rendering those theorems conditional on the prior works.
minor comments (2)
  1. [References] The bibliography entries for HH25, HH26, and ST21 should be completed with full publication details once available.
  2. [Notation and setup paragraphs] Notation for the bounding cochain and the precise meaning of 'weakly unobstructed' should be recalled briefly in the main text to aid readers who have not yet consulted the cited foundations.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the detailed report. Below we address the major comments point by point, explaining the intended scope of the manuscript.

read point-by-point responses
  1. Referee: [Construction section (post-introduction)] The construction of the invariants (detailed after the introduction) rests entirely on the moduli-space compactness, virtual fundamental classes, and obstruction theory supplied by HH25 and HH26. No independent verification, error estimates, or model-case computation (e.g., Clifford torus in CP^n) is provided to close this dependence, which is load-bearing for the claim that the invariants exist for arbitrary closed symplectic manifolds.

    Authors: The manuscript is explicitly framed as an application of the analytic foundations developed in HH25 and HH26, combined with the algebraic framework of ST21. This dependence is stated in the abstract, the introduction, and the construction section. The contribution consists in defining the open Gromov-Witten invariants in the stated generality and deriving their algebraic and invariance properties. Independent analytic verification or model computations would require substantial new work duplicating or extending the content of the cited papers and therefore lies outside the scope of the present article. revision: no

  2. Referee: [Sections on WDVV, invariance, and cobordism relations] The proofs of the open WDVV relations, J-independence, Hamiltonian isotopy invariance, and cobordism relation (in the sections following the construction) inherit any analytic gaps in HH25/HH26 without additional checks or self-contained arguments, rendering those theorems conditional on the prior works.

    Authors: The proofs of the open WDVV relations, J-independence, Hamiltonian isotopy invariance, and the cobordism relation are algebraic once the virtual fundamental classes are supplied by HH25 and HH26. These arguments apply the framework of ST21 to the open invariants and use standard deformation and cobordism techniques. The manuscript already notes that the results are conditional on the analytic setup of the cited works; no new analytic arguments are claimed or needed for the algebraic derivations. revision: no

Circularity Check

1 steps flagged

Central construction of open GW invariants rests on self-cited analytic foundations HH25/HH26

specific steps
  1. self citation load bearing [Abstract]
    "This uses the foundational work of \cite{HH25,HH26} and the algebraic framework of \cite{ST21}."

    The construction of the invariants (the paper's strongest claim) is justified solely by citing the analytic and algebraic setup from HH25/HH26 by the same authors. The proofs of all subsequent properties (open WDVV, invariance, cobordism relations) therefore reduce to the validity of those prior results, creating a self-citation chain without external or independent closure in this manuscript.

full rationale

The paper's core claim is the construction of open Gromov-Witten invariants for arbitrary closed symplectic manifolds and relatively spin Lagrangians admitting a bounding cochain. This is explicitly achieved by invoking the moduli spaces, virtual classes, and obstruction theory from HH25 and HH26 (same author pair). Subsequent results on WDVV relations, J-independence, and cobordism invariance therefore inherit the analytic setup without providing independent verification or model-case checks. This matches self_citation_load_bearing pattern: the load-bearing premise reduces to prior self-citations whose gap-free status is not re-established here. No other circular steps (e.g., self-definitional equations or fitted predictions) appear in the provided text.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Ledger entries are inferred from the abstract alone; the central claim rests on the existence of bounding cochains and on the validity of the cited foundational papers.

axioms (2)
  • domain assumption Lagrangians are weakly unobstructed by a bounding cochain
    Stated in the abstract as the condition under which the invariants are defined.
  • domain assumption Foundational results of HH25 and HH26 hold
    Abstract states that the construction uses these works.

pith-pipeline@v0.9.1-grok · 5611 in / 1338 out tokens · 30723 ms · 2026-06-29T14:29:41.523787+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

8 extracted references · 2 canonical work pages · 2 internal anchors

  1. [1]

    Lecture Notes, vol

    [BC09] Paul Biran and Octav Cornea,A Lagrangian quantum homology, New perspectives and challenges in symplectic field theory, CRM Proc. Lecture Notes, vol. 49, Amer. Math. Soc., Providence, RI, 2009, pp. 1–44. MR 2555932 25, 27 [BC13] ,Lagrangian cobordism. I, J. Amer. Math. Soc.26(2013), no. 2, 295–340. MR 3011416 4, 24 [BT26] Roi Blumberg and Sara B. Tu...

  2. [2]

    I., Duke Math

    MR 2553465 30 [FOOO10] ,Lagrangian Floer theory on compact toric manifolds. I., Duke Math. J.151(2010), no. 1, 23–175. 2 [FOOO11] ,Lagrangian Floer theory on compact toric manifolds. II: Bulk deformations, Sel. Math., New Ser.17(2011), no. 3, 609–711. 2 [FOOO18] ,Construction of Kuranishi structures on the moduli spaces of pseudo holomorphic disks: I, Sur...

  3. [3]

    Celebrating the 50th anniversary of the Journal of Differential Geometry, Surv. Differ. Geom., vol. 22, Int. Press, Somerville, MA, 2018, pp. 133–190. MR 3838117 1 [Fuk93] K. Fukaya,Morse homotopy, A∞-category, and Floer homologies, Proceedings of the GARC workshop on geometry and topology ’93 held at the Seoul National University, Seoul, Korea, July 1993...

  4. [4]

    3 [Hau20] Luis Haug,Lagrangian antisurgery, Math. Res. Lett.27(2020), no. 5, 1423–1464. 4 [HH26a] Amanda Hirschi and Kai Hugtenburg,Open-closed Deligne-Mumford field theories: construction, arXiv:2605.03521 (2026). 1, 2, 14, 19, 20, 21, 22, 23 OPEN GROMOV–WITTEN INVARIANTS AND LAGRANGIAN COBORDISMS 33 [HH26b] ,Open-closed Deligne-Mumford field theories: g...

  5. [5]

    Math.441(2024), Paper No

    MR 4710088 5 [Hug24b] ,Open Gromov-Witten invariants from the Fukaya category, Adv. Math.441(2024), Paper No. 109542,

  6. [6]

    MR 4708151 5 [Joy08] Dominic Joyce,Kuranishi homology and Kuranishi cohomology, 2008, 0707.3572. 2 [Liu20] Chiu-Chu Melissa Liu,Moduli of J-holomorphic curves with Lagrangian boundary conditions and open Gromov-Witten invariants for an S1-equivariant pair, Journal of the Iranian Mathematical Society1 (2020), no. 1, 5–95. 2 [MS12] D. McDuff and D. Salamon,...

  7. [7]

    Math.366 (2020), 97, Id/No 107026

    MR 2954391 23 [NT20] David Nadler and Hiro Lee Tanaka,A stable ∞-category of Lagrangian cobordisms, Adv. Math.366 (2020), 97, Id/No 107026. 4 [PSW08] R. Pandharipande, J. Solomon, and J. Walcher,Disk enumeration on the quintic 3-fold, J. Amer. Math. Soc.21(2008), no. 4, 1169–1209. MR 2425184 5 [SS21] Nick Sheridan and Ivan Smith,Lagrangian cobordism and t...

  8. [8]

    Ye,Gromov’s compactness theorem for pseudo holomorphic curves, Trans

    21 [Ye94] R. Ye,Gromov’s compactness theorem for pseudo holomorphic curves, Trans. Amer. Math. Soc.342 (1994), no. 2, 671–694. MR 1176088 25 A. Hirschi, Universit´e Paris Cit´e, Sorbonne Universit´e, CNRS, IMJ-PRG, F-75005 Paris, France ORCID:0000-0002-2392-7875 K. Hugtenburg, School of Mathematics and Statistics, University of St Andrews ORCID:0000-0002-...