Pith. sign in

REVIEW 3 major objections 5 minor 1 cited by

$L_{\infty}$-Kuranishi spaces and the moduli space of pseudoholomorphic disks

T0 review · 3 major / 5 minor · reviewed 2026-08-03 · deepseek-v4-flash

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

Pith's one-line read This paper claims that the moduli space of pseudoholomorphic disks with Lagrangian boundary condition can be presented as an L∞-Kuranishi space, in which each chart carries a local L∞[1]-algebra and coordinate changes are homotopy-coherent

desk verdict A genuinely new and carefully built L∞-Kuranishi framework whose flagship disk-moduli example still rests on a conjectured geometric input and, in §9.5, an unproved rank-preserving family of presymplectic forms. read the letter →

arxiv 2511.05206 v2 pith:G5J5G3OL submitted 2025-11-07 math.SG

Taesu Kim This is my paper · ORCID
classification math.SG MSC 53D4053D1253D4558A3555U10
keywords L∞-KuranishispacespseudoholomorphicdisksLagrangianboundaryconditionmodulispaceKuranishistructuresL∞[1]-algebrasfoliationdeRhamcomplexWhitneystratification
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 claims that the moduli space of pseudoholomorphic disks with Lagrangian boundary condition can be equipped with a new kind of geometric structure, an L∞-Kuranishi space. Each chart of such a space carries a local L∞[1]-algebra obtained by combining the Koszul complex of the obstruction bundle with the augmented foliation complex of the closed 2-form that the ambient symplectic form induces on the virtual neighborhood. In this structure, coordinate changes are quasi-isomorphisms instead of strict bundle embeddings, and cocycle conditions are filled by higher homotopies rather than imposed as rigid equations. The paper further claims that forgetful and evaluation maps of the disk moduli space lift to morphisms between L∞-Kuranishi spaces, and that smooth manifolds form a subcategory of the resulting category. The whole example is conditional on an explicit stratification and tubular-neighborhood assumption that the paper states, not proves.

What carries the argument

The carrying object is the local L∞[1]-algebra C_x, built from the two data of a Kuranishi chart: the obstruction section s encodes the Koszul complex of the dual bundle E^*, while the closed 2-form ω_p(y)=∫_Σ u_y^*ω(·,·) dvol, restricted to a contractible neighborhood of a zero point, has a kernel foliation whose augmented foliation complex (degree shifted by 1) forms the second summand. Around this, the paper develops models of Δ^n × C for L∞[1]-algebras, a Whitehead theorem making quasi-isomorphisms homotopy invertible, and a hypercovering and simplicial-nerve mechanism so that higher cocycle compatibilities are data to be chosen, not conditions to be verified.

What would settle it

Exhibit a single Kuranishi chart for a disk moduli space where the strata {rk ker ω_p = i} fail to be Whitney, or where the required tubular neighborhoods cannot satisfy the compatibility conditions; then the local presymplectic neighborhoods W_x and the L∞[1]-algebras C_x are not defined, so Theorem 1.7 has no meaning on that chart. Alternatively, find a 1-parameter family of presymplectic forms in the coordinate-change construction whose kernel rank changes, which would violate condition (4.2) and break the induced L∞[1]-isomorphism.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central result is Theorem 1.7: under Assumption 1.6, the moduli space M_{k+1}(β,L) is an L∞-Kuranishi space, and Theorem 1.8 lifts the forgetful and evaluation maps to morphisms of such spaces. The local L∞[1]-algebra at each zero point is C_x = ∧^{-•}Γ(E^*|_{W_x}) ⊕ Ω_{aug}^{•+1}(F_x), where the first summand is the Koszul complex of the dual obstruction bundle and the second is the augmented, degree-shifted foliation complex of the kernel foliation of the presymplectic form. Coordinate changes are required to be quasi-isomorphisms on these algebras, and the higher cocycle conditions always hold after choices of higher homotopies. The paper presents the stratif

Load-bearing premise

The load-bearing premise is Assumption 1.6/5.2/9.11: on every virtual neighborhood, the kernel-rank strata of the closed 2-form ω_p form a Whitney stratification admitting a compatible system of tubular neighborhoods that is itself compatible under coordinate changes; the paper states this as an assumption and a conjecture, not a theorem.

Editorial extensions

