{"id":"5823954f-9e27-4819-826d-3c233d873da6","arxiv_id":"hep-th/0407065","paper_version":2,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":8.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"An exact five-dimensional supergravity solution is constructed whose event horizon has S1 x S2 topology, the first asymptotically flat supersymmetric black hole that is not spherical.","lead":"The paper presents an exact supersymmetric black-hole solution in five-dimensional supergravity whose horizon is a ring (S1 x S2) rather than a sphere, the first asymptotically flat supersymmetric example with non-spherical horizon. It matters because it gives string theorists a controlled, finite-area setting to test how microstructure distinguishes horizon topologies.","discovery_kind":"extension","skeptic_critique":{"model":"selfhosted/deepseek-v4.1-flash","headline":"No significant objection identified. The reader's flagged B0/C0 concern is misdirected: those finite parts are cosmetic, and horizon regularity is controlled by B2, B1, C1, which the paper gives.","rationale":"The paper is a landmark result that has been independently verified in the literature. The reader's ACCEPT verdict is correct. The reader's weakest_assumption identifies the right area (horizon regularity) but misidentifies the load-bearing constants: B0 and C0 are cosmetic finite parts, while B2, B1, C1 control the essential regularity. The paper provides enough information to check the construction, and the solution has been verified many times. The compressed algebra in the CTC positivity grouping and the horizon regularity construction are normal for a letter and do not threaten the central claim. No significant objection lands.","tokens_in":8626,"tokens_out":26203,"duration_ms":479719,"concrete_test":"Substitute the constants B2, B1, C1, B0, C0 from (13) into the metric (15) and verify that all metric components are analytic at r=0 (no negative powers of r) and that the inverse metric is also analytic. If any component has a residual 1/r or 1/r² divergence, the horizon regularity claim fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"No significant objection identified. The paper's central claim — a regular supersymmetric black ring with S1×S2 horizon — requires the coordinate transformation (12)-(13) to make the metric analytic at r=0. The reader flags the finite-part constants B0 and C0 as underived and potentially failing to remove the coordinate pathology. However, B0 and C0 only remove a linear-in-r term in grr; they do not affect whether the metric is analytic. The essential regularity is controlled by B2 = q²L/(4R), C1 = -q/(2L), and B1 = (Q+2q²)/(4L) + L(Q-q²)/(3R²), which remove the 1/r² and 1/r divergences. The paper gives these constants and states the construction; the derivation is standard and checkable. The paper also correctly notes that L=0 gives a null orbifold singularity, consistent with regularity requiring L>0. I do not find a load-bearing concern with the central claim.","agreement_with_reader":"partial"},"referee_report":{"model":"selfhosted/deepseek-v4.1-flash","summary":"The manuscript presents a new exact solution of five-dimensional minimal supergravity (Einstein-Maxwell with a Chern-Simons term) that is supersymmetric, asymptotically flat, and has an event horizon of topology S1 x S2. The solution is given in closed form in Eqs. (1)-(6), with the four-dimensional base space taken to be flat R4 in the coordinates (3), and is specified by three parameters (Q, q, R) that map to the mass and two independent angular momenta through Eq. (10), with M = (sqrt(3)/2) Q_total saturating the BPS bound. The authors argue that r = 0 is a regular Killing horizon by exhibiting the coordinate transformation (12)-(13) and the resulting analytic metric (15), read off the horizon geometry S1 x S2 with radii L and q/2 (Eq. 16) and area (17), note the vanishing surface gravity and angular velocities, derive the near-horizon geometry AdS3 x S2 (18), and show that R -> 0 reproduces the BMPV black hole while R -> infinity reproduces the black string of Ref. [13]. They also delineate the region of the J_phi-J_psi plane occupied by rings (Fig. 1) and discuss the entropy discontinuity at R = 0.","tokens_in":8869,"tokens_out":11542,"duration_ms":198649,"significance":"If correct, and the explicit closed forms make the central claim directly checkable, this is a genuinely new class of BPS black objects: the first asymptotically flat supersymmetric solution with non-spherical horizon topology, filling in case (ii) of the horizon classification of Ref. [4] and answering a question explicitly left open there. The paper is unusually checkable for a Letter: the metric, one-form and gauge potential are given in closed form, the near-horizon limit provides an independent consistency check against the classification theorem of [4], and the infinite-radius limit reproduces the conjectured solution of [13], which is a nontrivial check on both. The parameter-space analysis of Fig. 1 and the entropy discontinuity at R = 0 are concrete, falsifiable statements that sharpen the comparison with BMPV and set up the microscopic (AdS3/CFT2) question the authors advertise. The result is likely to be widely used, and the Letter's level of detail is appropriate for the format.","major_comments":[],"minor_comments":[{"comment":"The phrase 'uniquely specified by its electric charge and two independent angular momenta' reads as a uniqueness theorem among all supersymmetric solutions, whereas the 'Uniqueness' section only establishes that the three parameters (Q, q, R) map to the three conserved charges (Q, J_phi, J_psi) within this family, and the paper explicitly leaves global uniqueness as an open question in the final paragraph. Suggest rephrasing to make the family-level reading explicit and adding the one-line invertibility argument: from Eq. (10), dJ_phi/dq = (3 pi / 8G)(Q - q^2) > 0 for Q > q^2, so J_phi fixes q once Q is given, and J_psi then fixes R.","section":"Abstract [abstract:s3] and section 'Uniqueness'","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The second equality for the horizon area should be checked. From L = sqrt(3) sqrt[(Q - q^2)^2/(4q^2) - R^2] one obtains A = 2 pi^2 L q^2 = sqrt(3) pi^2 q sqrt[(Q - q^2)^2 - 4 q^2 R^2], whereas the printed expression appears to have lost the square root over the bracket; as it stands the right-hand side has dimensions of length^5 rather than the required length^3.","section":"Eq. (17)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The symbol Q is used both for the constant parameter in Eqs. (4)-(5) and for the total electric charge, so that the sentence 'The total electric charge Q is proportional to Q and satisfies M = (sqrt(3)/2) Q' is circular as printed. A distinct symbol for the total charge (or for the parameter) would remove the ambiguity, which also affects the reading of Eq. (10) and of the M = (3 pi / 4G) Q relation.","section":"Eqs. (4)-(5) and the sentence following Eq. (10)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The claim that (x - y)^2 f^{-2} g_{psi psi}/(-1 - y) can be grouped into a sum of terms that are all non-negative when Eq. (11) holds is asserted rather than displayed, and the same is true of the non-negativity of the 2 x 2 determinant of g_{ij} for i, j = phi, psi. Since CTC-freedom is part of the regularity claim for the exterior, a short appendix or footnote giving the explicit sum-of-squares decomposition would make the check reproducible by the reader.","section":"Section 'Absence of closed timelike curves'","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The statement that the determinant of the metric at r = 0 vanishes 'if, and only if, sin 2 theta = 1' appears to be a typographical error. From Eq. (15) the determinant is proportional to sin^2 theta and vanishes at the poles theta = 0, pi of the S2, which is the coordinate singularity the authors intend; please check the condition as typeset.","section":"Eq. (15) and the following sentence","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The leading O(r^0) term in g_{rr} is omitted as 'lengthy and unilluminating', but analyticity of g_{rr} at r = 0 is precisely what the horizon claim rests on. A footnote giving that term, or stating explicitly that it is a finite analytic function of x at r = 0, would let the reader verify the cancellation performed by the choice of B_0 without redoing the expansion.","section":"Eq. (15)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The caption notes that the j_phi and j_psi scales differ, but no tick values or axis ranges are given, so the boundaries of the allowed region cannot be read off quantitatively. Suggest labeling the three boundary curves directly with their defining conditions (L = 0, q = 0, R = 0) and stating the plotted ranges of j_phi and j_psi.","section":"Fig. 1","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The sentence 'supersymmetry should ensure that this new solution is stable' is a heuristic; either soften it to 'is expected to be stable' or attach a reference or a one-sentence argument, since stability is not established in the Letter.","section":"Introduction","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The phrase 'the metric signature, which we take to be positive' is ambiguous; 'mostly plus' would state the convention unambiguously for readers comparing with Refs. [3] and [11].","section":"Conventions, after Eq. (1)","authors_acknowledge":null,"authors_acknowledge_p":null}],"recommendation":"accept","confidential_remarks":"This is a concise, self-contained Letter reporting an important and checkable result; the level of detail is appropriate for the format and the reliance on the companion paper [8] (hep-th/0408120) for the general multi-charge solution and the six-dimensional supertube interpretation does not undercut any claim made here. The self-citations to Refs. [4] and [11] are the relevant published classification and BPS-equation results and are used appropriately, not as a substitute for verification. My minor comments are presentation-level; none of them bears on the central claim, and I would not require a re-review of the revised version."},"author_rebuttal":null,"desk_editor":{"model":"selfhosted/deepseek-v4.1-flash","letter":"Short version: this is the real thing. Eqs. (4)–(6) give a closed-form BPS black ring, and the properties that make it interesting are worked out rather than asserted — mass M = (√3/2)Q saturating the BPS bound, two independent angular momenta (10), horizon area (17), and a near-horizon geometry that is AdS3×S2 with AdS3 radius q and S2 radius q/2, exactly the structure the horizon classification of [4] demands. The two limits are the right ones: R = 0 collapses to BMPV, R → ∞ reproduces Bena's infinite string [13]. That the ring carries a non-conserved dipole q fixed by the asymptotic charges, and that the S2 stays round while non-extremal rings deform it, are the details that make the solution usable rather than decorative. The CTC analysis is a real constraint, not a formality: condition (11) is what carves out the allowed region of the Jφ–Jψ plane, and they check both gψψ and the 2×2 determinant of gij on φ,ψ. Credit for doing that instead of hand-waving it away with supersymmetry. On the reader's weakest-assumption flag: it's misdirected, and the stress-test note is right. B0 and C0 only kill a linear-in-r piece of grr; regularity at r = 0 is controlled by B2, B1, C1, which the paper states explicitly. The L = 0 remark is a consistency check, not a warning sign. The actual soft spots are the usual letter-length compressions: the substitution into the BPS system (2) is one line with a helpful identity, and the CTC positivity is 'can be grouped into a sum of non-negative terms' without the grouping shown. Both are an afternoon with a symbolic algebra package, and neither threatens the claim. Two smaller things. 'Uniquely specified by its electric charge and angular momenta' is a statement about this family, not a global uniqueness theorem, and the closing questions say as much. And the general three-dipole solution is deferred to [8], so this is the equal-charge slice — honestly flagged, not hidden. The entropy discontinuity at R = 0 is argued from a figure; that's the least rigorous claim in the paper, and it's a qualitative remark, not load-bearing. Who should read it: anyone working on higher-dimensional black holes, AdS3/CFT2, or microstate counting for non-spherical horizons. This is the object that crowd has been waiting for since [5]. Send it to referees, and cite it.","headline":"A genuine new exact solution — the first asymptotically flat BPS black hole with S1×S2 horizon — with the checks that matter actually present in the paper.","tokens_in":9473,"tokens_out":1423,"would_cite":true,"duration_ms":23872,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"pith_extraction":{"msc":[],"pacs":["04.65.+e","04.70.-s","04.50.+h"],"model":"selfhosted/deepseek-v4.1-flash","headline":"Five-dimensional supergravity admits a supersymmetric black hole whose horizon is shaped like a ring — a circle times a sphere — rather than a sphere, and the authors write the solution down explicitly.","keywords":["supersymmetric black ring","five-dimensional supergravity","black hole horizon topology","BPS solution","near-horizon geometry","AdS3 x S2","angular momentum","minimal supergravity"],"falsifier":"Compute curvature invariants of the metric in Eq. (15) at $r=0$ for parameters satisfying $R < (Q-q^2)/(2q)$: if any invariant diverges, or if the stated $B_0$ and $C_0$ fail to render the metric components analytic in $r$, then $r=0$ is not a regular horizon and the central claim collapses.","tokens_in":10012,"feed_emoji":"🕳️","tokens_out":3523,"duration_ms":62442,"temperature":0.7,"pith_summary":"The paper asks whether the only supersymmetric black hole in five dimensions is the known spherical one, the BMPV solution, and answers no by exhibiting an explicit counterexample. The authors give a metric, a one-form and a Maxwell potential on flat four-dimensional space in ring coordinates, verify that they solve the equations of five-dimensional minimal supergravity, and show that the resulting spacetime is asymptotically flat, saturates the BPS bound $M=(3^{1/2}/2)Q$, and has an event horizon of topology $S^1 times S^2$. The solution carries electric charge and two independent angular momenta, so supersymmetry constrains the mass against the charge but leaves the two spins free — unlike BMPV, which has equal spins and a spherical horizon. What makes it worth attention is that the horizon is a regular, finite-area surface with vanishing surface gravity, sitting at the bottom of an infinite throat whose near-horizon geometry is $AdS_3 times S^2$; the authors note that the ring's conserved charges can approach those of the spherical black hole arbitrarily closely but never coincide with them, because the ring shrinks to BMPV only in the degenerate limit where the circle radius goes to zero.","feed_headline":"First supersymmetric black hole with a ring-shaped horizon","feed_subtitle":"Five-dimensional supergravity admits a BPS black hole whose horizon is a circle times a sphere, not a sphere.","key_machinery":"The load-bearing device is the general form of any supersymmetric solution of five-dimensional minimal supergravity in a region where the supersymmetric Killing vector $V=partial/partial t$ is timelike: $ds^2 = -f^2(dt+omega)^2 + f^{-1} ds^2(M_4)$, with $M_4$ hyper-Kähler, subject to $dG^+ = 0$ and $Delta f^{-1} = (4/9)(G^+)^2$ where $G^+ = frac{1}{2} f(domega + star domega)$. Taking $M_4$ to be flat $R^4$ in the ring coordinates of Eq. (3), the authors supply $f^{-1}$ and the two components of $omega$ and check the pair of equations, with the Maxwell field then fixed by $f$ and $omega$. The second device is the near-horizon analysis: a coordinate change $dt = dv - B(r)dr$, $dphi = dphi' - C(r)dr$, $dpsi = dpsi' - C(r)dr$ with $B$ and $C$ chosen order by order in $r$ removes the divergences and leaves a metric analytic at $r=0$, which is what upgrades a coordinate pathology at $y=-infty$ into a genuine Killing horizon. The third is the closed-timelike-curve check: positivity of $g_{psi psi}$ as $y to -infty$, together with positivity of the determinant of the $(phi,psi)$ block, is shown to hold throughout the exterior when $R < (Q-q^2)/(2q)$.","core_discovery":"The central claim is that the fields in Eqs. (4)–(6) — a scalar $f$, a one-form $omega$ and a gauge potential $A$ built on flat $R^4$ written in ring coordinates — constitute a supersymmetric, asymptotically flat solution of five-dimensional minimal supergravity whose event horizon has topology $S^1 times S^2$. This is stated as the first example of a supersymmetric, asymptotically flat black hole of non-spherical topology, and it sits exactly in case (ii) of the earlier classification of allowed supersymmetric horizon geometries. The authors compute the charges: $M = 3pi Q/(4G)$, $J_phi = pi q(3Q-q^2)/(8G)$ and $J_psi = pi q(6R^2+3Q-q^2)/(8G)$, so the BPS inequality is saturated while the two angular momenta remain independent. They show the horizon is regular by exhibiting a coordinate transformation with explicitly chosen constants that makes the metric analytic at $r=0$, with $V=partial/partial v$ null and normal there; the spatial cross-section is $S^1 times S^2$ with circle radius $L$ and sphere radius $q/2$, and the area is $A = 2pi^2 L q^2$. The authors acknowledge that if $L=0$ the same construction produces a null orbifold singularity rather than a horizon, so regularity of the ring requires $L>0$, which the no-closed-timelike-curves bound $R < (Q-q^2)/(2q)$ guarantees. Setting $R=0$ collapses the ring to the BMPV black hole, which is why the ring's charges can approach but never equal those of the spherical solution.","pith_inferences":["If the ring is stable as the authors expect from supersymmetry, then the space of BPS states at fixed charge contains at least two disconnected horizon topologies, so any entropy formula that depends only on conserved charges cannot distinguish them — a sharp test for microscopic counting.","The discontinuity of entropy at $R to 0$ suggests a first-order-like transition between ring and sphere phases at fixed charge; it would be worth checking whether a non-extremal five-parameter family interpolates between them and where the ring actually dominates.","The quantization remark — that $q$ counts Kaluza–Klein monopoles wrapping the ring circle and should be quantized in units of the compactification radius — implies the allowed ring charges form a discrete lattice inside the continuous $J_phi$–$J_psi$ region, which is checkable once the six-dimensional uplift is fixed.","Since the two angular momenta are unconstrained by supersymmetry, the same construction should extend to a three-charge, three-dipole family whose conserved charges no longer determine the solution; the equal-charge case presented here would then be a measure-zero slice with unusually simple uniqueness properties."],"forward_implications":["Supersymmetric black holes in five dimensions are not unique to spherical topology: for fixed electric charge there is a two-parameter family of BPS black rings spanning a region of the $J_phi$–$J_psi$ plane, bounded by $L to 0$, by $q to 0$, and by $R to 0$.","The near-horizon geometry is locally $AdS_3 times S^2$ with $AdS_3$ radius $q$ and sphere radius $q/2$, matching the expectation that supersymmetric horizons of this topology factorize this way.","The entropy is discontinuous across $R=0$: the ring entropy approaches a limit that is strictly below the BMPV entropy at the same charges, in analogy with coincident sources in multi-centre extremal Reissner–Nordström solutions.","The infinite-radius limit $R to infty$ with fixed charge density reproduces the previously conjectured black-string solution of Bena, giving that solution a finite-radius parent with two independent angular momenta.","Because the solution is supersymmetric and has a regular finite-area horizon, its entropy is a candidate target for a statistical-mechanical counting, which the authors leave for future work."],"supporting_citations":[{"why":"Supplies the classification of supersymmetric solutions and the $f$, $omega$, $G^+$ equations that the ring ansatz is built to satisfy, plus the statement that the Maxwell field is determined by them.","marker":"[11]"},{"why":"The non-supersymmetric black ring; supplies the flat $R^4$ ring coordinates of Eq. (3) and the $S^1 times S^2$ horizon template the new solution follows.","marker":"[3]"},{"why":"Proves that a supersymmetric horizon must be $T^3$, $S^1 times S^2$, or a squashed $S^3$, and that case (iii) is uniquely BMPV; the new solution fills in case (ii).","marker":"[4]"},{"why":"The BMPV black hole, the spherical supersymmetric solution the ring is compared against and to which it reduces at $R=0$.","marker":"[2]"},{"why":"Provides the BPS bound on mass versus charge that the solution is shown to saturate.","marker":"[10]"},{"why":"Conjectured the existence of a supersymmetric black ring, which this paper constructs.","marker":"[5]"},{"why":"The claimed infinite-radius black string whose solution is recovered as the $R to infty$ limit of the ring.","marker":"[13]"},{"why":"Establishes that surface gravity and horizon angular velocities vanish for supersymmetric asymptotically flat black holes, as found here.","marker":"[12]"}],"fun_headline_variants":["Supersymmetric black ring has an S1×S2 event horizon","First asymptotically flat BPS black hole with ring-shaped horizon","Ring charges near but never equal spherical BMPV charges","Regularity caveat: L=0 gives a null orbifold, not a horizon","Two independent angular momenta fix the supersymmetric black ring"],"cache_read_input_tokens":0,"weakest_assumption_plain":"The load-bearing premise is that the coordinate change with the quoted finite-part constants really does make the metric analytic at $r=0$, so that the surface is a regular Killing horizon rather than a null orbifold singularity; the paper asserts this rather than deriving the constants, and it notes that when $L=0$ the same construction gives a singularity instead of a horizon.","fun_headline_variants_meta":{"raw":{"variants":["Supersymmetric black ring has an S1×S2 event horizon","First asymptotically flat BPS black hole with ring-shaped horizon","Ring charges near but never equal spherical BMPV charges","Regularity caveat: L=0 gives a null orbifold, not a horizon","Two independent angular momenta fix the supersymmetric black ring"]},"model":"selfhosted/deepseek-v4.1-flash","effort":"low","attempts":1,"cost_usd":0.0,"raw_usage":{"total_tokens":1958,"prompt_tokens":957,"completion_tokens":1001,"prompt_tokens_details":null,"completion_tokens_details":{"reasoning_tokens":923}},"tokens_in":957,"tokens_out":1001,"duration_ms":20183,"image_pages":[],"temperature":1.0,"reasoning_budget":50,"reasoning_tokens":923,"transport_provider":"selfhosted","cache_read_input_tokens":0,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-10-29T16:42:20.196178+00:00","model_set":{"reader":"selfhosted/deepseek-v4.1-flash"},"falsifier":"Compute curvature invariants of the metric in Eq. (15) at $r=0$ for parameters satisfying $R < (Q-q^2)/(2q)$: if any invariant diverges, or if the stated $B_0$ and $C_0$ fail to render the metric components analytic in $r$, then $r=0$ is not a regular horizon and the central claim collapses.","supporting_citations":[{"cited_title":"All supersymmetric solutions of minimal supergravity in five dimensions","cited_arxiv_id":"hep-th/0209114","evidence_quote":"Supplies the classification of supersymmetric solutions and the $f$, $omega$, $G^+$ equations that the ring ansatz is built to satisfy, plus the statement that the Maxwell field is determined by them."},{"cited_title":"A rotating black ring in five dimensions","cited_arxiv_id":"hep-th/0110260","evidence_quote":"The non-supersymmetric black ring; supplies the flat $R^4$ ring coordinates of Eq. (3) and the $S^1 times S^2$ horizon template the new solution follows."},{"cited_title":"Higher dimensional black holes and supersymmetry","cited_arxiv_id":"hep-th/0211290","evidence_quote":"Proves that a supersymmetric horizon must be $T^3$, $S^1 times S^2$, or a squashed $S^3$, and that case (iii) is uniquely BMPV; the new solution fills in case (ii)."},{"cited_title":"D--branes and Spinning Black Holes","cited_arxiv_id":"hep-th/9602065","evidence_quote":"The BMPV black hole, the spherical supersymmetric solution the ring is compared against and to which it reduces at $R=0$."},{"cited_title":"Supersymmetric Self-Gravitating Solitons","cited_arxiv_id":"hep-th/9310118","evidence_quote":"Provides the BPS bound on mass versus charge that the solution is shown to saturate."},{"cited_title":"Three Charge Supertubes and Black Hole Hair","cited_arxiv_id":"hep-th/0402144","evidence_quote":"Conjectured the existence of a supersymmetric black ring, which this paper constructs."},{"cited_title":"Splitting hairs of the three charge black hole","cited_arxiv_id":"hep-th/0404073","evidence_quote":"The claimed infinite-radius black string whose solution is recovered as the $R to infty$ limit of the ring."},{"cited_title":"Black Holes of D=5 Supergravity","cited_arxiv_id":"hep-th/9810204","evidence_quote":"Establishes that surface gravity and horizon angular velocities vanish for supersymmetric asymptotically flat black holes, as found here."}],"review_version":1}