arxiv: 2604.08481 · v1 · submitted 2026-04-09 · 🧮 math.SG · math.AT· math.GN

Recognition: unknown

The topology of Lagrangian submanifolds via open-closed string topology

Authors on Pith no claims yet

Pith reviewed 2026-05-10 17:10 UTC · model grok-4.3

classification 🧮 math.SG math.ATmath.GN

keywords Lagrangian submanifoldsstring topologyMaslov classpseudo-holomorphic discsloop space algebradg associative algebraclosed-open mapssymplectic topology

0 comments

The pith

Lagrangian submanifolds with vanishing second homotopy group have non-vanishing Maslov class.

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

The paper constructs a possibly curved deformation of the dg associative algebra of chains on the based loop space of a closed oriented spin Lagrangian L in standard symplectic vector space. The deformation arises by pushing forward moduli spaces of pseudo-holomorphic discs with boundary on L, viewed as chains in the free loop space, along a closed-open string topology map. This algebraic structure is then used to prove that if the second homotopy group of L vanishes, the Maslov class of L cannot vanish. A sympathetic reader would care because the result supplies a concrete algebraic obstruction that prevents certain manifolds from appearing as Lagrangians inside Euclidean space.

Core claim

For a closed oriented spin Lagrangian L we construct a possibly curved deformation of the dg associative algebra of chains on the based loop space of L. The construction proceeds by viewing moduli spaces of pseudo-holomorphic discs with boundary on L as chains in the free loop space and pushing them forward along the closed-open string topology map. As an application, if the second homotopy group of L is zero then the Maslov class of L is non-vanishing.

What carries the argument

the closed-open string topology map that pushes forward moduli spaces of pseudo-holomorphic discs to deform the dg associative algebra of chains on the based loop space

If this is right

Lagrangians with trivial second homotopy group cannot have vanishing Maslov class.
The deformed algebra encodes symplectic constraints on the topology of L.
The construction applies uniformly to all closed oriented spin Lagrangians in Euclidean symplectic space.
Algebraic deformations of this type detect obstructions to Lagrangian realizations of given manifolds.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same pushforward technique might detect additional homotopy or characteristic-class obstructions in other symplectic settings.
Deformed loop-space algebras could relate Maslov data to quantitative symplectic capacities.
The method offers a route to non-existence results for Lagrangian embeddings without direct geometric analysis.

Load-bearing premise

Pushing forward the moduli spaces of pseudo-holomorphic discs along the closed-open string topology map produces a well-defined possibly curved deformation of the dg associative algebra of chains on the based loop space.

What would settle it

A closed oriented spin Lagrangian L in C^n with trivial second homotopy group but vanishing Maslov class would contradict the claimed implication.

Figures

Figures reproduced from arXiv: 2604.08481 by Shuhao Li.

**Figure 1.** Figure 1: Definition of m0,β define the energy filtration {FλC∗Ω⋆L}λ∈R on C∗Ω⋆L by FλC∗Ω⋆L := M E(a)>λ C∗Ω⋆(a). Denote by C\∗Ω⋆L the completion with respect to the energy filtration, and F λC\∗Ω⋆L the corresponding filtration levels. Idealized Theorem 1.3. Let L be a closed, oriented, spin Lagrangian submanifold of C n. Then there exists a constant ℏ > 0 and a (gapped) curved dg associative algebra structure on C\∗Ω… view at source ↗

**Figure 2.** Figure 2: Definition of m1,β Remark 1.4. In the context of homological mirror symmetry, especially in the case L is a Lagrangian torus (e.g. a smooth fibre of an SYZ fibration), m0 can be thought of as encoding the information of the superpotential in the mirror local chart (see e.g. [Abo16], section 3 of [Aur07], as well as e.g. [Ton19; Yua25]). In the main text, we sometimes refer to m0 as the anomaly in order to … view at source ↗

read the original abstract

We study the topology of Lagrangian submanifolds in standard symplectic vector spaces $\mathbb{C}^n$ using ideas from open-closed string topology. Specifically, for a closed, oriented, spin Lagrangian $L$, we construct a (possibly curved) deformation of the dg associative algebra of chains on the based loop space of $L$. This is done via pushing forward moduli spaces of pseudo-holomorphic discs with boundaries on $L$, viewed as chains in the free loop space, along a string topology closed-open map. As an application, we prove that if $\pi_2(L)=0$, then $L$ has non-vanishing Maslov class, generalizing previous results due to Viterbo, Cieliebak-Mohnke, Fukaya, and Irie.

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.

