{"id":"f56264b5-a495-41a1-9d6b-c42dc9c4d605","arxiv_id":"1909.00667","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"The reduced Higgs branch of SU(Nc) SQCD with Nf flavors is a union of mesonic and baryonic cones, each the Coulomb branch of a magnetic quiver read from a five-brane web.","lead":"This paper shows that the Higgs branch of SQCD, a standard supersymmetric gauge theory, is naturally a union of two cones, mesonic and baryonic, each captured by a magnetic quiver from a five-brane web. It also explains the role of nilpotent operators that had made earlier Hilbert series computations look inconsistent: removing them yields the geometric space the brane construction sees.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Perfect agreement is established only in low-rank cases: the general brane-web predictions rely on the unproven Conjecture 1 of [19], and the paper's own next non-trivial check, SU(5) with Nf=6, is explicitly beyond current computation.","rationale":"The reader's verdict of CONDITIONAL is appropriate. The paper has genuine supporting evidence: explicit low-rank computations match, the scheme-variety distinction with nilpotent operators is a real and interesting observation, and the brane-web Hilbert series in checked cases equal the known nilpotent orbit closures. However, the central general claim is not proven. The most load-bearing unproven input is Conjecture 1 of [19], because every brane-web Hilbert series in the paper derives from it, and the paper extends it to finite coupling without proof. The completeness of the meson-baryon relations is also deferred to a companion paper, but it is less critical for the checked cases, since the Table 4 Hilbert series are obtained by direct gauge integration over F-terms. The general formulas for all Nf and Nc in Section 5 are conjectural, and the paper itself identifies SU(5) with Nf=6 as the next decisive case, currently out of computational reach. This does not indicate an internal contradiction or any error in the checked cases; it indicates that the claimed 'perfect agreement' has been verified only in a small subset of the parameter space. A concrete computational check in the SU(5), Nf=6 case would either strengthen the central claim substantially or reveal where the extrapolation fails, so the honest verdict remains CONDITIONAL rather than ACCEPT, REJECT, or UNVERDICTED.","tokens_in":33087,"tokens_out":9314,"duration_ms":93396,"concrete_test":"Compute the Hilbert series of the reduced Higgs variety for SU(5) with Nf=6 by directly computing the radical of the ideal generated by the relations (2.13)-(2.19), using an optimized primary-decomposition algorithm, for example Singular's minAssGTZ or Macaulay2 with a different monomial order and with the SU(6) global symmetry used to reduce the polynomial system. Compare the result with the brane-web prediction obtained by combining the formulas (5.47) and (5.50). Agreement in this previously inaccessible case would validate the full chain from the algebraic relations through the radical to the magnetic-quiver prediction; disagreement would show that the general claim fails in a regime explicitly covered by the paper's conjectures.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim that the reduced Higgs variety of SU(Nc) SQCD is reproduced by brane webs and magnetic quivers depends on Conjecture 1 of [19] (reviewed in Appendix A): a decomposition of a five-brane web into subwebs yields a magnetic quiver whose 3d Coulomb branch, computed by the monopole formula, is the corresponding Higgs-branch cone. This paper extends that conjecture from infinite to finite coupling and uses it to produce every Hilbert series labelled 'Brane Web'. The conjecture is imported without proof, so all general brane-web predictions inherit its correctness risk. The direct checks in the paper are confined to small Nf and Nc (Nf at most 4 and Nc at most 5 in Table 4), and in those cases the predicted spaces are already known nilpotent orbit closures or baryonic extensions. They therefore do not independently validate Conjecture 1 in a genuinely new regime. The general formulas (5.42)-(5.52) are explicitly conjectural, and the paper states in Section 5.3.2 that the simplest case with simultaneously non-trivial nilpotent operators and non-trivial mesonic/baryonic intersection, SU(5) with Nf=6, is already out of reach with standard computers. Consequently, 'perfect agreement' as asserted in Section 6 is currently a low-rank extrapolation rather than an established general result. The completeness of the meson-baryon relations (2.13)-(2.19), deferred to [40], is a secondary premise; it is partially checked by the direct F-term gauge integration used for Table 4, and is not the primary source of risk.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper revisits the classical Higgs branch of 4d N=2 SQCD with gauge group SU(Nc) and Nf fundamental flavours. It distinguishes the 'Higgs scheme' (coordinate ring C[M,B,B~]/I containing nilpotent operators) from the 'Higgs variety' (reduced ring C[M,B,B~]/sqrt(I)), and proposes that brane-web/magnetic-quiver computations describe the latter. The authors compute Hilbert series by hyper-Kahler quotient for low ranks (Table 4 for 2 <= Nc <= 5 and 1 <= Nf <= 4), and by the monopole formula for magnetic quivers read off five-brane webs for general Nf and Nc. They verify in small cases that the brane-web Hilbert series equals the Hilbert series of the radical of the meson-baryon relations, identify nilpotent operators such as Tr(M) and Tr(M)M' in the pure-mesonic cases, and propose general conjectural formulas (5.42)-(5.52) for the full Hilbert series including finite multiplicity factors and baryonic intersections.","tokens_in":33387,"tokens_out":6496,"duration_ms":56946,"significance":"If the results hold, the paper gives a clean geometric interpretation: the reduced Higgs branch of SU(Nc) SQCD is a union of mesonic and baryonic cones, each a Coulomb branch of a magnetic quiver, and the previously puzzling nilpotent operators are exactly the difference between the scheme and its radical. The explicit low-rank comparisons are a useful data set, the radical computations for Nf <= 4 are concrete and machine-checked with Macaulay2, and the magnetic-quiver/Hasse-diagram classification is a valuable contribution. The brane-web Hilbert series are not circularly derived from the hyper-Kahler quotient; they are independent predictions checked against it. However, the general validity rests on the unproven Conjecture 1 of [19] and on the completeness of the meson-baryon relations, and the multiplicity formulas in Section 5 are reverse-engineered conjectures. The significance is therefore high if the conjectures are subsequently proved, but the current paper establishes the central claim only in low-rank cases.","major_comments":[{"comment":"The general brane-web predictions (Figures 8-20, Table 6, and the Hilbert series used in Sections 4 and 5) all rest on Conjecture 1 of [19], reviewed in Appendix A but not proved here. The direct checks of the radical prescription cover only Nf <= 4 and Nc <= 5 (Table 4 and Sections 4.1-4.3), and in those cases the relevant spaces are already known nilpotent orbit closures or small baryonic extensions. Consequently, the Section 6 statement that 'we have shown ... perfect agreement with the geometry predicted by the techniques of brane webs' overstates what is established; the honest conclusion is that agreement holds in all computable low-rank cases and is conjectured in general. Please either prove or cite a proof of the conjecture for the finite-coupling webs used here, or explicitly restrict the paper's central claims to the checked regime.","section":"Appendix A / Section 3.5"},{"comment":"The general formulas for the full Higgs-branch Hilbert series, including finite factors and intersection multiplicities, are conjectures reverse-engineered from the difference HSHK - HSBraneWeb in the examples of Sections 5.1 and 5.2. The paper itself notes in Section 5.3.2 that the simplest case with simultaneously non-trivial nilpotent operators and non-trivial mesonic/baryonic intersection, SU(5) with Nf = 6, is already out of reach with standard computers. As written, Section 6 presents these as established results. I recommend either presenting Section 5.3 explicitly as conjectural in the abstract, introduction, and conclusions, or providing at least one additional non-trivial check (for example a refined Hilbert series comparison) before presenting them as proven.","section":"Section 5.3, Eqs. (5.42)-(5.52)"},{"comment":"The reduction from Q~Q - (1/Nc)Tr(Q~Q) = 0 to M^2 = 0 for Nf < Nc relies on the claim that the quotient ring structure does not change when alpha = 1/Nc is varied continuously to alpha = 0. The paper states that this was observed by comparing Hilbert series using Macaulay2, not by proving an isomorphism of rings. Since the subsequent analysis of nilpotent operators (for example Tr(M) for Nf = 2) depends on this identification, the unproved alpha-deformation is load-bearing. Please either prove the ring isomorphism or the Hilbert-series equality for all Nf < Nc, or modify the derivation so that it does not depend on this unproved claim.","section":"Section 4.1, Eqs. (4.2)-(4.3)"},{"comment":"The completeness of the meson-baryon relations (2.13)-(2.19) is deferred to the companion paper [40]. This is load-bearing for the radical computations in Section 4, which use this presentation as the definition of the Higgs ring. The paper states that the gauge-integration and relation-based methods agree 'in all the explicit computations we could perform', which is a useful partial check, but the radical claims for Nc = Nf = 4 (Section 4.2) would be invalid if an additional independent relation existed. Please provide the proof or a more detailed verification, or state explicitly that the radical computations assume the completeness conjecture.","section":"Section 2.2, footnote 8 and Eqs. (2.13)-(2.19)"}],"minor_comments":[{"comment":"The phrase 'so(8), whith' should read 'so(8), with'.","section":"Section 3.4"},{"comment":"The software is spelled 'Maclaulay2' in the text and 'Macaulay2' in the reference; please make the spelling consistent.","section":"Section 4.1 / Reference [43]"},{"comment":"The caption contains 'SCQD', which appears to be a typo for 'SQCD'.","section":"Figure 4 caption"},{"comment":"The convention that the sum from k = 1 to 0 vanishes is non-standard; please replace it with an explicit statement that the sum is empty when Nf = Nc.","section":"Section 5.3.2, Eq. (5.51)"},{"comment":"The companion papers [40] and [42] are cited without arXiv identifiers or publication data; please add the missing information or mark them as 'to appear'.","section":"References [40] and [42]"}],"recommendation":"major_revision","confidential_remarks":"The main obstacle to acceptance is the gap between the proved low-rank checks and the unqualified claim in Section 6. If the authors either prove or import from the companion papers the relevant conjectures (Conjecture 1 of [19] and the completeness of relations), or alternatively recast the general statements as conjectures in the abstract and conclusions, the paper would be suitable for JHEP. In my view the underlying approach is sound and the explicit low-rank computations are valuable, but the current wording overstates what is established."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a real step forward on an old problem, and the central comparison is not circular. The paper separates the Higgs scheme from the Higgs variety, shows that brane webs and magnetic quivers compute the reduced variety, and identifies nilpotent operators as the difference. The low-rank Hilbert series checks against the hyper-Kahler quotient are genuine external benchmarks; in particular the SU(3), Nf=4 case with non-trivial mesonic-baryonic intersection works. This is the first systematic decomposition of the SQCD Higgs branch into mesonic and baryonic cones with a magnetic quiver picture, and the radical story explains the longstanding nilpotent-operator puzzle.\n\nCredit where due: every brane-web answer is benchmarked against an independent gauge-integration computation for Nc up to 5 and Nf up to 4. The pure mesonic case Nf<Nc is treated carefully, with Tr(M) identified as the nilpotent generator and the radical taken explicitly. The multiplicity formulas in Section 5 are new, though explicitly conjectural and partly reverse-engineered from the difference between the two Hilbert series. The citations to [19] and [40] are honest about what is imported.\n\nSoft spots, in proportion: the stress-test note is right. The general brane-web predictions inherit Conjecture 1 of [19], which is unproven. The paper labels this clearly, but Section 6's 'perfect agreement' is too strong if read globally; it is perfect in the checked cases. The completeness of the meson-baryon relations is deferred to a companion paper, though the direct checks mitigate that risk. The next nontrivial case, SU(5) with Nf=6, is beyond current computation, as the authors admit. Minor: the alpha->0 replacement in Section 4.1 is also an observation, not a proof.\n\nWho it is for: people working on Higgs branches, magnetic quivers, Hilbert series, or the algebro-geometric structure of supersymmetric moduli spaces. I would send it to a serious referee. The conjectural upper layer needs clear labelling, and the summary should be softened, but the checked core and the scheme/variety insight are solid enough to justify refereeing.","headline":"A genuine advance: the scheme/variety distinction and radical computation are the real payoff, and the brane-web checks are honest, but the general claims are conjectural and the paper says so.","tokens_in":33988,"tokens_out":3398,"would_cite":true,"duration_ms":123385,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper establishes that the Higgs variety of SU(Nc) SQCD is exactly the union of mesonic and baryonic cones whose Hilbert series are computed from magnetic quivers read off five-brane webs, with nilpotent operators removed by taking…","keywords":["five-brane webs","magnetic quivers","Higgs branch","SQCD","Hilbert series","nilpotent operators","radical ideals","symplectic singularities"],"falsifier":"Compute the Higgs variety of SU(5) with Nf = 6 directly: evaluate the radical of the ideal generated by relations (2.13)-(2.19) and its Hilbert series, and compare with the paper's conjectured formula (5.46)-(5.47) or the brane-web result. A disagreement, or a nilpotent operator not captured by the conjectured multiplicity terms, would falsify the general picture.","tokens_in":32851,"feed_emoji":"🕸️","tokens_out":4814,"duration_ms":277267,"temperature":0.7,"pith_summary":"This paper establishes that the classical Higgs branch of 4d N=2 SQCD with SU(Nc) gauge group and Nf flavours is not a single geometric object but a union of two cones, the mesonic and baryonic branches, with a nontrivial intersection. The authors compute the Hilbert series of every cone and intersection from magnetic quivers obtained by decomposing five-brane webs, and show that these results agree exactly with the hyper-Kähler quotient computation once nilpotent operators are removed by taking the radical. The previously puzzling nilpotent operators in the Higgs ring are precisely the difference between the scheme and its reduced variety, and the paper conjectures Hilbert series for the full scheme including these multiplicities. A sympathetic reader would care because this gives a practical combinatorial way to compute Higgs-branch geometry for arbitrary Nf and Nc, where direct Gröbner-basis methods become unfeasible beyond rank five.","feed_headline":"Brane webs reveal the two-cone shape of SQCD's Higgs branch","feed_subtitle":"Five-brane decompositions fix the mesonic and baryonic cones; nilpotent operators drop out as the radical.","key_machinery":"The magnetic quiver: a quiver with unitary gauge nodes, read off from a tropical five-brane web by decomposing the web into subwebs and computing stable intersection numbers between subwebs; its 3d N=4 Coulomb branch Hilbert series (via the monopole formula) describes one cone of the Higgs branch. The radical ideal plays the complementary role: taking the radical of the ideal generated by the meson-baryon relations removes nilpotent operators and yields the same Hilbert series as the brane-web computation, thereby identifying the geometric variety.","core_discovery":"The central discovery is that the Higgs variety of SU(Nc) SQCD—the reduced geometric object, with nilpotent elements quotiented out—is exactly the union of cones predicted by magnetic quivers read from finite-coupling five-brane webs. Each maximal decomposition of the web into subwebs yields a magnetic quiver whose 3d Coulomb branch, computed by the monopole formula, is one irreducible cone: the mesonic cone for one decomposition and the baryonic cone for the other, with non-maximal decompositions giving their intersection. The Hilbert series assembled by inclusion-exclusion from these cones reproduce the radical of the ideal generated by the meson-baryon relations (2.13)-(2.19). The nilpotent operators of the Higgs ring, such as Tr(M) in the purely mesonic case, are shown to generate the radical ideal, and conjectural formulas for the full Higgs-scheme Hilbert series, including multiplicities of orbits, are proposed for Nf < Nc and Nc ≤ Nf ≤ 2Nc-1.","pith_inferences":["The scheme-versus-variety distinction suggests that different powers of a nilpotent operator label distinct vacua that the paper leaves open to interpret physically, possibly through a tunnelling mechanism between them.","The same magnetic-quiver technique could be applied to Higgs branches of other gauge groups, such as SO or Sp SQCD, where the pattern of nilpotent operators and cone decomposition may differ.","The conjectured multiplicity rule, that the multiplicity of an intersection is the minimum of the multiplicities of the intersecting components, is testable in the next uncomputed case, SU(5) with 6 flavours."],"forward_implications":["The Higgs variety for generic SU(Nc) with Nf flavors is described completely by a small set of magnetic quivers for all ranges of Nf, as summarized in the paper's Table 6 and Figures 8–20.","The global symmetry of each cone, including the baryonic U(1), is read directly from the quiver's unitary nodes and the refined Hilbert series.","The nilpotent part of the Hilbert series is exactly the difference between the hyper-Kähler quotient and the brane-web result, giving an alternative to primary decomposition algorithms.","Conjectured Hilbert series for the full Higgs scheme, including multiplicities of the cones, are given for Nf < Nc and for Nc ≤ Nf ≤ 2Nc−1.","The method is computationally much lighter than Gröbner-basis calculations and extends to arbitrary Nf and Nc."],"supporting_citations":[{"why":"Supplies the central conjecture that decompositions of a five-brane web into subwebs give magnetic quivers whose 3d Coulomb branches are cones of the Higgs branch.","marker":"[19]"},{"why":"Provides the monopole formula used to compute the Coulomb-branch Hilbert series of the magnetic quivers.","marker":"[23]"},{"why":"The companion paper that the authors cite for the completeness of the meson-baryon relations (2.13)-(2.19).","marker":"[40]"},{"why":"Origin of the meson-baryon relations and the description of the moduli space of vacua of N=2 SQCD.","marker":"[2]"},{"why":"Further supports the meson-baryon relations and the Higgs branch structure used in the hyper-Kähler quotient.","marker":"[3]"},{"why":"Used for the Gröbner-basis computations of radicals and Hilbert series that verify the brane-web predictions in low-rank cases.","marker":"[43]"}],"fun_headline_variants":["Magnetic quivers map SQCD's Higgs branch to twin cones","Brane webs decompose SQCD's Higgs into baryonic and mesonic cones","Two cones from magnetic quivers: SQCD Higgs branch","Nilpotent radical clarifies SQCD Higgs cone structure","Brane web magnetic quivers pin down Higgs branch cones"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Everything rests on the conjecture from earlier work that every decomposition of a five-brane web into subwebs produces a magnetic quiver whose 3d Coulomb branch is a cone of the Higgs branch with the correct Hilbert series; if that dictionary fails, the brane-web Hilbert series in this paper lack support.","fun_headline_variants_meta":{"raw":{"variants":["Magnetic quivers map SQCD's Higgs branch to twin cones","Brane webs decompose SQCD's Higgs into baryonic and mesonic cones","Two cones from magnetic quivers: SQCD Higgs branch","Nilpotent radical clarifies SQCD Higgs cone structure","Brane web magnetic quivers pin down Higgs branch cones"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001024,"raw_usage":{"total_tokens":4354,"prompt_tokens":1017,"completion_tokens":3337,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":633,"completion_tokens_details":{"reasoning_tokens":3251}},"tokens_in":633,"tokens_out":3337,"duration_ms":22137,"temperature":1.0,"reasoning_tokens":3251,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T05:40:22.129296+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the Higgs variety of SU(5) with Nf = 6 directly: evaluate the radical of the ideal generated by relations (2.13)-(2.19) and its Hilbert series, and compare with the paper's conjectured formula (5.46)-(5.47) or the brane-web result. A disagreement, or a nilpotent operator not captured by the conjectured multiplicity terms, would falsify the general picture.","supporting_citations":[{"cited_title":"Bourget, S","cited_arxiv_id":null,"evidence_quote":"The companion paper that the authors cite for the completeness of the meson-baryon relations (2.13)-(2.19)."},{"cited_title":"Argyres-Seiberg duality and the Higgs branch","cited_arxiv_id":"0810.4541","evidence_quote":"Further supports the meson-baryon relations and the Higgs branch structure used in the hyper-Kähler quotient."},{"cited_title":"Macaulay 2, a software system for research in algebraic geometry","cited_arxiv_id":null,"evidence_quote":"Used for the Gröbner-basis computations of radicals and Hilbert series that verify the brane-web predictions in low-rank cases."}],"review_version":1}