Pith. sign in

REVIEW 1 major objections 34 references

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

T0 review · 1 major / 0 minor · reviewed 2026-07-03 · grok-4.3

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

Pith's one-line read L∞-Kuranishi spaces form a category into which the category of smooth manifolds embeds naturally.

desk verdict The paper attaches L∞[1]-algebras to Kuranishi chart neighborhoods and swaps the tangent bundle condition for a quasi-isomorphism condition to claim a category that embeds smooth manifolds, but supplies no proof details. read the letter →

arxiv 2607.01371 v1 pith:VHXCYO2X submitted 2026-07-01 math.SG math.AT

Taesu Kim This is my paper · ORCID
classification math.SGmath.AT
keywords KuranishispacesL∞[1]-algebrascategorysmoothmanifoldsembeddingsquasi-isomorphismsmodulichart
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 defines L∞-Kuranishi spaces by equipping each chart with an L∞[1]-algebra on open neighborhoods around points in the zero locus of the Kuranishi section. It proves that these spaces together constitute a category. To reach this structure the author alters prior definitions from FOOO1, notably replacing the tangent bundle condition on chart embeddings with a quasi-isomorphism requirement on the associated L∞[1]-structures. The resulting category admits a natural embedding of ordinary smooth manifolds. The modifications are chosen so that the geometric content of Kuranishi spaces remains available for applications.

What carries the argument

The quasi-isomorphism condition on L∞[1]-structures, which replaces the tangent bundle condition for chart embeddings.

What would settle it

An explicit pair of L∞-Kuranishi spaces whose charts admit a geometric embedding that fails to induce a quasi-isomorphism of the attached L∞[1]-algebras, or conversely a quasi-isomorphism that does not arise from any geometric chart embedding.

Watch

Extended reading notes

Core claim

We associate to each chart an L∞[1]-algebra defined on open neighborhoods of points in the zero locus of the Kuranishi section. By replacing the tangent bundle condition for chart embeddings with a quasi-isomorphism condition on these L∞[1]-structures, the collection of all such spaces forms a category that contains the category of smooth manifolds as a full subcategory.

Load-bearing premise

The specific changes to the embedding notions from earlier work, particularly the switch to quasi-isomorphisms of L∞[1]-structures, suffice to produce a category while preserving the geometric utility of Kuranishi spaces.

Editorial extensions

If this is right

  • The category of L∞-Kuranishi spaces contains all smooth manifolds via the natural embedding.
  • Morphisms between L∞-Kuranishi spaces are defined by the new quasi-isomorphism condition on their L∞[1]-structures.
  • Composition of morphisms is well-defined within this category because quasi-isomorphisms compose.
  • Kuranishi spaces can now be treated uniformly as objects inside a single category that also includes ordinary manifolds.

Reading between the lines

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

  • The construction may permit defining virtual fundamental classes or gluing operations as categorical operations rather than ad-hoc geometric constructions.
  • One could check whether the category admits products or fiber products that correspond to familiar geometric intersections of moduli spaces.
  • The same quasi-isomorphism replacement might be applied to other chart-based objects such as polyfolds or derived manifolds to obtain analogous categorical embeddings.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

1 major / 0 minor

Summary. The manuscript introduces L∞-Kuranishi spaces by associating L∞[1]-algebras to open neighborhoods of points in the zero locus of the Kuranishi section for each chart. It claims these objects collectively form a category into which the category of smooth manifolds naturally embeds, achieved by modifying notions from FOOO1 (e.g., replacing the tangent bundle condition for chart embeddings by a quasi-isomorphism condition on the L∞[1]-structures).

Significance. If the construction and embedding are verified, the result would supply a categorical framework for a generalized class of Kuranishi spaces that contains smooth manifolds, potentially streamlining the treatment of virtual cycles and moduli problems in symplectic geometry by replacing geometric tangent-bundle conditions with algebraic quasi-isomorphisms.

major comments (1)
  1. [Abstract] Abstract: the construction and embedding result are stated, but the text supplies no explicit definition of the morphisms, no verification that the quasi-isomorphism condition on L∞[1]-structures ensures the category axioms hold, and no check that the modified notions from FOOO1 preserve the geometric properties required for the embedding of smooth manifolds.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report and for highlighting the need for greater clarity in the abstract. We address the comment below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the construction and embedding result are stated, but the text supplies no explicit definition of the morphisms, no verification that the quasi-isomorphism condition on L∞[1]-structures ensures the category axioms hold, and no check that the modified notions from FOOO1 preserve the geometric properties required for the embedding of smooth manifolds.

    Authors: The abstract is a concise summary and does not contain the full technical details. Explicit definitions of the morphisms between L∞-Kuranishi spaces (via the quasi-isomorphism condition on the L∞[1]-structures), the verification that these morphisms satisfy the category axioms, and the checks that the modifications to the notions from FOOO1 preserve the required geometric properties for the embedding of smooth manifolds are all provided in Sections 3 and 4 of the manuscript. We agree that the abstract should better indicate where these verifications appear and will expand it slightly to reference the relevant sections while remaining within length constraints. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity

