{"id":"81a50eca-3f48-47b8-ba78-c197906d2a80","arxiv_id":"2504.19226","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For affine type A bow diagrams, non-emptiness of the associated bow variety is equivalent to supersymmetry of the corresponding brane diagram, which can be checked by a finite set of inequalities.","lead":"This paper gives a way to tell, by checking a finite list of inequalities, whether a bow diagram produces a non-empty geometric object called a bow variety. It connects this mathematical question to whether the diagram is supersymmetric in a type IIB string theory setup, and it provides an algorithm to decide this.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 5.1's Step 1 depends on Lemma 5.7, explicitly stated without proof and deferred to the author's preprint [Gai24]; this is the key unverified link.","rationale":"We assessed whether the reader's flagged weakness is the true bottleneck. It is: Step 1 is the only route from (a)/(b) to (c), and Step 1 is exactly Lemma 5.7 plus Theorem 3.3. The paper flags the omission itself, so this is not a manufactured concern. I checked whether Appendix A or Step 3 independently prove the lemma; Appendix A only proves (c)<=(d), and Step 3 assumes (d). The proof of Proposition 5.24 cites Theorem 5.1 informally, but the needed direction (d)=>(e) was already established in §5.3, so I do not see a separate circularity there. The remainder of the proof appears coherent for the parts that are self-contained, and the physics-based (e)=>(c) direction is standard. The deferred lemma is a genuine gap, but not evidence of falsity; hence the conditional verdict should stand unchanged.","tokens_in":38434,"tokens_out":6101,"duration_ms":61654,"concrete_test":"Independently supply or verify Lemma 5.7. Concretely: (i) take [Gai24, Cor. 4.17] and re-derive it in the notation of this paper for arbitrary λ; or (ii) test the contrapositive on small affine type A diagrams, e.g. the local configuration (v_-,v,v_+)=(0,2,0), which violates the lemma's conclusion after one HW transition (v'=-1): use the quiver description in §2.3 to show μ^{-1}(λ)=∅ for all λ,θ. If any such negative-after-one-transition diagram has a non-empty M_{λ,θ}, Lemma 5.7 is false and Theorem 5.1 fails. A computational enumeration up to small dimensions would settle whether the lemma has obvious counterexamples.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The main theorem's link from non-emptiness to the combinatorial criteria is Step 1, which proves (a)=>(c) and (b)=>(c) using Lemma 5.7. The manuscript states 'We omit the proof here' (§5.1) and refers to [Gai24, Cor. 4.17], the author's own prior preprint. The lemma asserts that a single Hanany–Witten transition from a diagram with a non-empty bow variety never creates a negative dimension. Without it, condition (c) does not follow from non-emptiness, and the equivalence between (a)/(b) and the supersymmetry/stratum conditions collapses; the rest of the theorem cannot repair this. Remark 3.4 also promises an extension of Nakajima–Takayama's isomorphism theorem to negative-dimensional HW-equivalent diagrams, and that extension is needed by the same Step 1. Appendix A only proves (c)<=(d) and does not supply the missing lemma. Because this is an explicitly omitted proof of a load-bearing implication, the central claim is conditional on an external result.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper gives combinatorial and numerical criteria for deciding whether an affine type A bow diagram gives rise to a non-empty bow variety. The main theorem, Theorem 5.1, asserts the equivalence of six conditions: non-emptiness of the non-deformed bow variety, existence of some non-empty deformation/stability bow variety, non-negativity of all dimension vectors reachable by Hanany–Witten transitions, validity of the supersymmetry inequalities for every separated Hanany–Witten equivalent diagram, supersymmetry of the diagram in the sense of brane systems, and the stratum condition formulated in terms of affine Lie algebra weights. The proof is organized into five steps, and additional results include the preservation of non-emptiness under supersymmetric increments (Theorem 5.16) and a direct combinatorial proof of one implication in Appendix A. A finite-step algorithm for detecting supersymmetry is presented in Section 6, with worked examples in Section 7.","tokens_in":38646,"tokens_out":4819,"duration_ms":48069,"significance":"If Theorem 5.1 is correct, the paper provides a substantial and useful characterization: non-emptiness of affine type A bow varieties becomes a finite, checkable numerical condition, and it links the representation-theoretic non-emptiness question to supersymmetry in type IIB brane systems and to weights of affine Lie algebras. The explicit algorithm in Section 6 and the construction of brane diagrams and moment-map solutions in Sections 6.2 and 6.3 are concrete contributions that go beyond a bare equivalence statement. The proof of Theorem 5.16 on supersymmetric increments is a self-contained result of independent interest, and Appendix A contains a clever combinatorial argument for a nontrivial direction. However, the central theorem is not self-contained: the key implication from non-emptiness to the combinatorial conditions rests on Lemma 5.7, whose proof is omitted and deferred to the author's own preprint [Gai24], and one step in Section 5.5 invokes Theorem 5.1 in the course of proving it. These issues are fixable, but they make the main claim conditional as written.","major_comments":[{"comment":"Lemma 5.7 is load-bearing for Step 1, and therefore for the implications (a)⇒(c) and (b)⇒(c) in Theorem 5.1. The manuscript states 'We omit the proof here' and refers the reader to the author's own preprint [Gai24, Corollary 4.17]. No statement of the proof or of the supporting argument is included. Since condition (c) is the bridge from non-emptiness of bow varieties to the combinatorial supersymmetry criteria, this omitted proof is not a local detail: as written, the main theorem is conditional on an external result. The manuscript should either include a complete proof of Lemma 5.7 or explicitly state Theorem 5.1 as conditional on [Gai24, Corollary 4.17].","section":null},{"comment":"In the first direction of Proposition 5.24, the proof says 'By Theorem 5.1, we know that it originates from a supersymmetric brane diagram' while Theorem 5.1 is precisely the statement being proved. The intended argument is presumably to use the already established Step 3, specifically Proposition 5.13, which shows that supersymmetry inequalities imply supersymmetry in the finite type A case. However, as written the proof is circular. This needs to be rewritten so that every invocation in the proof of Proposition 5.24 refers only to implications already proved independently of Theorem 5.1.","section":null},{"comment":"Remark 3.4 asserts that [NT17, Proposition 7.1], the isomorphism of bow varieties under Hanany–Witten transitions, extends from nonnegative dimension vectors to arbitrary bow diagrams, including those with negative entries. This extension is used in Step 1, but no proof is given in §5.1; the text only says that the result extends and cites [Gai24]. Since negative dimensions appear precisely in the transitions whose effects Lemma 5.7 must control, the isomorphism theorem cannot be treated as a black box at this point. A proof or a precise statement of the needed extension should be included.","section":null}],"minor_comments":[{"comment":"The sentence 'The implication (e)⇒(c) follows from the definition of Hanany–Witten transitions for supersymmetric brane systems...' appears twice in the outline; one occurrence should be deleted.","section":null},{"comment":"The label 'Example 4.4' is used twice: once for Proposition 4.4 and once for the example following it. The example should be renumbered to avoid confusion.","section":null},{"comment":"The sentence 'Since the relation between brane diagrams and bow diagrams of affine type A, one may wonder...' is missing a word; it should say 'Since the relation between brane diagrams and bow diagrams of affine type A is established' or similar.","section":null},{"comment":"The notation switches between lowercase 'cdt' and uppercase 'cDt' in Lemma 5.9 and the surrounding text; although the intended meaning is clear, consistent notation would improve readability.","section":null}],"recommendation":"major_revision","confidential_remarks":"The main concern is the paper's self-reliance on the author's unpublished preprint [Gai24] for Lemma 5.7, which is central to the main theorem. The circular reference to Theorem 5.1 inside the proof of Proposition 5.24 is also a serious presentational flaw, though it appears fixable by citing the already-proved Step 3. I would not recommend rejection if these issues are addressed, but the manuscript in its current form is not suitable for publication because the main theorem is not self-contained and one internal step is circular as written."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe short version: this is a serious paper with a real result. Gaibisso gives the first combinatorial and numerical criterion for when an affine type A bow diagram yields a non-empty bow variety, phrased as six equivalent conditions: non-emptiness of M_{0,0}, existence of some non-empty bow variety, absence of Hanany–Witten equivalent diagrams with negative dimensions, the supersymmetry inequalities, supersymmetry, and the stratum condition. If Theorem 5.1 is right, it closes a natural gap in the bow variety literature and makes the connection to brane supersymmetry precise.\n\nWhat is genuinely new: the characterization of supersymmetry for affine type A brane systems via Hanany–Witten transitions, the supersymmetry inequalities, the finite-step algorithm for deciding supersymmetry, and Theorem 5.16 (supersymmetric increments preserve existence of solutions to the moment map). The proofs of Steps 2–5 and Appendix A are detailed and mostly self-contained. The examples are helpful. The paper is honest about what it relies on.\n\nThe soft spot is exactly the one the reader flagged. The implications (a)=> (c) and (b)=> (c) are Step 1, and they depend on Lemma 5.7: a single Hanany–Witten transition from a diagram with non-empty bow variety cannot create a negative dimension. The manuscript says \"We omit the proof here\" and points to [Gai24, Corollary 4.17], the author's own preprint. For λ=0 they cite [SW23, Corollary 3.14], but for general λ the proof is not included. Remark 3.4 also promises an extension of Nakajima–Takayama's isomorphism theorem to negative-dimensional Hanany–Witten equivalent diagrams, and that extension is needed for the same step. This is a load-bearing external dependency. It may well be true, but a referee cannot verify the central theorem without seeing that proof. I do not think this is fatal—everything else in the paper is consistent with the lemma being true—but it makes the main claim conditional.\n\nWho this is for: anyone working on bow varieties, Coulomb branches, or 3d mirror symmetry. It deserves a serious referee. My recommendation: send it out, and ask the author to include a proof of Lemma 5.7 (or at least a full derivation from [NT17]) in the paper or an appendix.\n\nReading group: yes, if your group does geometric representation theory. I would cite it if I worked on bow varieties, though I would probably first wait for the gap to be closed.","headline":"A serious paper with a real result—first combinatorial criterion for non-emptiness of affine type A bow varieties—but the load-bearing Step 1 rests on Lemma 5.7, stated without proof and deferred to the author's own preprint.","tokens_in":39188,"tokens_out":3772,"would_cite":true,"duration_ms":36939,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14D21","16G20","17B67","14L24"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that an affine type A bow variety is non-empty exactly when its brane diagram is supersymmetric, and that this can be decided by finitely many inequalities.","keywords":["bow varieties","brane diagrams","supersymmetry","Hanany-Witten transitions","affine type A","non-emptiness criterion","quiver varieties","affine Lie algebra weights"],"falsifier":"Compute $M_{0,0}$ for a small affine type A bow diagram with all dimension entries non-negative whose separated Hanany-Witten equivalent has a negative dimension after one transition; if such a diagram has a non-empty $M_{0,0}$, Theorem 5.1 is false, and in particular Lemma 5.7 fails. The paper's own Section 6 algorithm provides the finite inequality list whose violation is the candidate witness.","tokens_in":38204,"feed_emoji":"🧮","tokens_out":9866,"duration_ms":90760,"temperature":0.7,"pith_summary":"This paper asks when a bow diagram—the combinatorial data, built from arrows, points, and a dimension vector, that encodes a configuration of D3-, D5-, and NS5-branes in type IIB string theory—produces a non-empty bow variety, a moduli space of instanton-type objects. It establishes that non-emptiness is equivalent to the brane configuration being supersymmetric in the physical sense: between any two 5-branes of different types, no more than one D3-brane of each orientation winds around any number of full loops. The main theorem states six equivalent conditions, including a purely numerical one: after separating the diagram, a finite list of explicit inequalities (the supersymmetry inequalities) must hold. This converts a previously delicate existence question into a finitely checkable calculation, and it implies that when the answer is yes, the ordinary non-deformed bow variety $M_{0,0}$ is non-empty and a point of it can be constructed by the paper's algorithm.","feed_headline":"Supersymmetry decides when bow varieties are non-empty","feed_subtitle":"For affine type A diagrams, a finite inequality check tells whether the associated bow variety exists.","key_machinery":"The proof is carried by three interlocking devices. The Hanany-Witten transition is a local rewriting of a bow diagram that swaps an adjacent arrow and x-point and changes the dimension vector by $v_+ + v' = v_- + v_+ + 1$; a theorem on these transitions makes them isomorphisms of bow varieties, so any condition invariant under Hanany-Witten equivalence is a candidate geometric invariant. The supersymmetry inequalities $cD^t_{s,k} \\geq 0$ and $aD^t_{n+1-s,w+1-k} \\geq 0$ are explicit quadratic expressions in the dimension entries of a separated diagram; they encode exactly the requirement that moving x-points around arrows any number of full loops never produces a negative dimension. The stratum condition reformulates the same requirement in the language of balanced bow diagrams and affine Lie algebra weights, with dominant weight inequalities playing the role of non-negativity. The reduction from affine to finite type A is achieved by supersymmetric increments—adding unfixed D3-branes between branes of the same type—which are shown to preserve both supersymmetry and non-emptiness of the moment fiber.","core_discovery":"The central discovery is Theorem 5.1: for a bow diagram $(B,\\Lambda,v)$ of affine type A, the following are equivalent: (a) $M_{0,0}$ is non-empty; (b) some bow variety $M_{\\lambda,\\theta}$ with arbitrary deformation and stability parameters is non-empty; (c) every Hanany-Witten equivalent bow diagram originates from a brane diagram, i.e. no sequence of Hanany-Witten transitions creates a negative dimension; (d) every Hanany-Witten equivalent separated diagram satisfies the supersymmetry inequalities; (e) the diagram is supersymmetric; and (f) it satisfies the stratum condition, which can be expressed in terms of dominant weights of affine Lie algebras. In particular, the algebro-geometric question 'does this bow variety exist?' is the same as the string-theory question 'does this brane system preserve supersymmetry?', and both are answered by finitely many inequalities.","pith_inferences":["Because the theorem equates supersymmetry with non-emptiness, a computational census of small separated diagrams could map the exact boundary of the non-emptiness region in dimension-vector space; the paper gives the inequalities but does not carry out such a census.","The deferred Lemma 5.7 is the single bridge from geometry to combinatorics: if its proof in [Gai24] does not go through for general $\\lambda$, the implication '(a) implies (c)' is unsupported, although the remaining equivalences among (c)-(f) would still stand.","The S-duality transposition of generalized Young diagrams suggests a geometric pairing between strata and slices of bow varieties; proving that correspondence would give a mirror-symmetric reading of the same numerical criterion."],"forward_implications":["Non-emptiness of an affine type A bow variety is decidable: the Section 6 algorithm reduces the question to finitely many supersymmetry inequalities, and if they all pass, $M_{0,0} \\neq \\emptyset$.","Every supersymmetric bow diagram has a non-empty non-deformed bow variety, and the paper's construction yields an explicit point of $M_{0,0}$, not just an existence certificate.","Supersymmetric increments between arrows or between x-points preserve the property of having a non-empty bow variety, so adding D3-branes of the same type never destroys existence.","The stratum condition gives a representation-theoretic test: non-emptiness is equivalent to the existence of a dominant affine Lie algebra weight $\\kappa$ lying between two weights attached to the diagram, generalizing the classical stratification of balanced bow varieties.","For types B, C, and D brane systems, the same algorithm detects supersymmetry after reflecting through the orientifold to reduce to type A."],"supporting_citations":[{"why":"Supplies the quiver description of affine type A bow varieties, the isomorphism theorem for Hanany-Witten transitions, and the stratification result behind the stratum condition.","marker":"[NT17]"},{"why":"Defines supersymmetric brane systems and Hanany-Witten transitions; the implication (e) implies (c) rests on this physical process.","marker":"[HW97]"},{"why":"Introduces bow varieties as ADHM-type moduli spaces and connects them to brane systems.","marker":"[Che11]"},{"why":"Defines the symplectic triangle variety attached to each x-point, the basic building block of bow varieties.","marker":"[Tak16]"},{"why":"Gives the $\\lambda=0$ case of Lemma 5.7, the key step showing a single Hanany-Witten transition cannot create a negative dimension from a non-empty variety.","marker":"[SW23, Corollary 3.14]"},{"why":"The paper explicitly omits the proof of Lemma 5.7 for general $\\lambda$ and defers to this corollary, making it load-bearing for Step 1.","marker":"[Gai24, Corollary 4.17]"},{"why":"Supplies generalized Young diagrams and level-rank duality used to encode balanced bow diagrams by weights of affine Lie algebras and to transpose under S-duality.","marker":"[NT92]"}],"fun_headline_variants":["Supersymmetry inequalities decide bow variety non-emptiness","Bow varieties: supersymmetry decides existence","Finite inequalities prove bow variety non-emptiness","Bow variety non-emptiness from supersymmetry inequalities"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The chain from non-empty bow variety to supersymmetric brane system hangs on Lemma 5.7, whose proof is omitted here and deferred to the author's separate preprint [Gai24]; if that lemma is false, condition (a) need not imply condition (c), and the six-way equivalence collapses.","fun_headline_variants_meta":{"raw":{"variants":["Supersymmetry inequalities decide bow variety non-emptiness","Bow varieties: supersymmetry decides existence","Finite inequalities prove bow variety non-emptiness","Bow variety non-emptiness from supersymmetry inequalities"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001102,"raw_usage":{"total_tokens":4578,"prompt_tokens":906,"completion_tokens":3672,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":522,"completion_tokens_details":{"reasoning_tokens":3608}},"tokens_in":522,"tokens_out":3672,"duration_ms":25354,"temperature":1.0,"reasoning_tokens":3608,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T05:57:42.467396+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute $M_{0,0}$ for a small affine type A bow diagram with all dimension entries non-negative whose separated Hanany-Witten equivalent has a negative dimension after one transition; if such a diagram has a non-empty $M_{0,0}$, Theorem 5.1 is false, and in particular Lemma 5.7 fails. The paper's own Section 6 algorithm provides the finite inequality list whose violation is the candidate witness.","supporting_citations":[],"review_version":1}