If this is right

  • If Theorems 1.7 and 1.8 are correct, the moduli space of disks with Lagrangian boundary condition sits in a category where the forgetful and evaluation maps are actual morphisms, not just continuous maps.
  • The obstruction-bundle dependence that has been criticized in older Kuranishi formulations dissolves up to quasi-isomorphism, because expanding a chart by a vector space V yields an equivalent atlas.
  • Higher cocycle conditions always hold, so the atlas is coherent at all orders once one makes the filling choices.
  • Smooth manifolds embed as a subcategory, so statements about L∞-Kuranishi spaces specialize to ordinary differential geometry.
  • The local L∞[1]-algebras are cohomologically trivial but nontrivial as algebras, so the structure captures information that ordinary homology of the neighborhood would miss.

Reading between the lines

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

  • Because the paper leaves the stratification and tubular-neighborhood condition as an assumption, the most direct test is to check the kernel-rank strata for the exact 2-form ω_p on the virtual neighborhoods; a counterexample there would restrict the theorem to generic almost complex structures or force an irregular-foliation variant.
  • The family-of-presymplectic-forms argument in §9.5 appears to connect forms whose kernel ranks may differ; if so, condition (4.2), used to produce L∞[1]-isomorphisms, would be violated, and those coordinate changes would need a proof using a different mechanism.
  • A derived-geometric reading is natural from the paper's own framing: the virtual neighborhood plus obstruction bundle is not fundamental; only the homotopy class of the local algebra matters, so one might build virtual fundamental classes without perturbations.
  • A concrete extension: apply the L∞-Kuranishi structure to moduli spaces with additional marked points or to open-closed maps, and check whether the forgetful morphisms compose associatively as the category claims.
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

3 major / 5 minor

Summary. The paper introduces a homotopy-theoretic refinement of Kuranishi structures, called L∞-Kuranishi spaces. In each chart, the base manifold is equipped with a closed 2-form whose kernel foliation defines local L∞[1]-algebras; the obstruction bundle contributes a Koszul complex, and coordinate changes are required to be L∞[1]-quasi-isomorphisms rather than strict bundle embeddings. The paper proves that these objects form a category containing smooth manifolds, and that higher cocycle conditions for coordinate changes are always satisfiable by choosing higher homotopies. It then claims that the moduli space of pseudoholomorphic disks with Lagrangian boundary condition is an L∞-Kuranishi space, provided a Whitney stratification/tubular-neighborhood assumption holds for the closed 2-form ω_p, and that evaluation and forgetful maps lift to morphisms.

Significance. If the constructions were completed, the paper would provide a genuinely new categorical framework for Kuranishi spaces, replacing strict cocycle conditions by homotopy-coherent data and allowing expansions to become isomorphic objects. The local L∞[1]-algebras are derived from geometric data (foliation de Rham complexes and Koszul complexes), not fitted by ad hoc choices, and the Whitehead theorem is used to make quasi-isomorphisms invertible up to homotopy. The embedding of smooth manifolds into the new category is a useful sanity check. However, the main geometric application is conditional on an unproved stratification conjecture, and the published argument for the key coordinate-change morphism contains a rank-change gap. As it stands, the paper establishes a substantial formal framework but does not prove the moduli-space theorem even under its own standing assumptions.

