{"id":"f83d1cf8-42c1-48d3-8dc7-8ee02cd187e1","arxiv_id":"2412.00428","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"New infinite families of supersymmetric spindle-bolt solutions with branched lens-space boundaries are constructed, with on-shell actions matching equivariant localization.","lead":"This paper builds explicit new families of Euclidean supersymmetric gravity solutions with a spindle surface in the bulk and a squashed lens space at the boundary. It matters because these solutions give concrete holographic duals for three-dimensional supersymmetric field theories and reveal a sharp twist-versus-anti-twist pattern in the on-shell action.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Accelerating-sector supersymmetry rests on an unproven sufficiency claim: no explicit Killing spinor is given for any A≠0 solution, so the claimed new supersymmetric PD families in §5 are not yet established.","rationale":"The reader's weakest assumption identifies exactly the same load-bearing concern: the non-accelerating family is supported by an explicit Killing spinor and by holographically renormalized actions that match equivariant localization, but the accelerating family is not supported by a construction of the Killing spinor. The paper itself flags this gap in Section 2.1 and Section 5.2, so the concern is not manufactured: the central claim that the accelerating PD solutions are supersymmetric requires that the algebraic integrability conditions (2.21)–(2.22) be sufficient for the existence of a globally well-defined spinor, and no proof or explicit spinor is provided. This matters most for Section 5.4, where the twist-case action (5.43) is presented as a result for a new supersymmetric solution; if the sufficiency assumption fails, that result may describe a bosonic solution that is not supersymmetric, and the claimed realization of both twist and anti-twist in the accelerating sector would not be established. The concern is internal-completeness rather than disagreement with a consensus; it is a missing proof in the argument, not an alternative viewpoint. Because the non-accelerating sections are explicit and the accelerating sections are explicitly conditional, the reader's CONDITIONAL verdict remains appropriate. No verdict adjustment is needed, and the concrete test above would settle the issue by producing or disproving the missing spinor.","tokens_in":67733,"tokens_out":3375,"duration_ms":36606,"concrete_test":"Solve (2.4) directly for the special accelerating class defined by (5.34)–(5.35): α = P^2, A = ω/Q, E = N^2/Q^2 + 2P, M = NP/Q. In this subfamily the square root in (2.22) is a perfect square and P±, Q± factor as in (5.36), so the Killing spinor equation becomes a linear first-order system in (p,q). Attempt an ansatz of the same form as (3.12) with the PD frame (2.15), imposing single-valuedness around the bolt and boundary after the gauge transformation analogous to (3.53). If a non-trivial globally regular spinor exists, the A≠0 claim is established; if the integrability equations admit no such spinor, or the spinor has the wrong monodromy, Section 5's supersymmetry claim is falsified. A useful cross-check is the A≠0 accelerating black hole limit discussed after (5.18), where a Killing spinor should be independently constructible.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim includes the accelerating (A≠0) Plebański–Demianski solutions of Section 5 as globally regular supersymmetric Euclidean solutions with twist and anti-twist. The paper explicitly does not solve the Killing spinor equation (2.4) for these solutions: after (2.22) it states 'we will not construct explicitly the spinor for the accelerating case ... we believe that these conditions are (necessary and) sufficient for supersymmetry', and §5.2 says it does 'not want to solve' (2.4), inferring the supersymmetric Killing vector only from boundary data. The integrability condition M_μν ε = 0 computed in (2.14)–(2.18) is necessary; sufficiency of the parameter constraints (2.21)–(2.22) for existence of a nontrivial spinor is an assertion, not a theorem. For A = 0 the spinor is explicit in (3.12), but for A ≠ 0 no Killing spinor is exhibited, and the on-shell action check in §5.4 assumes the solution is supersymmetric when feeding the Killing vector into (4.19). Thus the accelerating families, including the special class (5.34)–(5.35) and eq. (5.43), are conditional on a belief rather than on a demonstrated spinor.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs families of Euclidean supersymmetric solutions of minimal gauged supergravity in four dimensions, with U(1)×U(1) invariance and asymptotically locally hyperbolic metrics. The bulk is an orbifold line bundle O(-t) over a spindle bolt, and the boundary is a squashed, possibly branched, lens space. For the non-accelerating Carter-Plebanski subclass (A=0) the authors give explicit Killing spinors, perform a detailed regularity analysis, derive quantization conditions, exhibit both twist and anti-twist graviphoton fluxes, and compute the holographically renormalized on-shell action, matching it against equivariant localization. For the accelerating Plebanski-Demianski sector (A≠0) they compute the general renormalized action, infer a supersymmetric Killing vector from boundary data, and specialize to a class with simplified parameters, again finding twist-type actions and comparing with localization. The paper also provides toric data, limits to previously known NUT and bolt solutions, an M-theory uplift analysis, and a Ricci-flat analogue in an appendix.","tokens_in":68057,"tokens_out":8226,"duration_ms":80777,"significance":"If the results are correct, the paper gives the first explicit spindle-bolt solutions in which the spindle appears in the bulk of asymptotically locally hyperbolic spaces, with both twist and anti-twist realizations, and shows that the distinction is encoded in boundary flat connections. The non-accelerating part is supported by explicit Killing spinors, a careful global regularity analysis, successful reduction to old solutions, and a non-trivial match between holographic renormalization and equivariant localization. The paper also supplies machine-checkable algebraic data, such as the toric polytopes and the quantization conditions, and makes falsifiable predictions for large-N localized partition functions on Seifert orbifolds. These are valuable contributions. The accelerating part, however, is conditional on an unproven sufficiency claim about integrability conditions, and therefore the full advertised scope of the paper is not yet established.","major_comments":[{"comment":"The accelerating-sector results are not yet established. For A≠0 no Killing spinor solving (2.4) is exhibited: after (2.22) the text says only that the authors \"believe\" the algebraic conditions (2.21)-(2.22) are necessary and sufficient, and §5.2 explicitly declines to solve (2.4), inferring the supersymmetric Killing vector from boundary data. The integrability condition (2.14) is necessary but not shown to be sufficient, and the explicit spinor (3.12) is constructed only for A=0. The subsequent checks are therefore conditional: eq. (5.43) is obtained by feeding the boundary-inferred Killing vector into the localization formula (4.19), which itself is derived under the assumption of a bulk Killing spinor. Please either construct the Killing spinor for the special class (5.34)-(5.35), or prove local sufficiency of (2.21)-(2.22) for this class, or explicitly restrict the paper's central claims to A=0 until such a proof is supplied.","section":"§2.1 after Eq. (2.22), §5.2, §5.4"},{"comment":"The claimed matching of the anti-twist on-shell action with equivariant localization relies on the identity (4.45), which is stated with \"it is possible to show\" and no derivation. This identity is the step that converts the localization expression (4.40) into the gravitational formula (4.12), so the equality is not independently checkable from the text. Please provide the derivation in an appendix or as a supplementary computation; this is needed to substantiate the statement in §4.3 that the matching is a highly non-trivial check.","section":"§4.3, Eq. (4.45)"}],"minor_comments":[{"comment":"The displayed denominator of the second equality appears to contain a typo: it should presumably be (q_+^2-p_+^2)(q_+^2-p_-^2), not (q_+^2-p_-^2)(p_+^2-p_-^2). This follows from combining (3.33), (3.34), and (3.36).","section":"Eq. (3.37)"},{"comment":"The denominator written as \"tm_-m_+\" should be \"t m_- m_+\" (that is, t times m_- times m_+). The missing spacing makes the formula ambiguous and could be misread as (t m_-) - m_+.","section":"Eqs. (4.9), (4.43), (5.43)"},{"comment":"The paper uses many signs (η, δ, λ, σ, κ, ρ±) and the reading would be much easier if a compact glossary or table of these signs and their roles were included, perhaps near the end of Section 3.1.","section":"Throughout"},{"comment":"There are several typographical and grammatical slips, e.g. \"not directl y\" near the end of §3.5.3 and \"do the metrics\" in §6. These do not affect the mathematics but should be corrected in a final proofread.","section":"Appendix C and Section 6"}],"recommendation":"major_revision","confidential_remarks":"The paper is a serious and substantial contribution, and the non-accelerating core is solid. The main risk is the unproven sufficiency assumption underlying Section 5; if the authors can provide a Killing spinor for the special accelerating class, or explicitly restrict the claims, the paper would be suitable for acceptance. The missing derivation of (4.45) is also worth requiring before final acceptance."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The non-accelerating half of this paper is a real piece of work. The explicit Killing spinor in (3.12), the careful global analysis producing C/Z_v line bundles over spindles with both twist and anti-twist, and the match between holographic renormalization and equivariant localization for the on-shell action all hold up under scrutiny. That part is the core contribution: the first infinite families of Euclidean supersymmetric solutions with spindle bolts and branched lens-space boundaries in minimal gauged supergravity, together with a clean twist/anti-twist dichotomy in the action and sensible limits to the old 1/4- and 1/2-BPS bolt solutions. Credit is due for doing the global analysis properly and for stating exactly what is and is not proven.\n\nThe soft spot is the accelerating (A≠0) sector, and it is not minor. The paper says explicitly, after (2.22), that it will not construct the spinor and only believes the integrability conditions are sufficient. Section 5.2 infers the supersymmetric Killing vector from boundary data without solving (2.4). So the claimed new accelerating families — including the special class in 5.4 and the twist result (5.43) — are conditional on that belief. This is the difference between a theorem and a conjecture for those families, and the paper should not present them as established without either proving sufficiency of the integrability conditions or exhibiting the spinor for the special class. There are also a few stated-but-unshown identities in the anti-twist localization check (e.g., (4.45)) that a referee would want demonstrated.\n\nFor the non-accelerating families, the math is reproducible and the checks are real; for the accelerating families, the claims outrun the evidence. That asymmetry should be reflected in the published version.\n\nWho gets value from this: anyone working on spindle holography, localization in gauged supergravity, or Euclidean gravitational instantons. I would cite the non-accelerating families and the twist/anti-twist extremization observation, and the paper deserves a serious referee — but the referee should push hard on the accelerating sector.\n\nSend it to peer review, with a clear request to either prove the sufficiency claim, construct the Killing spinor, or explicitly demote the accelerating families to conjectures.","headline":"The non-accelerating spindle-bolt families are solid and well worth refereeing; the accelerating families are explicitly built on an unproven sufficiency claim and should be flagged as conjectural unless a Killing spinor is supplied.","tokens_in":68546,"tokens_out":1793,"would_cite":true,"duration_ms":22501,"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":"The paper constructs regular Euclidean supergravity solutions whose bulk is an orbifold line bundle over a spindle and whose boundary is a branched lens space, and shows that twist versus anti-twist of the graviphoton controls the…","keywords":["spindle","bolt","minimal gauged supergravity","Euclidean supersymmetric solutions","branched lens space","Seifert orbifolds","twist/anti-twist","equivariant localization"],"falsifier":"Substitute the accelerating sub-family defined by $\\alpha=P^2$, $A=\\omega/Q$, and Eq. (5.35) into the Killing spinor equation (2.4) with a general spinor ansatz and check whether a nonzero, single-valued solution exists at generic values of the two continuous parameters; a negative answer would refute the Section 5 claims, since the paper assumes the algebraic integrability conditions are equivalent to supersymmetry without writing the spinor.","tokens_in":67552,"feed_emoji":"","tokens_out":12135,"duration_ms":109843,"temperature":0.7,"pith_summary":"Supersymmetric Euclidean solutions of four-dimensional minimal gauged supergravity are usually nuts or spherical bolts; this paper builds infinite families in which the bolt is a spindle, a two-sphere with two conical points, and the conformal boundary is generically a squashed, branched lens space. The central claim is a dichotomy: when the graviphoton twists through the spindle bolt, the holographically renormalized on-shell action is fixed purely by the integer topological data, while in the anti-twist case the action keeps one continuous parameter. Both types of action match equivariant localization, and the old 1/4-BPS and 1/2-BPS spherical bolt solutions are recovered as limits. This yields concrete holographic predictions: for a given Seifert orbifold boundary, the large-$N$ limit of the localized partition function is either a topologically fixed number or a one-parameter family, depending on the twist.","feed_headline":"On a spindle, twist fixes the action; anti-twist leaves it free","feed_subtitle":"Gauged-supergravity spindle bolts tie lens-space boundary data to bulk topology and predict the large-N partition functions.","key_machinery":"The load-bearing object is the local Plebański-Demianski family of Einstein-Maxwell metrics together with its non-accelerating specialization, whose metric functions $P(p)$ and $Q(q)$ factorize into $P_\\pm$ and $Q_\\pm$ under the supersymmetry conditions. The signs $\\eta,\\sigma,\\kappa$ select which roots $p_\\pm,q_+$ are paired; $\\sigma=+1$ gives twist and $\\sigma=-1$ gives anti-twist on the spindle bolt. The quantization conditions (3.34), (3.36), and (3.48) convert the continuous local parameters into coprime integers $(m_-,m_+,v,t)$, and the resulting toric orbifold is encoded in the labelled fan $\\vec v_1=(r_-,-m_+)$, $\\vec v_2=(v,0)$, $\\vec v_3=(r_+,m_-)$. The on-shell action is then computed in two independent ways, by holographic renormalization and by the equivariant-localization fixed-point formula (4.19), and the identity between the two is what forces the twist action to depend only on topology while leaving the anti-twist action parameter-dependent.","core_discovery":"The authors show that the $U(1)\\times U(1)$-invariant Euclidean sector of four-dimensional minimal gauged supergravity admits supersymmetric orbifold completions of topology $\\mathbb{C}/\\mathbb{Z}_v \\hookrightarrow \\mathcal{O}(-t) \\to \\Sigma[m_-,m_+]$, where $\\Sigma[m_-,m_+]$ is a spindle bolt and the conformal boundary is a branched lens space $L(t,1)$. The graviphoton flux through the bolt is $$\\frac{1}{2\\pi}\\int_{L_2}F = \\frac{\\eta}{2}\\left(\\frac{m_-+\\$\\sigma$ m_+}{m_-m_+} - \\kappa\\frac{t/v}{m_-m_+}\\right),$$ with $\\sigma=+1$ for twist and $\\sigma=-1$ for anti-twist. In the twist case the renormalized on-shell action is $$S_{\\rm ren} = \\frac{\\pi}{8G_4 v}\\left[2\\chi_\\Sigma - \\kappa\\frac{t/v}{m_-m_+} - \\kappa\\frac{v(m_- - m_+)^2}{t\\, m_- m_+}\\right],$$ depending only on integer data, while in the anti-twist case it depends on a continuous parameter $\\tilde q_+$, as in Eq. (4.12). Both results agree with the equivariant-localization fixed-point formula, and the boundary inherits two types of rigid Killing spinors together with specific flat connections that encode the bulk spindle data. The known 1/4-BPS and 1/2-BPS spherical-bolt solutions appear as limits of the twist and anti-twist families respectively.","pith_inferences":["Editorial inference: the dichotomy suggests a general selection rule—Euclidean supergravity fillings of twist type should exist only at extremal values of the off-shell action, while anti-twist fillings should exist for generic boundary R-symmetry choices.","Editorial inference: the anti-twist action's dependence on $\\tilde q_+$ implies the same lens-space boundary can have inequivalent gravity fillings; a search for a second sub-family with identical $(t,v,m_\\pm)$ but different $\\tilde q_+$ would test this directly.","Editorial inference: the accepted complex-valued anti-twist metrics imply that the holographic contour should be interpreted over complex metrics, so real-ness of the bulk metric is not part of the stationarity condition.","Editorial inference: a direct superconformal field theory test would compute the large-$N$ localized partition function on the branched lens space $L[m_-,m_+](t,1)$; in the anti-twist case it should depend on a parameter mirroring $\\tilde q_+$, something a topologically fixed twist result would not do."],"forward_implications":["The old 1/4-BPS and 1/2-BPS spherical bolt solutions of minimal gauged supergravity are recovered as limits of spindle-bolt solutions with twist and anti-twist respectively, so their different on-shell actions are the same dichotomy in disguise.","For branched lens-space boundaries there are two distinct types of rigid Killing spinors plus specific flat connections, so the large-$N$ limit of the localized partition function should jump between a topologically fixed value and a continuously parametrized one according to the twist.","In the twist case the supersymmetric Killing vector of the explicit solution coincides with the extremum of the off-shell localized action, while in the anti-twist case no extremization occurs, sharpening when extremization is part of the existence problem.","The accelerating Plebański-Demianski sub-family with special parameter choice realizes twist as well as anti-twist, so twist is not confined to non-accelerating solutions.","The same orbifold topology $\\mathcal{O}(-t)\\to\\Sigma[m_-,m_+]$ with the same integer data can be filled by non-diffeomorphic solutions in the non-accelerating and accelerating families, so bulk data are not uniquely fixed by topology alone."],"supporting_citations":[{"why":"Defines twist and anti-twist for supersymmetric field theories on a spindle; the paper's $\\sigma=\\pm1$ distinction is this dichotomy realized on the bulk graviphoton.","marker":"[4]"},{"why":"Classifies rigid Killing spinors and gauge fields on three-dimensional Seifert orbifolds; Section 3.4 uses this to interpret the boundary data and the preferred flat connections.","marker":"[7]"},{"why":"The accelerating black hole whose near-horizon spindle realizes anti-twist; the new families extend this to both twists and lens-space boundaries.","marker":"[5]"},{"why":"The complexified accelerating black hole with a spindle bolt; supplies the on-shell action form and the complex-metric convention used for anti-twist solutions.","marker":"[6]"},{"why":"The old 1/4-BPS and 1/2-BPS spherical bolt solutions that the new spindle-bolt families reproduce as limits; their action split is the twist/anti-twist pattern in miniature.","marker":"[15]"},{"why":"The Type I/II NUT solutions recovered as limits; provides the nut-type fixed-point action and the self-dual branch used for comparison.","marker":"[16]"},{"why":"Derives the off-shell action formula for supersymmetric minimal gauged supergravity in fixed-point form; this is the localization expression the paper matches.","marker":"[30]"},{"why":"Establishes equivariant localization of the supergravity action; the paper's main check is that holographic renormalization agrees with this formula in both twist and anti-twist.","marker":"[31]"},{"why":"Supplies the labelled polytope and toric-orbifold technique used to encode the bulk topology $\\mathcal{O}(-t)\\to\\Sigma[m_-,m_+]$.","marker":"[34]"}],"fun_headline_variants":["Spindle bolt twist quantizes on-shell action; anti-twist doesn't","New supersymmetric spindles: twist vs anti-twist in gauged supergravity","Infinite spindle solutions: twist fixes the action, anti-twist frees it","Holographic spindles: twist dictates quantized action","NUTs to spindles: twist locks the action"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that, for the accelerating solutions, satisfying a list of algebraic conditions on the parameters is enough to guarantee that a spinor solving the actual supersymmetry equation exists, since no such spinor is explicitly constructed for them.","fun_headline_variants_meta":{"raw":{"variants":["Spindle bolt twist quantizes on-shell action; anti-twist doesn't","New supersymmetric spindles: twist vs anti-twist in gauged supergravity","Infinite spindle solutions: twist fixes the action, anti-twist frees it","Holographic spindles: twist dictates quantized action","NUTs to spindles: twist locks the action"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000729,"raw_usage":{"total_tokens":3345,"prompt_tokens":1107,"completion_tokens":2238,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":723,"completion_tokens_details":{"reasoning_tokens":2140}},"tokens_in":723,"tokens_out":2238,"duration_ms":15477,"temperature":1.0,"reasoning_tokens":2140,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T05:24:46.163817+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Substitute the accelerating sub-family defined by $\\alpha=P^2$, $A=\\omega/Q$, and Eq. (5.35) into the Killing spinor equation (2.4) with a general spinor ansatz and check whether a nonzero, single-valued solution exists at generic values of the two continuous parameters; a negative answer would refute the Section 5 claims, since the paper assumes the algebraic integrability conditions are equivalent to supersymmetry without writing the spinor.","supporting_citations":[],"review_version":1}