full rationale

The paper presents a mathematical construction: it associates L∞[1]-algebras to charts of Kuranishi spaces on open neighborhoods of the zero locus, modifies embedding conditions from the cited external reference FOOO1 (replacing a tangent bundle condition with a quasi-isomorphism on L∞[1]-structures), and proves that the resulting objects form a category containing an embedding of smooth manifolds. No equations, definitions, or claims reduce by construction to fitted parameters, self-referential inputs, or load-bearing self-citations; the derivation relies on explicit modifications and standard categorical arguments applied to the new structures. The cited prior work is external and does not overlap with the present author, so the central claim remains independently verifiable from the stated definitions and modifications.

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

Abstract-only review; no explicit free parameters, axioms, or invented entities can be extracted. The L∞[1]-algebras and modified chart conditions are the central new elements.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Categorical structures of Kuranishi spaces with $L_{\infty}[1]$-algebras." pith.science (2026). https://pith.science/paper/VHXCYO2X

@misc{pith2026260701371,
  author       = {Pith},
  title        = {Pith review of: Categorical structures of Kuranishi spaces with $L_\infty[1]$-algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/VHXCYO2X}},
  note         = {Machine review of arXiv:2607.01371}
}
abstract

We introduce $L_{\infty}$-Kuranishi spaces by associating, to each chart, $L_{\infty}[1]$-algebras defined on open neighborhoods of points in the zero locus of the Kuranishi section. We show that these objects collectively form a category into which the category of smooth manifolds naturally embeds. Some notions in \cite{FOOO1} are modified to achieve the desired categorical structures; for instance, the tangent bundle condition for chart embeddings is replaced by a quasi-isomorphism condition for the $L_{\infty}[1]$-structures.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

34 extracted references · 34 canonical work pages

  1. [1]

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

    work page 1997

  2. [2]

    Non- commut

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

    work page 2022

  3. [3]

    Ruggero Bandiera,Cumulants, Koszul brackets, and homological perturbation theory for com- mutativeBV ∞ andIBL ∞ algebras, Journal Homotopy and Related Structures, Preprint, 2020

    work page 2020

  4. [4]

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

    work page arXiv 2006

  5. [5]

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

    work page Pith review arXiv

  6. [6]

    Cattaneo, Florian Sch¨ atz,Equivalences of higher derived brackets, Journal of Pure and Applied Algebra, 212 (2008) 2450-2460

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

    work page 2008

  7. [7]

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

    work page 1993

  8. [8]

    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

    work page 2004

Show all 34 references
  1. [9]

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

    2004

  2. [10]

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

    2002

  3. [11]

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

    1999

  4. [12]

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

    2020

  5. [13]

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

    2009

  6. [14]

    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

  7. [15]

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

    1982

  8. [16]

    I. M. Gelfand, M. M. Kapranov, A. V. Zelevinsky,Discriminants, Resultants and Multidi- mensional Determinants,Birkhauser, 1994

    1994

  9. [17]

    Real Acad

    Xavier Gr` acia, Javier de Lucas, Xavier Rivas, Narciso Rom´ an-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

  10. [18]

    Dominic Joyce,Kuranishi spaces as a 2-category, Virtual Fundamental Cycles in Symplectic Topology, Mathematical Surveys and Monographs 237, Americal Mathematical Society, 253- 298, 2019

    2019

  11. [19]

    Taesu Kim,L ∞-Kuranishi spaces and the moduli space of pseudoholomorphic maps,Preprint, arXiv:2511.05206 [math.SG], 2025

    2025 arXiv

  12. [20]

    Taesu Kim,Homotopy models forL ∞[1]-algebras in higher degrees,Preprint, arXiv:2606.28985 [math.AT], 2026

    2026 arXiv

  13. [21]

    Taesu Kim,Kuranishi chart categories and higher cocycle conditions,Preprint, arXiv: 2026

    2026

  14. [22]

    Taesu Kim,Homotopical properties of the categoryKur,in preparation

  15. [23]

    Taesu Kim, Yong-Geun Oh,Stratifications associated to generic closed two-forms and strat- ifiedL ∞ spaces, Preprint, arXiv:2602.24099 [math.SG], 2026

    2026

  16. [24]

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

    2009

  17. [25]

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

    2015

  18. [26]

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

    2012

  19. [27]

    London Math

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

    2017

  20. [28]

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

    2005

  21. [29]

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

    2016

  22. [30]

    Thesis, UC Berkeley, 1999, math.DG/9910078

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

    1999

  23. [31]

    CATEGORICAL STRUCTURES OF KURANISHI SPACES 57

    Junwu Tu,Homotopy L-infinity Spaces, Preprint, arXiv:1411.5115 [math.AG], 2014. CATEGORICAL STRUCTURES OF KURANISHI SPACES 57

    2014 arXiv

  24. [32]

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

    2016 arXiv

  25. [33]

    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

  26. [34]

    XVI 163–186, 2005

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

    2005

Pith tools

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