major comments (3)
  1. [§9.5, family (B); Eq. (9.12) and Corollary 4.8] The construction of bϕ^{dR,2}_{pq,x} is not valid. The two presymplectic forms displayed in the block matrices have ranks 2m+2m′ and 2m, so their kernel dimensions are respectively k+k′ and k+2m′+k′. Corollary 4.8, the only mechanism producing L∞[1]-isomorphisms from a 1-parameter family of V-algebras, requires condition (4.2): φ_t(ker Π(0)) ≃ ker Π(t) for all t. This is impossible when the endpoints have different kernel dimensions. Invoking Theorem 9.17 does not repair the issue: that theorem produces a path of presymplectic forms, not one of constant kernel rank, and no alternative argument is supplied for an L∞[1]-isomorphism between foliation de Rham complexes of different-rank foliations. Consequently bϕ^{dR,2}_{pq,x}, and hence the coordinate change bϕ_{pq,x}, is not shown to be an L∞[1]-quasi-isomorphism, and Theorem 1.7 does not follow even under Assumption 1.6.
  2. [Assumptions 1.6 and 9.11; Remark 9.12] The central moduli-space result is explicitly conditional on an unproved conjecture. The paper assumes that the closed 2-form ω_p defines a Whitney stratification with a Mather-compatible system of tubular neighborhoods, and that these neighborhoods are compatible under coordinate changes (diagram 9.5). Remark 9.12 only cites a genericity result for 2-forms and conjectures that a generic almost complex structure J would imply the needed condition; no proof or numerical evidence is given. This assumption is load-bearing: without the strata S_i and the compatible tubular neighborhoods, the local presymplectic neighborhoods W_x, the foliations F_x, and the local L∞[1]-algebras C_x are not defined. The paper should either prove this genericity statement (or a sufficient portion of it) or clearly state Theorem 1.7 as a conditional result contingent on an open conjecture, and separate that fro
  3. [Theorem 1.4 and Corollary 3.7; §8.2] The higher cocycle conditions are claimed to always hold because, by Corollary 3.7, any collection of quasi-isomorphic L∞[1]-morphisms is n-homotopic. This makes the higher cocycle conditions a choice of data rather than a compatibility condition with geometric content. In particular, the coordinate changes are required to satisfy the cocycle condition only on the base maps, while the L∞[1]-components are not required to compose up to specified homotopies beyond what is freely filled. This is a deliberate design choice, but it substantially weakens the categorical structure: the nerve filling does not constrain the atlas. The paper should discuss whether the resulting category retains enough rigidity to be useful for Floer-theoretic applications, and whether the moduli-space construction depends on these choices in a controlled way.
minor comments (5)
  1. [Eq. (9.8) and surrounding text] The direction of the maps bϕ^{dR,1}_{pq,x} and bϕ^{dR,2}_{pq,x} is confusing: the displayed composition reads bϕ^{dR,2}∘bϕ^{dR,1} with bϕ^{dR,1}: F_x→F′_0 and bϕ^{dR,2}: F′_0→F′, but the prose describes bϕ^{dR,2} as connecting ω′_q with the pulled-back form. Please clarify the domain/target of each map.
  2. [Before Theorem 9.17] The phrase 'Since all the entries ... are constant functions, we can extend them to the closure of the open ball' is not justified. Theorem 3.4 of [HW] is stated for closed manifolds; the paper should either prove a relative/compact-ball version or cite one.
  3. [Theorem 9.17 and proof-sketch] The proof-sketch mentions a homotopy equivalence Spresymp(M,a)→Snondeg(M) for fixed cohomology type a, but Theorem 9.17 as quoted says only that any two nondegenerate 2-forms joined by a path of nondegenerate forms are homotopic through presymplectic forms. The use of this theorem should be made precise, and it should be clarified why a path through presymplectic forms of varying rank is enough for Corollary 4.8.
  4. [Notation throughout] The symbol U is used both for a chart tuple and for the base manifold (e.g., Definition 5.1). The closed 2-form is sometimes denoted β and sometimes ω_p in later sections. This is a source of avoidable confusion, especially in §9.
  5. [Lemma 5.10] The condition 's_m ∈ I_φ \ I_φ^2' is used heavily but its geometric meaning is only implicit. Please spell out that this is a first-order transversality condition and explain how it follows from the tangent bundle condition in the applications.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; the moduli example has a gap in the presymplectic interpolation but that is not a circular reduction.

full rationale

The paper's central derivation chain is not circular. The local L∞[1]-algebras C_x are constructed from explicit geometric data—the Koszul complex of E*|W_x and the augmented foliation de Rham complex associated to the kernel of the presymplectic form—and no parameter is fitted to the moduli space being described. The coordinate changes in §9.4 are assembled from FOOO's base embeddings (Lemma 9.8) and from L∞[1]-isomorphisms induced by families of presymplectic forms; these are genuine constructions using independent results ([Voronov1], [CS], [OP], [MS]) and are not defined by the target theorem. The seemingly tautological Theorem 1.4 ('higher cocycle conditions always hold') is an existence theorem proved from Corollary 3.7/Proposition 3.6: it does not assume the compatibility it constructs, so it is not a circular reduction. Assumption 1.6/9.11 is honestly flagged as an assumption/conjecture rather than presented as a derived prediction. The substantive concern in §9.5—that the family (B) may change kernel rank and hence cannot satisfy condition (4.2) required by Corollary 4.8—is a correctness/rigor gap, not circularity: the paper is not fitting a parameter and renaming it a prediction. No load-bearing self-citation is present; the citation to [Kim1] is only attribution for the framework name and does not supply the paper's mathematical content.

