{"id":"b2443923-f50b-4ba0-9271-b2017b03717d","arxiv_id":"2608.05764","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Bulk deformations of Lagrangian Floer theory on plumbings produce the parameter-dependent relations of deformed preprojective algebras, giving a mirror construction of Nakajima quiver varieties and related noncommutative spaces.","lead":"The paper constructs mirror versions of deformed preprojective algebras from symplectic geometry by adding bulk deformation cycles to Lagrangians in plumbing spaces. This gives a symplectic origin for the deformation parameter that appears in Nakajima quiver varieties and related noncommutative spaces.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 7.1 uses the noncompact cotangent fiber C_i as a bulk deformation cycle, but the paper never justifies that such an open fiber is an admissible bulk cycle in the FOOO sense.","rationale":"The reader's conditional verdict targets exactly the most load-bearing point: the use of the cotangent fiber C_i as a bulk cycle. My reading agrees. The rest of the paper is substantial: the Koszul-duality framework in Sections 3--5 is carefully developed, the claims about split generation are tied to known results, and the algebraic computations in Section 7 are explicit. But the main new theorem, Theorem 1.3 / Theorem 7.1, depends on the bulk-deformed Maurer-Cartan algebra being computed from b = sum delta_i C_i, and that computation is not justified for an open, noncompact fiber. The paper's own note about delta_i in Lambda_+ shows awareness of filtered convergence, but closedness of the bulk cycle is a separate and more fundamental issue. A confirmed failure here would require rejecting the theorem as stated, or at least reformulating it with a different admissible bulk cycle; until the test above is run, a conditional verdict is the honest resting point. No formal verification or independent machine-checked proof is provided, and the cited works JKL26a/JKL26b and BGO25 are not yet available to check the supporting plumbing results, so I do not see grounds to strengthen the verdict.","tokens_in":46607,"tokens_out":9971,"duration_ms":104948,"concrete_test":"In the local model X = T^*S^2 with L the zero section and C the fiber over p, replace C by the compact radius-R disk D_R inside that fiber and compute the bulk-deformed obstruction m^{b,b}_0 in the ordinary Morse model, keeping track of the Legendrian boundary of D_R at the contact hypersurface. Check whether the delta P_2 contribution is independent of R and whether the R -> infinity limit has any boundary term. Separately, put two interior insertions constrained to two small transverse push-offs of D_R and compute the l = 2 term m^{b,b,b}_0: it must vanish identically for the divisor-axiom reduction in Theorem 7.1 to hold. If either the l = 1 term depends on the truncation R or the l = 2 term is nonzero, the theorem needs a relative-bulk or compactly-supported-cycle reformulation.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing step is in Section 7.1: the bulk deformation is taken to be b = sum_i delta_i C_i, where C_i = T^*_{p_i} L_i is a cotangent fiber of the i-th sphere component. In the completed Liouville plumbing, this fiber is a properly embedded noncompact Lagrangian plane/disk whose end is an unconstrained Legendrian circle at infinity; it is not a closed codimension-two cycle. FOOO bulk deformations are set up for closed cycles or closed forms: the m_{k,l} operations integrate against the cycle, and the divisor axiom that kills all l >= 2 insertions depends on having a genuine cycle class. For an open fiber, the intersection number beta · C_i is not defined, and possible boundary contributions at infinity are not discussed. The single surviving term delta_v P_v in m^{b,b}_0, from which the entire isomorphism to the deformed preprojective algebra is deduced, is exactly the term whose definition requires C_i to be an admissible bulk cycle. The paper does note convergence issues for delta_i in the filtered theory, but it does not address closedness or relative bulk cycles, so Theorem 7.1 rests on an unstated admissibility assumption. If C_i is not admissible, the parameter delta_i has no defined symplectic origin and the conclusion of Theorem 7.1 is not established as stated.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a localized homological mirror symmetry formalism for an immersed Lagrangian brane L, possibly equipped with a higher-rank flat bundle, and applies it to plumbings of cotangent bundles of spheres. The extended localized mirror \\tilde A_L is presented as the Koszul dual of the Floer A-infinity algebra of L, and Theorem 4.3 asserts a quasi-equivalence between the Fukaya subcategory generated by L and the derived category of nilpotent finite-dimensional modules over \\tilde A_L. In the second part, the paper introduces bulk deformations by cycles C_i, defined as cotangent fibers over points of the core spheres, and claims in Theorem 7.1 that the bulk-deformed Maurer-Cartan algebra of the core is isomorphic to the deformed preprojective algebra of the plumbing quiver, with applications to Nakajima quiver varieties, Kawamata's noncommutative deformations of A_n resolutions, and noncommutative ADHM data.","tokens_in":46836,"tokens_out":10903,"duration_ms":105523,"significance":"If the main results hold, Theorem 7.1 gives a novel and potentially influential symplectic interpretation of the deformation parameter of deformed preprojective algebras as weights of codimension-two bulk cycles. The Koszul-duality proof of Theorem 4.3 is explicit and appears largely self-contained, including the construction of a free bimodule resolution and its consequences for Hochschild cohomology and Calabi-Yau structures; these are genuine strengths. The applications to affine ADE plumbings, framed Nakajima quiver varieties, and the conifold are ambitious and would make the paper valuable for both symplectic topology and noncommutative algebraic geometry. However, the paper's main new mechanism, the bulk deformation by cotangent fibers, is not rigorously grounded in the text, and the proof of Theorem 7.1 contains a load-bearing sketched step.","major_comments":[{"comment":"The bulk deformation b = sum_i \\delta_i C_i, with C_i = T^*_{p_i}L_i, is not an admissible bulk cycle in the standard FOOO sense as written. In the completed Liouville plumbing, C_i is a properly embedded noncompact Lagrangian disk whose boundary at infinity is a Legendrian circle; it is not a closed codimension-two cycle. The divisor axiom, which is used to discard all insertions with l >= 2 and to obtain the single term \\delta_v P_v, requires a genuine cycle class, and the paper does not supply a relative or compactly supported version of the construction. The remark that one should take \\delta_i in the Novikov plus-ideal addresses convergence but not closedness or admissibility. Since the identification with the deformed preprojective algebra is deduced from this term, Theorem 7.1 is not established without an admissibility statement or a reformulation in terms of compactly supported closed forms or closed cycles representing the same class.","section":"Section 7.1, Theorem 7.1"},{"comment":"The coordinate change \\tilde x_a = x_a(1 + sum_j a_j (x_{\\bar a} x_a)^j), \\tilde x_{\\bar a} = x_{\\bar a} is asserted to remove all higher-order terms and to yield the deformed preprojective relation. The paper does not prove that this change of coordinates is compatible for all arrows simultaneously, does not prove the invertibility of the displayed factor in the noncommutative path algebra, and does not specify how the coefficients a_j depend on Kuranishi perturbations. This is a load-bearing step: the exact form of the relations, for example the coefficients in Corollary 7.2, depends on this coordinate change. A complete proof or a reference for this noncommutative normal-form statement is required.","section":"Proof of Theorem 7.1, Eq. (7.1)"},{"comment":"The computation of the bulk-deformed obstruction term m^{b,b}_0 counts pearl configurations with constant disc components carrying an interior insertion constrained to C_v. In the exact setting all holomorphic discs with boundary on L are constant, and the claimed nonzero contribution \\delta_v P_v from the 'stabilized constant disc' is not justified by any specified virtual perturbation scheme. The paper moves from filtered theory with Novikov parameters to polynomial relations over C without proving that the surviving terms are independent of the perturbation and that positive-energy contributions cannot reappear after the coordinate change. This is a second load-bearing gap in the proof of Theorem 7.1.","section":"Section 7.1, computation of m^{b,b}_0"},{"comment":"The split-generation claims in Lemma 6.5 rely on the equivalence F(X) \\simeq D_fd(G_n(D)) imported from the unpublished preprint [JKL26b]. While the text cites this work, the dependence makes the split-generation applications conditional on a source that a referee cannot verify. This does not affect the central Theorems 4.3 or 7.1, but the manuscript should either prove the needed compatibility or explicitly mark the split-generation statements as depending on [JKL26b].","section":"Section 6.2, proof of Lemma 6.5"}],"minor_comments":[{"comment":"The sentence 'Since C has codimension two, the divisor axiom implies that constant discs with more than one interior insertion do not contribute' is an informal preview that presupposes the admissibility point raised in the first major comment; a cross-reference to a rigorous definition would help.","section":"Example 1.2"},{"comment":"The symbol V^!_f appears in the discussion of the compactly supported dual but is not defined; please introduce it or remove it.","section":"Section 3.1.1"},{"comment":"The name 'affine A_0 graph' for the graph with one vertex and one loop is nonstandard; please clarify the convention or use a more standard terminology.","section":"Section 6.2, Example 6.6"},{"comment":"Several references are to arXiv preprints or works still 'to appear' (for example [JKL26a], [JKL26b], [LT26], [AFO+26], [LNT23]); if any of these have appeared by the time of publication, the bibliography should be updated.","section":"References"},{"comment":"The grading choices for the immersed sectors in the n >= 3 case are delegated to [JKL26b]; a self-contained statement of the needed grading conventions would improve readability.","section":"Proposition 6.2, n >= 3 case"}],"recommendation":"major_revision","confidential_remarks":"The paper contains an attractive and substantial idea, and the Koszul-duality part is in good shape. My main reservation is that the bulk-cycle construction underlying Theorem 7.1 is not yet a well-defined FOOO deformation. This seems fixable, for instance by reformulating the bulk insertions in terms of compactly supported closed two-forms on the plumbing, but as written the central claim is not fully supported. The reliance on [JKL26b] for split-generation applications is acceptable if those preprints are made available and clearly flagged; it is not the main obstacle."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe headline: this is a serious paper with a strong algebraic core, but the main geometric application rests on an assumption that looks unproven. The paper claims bulk deformations of a plumbing of two-spheres by cotangent fibers produce exactly the deformed preprojective algebra, with the bulk parameter delta_i becoming the deformation parameter lambda. That is an appealing statement, and if true it would give the missing symplectic interpretation of lambda. For now I would treat it as a conjecture.\n\nWhat is actually new: Sections 3-4 develop the Koszul-dual description of the extended localized mirror, including higher-rank flat bundles, and prove the quasi-equivalence DFuk_L(X) -> D_fd(\\tilde{A}_L) under reasonable finiteness. Theorem 4.3 has a clear algebraic proof; the bimodule resolution argument is solid. The higher-rank and framed extensions are genuinely useful, and the explicit A_n, D_4 and conifold computations in Section 7 show the machinery works in practice. Credit is due for the careful algebraic framework.\n\nThe soft spot is in Section 7.1. The bulk cycle C_i is taken to be a cotangent fiber T^*_{p_i} L_i. In the completed Liouville plumbing this is a noncompact Lagrangian disk with boundary at infinity, not a closed codimension-two cycle. The paper never justifies that such an open fiber is admissible as a bulk deformation in the FOOO sense. The divisor axiom argument used to kill all higher bulk insertions depends on a genuine cycle class, and the intersection number beta · C_i is not defined for an open fiber. The one surviving term delta_v P_v is exactly the term whose definition requires admissibility. The paper does discuss convergence of delta_i in the filtered theory, but not closedness of C_i. So Theorem 7.1 is not established as stated. This is not a cosmetic gap; it is where the symplectic origin of lambda lives.\n\nTwo smaller issues: the paper leans on unpublished preprints [JKL26a,b] for the identification of compact Fukaya categories of plumbings, and the Morse model computation in 7.1 is sketched. The latter would be fixable; the bulk-cycle issue needs a real argument (e.g., a relative version of bulk deformation or a compactification of the fiber).\n\nWho should read this: anyone working in localized mirror symmetry or on symplectic interpretations of deformed preprojective algebras. The algebraic sections deserve a careful read. The geometric application needs more work before I would trust it.\n\nRecommendation: send it to a serious referee, but tell the referee to focus hard on Section 7.1. I would not accept the paper in its current form; I would ask for a substantial revision clarifying what 'bulk cycle' means for noncompact curves. If that is fixed, the paper could be very good.\n\nBest regards.","headline":"Strong algebraic framework, but the bulk-deformation interpretation of lambda rests on an unproven admissibility assumption for noncompact cotangent fibers.","tokens_in":47387,"tokens_out":3368,"would_cite":false,"duration_ms":30364,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53D37","16G20","14A22"],"pacs":[],"model":"deepseek-v4-flash","headline":"Bulk deformations of symplectic plumbings turn the localized mirror of the core Lagrangian into a deformed preprojective algebra, with bulk weight $\\delta_i$ playing the role of $\\lambda_i$.","keywords":["homological mirror symmetry","deformed preprojective algebras","bulk deformations","Lagrangian immersions","Fukaya categories","Koszul duality","plumbings","Nakajima quiver varieties"],"falsifier":"Compute the full filtered bulk-deformed $A_\\infty$-structure of the core Lagrangian in the standard plumbing of two 2-spheres, keeping all Novikov terms. If the stabilized constant disc at the cotangent fiber contributes terms beyond $\\delta_i P_i$ that cannot be removed by an invertible coordinate change, or if the bulk parameter enters the vertex relation nonlinearly, the Maurer-Cartan algebra is not the deformed preprojective algebra and Theorem 7.1 fails.","tokens_in":46381,"feed_emoji":"🪞","tokens_out":12620,"duration_ms":102161,"temperature":0.7,"pith_summary":"This paper establishes a symplectic origin for the deformation parameter in deformed preprojective algebras, the noncommutative quiver algebras attached to Kleinian singularities and Nakajima quiver varieties. For a plumbing of two-spheres, the authors prove that deforming the ambient symplectic manifold by bulk cycles passing through each sphere component turns the bulk-deformed Maurer-Cartan algebra of the Lagrangian core into the deformed preprojective algebra of the plumbing quiver, with the bulk weight $\\delta_i$ playing the role of $\\lambda_i$. Applying the same construction to framed Lagrangian branes produces Nakajima quiver varieties at nonzero complex moment-map level. The categorical engine is a Koszul-duality quasi-equivalence between the Fukaya subcategory generated by the Lagrangian and finite-dimensional modules over its extended localized mirror, so these identifications are consequences of the mirror functor rather than formal analogies.","feed_headline":"Bulk cycle weights become quiver mirror deformation parameters","feed_subtitle":"For plumbings of 2-spheres, bulk weights $\\delta_i$ are the $\\lambda_i$ of deformed preprojective algebras.","key_machinery":"The load-bearing object is the extended localized mirror $\\tilde{\\mathcal{A}}_L$, the completed reduced cobar construction of the Floer $A_\\infty$-algebra $CF(L,L)$ --- equivalently its Koszul dual --- whose degree-zero part is the ordinary Maurer-Cartan algebra $A_L$. For plumbings of $T^*S^2$, the computation that carries the paper is the bulk-deformed Maurer-Cartan equation: after the coordinate change (7.1), $m^{b,b}_0 = \\sum_v \\left(\\delta_v + \\sum_{t(a)=v} \\epsilon(a) x_{\\bar a} x_a\\right) P_v$, where $P_v$ is the minimum of the Morse function on the $v$-th sphere. The term $\\delta_v P_v$ is produced by a constant disc with an interior marked point constrained to the bulk fiber followed by a Morse trajectory; the terms $x_{\\bar a}x_a$ are the constant-polygon contributions of the immersed sectors. The Koszul-dual free resolution $V^! \\otimes V^\\sharp \\otimes V^!$ is used to identify Hochschild invariants, exhibit a Calabi-Yau structure, and prove the categorical quasi-equivalence behind the mirror functor.","core_discovery":"The central claim is Theorem 7.1: for the plumbing of $T^*S^2$ according to a graph $D$, with core Lagrangian $L$ and bulk cycle $b=\\sum_i \\delta_i C_i$ where $C_i = T^*_{p_i}L_i$ is the cotangent fiber at a point of the $i$-th sphere component, the bulk-deformed Maurer-Cartan algebra of $L$ is isomorphic to the deformed preprojective algebra $\\Pi(Q)_\\lambda$ of the double quiver of $D$, with $\\lambda_i = \\delta_i$. The mechanism is that the fiber $C_i$ stabilizes the constant disc through $p_i$, contributing $\\delta_i P_i$ to $m^{b,b}_0$; after an invertible coordinate change the relation at vertex $i$ is $\\delta_i + \\sum_{t(a)=i} \\epsilon(a) x_{\\bar a} x_a = 0$, exactly the deformed preprojective relation. The framed version of the same computation identifies the bulk-deformed Maurer-Cartan space with the Nakajima quiver variety at complex moment-map level $\\mu_C = \\delta$. Together with Theorem 4.3, which promotes the extended localized mirror functor to a quasi-equivalence $\\mathcal{D}\\mathrm{Fuk}_L(X) \\cong \\mathcal{D}_{\\mathrm{fd}}(\\tilde{\\mathcal{A}}_L)$ under a finiteness and positivity hypothesis on the Floer complex, this gives a categorical, not merely formal, bridge from bulk classes to noncommutative deformations.","pith_inferences":["The paper leaves implicit that the same bulk-cycle recipe should apply to other quiver-like symplectic models: replacing the cotangent fiber by a codimension-two cycle in a different homology class should change the vertex weights in a predictable way, giving a testable normal form for bulk-deformed localized mirrors.","The invertible-coordinate-change step suggests a broader structural principle: for Lagrangians whose Floer complex has no nonpositive generators and controlled constant-disc moduli, codimension-two bulk insertions act as vertex-weight deformations of the Koszul dual; the plumbing theorem is the first model case of that principle.","One could probe the paper's conjecture that total moment-map level measures noncommutativity by computing Hochschild cohomology of the bulk-deformed localized mirror as a function of $\\sum_i \\delta_i$; the Calabi-Yau and resolution machinery in the paper provides a direct tool for this.","The conifold section indicates a three-dimensional analogue: suitable bulk cycles deform the Ginzburg-type algebra of the resolved conifold into a noncommutative crepant resolution, suggesting that the correspondence between bulk classes and deformation parameters extends beyond surfaces."],"forward_implications":["The deformation parameter $\\lambda$ of a deformed preprojective algebra is realizable as the weight of a codimension-two bulk cycle; changing the bulk class changes the noncommutative deformation of the mirror.","For framed plumbings, nonzero complex moment-map levels of Nakajima quiver varieties arise from the same bulk cycles, so the level records the bulk class rather than being independent data.","Under the Koszul-duality quasi-equivalence, representations of the deformed preprojective algebra literally describe the Fukaya subcategory generated by the core Lagrangian, so noncommutative deformations acquire a symplectic-topological meaning.","In affine ADE plumbings, bulk deformations recover noncommutative deformations of crepant resolutions and their local charts, and framed branes map to the monadic complexes of framed torsion-free sheaves on noncommutative projective surfaces.","The generation analysis shows the core Lagrangian split-generates the compact Fukaya category only in nilpotent cases such as ADE Dynkin type for $n=2$ or trees for $n\\ge 3$; with cycles in the plumbing graph, the completed local mirror is a genuine local chart and may fail to see the whole category."],"supporting_citations":[{"why":"Introduces the deformed preprojective algebra $\\Pi(Q)_\\lambda$, the object the plumbing computation reproduces.","marker":"[CBH98]"},{"why":"Constructs the extended localized mirror and its mirror functor, which this paper extends to higher rank and to bulk deformations.","marker":"[CHL21]"},{"why":"Establishes the zero-level mirror functors from framed plumbings to preprojective algebras and Nakajima quiver varieties that this paper deforms.","marker":"[HLT24]"},{"why":"Supplies the bulk-deformation and bounding-cochain formalism used to define the bulk-deformed Maurer-Cartan algebra.","marker":"[FOOO09b]"},{"why":"Computes the bulk-stabilized constant disc for an immersed two-sphere, the seed of the $\\delta_i$ term.","marker":"[HKL23]"},{"why":"Constructs the noncommutative deformations of $A_n$ crepant resolutions and local charts that the paper recovers by bulk deformations.","marker":"[Kaw24]"},{"why":"Provides the deformed ADHM correspondence and noncommutative $\\mathbb{P}^2$ used in the framed torsion-free sheaf statement.","marker":"[KKO01]"},{"why":"Gives the noncommutative surface $\\mathbb{P}^2_{\\tau,\\Gamma}$, its framed sheaves, and the monadic complexes identified in Theorem 7.9.","marker":"[BGK02]"}],"fun_headline_variants":["Bulk cycles deform quiver mirrors in exact HMS","Deformed preprojective algebras emerge from bulk weights","Bulk classes set deformed preprojective parameters","Mirror functor maps bulk cycles to quiver deformations","Bulk weights parameterize deformed quiver mirrors"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the cotangent fiber $C_i$ at a point of each sphere component is an admissible bulk-deformation cycle and that its entire effect is to add exactly $\\delta_i$ to the vertex relation, with all higher-order disc corrections removed by an invertible coordinate change.","fun_headline_variants_meta":{"raw":{"variants":["Bulk cycles deform quiver mirrors in exact HMS","Deformed preprojective algebras emerge from bulk weights","Bulk classes set deformed preprojective parameters","Mirror functor maps bulk cycles to quiver deformations","Bulk weights parameterize deformed quiver mirrors"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000205,"raw_usage":{"total_tokens":1490,"prompt_tokens":1136,"completion_tokens":354,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":752,"completion_tokens_details":{"reasoning_tokens":278}},"tokens_in":752,"tokens_out":354,"duration_ms":3317,"temperature":1.0,"reasoning_tokens":278,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T14:35:40.670939+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the full filtered bulk-deformed $A_\\infty$-structure of the core Lagrangian in the standard plumbing of two 2-spheres, keeping all Novikov terms. If the stabilized constant disc at the cotangent fiber contributes terms beyond $\\delta_i P_i$ that cannot be removed by an invertible coordinate change, or if the bulk parameter enters the vertex relation nonlinearly, the Maurer-Cartan algebra is not the deformed preprojective algebra and Theorem 7.1 fails.","supporting_citations":[],"review_version":2}