{"id":"cf408940-7ac8-4d5a-b248-2beff108243b","arxiv_id":"2508.15770","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"For any simple wall-crossing of GIT quotients X_- to X_+, the quantum D-module of X_- is a direct sum of that of X_+ and copies of that of the wall S.","lead":"The paper proves a structure theorem for quantum cohomology across wall-crossings: if two algebraic spaces are related by a GIT flip, the quantum cohomology of one side equals the quantum cohomology of the other plus extra copies of the wall between them. This turns hard curve-counting problems on one space into easier problems on the other, with applications to standard flips in birational geometry.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.2 is advertised unconditionally, but the proof descends from extended to reduced base only under Assumption 5.16, which is absent from the abstract and may fail for simple wall-crossings with a non-smooth/non-separated wall S.","rationale":"The reader's weakest_assumption already identified Assumption 5.16 as load-bearing, and I agree. My stress-test pass found no independent fatal flaw in the broad strategy: the machinery of equivariant quantum D-modules, Fourier transforms, and Givental cones is a plausible route to such a decomposition, and the flip application is clearly labeled as local-model/conditional where appropriate. However, the unconditional wording of the abstract and Theorem 1.2 is not supported by the proof as described: the reduced-base theorem is conditional on an assumption about the wall S that does not appear in the statement. Because the supplied text is corrupt, the exact mathematical content of Assumption 5.16 cannot be checked, and therefore neither ACCEPT nor REJECT is honest. The appropriate verdict is CONDITIONAL: the authors should either add Assumption 5.16 (or an equivalent hypothesis) to the main theorem, prove it is automatic for simple wall-crossings, or restrict the abstract's claim accordingly. The concrete test I propose would settle the matter by checking the reduction step on a singular wall S, where the assumption would be most likely to fail. I do not see a basis for demanding REJECT: the concern is a gap between an unconditional statement and a conditional proof step, not an observed counterexample. I also note that the general-flip statement is explicitly conjectural (Conjecture 1.8), so that part is not a weakness in itself.","tokens_in":55498,"tokens_out":4528,"duration_ms":54219,"concrete_test":"Obtain the uncorrupted source and check whether Assumption 5.16 is proved to hold for every simple G-VGIT wall-crossing or is only imposed as a hypothesis. Then run the decisive analytical check: re-derive the reduction from the extended-base Theorem 5.5 to the reduced-base Theorem 1.2 for an explicit wall-crossing with a singular wall S—for example, a simple wall-crossing where the strictly semistable quotient S is a singular variety. If the reduction step requires Assumption 5.16 and fails for that S, Theorem 1.2 is overbroad. Conversely, if the step succeeds for such an S without the assumption, the assumption is likely unnecessary and the theorem stands; if it succeeds but only for smooth S, then the flip application (standard flips, where S is typically smooth) may be salvageable while the abstract's 'any simple wall-crossing' claim must be restricted.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim is the unrestricted decomposition QDM(X_-) = QDM(X_+) ⊕ (copies of QDM(S)) for any reductive G and simple VGIT wall-crossing (abstract, Theorem 1.2). The proof structure, however, first obtains a decomposition over an extended base (Theorem 5.5) and then must transport it to the reduced base in the section 'QDM decomposition over reduced base.' That transport is not unconditional: Assumption 5.16 is imposed there, and the rendered text indicates it is a smoothness/separateness condition on the wall S or on the relevant characteristic varieties / shift operators. The exact content of Assumption 5.16 is unreadable in the provided copy, but its role is load-bearing: if there exists a simple G-VGIT wall-crossing whose wall S fails the assumption, then the proof of Theorem 1.2 as stated goes through only over the extended base, and the advertised reduced-base decomposition is unproved (and possibly false). The application to local models of standard flips (Theorem 6.2, Corollary 6.8) inherits this issue unless the standard-flip walls are separately shown to satisfy Assumption 5.16. Since the abstract states the theorem for 'any reductive group' and any 'simple G-VGIT wall-crossing' with no hypothesis on S, the gap is between statement and proof. This is not a complaint about consensus; it is an internal inconsistency between the unconditional main theorem and a conditional proof step. If Assumption 5.16 is in fact automatic for all simple wall-crossings, or is satisfied by all walls arising in the flip application, then the concern dissolves—but that must be argued explicitly.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims a decomposition theorem for quantum D-modules of GIT quotients under a simple VGIT wall-crossing: for any reductive group G with wall S, the quantum D-module of X_- is a direct sum of the quantum D-module of X_+ and copies of the quantum D-module of S. This is stated unconditionally in the abstract and as Theorem 1.2, and is applied to local models of standard flips in Theorem 6.2 and Corollary 6.8. The proof strategy is based on equivariant localization, shift operators, continuous and discrete Fourier transformations, and a reduction-of-coordinates step: Section 5 first obtains a decomposition over an extended base and then transports it to the reduced base. The copy of the manuscript provided to me is heavily corrupted: many equations and prose passages are unreadable, so I could not verify the central lemmas in detail. My assessment therefore focuses on the structural consistency between the stated claims and the proof architecture.","tokens_in":55719,"tokens_out":3368,"duration_ms":42959,"significance":"If correct, the theorem is significant: it reduces a VGIT wall-crossing computation to the known quantum D-modules of the two outer quotients and the wall, and it gives a decomposition theorem for quantum cohomology of local models of standard flips. The paper engages with a substantial toolkit—Givental formalism, twisted GW invariants, quantum Riemann–Roch, and Fourier transforms—and the claimed application to flips is natural and would be of interest to both symplectic and algebraic geometers. The main strength of the paper, from the readable structure, is its systematic reduction of a global problem to local computations. However, the unconditional statement of the main theorem appears to rely on an additional assumption introduced only later in the proof, which is a load-bearing gap in the current version.","major_comments":[{"comment":"The abstract and Theorem 1.2 state the decomposition for any reductive group G and any simple G-VGIT wall-crossing, with no hypothesis beyond the wall S. The proof, however, first obtains the decomposition over an extended base and then descends to the reduced base only under Assumption 5.16, which appears in the section 'QDM decomposition over reduced base' and is not mentioned in the main theorem statement. If Assumption 5.16 is not automatic for all simple wall-crossings, then Theorem 1.2 is not proved as stated. The authors should either prove Assumption 5.16 unconditionally for the full scope of the theorem, or explicitly incorporate it into the statement of Theorem 1.2 and the abstract.","section":"Section 5.4, Assumption 5.16 vs abstract/Theorem 1.2"},{"comment":"The application to local models of standard flips inherits the gap above. The text around Theorem 6.2 and Corollary 6.8 does not visibly verify that the walls arising in the local models of standard flips satisfy Assumption 5.16. Since the assumption is a condition on the wall S, the flip application is only as solid as the verification of that condition. If the verification is contained in the unreadable portion of §6, the authors should point to the exact statement; otherwise, an explicit check (or a suitable reference) is needed before Corollary 6.8 can be considered established.","section":"Theorem 6.2 and Corollary 6.8"},{"comment":"The central technical steps—Proposition 2.8, Theorem 4.15, Theorem 5.5, and the lemmas in §5.2–5.4—could not be checked because the supplied text is heavily corrupted, with equations and even key assumption wording unreadable. This is not a claim of error, but it means that the soundness of the proof is currently unverified from the available copy. A clean, readable version is necessary for the paper to be refereeable.","section":"Sections 2–5, proof verification"}],"minor_comments":[{"comment":"If the reduced-base theorem genuinely requires Assumption 5.16, the abstract and introduction should state that condition or explicitly say that it is automatic. The current unconditional wording is misleading.","section":"Abstract"},{"comment":"The multiplicity of the copies of QDM(S) should be stated explicitly in the theorem statement, together with the precise coordinate ring/Novikov ring over which the isomorphism holds. In the corrupted text this is not clear.","section":"Theorem 1.2"},{"comment":"The wording of Assumption 5.16 is unreadable in the provided copy. Please ensure the assumption is stated in a self-contained way, with all symbols defined, and that it is cross-referenced wherever it is used.","section":"Assumption 5.16"},{"comment":"Several bibliographic entries are garbled in the provided text. Please check that all references are complete and correctly formatted.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The provided full text is too corrupted to verify the lemmas, but the structural gap between the unconditional abstract/Theorem 1.2 and the conditional Assumption 5.16 is clear from the readable portions. I would advise the editor to request a clean manuscript and to ask the authors to clarify the status of Assumption 5.16: either prove it in the general setting or restrict the main theorem accordingly, and then check the flip application against the restricted statement."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a serious paper with a big claim, and it deserves a serious referee. The reader's UNVERDICTED verdict is honest — the copy we have is too corrupted to check the details — but what is readable suggests a coherent, substantial preprint, not a toy.\n\nWhat's new: the theorem as stated is genuinely broad — any reductive G, any simple G-VGIT wall-crossing, module-level decomposition into QDM(X_+) plus copies of QDM(S). Prior quantum wall-crossing results were restricted to toric, crepant, small-flip, or specific-group settings. The flip application, while conjectural for general flips and proved only for local models, is a credible and interesting application. The proof strategy (equivariant localization, shift operators, Fourier transforms, then transporting from an extended to a reduced base) is coherent, and the decomposition is the output, not an input, so there is no visible circularity.\n\nThe soft spots, in order of concern:\n\n1. Assumption 5.16. It appears only in Section 5.5, 'QDM decomposition over reduced base,' and is absent from the abstract and from Theorem 1.2 as stated. If the decomposition over the extended base (Theorem 5.5) requires descent to the reduced base, and that descent is conditional on 5.16, then the abstract overstates what is proved unless 5.16 is automatic or is independently verified for the walls arising in the flip application. The corrupted text does not let me tell which. This is the single most important thing for a referee to check: the gap between the unconditional statement and the conditional proof step. It is not a manufactured flaw; the paper itself contains the assumption, and the abstract does not.\n\n2. The general-flip statement is explicitly conjectural (Conjecture 1.8, Corollary 1.9 conditional), and the proved result covers local models (Theorem 6.2, Corollary 6.8). That is fine, but the abstract's 'application' wording could mislead a casual reader into thinking the full flip conjecture is proved. A one-line clarification would help.\n\n3. Citation overlap with 2025 preprints (e.g., arXiv:2505.09950, 2508.05105, 2502.08762) cannot be checked in this corrupted copy. The authors cite them, which is appropriate, but the novelty claim needs that check.\n\nOverall: the paper looks like a real research preprint. The main fix I would ask for is to state Theorem 1.2 with the reduced-base hypothesis explicit, or prove that Assumption 5.16 holds automatically for all simple G-VGIT wall-crossings. Either way, send it to peer review rather than desk-reject. It deserves referee time, and Section 5.5 plus the verification of 5.16 for the flip models are the places to focus.","headline":"Genuinely broad quantum D-module decomposition theorem, but the proof descends from extended to reduced base only under a hypothesis missing from the abstract — worth a careful referee.","tokens_in":56374,"tokens_out":2116,"would_cite":false,"duration_ms":25686,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14N35","14L24","14E30"],"pacs":[],"model":"deepseek-v4-flash","headline":"For any simple GIT wall-crossing, the quantum D-module of one side is the other side plus copies of the wall's.","keywords":["quantum D-module","GIT quotient","wall-crossing","quantum cohomology","flips","Gromov-Witten invariants","equivariant quantum cohomology","birational geometry"],"falsifier":"Compute the quantum D-modules in a simple G-VGIT wall-crossing where Assumption 5.16 is clearly violated—for example a wall whose equivariant shift operators have non-separated characteristic variety—and check whether QDM(X_-) still equals QDM(X_+) plus copies of QDM(S); any failure in even one quantum product would refute the statement's full generality.","tokens_in":55213,"feed_emoji":"🧮","tokens_out":10017,"duration_ms":115377,"temperature":0.7,"pith_summary":"This paper proves a decomposition theorem for quantum cohomology under variations of GIT quotients. When a reductive group action on a space is varied so that the GIT quotient changes by a simple wall-crossing X_- ⇢ X_+, with the common exceptional locus captured by a wall S, the quantum D-module of X_- is a direct sum of the quantum D-module of X_+ and copies of the quantum D-module of S. The quantum D-module is the algebraic package that encodes all genus-zero Gromov-Witten invariants, so the theorem says the enumerative geometry of one side is not independent data: it is determined by the other side and the wall. The same decomposition is transferred to local models of standard flips in birational geometry, giving a decomposition theorem for the quantum cohomology of flips.","feed_headline":"Wall-crossing splits quantum cohomology into known pieces","feed_subtitle":"The losing side's quantum invariants are fully determined by the winning side plus the wall—no new curve counts needed.","key_machinery":"The central object is the quantum D-module, the D-module carrying genus-zero Gromov-Witten invariants as functions of the Novikov and equivariant parameters. The argument is carried by the equivariant quantum D-module and its shift operators—operators that move the equivariant parameter and encode curve classes crossing the wall—together with continuous and discrete Fourier transformations, which turn the wall contribution into explicit direct summands. A reduction-of-coordinates lemma then brings the decomposition down to the usual (non-extended) base; Assumption 5.16 is the technical condition under which that reduction goes through.","core_discovery":"The central claim, stated as Theorem 1.2, is that for any reductive group G and any simple G-VGIT wall-crossing X_- ⇢ X_+ with wall S, the quantum D-module QDM(X_-) decomposes as a direct sum of QDM(X_+) and a specified number of copies of QDM(S). The proof works with equivariant quantum D-modules: shift operators that translate the equivariant parameter are matched on the two sides, and continuous and discrete Fourier transformations on these D-modules isolate the wall contribution. A reduction-of-coordinates step then converts the equivariant decomposition over the extended base into the non-equivariant statement. The flip application, Theorem 6.2 and Corollary 6.8, realizes local models o","pith_inferences":["If the decomposition can be iterated along a chain of wall-crossings, the quantum D-module of any GIT quotient in a birational program becomes computable by adding wall terms one at a time—an algorithm the paper does not spell out.","The multiplicity of the wall summand may be readable from the fixed loci of the wall action; comparing it with the usual fixed-point decomposition of cohomology would give a geometric interpretation the paper leaves implicit.","One could test the theorem in explicit examples, such as small resolutions of threefold flops or projectivized bundles, where both QDM(X_+) and QDM(S) are known, and verify the predicted quantum products on X_-.","A categorical lift suggests itself: the direct-sum decomposition of quantum D-modules could mirror a semiorthogonal decomposition of the relevant derived categories across the flip, a statement not attempted here."],"forward_implications":["For any simple G-VGIT wall-crossing, the full genus-zero quantum cohomology of X_- is determined by X_+ and S; no additional curve counts on X_- are needed.","For local models of standard flips, the quantum D-modules of the two flip sides are both controlled by the flip's exceptional divisor, so the two sides no longer carry independent enumerative data.","In the flop case treated in Section 6, the wall term is trivial and the decomposition becomes an isomorphism between the quantum D-modules of the two small resolutions.","The classical VGIT cohomology decomposition is recovered as the classical limit of the quantum statement."],"supporting_citations":[],"fun_headline_variants":["Quantum D-modules decompose at GIT wall crossings","Flips decompose quantum cohomology: wall terms only","Losing side's quantum invariants reducible to wall","Quantum cohomology of flips: a direct sum decomposition"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"Assumption 5.16, imposed when moving the decomposition from the extended base to the ordinary base, requires a technical condition on the wall S; if a simple wall-crossing fails it, the decomposition as stated for every reductive group may need extra hypotheses.","fun_headline_variants_meta":{"raw":{"variants":["Quantum D-modules decompose at GIT wall crossings","Flips decompose quantum cohomology: wall terms only","Losing side's quantum invariants reducible to wall","Quantum cohomology of flips: a direct sum decomposition"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000827,"raw_usage":{"total_tokens":3401,"prompt_tokens":642,"completion_tokens":2759,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":386,"completion_tokens_details":{"reasoning_tokens":2691}},"tokens_in":386,"tokens_out":2759,"duration_ms":20446,"temperature":1.0,"reasoning_tokens":2691,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T17:42:07.484915+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the quantum D-modules in a simple G-VGIT wall-crossing where Assumption 5.16 is clearly violated—for example a wall whose equivariant shift operators have non-separated characteristic variety—and check whether QDM(X_-) still equals QDM(X_+) plus copies of QDM(S); any failure in even one quantum product would refute the statement's full generality.","supporting_citations":[],"review_version":1}