{"id":"f08aecb2-423c-4b89-8454-82e96c117af9","arxiv_id":"2412.20134","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"In Einstein-Gauss-Bonnet gravity at the Chern-Simons point, exact asymptotically locally AdS5 black holes with primary scalar hair exist for Nil, Solv, and SL(2,R) Thurston horizon geometries.","lead":"The authors construct new black hole solutions in a five-dimensional higher-curvature gravity theory, where a scalar field provides an extra independent 'hair' parameter atop the usual horizon data. The same construction works for three nontrivial horizon shapes and extends to six dimensions for one of them.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The claimed exactness is not demonstrated: the paper reduces the ansatz to Eq. (6) but never verifies the transverse field equations on the non-Einstein Thurston bases, so the central solution may not actually solve (2a).","rationale":"The reader's conditional verdict correctly identifies missing verification and physical caveats, but their weakest_assumption focuses on the fine-tuned quartic coupling and unbounded potential. My stress-test finds a more load-bearing gap: whether the proposed metrics actually solve the complete field equations for non-Einstein Thurston horizons. The paper's derivation stops at a single scalar combination (6) and never shows that the transverse base-sector equations are satisfied. For generic non-Einstein bases, the trace-free Ricci tensor of the horizon metric enters the (ij) equations with r-dependent coefficients; cancellation is plausible only because of the special Chern-Simons Lovelock structure and the conformally coupled scalar, but it is not automatic and is not demonstrated. This is a testable, concrete correctness risk, not a matter of convention or stability. I also found an internal inconsistency in the thermodynamics section, where R(r)=r√μ in Eq. (30) conflicts with the variation δR=-rδμ/(2μ^{3/2}) in Eq. (32); this does not affect the existence claim but further supports the need for a careful independent check. If the symbolic substitution passes, the central claim stands and the paper mainly needs the verification and the R(r) typo fixed; if it fails, the main result is incorrect. Thus the appropriate outcome remains a conditional acceptance subject to the explicit substitution check, exactly the kind of check the reader called for.","tokens_in":85,"tokens_out":48292,"duration_ms":1147251,"concrete_test":"Substitute (9), (12), and (15), with f(r)=r^2/(4α)-μ-3κA^2/(64αr), φ=A/r^{3/2}, Λ=-3/(4α), and ν=-27κ/(2048α), into the full field equations (2a)-(2b) using a symbolic algebra code (xAct/Mathematica or GRTensor), for each of the three base metrics, and demand that every independent component vanishes identically. Repeat for the six-dimensional metric (35)-(38) with the couplings (38). If any transverse component fails to vanish, the central exact-solution claim collapses; if all components vanish, the concern is resolved and the verification should be stated in an appendix.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that (9), (12), and (15), with f(r)=r^2/(4α)-μ-3κA^2/(64αr) and φ=A/r^{3/2}, solve the full system (2a)-(2b). The only derivation offered is Eq. (6), said to follow 'from a combination of the field equations.' That is not sufficient for the non-Einstein base manifolds. For a static warped ansatz over a 3D base h_ij, the (ij) components of G_μν+Λg_μν+αK_μν-κT_μν generically contain terms proportional to the trace-free Ricci tensor S_ij=Ric(h)_ij-(R_h/3)h_ij. Nil, Solv, and SL(2,R) have constant Ricci scalar -2μ but are not Einstein, so S_ij≠0. Unless a special cancellation removes these terms, the ansatz would force S_ij=0, i.e. a constant-curvature base, contradicting the paper's premise. No such cancellation is shown, no explicit substitution into (2) is given, and no computer-algebra check is included. The same gap affects the six-dimensional Solv-4 solution (35)-(38). Separately, the thermodynamics minisuperspace is not self-consistent as printed: Eq. (30) states R(r)=r√μ, while the on-shell variation in Eq. (32) corresponds to R(r)=r/√μ, so the claimed δB_E≡0 computation cannot be independently checked without correcting this mismatch.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs static, asymptotically locally AdS5 black hole solutions of Einstein-Gauss-Bonnet gravity at the Chern-Simons point, sourced by a scalar field with a conformal kinetic term and a quartic self-interaction. The horizon manifolds are taken to be the three-dimensional Thurston geometries Nil, Solv, and SL(2,R). The claimed solutions are given in Eqs. (9), (12), and (15), with f(r)=r^2/(4α)-μ-3κA^2/(64αr) and φ(r)=A/r^{3/2}; A is presented as a primary hair parameter, and the planar limit μ=0 recovers solutions of Correa and Hassaine. The paper also computes a Regge-Teitelboim action for the Solv case and claims that the mass and entropy vanish, and it sketches a six-dimensional Solv-4 analogue.","tokens_in":12382,"tokens_out":32147,"duration_ms":267592,"significance":"If correct, the construction is a useful new example of primary scalar hair in a second-order higher-curvature theory: the scalar field is fully backreacting, its integration constant A is independent of the metric parameter μ, and setting A=0 leaves a non-trivial black hole. This goes beyond the secondary-hair solutions previously known at the Chern-Simons point. The paper also gives an explicit thermodynamic calculation and a six-dimensional extension, so the family may be of interest for studies of scalar hair, holographic applications, and higher-curvature gravity. The significance is tempered by the fact that the scalar potential is fine-tuned and unbounded below for the required couplings, and by the incomplete verification of the solutions discussed below.","major_comments":[{"comment":"The derivation of the central solutions is incomplete. For the warped ansatz (5), the base components of Eq. (2a) contain terms proportional to the trace-free Ricci tensor S_ij of the three-dimensional base metric h_ij. The Nil, Solv, and SL(2,R) Thurston geometries have constant Ricci scalar -2μ but are not Einstein, so S_ij is nonzero. Unless these terms cancel identically for f(r)=r^2/(4α)-μ-3κA^2/(64αr) and φ(r)=A/r^{3/2}, the field equations would force S_ij=0 and the advertised solutions would not exist. The paper states only that Eq. (6) follows 'from a combination of the field equations' and does not display the substitution into the full covariant system (2a)-(2b). This is load-bearing: exactness is the central claim. Please provide an explicit verification, or a supplementary computer-algebra check, covering all three base geometries. The same gap applies to the six-dimensional Solv-4 solution (35)-(38), which is merely stated and deferred.","section":"Section II, Eq. (6)"},{"comment":"There is an internal inconsistency in the minisuperspace thermodynamics. In the Euclidean metric (25), the identification x3=√μ z used to recover the Solv solution (12) gives R(r)=r/√μ, not R(r)=r√μ as printed in Eq. (30). The on-shell variations in Eq. (32), with δR=-rδμ/(2μ^{3/2}) and δR'=-δμ/(2μ^{3/2}), are the ones that correspond to R(r)=r/√μ. As printed, Eq. (30) and Eq. (32) are mutually inconsistent, so the claimed identity δB_E≡0 cannot be independently checked. This typo must be corrected for the thermodynamic calculation to be reproducible.","section":"Section III, Eqs. (30) and (32)"},{"comment":"The interpretation of the thermodynamic result M≡0, S≡0 needs more nuance. Because δB_E vanishes identically, the charges are determined only up to an arbitrary additive constant, and the values M=0 and S=0 follow by choosing the μ=A=0 configuration as the reference background. The text acknowledges this, but it then says that 'only one of the integration constants can be interpreted as hair' on the basis of the boundary geometry. The paper should explain more explicitly why μ is not a hair despite modifying the conformal boundary, and why the μ=A=0 background is an admissible reference for the Regge-Teitelboim procedure, particularly for the partially compactified coordinates used for the Solv and Nil cases. As it stands, the headline thermodynamic claim is less informative than the wording suggests.","section":"Section III, Eqs. (33)-(34)"}],"minor_comments":[{"comment":"There are several typographical issues, for example 'Thurst on' in the title header and 'Harvara-Lifshitz' in Section IV; these should be corrected.","section":"Throughout"},{"comment":"The coordinate transformation (19)-(22) is lengthy, and the statement that the µ→0 limit straightforwardly yields a planar black hole is asserted without demonstration; a short verification would help the reader.","section":"Section II, Eq. (20)"},{"comment":"The claim that the reduced Hamiltonian minisuperspace reproduces the covariant field equations is said to be a straightforward computation, but no details are given. Since the reduced action involves a restricted set of functions, it would be useful to show at least the resulting equations of motion or to state the explicit reduction used.","section":"Section III, Eq. (29)"},{"comment":"The quartic coupling ν is negative for the required values, so the scalar potential is unbounded below. The paper does not discuss this or the associated stability and energy-condition issues; this limitation should be stated explicitly.","section":"Section II, Eq. (8)"},{"comment":"The six-dimensional solution is presented as a result but with details deferred to future work. If it is part of this paper, the field equations should be checked at least in outline; otherwise it should be more clearly labeled as an announced extension.","section":"Section IV, Eqs. (35)-(38)"}],"recommendation":"major_revision","confidential_remarks":"The stress-test concern about the transverse field equations is legitimate and is the main reason for my recommendation. The solutions may well be correct, but the paper as written does not demonstrate that the non-Einstein base metrics do not force the trace-free Ricci tensor to vanish. If the authors can supply a clean verification, the construction is publishable; if not, the central claim fails. The R(r) typo in Section III is easily fixed. No concerns about novelty or citation practice."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper gives a new family of exact, asymptotically locally AdS5 black holes in Einstein-Gauss-Bonnet at the Chern-Simons point, supported by a conformally coupled scalar with a tuned phi^4 potential. The horizon bases are Nil, Solv, and SL(2,R) Thurston geometries, and the scalar profile phi=A/r^{3/2} carries an independent constant A. When A goes to zero you recover the dimensionally continued black holes; when mu goes to zero you recover the Correa-Hassaine planar hairy solution. So the specific metrics are new, and the construction is clean and transparent. The authors also write a six-dimensional Solv-4 extension, though they only sketch it.\n\nWhat I like: the paper is honest about the fine-tuning of the quartic coupling, and it carefully lays out the Killing vectors and geometry of the bases. The thermodynamic section is detailed, even if the outcome is odd.\n\nThe problems are three. First, and most importantly, the paper never actually verifies the claim that the ansatz solves the full covariant field equations. Equation (6) is asserted to follow from a combination of the field equations, but the transverse (ij) components on a non-Einstein base are the dangerous place. Nil, Solv, and SL(2,R) have constant scalar curvature but nonvanishing trace-free Ricci tensor. Generically, those components would force the base to be Einstein unless a special cancellation happens at this particular point in parameter space. No such cancellation is shown, and no computer-algebra check is included. The solution may well be correct, but the paper's central claim is exactly the thing that needs proof, and it is missing.\n\nSecond, the thermodynamics section has a concrete inconsistency: Eq. (30) states R(r)=r*sqrt(mu), while the on-shell variation in Eq. (32) corresponds to R(r)=r/sqrt(mu). As printed, the delta-B_E identically zero computation cannot be independently checked. Also, the mass and entropy vanish only relative to the mu=A=0 background; that is a convention, not a robust prediction, and the paper's language about being obligated overstates it.\n\nThird, the quartic coupling is negative, so the scalar potential is unbounded below. Stability is not discussed. That is a physical gap, not a mathematical error, but a referee will want a comment.\n\nThis is closer to acceptance than rejection. I would send it to peer review, with the requirement that the authors provide a step-by-step derivation of (6) or a symbolic-verification file, fix the R(r) mismatch, and add a sentence about the stability question. If they do that, it is a solid exact-solution paper for the Chern-Simons and hairy-black-hole subfield.","headline":"New exact hairy black holes with Thurston horizons, but the central claim that the ansatz solves the full field equations is never verified; this needs a direct check before the paper is accepted.","tokens_in":12874,"tokens_out":4065,"would_cite":true,"duration_ms":42734,"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 exact AdS5 Einstein-Gauss-Bonnet black holes with a primary scalar hair that persists as a free integration constant.","keywords":["primary scalar hair","Einstein-Gauss-Bonnet","Chern-Simons point","asymptotically locally AdS","Thurston horizons","conformally coupled scalar","black hole thermodynamics","exact solutions"],"falsifier":"Substitute the proposed metric and φ=A/$r^{{3/2}}$ into the scalar field equation (2b) at a generic point with ν different from -27κ/(2048α): the residual will be nonzero. Equivalently, for the claimed value of ν, verify the field equations (2) hold identically for the three metrics (9), (12), and (15); a single numerical check at arbitrary r and A≠0 either confirms or kills the exactness claim.","tokens_in":11789,"feed_emoji":"🕳️","tokens_out":4408,"duration_ms":346594,"temperature":0.7,"pith_summary":"This paper aims to show that Einstein-Gauss-Bonnet gravity at the Chern-Simons point in five dimensions admits a new family of asymptotically locally AdS black holes whose horizon is one of three Thurston geometries (Nil, Solv, or SL(2,R)), dressed by a fully backreacting scalar field. Unlike secondary hair, the scalar's strength A is an independent integration constant: setting A=0 leaves a black hole with the same horizon, so the hair is genuinely primary. The solutions are exact, with f(r)=r²/(4α)-μ-3κA²/(64αr) and φ(r)=A/$r^{{3/2}}$, and they reduce to previously known planar hairy black holes when μ→0 and to dimensionally continued black holes when A→0. The paper also reports that the Regge-Teitelboim mass and entropy vanish for the whole family, even though the geometry is non-trivial.","feed_headline":"Black holes with Thurston horizons gain primary scalar hair","feed_subtitle":"An independent integration constant dresses exact AdS5 solutions, and it vanishes to a known black hole.","key_machinery":"The engine of the construction is the combination of the conformal scalar coupling (3/32)Rφ² with a quartic potential νφ⁴ and the Gauss-Bonnet term at the Chern-Simons point. A particular combination of the field equations collapses to the ordinary differential equation αf'' - 1/2 + (3/32)κφ² = 0, which is solved by φ(r)=A/$r^{{3/2}}$ and f(r)=r²/(4α)-μ-3κA²/(64αr) precisely when ν=-27κ/(2048α) in five dimensions. The Thurston horizon geometries provide the homogeneous but not maximally symmetric base spaces that let μ appear as an integration constant in the metric without making the ansatz inconsistent.","core_discovery":"The central discovery is an exact, fully backreacting solution with primary scalar hair in five-dimensional Einstein-Gauss-Bonnet theory at the Chern-Simons point Λα=-3/4. For horizon geometries modelled by Nil, Solv, and SL(2,R) Thurston metrics, the metric takes the form ds²=-f(r)dt²+dr²/f(r)+r² dΩ₃² with f(r)=r²/(4α)-μ-3κA²/(64αr), and the scalar field is φ(r)=A/$r^{{3/2}}$, where A is an independent integration constant. When A=0 the solution reduces to the dimensionally continued topological black hole; when μ→0 it reduces to the planar hairy solutions of [1]. The authors prove that only A counts as scalar hair, because μ changes the conformal boundary geometry, and they show via the Regge-Teitelboim method (with the same result from the Wald formalism) that the mass and entropy of these black holes vanish identically.","pith_inferences":["The same mechanism might work for other homogeneous base spaces or other dimensions, but only inside the matter sector defined by the tuned quartic coupling; outside it the simple power-law profile will not solve the scalar equation.","A natural test is to perturb these solutions linearly: if the scalar mode A is not fixed by boundary conditions, the primary hair is dynamical, whereas if a perturbation forces A to zero, the hair would be unstable.","The vanishing mass and entropy suggest these solutions sit at a point where standard thermodynamic ensembles may need a generalized first law, a direction the paper does not explore."],"forward_implications":["The family interpolates between two known branches: set A=0 to recover dimensionally continued topological black holes, and set μ=0 to recover the planar hairy black holes of [1].","Because mass and entropy vanish but A is a genuine hair parameter, these black holes are candidate counterexamples to no-hair theorems in higher-curvature gravity with fine-tuned matter couplings.","The horizon isometry structure is temperature-dependent: on the line 3r₊=16παT the horizon becomes maximally symmetric with ISO(3), while away from it the isometries are spontaneously broken to the Thurston subgroup.","The construction extends to six dimensions for Solv-4 horizons, with φ(r)=A/r^{5/2} and couplings Λ=-5/(12α), ν=-125κ/(4608α), giving a corresponding family there."],"supporting_citations":[{"why":"Provides the planar-horizon hairy black hole that the new family reduces to when μ→0.","marker":"[1]"},{"why":"Gives the dimensionally continued black holes recovered when the scalar constant A vanishes.","marker":"[35]"},{"why":"Defines the Chern-Simons point Λα=-3/4 that selects the theory studied here.","marker":"[22]"},{"why":"Establishes that the Gauss-Bonnet field equations remain second order, justifying the ansatz.","marker":"[40]"},{"why":"Supplies the Regge-Teitelboim boundary-term method used to compute the vanishing mass and entropy.","marker":"[45]"},{"why":"Cited as the Wald-formalism cross-check that yields the same vanishing mass and entropy.","marker":"[67]"}],"fun_headline_variants":["Primary hair emerges on Gauss-Bonnet black holes with Thurston horizons","Gauss-Bonnet black holes with Nil, Solv, or SL(2,R) horizons get primary hair","Massless black holes with Thurston horizons gain primary hair","Thurston horizons enable primary hair in Gauss-Bonnet black holes","5D Gauss-Bonnet black holes with Thurston horizons gain primary hair"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The existence of the whole family relies on the quartic self-coupling ν being fixed to exactly -27κ/(2048α) in five dimensions (and -125κ/(4608α) in six); change that coupling and φ=A/$r^{{3/2}}$ ceases to solve the scalar equation, so the hairy black holes disappear.","fun_headline_variants_meta":{"raw":{"variants":["Primary hair emerges on Gauss-Bonnet black holes with Thurston horizons","Gauss-Bonnet black holes with Nil, Solv, or SL(2,R) horizons get primary hair","Massless black holes with Thurston horizons gain primary hair","Thurston horizons enable primary hair in Gauss-Bonnet black holes","5D Gauss-Bonnet black holes with Thurston horizons gain primary hair"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001356,"raw_usage":{"total_tokens":5550,"prompt_tokens":1036,"completion_tokens":4514,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":652,"completion_tokens_details":{"reasoning_tokens":4411}},"tokens_in":652,"tokens_out":4514,"duration_ms":37605,"temperature":1.0,"reasoning_tokens":4411,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T23:32:32.179526+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Substitute the proposed metric and φ=A/$r^{{3/2}}$ into the scalar field equation (2b) at a generic point with ν different from -27κ/(2048α): the residual will be nonzero. Equivalently, for the claimed value of ν, verify the field equations (2) hold identically for the three metrics (9), (12), and (15); a single numerical check at arbitrary r and A≠0 either confirms or kills the exactness claim.","supporting_citations":[{"cited_title":"New black holes of vacuum Einstein equations with hyperscaling violation and Nil geometry horizons","cited_arxiv_id":"1503.01716","evidence_quote":"Gives the dimensionally continued black holes recovered when the scalar constant A vanishes."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the Chern-Simons point Λα=-3/4 that selects the theory studied here."},{"cited_title":"New Anisotropic Gauss-Bonnet Black Holes in Five Dimensions at the Critical Point","cited_arxiv_id":"2205.03830","evidence_quote":"Cited as the Wald-formalism cross-check that yields the same vanishing mass and entropy."}],"review_version":1}