Desk Editor's Note private letter to a colleague

The paper builds a string topology deformation of the loop space dg-algebra to show that π2-trivial spin Lagrangians in C^n have non-vanishing Maslov class, generalizing prior results, though the deformation's chain-level rigor needs checking.

read the letter

The main takeaway is that this paper gives a string topology proof that any closed oriented spin Lagrangian in C^n with vanishing π2 must have non-vanishing Maslov class. It generalizes several earlier theorems in the area by Viterbo, Cieliebak-Mohnke, Fukaya, and Irie. The new element is the construction of a possibly curved deformation of the dg associative algebra on chains of the based loop space. This comes from pushing forward the moduli spaces of pseudo-holomorphic discs with boundary on L, viewed in the free loop space, using the closed-open string topology map. The application then follows from properties of this deformed algebra when π2 is trivial. The paper does a good job tying together ideas from string topology and symplectic geometry. The citations to prior work are appropriate, and the logic from the deformation to the Maslov conclusion is presented cleanly. It uses standard moduli spaces and maps, which keeps the approach grounded in existing methods. The potential weak point is whether the pushforward really defines a coherent curved deformation at the chain level. The stress-test note points out that without a specified virtual cycle construction or perturbation scheme, the boundary contributions and algebraic identities might not work out as needed, particularly when imposing π2(L)=0. The abstract does not spell out the transversality or orientation details, so the full paper needs to show that the operations are well-defined and compatible. If it relies on generic almost complex structures alone, that could be a gap. This work is for symplectic geometers and string topologists who want algebraic tools for Lagrangian topology. A reader comfortable with dg-algebras on loop spaces and pseudo-holomorphic curve moduli will get the most from it. The paper shows clear engagement with the literature and attempts an honest construction, so it deserves a serious referee. I would recommend sending it to peer review, but with specific instructions to examine the deformation step and the handling of virtual classes.

Referee Report

2 major / 2 minor

Summary. The paper constructs a (possibly curved) deformation of the dg associative algebra C_*(ΩL) for a closed oriented spin Lagrangian L ⊂ ℂ^n by pushing forward moduli spaces of pseudo-holomorphic discs with boundary on L (viewed as chains in the free loop space) along the string topology closed-open map. As an application, it shows that π₂(L)=0 implies the Maslov class of L is non-vanishing, generalizing results of Viterbo, Cieliebak-Mohnke, Fukaya, and Irie.

Significance. If the chain-level construction is made rigorous, the result offers a new open-closed string topology route to topological obstructions for Lagrangians in symplectic vector spaces. The deformation of the based loop space algebra via disc moduli spaces could unify existing approaches and enable further applications to Lagrangian topology.

major comments (2)

[Construction of the deformation] The central construction (described after the abstract and in the main technical section) pushes forward disc moduli spaces along the closed-open map to deform C_*(ΩL). The manuscript must specify the virtual fundamental class (or perturbation scheme) that makes this pushforward a well-defined curved dg-algebra operation, ensuring boundary strata contribute only to curvature, orientations are consistent with the spin structure, and the algebraic identities hold. Without this, the deformation is formal and the subsequent Maslov-class implication cannot be verified.
[Application to Maslov class] In the application (the section deriving the Maslov non-vanishing from the deformed algebra under π₂(L)=0), the argument must explicitly trace how the Maslov class appears in the curvature or differential of the deformed algebra; the abstract states the conclusion but the chain-level mechanism linking the deformation to the Maslov class is not detailed enough to confirm it survives when π₂(L)=0.

minor comments (2)

Clarify throughout whether the based loop space ΩL and free loop space are equipped with the same chain-level models and how the closed-open map interacts with the based vs. free structures.
Add a short paragraph recalling the precise version of the closed-open string topology map employed, including its domain and codomain at the chain level.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the detailed comments. The points raised are substantive and will strengthen the paper. We address each major comment below and commit to a major revision incorporating the requested clarifications.

read point-by-point responses

Referee: [Construction of the deformation] The central construction (described after the abstract and in the main technical section) pushes forward disc moduli spaces along the closed-open map to deform C_*(ΩL). The manuscript must specify the virtual fundamental class (or perturbation scheme) that makes this pushforward a well-defined curved dg-algebra operation, ensuring boundary strata contribute only to curvature, orientations are consistent with the spin structure, and the algebraic identities hold. Without this, the deformation is formal and the subsequent Maslov-class implication cannot be verified.