Assumptions & free parameters 3 free parameters · 7 assumptions · 4 invented entities

The construction rests on: (a) the unproved stratification/tubular-neighborhood condition for ω_p (conjectural), (b) FOOO's obstruction-bundle data for the disk moduli space (imported), (c) contractibility of chart intersections U_α (Assumption 7.1), (d) standard homological algebra (Whitehead theorem over a field), and (e) external results (foliation Poincaré lemma [MS], presymplectic homotopy [HW], genericity of 2-forms [KO]). No numeric parameters are fitted; the free choices are structural (obstruction data, almost complex structure, local splittings/frames).

free parameters (3)
  • obstruction bundle data {E_p(x)}
    Imported from FOOO (Def 9.6/9.7); all charts, sections, and the L∞-algebras are built from this choice. The paper's motivation is to remove such choice-dependence, but for the moduli example the structure is defined relative to it.
  • almost complex structure J (ω-tamed)
    Input to the moduli problem; the paper conjectures generic J makes Assumption 1.6 (stratification) true, without proof.
  • local splittings T W_x ≅ TF_x ⊕ G_x and frames (Choice 5.5)
    Auxiliary choices for defining the foliation L∞[1]-algebras; shown invariant up to L∞[1]-isomorphism (Lemma 4.12), so benign.
assumptions (7)
  • domain assumption Assumption 5.2/9.11: ker ω_p gives a Whitney stratification with Mather-compatible system of tubular neighborhoods on each chart, compatible with coordinate changes (diagram 9.5)
    Unproved and stated as conjectural (Assumption 1.6, Remark 9.12). All local presymplectic neighborhoods W_x, foliations F_x and L∞[1]-algebras C_x depend on it; if false, the moduli example fails. Cited genericity results [KO] are for generic closed 2-forms, and the paper only conjectures that generic J transfers them to ω_p.
  • domain assumption FOOO obstruction-bundle data exist with transversality, semi-continuity, and equivariance for M_{k+1}(L,β)
    Adopted from [FOOO2]/[FOOO5]; the base coordinate changes (Lemma 9.8) and even the definition of the charts are FOOO's. The paper adds the 2-form on top.
  • domain assumption Assumption 7.1: all chart intersections U_α are contractible
    Needed for the Kan-complex/higher-cocycle machinery (Theorem 7.8, Proposition 8.2); not verified for the moduli example.
  • standard math Poincaré lemma for foliation de Rham complexes [MS, Theorem 4.1] on contractible W_x
    External result used to build the L∞[1]-structure on the augmented foliation de Rham complex (Prop 4.17) and its localization.
  • standard math Presymplectic homotopy theorem [HW, Theorem 3.4]
    Used in §9.5 to join the two presymplectic forms in family (B); the theorem's hypotheses (connection through nondegenerate forms) and the kernel preservation needed for Corollary 4.8 are not shown to hold.
  • standard math Chain complexes over a field: quasi-isomorphism ⇔ chain homotopy equivalence; Whitehead theorem for L∞[1]-algebras
    Proved in §2.3 (Thm 2.18) for strict L∞[1]-algebras over a field; standard homological algebra.
  • ad hoc to paper The two presymplectic forms in family (B) admit the displayed block-constant matrix forms in common Darboux coordinates (§9.5)
    Claimed to follow from Lemma 9.10 and Corollary 9.13, but the argument is not completed in the visible text; the block matrices have different ranks, so the needed 1-parameter family may not preserve the kernel condition (4.2).
invented entities (4)
  • L∞[1]-Kuranishi chart/space (charts, embeddings, atlases)
    purpose: New formalism replacing rigid FOOO chart embeddings with quasi-isomorphism-based homotopy-invertible morphisms
    The central new object; its validity rests on the theorems proven inside this paper (and its companion [Kim1]); no external falsifiable handle.
  • local algebra C_x = V^{-•}Γ(E^*|_{W_x}) ⊕ Ω^{•+1}_{aug}(F_x)
    purpose: Algebraic encoding of a chart at a zero point (obstruction Koszul + symplectic foliation de Rham)
    Defined in §5.1; non-trivial as an L∞[1]-algebra despite acyclicity; its usefulness is internal to the framework.
  • model of Δ^n × C for L∞[1]-algebras and n-homotopies
    purpose: Machine for higher homotopies of L∞[1]-morphisms used to fill cocycle conditions
    New recursive definition (§3.1), adapted from FOOO's A∞ analogues; existence results (Prop 3.6) are internal.
  • Kuranishi internal category K_X and higher cocycle conditions
    purpose: Patching atlas data into a coherent space-level structure
    Definitional apparatus whose key property (always fillable) is by construction (Cor 3.7).

