pith. sign in

arxiv: 2607.01371 · v1 · pith:VHXCYO2Xnew · submitted 2026-07-01 · 🧮 math.SG · math.AT

Categorical structures of Kuranishi spaces with L_(infty)[1]-algebras

Taesu Kim This is my paper

Pith reviewed 2026-07-03 01:03 UTC · model grok-4.3

classification 🧮 math.SG math.AT
keywords Kuranishi spacesL∞[1]-algebrascategorysmooth manifoldsembeddingsquasi-isomorphismsmoduli spaceschart embeddings
0
0 comments X

The pith

L∞-Kuranishi spaces form a category into which the category of smooth manifolds embeds naturally.

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

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.

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.

What carries the argument

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

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.

Where Pith is reading between the lines

These are 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.

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.

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.

read the original 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.

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

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

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.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 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.

pith-pipeline@v0.9.1-grok · 5615 in / 988 out tokens · 31123 ms · 2026-07-03T01:03:58.369073+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

34 extracted references · 8 canonical work pages · 5 internal anchors

  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

    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

    2022

  3. [3]

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

    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 internal anchor Pith review Pith/arXiv 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

    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

    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

    2004

  9. [9]

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

    2004

  10. [10]

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

    2002

  11. [11]

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

    1999

  12. [12]

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

    2020

  13. [13]

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

    2009

  14. [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

  15. [15]

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

    1982

  16. [16]

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

    1994

  17. [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

  18. [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

  19. [19]

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

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  20. [20]

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

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  21. [21]

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

    2026

  22. [22]

    Taesu Kim,Homotopical properties of the categoryKur,in preparation

  23. [23]

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

    work page arXiv 2026

  24. [24]

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

    2009

  25. [25]

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

    2015

  26. [26]

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

    2012

  27. [27]

    London Math

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

    2017

  28. [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

  29. [29]

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

    2016

  30. [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

    work page arXiv 1999

  31. [31]

    Homotopy L-infinity spaces

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

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  32. [32]

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

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  33. [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

  34. [34]

    XVI 163–186, 2005

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

    2005