{"id":"90dfc4a1-c2c9-4b05-baf7-b2f91fbaf53b","arxiv_id":"2511.05206","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":3,"one_line_summary":"The moduli space of pseudoholomorphic disks is given a new 'L∞-Kuranishi space' structure — but only under an unproved Whitney-stratification/tubular-neighborhood assumption on each chart.","lead":"This paper introduces \"L∞-Kuranishi spaces,\" a reformulation of Kuranishi structures that replaces obstruction-bundle data with L∞[1]-algebras so that auxiliary choices become homotopically irrelevant. It shows the moduli space of pseudoholomorphic disks admits this structure, but only under a stratification condition that the paper states as an unproved conjecture.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Rank-changing presymplectic family in §9.5 violates condition (4.2), so the L∞-coordinate change bϕ^{dR,2}_{pq,x} is unproved; Theorem 1.7 is not established even under Assumption 1.6.","rationale":"The reader's verdict was CONDITIONAL, with weakest assumption Assumption 5.2/9.11 on Whitney stratifications and compatible tubular neighborhoods. That is certainly a load-bearing external condition, but it is explicitly disclosed and Theorem 1.7 is stated conditionally on it. The concern I find more dispositionally serious is internal: even assuming the stratification and the compatibility diagram (9.5), the proof of the L∞-coordinate change in §9.5 appears to rely on Corollary 4.8 for a family of presymplectic forms whose kernel dimensions differ. Corollary 4.8 explicitly requires condition (4.2), which is a constant-kernel-rank condition. The two Darboux forms in §9.5 have different ranks, so no 1-parameter family between them can satisfy (4.2). The paper invokes Theorem 9.17 to get a path of presymplectic forms, but that does not yield the V-algebra family needed for Corollary 4.8. This affects the very definition of the coordinate changes Φ_{pq}, so without a fix the moduli space is not shown to be an L∞-Kuranishi space. I therefore agree with the CONDITIONAL verdict, but for a reason that is partially distinct from the reader's primary weakest assumption; the reader did note the §9.5 rank issue as a related concern, hence 'partial' agreement. A focused check on the rank-jump would settle whether the gap is real or whether an alternative argument exists.","tokens_in":89187,"tokens_out":6975,"duration_ms":60722,"concrete_test":"Take the simplest nontrivial case of the two matrices in §9.5: m=m′=1, k=k′=0, so ω_0 = dx_1∧dy_1 + dx_2∧dy_2 and ω_1 = dx_1∧dy_1 on R^4. These have ranks 4 and 2, respectively. Show that for any smooth 1-parameter family ω_t of 2-forms joining them, the dimension of ker ω_t cannot be constant (rank is locally constant for a smooth family only when the rank is fixed; here it must change from 4 to 2). Hence condition (4.2) fails for every such family, and Corollary 4.8 cannot be applied. Then inspect §9.5 to confirm whether the paper gives any argument — independent of Corollary 4.8 — producing an L∞[1]-isomorphism between the foliation de Rham complexes of these different-rank presymplectic forms. If no such argument appears, the construction of bϕ^{dR,2}_{pq,x} is incomplete and Theorem 1.7 is not proved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim that M_{k+1}(β,L) is an L∞-Kuranishi space requires every coordinate change Φ_{pq} to be an embedding, in particular each bϕ_{pq,x} must be an L∞[1]-quasi-isomorphism. The construction of bϕ_{pq,x} in §9.4–9.5 splits into a Koszul part and a de Rham part. The de Rham part bϕ^{dR}_{pq,x} is the composition bϕ^{dR,2}_{pq,x}∘bϕ^{dR,1}_{pq,x}, where bϕ^{dR,2}_{pq,x} is supposed to arise from concatenating three 1-parameter families of presymplectic forms, labelled (A), (B), (C). For (A) and (C) the ranks are constant and Corollary 4.8 applies. For (B), however, the two forms displayed in the Darboux block matrices have ranks 2m+2m′ and 2m respectively; their kernel dimensions are k+k′ and k+2m′+k′. Corollary 4.8, the only mechanism in §4.2 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, since the dimension would have to be both k+k′ and k+2m′+k′. Invoking Theorem 9.17 to produce a path of presymplectic forms does not repair this: that theorem gives a path of closed 2-forms, but does not guarantee constant kernel rank, and the paper supplies no alternative argument producing an L∞[1]-isomorphism between foliation de Rham complexes of different-rank foliations. Thus bϕ^{dR,2}_{pq,x} is not shown to exist, the coordinate changes are not shown to be quasi-isomorphisms, and Theorem 1.7 does not follow even if Assumption 9.11(i) on Whitney stratifications is granted. This is an internal gap in the proof of the example, not merely an unproved genericity input.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":89634,"tokens_out":6176,"duration_ms":56612,"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":[{"comment":"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.","section":"§9.5, family (B); Eq. (9.12) and Corollary 4.8"},{"comment":"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","section":"Assumptions 1.6 and 9.11; Remark 9.12"},{"comment":"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.","section":"Theorem 1.4 and Corollary 3.7; §8.2"}],"minor_comments":[{"comment":"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.","section":"Eq. (9.8) and surrounding text"},{"comment":"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.","section":"Before Theorem 9.17"},{"comment":"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.","section":"Theorem 9.17 and proof-sketch"},{"comment":"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.","section":"Notation throughout"},{"comment":"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.","section":"Lemma 5.10"}],"recommendation":"major_revision","confidential_remarks":"The paper is ambitious and contains a substantial formal framework, but the current version does not establish its main geometric theorem. The §9.5 rank-change gap is a specific technical error that could potentially be repaired by a different construction of the L∞[1]-morphism between foliation de Rham complexes of different ranks; however, this is not a cosmetic issue. In addition, the stratification/tubular-neighborhood assumption is explicitly conjectural, so the moduli-space application is conditional in a strong sense. I would advise the editor that the paper may be suitable after a major revision that either fixes the coordinate-change construction or clearly reorganizes the results as: (i) fully developed formal theory, and (ii) a conditional example with a clearly identified open problem. The current version should not be accepted without substantial changes."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You should know two things about this paper. The framework is real: L∞[1]-algebras as local chart data, the Δ^n × C higher-homotopy models, and the category Kur that embeds smooth manifolds — this is a genuinely new reformulation of Kuranishi theory aimed at FOOO's obstruction-bundle dependence. The homotopy-theoretic core (Whitehead theorem over a field, existence of filling n-homotopies) is actually proved, not sketched. Parts 1–3 are careful and self-consistent, and the abstract is honest that the moduli-space theorem is conditional.\n\nNow the soft spots. Theorem 1.7, the payoff, is conditional on Assumption 1.6/9.11 — that the kernel of the integrated symplectic form ω_p gives a Whitney stratification with compatible tubular neighborhoods, compatible under coordinate changes. The paper itself calls this a conjecture for generic J and defers it. That's a flagged limitation, but it means the headline example is not yet a theorem.\n\nThere's also an internal gap in §9.5 that the genericity assumption wouldn't fix. The de Rham part of the coordinate change splits as bϕ^{dR,2} ∘ bϕ^{dR,1}. For family (B), the two Darboux forms displayed have ranks 2m+2m′ and 2m — kernel dimensions k+k′ and k+2m′+k′ respectively. Corollary 4.8, the only mechanism in §4.2 producing L∞[1]-isomorphisms from a 1-parameter family, requires condition (4.2): kernel rank constant along the family. It can't be here. Invoking Theorem 9.17 to get a path of presymplectic forms doesn't repair this; it doesn't preserve kernel rank. So bϕ^{dR,2}_{pq,x} is not shown to exist, and Theorem 1.7 does not follow even if the stratification assumption is granted. This is a proof gap internal to the construction.\n\nMinor point: Theorem 1.4 says higher cocycle conditions always hold, but that's because they're chosen data, not verified conditions — the paper is upfront about the \"data-not-conditions\" philosophy, but it does leave the restrictive power of the structure unclear.\n\nWho's this for: people working on Kuranishi theory, Floer foundations, and L∞-structures. The framework deserves a serious referee; the example needs real repair. I'd engage with it and ask the referee to focus on §9.5.","headline":"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.","tokens_in":90404,"tokens_out":3432,"would_cite":false,"duration_ms":29925,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53D40","53D12","53D45","58A35","55U10"],"pacs":[],"model":"deepseek-v4-flash","headline":"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","keywords":["L∞-Kuranishi spaces","pseudoholomorphic disks","Lagrangian boundary condition","moduli space","Kuranishi structures","L∞[1]-algebras","foliation de Rham complex","Whitney stratification"],"falsifier":"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.","tokens_in":88837,"feed_emoji":"🌀","tokens_out":6726,"duration_ms":57587,"temperature":0.7,"pith_summary":"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.","feed_headline":"Disk moduli spaces gain homotopy-coherent Kuranishi structure","feed_subtitle":"Local L∞[1]-algebras make obstruction-bundle choices quasi-isomorphic; evaluation maps become morphisms.","key_machinery":"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.","core_discovery":"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","pith_inferences":["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."],"forward_implications":["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."],"fun_headline_variants":["L∞-Kuranishi spaces unify disk moduli","Disk moduli spaces admit L∞-Kuranishi structure","Homotopy-coherent Kuranishi for pseudoholomorphic disks","Forgetful and evaluation maps become L∞ morphisms","Pseudoholomorphic disks get L∞-Kuranishi moduli"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["L∞-Kuranishi spaces unify disk moduli","Disk moduli spaces admit L∞-Kuranishi structure","Homotopy-coherent Kuranishi for pseudoholomorphic disks","Forgetful and evaluation maps become L∞ morphisms","Pseudoholomorphic disks get L∞-Kuranishi moduli"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000226,"raw_usage":{"total_tokens":1257,"prompt_tokens":647,"completion_tokens":610,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":391,"completion_tokens_details":{"reasoning_tokens":520}},"tokens_in":391,"tokens_out":610,"duration_ms":5569,"temperature":1.0,"reasoning_tokens":520,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T23:31:04.350938+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}