how reviews work

0 comments
Cite this review

Pith. "Pith review of $L_{\infty}$-Kuranishi spaces and the moduli space of pseudoholomorphic disks." pith.science (2026). https://pith.science/paper/G5J5G3OL

@misc{pith2026251105206,
  author       = {Pith},
  title        = {Pith review of: $L_\infty$-Kuranishi spaces and the moduli space of pseudoholomorphic disks},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/G5J5G3OL}},
  note         = {Machine review of arXiv:2511.05206}
}
abstract

We show that the moduli space of pseudoholomorphic disks is an example of the $L_{\infty}$-Kuranishi spaces introduced in \cite{Kim1}, provided that a condition for the existence of a stratification with a system of tubular neighborhoods holds on each chart. With respect to this structure, the forgetful and evaluation maps for the moduli space lift to morphisms between $L_{\infty}$-Kuranishi spaces.

Figures

Figures reproduced from arXiv: 2511.05206 by the authors.

Figure 1
Figure 1. 4 types of the nullity graphs over [ti , ti+1] In [PITH_FULL_IMAGE:figures/full_fig_p096_1.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Categorical structures of Kuranishi spaces with $L_{\infty}[1]$-algebras

    math.SG 2026-07 unverdicted novelty 5.0 of 10

    Defines L∞-Kuranishi spaces via L∞[1]-algebras on Kuranishi charts and proves they form a category embedding smooth manifolds, by modifying conditions from prior work.

Reference graph

Works this paper leans on

50 extracted references · 9 linked inside Pith · cited by 1 Pith paper

  1. [1]

    Mikhail Alexandrov, Maxim Kontsevich, Albert Schwarz, Oleg Zaboronsky, The geometry of the master equation and topological quantum field theory, Int. J. Modern Phys. A 12(7):1405–1429, 1997

    1997

  2. [2]

    Michael Artin, Barry Mazur, \' E tale Homotopy , Lecture Notes in Mathematics, Volume 100, Springer, 2006

    2006

  3. [3]

    Noncommut

    Lino Amorim, Junwu Tu, The inverse function theorem for curved L-infinity spaces, J. Noncommut. Geom. 16 (2022), no. 4, pp. 1445–1477

    2022

  4. [4]

    Ruggero Bandiera, Cumulants, Koszul brackets, and homological perturbation theory for commutative BV_ and IBL_ algebras , Journal Homotopy and Related Structures, Preprint, 2020

    2020

  5. [5]

    Kai Behrend, Hsuan-Yi Liao, Ping Xu, Derived Differentiable Manifolds, arXiv:2006.01376

    arXiv 2006

  6. [6]

    Kevin Costello, A geometric construction of Witten genus, II, arXiv:1112.0816

    arXiv

  7. [7]

    Weimin Chen, Yongbin Ruan, Orbifold Gromov-Witten theory, Contemporary Mathematics, 310, 25–86, 2002

    2002

  8. [8]

    Cattaneo, Florian Sch\" a tz, Equivalences of higher derived brackets, Journal of Pure and Applied Algebra, 212 (2008) 2450-2460

    Alberto S. Cattaneo, Florian Sch\" a tz, Equivalences of higher derived brackets, Journal of Pure and Applied Algebra, 212 (2008) 2450-2460

    2008

Show all 50 references
  1. [9]

    B. A. Dubrovin, M.Giordano, D.Marmo, A. Simoni, Poisson brackets on presymplectic manifolds, International journal of modern physics A, Vo, 8, No. 21 (1993) 3747-3771

    1993

  2. [10]

    Isaksen, Hypercovers and simplicial presheaves , Math

    Daniel Dugger, Sharon Hollander, Daniel C. Isaksen, Hypercovers and simplicial presheaves , Math. Proc. Cambridge Philos. Soc. 136, no. 1, 9–51, 2004

    2004

  3. [11]

    David Eisenbud, Commutative algebra with a view toward algebraic geometry, Graduate Texts in Mathematics 150, Springer, 2004

    2004

  4. [12]

    Kenji Fukaya, Deformation theory, homological algebra, and mirror symmetry, Geometry and Physics of Branes, 121-209, CRC Press, 2002

    2002

  5. [13]

    Kenji Fukaya, Kaoru Ono, Arnold conjecture and Gromov-Witten invariants, Topology, Volume 38, Issue 5, Pages 933-1048, 1999

    1999

  6. [14]

    Kenji Fukaya, Yong-Geun Oh, Hiroshi Ohta, Kaoru Ono, Kuranishi structures and Virtual fundamental chain, Springer Monographs in Mathematics, Springer, 2020

    2020

  7. [15]

    Kenji Fukaya, Yong-Geun Oh, Hiroshi Ohta, Kaoru Ono, Lagrangian Intersection Floer Theory : Anomaly and Obstruction Part I, II, 2009

    2009

  8. [16]

    Kenji Fukaya, Yong-Geun Oh, Hiroshi Ohta, Kaoru Ono, Lagrangian Floer theory on compact toric manifolds I, Duke Mathematical Journal, Vol. 151, No. 1, 2009

    2009

  9. [17]

    Kenji Fukaya, Yong-Geun Oh, Hiroshi Ohta, Kaoru Ono, Shrinking good coordinate systems associated to Kuranishi structures, Journal of Symplectic Geometry, Vol. 14, No. 4 2016

    2016

  10. [18]

    Kenji Fukaya, Yong-Geun Oh, Hiroshi Ohta, Kaoru Ono, Construction of Kuranishi structures on the moduli spaces of pseudo holomorphic disks: I, Surv. Diff. Geom. 22, 133-190, 2018

    2018

  11. [19]

    Kenji Fukaya, Yong-Geun Oh, Hiroshi Ohta, Kaoru Ono, Construction of Kuranishi structures on the moduli spaces of pseudo holomorphic disks: II, arXiv:1808.06106 [math.SG], 2018

    2018 arXiv

  12. [20]

    Kenji Fukaya, Yong-Geun Oh, Hiroshi Ohta, Kaoru Ono, Exponential decay estimates and smoothness of the moduli space of pseudoholomorphic curves, arXiv:1603.07026 [math.SG], 2016

    2016 arXiv

  13. [21]

    Real Acad

    Xavier Gràcia, Javier de Lucas, Xavier Rivas, Narciso Román-Roy, On Darboux theorems for geometric structures induced by closed forms, Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. A-Mat. 118, 131, 2024

    2024

  14. [22]

    Mark Gotay, On coisotropic imbeddings of presymplectic manifolds, Proceedings of the American Mathematical Society, 84(1):111–114, 1982

    1982

  15. [23]

    I. M. Gelfand, M. M. Kapranov, A. V. Zelevinsky, Discriminants, Resultants and Multidimensional Determinants, Birkh a user, 1994

    1994

  16. [24]

    Boguslaw Hajduk, Rafal Walczak, Presymplectic manifolds, arXiv:0912.2297v2

    arXiv

  17. [25]

    Helmut Hofer, Kris Wysocki, Eduard Zehnder, Polyfold and Fredholm theory, arXiv: 1707.08941

    arXiv

  18. [26]

    Dominic Joyce, Kuranishi spaces as a 2-category, Virtual Fundamental Cycles in Symplectic Topology, 2019

    2019

  19. [27]

    Manin, Gromov-Witten classes, quantum cohomology, and enumerative geometry, Comm

    Maxim Kontsevich, Yuri I. Manin, Gromov-Witten classes, quantum cohomology, and enumerative geometry, Comm. Math. Phys. 164 (3), 525–562, 1994

    1994

  20. [28]

    Hiroshige Kajiura, Jim Stasheff, Homotopy Algebras Inspired by Classical Open-Closed String Field Theory, Communications in Mathematical Physics volume 263, pages 553–581, 2006

    2006

  21. [29]

    Maxim Kontsevich, Deformation quantization of Poisson manifolds, Letters in Mathematical Physics Volume 66, 157–216, 2003

    2003

  22. [30]

    Taesu Kim, Yong-Geun Oh, Singular foliations associated to generic closed two-forms and L_ -spaces, in preparation

  23. [31]

    Jun Li, Gang Tian, Virtual moduli cycles and Gromov-Witten invariants of general symplectic manifolds, in Topics in Symplectic 4-Manifolds, First International Press Lecture Series 1, 47-83, International Press Cambridge, MA, 1998

    1998

  24. [32]

    Jacob Lurie, Higher Topos Theory, Annals of Mathematics Studies 170, Princeton University Press, 2009

    2009

  25. [33]

    Manin Frobenius Manifolds, Quantum Cohomology, and Moduli Spaces, AMS Colloquium Publications, Vol

    Yuri I. Manin Frobenius Manifolds, Quantum Cohomology, and Moduli Spaces, AMS Colloquium Publications, Vol. 47, 1999

    1999

  26. [34]

    Martin Markl, On the origin of higher braces and higher-order derivations, Journal Homotopy and Related Structures, 10, 637–667, 2015

    2015

  27. [35]

    John N. Mather, Stratifications and mappings, Dynamical Systems, Proceedings of a Symposium Held at the University of Bahia, Salvador, Brasil, July 26–august 14, 1971,195-232, Academic Press, 1973

    1971

  28. [36]

    Izak Moerdijk, Janez Mr c un, Introduction to Foliations and Lie Groupoids, Cambridge Studies in Advanced Mathematics 91, Cambridge University Press, 2003

    2003

  29. [37]

    Eva Miranda, Romero Solha, On a Poincar\' e lemma for foliations , Foliations 2012, 115-137, World Scientific, 2013

    2012

  30. [38]

    London Math

    Dusa McDuff, Katrin Wehrheim, The topology of Kuranishi atlases, Proc. London Math. Soc., 115: 221-292, 2017

    2017

  31. [39]

    Rajan Amit Mehta, Marco Zambon, L_ -algebra actions , Differential Geometry and its Applications, Volume 30, Issue 6, 576-587, 2012

    2012

  32. [40]

    Yong-Geun Oh, Jae-Suk Park, Deformations of coisotropic submanifolds and strong homotopy Lie algebroids, Inventiones mathematicae, Volume 161, 287–360 2005

    2005

  33. [41]

    John Pardon, An algebraic approach to virtual fundamental cycles on moduli spaces of J-holomorphic curves, Geom. Topol. 20, 779-1034, 2016

    2016

  34. [42]

    John Pardon, Representability in non-linear elliptic Fredholm analysis, Frontiers of Science Awards for Math/CS/Phys, International Press, 1–20, 2023

    2023

  35. [43]

    Michael Penkava, L-infinity algebras and their cohomology, arXiv:q-alg/9512014

    arXiv

  36. [44]

    Roytenberg, Courant algebroids, derived brackets and even symplectic supermanifolds, Ph.D

    D. Roytenberg, Courant algebroids, derived brackets and even symplectic supermanifolds, Ph.D. Thesis, UC Berkeley, 1999, math.DG/9910078

    1999

  37. [45]

    Yongbin Ruan, Virtual neighborhood and pseudo-holomorphic curve, Turkish J. Math. 23(1), 161-231, 1999

    1999

  38. [46]

    a tz, Coisotropic Submanifolds and the BFV-Complex, PhD Thesis (University of Z \

    Florian Sch \" a tz, Coisotropic Submanifolds and the BFV-Complex, PhD Thesis (University of Z \" u rich), 2009, http://www.math.ist.utl.pt/∼fschaetz/

    2009

  39. [47]

    Junwu Tu, Homotopy L-infinity Spaces, arXiv:1411.5115 [math.AG], 2014

    2014 arXiv

  40. [48]

    Junwu Tu, Homotopy L-infinity spaces and Kuranishi manifolds, I: categorical structures, arXiv:1602.00150 [math.DG], 2016

    2016 arXiv

  41. [49]

    Theodore Voronov, Higher derived brackets and homotopy algebras, Journal of Pure and Applied Algebra, Volume 202, Issues 1–3, 1 November, 133-153, 2005

    2005

  42. [50]

    XVI 163–186, 2005

    Theodore Voronov, Higher derived brackets for arbitrary derivations, Travaux Math. XVI 163–186, 2005

    2005

Pith tools

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