{"id":"ed328884-33ed-4e78-a4ad-24d693be6ead","arxiv_id":"2412.04230","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"The higher-genus open-closed Gromov-Witten potential is constructed and shown to solve the quantum master equation up to quantum master isotopy.","lead":"A new mathematical construction claims to define higher-genus open-closed Gromov-Witten invariants as a solution of the quantum master equation up to a natural equivalence. It is a step in a long program to make open string theory on Calabi-Yau manifolds rigorous.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The factorization property (Prop. 3) is asserted via an unproved adaptation of Kuranishi perturbation theory, and the factorization map (17) is not well-defined as written because it splits H independently of V.","rationale":"The paper's central claim is conditional on the factorization property (18), which is used to identify P(Z) with exp(W/gs) and to derive the QME for W. The reader identified the same load-bearing spot: the existence of Kuranishi structures and compatible perturbations with the obstruction-bundle inclusion and factorization compatibility in §5.3 is imported from [7] and only asserted for the new factorization requirements. My reading confirms this: Proposition 3 is proved in less than a page, and the decisive condition on obstruction bundles is assumed rather than derived. I also noticed that the factorization map (17) is not well-defined as written, because it splits the vertex set V and the half-edge set H independently, while each h∈H belongs to a specific vertex; this makes the domain of fact_{β1,β2} ambiguous. Both issues are repairable in principle—the map can be repaired by imposing H_i = v^{-1}(V_i), and the perturbation theory may be supplied from [7]—but as the text stands the central construction is not fully supported. This matches the reader's CONDITIONAL verdict: the idea is plausible, but acceptance should require a complete proof of Proposition 3, including a verified construction of the factorization-compatible Kuranishi perturbations. No change to the reader's verdict is needed.","tokens_in":16687,"tokens_out":11047,"duration_ms":117977,"concrete_test":"For a two-vertex generator (V={v1,v2}, H={h1,h2}, v(hi)=vi, β(v1)=β1, β(v2)=β2), apply formula (17) with H1={h1,h2}, H2=∅, V1={v1}, V2={v2}; show the first factor is not a valid element of Z_{β1} because h2 is not attached to v1. Independently, for the Kuranishi issue: verify whether the obstruction space of the cut moduli space M_{cut E(G)} embeds into the obstruction bundle of M_{G,m} in the standard Kuranishi model for a one-node degeneration; if no such embedding exists, the key hypothesis of §5.3 is false and Proposition 3 is unsupported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The main theorem (abstract; §3.4.3) constructs W(Z) from connected graphs and needs P(Z)=exp(1/gs W(Z)) and the QME for W. Both rely on the factorization property (18). Proposition 3 is the only proof of (18), but its proof in §5.3 is a sketch. The key new hypothesis—that the obstruction bundle of M_{G,m} contains the obstruction bundle of M_{cut E(G)} for every E⊂E(G)—is stated as an assumption with no existence argument; the text only says the inductive argument of [7] can be adapted. Similarly, the perturbations are required to be products over connected components and C^0-close to the cut perturbations s†, and Lemma 5 is adapted to this restricted class without checking that the isotopy constructed from (44) and (47) stays in that class. If these perturbation-theoretic inputs fail, the exact equality (18) is not available and the passage from P to W is unjustified. There is also an internal well-definedness problem: the factorization map (17) sums over arbitrary partitions H1⊔H2=H, but in generators (5) each h∈H is attached to a vertex v(h)∈V. Splitting H independently of V produces invalid generators (e.g., h∈H1 with v(h)∈V2). The map should at least require H_i = v^{-1}(V_i); as written its domain is not Zβ. This reinforces that the factorization formalism is not complete.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims to construct the higher genus open-closed Gromov-Witten potential as a solution of the quantum master equation, defined up to quantum master isotopy. The construction reviews the multi-curve cycles Zβ from the author's preprint [7], defines a partition function P by pairing MC-cycles with an abelian Chern-Simons propagator, and shows that isotopies of MC-cycles give master homotopies. It then introduces a factorization property for the collection (Zβ) and defines the potential W from connected graphs, asserting P=exp(W/gs). Section 4 extends the construction to bulk deformations, Section 5 attempts to prove the factorization property by adapting Kuranishi perturbation theory from [7], and an appendix constructs the propagator. The main theorem therefore rests on two load-bearing inputs: the existence of factorization-compatible MC-cycles and the exact equality (18).","tokens_in":17037,"tokens_out":9451,"duration_ms":99070,"significance":"If the construction were fully established, the paper would be a significant contribution: it would supply a concrete framework in which an open-closed Gromov-Witten potential satisfies the quantum master equation, and it would connect that potential to the abelian Chern-Simons propagator and to multi-curve moduli spaces. The paper contains some genuinely useful concrete steps: Proposition 2 gives an explicit local computation showing that jumps in P are compensated by the propagator pole, the appendix gives a self-contained construction of the propagator and its one-parameter version, and the cancellation mechanism outlined in Proposition 4 is plausible. However, the central claim is not proven to the standard required by the journal. The factorization property is not proved but imposed as an unverified assumption on the perturbation theory imported from [7], and the factorization map itself has a well-definedness defect. The advertised result is therefore conditional on substantial missing technical work.","major_comments":[{"comment":"The factorization map fact_{β1,β2} is not well-defined on the generators (5). Formula (17) sums over arbitrary partitions H1⊔H2=H and V1⊔V2=V, but in a generator each half-edge h∈H is attached to a unique vertex v(h)∈V through the data (w_{v,h}). A term with h∈H1 and v(h)∈V2 is not a generator of Z_{β1}⊗Z_{β2}, since the chain w_{h,v} does not belong to the first factor in that case. The map should be restricted to partitions satisfying H_i = v^{-1}(V_i), with a separate convention for the annulus labels w^{ann}_h. As written, Eq. (18) is not a statement about the intended MC-cycles.","section":"§3.4.2, Eq. (17)"},{"comment":"The proof of the factorization property is a sketch and does not establish the existence of the required Kuranishi structures and perturbations. The key new hypothesis—that the obstruction bundle of M_{G,m} contains the obstruction bundle of M_{cut E(G)} for every E⊂E(G)—is introduced with 'We assume', and no argument is given that such Kuranishi structures exist or that they can be produced by the inductive method of [7]. The text then says 'We can adapt the inductive argument of [7]' and 'Adapting Lemma 5 to these class of perturbations', but the adaptation is not carried out. In particular, it is not shown that the isotopy arising from (44) and (47) stays inside the restricted class of product perturbations that are C^0-close to s†. Since the exact equality (18) is the only bridge between the partition function and the potential W in §3.4.3, this gap is load-bearing.","section":"§5.3, Proposition 3"},{"comment":"The claimed isotopy between fact_{β1,β2}(Zβ) and Zβ1⊠Zβ2 is not proved. After constructing the two MC-cycles via (42) and (46), the proof only asserts that the corresponding Kuranishi structures and perturbations are isotopic, referring to 'general argument, as in [7]'. But the two sides are built from different moduli spaces, and the isotopy must respect the corner identifications (43) as well as the factorization-compatible perturbation class used for the nice MC-cycles. None of these compatibility conditions is verified. Lemma 5 can therefore not serve as a black-box substitute for the missing proof of Proposition 3.","section":"§5.3, Lemma 5"},{"comment":"The advertised well-definedness of W 'up to quantum master isotopy' is not established. Section 3.4.3 shows that if \tilde Z is a factorization-compatible isotopy, then W satisfies the quantum master equation, but it does not prove that any two choices entering the construction of (Zβ)β are related by such an isotopy. The last paragraph of Section 5.3 only states that 'The same argument applies to construct isotopies of nice MC-cycles satisfying the factorization property', without proof. Thus the paper does not currently show that different choices lead to isotopic W, which is part of the main claim in the abstract.","section":"§3.4.3 and §5.3"}],"minor_comments":[{"comment":"There are numerous typographical errors and misspellings, including 'simplectic', 'pseudoholomophic', 'mutlti-curves', 'balk deformation', and 'pertubative'. These should be corrected throughout.","section":"Throughout"},{"comment":"The notation w_{s(h),v_h} in Eq. (14) is ambiguous: v_h should be v_{s(h)}, and the incidence relation between H and V should be stated explicitly before the partition-function formula is applied.","section":"§2.1, Eq. (5); §3.2, Eq. (14)"},{"comment":"The displayed relation P(β,K+rA,A)(gs,b) = P(β,K,A)(gs,b+rgs) has inconsistent notation on the right-hand side; if the left side includes A in the list of bulk deformations, the right side should also specify the same deformation variable consistently.","section":"§4.4"},{"comment":"The statement says P∈Ω²(Conf₂(L)) while the surrounding text and the proof are about Conf₂(M); this is presumably a typo and should be corrected.","section":"§6, Lemma 6"},{"comment":"Reference [9] is cited without an arXiv identifier or publication data, and the paper relies heavily on preprints [3]-[9]; the author should state precisely which results are assumed from each preprint.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The paper depends almost entirely on the author's own sequence of preprints, and the present manuscript does not make the central factorization-adapted Kuranishi perturbation theory self-contained. The editor may wish to consider whether a referee with access to [7] should be consulted before final judgment. My recommendation is based on the unproved factorization inputs and the well-definedness defect in Eq. (17), not on any assessment of the author's prior work."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a real step in a serious program, but the central new ingredient—factorization-compatible MC-cycles—is asserted rather than proved, and one definition in the paper is wrong as written. The paper deserves a referee, but it needs real work.\n\nWhat is new: the construction of W(Z) as connected graph contribution and the claim that factorization gives P = exp(W/gs) and the QME. That is the natural missing piece in the author's series, and the formal argument in §3.4.3 is correct if factorization holds. The propagator section is clean and self-contained. The bulk deformation extension is a useful addition.\n\nSoft spots:\n\n1. The factorization map (17) is not well-defined. In a generator (5) each h is attached to a specific vertex v(h). The sum over all partitions H1⊔H2 of H independently of V produces terms where h∈H1 but v(h)∈V2; for those terms (w_{v,h}) is undefined. The map should split H according to the vertex sets: H_i = {h : v(h) ∈ V_i}. As written, the domain is not Zβ. This looks like a fixable typo, but it matters because the whole factorization formalism hangs on this map.\n\n2. The proof of Prop 3 is a sketch of a sketch. The new hypothesis that the obstruction bundle of M_{G,m} contains the obstruction bundle of M_{cut E(G)} for every E is stated with no existence argument; the text says the inductive argument of [7] can be adapted, but that is the load-bearing claim. Likewise the restriction to product perturbations and C^0-closeness to s† is asserted, and Lemma 5 is adapted without checking the isotopy stays in the restricted class. If this fails, (18) fails and the QME for W is unjustified.\n\n3. Prop 4 is outlined with 'standard graph techniques'. I believe it, but it is not a proof.\n\nThe paper is not self-contained: the core input is Theorem 1 from [7], an unpublished preprint. That is not by itself a flaw, but it makes independent verification hard. The reader's circularity worry is fair but I would not call it circularity: the factorization property is constructed, not predicted. That is legitimate if the construction is actually carried out.\n\nBottom line: If the author fixes (17) and supplies the missing perturbation theory, this is a significant result. As it stands, it is an important conjecture-plus-framework with a plausible but unverified central step. Send it to a knowledgeable referee, and ask that referee to focus on §5.3 and the definition of fact.","headline":"Plausible and important, but the factorization argument is a sketch and the factorization map has a domain error that needs fixing.","tokens_in":17524,"tokens_out":2408,"would_cite":false,"duration_ms":24565,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53D45"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper constructs the higher-genus Open-Closed Gromov-Witten potential as a solution of the quantum master equation, defined up to quantum master isotopy.","keywords":["quantum master equation","Open Gromov-Witten theory","multi-curve cycles","Batalin-Vilkovisky formalism","Chern-Simons propagator","Kuranishi structures","factorization property","Maslov index zero Lagrangian"],"falsifier":"Compute the two sides of the factorization identity $fact_{\\beta_1,\\beta_2}(Z_{\\beta_1+\\beta_2})=Z_{\\beta_1}\\boxtimes Z_{\\beta_2}$ for a concrete low-genus multi-curve in a simple pair such as $X=T^*L$ with the zero-section Lagrangian; if, for some choice of perturbations, the two sides are not connected by the allowed crossing-and-gluing moves of the MC-chain complex, the potential $W(Z)$ is not defined and the main theorem fails.","tokens_in":16492,"feed_emoji":"","tokens_out":10774,"duration_ms":103548,"temperature":0.7,"pith_summary":"This paper establishes that the higher-genus Open-Closed Gromov-Witten potential exists as a solution of the quantum master equation, defined up to the natural notion of quantum master isotopy. The setting is a Calabi-Yau six-manifold $X$ with a Maslov-index-zero Lagrangian $L$, the same pair physicists use for the open topological string. The construction packages the counts of pseudo-holomorphic multi-curves into multi-curve cycles, couples them with the abelian Chern-Simons propagator, and shows that the connected graph sum $W$ satisfies $\\frac{1}{2}\\{W,W\\}+g_s\\Delta W=0$ whenever the cycles satisfy the factorization property. This matters because open curve counts have historically depended on perturbation choices due to the boundary of the moduli space; the quantum master equation makes the perturbation dependence an isotopy freedom rather than an obstruction. If the construction is right, it supplies a rigorous higher-genus open Gromov-Witten theory with numerical invariants obtained from the effective action at critical points.","feed_headline":"Open Gromov-Witten potential solves the quantum master equation","feed_subtitle":"Connected graph sums define the higher-genus open-closed generating function up to natural isotopy.","key_machinery":"The central object is the multi-curve cycle (MC-cycle): a formal power series in $g_s$ whose generators are collections of disjoint closed one-dimensional chains on a compact oriented three-manifold (the Lagrangian), together with degree labels $\\beta_v\\in H_2(X,L)$. These cycles arise from the moduli spaces of pseudo-holomorphic multi-curves, whose corner faces model the splitting of curves and whose perturbations define the cycles. The factorization property is the additional identity that makes the sum over all classes behave like an exponential: the cycle for $\\beta_1+\\beta_2$ is the product of the cycles for $\\beta_1$ and $\\beta_2$. Coupling MC-cycles with the abelian Chern-Simons propagator $P\\in\\Omega^2(\\operatorname{Conf}_2(M))$ turns chains into functions on the odd symplectic vector space $H^*(M)[1]$; the propagator identities are exactly what converts the geometric boundary relations into the quantum master equation.","core_discovery":"The paper constructs, for each class $\\beta\\in H_2(X,L)$ with $L$ a Maslov-index-zero Lagrangian in a Calabi-Yau six-manifold $X$, a multi-curve cycle $Z_\\beta$ attached to the moduli space of pseudo-holomorphic multi-curves in class $\\beta$, and it proves that the collection can be chosen to satisfy the factorization property $fact_{\\beta_1,\\beta_2}(Z_{\\beta_1+\\beta_2})=Z_{\\beta_1}\\boxtimes Z_{\\beta_2}$. With this property, the connected graph sum $W(Z)$ is well defined and the full partition function satisfies $P(Z)=\\exp(g_s^{-1}W(Z))$. The quantum master equation $\\frac{1}{2}\\{W,W\\}+g_s\\Delta W=0$ then holds up to quantum master isotopy, meaning the potential is a well-defined object in the Batalin-Vilkovisky formalism rather than a fixed function. The paper also shows the effective action at a nondegenerate critical point is isotopy invariant and extends the whole construction to bulk deformations by four-chains.","pith_inferences":["If the factorization-compatible virtual-count theory can be made fully explicit, the same chain-level construction should extend the potential to families of Lagrangians or to relative settings with several Lagrangian components, since the MC-cycle formalism is not tied to a single pair.","The 'up to quantum master isotopy' statement suggests that the underlying invariant is a chain-level object, and that genuinely numerical invariants arise only after evaluating the effective action at a critical point; this matches the physical idea that the open-string background must be fixed before numbers appear.","A concrete consistency check would be to compare the genus-zero part of $W$ with the usual closed Gromov-Witten potential when the boundary chains are turned off; the quantum master equation should then reduce to the associativity or WDVV equations of the closed theory.","The role of the abelian Chern-Simons propagator suggests that the MC-cycle partition function should agree with a point-splitting regularization of abelian Wilson-loop expectations, so computing the same invariant in both formalisms would independently test the factorization property."],"forward_implications":["The open-closed partition function $P(Z)=\\sum_\\beta P(Z_\\beta)T^{\\omega(\\beta)}$ equals $\\exp(g_s^{-1}W(Z))$, so all-genus information is encoded in the connected potential $W$.","The potential $W$ satisfies the quantum master equation up to quantum master isotopy, and its solution class is independent of the choices of almost complex structure, perturbations, and propagator.","The effective action $W_{\\mathrm{eff}}$ evaluated at a nondegenerate critical point of the classical potential is invariant under quantum master isotopy, yielding numerical open Gromov-Witten invariants.","Bulk deformations by any finite collection of four-chains $A_1,\\dots,A_l$ can be included; shifting the bounding four-chain $K$ by $\\sum r_i A_i$ is equivalent to shifting the bulk variables $b_i$ by $r_i g_s$."],"supporting_citations":[{"why":"This supplies Theorem 1, the existence and isotopy invariance of the MC-cycle $Z_\\beta$ from the moduli space of pseudo-holomorphic multi-curves, which the paper adapts to enforce factorization.","marker":"[7]"},{"why":"This introduced the moduli space of pseudo-holomorphic multi-curves and gave the first mathematical solution to the boundary problem for open Gromov-Witten invariants.","marker":"[4]"},{"why":"This developed the general Open Gromov-Witten theory for Calabi-Yau six-manifolds and the coupling of MC-cycles with the abelian Chern-Simons propagator.","marker":"[5]"},{"why":"This provides the master-equation formalism and the point-splitting Chern-Simons propagator on which the partition function is built.","marker":"[3]"},{"why":"This gives the physical definition of the open topological string whose higher-genus potential is the object being constructed.","marker":"[10]"},{"why":"This supplies coherent cycles and the extension argument used to pass from truncated to full MC-cycles satisfying the factorization property.","marker":"[9]"}],"fun_headline_variants":["Higher-genus open-closed GW potential solves QME","Open-closed Gromov-Witten potential up to QM isotopy","Graph sums give QME solution for open-closed GW","Quantum master equation from open-closed GW graph sums","Open-closed GW potential: QME solution via graph sums"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the moduli spaces of pseudo-holomorphic multi-curves admit a consistent way to define virtual counts (Kuranishi structures and compatible perturbations) that also respects the factorization property; this is imported from the author's earlier preprint [7] and adapted here, but the adaptation is asserted rather than proved.","fun_headline_variants_meta":{"raw":{"variants":["Higher-genus open-closed GW potential solves QME","Open-closed Gromov-Witten potential up to QM isotopy","Graph sums give QME solution for open-closed GW","Quantum master equation from open-closed GW graph sums","Open-closed GW potential: QME solution via graph sums"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000186,"raw_usage":{"total_tokens":1240,"prompt_tokens":778,"completion_tokens":462,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":394,"completion_tokens_details":{"reasoning_tokens":377}},"tokens_in":394,"tokens_out":462,"duration_ms":4705,"temperature":1.0,"reasoning_tokens":377,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T21:37:05.988396+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the two sides of the factorization identity $fact_{\\beta_1,\\beta_2}(Z_{\\beta_1+\\beta_2})=Z_{\\beta_1}\\boxtimes Z_{\\beta_2}$ for a concrete low-genus multi-curve in a simple pair such as $X=T^*L$ with the zero-section Lagrangian; if, for some choice of perturbations, the two sides are not connected by the allowed crossing-and-gluing moves of the MC-chain complex, the potential $W(Z)$ is not defined and the main theorem fails.","supporting_citations":[],"review_version":1}