Authors: We agree that the current exposition of the construction is too high-level and requires additional technical detail to be fully rigorous. In the revised manuscript we will add a dedicated subsection (likely in Section 3) that specifies the virtual fundamental class construction. We will employ the standard Kuranishi structure (or polyfold) perturbation scheme for the moduli spaces of pseudo-holomorphic discs with boundary on the spin Lagrangian L. This will make precise how the pushforward along the string topology closed-open map produces a well-defined curved dg-algebra structure on C_*(ΩL), with all codimension-one boundary strata contributing exclusively to the curvature term, orientations induced compatibly by the spin structure, and the curved A_∞ relations verified by the usual gluing analysis of the compactified moduli spaces. These additions will remove any ambiguity that the deformation is merely formal. revision: yes
Referee: [Application to Maslov class] In the application (the section deriving the Maslov non-vanishing from the deformed algebra under π₂(L)=0), the argument must explicitly trace how the Maslov class appears in the curvature or differential of the deformed algebra; the abstract states the conclusion but the chain-level mechanism linking the deformation to the Maslov class is not detailed enough to confirm it survives when π₂(L)=0.

Authors: We acknowledge that the chain-level mechanism is not traced with sufficient explicitness in the present draft. In the revised version we will expand the application section (currently Section 4) to include a step-by-step diagram and computation showing precisely how the Maslov class enters the curvature term. Under the hypothesis π₂(L)=0, the only non-constant holomorphic discs that can appear have Maslov index 2; their virtual fundamental classes are pushed forward via the closed-open map to produce the curvature element whose degree is governed by the Maslov class. We will explicitly verify that a vanishing Maslov class would force this curvature to be zero in a way that contradicts the algebraic structure or the non-vanishing of the unit in the deformed algebra. This will make the implication fully rigorous at the chain level. revision: yes

Circularity Check

0 steps flagged

No circularity: construction and application are independent

full rationale

The derivation proceeds by constructing a (possibly curved) deformation of C_*(ΩL) via pushforward of disc moduli spaces along the closed-open string topology map, then using the resulting algebraic structure to deduce non-vanishing Maslov class when π₂(L)=0. No quoted step equates the output to an input by definition, renames a fitted quantity as a prediction, or reduces the central claim to a self-citation chain. The construction invokes standard moduli-space and string-topology operations whose well-definedness is presupposed as external input rather than derived from the Maslov conclusion. The generalization of Viterbo–Cieliebak–Mohnke–Fukaya–Irie results is obtained as a consequence, not an assumption.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The abstract relies on standard domain assumptions from symplectic geometry and string topology; no free parameters or invented entities are introduced at the level of the abstract.

axioms (2)

domain assumption L is a closed, oriented, spin Lagrangian submanifold in C^n
Explicitly stated as the setting for the construction and theorem.
domain assumption Moduli spaces of pseudo-holomorphic discs with boundary on L exist and carry chain-level data that can be pushed forward via the closed-open map
Central to the deformation construction described in the abstract.

pith-pipeline@v0.9.0 · 5422 in / 1467 out tokens · 71075 ms · 2026-05-10T17:10:10.543709+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

17 extracted references · 16 canonical work pages · 1 internal anchor

[1]

A geometric criterion for generating the Fukaya category

[Abo10] Mohammed Abouzaid. “A geometric criterion for generating the Fukaya category”. In:Publ. Math. Inst. Hautes Études Sci.112 (2010), pp. 191–240.issn: 0073-8301,1618-1913.doi:10. 1007/s10240-010-0028-5.url:https://doi.org/10.1007/s10240-010-0028-5. [Abo11] Mohammed Abouzaid. “A cotangent fibre generates the Fukaya category”. In:Adv. Math. 228.2 (2011...

work page doi:10.1007/s10240-010-0028-5 2010
[2]

On the cobar construction

[Ada56] J. F. Adams. “On the cobar construction”. In:Proc. Nat. Acad. Sci. U.S.A.42 (1956), pp. 409– 412.issn: 0027-8424.doi:10.1073/pnas.42.7.409.url:https://doi.org/10.1073/pnas.42. 7.409. [ALP94] MichèleAudin,FrançoisLalonde,andLeonidPolterovich.“Symplecticrigidity:Lagrangiansub- manifolds”. In:Holomorphic curves in symplectic geometry. Vol

