{"id":"d433085c-ca82-4316-9099-dd6fe4524d8a","arxiv_id":"2504.12235","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Rotating Topological Stars are smooth, horizonless, ergoregion-free five-dimensional solitons obtained by analytic continuation of known rotating black string solutions, with separable geodesic and scalar perturbation equations.","lead":"Physicists construct a three-parameter family of smooth, horizonless rotating geometries in five-dimensional Einstein-Maxwell theory with a Chern-Simons term, interpolating between a Kerr black string and the static Topological Star. These 'rotating topological stars' may serve as black-hole-like models for gravitational wave searches, since they avoid horizons and singularities when angular momentum is quantized.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No-CTC proof in §3.3 rests on unshown positivity of D^(0), D^(1), G^(0), G^(1), G^(2) after eq. (3.50); a sign change would breach the central claim.","rationale":"I read the paper as a construction: starting from the known [28] family, the authors analytically continue to a^2<0, impose cap regularity by fixing Ry=γ, and then show absence of ergoregion and CTCs. The smoothest and most explicit part is the metric and the ergoregion bound; the most delicate and least explicit part is the no-CTC positivity claim. The reader's weakest_assumption identifies exactly this gap, and I agree. I considered whether the asymptotic Z_q orbifold or the quantization condition Ry ξ_φ=-h/q could be a more serious flaw; both are actually necessary and consistent, and the rationality condition is part of the stated claim. I also checked the ergoregion bound (3.46) numerically in representative limits; it appears valid. Therefore the single load-bearing risk is the unverified positivity of the five functions in (3.49)-(3.50). This is an addressable gap: a direct symbolic/numeric check would settle it. Because the gap is real but plausibly repairable, the reader's CONDITIONAL verdict remains appropriate; my stress-test does not move it.","tokens_in":22440,"tokens_out":18222,"duration_ms":179030,"concrete_test":"Compute the components g_ŷŷ and D directly from the boosted metric (3.4) with (3.34) and (3.35), substitute the definitions (3.49)-(3.50), and verify positivity of D^(0), D^(1), G^(0), G^(1), G^(2) on the domain r≥r+, |χ|≤1 for representative points in the RTS parameter space, including the rationally quantized cases h/q=1/2, 2/3 used in Fig. 2 and the near-static limit h/q→0. If any function is negative away from the fixed set, evaluate (3.47) pointwise to check whether a negative eigenvalue appears.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim that the RTS geometry has no closed timelike curves is established in Section 3.3 by reducing to the 2D metric (3.47) and asserting that g_ŷŷ>0 and D>0. Equations (3.49) and (3.50) express these quantities in terms of five functions D^(0), D^(1), G^(0), G^(1), G^(2) whose explicit forms the paper deliberately omits, stating only that \"one can check\" they are positive except at the fixed points of B_ŷ. This is the only step in the smoothness/no-CTC argument that is not demonstrated analytically: the absence of an ergoregion is proven by the explicit bound (3.45)-(3.46), and the smooth cap condition is fixed by setting Ry=γ in (3.31). If any of the five functions changed sign inside r≥r+, |χ|<1, the determinant D or the metric component g_ŷŷ would become negative and closed timelike curves would reappear, invalidating the abstract's headline claim. Because the functions are rational in r and χ, this is a finite symbolic computation, not a matter of principle; yet as published the proof is incomplete. The concern is internal to the paper, not a disagreement with external consensus.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs 'Rotating Topological Stars' (RTS) as a three-parameter family of solutions of five-dimensional minimal supergravity with Chern-Simons term, obtained by analytic continuation of the Compere-de Buyl-Jamsin-Virmani rotating black string to the branch a^2<0. In the regime r_b>r_s, and upon imposing the smooth-cap condition R_y=γ and the angular-momentum quantization (3.41), the solution is claimed to be horizonless, free of ergoregions and closed timelike curves, and to end on a smooth cap of topology R×S^2 while asymptoting to (R^{1,3}×S^1)/Z_q. The paper also computes five- and four-dimensional charges, discusses M-theory and type IIB embeddings in terms of brane intersections, proves separability of geodesic motion and of massless scalar perturbations, and connects the resulting confluent Heun equations to Seiberg-Witten curves.","tokens_in":22637,"tokens_out":18473,"duration_ms":179050,"significance":"If the unproved positivity assertion in Sec. 3.3 is confirmed, the paper delivers an explicit, horizonless, rotating soliton family in a minimal supergravity theory, continuously connected to Kerr (at r_b=0) and to the static topological star (at a=0), with integrable geodesic motion and separable scalar perturbations. This is a valuable step for the fuzzball/ECO program because the explicit metric makes concrete gravitational-wave phenomenology possible. Strengths of the presentation include the use of an independently constructed metric from [28] (so the smoothness and quantization conditions are derived rather than fitted), explicit analytic computations of charges and conserved quantities, and falsifiable predictions such as the absence of an ergoregion and the small-rotation light-ring behavior. The central no-CTC claim, however, currently rests on an unverified symbolic assertion, so the manuscript is not yet self-contained.","major_comments":[{"comment":"The proof of absence of closed timelike curves is incomplete. The positivity of D and g_haty_haty is reduced to the assertion that the five functions D^(0), D^(1), G^(0), G^(1), G^(2) are positive except at the fixed points of B_haty, but their explicit expressions are not displayed and no proof is supplied. Since a sign change in any of these functions inside r≥r_+, |χ|<1 would make the determinant or g_haty_haty negative and would create CTCs, this is a load-bearing gap in the abstract's central claim. Please provide the explicit rational forms, in an appendix if necessary, together with a verification of positivity over the full domain of parameters and coordinates; as the functions are rational in r and χ, this is a finite check that can be documented.","section":"Sec. 3.3, Eqs. (3.49)-(3.50)"}],"minor_comments":[{"comment":"The inequality chain is not valid as written: from r≥r_+>r_b and 0<ξ_t<1 one cannot conclude ((1-ξ_t^2)r-r_b)/r>0, since r_+ may be smaller than r_b/(1-ξ_t^2); for example r_s=0.9, r_b=1, r_+=1.1 gives a negative value at r=r_+. The no-ergoregion conclusion nevertheless follows immediately from (3.45), where rb>rs makes all displayed terms nonnegative, so the faulty intermediate step should be corrected or deleted.","section":"Eq. (3.46)"},{"comment":"The phase-diagram paragraph refers to 'section ??' for a detailed discussion, and the text after Eq. (3.30) contains an unresolved '[?]' citation; both should be completed.","section":"Sec. 3.1 and Eq. (3.30)"},{"comment":"The caption uses t1 and t2 without defining these quantities in the text, so the reader cannot tell which projected line corresponds to which phase.","section":"Fig. 1 caption"},{"comment":"The exact light-ring condition for general rotation is stated to be a quintic, but the small-a expansion (4.34) is carried only to first order; the text should state explicitly that existence and uniqueness of light rings for arbitrary a is left open.","section":"Sec. 4, Eq. (4.33)"},{"comment":"The phrase 'smooth five-dimensional cap' could be misread: the cap itself has topology R×S^2 and is a three-dimensional locus at which the y-circle shrinks; consider rephrasing to 'the five-dimensional geometry ends on a smooth cap'.","section":"Abstract"}],"recommendation":"major_revision","confidential_remarks":"The only substantive obstacle is the missing positivity verification in Sec. 3.3. If the authors can supply the explicit functions and a documented positivity check, I would support publication; the remaining issues are local corrections. I see no concerns about novelty or scope."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe paper you asked about delivers what it promises: the first smooth, horizonless rotating family in minimal 5D supergravity that connects Kerr and the static topological stars. The construction is honest — the metric comes from Compere et al., and the new physics is in the analytic continuation to a^2<0, the quantization condition from the cap, the absence of an ergoregion, and the separability of geodesic and scalar equations. That is real and worth having.\n\nWhat is good: the regularity analysis at the cap is explicit, and the quantization of angular momentum (3.41) follows from a clean geometric requirement, not from fitting a target. The no-ergoregion proof is a solid analytic bound. The Hamilton-Jacobi separation with a Carter-like constant is carefully done, and the reduction of scalar perturbations to confluent Heun equations is a useful tool for later QNM work. The string/M-theory embeddings are sketchy but plausible; they are not load-bearing for the main result. There is no circularity — the parent metric is independent and nothing is fitted.\n\nThe soft spot is exactly the one flagged in the stress test. Section 3.3's no-CTC argument reduces to positivity of five unshown functions D^(0), D^(1), G^(0), G^(1), G^(2). The authors say 'one can check' and do not display them. This is the only unshown step in the central claim. It is probably fixable — these are rational functions in r and chi, and a finite computation would settle it — but as published the proof is incomplete. I would not call it a fatal flaw, but a referee should ask for the explicit forms or a verified positivity argument. A second, lesser gap: the light-ring analysis stops at a quintic and only gives perturbative results; that is disclosed, and it does not affect the existence claim. Stability is also deferred, which is acceptable for a first construction.\n\nOn the citation side, the paper leans heavily on the authors' own prior work on static topological stars, but the citations there are genuine, and the field is small. No red flag.\n\nWho this is for: people working on exotic compact objects, gravitational wave echoes, and the fuzzball program. It gives them a concrete rotating soliton to test phenomenologically. I'd bring it to a reading group, and I'd tell a journal to send it to a serious referee — with the request that the no-CTC functions be shown or proven positive.","headline":"A credible first rotating generalization of topological stars, with a real but likely fixable gap in the no-CTC proof.","tokens_in":23216,"tokens_out":1917,"would_cite":true,"duration_ms":19196,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":null,"created_at":"2026-08-16T12:34:27.484953+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":null,"supporting_citations":[],"review_version":1}