pith. sign in

arxiv: 2607.01732 · v1 · pith:L2HLJB4Pnew · submitted 2026-07-02 · 🧮 math.SG · math.AT

Kuranishi chart categories and higher cocycle conditions

Taesu Kim This is my paper

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

classification 🧮 math.SG math.AT
keywords Kuranishi chart categoryhigher cocycle conditionL-infinity Kuranishi spacehomotopy theoryL-infinity morphismssymplectic geometryquasi-isomorphisms
0
0 comments X

The pith

Kuranishi chart categories make higher cocycle conditions hold automatically through homotopy properties.

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

The paper defines a Kuranishi chart category for L∞-Kuranishi spaces. It uses the nerve of this category along with simplicial covering data to set up a higher homotopical version of the cocycle condition for bundle components. The work shows this condition is always satisfied thanks to a property of L∞[1]-morphisms and quasi-isomorphisms from earlier research. This change lets the strict cocycle requirements in traditional Kuranishi spaces give way to more adaptable homotopy-based compatibility.

Core claim

Given an L∞-Kuranishi space, the Kuranishi chart category is introduced. With its nerve and a simplicial description of the covering, a higher homotopical version of the bundle-component cocycle condition is formulated. This condition holds in all cases due to the higher homotopy theory of L∞[1]-morphisms regarding quasi-isomorphisms, replacing the rigid cocycle condition of Fukaya-Oh-Ohta-Ono Kuranishi spaces with flexible homotopy-theoretic compatibility.

What carries the argument

The Kuranishi chart category, whose nerve together with simplicial covering data encodes the higher homotopical cocycle condition.

If this is right

  • The rigid cocycle condition is replaced by homotopy-theoretic compatibility in Kuranishi spaces.
  • L∞-Kuranishi spaces gain a more flexible structure for their atlases and coverings.
  • The property from the homotopy theory of L∞[1]-morphisms ensures the condition without additional checks.
  • Simplicial descriptions of coverings become central to verifying compatibility.

Where Pith is reading between the lines

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

  • This approach may simplify constructions in moduli spaces of pseudoholomorphic curves by avoiding rigid cocycle verifications.
  • Similar category-based relaxations could apply to other geometric structures with cocycle conditions.
  • The reliance on prior homotopy theory suggests integration with broader infinity-category frameworks in geometry.

Load-bearing premise

The properties of quasi-isomorphisms in the higher homotopy theory of L∞[1]-morphisms apply directly to the nerve of the Kuranishi chart category.

What would settle it

Finding an L∞-Kuranishi space where the higher homotopical cocycle condition fails despite the quasi-isomorphism property holding in the cited homotopy theory.

read the original abstract

