{"id":"4804d471-118c-4e9f-9f4c-c1d4bf0fc706","arxiv_id":"2412.06450","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper defines the non-abelian open Gromov-Witten potential and derives a quantum master equation for it, conditional on auxiliary constructions from the author's companion papers.","lead":"This mathematics paper defines a new object, the non-abelian open Gromov-Witten potential, for Calabi-Yau manifolds with a Maslov-zero Lagrangian. It aims to connect open Gromov-Witten theory with perturbative Chern-Simons theory through a quantum master equation.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central construction is conditional on Proposition 30: without a proof that the non-abelian MC-cycles factorize as disconnected unions, P = exp(W/gs) and the QME for W do not follow.","rationale":"The reader's weakest assumption identifies the same external-input problem: existence and factorization of Z_β. My reading of the paper confirms that this is the single load-bearing point. The paper is transparent about citing [2] and [4] for these results, but the claims are not reproduced, and the factorization property in the non-abelian graph complex is exactly where connected/nonconnected decomposition could fail. I do not see a contradiction inside the formal algebraic part: the trace formula (43), the product ⊠, and the derivation of Proposition 28 are consistent with the claimed QME if the factorization property holds. The internal typo in the partial order (§2.6, first bullet) is real but does not affect the main theorem; the induction can be read with the second and third bullets. The sentence 'P(Z)=0 if [Z]=0' in Proposition 28 is also over-stated if taken literally, since the displayed identity only gives Δ-exactness, but the paper's final statements are phrased up to master isotopy, so this is secondary. The verdict should remain REJECT: the central claim is conditional on a nontrivial theorem that the paper does not prove. If Proposition 30 were supplied in full or proved here, the verdict would move to conditional acceptance.","tokens_in":23634,"tokens_out":8107,"duration_ms":90929,"concrete_test":"Independently re-derive Proposition 30 from the perturbation construction in [2] without invoking [4]: identify the boundary stratum of the moduli space of multi-curves in class β1+β2 that maps to the disjoint union G1⊔G2, and compare the pushforward of Z_{β1+β2} under fact with Z_{β1}⊠Z_{β2} in the non-abelian chain complex with cyclic orders. If the two sides differ, or if the proof in [4] only establishes factorization up to Δ-exact terms, then P = exp(W/gs) requires modification and the QME for W needs a correction term.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central claim is the definition of the non-abelian open Gromov-Witten potential W and its quantum master equation. The defining formula in §3.2 has W(Z) = gs times the sum over connected graphs, and the identity P(Z) = exp(W/gs) is derived in §3.2 from two external inputs: Theorem 3 ([2]) supplies MC-cycles Z_β associated to moduli spaces of multi-curves, and Proposition 30 ([4]) supplies the factorization property fact_{β1,β2}([Z_{β1+β2}]) = [Z_{β1}] ⊠ [Z_{β2}]. Neither is proved in this paper. The factorization property is not a formal consequence of the chain-level Leibniz rule for ⊠; it is a geometric statement about the class of the disconnected moduli space relative to the product of classes, and it must hold in the non-abelian graph complex where vertices carry cyclic orders and the weight (43) uses the trace over cyclic products. If the factorization identity fails, P((Z_β)_β) is not exp(W/gs) and the QME for W does not follow from the master equation (48) for P. Because the whole construction is conditioned on Proposition 30 and, for the geometric input, Theorem 3, this is the most load-bearing premise. The paper also uses the unpublished [5] for coherent cycles, but the non-abelian OGW potential can be traced back to [2] and [4].","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper defines a 'not abelian' multi-curve chain complex for a compact oriented 3-manifold with a finite-rank charge group, in which vertices carry cyclic orders of half-edges. It then defines an open Gromov-Witten partition function P(Z) by integrating a non-abelian Chern-Simons-like propagator over MC-cycles, and defines the open Gromov-Witten potential W(Z) as the connected-graph part. The main advertised results are that P satisfies dP + g_s ΔP = 0, that P(Z) = exp(W/g_s) when the cycles satisfy a factorization property, and hence that W satisfies the quantum master equation dW + (1/2){W,W} + g_s ΔW = 0. The paper is a companion to the author's previous and companion papers; the geometric input (existence of the non-abelian MC-cycles, factorization, and coherent cycles) is imported from [2], [4], and the unpublished [5].","tokens_in":23990,"tokens_out":9367,"duration_ms":105838,"significance":"If the imported geometric results hold, the paper would give an explicit chain-level construction of a non-abelian open Gromov-Witten potential satisfying the quantum master equation, with a transparent combinatorial mechanism at the level of decorated graphs. The trace formula (43)–(47) and the statement of Lemma 31 are clear, and the paper correctly identifies factorization as the key structural input needed to pass from a partition function to a connected potential. The main advertised result, however, is conditional on external results that are not proved or made available in this manuscript; this makes the current submission, as it stands, incomplete as an independent proof of the central claim.","major_comments":[{"comment":"The exponential formula P((Z_β)_β) = exp(W((Z_β)_β)/g_s) at the start of §3.2, and therefore the quantum master equation for W at the end of §3.2, rest entirely on Proposition 30, which asserts the factorization property fact_{β1,β2}([Z_{β1+β2}]) = [Z_{β1}] ⊠ [Z_{β2}]. This proposition is not proved in the present paper; it is only cited to [4]. The factorization identity is not a formal consequence of the chain-level Leibniz rule for ⊠: it is a geometric statement about the class of the disconnected moduli-space cycle in the non-abelian graph complex, where vertices carry cyclic orders and the weight (43) is defined through cyclic traces. Unless Proposition 30 is proved here or its proof in [4] is reproduced in a verifiable form, the main identified consequence for W is not established by this manuscript.","section":"§3.2, Prop. 30"},{"comment":"These results are all cited to '[5]' (in preparation). They provide the coherent MC-cycles Z(w,fr,U▲), the normalized MC-chain complex C‡, the skein map from Skein(M)[[g_s,a]]_+ to MCH(M)‡, and the universal power series A, β, α, r, θ. Even if the skein relations are not directly used in the final QME for W, the coherent cycles and the normalization C‡ are presented as part of the framework of nice MC-cycles used throughout §2.6–§2.7, and Proposition 18–21 are advertised constructions of the paper. As written, this substantial part of the paper is unverifiable without access to an unpublished manuscript, and the dependence should either be eliminated or the results should be included with full proofs.","section":"§2.7.1, Props. 18, 21 and Lemmas 22–25"},{"comment":"The proof of Proposition 28 is only a sketch. The key identities dΩ_{G,m} = ∑_{m' | ∂_{l+1}m' = m} Ω_{G,m'} and ΔΩ_{G,m} = ∑_{m' | ∂_0 m' = m} Ω_{G,m'} are stated without derivation, and the sign bookkeeping involving the orientation o(H(G)) and the anti-invariance (42) of the propagator is not shown. Proposition 29 is dismissed with 'can be proved as the last Proposition.' Since these propositions are the mechanism that turns the chain-level master equation into the PDE for P and then for W, the main technical step should be written out completely or given a precise, verifiable reference.","section":"§3, Props. 28 and 29"}],"minor_comments":[{"comment":"The definition of the partial order on decorated graphs contains a typographical error: in the first two bullets, ω(β(G')) appears on both sides of the inequality and equality, so the intended comparison with ω(β(G)) is lost; this should be corrected.","section":"§2.6"},{"comment":"The finiteness of the sum defining P(Z) is not discussed. Since the chain complex C_*(β) in (4) is not equipped with an explicit finite-support condition, the paper should specify in which formal power series ring the infinite sum over decorated graphs converges, or add a support condition to the definition of a MC-chain.","section":"§3, Eq. (47)"},{"comment":"The BV operator Δ and the odd bracket { , } are used in equations (47)–(48) but are never defined in this paper. For a self-contained presentation, a precise definition or an exact reference to [1] or [4] should be given.","section":"§3"},{"comment":"There are numerous typographical errors, including 'simplectic' in the introduction, 'Gromow-Witten' in §3.2, and 'reacher' for 'richer' in the introduction; the manuscript would benefit from a careful proofreading pass.","section":"Throughout"},{"comment":"The phrase 'Given two MC-cycles Z0 and Z0' should read 'Z0 and Z1'; the notation is otherwise clear but this typo is confusing.","section":"§2.2.2"}],"recommendation":"major_revision","confidential_remarks":"The paper is heavily self-referential: the main geometric inputs are [2], [4], and the unpublished [5]. I have recommended major revision rather than rejection because the core algebraic/trace mechanism is explicit and the dependence on external results is openly declared. However, if Proposition 30 and the results from [5] are not made available in a verifiable form by the time of revision, I would regard the central claim as unproved and would recommend rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know. First, the non-abelian OGW potential is a genuine new object: cyclic-ordered half-edge graphs, the non-abelian propagator P⊗Id, the trace over cyclic products, and the claim that the partition function is exp(W/gs). Second, the paper as posted is not self-contained enough to verify the central claim. You would need [5] (unpublished), Proposition 30 from [4], and Theorem 3 from [2] to check that W exists and satisfies QME. The current text reads more like a detailed research announcement than a proof.\n\nWhat is good: the construction of the non-abelian MC chain complex is explicit, the algebra around the trace in (43) and the propagator in (45)–(46) is concrete, and the relation to point-splitting perturbative Chern–Simons in Section 2.7 is a useful bridge. This is not a routine “add colors” generalization; the cyclic order matters for the trace and for the skein relations.\n\nSoft spots, in rough order of severity. The factorization property (Prop 30) is the load-bearing premise for P = exp(W/gs). It is cited, not proved. The stress-test note is right: this is not a formal consequence of the Leibniz rule; it is a geometric statement about disconnected moduli spaces, and if it fails, W does not exist. Relatedly, the coherent-cycle results from [5] (Props 18/21, Lemmas 22–25) are essential and unpublished. A referee cannot check this paper without that material. Lemmas 12 and 14 are stated without proof and are needed for the transfer map and for independence of isotopy. Prop 28/29 proofs are sketched in a few lines; they may be standard, but as written they are not complete. Finally, the partial order defining the induction in Section 2.6 has a self-comparison error: two bullets compare β(G′) to itself rather than to β(G). That is an easy typo to fix, but in the current version it undermines the printed induction.\n\nOverall, the central idea is credible and the conditional chain is transparent. The paper is not circular in a bad sense, but the self-citation burden is heavy and one unpublished companion paper is essential. If the author posts [5] and fleshes out Prop 30, this would become a solid paper. For now it is a serious draft.\n\nMy recommendation: send it to a specialist referee, with explicit instructions that access to [5] and [4] is required. I would not desk reject it. But I would not cite it in my own work until the dependencies are public.","headline":"The non-abelian OGW potential is a genuine new construction, but this paper is a conditional sketch leaning on the author's unpublished [5] and on unproved Proposition 30; still worth a specialist referee.","tokens_in":24504,"tokens_out":3239,"would_cite":false,"duration_ms":33403,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53D45","53D37"],"pacs":[],"model":"deepseek-v4-flash","headline":"A not-abelian open Gromov-Witten potential satisfies the quantum master equation up to master isotopy.","keywords":["open Gromov-Witten theory","quantum master equation","multi-curve chain complex","decorated graphs","Calabi-Yau manifold","Lagrangian submanifold","partition function","Chern-Simons propagator"],"falsifier":"Take two classes $\\beta_1, \\beta_2 \\in H_2(X,L)$ and compute both sides of $\\mathrm{fact}_{\\beta_1,\\beta_2}([Z_{\\beta_1+\\beta_2}])$ and $[Z_{\\beta_1}] \\boxtimes [Z_{\\beta_2}]$ in the multi-curve chain complex of a concrete pair $(X,L)$; any nonzero difference would disprove the factorization property and with it the exponential formula. Alternatively, evaluate $W$ at the lowest orders in $g_s$ for a Lagrangian with known holomorphic-disk counts; a violation of $dW + \\tfrac12\\{W,W\\} + g_s \\Delta W = 0$ at the first nonconstant term would show the potentials defined here are not the physical open Gromov-Witten invariants.","tokens_in":23375,"feed_emoji":"","tokens_out":8297,"duration_ms":79332,"temperature":0.7,"pith_summary":"This paper defines a not-abelian open Gromov-Witten potential, a formal generating series that packages open Gromov-Witten invariants of a Calabi-Yau six-manifold with a Maslov-zero Lagrangian submanifold. The central claim is that the full partition function is the exponential of this potential, and that the potential satisfies the quantum master equation up to master isotopy. This gives a consistency condition for the formal invariants: the equation is what guarantees that the potential and the partition function are well defined under the auxiliary choices made in their construction. The construction rests on earlier results associating multi-curve cycles to moduli spaces of pseudo-holomorphic multi-curves and on a factorization property saying that disjoint unions of curves correspond to products of cycles.","feed_headline":"Open Gromov-Witten invariants obey a quantum master equation","feed_subtitle":"One formal potential packages the invariants, and the master equation controls its definition up to isotopy.","key_machinery":"The load-bearing object is the multi-curve chain complex of decorated graphs. A graph has components labeled by a genus and a degree, and at each vertex the half-edges carry a cyclic order; the differential $\\hat\\partial = \\partial + \\delta + \\eth$ encodes edge contraction, degenerate vertices, and moving marked points. The open Gromov-Witten cycles $Z_\\beta$ are classes in this complex obtained from parametrized moduli spaces of multi-curves, following the cited construction in [2]. On top of this, the non-abelian propagator $P^{\\mathrm{not-ab}} = P \\otimes \\mathrm{Id}$ with values in the Lie algebra, together with the trace over the cyclic order at each vertex, defines the forms $\\Omega_{G,m}$; pairing $\\Omega$ with cycles produces $P(Z)$ and $W(Z)$, and the BV operator $\\Delta$ encodes the degenerations of marked points. The factorization property makes the product $\\boxtimes$ compatible with $\\hat\\partial$ and forces $P = \\exp(W/g_s)$.","core_discovery":"The author claims to associate to each class $\\beta \\in H_2(X,L)$ a not-abelian Gromov-Witten multi-curve cycle $Z_\\beta$, built from moduli spaces of pseudo-holomorphic multi-curves, and then to integrate a trace of the Chern-Simons propagator over these cycles to get numbers $P(Z_\\beta)$. Summing over $\\beta$ with a Novikov variable gives the partition function $P(Z) = \\sum_\\beta P(Z_\\beta) T^{\\omega(\\beta)}$, while restricting the sum to connected graphs gives the potential $W(Z)$. The paper's core statement is that the factorization property $\\mathrm{fact}_{\\beta_1,\\beta_2}([Z_{\\beta_1+\\beta_2}]) = [Z_{\\beta_1}] \\boxtimes [Z_{\\beta_2}]$ turns the partition function into an exponential, $P(Z) = \\exp(W/g_s)$, and that isotopies of the cycles act on $W$ by master isotopies, moving solutions of the quantum master equation $dW + \\tfrac12\\{W,W\\} + g_s \\Delta W = 0$ to other solutions.","pith_inferences":["The same structure may extend to other gauge groups and flat connections; the $U(N)$ trace used here is the simplest case, and the skein-style relations cited in the paper suggest a knot-invariant interpretation of the potential.","If the cited factorization property failed in some example, the exponential formula would still have a chance to hold after modifying the definition of connected invariants, since the partition function is the primary object and $W$ is derived from it.","A direct low-order computation of $W$ for a toric Calabi-Yau with a known Lagrangian, such as the resolved conifold with a Lagrangian $S^3$, would provide a concrete test of the master equation and of the factorization property."],"forward_implications":["If the construction is correct, open Gromov-Witten invariants of $(X,L)$ organize into a single formal potential $W$, so invariants at all genera and degrees are constrained by the quantum master equation rather than being independent counts.","The exponential formula $P(Z) = \\exp(W/g_s)$ means every disconnected contribution is determined by connected multi-curve invariants.","Invariance up to master isotopy means the potential is not a single function but a solution curve in the space of formal series; observable quantities must be built from objects invariant under the flow $dW + \\tfrac12\\{W,W\\} + g_s \\Delta W = 0$.","Bulk deformations do not require new degrees of freedom: adding a bulk parameter $A$ to the four-chain $K$ is equivalent to shifting the formal variable $b$, namely $P(\\beta, K+rA, A)(g_s,b) = P(\\beta, K, A)(g_s, b + r g_s)$.","The quantum master equation gives the consistency condition for the potential to be interpreted as the effective action of an open string field theory around the Lagrangian $L$."],"supporting_citations":[{"why":"Supplies Theorem 3, the existence of the multi-curve cycles $Z_\\beta$ from moduli spaces of pseudo-holomorphic multi-curves, the starting point of the whole construction.","marker":"[2]"},{"why":"Supplies Proposition 30, the factorization property $\\mathrm{fact}_{\\beta_1,\\beta_2}([Z_{\\beta_1+\\beta_2}]) = [Z_{\\beta_1}] \\boxtimes [Z_{\\beta_2}]$, and the not-abelian cycle with bulk deformations used in Section 3.3.","marker":"[4]"},{"why":"Supplies the coherent cycles and the skein relations, used to fix canonical MC-cycles and to define the normalized MC-chain complex.","marker":"[5]"},{"why":"Supplies the identification of isotopy classes of $Z_{\\mathrm{Ann}_0}$ with Euler structures, used to fix the data for forgetful compatibility.","marker":"[3]"},{"why":"Supplies the perturbative Chern-Simons master-equation framework; the paper's signs and configuration-space conventions are defined in contrast to it.","marker":"[1]"}],"fun_headline_variants":["Not-abelian open GW potential obeys quantum master equation","Quantum master equation for non-abelian open Gromov-Witten","Master equation governs open Gromov-Witten potential","Open Gromov-Witten potential satisfies quantum master equation","Non-abelian open GW potential: quantum master equation"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole construction rests on the previously cited claims that the moduli spaces of holomorphic multi-curves give closed cycles in the graph complex and that these cycles multiply when the curves are disjoint; if either cited claim fails, the potential, the partition function, and the exponential relation are not defined.","fun_headline_variants_meta":{"raw":{"variants":["Not-abelian open GW potential obeys quantum master equation","Quantum master equation for non-abelian open Gromov-Witten","Master equation governs open Gromov-Witten potential","Open Gromov-Witten potential satisfies quantum master equation","Non-abelian open GW potential: quantum master equation"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000696,"raw_usage":{"total_tokens":3061,"prompt_tokens":774,"completion_tokens":2287,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":390,"completion_tokens_details":{"reasoning_tokens":2203}},"tokens_in":390,"tokens_out":2287,"duration_ms":17786,"temperature":1.0,"reasoning_tokens":2203,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T19:38:29.385035+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take two classes $\\beta_1, \\beta_2 \\in H_2(X,L)$ and compute both sides of $\\mathrm{fact}_{\\beta_1,\\beta_2}([Z_{\\beta_1+\\beta_2}])$ and $[Z_{\\beta_1}] \\boxtimes [Z_{\\beta_2}]$ in the multi-curve chain complex of a concrete pair $(X,L)$; any nonzero difference would disprove the factorization property and with it the exponential formula. Alternatively, evaluate $W$ at the lowest orders in $g_s$ for a Lagrangian with known holomorphic-disk counts; a violation of $dW + \\tfrac12\\{W,W\\} + g_s \\Delta W = 0$ at the first nonconstant term would show the potentials defined here are not the physical open Gromov-Witten invariants.","supporting_citations":[{"cited_title":"Bullimore, T","cited_arxiv_id":null,"evidence_quote":"Supplies the perturbative Chern-Simons master-equation framework; the paper's signs and configuration-space conventions are defined in contrast to it."}],"review_version":1}