work page doi:10.1073/pnas.42.7.409.url:https://doi.org/10.1073/pnas.42 1956
[4]

Onacharacteristicclassenteringintoconditionsofquantization

arXiv:2110.14320 [math.SG].url:https://arxiv.org/ abs/2110.14320. [Arn67] V.I.Arnol’d.“Onacharacteristicclassenteringintoconditionsofquantization”.In:Funkcional. Anal. i Priložen.1 (1967), pp. 1–14.issn: 0374-1990. [Aud88] MichèleAudin.“Fibrésnormauxd’immersionsendimensiondouble,pointsdoublesd’immersions lagragiennes et plongements totalement réels”. In:C...

work page doi:10.1007/bf02566781.url:https://doi.org/10.1007/ 1967
[5]

Cyclic homology and algebraicK-theory of spaces. II

Contemp. Math. Amer. Math. Soc., Providence, RI, 2009, pp. 53–76.isbn: 978-0- 8218-4839-5.doi:10.1090/conm/504/09875.url:https://doi.org/10.1090/conm/504/09875. [BF86] D. Burghelea and Z. Fiedorowicz. “Cyclic homology and algebraicK-theory of spaces. II”. In: Topology25.3 (1986), pp. 303–317.issn: 0040-9383.doi:10.1016/0040-9383(86)90046-7.url: https://do...

work page doi:10.1090/conm/504/09875.url:https://doi.org/10.1090/conm/504/09875 2009
[6]

TopologicalconformalfieldtheoriesandCalabi-Yaucategories

IRMA Lect. Math. Theor. Phys. Eur. Math. Soc., Zürich, 2015, pp. 21–65.isbn: 978-3-03719-153-8. [Cos07] KevinCostello.“TopologicalconformalfieldtheoriesandCalabi-Yaucategories”.In:Adv. Math. 210.1 (2007), pp. 165–214.issn: 0001-8708,1090-2082.doi:10.1016/j.aim.2006.06.004.url: https://doi.org/10.1016/j.aim.2006.06.004. [CS04] Moira Chas and Dennis Sulliva...

work page doi:10.1016/j.aim.2006.06.004.url: 2015
[7]

Remarks on monotone Lagrangians inCn

arXiv:math/9911159 [math.GT].url: https://arxiv.org/abs/math/9911159. [EK14] Jonathan David Evans and Jarek Kędra. “Remarks on monotone Lagrangians inCn”. In:Math. Res. Lett.21.6 (2014), pp. 1241–1255.issn: 1073-2780,1945-001X.doi:10.4310/MRL.2014.v21. n6.a2.url:https://doi.org/10.4310/MRL.2014.v21.n6.a2. [Ekh+13] Tobias Ekholm, Yakov Eliashberg, Emmy Mur...

work page doi:10.4310/mrl.2014.v21 2014
[8]

Deformation theory, homological algebra and mirror symmetry

url:https://doi.org/10.1007/978-981-15-5562-6. [Fuk03] Kenji Fukaya. “Deformation theory, homological algebra and mirror symmetry”. In:Geometry and physics of branes (Como, 2001). Ser. High Energy Phys. Cosmol. Gravit. IOP, Bristol, 2003, pp. 121–209.isbn: 0-7503-0863-X. [Fuk06] KenjiFukaya.“ApplicationofFloerhomologyofLangrangiansubmanifoldstosymplectict...

work page doi:10.1007/978-981-15-5562-6 2001
[9]

The cohomology structure of an associative ring

NATO Sci. Ser. II Math. Phys. Chem. Springer, Dordrecht, 2006, pp. 231–276.isbn: 978-1-4020- 4273-7; 1-4020-4273-6.doi:10.1007/1-4020-4266-3\_06.url:https://doi.org/10.1007/1- 4020-4266-3_06. [Gan12] Sheel Ganatra.Symplectic Cohomology and Duality for the Wrapped Fukaya Category. Thesis (Ph.D.)–Massachusetts Institute of Technology. ProQuest LLC, Ann Arbo...

work page doi:10.1007/1-4020-4266-3 2006
[10]

In: Camara, O., et al

Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)]. Springer-Verlag, Berlin, 1986, pp. x+363.isbn: 3-540-12177-3.doi:10.1007/978- 3- 662- 02267- 2.url:https://doi.org/ 10.1007/978-3-662-02267-2. [HH25] Amanda Hirschi and Kai Hugtenburg.An open-closed Deligne-Mumford field theory associated to a Lagrangian s...