Given an $L_\infty$-Kuranishi space introduced in \cite{Kim1}, we propose a notion called the Kuranishi chart category. Using the nerve of this category, together with a choice of atlas and a simplicial description of the covering of the underlying topological space, we formulate a higher homotopical version of the bundle-component cocycle condition. We show that this condition is always satisfied, by virtue of a property of the higher homotopy theory of $L_\infty[1]$-morphisms developed in \cite{Kim2}, concerning quasi-isomorphisms. As a consequence, the rigid cocycle condition of Fukaya-Oh-Ohta-Ono Kuranishi spaces is replaced by more flexible, homotopy-theoretic compatibility.

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 introduces the Kuranishi chart category associated to an L∞-Kuranishi space (from the author's prior work Kim1). It employs the nerve of this category, together with a chosen atlas and simplicial covering data of the underlying space, to define a higher homotopical version of the bundle-component cocycle condition. The central claim is that this higher condition is automatically satisfied by a property of the higher homotopy theory of L∞[1]-morphisms (concerning quasi-isomorphisms) established in the author's earlier paper Kim2, thereby replacing the rigid cocycle condition of Fukaya-Oh-Ohta-Ono Kuranishi spaces with more flexible homotopy-theoretic compatibility.

Significance. If the application of the Kim2 property is valid, the result would offer a homotopy-theoretic relaxation of cocycle conditions in Kuranishi spaces, which could streamline constructions in symplectic geometry. The introduction of the Kuranishi chart category itself represents a structural innovation, though its impact hinges on confirming that the new category and its nerve satisfy the hypotheses of the cited quasi-isomorphism property.

major comments (2)
  1. [Abstract (the paragraph stating 'We show that this condition is always satisfied, by virtue of a property...')] The central assertion (that the higher homotopical cocycle condition on the nerve is always satisfied) is supported only by an invocation of a property from Kim2 on quasi-isomorphisms of L∞[1]-morphisms. The manuscript contains no explicit verification that the newly defined Kuranishi chart category, its nerve, and the associated simplicial covering data meet every hypothesis of that property. This verification is load-bearing for the main result.
  2. [Formulation of the higher homotopical cocycle condition (following the definition of the nerve and simplicial covering)] The weakest assumption—that the Kim2 quasi-isomorphism property applies directly to the nerve of the Kuranishi chart category—requires an explicit check of all hypotheses. Without this, the derivation reduces to an unverified self-citation, undermining the claim that the condition holds in the new setting.
minor comments (2)
  1. [Introduction] Clarify the precise relationship between the rigid FOOO cocycle condition and the new homotopy version, perhaps with a short comparison table or example.
  2. [References] Ensure full bibliographic details and consistent citation format for Kim1 and Kim2.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for identifying the need for explicit verification of the hypotheses from Kim2. We agree that this step is essential to support the central claim and will revise the manuscript to include a dedicated verification.

read point-by-point responses

  1. Referee: [Abstract (the paragraph stating 'We show that this condition is always satisfied, by virtue of a property...')] The central assertion (that the higher homotopical cocycle condition on the nerve is always satisfied) is supported only by an invocation of a property from Kim2 on quasi-isomorphisms of L∞[1]-morphisms. The manuscript contains no explicit verification that the newly defined Kuranishi chart category, its nerve, and the associated simplicial covering data meet every hypothesis of that property. This verification is load-bearing for the main result.

    Authors: We acknowledge that the current text invokes the property from Kim2 without a self-contained check. In the revision we will insert a new subsection (placed after the definition of the nerve) that verifies each hypothesis of the quasi-isomorphism property in Kim2 against the concrete data of the Kuranishi chart category, its nerve, and the chosen simplicial covering. The verification will rely only on the definitions already given in Sections 2–3 and on the L∞[1]-morphism constructions from Kim1. revision: yes

  2. Referee: [Formulation of the higher homotopical cocycle condition (following the definition of the nerve and simplicial covering)] The weakest assumption—that the Kim2 quasi-isomorphism property applies directly to the nerve of the Kuranishi chart category—requires an explicit check of all hypotheses. Without this, the derivation reduces to an unverified self-citation, undermining the claim that the condition holds in the new setting.

    Authors: We agree that the logical step must be made explicit rather than left implicit. The revised manuscript will contain, immediately after the formulation of the higher cocycle condition, a point-by-point confirmation that every hypothesis required by the Kim2 result is satisfied by the nerve of the Kuranishi chart category and the accompanying simplicial data. This addition will remove any reliance on an unverified citation. revision: yes

Circularity Check

1 steps flagged

Central claim that higher cocycle condition is always satisfied reduces directly to self-cited property in Kim2

specific steps
  1. self citation load bearing [Abstract]
    "We show that this condition is always satisfied, by virtue of a property of the higher homotopy theory of L∞[1]-morphisms developed in \cite{Kim2}, concerning quasi-isomorphisms."

    The demonstration that the formulated higher homotopical cocycle condition holds for the Kuranishi chart category (with atlas and simplicial covering) is reduced by construction to the cited property in Kim2; the paper offers no separate argument or check that the new objects meet every hypothesis of that property, making the central result dependent on the self-citation without external verification.

full rationale

The paper's core assertion—that the higher homotopical bundle-component cocycle condition on the nerve of the newly defined Kuranishi chart category holds automatically—rests entirely on invoking a quasi-isomorphism property of L∞[1]-morphisms from the author's prior work Kim2. The abstract provides no independent derivation, external benchmark, or explicit verification that the new category, its nerve, and simplicial covering data satisfy the hypotheses of that property. This matches the self-citation load-bearing pattern: the load-bearing step is justified solely by an overlapping-author citation whose applicability is asserted rather than demonstrated within the present text.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The paper introduces one new categorical entity and relies on standard background from L∞ algebra and category theory; no free parameters are introduced.

axioms (2)
  • standard math Standard properties of L∞ algebras, their morphisms, and quasi-isomorphisms
    Invoked to define L∞-Kuranishi spaces and to apply the property from Kim2.
  • standard math Existence and basic properties of the nerve of a category and simplicial coverings
    Used to formulate the higher homotopical cocycle condition.
invented entities (1)
  • Kuranishi chart category no independent evidence
    purpose: To organize Kuranishi charts into a category whose nerve yields a higher cocycle condition
    Newly proposed structure built on the L∞-Kuranishi space from Kim1.

pith-pipeline@v0.9.1-grok · 5644 in / 1634 out tokens · 51391 ms · 2026-07-03T02:12:00.697154+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

12 extracted references · 4 canonical work pages · 3 internal anchors

  1. [1]

    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

  2. [2]

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

    1999

  3. [3]

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

    2020

  4. [4]

    Taesu Kim,Categorical structures of Kuranishi spaces withL ∞[1]-algebras,Preprint, arXiv: 2026

    2026

  5. [5]

    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

  6. [6]

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

    work page arXiv 2026

  7. [7]

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

    2009

  8. [8]

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

    2005

  9. [9]

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

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  10. [10]

    Homotopy L-infinity spaces and Kuranishi manifolds, I: categorical structures

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

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  11. [11]

    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

  12. [12]

    XVI 163–186, 2005

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

    2005