{"id":"cc51b80e-982f-4fad-86e3-5912263781ed","arxiv_id":"1908.08518","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"The paper gives necessary and sufficient geometric conditions for N=(1,0) AdS2 solutions in M-theory with SU(4)-structure, and presents numerical evidence for a new Q^{1,1,1} solution with both mesonic and baryonic charges.","lead":"This paper derives a set of geometric conditions for supersymmetric AdS2 spacetimes in M-theory with a particular internal structure, extending earlier results to the minimal supersymmetry case. It then constructs possible near-horizon geometries of black holes dual to three-dimensional quantum field theories, including a numerical candidate with both baryonic and mesonic charges.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The advertised 'new solution with mesonic charge' is not demonstrated: no mesonic charge is computed, and the paper itself calls n1 a 'would-be' mesonic charge.","rationale":"The reader's CONDITIONAL verdict is appropriate. The strongest part of the paper, the SU(4)-structure classification and the unification of known solutions, is well supported and internally consistent. My concern differs from the reader's stated weakest assumption: rather than questioning exhaustiveness of the metric ansatz, I question whether the numerical branch has been shown to carry a mesonic charge at all. Even within the ansatz, a numerical solution to the ODE with a parameter n1 is not automatically a solution with mesonic charge; the analytic branch provides a concrete warning, since its n1-dependence disappears under coordinate redefinition. The paper is transparent about this in the body, using 'would-be' and footnote 5, but the abstract overstates the result. The appropriate remedy is a charge computation for the numerical solutions; until that is supplied, the new mesonic solution should be regarded as unverified, which is consistent with the reader's conditional acceptance. No change of verdict is needed.","tokens_in":28695,"tokens_out":8838,"duration_ms":97156,"concrete_test":"Compute conserved charges for the numerical Example 1 as functions of n1. Generalize the Page-charge definitions (3.18)-(3.21) and the flux-quantization integral N (3.23b) to the numerical metric and flux, and also evaluate the Bekenstein-Hawking entropy. If Q_i, P_i, N, or S vary nontrivially with n1 and reduce to the known n1=0 values, the parameter is a physical mesonic charge. If they are n1-independent (or n1 can be removed by a diffeomorphism without changing any invariant), the headline claim fails and the 'mesonic' interpretation must be abandoned. As a numerical control, re-solve (3.8) with an independent high-order integrator or collocation method at higher precision, and report the residual of the ODE and the deviation of U'(xR) from -2; the present claim rests on plots without released data or error estimates.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The abstract's headline result is 'a new solution with baryonic and mesonic charges turned on simultaneously.' The body supports this only with numerical solutions to the 4-form equation of motion (3.8) and never computes a charge associated with n1. In the analytic branch of Section 3.4.1, the solution (3.37) is shown to be independent of n1 after the coordinate redefinition (3.38), and footnote 5 states that this 'strongly implies that (3.37) is not the solution with a mesonic twist.' The numerical branch in Section 3.4.2 is meant to repair that defect, but the same diagnostic is absent: the paper tunes u2 to obtain U'(xR) = -2, checks positivity of the metric and removal of conical singularities, but does not define or evaluate a Page charge, flux integral, or entropy whose n1-dependence would establish that n1 is a genuine mesonic charge rather than a coordinate artifact. The phrase 'would-be mesonic charge n1' in the text is the authors' own qualification. Without such a charge computation, the central claim that the numerical solution carries mesonic charge is not established; the baryonic charges are also not evaluated for the numerical backgrounds. The SU(4)-structure classification (2.29a)-(2.30c) appears internally sound; the gap is in the advertised application.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies supersymmetric AdS2 solutions of 11-dimensional supergravity with an SU(4)-structure on the internal nine-manifold. It proposes differential and algebraic conditions (2.29a)-(2.30c) for N=(1,0) supersymmetry, building on the bi-linear Killing-spinor classification of [23], and then derives a sharper Kähler-structure set (2.44a)-(2.44f) for N=(2,0). The second half specializes to AdS2 x Sigma_g x Q^{1,1,1}, recasts the known universal-twist and Betti-multiplet solutions, and presents two new branches: an analytic polynomial branch (Section 3.4.1) and a numerical branch (Section 3.4.2) intended to turn on a mesonic twist n1 together with baryonic charges. The abstract claims that a new solution with baryonic and mesonic charges turned on simultaneously is found, and that necessary and sufficient conditions are constructed.","tokens_in":50,"tokens_out":7717,"duration_ms":141727,"significance":"If the classification statement is fully established, the paper would extend the N=(2,0) results of [21] to N=(1,0) and provide a framework for near-horizon geometries relevant to I-extremization and AdS4 black-hole microstate counting. The paper has several concrete strengths: the derivation is grounded in the known Killing-spinor geometry of [23]; the N=(2,0) reduction reproduces known results; the recasting of the universal-twist and Betti-multiplet solutions is careful; and the independent Killing-spinor calculation in Appendix C yields the same master ODE, providing a useful cross-check. However, the advertised new mesonic-charge solution is not supported by a charge computation: no charge integral is evaluated for the numerical backgrounds, and the paper itself calls n1 a 'would-be mesonic charge'. The lasting value of the manuscript therefore lies mainly in the classification and unification part, with the new-solution claim requiring substantial additional evidence or a significant softening.","major_comments":[{"comment":"The abstract and Section 2 state that necessary and sufficient conditions for N=(1,0) supersymmetry are constructed, but the text immediately after (2.30c) only says \"It seem likely that these are necessary and sufficient conditions for supersymmetry\" and concedes that \"we have not totally ruled out the possibility of some redundancy.\" Sufficiency follows from (2.12)-(2.14), but no proof is given that every N=(1,0) AdS2 solution with SU(4)-structure satisfies all of (2.29a)-(2.30c). Since the classification claim is a central advertised result, the authors should either complete the necessity argument or state the result as sufficient conditions and adjust the abstract and conclusions accordingly.","section":"§2.3.2, Eqs. (2.29a)-(2.30c)"},{"comment":"The numerical solutions with n1 != 0 are not shown to carry mesonic or baryonic charge. The electric and magnetic charges defined in (3.18)-(3.21) are evaluated only for the analytic branch (3.19), (3.21), (3.28), (3.29), and that branch is explicitly said in footnote 5 not to be the mesonic-twist solution. For the numerical backgrounds, no Page charge, flux integral, or entropy is computed as a function of n1, so the abstract's claim of \"a new solution with baryonic and mesonic charges turned on simultaneously\" is not established; n1 could still be a coordinate artifact. Please compute at least one physical charge for the numerical solution and show that it is nonzero and properly quantized, or revise the claim.","section":"§3.4.2, Eqs. (3.18)-(3.21), Figures 1-3"},{"comment":"The numerical construction is presented with tuned values of u2 and x_R (for example, u2 = -16.12833 and x_R = 0.2651715 for n1 = 1) but without any stated numerical accuracy. The paper does not report the residual of (3.8) over the interval [x_L, x_R], the tolerance in the shooting condition U'(x_R) = -2, or the sensitivity of the solution to the truncation order Jmax in (3.42). Since this numerical solution is the only evidence for the new mesonic-charge branch, please provide residual and convergence checks or explicitly characterize the results as preliminary numerical evidence.","section":"§3.4.2, ODE (3.8) and shooting method"}],"minor_comments":[{"comment":"There are several typos and grammatical issues: \"It seem likely\" should be \"It seems likely\", \"parametrixed\" should be \"parametrized\", and \"susyersymmetry\" should be \"supersymmetry\".","section":"§2.3.2 and Conclusions"},{"comment":"The figure captions are terse parameter lists; captions should be self-contained and should state, for example, what is plotted, the fixed external parameters, and the consequence of the chosen u2 values.","section":"Figures 1-3"},{"comment":"The charge definitions use a potential A with dA = F and iota_V A = 0, but the global existence and closure of the Page charge integrand on the internal manifold are not discussed; a brief comment on why these integrals are well defined would be helpful.","section":"§3.3.2, Eqs. (3.18), (3.20)"}],"recommendation":"major_revision","confidential_remarks":"The classification part of the paper is solid and likely publishable after the necessity claim is aligned with the actual proof. The main obstacle is the new-solution claim: the numerical branch is not accompanied by any charge computation, and the authors' own footnote 5 already signals that the analytic branch is not a mesonic solution. This is fixable by either computing the charges or, more modestly, presenting the numerical branch as a candidate and softening the abstract. I see no concerns about novelty disclosure or citation practice."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You should know two things about this paper. The genuinely valuable piece is Section 2: the derivation of necessary-and-sufficient conditions (2.29a)-(2.30c) for N=(1,0) AdS2 solutions in M-theory with SU(4)-structure, built cleanly on the Gauntlett-Pakis geometric classification. Appendices A and B rule out Spin(7)-structure and AdS3 foliations within this class, and Appendix C cross-checks the result through a direct Killing-spinor solve. That part is solid, and the N=(2,0) reduction matching Donos-Gauntlett-Kim is a good consistency check. The classification itself deserves to be cited and used.\n\nThe soft spot is exactly where the abstract points: the claim of a new solution with baryonic and mesonic charges turned on simultaneously. The analytic solution in 3.4.1 is shown to be n1-independent after coordinate redefinition; footnote 5 quietly says it is probably not the mesonic twist solution. The numerical solutions in 3.4.2 are tuned to satisfy U'(xR)=-2 and to deform smoothly as n1 goes to zero, but the paper never computes a Page charge, flux integral, or entropy whose n1-dependence would establish that n1 is a genuine mesonic charge rather than a coordinate artifact. The authors themselves call n1 a 'would-be mesonic charge.' No numerical data or error estimates are released. So the advertised headline result is not actually established by the evidence presented; it is a plausibly suggestive numerical trajectory.\n\nThe authors are transparent about the main limitations, including possible redundancy in their conditions and the restricted metric/flux ansatz. That transparency earns credit, but it does not rescue the abstract's overstatement. The classification theorem is the real result; the Q^{1,1,1} application is a promising but unfinished case study. The citation pattern looks reasonable, with the key prior work properly acknowledged. The math in Section 2 and the appendices reads carefully; the ODE analysis in Section 3 is competent even if the physical interpretation is not nailed down.\n\nWho gets value from this? Anyone working on AdS2 classifications, black hole near-horizon geometries, or M-theory compactifications with flux. It deserves a serious referee. My recommendation: send it out, but the referee should ask for a concrete charge computation for the numerical backgrounds — or a clearly softened abstract. This is a conditional accept, not a desk reject.","headline":"The N=(1,0) SU(4)-structure conditions are a real step forward; the advertised mesonic-charge solution is not demonstrated, and the authors mostly admit it.","tokens_in":29555,"tokens_out":1023,"would_cite":true,"duration_ms":12495,"reading_group":"yes","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 derives sufficient (and likely necessary) conditions for N=(1,0) AdS2 solutions of M-theory with SU(4)-structure, then uses them to construct a new AdS2×Σ_g×Q^{1,1,1} near-horizon geometry carrying both baryonic and mesonic…","keywords":["AdS2 solutions","M-theory","SU(4)-structure","Q^{1,1,1}","baryonic charges","mesonic charges","Sasaki-Einstein manifolds","Killing spinor geometry"],"falsifier":"Take the external parameters of Example 1, set n1=1, and integrate the fourth-order ODE (3.8) from x_L=0 with U(0)=0, U'(0)=2, and tunable U''(0)=u2; the claimed solution exists only if one finds u2 for which U(x_R)=0 and U'(x_R)=-2 at finite x_R>0, with $e^{{-A(x)}}$ positive throughout, and failure to find such a u2 for any n1 would falsify the new-solution claim.","tokens_in":28494,"feed_emoji":"🕳️","tokens_out":9499,"duration_ms":91502,"temperature":0.7,"pith_summary":"Working in eleven-dimensional supergravity, the paper asks which warped AdS2 backgrounds with internal nine-manifolds supporting an SU(4)-structure can be supersymmetric. It derives a list of differential and algebraic conditions on the structure forms and the fluxes—displayed as (2.29a)–(2.30c)—that are sufficient for N=(1,0) supersymmetry and, the authors argue, very likely necessary. This generalizes an earlier N=(2,0) analysis, which the paper recovers as the special case where the internal space is a U(1) fibration and the structure is Kähler. The payoff is a unification of known AdS2×Σ_g×$Q^{{1,1,1}}$ solutions and the construction of a new family with baryonic and mesonic charges turned on at the same time, the mesonic charge parameter n1 being continuously tunable down to zero in the numerical examples. This matters because such near-horizon geometries are the missing gravitational side of entropy counts for asymptotically AdS4 black holes dual to Chern-Simons quiver theories.","feed_headline":"M-theory AdS2 solution pairs baryonic and mesonic charges","feed_subtitle":"A numerical AdS2×Q^{1,1,1} near-horizon geometry lets the mesonic charge be turned off smoothly.","key_machinery":"The central object is an SU(4)-structure on the internal nine-manifold $M_9$: a real one-form $V$, a $(1,1)$-form $J$, and a $(4,0)$-form $\\Omega$, with the metric $\\mathrm{d}s^2(M_9)=V^2+\\mathrm{d}s^2(M_8)$. The paper translates the Killing-spinor bilinears into equations on $(V,J,\\Omega)$ and the fluxes $G_2,G_4$; equations (2.29a)–(2.30c) are the load-bearing conditions. The other key machinery is the family of $Q^{{1,1,1}}$ ansätze in section 3.2, where all unknown functions depend only on $x_1$ and the 4-form equation of motion reduces to the fourth-order ODE (3.8) for $U(x_1)$; solving that ODE with appropriate boundary conditions is what produces the new solutions.","core_discovery":"On its own terms, the paper's central result is that the whole supersymmetry of an N=(1,0) AdS2 solution of M-theory with an SU(4)-structure is encoded in the five differential conditions (2.29a)–(2.29e) and three algebraic constraints (2.30a)–(2.30c), together with the Bianchi identity and equation of motion for the four-form flux. The derivation starts from the known necessary-and-sufficient Killing-spinor geometry of eleven-dimensional supergravity, so solving the new conditions guarantees supersymmetry; whether every such solution satisfies them is left as a likely-but-unproved converse. Specializing to N=(2,0) forces the one-form V to be dual to a U(1) R-symmetry isometry, making the internal metric a warped Kähler fibration and reproducing the earlier 'transgression' solutions. For $Q^{{1,1,1}}$, the same framework reduces the flux equation of motion to a fourth-order nonlinear ODE for a single function U(x1); the paper exhibits one new polynomial solution, which lies in a branch disconnected from n1=0, and a numerical family that deforms smoothly under n1→0 and has both Betti-multiplet (baryonic) and mesonic charges.","pith_inferences":["Beyond the paper's claims, if the numerical family passes full regularity and flux-quantization checks, its Bekenstein-Hawking entropy should match the topologically twisted index of the dual Q^{1,1,1} quiver with both baryonic and mesonic chemical potentials—an agreement that would extend the known universal-twist entropy match.","The disconnected polynomial solution, being independent of n1 and singular in the n1→0 limit, is more plausibly a different near-horizon topology than the mesonic twist itself; the numerical family is the stronger candidate for the missing black-hole near-horizon.","The same SU(4)-structure conditions could in principle be scanned over other Sasaki-Einstein seven-manifolds with non-trivial second Betti number to look for analogous baryonic-plus-mesonic AdS2 solutions, provided the relevant Betti multiplets are known."],"forward_implications":["Each supersymmetric AdS2 solution in this class has a symplectic, generically non-Kähler internal geometry; Kähler structure and the U(1) R-symmetry are special to N=(2,0), so magnetic flux prevents the generic enhancement to N=(2,0).","The universal-twist solution and the deformed Betti-multiplet solutions of earlier work are recovered as special cases of the same ansatz, giving a unified classification chart for AdS2×Σ_g×Q^{1,1,1}.","The numerical solutions with n1≠0 are the first candidates within this ansatz for AdS2 near-horizon geometries with both baryonic and mesonic charges; their smooth n1→0 limit distinguishes them from the disconnected polynomial branch.","The Spin(7)-structure and AdS3 exclusions delineate the boundary of this classification: a complete classification of AdS2 solutions in M-theory will require going beyond SU(4)-structure."],"supporting_citations":[{"why":"Supplies the necessary-and-sufficient eleven-dimensional Killing-spinor geometry (2.12)–(2.14) from which the SU(4)-structure conditions are derived.","marker":"[23]"},{"why":"Provides the prior N=(2,0) AdS solutions, including the deformed Q^{1,1,1} solution with Betti multiplets, which this paper generalizes and recovers.","marker":"[21]"},{"why":"Establishes the electric-only AdS2 solutions with a U(1) R-symmetry and Kähler structure, the contrasting case that becomes N=(2,0).","marker":"[19]"},{"why":"Provides the universal-twist AdS2×Σ_2×Q^{1,1,1} solution and the entropy/index match that motivates the search for mesonic charges.","marker":"[6]"},{"why":"Identifies b2(Q^{1,1,1})=2, which gives the two Betti multiplets carrying the baryonic charges.","marker":"[44]"},{"why":"Supplies the extremization of the twisted index that the dual geometry is intended to match.","marker":"[41]"}],"fun_headline_variants":["AdS2 solution with both baryonic and mesonic charges","M-theory AdS2: mixing baryonic and mesonic charges","New AdS2×Q^{1,1,1} solution pairs dual charges","Simultaneous baryonic-mesonic charges in AdS2","AdS2 in M-theory: first mixed-charge solution"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the desired near-horizon geometry is captured by an ansatz in which all warping depends on one coordinate, the circle connection has the restricted form (3.2), and the four-form flux has no self-dual parts beyond the Mij terms; if the true mesonically twisted solution needs a richer fibration or flux, it is missed.","fun_headline_variants_meta":{"raw":{"variants":["AdS2 solution with both baryonic and mesonic charges","M-theory AdS2: mixing baryonic and mesonic charges","New AdS2×Q^{1,1,1} solution pairs dual charges","Simultaneous baryonic-mesonic charges in AdS2","AdS2 in M-theory: first mixed-charge solution"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000275,"raw_usage":{"total_tokens":1654,"prompt_tokens":969,"completion_tokens":685,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":585,"completion_tokens_details":{"reasoning_tokens":590}},"tokens_in":585,"tokens_out":685,"duration_ms":6129,"temperature":1.0,"reasoning_tokens":590,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:37:28.036067+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the external parameters of Example 1, set n1=1, and integrate the fourth-order ODE (3.8) from x_L=0 with U(0)=0, U'(0)=2, and tunable U''(0)=u2; the claimed solution exists only if one finds u2 for which U(x_R)=0 and U'(x_R)=-2 at finite x_R>0, with $e^{{-A(x)}}$ positive throughout, and failure to find such a u2 for any n1 would falsify the new-solution claim.","supporting_citations":[{"cited_title":"Gravity Duals of Fractional Branes in Various Dimensions","cited_arxiv_id":"hep-th/0101020","evidence_quote":"Identifies b2(Q^{1,1,1})=2, which gives the two Betti multiplets carrying the baryonic charges."}],"review_version":1}