work page doi:10.1007/978- 1986
[11]

Open-closed Deligne-Mumford field theories: geometric foundations

arXiv:2501.04687 [math.SG].url:https://arxiv.org/ abs/2501.04687. [HL82] Reese Harvey and H. Blaine Lawson Jr. “Calibrated geometries”. In:Acta Math.148 (1982), pp. 47–157.issn: 0001-5962,1871-2509.doi:10.1007/BF02392726.url:https://doi.org/10. 1007/BF02392726. [Iri] Kei Irie.Erratum to “Chain level loop bracket and pseudo-holomorphic disks”. Available at...

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/bf02392726.url:https://doi.org/10 1982
[12]

On the classification of Lagrange immersions

Clay Math. Proc. Amer. Math. Soc., Providence, RI, 2005, pp. 667–695.isbn: 0-8218-3587-4. [Lee76] J. Alexander Lees. “On the classification of Lagrange immersions”. In:Duke Math. J.43.2 (1976), pp. 217–224.issn: 0012-7094,1547-7398.url:http://projecteuclid.org/euclid.dmj/ 1077311633. [Mal10] Eric James Malm.String Topology and the Based Loop Space. Thesis...

2005
[13]

Floer cohomology, spectral sequences, and the Maslov class of Lagrangian embeddings

arXiv:hep-th/0609042 [hep-th].url:https://arxiv.org/abs/hep-th/0609042. [Oh96] Yong-Geun Oh. “Floer cohomology, spectral sequences, and the Maslov class of Lagrangian embeddings”. In:Internat. Math. Res. Notices7 (1996), pp. 305–346.issn: 1073-7928,1687- 0247.doi:10.1155/S1073792896000219.url:https://doi.org/10.1155/S1073792896000219. [Oh97] Yong-Geun Oh....

work page doi:10.1155/s1073792896000219.url:https://doi.org/10.1155/s1073792896000219 1996
[14]

Graded Lagrangian submanifolds

arXiv:2411.14657 [math.SG].url:https: //arxiv.org/abs/2411.14657. [Sei00] Paul Seidel. “Graded Lagrangian submanifolds”. In:Bull. Soc. Math. France128.1 (2000), pp. 103–149.issn: 0037-9484,2102-622X.url:http://www.numdam.org/item?id=BSMF_2000_ _128_1_103_0. [Smi15] Ivan Smith. “A symplectic prolegomenon”. In:Bull. Amer. Math. Soc. (N.S.)52.3 (2015), pp. 4...

work page doi:10.1090/s0273-0979-2015-01477-1.url:https: 2000
[15]

Sigma models and string topology

London Math. Soc. Lecture Note Ser. Cambridge Univ. Press, Cambridge, 2004, pp. 344–357.isbn: 0-521-54049-6.doi:10.1017/ CBO9780511526398.014.url:https://doi.org/10.1017/CBO9780511526398.014. [Sul05] Dennis Sullivan. “Sigma models and string topology”. In:Graphs and patterns in mathematics and theoretical physics. Vol

work page doi:10.1017/cbo9780511526398.014 2004
[16]

String topology background and present state

Proc. Sympos. Pure Math. Amer. Math. Soc., Providence, RI, 2005, pp. 1–11.isbn: 0-8218-3666-8.doi:10 . 1090 / pspum / 073 / 2131009.url:https : //doi.org/10.1090/pspum/073/2131009. [Sul07] Dennis Sullivan. “String topology background and present state”. In:Current developments in mathematics,

work page doi:10.1090/pspum/073/2131009 2005
[17]

From symplectic cohomology to Lagrangian enumerative geometry

Int. Press, Somerville, MA, 2007, pp. 41–88.isbn: 978-1-57146-166-7. [Ton19] Dmitry Tonkonog. “From symplectic cohomology to Lagrangian enumerative geometry”. In: Adv. Math.352 (2019), pp. 717–776.issn: 0001-8708,1090-2082.doi:10.1016/j.aim.2019.06. 004.url:https://doi.org/10.1016/j.aim.2019.06.004. [Vit90] C. Viterbo. “A new obstruction to embedding Lagr...

work page doi:10.1016/j.aim.2019.06 2007
[18]

arXiv: 2003.06106 [math.SG].url:https://arxiv.org/abs/2003.06106

work page arXiv 2003